Linear Independence and Linear Transformations
Topics: linear independence and dependence of a set of vectors; transformations, matrix transformations and linear transformations. This week has two lecture days.
By the end of this week you will be able to:
- decide whether a set of vectors is linearly independent, and find a linear dependence relation when it is not;
- use the shortcuts (multiples, the zero vector, too many vectors) to decide dependence by inspection;
- describe the domain, codomain, image and range of a transformation \(T(\mathbf x)=A\mathbf x\), and solve existence and uniqueness questions about it;
- check the two linearity properties and use them to compute images of linear combinations;
- show that a given transformation is or is not linear.
Day 1: Linear Independence
Today we ask a new question about a set of vectors: is one of them a combination of the others, or does each one contribute a new direction?
For an \(m\times n\) matrix \(A=[\mathbf a_1\ \cdots\ \mathbf a_n]\), the equation \(A\mathbf x=\mathbf 0\) is the same as the vector equation \(x_1\mathbf a_1+\cdots+x_n\mathbf a_n=\mathbf 0\). It always has the trivial solution \(\mathbf x=\mathbf 0\). It has a nontrivial solution exactly when the system has a free variable, that is, when some column of \(A\) is not a pivot column. Row reduction of \(A\) (or of \([A\mid\mathbf 0]\)) shows the pivot columns.
1. The definition
Start with an example. Consider the vector equation
\[ x_1\begin{bmatrix}1\\2\\3\end{bmatrix}+x_2\begin{bmatrix}4\\5\\6\end{bmatrix}+x_3\begin{bmatrix}2\\1\\0\end{bmatrix}=\begin{bmatrix}0\\0\\0\end{bmatrix}. \tag{1} \]Of course \(x_1=x_2=x_3=0\) is a solution. The real question is whether it is the only solution. This question is the definition of linear independence.
An indexed set of vectors \(\{\mathbf v_1,\dots,\mathbf v_p\}\) in \(\mathbb R^n\) is linearly independent if the vector equation
\[x_1\mathbf v_1+x_2\mathbf v_2+\cdots+x_p\mathbf v_p=\mathbf 0\]has only the trivial solution. The set is linearly dependent if there are weights \(c_1,\dots,c_p\), not all zero, such that
\[c_1\mathbf v_1+c_2\mathbf v_2+\cdots+c_p\mathbf v_p=\mathbf 0. \tag{2}\]Equation (2), with weights not all zero, is called a linear dependence relation among \(\mathbf v_1,\dots,\mathbf v_p\).
A set is linearly dependent exactly when it is not linearly independent. We often say "\(\mathbf v_1,\dots,\mathbf v_p\) are linearly dependent" instead of "the set \(\{\mathbf v_1,\dots,\mathbf v_p\}\) is linearly dependent".
Let \(\mathbf v_1=\begin{bmatrix}1\\2\\3\end{bmatrix}\), \(\mathbf v_2=\begin{bmatrix}4\\5\\6\end{bmatrix}\), \(\mathbf v_3=\begin{bmatrix}2\\1\\0\end{bmatrix}\).
(a) Determine whether \(\{\mathbf v_1,\mathbf v_2,\mathbf v_3\}\) is linearly independent.
(b) If possible, find a linear dependence relation among \(\mathbf v_1,\mathbf v_2,\mathbf v_3\).
Solution.
(a) We must decide whether equation (1) has a nontrivial solution. Row reduce the augmented matrix. The operations are \(R_2\to R_2-2R_1\) and \(R_3\to R_3-3R_1\), then \(R_3\to R_3-2R_2\):
\[ \left[\begin{array}{ccc|c}1&4&2&0\\2&5&1&0\\3&6&0&0\end{array}\right]\sim \left[\begin{array}{ccc|c}1&4&2&0\\0&-3&-3&0\\0&-6&-6&0\end{array}\right]\sim \left[\begin{array}{ccc|c}1&4&2&0\\0&-3&-3&0\\0&0&0&0\end{array}\right] \]Columns 1 and 2 are pivot columns, so \(x_1\) and \(x_2\) are basic variables and \(x_3\) is free. Every nonzero value of \(x_3\) gives a nontrivial solution of (1). Therefore \(\mathbf v_1,\mathbf v_2,\mathbf v_3\) are linearly dependent.
(b) To write down a dependence relation we need actual weights, so we continue to the reduced echelon form (\(R_2\to -\tfrac13R_2\), then \(R_1\to R_1-4R_2\)) and read off the system:
\[ \left[\begin{array}{ccc|c}1&0&-2&0\\0&1&1&0\\0&0&0&0\end{array}\right]\qquad \begin{aligned} x_1-2x_3&=0\\ x_2+x_3&=0\\ 0&=0\end{aligned} \]So \(x_1=2x_3\), \(x_2=-x_3\), and \(x_3\) is free. Choose any nonzero value, say \(x_3=5\). Then \(x_1=10\), \(x_2=-5\), and
\[10\mathbf v_1-5\mathbf v_2+5\mathbf v_3=\mathbf 0.\]Check: \(10\cdot1-5\cdot4+5\cdot2=0\), \(10\cdot2-5\cdot5+5\cdot1=0\), \(10\cdot3-5\cdot6+5\cdot0=0\). This is one of infinitely many possible dependence relations (any other nonzero choice of \(x_3\) gives another).
2. Linear independence of matrix columns
If we start with a matrix \(A=[\mathbf a_1\ \cdots\ \mathbf a_n]\) instead of a list of vectors, then \(A\mathbf x=\mathbf 0\) is the equation \(x_1\mathbf a_1+\cdots+x_n\mathbf a_n=\mathbf 0\). Each nontrivial solution of \(A\mathbf x=\mathbf 0\) is a linear dependence relation among the columns of \(A\), and conversely. This gives a compact test.
The columns of a matrix \(A\) are linearly independent if and only if the equation \(A\mathbf x=\mathbf 0\) has only the trivial solution. Equivalently: every column of \(A\) is a pivot column (no free variables).
Determine whether the columns of \(A=\begin{bmatrix}0&1&4\\1&2&-1\\5&8&0\end{bmatrix}\) are linearly independent.
Solution. We study \(A\mathbf x=\mathbf 0\). The right-hand side is zero and stays zero under row operations, so it is enough to row reduce \(A\) itself. First swap \(R_1\leftrightarrow R_2\) to get a nonzero entry in the top left, then \(R_3\to R_3-5R_1\), then \(R_3\to R_3+2R_2\):
\[ \begin{bmatrix}0&1&4\\1&2&-1\\5&8&0\end{bmatrix}\sim \begin{bmatrix}1&2&-1\\0&1&4\\5&8&0\end{bmatrix}\sim \begin{bmatrix}1&2&-1\\0&1&4\\0&-2&5\end{bmatrix}\sim \begin{bmatrix}1&2&-1\\0&1&4\\0&0&13\end{bmatrix} \]There are three pivot columns and no free variables, so \(A\mathbf x=\mathbf 0\) has only the trivial solution. The columns of \(A\) are linearly independent.
3. Sets of one or two vectors
For very small sets, no row reduction is needed.
- One vector. The set \(\{\mathbf v\}\) is linearly independent if and only if \(\mathbf v\neq\mathbf 0\). Reason: if \(\mathbf v\ne\mathbf 0\), then \(x_1\mathbf v=\mathbf 0\) forces \(x_1=0\). If \(\mathbf v=\mathbf 0\), then \(x_1\mathbf 0=\mathbf 0\) holds for every \(x_1\), so there are nontrivial solutions.
- Two vectors. The set \(\{\mathbf v_1,\mathbf v_2\}\) is linearly dependent if and only if one of the vectors is a multiple of the other. Geometrically: two vectors are linearly dependent exactly when they lie on the same line through the origin.
Determine whether the following sets are linearly independent.
(a) \(\mathbf v_1=\begin{bmatrix}3\\1\end{bmatrix}\), \(\mathbf v_2=\begin{bmatrix}6\\2\end{bmatrix}\)
(b) \(\mathbf v_1=\begin{bmatrix}3\\2\end{bmatrix}\), \(\mathbf v_2=\begin{bmatrix}6\\2\end{bmatrix}\)
Solution.
(a) Here \(\mathbf v_2=2\mathbf v_1\). Then \(-2\mathbf v_1+\mathbf v_2=\mathbf 0\) is a dependence relation with weights \(-2\) and \(1\), not both zero. So \(\{\mathbf v_1,\mathbf v_2\}\) is linearly dependent.
(b) Neither vector is a multiple of the other: a multiple \(c\mathbf v_1=\begin{bmatrix}3c\\2c\end{bmatrix}\) would need \(3c=6\) and \(2c=2\), that is \(c=2\) and \(c=1\) at the same time. Why does this settle the question? Suppose \(c\mathbf v_1+d\mathbf v_2=\mathbf 0\). If \(c\neq0\), we could solve for \(\mathbf v_1=(-d/c)\mathbf v_2\), making \(\mathbf v_1\) a multiple of \(\mathbf v_2\), which is false. So \(c=0\). Then \(d\mathbf v_2=\mathbf 0\) with \(\mathbf v_2\ne\mathbf 0\) forces \(d=0\). Only the trivial solution exists, so the set is linearly independent.
The "is one a multiple of the other" test works only for sets of two vectors. For three or more vectors, a set can be linearly dependent even though no vector is a multiple of another (see Example 5 below).
4. Sets of two or more vectors
The argument of Example 3(b) generalizes: dependence means that some vector can be built from the others.
An indexed set \(S=\{\mathbf v_1,\dots,\mathbf v_p\}\) of two or more vectors is linearly dependent if and only if at least one of the vectors in \(S\) is a linear combination of the others.
In fact, if \(S\) is linearly dependent and \(\mathbf v_1\neq\mathbf 0\), then some \(\mathbf v_j\) (with \(j>1\)) is a linear combination of the preceding vectors \(\mathbf v_1,\dots,\mathbf v_{j-1}\).
Why the theorem is true. If some \(\mathbf v_j\) equals a combination of the other vectors, move \(\mathbf v_j\) to the other side: for instance \(\mathbf v_1=c_2\mathbf v_2+c_3\mathbf v_3\) gives \((-1)\mathbf v_1+c_2\mathbf v_2+c_3\mathbf v_3+0\mathbf v_4+\cdots=\mathbf 0\), a dependence relation with the nonzero weight \(-1\). Conversely, if \(c_1\mathbf v_1+\cdots+c_p\mathbf v_p=\mathbf 0\) with weights not all zero, let \(j\) be the largest index with \(c_j\neq0\). If \(j=1\) we would have \(c_1\mathbf v_1=\mathbf 0\) with \(\mathbf v_1\ne\mathbf 0\), impossible. So \(j>1\), and dividing by \(c_j\) gives \(\mathbf v_j=-\tfrac{c_1}{c_j}\mathbf v_1-\cdots-\tfrac{c_{j-1}}{c_j}\mathbf v_{j-1}\).
Theorem 7 says that some vector is a combination of the others. It does not say that every vector in a linearly dependent set is a combination of the others. Example 4 below shows a dependent set in which one vector is not a combination of the rest.
Let \(\mathbf u=\begin{bmatrix}3\\2\\-4\end{bmatrix}\), \(\mathbf v=\begin{bmatrix}-6\\1\\7\end{bmatrix}\), \(\mathbf w=\begin{bmatrix}0\\-5\\2\end{bmatrix}\), \(\mathbf z=\begin{bmatrix}3\\7\\-5\end{bmatrix}\).
(a) Are the sets \(\{\mathbf u,\mathbf v\}\), \(\{\mathbf u,\mathbf w\}\), \(\{\mathbf u,\mathbf z\}\), \(\{\mathbf v,\mathbf w\}\), \(\{\mathbf v,\mathbf z\}\), \(\{\mathbf w,\mathbf z\}\) each linearly independent?
(b) Does (a) imply that \(\{\mathbf u,\mathbf v,\mathbf w,\mathbf z\}\) is linearly independent?
(c) Is \(\{\mathbf u,\mathbf v,\mathbf w,\mathbf z\}\) linearly dependent?
(d) Is \(\mathbf w\) a linear combination of \(\mathbf u,\mathbf v,\mathbf z\)?
Solution.
(a) Yes. In each pair, neither vector is a multiple of the other (compare the ratios of corresponding entries; for instance \(\mathbf u\) and \(\mathbf z\) agree in the first entry, so a multiple would need \(c=1\), but \(2\ne7\)). So each two-element set is linearly independent.
(b) No. Pairwise independence says nothing about the whole set. The four-element set could still be dependent.
(c) Yes. Four vectors in \(\mathbb R^3\) are always linearly dependent (this is Theorem 8 in Part 5 below; the reason is that the \(3\times4\) matrix \([\mathbf u\ \mathbf v\ \mathbf w\ \mathbf z]\) must have a free variable).
(d) No. First note that \(\mathbf z=3\mathbf u+\mathbf v\) (check: \(3\cdot3-6=3\), \(3\cdot2+1=7\), \(3\cdot(-4)+7=-5\)). So \(\operatorname{Span}\{\mathbf u,\mathbf v,\mathbf z\}=\operatorname{Span}\{\mathbf u,\mathbf v\}\), a plane. Is \(\mathbf w\) in that plane? We need \(a\mathbf u+b\mathbf v=\mathbf w\): the first entry gives \(3a-6b=0\), so \(a=2b\); the second gives \(2a+b=-5\), so \(5b=-5\), \(b=-1\), \(a=-2\). The third entry then gives \(-4(-2)+7(-1)=1\ne2\). No solution, so \(\mathbf w\) is not a combination of \(\mathbf u,\mathbf v,\mathbf z\), even though the set \(\{\mathbf u,\mathbf v,\mathbf w,\mathbf z\}\) is linearly dependent (\(\mathbf z\) is the vector that is a combination of the others). This is exactly the situation the warning describes: testing one chosen vector is not a safe way to test the whole set.
5. Two situations where dependence is automatic
If a set contains more vectors than there are entries in each vector, then the set is linearly dependent. That is, any set \(\{\mathbf v_1,\dots,\mathbf v_p\}\) in \(\mathbb R^n\) is linearly dependent if \(p>n\).
Reason. Let \(A=[\mathbf v_1\ \cdots\ \mathbf v_p]\), an \(n\times p\) matrix. The equation \(A\mathbf x=\mathbf 0\) is a system of \(n\) equations in \(p\) unknowns. A matrix with \(n\) rows has at most \(n\) pivots, so if \(p>n\) some column has no pivot: there is a free variable, \(A\mathbf x=\mathbf 0\) has a nontrivial solution, and the columns are linearly dependent.
Theorem 8 says nothing when \(p\le n\). Two vectors in \(\mathbb R^3\) may be dependent or independent; three vectors in \(\mathbb R^3\) may be dependent or independent. In those cases you must check.
The vectors \(\begin{bmatrix}2\\1\end{bmatrix}\), \(\begin{bmatrix}4\\-1\end{bmatrix}\), \(\begin{bmatrix}-2\\2\end{bmatrix}\) are linearly dependent by Theorem 8: three vectors, but only two entries each. Notice that none of the three is a multiple of another (Figure 2). The dependence relation exists anyway; it just involves all three vectors. For instance, solving \(x_1(2,1)+x_2(4,-1)=(-2,2)\) gives \(x_1=1\), \(x_2=-1\), so \(1\begin{bmatrix}2\\1\end{bmatrix}-1\begin{bmatrix}4\\-1\end{bmatrix}-1\begin{bmatrix}-2\\2\end{bmatrix}=\mathbf 0\).
If a set \(S=\{\mathbf v_1,\dots,\mathbf v_p\}\) in \(\mathbb R^n\) contains the zero vector, then the set is linearly dependent.
Reason. Renumber so that \(\mathbf v_1=\mathbf 0\). Then \(1\mathbf v_1+0\mathbf v_2+\cdots+0\mathbf v_p=\mathbf 0\) is a dependence relation: the first weight is \(1\ne0\).
Determine by inspection whether each set is linearly dependent.
(a) \(\begin{bmatrix}1\\7\\6\end{bmatrix},\ \begin{bmatrix}2\\0\\9\end{bmatrix},\ \begin{bmatrix}3\\1\\5\end{bmatrix},\ \begin{bmatrix}4\\1\\8\end{bmatrix}\)
(b) \(\begin{bmatrix}2\\3\\5\end{bmatrix},\ \begin{bmatrix}0\\0\\0\end{bmatrix},\ \begin{bmatrix}1\\1\\8\end{bmatrix}\)
(c) \(\begin{bmatrix}-2\\4\\6\\10\end{bmatrix},\ \begin{bmatrix}3\\-6\\-9\\15\end{bmatrix}\)
Solution.
(a) Four vectors with three entries each: linearly dependent by Theorem 8.
(b) Theorem 8 does not apply (three vectors, three entries). But the set contains the zero vector, so it is linearly dependent by Theorem 9.
(c) Two vectors, so we check whether one is a multiple of the other. The second vector looks like \(-\tfrac32\) times the first: \(-\tfrac32(-2)=3\), \(-\tfrac32(4)=-6\), \(-\tfrac32(6)=-9\). But \(-\tfrac32(10)=-15\ne15\). The ratio fails in the fourth entry, so neither vector is a multiple of the other: the set is linearly independent.
Day 2: Introduction to Linear Transformations
Today we change our point of view: a matrix \(A\) is no longer only a table of coefficients. Multiplication by \(A\) is a rule that moves vectors, and we study that rule as a function.
For an \(m\times n\) matrix \(A=[\mathbf a_1\ \cdots\ \mathbf a_n]\) and \(\mathbf x\) in \(\mathbb R^n\), the product \(A\mathbf x=x_1\mathbf a_1+\cdots+x_n\mathbf a_n\) is a vector in \(\mathbb R^m\). Two rules from earlier: \(A(\mathbf u+\mathbf v)=A\mathbf u+A\mathbf v\) and \(A(c\mathbf u)=c(A\mathbf u)\). The equation \(A\mathbf x=\mathbf b\) is solved by row reducing \([A\mid\mathbf b]\): it is consistent when no row of the form \([\,0\cdots0\mid b\,]\) with \(b\ne0\) appears, and the solution is unique when there is no free variable.
1. Transformations
Take \(A=\begin{bmatrix}4&-3&1&3\\2&0&5&1\end{bmatrix}\). Then
\[ A\begin{bmatrix}1\\1\\1\\1\end{bmatrix}=\begin{bmatrix}5\\8\end{bmatrix}\qquad\text{and}\qquad A\begin{bmatrix}1\\4\\-1\\3\end{bmatrix}=\begin{bmatrix}0\\0\end{bmatrix}. \]We can read these as: multiplication by \(A\) transforms \((1,1,1,1)\) into \((5,8)\) and transforms \((1,4,-1,3)\) into the zero vector. From this point of view, solving \(A\mathbf x=\mathbf b\) means finding all vectors \(\mathbf x\) in \(\mathbb R^4\) that are sent to \(\mathbf b\) in \(\mathbb R^2\). The correspondence \(\mathbf x\mapsto A\mathbf x\) is a function from one set of vectors to another.
A transformation (or function, or mapping) \(T\) from \(\mathbb R^n\) to \(\mathbb R^m\) is a rule that assigns to each vector \(\mathbf x\) in \(\mathbb R^n\) a vector \(T(\mathbf x)\) in \(\mathbb R^m\). We write \(T:\mathbb R^n\to\mathbb R^m\).
- \(\mathbb R^n\) is the domain of \(T\) and \(\mathbb R^m\) is the codomain.
- For \(\mathbf x\) in \(\mathbb R^n\), the vector \(T(\mathbf x)\) is the image of \(\mathbf x\) under \(T\).
- The set of all images \(T(\mathbf x)\), as \(\mathbf x\) runs through \(\mathbb R^n\), is the range of \(T\). The range is a subset of the codomain; it may be smaller.
Matrix transformations. When \(A\) is an \(m\times n\) matrix, the rule \(T(\mathbf x)=A\mathbf x\) defines a transformation \(T:\mathbb R^n\to\mathbb R^m\), called a matrix transformation; we also write \(\mathbf x\mapsto A\mathbf x\). The sizes are forced: \(A\mathbf x\) is defined only when \(\mathbf x\) has \(n\) entries (one per column), and the result has \(m\) entries (one per row). The range of \(T\) is the set of all vectors of the form \(A\mathbf x=x_1\mathbf a_1+\cdots+x_n\mathbf a_n\), that is, \(\operatorname{Span}\{\mathbf a_1,\dots,\mathbf a_n\}\).
For instance, if \(T:\mathbb R^5\to\mathbb R^2\) is given by \(T(\mathbf x)=A\mathbf x\), then \(A\) must be \(2\times5\): five columns to accept \(\mathbf x\) in \(\mathbb R^5\), two rows to produce a vector in \(\mathbb R^2\).
Let \(A=\begin{bmatrix}1&-3\\3&5\\-1&7\end{bmatrix}\), \(\mathbf u=\begin{bmatrix}2\\-1\end{bmatrix}\), \(\mathbf b=\begin{bmatrix}3\\2\\-5\end{bmatrix}\), \(\mathbf c=\begin{bmatrix}3\\2\\5\end{bmatrix}\), and define \(T:\mathbb R^2\to\mathbb R^3\) by \(T(\mathbf x)=A\mathbf x\), so that
\[T(\mathbf x)=\begin{bmatrix}1&-3\\3&5\\-1&7\end{bmatrix}\begin{bmatrix}x_1\\x_2\end{bmatrix}=\begin{bmatrix}x_1-3x_2\\3x_1+5x_2\\-x_1+7x_2\end{bmatrix}.\](a) Find \(T(\mathbf u)\), the image of \(\mathbf u\).
(b) Find an \(\mathbf x\) in \(\mathbb R^2\) whose image under \(T\) is \(\mathbf b\).
(c) Is there more than one \(\mathbf x\) whose image is \(\mathbf b\)?
(d) Determine whether \(\mathbf c\) is in the range of \(T\).
Solution.
(a) Substitute \(x_1=2\), \(x_2=-1\):
\[T(\mathbf u)=A\mathbf u=\begin{bmatrix}2-3(-1)\\3(2)+5(-1)\\-2+7(-1)\end{bmatrix}=\begin{bmatrix}5\\1\\-9\end{bmatrix}.\](b) We need \(T(\mathbf x)=\mathbf b\), that is, \(A\mathbf x=\mathbf b\). Row reduce the augmented matrix: \(R_2\to R_2-3R_1\), \(R_3\to R_3+R_1\); then \(R_2\to\tfrac1{14}R_2\), \(R_3\to R_3-4R_2\); then \(R_1\to R_1+3R_2\):
\[ \left[\begin{array}{cc|c}1&-3&3\\3&5&2\\-1&7&-5\end{array}\right]\sim \left[\begin{array}{cc|c}1&-3&3\\0&14&-7\\0&4&-2\end{array}\right]\sim \left[\begin{array}{cc|c}1&-3&3\\0&1&-\tfrac12\\0&0&0\end{array}\right]\sim \left[\begin{array}{cc|c}1&0&\tfrac32\\0&1&-\tfrac12\\0&0&0\end{array}\right] \]So \(x_1=\tfrac32\), \(x_2=-\tfrac12\), and \(\mathbf x=\begin{bmatrix}3/2\\-1/2\end{bmatrix}\). Check: \(\tfrac32+\tfrac32=3\), \(\tfrac92-\tfrac52=2\), \(-\tfrac32-\tfrac72=-5\).
(c) Every \(\mathbf x\) with image \(\mathbf b\) must solve the same system. The reduced matrix has a pivot in both columns, so there is no free variable and the solution is unique. Exactly one \(\mathbf x\) is sent to \(\mathbf b\).
(d) The vector \(\mathbf c\) is in the range of \(T\) if \(\mathbf c=T(\mathbf x)\) for some \(\mathbf x\), that is, if \(A\mathbf x=\mathbf c\) is consistent. Row reduce: \(R_2\to R_2-3R_1\), \(R_3\to R_3+R_1\); then \(R_3\to\tfrac14R_3\) and swap \(R_2\leftrightarrow R_3\); then \(R_3\to R_3-14R_2\):
\[ \left[\begin{array}{cc|c}1&-3&3\\3&5&2\\-1&7&5\end{array}\right]\sim \left[\begin{array}{cc|c}1&-3&3\\0&14&-7\\0&4&8\end{array}\right]\sim \left[\begin{array}{cc|c}1&-3&3\\0&1&2\\0&14&-7\end{array}\right]\sim \left[\begin{array}{cc|c}1&-3&3\\0&1&2\\0&0&-35\end{array}\right] \]The last row says \(0=-35\), so the system is inconsistent. No \(\mathbf x\) is sent to \(\mathbf c\): \(\mathbf c\) is not in the range of \(T\).
Parts (c) and (d) are the two basic questions about a transformation, in new words. "Is \(\mathbf b\) the image of a unique \(\mathbf x\)?" is a uniqueness question. "Does there exist an \(\mathbf x\) whose image is \(\mathbf c\)?" (is \(\mathbf c\) in the range?) is an existence question. Both are answered by row reducing \([A\mid\mathbf b]\).
2. Two geometric matrix transformations
Let \(A=\begin{bmatrix}1&2\\0&1\end{bmatrix}\) and \(T(\mathbf x)=A\mathbf x\). Then \(T\begin{bmatrix}x_1\\x_2\end{bmatrix}=\begin{bmatrix}x_1+2x_2\\x_2\end{bmatrix}\): the second coordinate is unchanged, and the first coordinate is shifted by twice the second. Apply \(T\) to the corners of the square with vertices \((0,0),(2,0),(2,2),(0,2)\):
\[T\begin{bmatrix}0\\0\end{bmatrix}=\begin{bmatrix}0\\0\end{bmatrix},\quad T\begin{bmatrix}2\\0\end{bmatrix}=\begin{bmatrix}2\\0\end{bmatrix},\quad T\begin{bmatrix}2\\2\end{bmatrix}=\begin{bmatrix}6\\2\end{bmatrix},\quad T\begin{bmatrix}0\\2\end{bmatrix}=\begin{bmatrix}4\\2\end{bmatrix}.\]Points on the base (\(x_2=0\)) stay where they are; points on the top edge (\(x_2=2\)) move \(4\) units to the right. Because \(T\) sends line segments to line segments (this follows from the linearity properties below), the whole square is mapped onto the parallelogram with these four vertices (Figure 4). Such a \(T\) is called a shear transformation.
Define \(T:\mathbb R^2\to\mathbb R^2\) by \(T(\mathbf x)=\begin{bmatrix}0&-1\\1&0\end{bmatrix}\begin{bmatrix}x_1\\x_2\end{bmatrix}=\begin{bmatrix}-x_2\\x_1\end{bmatrix}\). Find the images of \(\mathbf u=\begin{bmatrix}4\\1\end{bmatrix}\), \(\mathbf v=\begin{bmatrix}2\\3\end{bmatrix}\) and \(\mathbf u+\mathbf v=\begin{bmatrix}6\\4\end{bmatrix}\).
Solution. Apply the rule \((x_1,x_2)\mapsto(-x_2,x_1)\) three times:
\[T(\mathbf u)=\begin{bmatrix}-1\\4\end{bmatrix},\qquad T(\mathbf v)=\begin{bmatrix}-3\\2\end{bmatrix},\qquad T(\mathbf u+\mathbf v)=\begin{bmatrix}-4\\6\end{bmatrix}.\]Observe that \(T(\mathbf u+\mathbf v)=T(\mathbf u)+T(\mathbf v)\): \((-1,4)+(-3,2)=(-4,6)\). Figure 5 shows that \(T\) rotates each vector by \(90^\circ\) counterclockwise about the origin, and the parallelogram spanned by \(\mathbf u,\mathbf v\) goes to the parallelogram spanned by \(T(\mathbf u),T(\mathbf v)\).
3. Linear transformations
The two rules for \(A\mathbf x\) in the reminder box say that a matrix transformation respects vector addition and scalar multiplication. These two properties, written for a general transformation, define the most important class of transformations in the course.
A transformation \(T\) is linear if
(i) \(T(\mathbf u+\mathbf v)=T(\mathbf u)+T(\mathbf v)\) for all \(\mathbf u,\mathbf v\) in the domain of \(T\);
(ii) \(T(c\mathbf u)=cT(\mathbf u)\) for all scalars \(c\) and all \(\mathbf u\) in the domain of \(T\).
Property (i) says: adding first and then applying \(T\) gives the same result as applying \(T\) first and then adding. Property (ii) says the same for scaling. Every matrix transformation is linear, because \(A(\mathbf u+\mathbf v)=A\mathbf u+A\mathbf v\) and \(A(c\mathbf u)=cA\mathbf u\).
If \(T\) is a linear transformation, then
\[T(\mathbf 0)=\mathbf 0 \tag{3}\] \[T(c\mathbf u+d\mathbf v)=cT(\mathbf u)+dT(\mathbf v) \tag{4}\]for all \(\mathbf u,\mathbf v\) in the domain and all scalars \(c,d\). More generally,
\[T(c_1\mathbf v_1+\cdots+c_p\mathbf v_p)=c_1T(\mathbf v_1)+\cdots+c_pT(\mathbf v_p). \tag{5}\]Why. For (3), use (ii) with \(c=0\): \(T(\mathbf 0)=T(0\mathbf u)=0\,T(\mathbf u)=\mathbf 0\). For (4), use (i) and then (ii): \(T(c\mathbf u+d\mathbf v)=T(c\mathbf u)+T(d\mathbf v)=cT(\mathbf u)+dT(\mathbf v)\). Repeating this argument gives (5).
Two remarks. First, (4) alone is equivalent to linearity: taking \(c=d=1\) in (4) gives (i), and taking \(d=0\) gives (ii). So to prove that \(T\) is linear, it is enough to prove (4). Second, (3) is a quick way to show that a transformation is not linear: if \(T(\mathbf 0)\ne\mathbf 0\), then \(T\) cannot be linear.
Define \(T:\mathbb R^2\to\mathbb R^2\) by \(T(\mathbf x)=3\mathbf x\). Show that \(T\) is a linear transformation.
Solution. We verify (4). Let \(\mathbf u,\mathbf v\) be in \(\mathbb R^2\) and let \(c,d\) be scalars. Then
\[ \begin{aligned} T(c\mathbf u+d\mathbf v)&=3(c\mathbf u+d\mathbf v)&&\text{definition of }T\\ &=3c\mathbf u+3d\mathbf v&&\text{vector arithmetic}\\ &=c(3\mathbf u)+d(3\mathbf v)&&\text{vector arithmetic}\\ &=cT(\mathbf u)+dT(\mathbf v)&&\text{definition of }T. \end{aligned} \]So \(T\) satisfies (4) and is linear. A map \(\mathbf x\mapsto r\mathbf x\) is called a dilation when \(r>1\) and a contraction when \(0\le r\le1\); the same computation works for any \(r\).
Column vectors are written as rows here. Define \(T:\mathbb R^2\to\mathbb R^3\) by \(T(x_1,x_2)=(2x_1-3x_2,\ x_1+4,\ 5x_2)\). Show that \(T\) is not linear.
Solution. A linear transformation must satisfy (3). But \(T(0,0)=(0,\,0+4,\,0)=(0,4,0)\ne(0,0,0)\). So \(T\) is not linear. (The "\(+4\)" in the second coordinate is the problem; without it, \(T\) would be the matrix transformation with matrix \(\begin{bmatrix}2&-3\\1&0\\0&5\end{bmatrix}\).)
Note that \(T(\mathbf 0)=\mathbf 0\) alone does not prove linearity; it is only a necessary condition. When (3) holds and you suspect \(T\) is not linear, look for a specific pair of vectors or a specific scalar for which (i) or (ii) fails.
Let \(T:\mathbb R^2\to\mathbb R^2\) be a linear transformation that maps \(\mathbf u=\begin{bmatrix}2\\1\end{bmatrix}\) into \(\begin{bmatrix}3\\4\end{bmatrix}\) and \(\mathbf v=\begin{bmatrix}1\\2\end{bmatrix}\) into \(\begin{bmatrix}1\\-5\end{bmatrix}\). Find the images of \(5\mathbf u\), \(4\mathbf v\) and \(5\mathbf u+4\mathbf v\).
Solution. We are not given a formula for \(T\), only two images. Linearity is enough. By (ii),
\[T(5\mathbf u)=5T(\mathbf u)=5\begin{bmatrix}3\\4\end{bmatrix}=\begin{bmatrix}15\\20\end{bmatrix},\qquad T(4\mathbf v)=4T(\mathbf v)=4\begin{bmatrix}1\\-5\end{bmatrix}=\begin{bmatrix}4\\-20\end{bmatrix}.\]By (i),
\[T(5\mathbf u+4\mathbf v)=T(5\mathbf u)+T(4\mathbf v)=\begin{bmatrix}15\\20\end{bmatrix}+\begin{bmatrix}4\\-20\end{bmatrix}=\begin{bmatrix}19\\0\end{bmatrix}.\]Let \(\mathbf v_1=\begin{bmatrix}-3\\5\end{bmatrix}\), \(\mathbf v_2=\begin{bmatrix}2\\-9\end{bmatrix}\), and let \(T:\mathbb R^2\to\mathbb R^2\) map \(\mathbf x=\begin{bmatrix}x_1\\x_2\end{bmatrix}\) into \(x_1\mathbf v_1+x_2\mathbf v_2\). Find a matrix \(A\) such that \(T(\mathbf x)=A\mathbf x\) for every \(\mathbf x\).
Solution. The product \(A\mathbf x\) is \(x_1\) times the first column of \(A\) plus \(x_2\) times the second column. So we want a matrix whose columns are \(\mathbf v_1\) and \(\mathbf v_2\):
\[A=[\mathbf v_1\ \ \mathbf v_2]=\begin{bmatrix}-3&2\\5&-9\end{bmatrix},\qquad A\mathbf x=x_1\begin{bmatrix}-3\\5\end{bmatrix}+x_2\begin{bmatrix}2\\-9\end{bmatrix}=T(\mathbf x).\]In particular \(T\) is a matrix transformation, so it is linear.
Homework 3
- Write your name and surname in the field below. It is saved with your answers and printed on the PDF.
- Show your work. For row reductions, write every row operation you use and the matrix after each step. An answer without work receives no credit.
- Each question has two answer modes: Type and Write by hand. In "Write by hand" the text boxes are replaced by a drawing area where you can write with a pen, your finger, or the mouse. Only the answers of the mode selected for each question go into the PDF; switching modes does not delete what you entered in the other mode.
- Your answers are saved automatically in this browser. If you open this file on a different computer or in a different browser, your answers will not be there.
- When you are done, click "Save homework as PDF", choose "Save as PDF" in the print dialog, and upload the PDF to Canvas.
- Total: 100 points. The five questions are ordered from easier to harder.
Question 115 points
Determine whether the columns of the matrix
\[A=\begin{bmatrix}0&-8&5\\3&-7&4\\-1&5&-4\\1&-3&2\end{bmatrix}\]form a linearly independent set. Justify your answer with a row reduction.
Question 220 points
Let \(\mathbf v_1=\begin{bmatrix}1\\-3\\2\end{bmatrix}\), \(\mathbf v_2=\begin{bmatrix}-3\\10\\-6\end{bmatrix}\), \(\mathbf v_3=\begin{bmatrix}2\\-7\\h\end{bmatrix}\).
(a) For what value(s) of \(h\) is \(\mathbf v_3\) in \(\operatorname{Span}\{\mathbf v_1,\mathbf v_2\}\)?
(b) For what value(s) of \(h\) is \(\{\mathbf v_1,\mathbf v_2,\mathbf v_3\}\) linearly dependent?
Justify each answer. You may write \(h\) inside the matrix cells (for example 2h+1).
Question 320 points
Mark each statement true or false and justify your answer (5 points each). If a statement is false, give a specific counterexample; if it is true, name the definition, theorem or fact that makes it true.
Question 425 points
Let \(A=\begin{bmatrix}1&-4&7&-5\\0&1&-4&3\\2&-6&6&-4\end{bmatrix}\) and let \(T:\mathbb R^4\to\mathbb R^3\) be the transformation \(T(\mathbf x)=A\mathbf x\).
(a) (15 points) Find all \(\mathbf x\) in \(\mathbb R^4\) that are mapped into the zero vector by \(T\). Row reduce \(A\), then write the solution set in parametric vector form.
(b) (10 points) Let \(\mathbf b=\begin{bmatrix}-1\\1\\0\end{bmatrix}\). Is \(\mathbf b\) in the range of \(T\)? Justify with a row reduction of the augmented matrix and state clearly which fact about the reduced matrix decides the answer.
Question 520 points
(a) (10 points) Let \(\mathbf e_1=\begin{bmatrix}1\\0\end{bmatrix}\), \(\mathbf e_2=\begin{bmatrix}0\\1\end{bmatrix}\), \(\mathbf y_1=\begin{bmatrix}2\\5\end{bmatrix}\), \(\mathbf y_2=\begin{bmatrix}-1\\6\end{bmatrix}\), and let \(T:\mathbb R^2\to\mathbb R^2\) be a linear transformation that maps \(\mathbf e_1\) into \(\mathbf y_1\) and \(\mathbf e_2\) into \(\mathbf y_2\). Find the images of \(\begin{bmatrix}5\\-3\end{bmatrix}\) and \(\begin{bmatrix}x_1\\x_2\end{bmatrix}\). Show how you use the linearity of \(T\).
Write each entry of the second vector as an expression in \(x_1\) and \(x_2\).
(b) (10 points) Column vectors are written as rows here. Show that the transformation \(T\) defined by \(T(x_1,x_2)=(4x_1-2x_2,\ 3|x_2|)\) is not linear. Give specific vectors (or a specific vector and a specific scalar) for which one of the linearity properties fails, and compute both sides.