Here is your fifth assignment. Enjoy!

(Some) Solutions.

**Problem 1.** To show that the given function is linear we check our two properties. First, let and be arbitrary elements in . Then, according to the definition of , we have that

.

Similarly, let be arbitrary. Then

.

**Problem 2**. There are many ways to show that the given function is not linear. Probably the shortest is to note that . Homomorphisms between vector spaces must send the zero vector in the domain to the zero vector in the co-domain, and since this does not happen for our function it cannot be linear.

**Problem 3**. One can verify that the given function is, in fact, linear.

**Problem 4**. (a) The identity function is easily seen to be linear since

and

where and are all arbitrary.

(b) Similarly, one can show that the zero homomorphism (between any two vector spaces) is always linear:

and

where and are arbitrary.

**Problem 5**. (a) , and this is easily checked to satisfy both linearity conditions.

(b) Given the formula for from part (a), one finds that the three vectors and span the range space of . To determine the dimension of this space, then, we need to determine how many of these vectors are also linearly independent. To answer this question, we set up a single vector equation and solve for the unknown coefficients . Doing so sets up a system of equations that can be encoded by the augmented matrix

Standard row reducing confirms that this matrix is row-equivalent to one with a row of ‘s at the bottom, indicating one free variable and two leading ones. This implies that only two of the vectors are linearly independent — indeed, one can check that *any* two of them are linearly independent, and so one basis for the image of is .

(c ) To find a basis for the kernel (aka null space) of , we need to determine those vectors that satisfy . Using our formula for , this gives us a linear system of equations to solve, and this linear system can be encoded by the augmented matrix

This is the same system / augmented matrix that we used in part (b)! After row reducing, we can turn this augmented matrix into

.

From which we learn that is free, while and . This tells us that the vector is a basis for the null space of .

(d) The Rank Nullity Theorem tells us that so that . From parts (b) and (c ) we found that and . This checks out since .

**Problem 6**. (a) The point of this part of the problem is to demonstrate that, as mentioned in class and in our reading, *a homomorphism is determined by its action on a basis*. Indeed, in this part of the problem we were not given a formula for the function , but we were told what it did to a basis (in fact the standard basis) for . From this given information we find

.

(b) The matrix this problem is looking for is, in fact, the matrix representation of with respect to the bases for and for .

In any event, the matrix obtained is given by

**Problem 7**. (a) No, there are no injective homomorphisms . This follows from the Rank-Nullity theorem. Such a function would be injective if and only if its nullity equals zero, but then this would force the rank to equal 3. The rank of such a homomorphism cannot possibly equal 3 since the range space is in this instance a subspace of .

(b) One can similarly use the Rank Nullity theorem to show that no such function can be onto.

**Problem 8**. (a) The given homomorphism has as its domain the 12-dimensional vector space . Because we are told that the homomorphism is surjective, we know that its range space equals the codomain . In particular, this means that .

(b) By the Rank-Nullity Theorem and part (a), it must follow that

.

**Problem 9**. (skipped)

**Problem 10**. (a) There are lots of answers for this part, but perhaps the most obvious choice is to use the function given by

.

It is straightforward to argue that this function, , is linear. To show that is one-to-one, suppose and that . If we describe the inputs as

then assuming means that . From this we see that and . Of course, from these equations we learn that , and so is one-to-one.

To show that is onto, let be any vector. We must show that there exists a matrix so that $T(M) = (a, b, c, d)^T$. Given our formula, though, this is easily accomplished; simply set

(b) There are many choices for this part of the problem, too. Here is one obvious linear map that is not an isomorphism

This zero-map was already shown to (always) be linear in a previous problem, but it is neither onto nor one-to-one. For instance, the only output is the zero matrix.

**Problem 11**. (a) . (b) .

(c ) The range space of is spanned by the four vectors and . Since these are vectors in the three-dimensional space , it follows that they are necessarily linearly dependent. To determine what the image of is isomorphic to, we need to determine a basis for its range space, and so we need to know how many of these vectors must be eliminated to form a linearly independent set.

Since the second vector is a multiple of the first vector, we need only check the linear independence of the vectors and . This check can be encoded in an augmented matrix

This tells us that only two of these vectors are linearly independent, and so . This means that the image of is isomorphic to .

(d) By the Rank-Nullity Theorem, the dimension of the null space of is 1, and so the kernel is isomorphic to .

**Problem 12**. For this problem, we are given only one basis to use. Because the domain equals the codomain , this means we are supposed to use this same basis for *both* the domain vector space and the codomain vector space. In particular, this question is asking us to compute the matrix representation

where . This matrix is computed by first evaluating

. One then computes the representation of these output vectors using the basis for the codomain. This gives

.

These output vectors are used as the columns for the desired matrix. As a result we find

**Problem 13**. It is straightforward to compute that

.

To determine the representation of the vector in the basis we have to solve a system of equations, namely

One finds that and so that

.

**Problem 14**. Skipped.

**Problem 15**. The matrix representation is given by

**Problem 16**. Skipped (this was done in class).