中文

If and are two vector spaces over the same field , a map is called linear, or a vector space homomorphism from into , if

for all and all . The notation on the right-hand side is commonly used in place of . Vector space homomorphisms play a similar role to group homomorphisms in that they preserve the basic operations of vector addition and scalar multiplication that define a vector space. They are the morphisms of the category of vector spaces.

Since , it follows that the zero vector of goes to the zero vector of under a linear map, . Note, however, that the zero vectors on the two sides of this equation lie in different spaces and are, strictly speaking, different vectors.

A linear map that is one-to-one and onto is called a vector space isomorphism. In this case the inverse map must also be linear. for if let

then

Two vector spaces and are called isomorphic, written , if there exists a vector space isomorphism . Two isomorphic vector spaces are essentially identical in all their properties.

Consider the set of all real-valued polynomials of degree

Polynomials of degree can be added and multiplied by scalars in the obvious way,

making into a vector space. The map defined by

is one-to-one and onto and clearly preserves basic vector space operations,

Hence is a vector space isomorphism, and

The set of all sequences of real numbers having only a finite number of non-zero members is a vector space, using the same rules of vector addition and scalar multiplication given for in Example 3.6. The elements of are real sequences ofthe form . Let be the set ofall real polynomials, . This is clearly a vector space with respect to the standard rules of addition of polynomials and scalar multiplication. The map defined by

is an isomorphism.

It is simple to verify that the inclusion maps defined in Section 1.4,

are vector space homomorphisms.

Let denote the set of all linear maps from to . If , are linear maps from to , addition and scalar multiplication are defined by

The set is a vector space with respect to these operations. Other common notations for this space are and .

Verify that satisfies all the axioms of a vector space.

If and , define their product to be the composition map

This map is clearly linear since

If and are invertible linear maps then so is their product , and satisfies

since

Linear maps are called linear operators on . They form the vector space . If is an invertible linear operator on it is called a linear transformation on . It may be thought of as a vector space isomorphism of onto itself, or an automorphism of . The linear transformations of form a group with respect to the product law of composition, called the general linear group on and denoted . The group properties are easily proved:

Closure: if and are linear transformations of then so is , since (a) it is a linear map, and (b) it is invertible by Eq. (3.2).

Associativity: this is true of all maps (see Section 1.4).

Unit: the identity map is linear and invertible.

Inverse: as shown above, the inverse of any vector space isomorphism is linear.

Note, however, that is not a vector space, since the zero operator that sends every vector in to the zero vector 0 is not invertible and therefore does not belong to .

Problems

Show that the infinite dimensional vector space is isomorphic with a proper subspace of itself.

On the vector space of polynomials with real coefficients over a variable , let be the operation of multiplying by the polynomial , and let be the operation of differentiation,

Show that both of these are linear operators over and that , where is the identity operator.