Transformations as vectors

We proceed now to derive certain elementary properties of, and relations among, linear transformations on a vector space. More particularly, we shall indicate several ways of making new transformations out of old ones; we shall generally be satisfied with giving the definition of the new transformations and we shall omit the proof of linearity.

If and are linear transformations, we define their sum, , by the equation (for every ). We observe that the commutativity and associativity of addition in imply immediately that the addition of linear transformations is commutative and associative. Much more than this is true. If we consider the sum of any linear transformation and the linear transformation (defined in the preceding section), we see that . If, for each , we denote by the transformation defined by , we see that , and that the transformation , so defined, is the only linear transformation with the property that . To sum up: the properties of a vector space, described in the axioms (A) of Section: Vector spaces , appear again in the set of all linear transformations on the space; the set of all linear transformations is an abelian group with respect to the operation of addition.

We continue in the same spirit. By now it will not surprise anybody if the axioms (B) and (C) of vector spaces are also satisfied by the set of all linear transformations. They are. For any , and any scalar , we define the product by the equation . Axioms (B) and (C) are immediately verified; we sum up as follows.

Theorem 1. The set of all linear transformations on a vector space is itself a vector space.

We shall usually ignore this theorem; the reason is that we can say much more about linear transformations, and the mere fact that they form a vector space is used only very rarely. The “much more” that we can say is that there exists for linear transformations a more or less decent definition of multiplication, which we discuss in the next section.

EXERCISES

Exercise 1. Prove that each of the correspondences described below is a linear transformation.

is the set of complex numbers regarded as a real vector space; is the complex conjugate of .
is ; if is a polynomial, then .
is the -fold tensor product of a vector space with itself; is such that where is a permutation of .
is the set of all -linear forms on a vector space; where is a permutation of .
is the set of all -linear forms on a vector space; if is in , then , where the summation is extended over all permutations in .
Same as (e) except that .

Exercise 2. Prove that if is a finite-dimensional vector space, then the space of all linear transformations on is finite-dimensional, and find its dimension.

Exercise 3. The concept of a "linear transformation," as defined in the text, is too special for some purposes. According to a more general definition, a linear transformation from a vector space to a vector space over the same field is a correspondence that assigns to every vector in a vector in so that Prove that each of the correspondences described below is a linear transformation in this generalized sense.

is the field of scalars of ; is a linear functional on .
is the direct sum of with some other space; maps each pair in onto its first coordinate.
is the quotient of modulo a subspace; maps each vector in onto the coset it determines.
Let be a bilinear functional on a direct sum . Let be the dual of , and define to be the correspondence that assigns to each in the linear functional on obtained from by setting its first argument equal to .

Exercise 4.

Suppose that and are vector spaces over the same field. If and are linear transformations from to , if and are scalars, and if for each in , then is a linear transformation from to .
If we write, by definition, , then the set of all linear transformations from to becomes a vector space with respect to this definition of the linear operations.
Prove that if and are finite-dimensional, then so is the space of all linear transformations from to , and find its dimension.

Exercise 5. Suppose that is an -dimensional subspace of an -dimensional vector space . Prove that the set of those linear transformations on for which whenever is in is a subspace of the set of all linear transformations on , and find the dimension of that subspace.

EXERCISES

Quick Links

Social Media