Computing Linear Maps
The prior section shows that a linear map is determined by its action on a basis. The equation
describes how we get the value of the map on any vector by starting from the value of the map on the vectors in a basis and extending linearly.
This section gives a convenient scheme based on matrices to use the representations of , …, to compute, from the representation of a vector in the domain , the representation of that vector’s image in the codomain .
Representing Linear Maps with Matrices
Example 1.1 For the spaces and fix these bases.
Consider the map that is determined by this association.
To compute the action of this map on any vector at all from the domain we first represent the vector
and .
With these, for any member of the domain we can compute .
Thus,
if then .
For instance,
since we have .
We express computations like the one above with a matrix notation.
In the middle is the argument to the map, represented with respect to the domain’s basis by the column vector with components and . On the right is the value of the map on that argument , represented with respect to the codomain’s basis . The matrix on the left is the new thing. We will use it to represent the map and we will think of the above equation as representing an application of the map to the matrix.
That matrix consists of the coefficients from the vector on the right, and from the first row, and from the second row, and and from the third row. That is, we make it by adjoining the vectors representing the ’s.
Definition 1.2 Suppose that and are vector spaces of dimensions and with bases and , and that is a linear map. If
then
is the matrix representation of with respect to .
In that matrix the number of columns is the dimension of the map’s domain while the number of rows is the dimension of the codomain.
Remark 1.3 As with the notation for represenation of a vector, the notation here is not standard. The most common alternative is .
We use lower case letters for a map, upper case for the matrix, and lower case again for the entries of the matrix. Thus for the map , the matrix representing it is , with entries .
Example 1.4 If is
then where
the action of on is this.
A simple calculation
shows that this is the matrix representing with respect to the bases.
Theorem 1.5 Assume that and are vector spaces of dimensions and with bases and , and that is a linear map. If is represented by
and is represented by
then the representation of the image of is this.
Definition 1.6 The matrix-vector product of a matrix and a vector is this.
Briefly, application of a linear map is represented by the matrix-vector product of the map’s representative and the vector’s representative.
Remark 1.7 Theorem 1.5 is not surprising, because we chose the matrix representative in Definition 1.2 precisely to make the theorem true— if the theorem were not true then we would adjust the definition to make it so. Nonetheless, we need the verification.
Example 1.8 For the matrix from Example 1.4 we can calculate where that map sends this vector.
With respect to the domain basis the representation of this vector is
and so the matrix-vector product gives the representation of the value with respect to the codomain basis .
To find itself, not its representation, take .
Example 1.9 Let be projection onto the -plane. To give a matrix representing this map, we first fix some bases.
For each vector in the domain’s basis, find its image under the map.
Then find the representation of each image with respect to the codomain’s basis.
Finally, adjoining these representations gives the matrix representing with respect to .
We can illustrate Theorem 1.5 by computing the matrix-vector product representing this action by the projection map.
Represent the domain vector with respect to the domain’s basis
to get this matrix-vector product.
Expanding this into a linear combination of vectors from
checks that the map’s action is indeed reflected in the operation of the matrix. We will sometimes compress these three displayed equations into one.
We now have two ways to compute the effect of projection, the straightforward formula that drops each three-tall vector’s third component to make a two-tall vector, and the above formula that uses representations and matrix-vector multiplication. The second way may seem complicated compared to the first, but it has advantages. The next example shows that for some maps this new scheme simplifies the formula.
Example 1.10 To represent a rotation map that turns all vectors in the plane counterclockwise through an angle
we start by fixing the standard bases for both the domain and codomain basis, Now find the image under the map of each vector in the domain’s basis.
Represent these images with respect to the codomain’s basis. Because this basis is , vectors represent themselves. Adjoin the representations to get the matrix representing the map.
The advantage of this scheme is that we get a formula for the image of any vector at all just by knowing in () how to represent the image of the two basis vectors. For instance, here we rotate a vector by .
More generally, we have a formula for rotation by .
Example 1.11 In the definition of matrix-vector product the width of the matrix equals the height of the vector. Hence, this product is not defined.
It is undefined for a reason: the three-wide matrix represents a map with a three-dimensional domain while the two-tall vector represents a member of a two-dimensional space. So the vector cannot be in the domain of the map.
Nothing in Definition 1.6 forces us to view matrix-vector product in terms of representations. We can get some insights by focusing on how the entries combine.
A good way to view matrix-vector product is that it is formed from the dot products of the rows of the matrix with the column vector.
Looked at in this row-by-row way, this new operation generalizes dot product.
We can also view the operation column-by-column.
The result is the columns of the matrix weighted by the entries of the vector.
Example 1.12
This way of looking at matrix-vector product brings us back to the objective stated at the start of this section, to compute as .
We began this section by noting that the equality of these two enables us to compute the action of on any argument knowing only , …, . We have developed this into a scheme to compute the action of the map by taking the matrix-vector product of the matrix representing the map with the vector representing the argument. In this way, with respect to any bases, for any linear map there is a matrix representation. The next subsection will show the converse, that if we fix bases then for any matrix there is an associated linear map.
Exercises
Exercise 1.13 Worked answer
Recommended. Multiply the matrix
by each vector, or state “not defined.”
Exercise 1.16 Worked answer
This matrix equation expresses a linear system. Solve it.
Answer. Matrix-vector multiplication gives rise to a linear system.
Gaussian reduction shows that , , and .
Exercise 1.17 Worked answer
Recommended. For a homomorphism from to that sends
where does go?
Answer. Here are two ways to get the answer.
First, obviously , and so we can apply the general property of preservation of combinations to get .
The other way uses the computation scheme developed in this subsection. Because we know where these elements of the space go, we consider this basis for the domain. Arbitrarily, we can take as a basis for the codomain. With those choices, we have that
and, as
the matrix-vector multiplication calculation gives this.
Thus, , as above.
Exercise 1.18 Worked answer
Let be the linear transformation with this action.
What is its effect on the general vector with entries and ?
Answer. Fix this natural basis for .
The representation of the map with respect to is this.
Since the general vector is represented with respect to by itself, and similarly every matrix is represented with respect to by itself, we have this for the effect of the map.
Exercise 1.19 Worked answer
Recommended. Assume that is determined by this action.
Using the standard bases, find
the matrix representing this map;
a general formula for .
Answer. Again, as recalled in the subsection, with respect to , a column vector represents itself.
To represent with respect to take the images of the basis vectors from the domain, and represent them with respect to the basis for the codomain. The first is this
while the second is this.
Adjoin these to make the matrix.
For any in the domain ,
and so
is the desired representation.
Exercise 1.20 Worked answer
Represent the homomorphism given by this formula and with respect to these bases.
Answer. The action of the map on the domain’s basis vectors is this.
Represent those with respect to the codomain’s basis.
Concatenate them together into a matrix.
Exercise 1.21 Worked answer
Recommended. Let be the derivative transformation.
Represent with respect to where .
Represent with respect to where .
Answer.
We must first find the image of each vector from the domain’s basis, and then represent that image with respect to the codomain’s basis.
Those representations are then adjoined to make the matrix representing the map.
Proceeding as in the prior item, we represent the images of the domain’s basis vectors
and adjoin to make the matrix.
Exercise 1.22 Worked answer
Recommended. Represent each linear map with respect to each pair of bases.
with respect to where , given by
with respect to where , given by
with respect to where and , given by
with respect to where and , given by
with respect to where , given by
Answer. For each, we must find the image of each of the domain’s basis vectors, represent each image with respect to the codomain’s basis, and then adjoin those representations to get the matrix.
The basis vectors from the domain have these images
and these images are represented with respect to the codomain’s basis in this way.
The matrix
has rows and columns.
Once the images under this map of the domain’s basis vectors are determined
then they can be represented with respect to the codomain’s basis
and put together to make the matrix.
The images of the basis vectors of the domain are
and they are represented with respect to the codomain’s basis as
so the matrix is
(this is an matrix).
The images of the domain’s basis vectors are
and they are represented in the codomain as
and so the matrix is this.
The images of the basis vectors from the domain are , and , and , and , etc. The representations are here.
The resulting matrix
is Pascal’s triangle (recall that is the number of ways to choose things, without order and without repetition, from a set of size ).
Exercise 1.23 Worked answer
Represent the identity map on any nontrivial space with respect to , where is any basis.
Exercise 1.24 Worked answer
Represent, with respect to the natural basis, the transpose transformation on the space of matrices.
Answer. Taking this as the natural basis
the transpose map acts in this way
so that representing the images with respect to the codomain’s basis and adjoining those column vectors together gives this.
Exercise 1.25 Worked answer
Assume that is a basis for a vector space. Represent with respect to the transformation that is determined by each.
, , ,
, , ,
, , ,
Answer.
With respect to the basis of the codomain, the images of the members of the basis of the domain are represented as
and consequently, the matrix representing the transformation is this.
Exercise 1.26 Worked answer
Example 1.10 shows how to represent the rotation transformation of the plane with respect to the standard basis. Express these other transformations also with respect to the standard basis.
the dilation map , which multiplies all vectors by the same scalar
the reflection map , which reflects all all vectors across a line through the origin
Answer.
The picture of is this.
This map’s effect on the vectors in the standard basis for the domain is
and those images are represented with respect to the codomain’s basis (again, the standard basis) by themselves.
Thus the representation of the dilation map is this.
The picture of is this.
Some calculation (see Exercise I.1.33) shows that when the line has slope
(the case of a line with undefined slope is separate but easy) and so the matrix representing reflection is this.
Exercise 1.27 Worked answer
Recommended. Consider a linear transformation of determined by these two.
Represent this transformation with respect to the standard bases.
Where does the transformation send this vector?
Represent this transformation with respect to these bases.
Using from the prior item, represent the transformation with respect to .
Answer. Call the map .
To represent this map with respect to the standard bases, we must find, and then represent, the images of the vectors and from the domain’s basis. The image of is given.
One way to find the image of is by eye—we can see this.
A more systematic way to find the image of is to use the given information to represent the transformation, and then use that representation to determine the image. Taking this for a basis,
the given information says this.
As
we have that
and consequently we know that (since, with respect to the standard basis, this vector is represented by itself). Therefore, this is the representation of with respect to .
To use the matrix developed in the prior item, note that
and so we have this is the representation, with respect to the codomain’s basis, of the image of the given vector.
Because the codomain’s basis is the standard one, and so vectors in the codomain are represented by themselves, we have this.
We first find the image of each member of , and then represent those images with respect to . For the first step, we can use the matrix developed earlier.
Actually, for the second member of there is no need to apply the matrix because the problem statement gives its image.
Now representing those images with respect to is routine.
Thus, the matrix is this.
We know the images of the members of the domain’s basis from the prior item.
We can compute the representation of those images with respect to the codomain’s basis.
Thus this is the matrix.
Exercise 1.28 Worked answer
Suppose that is one-to-one so that by Theorem 2.20, for any basis the image is a basis for . (If is onto then .)
Represent the map with respect to .
For a member of the domain, where the representation of has components , …, , represent the image vector with respect to the image basis .
Answer.
The images of the members of the domain’s basis are
and those images are represented with respect to the codomain’s basis in this way.
Hence, the matrix is the identity.
Using the matrix in the prior item, the representation is this.
Exercise 1.29 Worked answer
Give a formula for the product of a matrix and , the column vector that is all zeroes except for a single one in the -th position.
Exercise 1.30 Worked answer
Recommended. For each vector space of functions of one real variable, represent the derivative transformation with respect to .
,
,
,
Answer.
The images of the basis vectors for the domain are and . Representing those with respect to the codomain’s basis (again, ) and adjoining the representations gives this matrix.
The images of the vectors in the domain’s basis are and . Representing with respect to the codomain’s basis and adjoining gives this matrix.
The images of the members of the domain’s basis are , , , and . Representing these images with respect to and adjoining gives this matrix.
Exercise 1.31 Worked answer
Find the range of the linear transformation of represented with respect to the standard bases by each matrix.
a matrix of the form
Answer.
It is the set of vectors of the codomain represented with respect to the codomain’s basis in this way.
As the codomain’s basis is , and so each vector is represented by itself, the range of this transformation is the -axis.
It is the set of vectors of the codomain represented in this way.
With respect to vectors represent themselves so this range is the axis.
The set of vectors represented with respect to as
is the line , provided either or is not zero, and is the set consisting of just the origin if both are zero.
Exercise 1.32 Worked answer
Recommended. Can one matrix represent two different linear maps? That is, can ?
Answer. Yes, for two reasons.
First, the two maps and need not have the same domain and codomain. For instance,
represents a map with respect to the standard bases that sends
and also represents a with respect to and that acts in this way.
The second reason is that, even if the domain and codomain of and coincide, different bases produce different maps. An example is the identity matrix
which represents the identity map on with respect to . However, with respect to for the domain but the basis for the codomain, the same matrix represents the map that swaps the first and second components
(that is, reflection about the line ).
Exercise 1.33 Worked answer
Prove Theorem 1.5.
Answer. We mimic Example 1.1, just replacing the numbers with letters.
Write as and as . By definition of representation of a map with respect to bases, the assumption that
means that . And, by the definition of the representation of a vector with respect to a basis, the assumption that
means that . Substituting gives
and so is represented as required.
Exercise 1.34 Worked answer
Recommended. Example 1.10 shows how to represent rotation of all vectors in the plane through an angle about the origin, with respect to the standard bases.
Rotation of all vectors in three-space through an angle about the -axis is a transformation of . Represent it with respect to the standard bases. Arrange the rotation so that to someone whose feet are at the origin and whose head is at , the movement appears clockwise.
Repeat the prior item, only rotate about the -axis instead. (Put the person’s head at .)
Repeat, about the -axis.
Extend the prior item to . (Hint: we can restate ‘rotate about the -axis’ as ‘rotate parallel to the -plane’.)
Answer.
The picture is this.
The images of the vectors from the domain’s basis
are represented with respect to the codomain’s basis (again, ) by themselves, so adjoining the representations to make the matrix gives this.
The picture is similar to the one in the prior answer. The images of the vectors from the domain’s basis
are represented with respect to the codomain’s basis by themselves, so this is the matrix.
To a person standing up, with the vertical -axis, a rotation of the -plane that is clockwise proceeds from the positive -axis to the positive -axis. That is, it rotates opposite to the direction in Example 1.10. The images of the vectors from the domain’s basis
are represented with respect to by themselves, so the matrix is this.
Exercise 1.35 Worked answer
(Schur’s Triangularization Lemma)
Let be a subspace of and fix bases . What is the relationship between the representation of a vector from with respect to and the representation of that vector (viewed as a member of ) with respect to ?
What about maps?
Fix a basis for and observe that the spans
form a strictly increasing chain of subspaces. Show that for any linear map there is a chain of subspaces of such that
for each .
Conclude that for every linear map there are bases so the matrix representing with respect to is upper-triangular (that is, each entry with is zero).
Is an upper-triangular representation unique?
Answer.
Write the basis as and then write as the extension . If
so that then
because .
We must first decide what the question means. Compare with its restriction to the subspace . The range space of the restriction is a subspace of , so fix a basis for this range space and extend it to a basis for . We want the relationship between these two.
The answer falls right out of the prior item: if
then the extension is represented in this way.
Take to be the span of .
Apply the answer from the second item to the third item.
No. For instance , projection onto the axis, is represented by these two upper-triangular matrices
where .
Any Matrix Represents a Linear Map
The prior subsection shows that the action of a linear map is described by a matrix , with respect to appropriate bases, in this way.
Here we will show the converse, that each matrix represents a linear map.
So we start with a matrix
and we will describe how it defines a map . We require that the map be represented by the matrix so first note that in () the dimension of the map’s domain is the number of columns of the matrix and the dimension of the codomain is the number of rows . Thus, for ’s domain fix an -dimensional vector space and for the codomain fix an -dimensional space . Also fix bases and for those spaces.
Now let be: where in the domain has the representation
then its image is the member of the codomain with this representation.
That is, to compute the action of on any , first express with respect to the basis and then .
Above we have made some choices; for instance can be any -dimensional space and could be any basis for , so does not define a unique function. However, note once we have fixed , , , and then is well-defined since has a unique representation with respect to the basis and the calculation of from its representation is also uniquely determined.
Example 2.1 Consider this matrix.
It is so any map that it defines must carry a dimension domain to a dimension codomain. We can choose the domain and codomain to be and , with these bases.
Then let be the function defined by . We will compute the image under of this member of the domain.
The computation is straightforward.
From its representation, computation of is routine .
Theorem 2.2 Any matrix represents a homomorphism between vector spaces of appropriate dimensions, with respect to any pair of bases.
Proof We must check that for any matrix and any domain and codomain bases , the defined map is linear. If are such that
and then the calculation
supplies that check.
QED
Example 2.3 Even if the domain and codomain are the same, the map that the matrix represents depends on the bases that we choose. If
then represented by with respect to maps
while represented by with respect to is this map.
These are different functions. The first is projection onto the -axis while the second is projection onto the -axis.
This result means that when convenient we can work solely with matrices, just doing the computations without having to worry whether a matrix of interest represents a linear map on some pair of spaces.
When we are working with a matrix but we do not have particular spaces or bases in mind then we can take the domain and codomain to be and , with the standard bases. This is convenient because with the standard bases vector representation is transparent— the representation of is . (In this case the column space of the matrix equals the range of the map and consequently the column space of is often denoted by .)
Given a matrix, to come up with an associated map we can choose among many domain and codomain spaces, and many bases for those. So a matrix can represent many maps. We finish this section by illustrating how the matrix can give us information about the associated maps.
Theorem 2.4 The rank of a matrix equals the rank of any map that it represents.
Proof Suppose that the matrix is . Fix domain and codomain spaces and of dimension and with bases and . Then represents some linear map between those spaces with respect to these bases whose range space
is the span . The rank of the map is the dimension of this range space.
The rank of the matrix is the dimension of its column space, the span of the set of its columns .
To see that the two spans have the same dimension, recall from the proof of Lemma I.2.5 that if we fix a basis then representation with respect to that basis gives an isomorphism . Under this isomorphism there is a linear relationship among members of the range space if and only if the same relationship holds in the column space, e.g, if and only if . Hence, a subset of the range space is linearly independent if and only if the corresponding subset of the column space is linearly independent. Therefore the size of the largest linearly independent subset of the range space equals the size of the largest linearly independent subset of the column space, and so the two spaces have the same dimension.
QED
That settles the apparent ambiguity in our use of the same word ‘rank’ to apply both to matrices and to maps.
Example 2.5 Any map represented by
must have three-dimensional domain and a four-dimensional codomain. In addition, because the rank of this matrix is two (we can spot this by eye or get it with Gauss’s Method), any map represented by this matrix has a two-dimensional range space.
Corollary 2.6 Let be a linear map represented by a matrix . Then is onto if and only if the rank of equals the number of its rows, and is one-to-one if and only if the rank of equals the number of its columns.
Proof For the onto half, the dimension of the range space of is the rank of , which equals the rank of by the theorem. Since the dimension of the codomain of equals the number of rows in , if the rank of equals the number of rows then the dimension of the range space equals the dimension of the codomain. But a subspace with the same dimension as its superspace must equal that superspace (because any basis for the range space is a linearly independent subset of the codomain whose size is equal to the dimension of the codomain, and thus this basis for the range space must also be a basis for the codomain).
For the other half, a linear map is one-to-one if and only if it is an isomorphism between its domain and its range, that is, if and only if its domain has the same dimension as its range. The number of columns in is the dimension of ’s domain and by the theorem the rank of equals the dimension of ’s range.
QED
Definition 2.7 A linear map that is one-to-one and onto is nonsingular , otherwise it is singular . That is, a linear map is nonsingular if and only if it is an isomorphism.
Remark 2.8 Some authors use ‘nonsingular’ as a synonym for one-to-one while others use it the way that we have here. The difference is slight because any map is onto its range space, so a one-to-one map is an isomorphism with its range.
In the first chapter we defined a matrix to be nonsingular if it is square and is the matrix of coefficients of a linear system with a unique solution. The next result justifies our dual use of the term.
Lemma 2.9 A nonsingular linear map is represented by a square matrix. A square matrix represents nonsingular maps if and only if it is a nonsingular matrix. Thus, a matrix represents isomorphisms if and only if it is square and nonsingular.
Proof Assume that the map is nonsingular. Corollary 2.6 says that for any matrix representing that map, because is onto the number of rows of equals the rank of , and because is one-to-one the number of columns of is also equal to the rank of . Hence is square.
Next assume that is square, . The matrix is nonsingular if and only if its row rank is , which is true if and only if ’s rank is by Theorem Two.III.3.11, which is true if and only if ’s rank is by Theorem 2.4, which is true if and only if is an isomorphism by Theorem I.2.3. (This last holds because the domain of is -dimensional as it is the number of columns in .)
QED
Example 2.10 Any map from to represented with respect to any pair of bases by
is nonsingular because this matrix has rank two.
Example 2.11 Any map represented by
is singular because this matrix is singular.
We’ve now seen that the relationship between maps and matrices goes both ways: for a particular pair of bases, any linear map is represented by a matrix and any matrix describes a linear map. That is, by fixing spaces and bases we get a correspondence between maps and matrices. In the rest of this chapter we will explore this correspondence. For instance, we’ve defined for linear maps the operations of addition and scalar multiplication and we shall see what the corresponding matrix operations are. We shall also see the matrix operation that represent the map operation of composition. And, we shall see how to find the matrix that represents a map’s inverse.
Exercises
Exercise 2.12 Worked answer
For each matrix, state the dimension of the domain and codomain of any map that the matrix represents.
Answer.
domain: , codomain:
domain: , codomain:
domain: , codomain:
domain: , codomain:
domain: , codomain:
Exercise 2.13 Worked answer
Consider a linear map represented with respect to some bases by the matrix. Decide if that map is nonsingular.
Answer. For each we just have to decide if the matrix is nonsingular, perhaps by doing Gauss’s Method. (In truth, we can do each of these by eye.)
This matrix is nonsingular, since the second row is not a multiple of the first, so the map is nonsingular.
The matrix is singular so the map is singular.
Nonsingular.
Nonsingular.
Exercise 2.14 Worked answer
Recommended. Let be the linear map defined by this matrix on the domain and codomain with respect to the given bases.
What is the image under of the vector ?
Answer. With respect to the vector’s representation is this.
Using the matrix-vector product we can compute
From that representation we can compute .
Exercise 2.15 Worked answer
Recommended. Decide if each vector lies in the range of the map from to represented with respect to the standard bases by the matrix.
,
,
Answer. As described in the subsection, with respect to the standard bases, representations are transparent, and so, for instance, the first matrix describes this map.
So, for this first one, we are asking whether there are scalars such that
that is, whether the vector is in the column space of the matrix.
Yes. We can get this conclusion by setting up the resulting linear system and applying Gauss’s Method, as usual. Another way to get it is to note by inspection of the equation of columns that taking , and , and will do. Still a third way to get this conclusion is to note that the rank of the matrix is two, which equals the dimension of the codomain, and so the map is onto—the range is all of and in particular includes the given vector.
No; note that all of the columns in the matrix have a second component that is twice the first, while the vector does not. Alternatively, the column space of the matrix is
(which is the fact already noted, but we got it by calculation rather than inspiration), and the given vector is not in this set.
Exercise 2.16 Worked answer
Recommended. Consider this matrix, representing a transformation of with respect to the bases.
To what vector in the codomain is the first member of mapped?
The second member?
Where is a general vector from the domain (a vector with components and ) mapped? That is, what transformation of is represented with respect to by this matrix?
Answer.
The first member of the basis
maps to
which is this member of the codomain.
The second member of the basis maps
to this member of the codomain.
Because the map that the matrix represents is the identity map on the basis, it must be the identity on all members of the domain. We can come to the same conclusion in another way by considering
which maps to
which represents this member of .
Exercise 2.17 Worked answer
Consider a homomorphism represented with respect to the standard bases by this matrix.
Find the image under of each vector.
Answer. Since, with respect to the standard basis , a matrix is represented by itself, we just need to do the matrix-vector multiplication.
Exercise 2.18 Worked answer
What transformation of is represented with respect to and by this matrix?
Answer. A general member of the domain, represented with respect to the domain’s basis as
maps to
and so the linear map represented by the matrix with respect to these bases
is projection onto the first component.
Exercise 2.19 Worked answer
Recommended. Decide whether is in the range of the map from to represented with respect to and by this matrix.
Answer. Denote the given basis of by . Application of the linear map is represented by matrix-vector multiplication. Thus the first vector in maps to the element of represented with respect to by
and that element is . Calculate the other two images of basis vectors in the same way.
So the range of is the span of three polynomials , , and . We can thus decide if is in the range of the map by looking for scalars , , and such that
and obviously , , and suffice. Thus is in the range, since it is the image of this vector.
Comment. A slicker argument is to note that the matrix is nonsingular, so it has rank , so the range has dimension , and since the codomain has dimension the map is onto. Thus every polynomial is the image of some vector and in particular is the image of a vector in the domain.
Exercise 2.20 Worked answer
Find the map that this matrix represents with respect to .
Answer. Where we can find by eye, where is the general vector, with entries and .
Thus the representation of general vector with respect to is this.
Compute the effect of the map with matrix-vector multiplication.
Finish by converting back to the standard vector representation.
Exercise 2.21 Worked answer
Example 2.11 gives a matrix that is singular and is therefore associated with maps that are singular. We cannot state the action of the associated map on domain elements , because do not know the domain or codomain or the starting and ending bases and . But we can compute what happens to the representations .
Find the set of column vectors representing the members of the null space of any map represented by this matrix.
Find the nullity of any such map .
Find the set of column vectors representing the members of the range space of any map represented by the matrix.
Find the rank of any such map .
Check that rank plus nullity equals the dimension of the domain.
Answer. Let the matrix be , and suppose that it represents with respect to bases and . Because has two columns, the domain is two-dimensional. Because has two rows, the codomain is two-dimensional. The action of on a representation of a general member of the domain is this.
No matter what is the codomain’s basis , the only representation of the zero vector is
and so the set of representations of members of the null space is this.
The nullity is . The representation map and its inverse are isomorphisms and so preserve the dimension of subspaces. The subspace of that is in the prior item is one-dimensional. Therefore, the image of that subspace under the inverse of the representation map—the null space of , is also one-dimensional.
The set of representations of members of the range space is this.
Of course, Theorem 2.4 gives that the rank of the map equals the rank of the matrix, which is one. Alternatively, the same argument that we used above for the null space gives here that the dimension of the range space is one.
One plus one equals two.
Exercise 2.22 Worked answer
Recommended. Take each matrix to represent with respect to the standard bases. For each (i) state and . Then set up an augmented matrix with the given matrix on the left and a vector representing a range space element on the right (e.g., if the codomain is then in the right-hand column put the three entries , , and ). Perform Gauss-Jordan reduction. Use that to (ii) find and (and state whether the underlying map is onto), and (iii) find and (and state whether the underlying map is one-to-one).
Answer.
(i) The dimension of the domain space is the number of columns . The dimension of the codomain space is the number of rows .
For the rest, we consider this matrix-vector equation.
We solve for and .
(ii) For all
in equation () the system has a solution, by the calculation. So the range space is all of the codomain . The map’s rank is the dimension of the range, . The map is onto because the range space is all of the codomain.
(iii) Again by the calculation, to find the nullspace, setting in equation () gives that . The null space is the trivial subspace of the domain.
The nullity is the dimension of that null space, . The map is one-to-one because the null space is trivial.
(i) The dimension of the domain space is the number of matrix columns, , and the dimension of the codomain space is the number of rows, .
The calculation is this.
(ii) There are codomain triples
for which the system does not have a solution, specifically the system only has a solution if .
The map’s rank is the range’s dimension, . The map is not onto because the range space is not all of the codomain.
(iii) Setting in the calculation gives infinitely many solutions. Parametrizing using the free variable leads to this description of the nullspace.
The nullity is the dimension of that null space, . The map is not one-to-one because the null space is not trivial.
(i) The domain has dimension while the codomain has dimension . Here is the calculation.
(ii) The range is this subspace of the codomain.
The rank is . The map is not onto.
(iii) The null space is the trivial subspace of the domain.
The nullity is . The map is one-to-one.
Exercise 2.23 Worked answer
Use the method from the prior exercise on this matrix.
Answer. Here is the Gauss-Jordan reduction.
(i) The dimensions are . (ii) The range space is the set containing all of the members of the codomain for which this system has a solution.
The rank is 2. Because the rank is less than the dimension of the codomain, the map is not onto.
(iii) The null space is the set of members of the domain that map to , , and .
The nullity is . Because the nullity is not the map is not one-to-one.
Exercise 2.24 Worked answer
Verify that the map represented by this matrix is an isomorphism.
Answer. For any map represented by this matrix, the domain and codomain are each of dimension . To show that the map is an isomorphism, we must show it is both onto and one-to-one. For that we don’t need to augment the matrix with , , and ; this calculation
gives that for each codomain vector there is one and only one associated domain vector.
Exercise 2.25 Worked answer
This is an alternative proof of Lemma 2.9. Given an matrix , fix a domain and codomain of appropriate dimension , and bases for those spaces, and consider the map represented by the matrix.
Show that is onto if and only if there is at least one associated by with each .
Show that is one-to-one if and only if there is at most one associated by with each .
Consider the linear system . Show that is nonsingular if and only if there is exactly one solution for each .
Answer.
The defined map is onto if and only if for every there is a such that . Since for every vector there is exactly one representation, converting to representations gives that is onto if and only if for every representation there is a representation such that .
This is just like the prior part.
As described at the start of this subsection, by definition the map defined by the matrix associates this domain vector with this codomain vector .
Fix and consider the linear system defined by the above equation.
(Again, here the are fixed and the are unknowns.) Now, is nonsingular if and only if for all , …, this system has a solution and the solution is unique. By the first two parts of this exercise this is true if and only if the map is onto and one-to-one. This in turn is true if and only if is an isomorphism.
Exercise 2.26 Worked answer
Recommended. Because the rank of a matrix equals the rank of any map it represents, if one matrix represents two different maps (where ) then the dimension of the range space of equals the dimension of the range space of . Must these equal-dimensional range spaces actually be the same?
Answer. No, the range spaces may differ. Example 2.3 shows this.
Exercise 2.27 Worked answer
Let be an -dimensional space with bases and . Consider a map that sends, for , the column vector representing with respect to to the column vector representing with respect to . Show that map is a linear transformation of .
Answer. Recall that the representation map
is an isomorphism. Thus, its inverse map is also an isomorphism. The desired transformation of is then this composition.
Because a composition of isomorphisms is also an isomorphism, this map is an isomorphism.
Exercise 2.28 Worked answer
Example 2.3 shows that changing the pair of bases can change the map that a matrix represents, even though the domain and codomain remain the same. Could the map ever not change? Is there a matrix , vector spaces and , and associated pairs of bases and (with or or both) such that the map represented by with respect to equals the map represented by with respect to ?
Answer. Yes. Consider
representing a map from to . With respect to the standard bases this matrix represents the identity map. With respect to
this matrix again represents the identity. In fact, as long as the starting and ending bases are equal—as long as —then the map represented by is the identity.
Exercise 2.29 Worked answer
Recommended. A square matrix is a diagonal matrix if it is all zeroes except possibly for the entries on its upper-left to lower-right diagonal—its entry, its entry, etc. Show that a linear map is an isomorphism if there are bases such that, with respect to those bases, the map is represented by a diagonal matrix with no zeroes on the diagonal.
Answer. This is immediate from Lemma 2.9.
Exercise 2.30 Worked answer
Describe geometrically the action on of the map represented with respect to the standard bases by this matrix.
Do the same for these.
Answer. The first map
stretches vectors by a factor of three in the direction and by a factor of two in the direction. The second map
projects vectors onto the axis. The third
interchanges first and second components (that is, it is a reflection about the line ). The last
stretches vectors parallel to the axis, by an amount equal to three times their distance from that axis (this is a skew.)
Exercise 2.31 Worked answer
The fact that for any linear map the rank plus the nullity equals the dimension of the domain shows that a necessary condition for the existence of a homomorphism between two spaces, onto the second space, is that there be no gain in dimension. That is, where is onto, the dimension of must be less than or equal to the dimension of .
Show that this (strong) converse holds: no gain in dimension implies that there is a homomorphism and, further, any matrix with the correct size and correct rank represents such a map.
Are there bases for such that this matrix
represents a map from to whose range is the plane subspace of ?
Answer.
This is immediate from Theorem 2.4.
Yes. This is immediate from the prior item.
To give a specific example, we can start with as the basis for the domain, and then we require a basis for the codomain . The matrix gives the action of the map as this
and there is no harm in finding a basis so that
that is, so that the map represented by with respect to is projection down onto the plane. The second condition gives that the third member of is . The first condition gives that the first member of plus twice the second equals , and so this basis will do.
Exercise 2.32 Worked answer
Let be an -dimensional space and suppose that . Fix a basis for and consider the map given by the dot product.
Show that this map is linear.
Show that for any linear map there is an such that .
In the prior item we fixed the basis and varied the to get all possible linear maps. Can we get all possible linear maps by fixing an and varying the basis?
Answer.
Recall that the representation map is linear (it is actually an isomorphism, but we do not need that it is one-to-one or onto here). Considering the column vector to be a matrix gives that the map from to that takes a column vector to its dot product with is linear (this is a matrix-vector product and so Theorem 2.2 applies). Thus the map under consideration is linear because it is the composition of two linear maps.
Any linear map is represented by some matrix
(the matrix has columns because is -dimensional and it has only one row because is one-dimensional). Then taking to be the column vector that is the transpose of this matrix
has the desired action.
No. If has any nonzero entries then cannot be the zero map (and if is the zero vector then can only be the zero map).
Exercise 2.33 Worked answer
Let be vector spaces with bases .
Suppose that is represented with respect to by the matrix . Give the matrix representing the scalar multiple (where ) with respect to by expressing it in terms of .
Suppose that are represented with respect to by and . Give the matrix representing with respect to by expressing it in terms of and .
Suppose that is represented with respect to by and is represented with respect to by . Give the matrix representing with respect to by expressing it in terms of and .
Answer. See the following section.