Week 3 ·

Linear Transformations and Matrix Multiplication

Linear Transformations

Linear Transformations (and linear functionals) are one of the fundamental concepts of linear algebra. Under the hood matrices are tools to represent linear transformations. We are going to see that matrix transformations and linear transformations are equivalent. At this point we can consider matrices as functions.

We already have the intuition on linear transformations since they are equivalent to the function a matrix represents. We will prove this fact but before that here is a formal definition from the lecture notes:

Definition 2.19 (Linear transformation, linear functional)

A function T:Rn↦RmT : \mathbb{R}^n \mapsto \mathbb{R}^m is called a lienar transformation and a function Rn↦R\mathbb{R}^n \mapsto \mathbb{R} is called a linear functional, if the following two linearity axioms hold for all x1,x2∈Rn\textbf{x}_1, \textbf{x}_2 \in \mathbb{R}^n and all λ∈R\lambda \in \mathbb{R}.

  • (i) T(x1+x2)=T(x1)+T(x2)T(\textbf{x}_1+\textbf{x}_2) = T(\textbf{x}_1) + T(\textbf{x}_2)
  • (ii) T(λx1)=λT(x1)T(\lambda\textbf{x}_1) = \lambda T(\textbf{x}_1)

As an immediate observation we can say:

Observation 2.20. Every matrix transformation is a linear transformation.

Because we defined a matrix transofrmation as TA(x)=AxT_A(\textbf{x}) = A\textbf{x} and we know that A(x1+x2)=Ax1+Ax2A(\textbf{x}_1 + \textbf{x}_2) = A\textbf{x}_1 + A\textbf{x}_2 and A(λx1)=λA(x1)A(\lambda\textbf{x}_1) = \lambda A(\textbf{x}_1), we know that matrix transformations satisfy the linearity axioms.

Lemma 2.21

Let T:Rn→RmT : \mathbb{R}^n \to \mathbb{R}^m / T:Rn→RT : \mathbb{R}^n \to \mathbb{R} be a linear transformation / linear functional. Then

T(0)=0  /  T(0)=0.T(\textbf{0}) = \textbf{0} \; / \; T(\textbf{0}) = 0.

This is very important. So repeat once more:

0\textbf{0} is always mapped to 0\textbf{0} by a linear transformation/functional:

T(0)=0  T(0)=0T(\textbf{0}) = \textbf{0} \; T(\textbf{0}) = 0

An important lemma that formalizes the axiom of linearity for more than two vectors is the following which comes with a proof by induction that I recommend reading from the lecture notes.

Lemma 2.22

Let T:Rn→RmT : \mathbb{R}^n \to \mathbb{R}^m / T:Rn→RT : \mathbb{R}^n \to \mathbb{R} be a linear transformation / linear functional, let x1,x2,…,xℓ∈Rn\mathbf{x}_1, \mathbf{x}_2, \ldots, \mathbf{x}_\ell \in \mathbb{R}^n and λ1,λ2,…,λℓ∈R\lambda_1, \lambda_2, \ldots, \lambda_\ell \in \mathbb{R}. Then

T ⁣(∑j=1ℓλjxj)=∑j=1ℓλjT(xj).T\!\left( \sum_{j=1}^{\ell} \lambda_j \mathbf{x}_j \right) = \sum_{j=1}^{\ell} \lambda_j T(\mathbf{x}_j).

Examples of Linear Transformations

In this subsection we will list some examples and non-examples of linear transformations. As an exercise, you can prove that they are linear transformations. The recipe is always the same, nothing fancy: Prove that the two linearity axioms hold. We are going to provide an example proof and counterexamples.

Linear Transformations

Scalar product Let v∈Rm\textbf{v}\in\R^m be a vector. Then T:Rm→RT:\R^m \to \R

T(x)=∑i=1mvixi=v⊤xT(\textbf{x}) = \sum_{i=1}^m v_ix_i = \textbf{v}^\top \textbf{x}

is a linear functional.

Identity The identity function id:Rn→Rn\mathrm{id}: \R^n \to \R^n

id(x)=x\mathrm{id}(\textbf{x}) = \textbf{x}

is a linear transformation.

Constant Zero Let 0∈Rn\textbf{0}\in \R^n be the zero vector. Then T:Rm→RnT: \R^m \to \R^n:

T(x)=0T(\textbf{x}) = \textbf{0}

is a linear transformation.

Differentiation(informal) Let R[x]\R[x] be the vector space of polynomials in one variable as defined in Def 4.4 of the lecture notes. Further let P⊆R[x]P \subseteq \R[x] define subspace of polynomials of degree at most 3. The differentiation function Td:P→PT_d : P \to P:

Td(p)=ddxpT_d(\textbf{p}) = \frac{d}{dx}\textbf{p}

that gives the derivative of the polynomial is a linear transformation.

Proof

Let p=a3x3+a2x2+a1x+a0\textbf{p} = a_3 x^3 + a_2x^2+a_1x + a_0 and q=b3x3+b2x2+b1x+b0\textbf{q} = b_3 x^3 + b_2x^2+b_1x + b_0 be two polynomials of degree at most 3. Then we have:

Td(p+q)=Td((a3+b3)x3+(a2+b2)x2+(a1+b1)x+(a0+b0))=ddx((a3+b3)x3+(a2+b2)x2+(a1+b1)x+(a0+b0))=3⋅(a3+b3)x2+2⋅(a2+b2)x1+(a1+b1)+0=3⋅a3x2+3⋅b3x2+2⋅a2x1+2⋅b2x1+a1+b1+0+0=[3⋅a3x2+2⋅a2x1+a1+0]+[3⋅b3x2+2⋅b2x1+b1+0]=ddx(a3x3+a2x2+a1x+a0)+ddx(b3x3+b2x2+b1x+b0)=ddxp+ddxq=Td(p)+Td(q)\begin{aligned} T_d(\textbf{p}+\textbf{q}) &= T_d((a_3+b_3) x^3 + (a_2+b_2)x^2+(a_1+b_1)x + (a_0+b_0)) \\ &= \frac{d}{dx} ((a_3+b_3) x^3 + (a_2+b_2)x^2+(a_1+b_1)x + (a_0+b_0)) \\ &= 3\cdot(a_3+b_3) x^2 + 2\cdot (a_2+b_2)x^1+(a_1+b_1) + 0 \\ &= 3\cdot a_3 x^2+ 3\cdot b_3 x^2 + 2\cdot a_2 x^1+ 2\cdot b_2 x^1 + a_1 + b_1 + 0 + 0 \\ &= [3\cdot a_3 x^2 + 2\cdot a_2 x^1 + a_1 + 0] + [3\cdot b_3 x^2 + 2\cdot b_2 x^1 + b_1 + 0] \\ &= \frac{d}{dx}(a_3 x^3 + a_2x^2+a_1x + a_0) + \frac{d}{dx} (b_3 x^3 + b_2x^2+b_1x + b_0) \\ &= \frac{d}{dx}\textbf{p} + \frac{d}{dx}\textbf{q} \\ &= T_d(\textbf{p}) + T_d(\textbf{q}) \end{aligned}

and for λ∈R\lambda \in \R we have

Td(λp)=Td(λ (a3x3+a2x2+a1x+a0))=Td(λa3x3+λa2x2+λa1x+λa0)=ddx(λa3x3+λa2x2+λa1x+λa0)=3⋅λa3x2+2⋅λa2x1+1⋅λa1+λ⋅0=λ (3a3x2+2a2x1+1a1+0)=λ ddx(a3x3+a2x2+a1x+a0)=λ Td(p)\begin{aligned} T_d(\lambda \textbf{p}) &= T_d(\lambda\,(a_3 x^3 + a_2x^2+a_1x + a_0)) \\ &= T_d(\lambda a_3 x^3 + \lambda a_2x^2+ \lambda a_1x + \lambda a_0) \\ &= \frac{d}{dx} (\lambda a_3 x^3 + \lambda a_2x^2+ \lambda a_1x + \lambda a_0) \\ &= 3\cdot \lambda a_3 x^2 + 2\cdot \lambda a_2x^1+ 1\cdot \lambda a_1 + \lambda \cdot 0 \\ &= \lambda \, (3 a_3 x^2 + 2 a_2x^1+1a_1 + 0) \\ &= \lambda \, \frac{d}{dx}(a_3 x^3 + a_2x^2+a_1x + a_0) \\ &= \lambda \,T_d(\textbf{p}) \end{aligned}

Since TdT_d satisfies both linearity axioms, TdT_d is a linear transformation. □  \square\,\, (Note that this is an informal example since we do not define the differentiation operation formally in the lecture notes.)

Non-linear Transformations

Nonzero Constant Let c∈Rn∖{0}\textbf{c}\in \R^n\setminus\{\textbf{0}\} be a nonzero vector. Then T:Rm→RnT: \R^m \to \R^n:

T(x)=cT(\textbf{x}) = \textbf{c}

is not a linear transformation.

Euclidean Norm The transformation T:Rm→RT: \R^m \to \R

T(x)=∑i=1mxi2=∥x∥T(\textbf{x}) = \sqrt{\sum_{i=1}^m x_i^2 }= \lVert\textbf{x}\rVert

is not a linear transformation.

Counterexample.

T((11)+(−1−1))=T(0)=0≠2+2=T((11))+T((−1−1))T\left(\begin{pmatrix} 1 \\ 1 \end{pmatrix} + \begin{pmatrix} -1 \\ -1 \end{pmatrix}\right) = T(\textbf{0}) = 0 \neq \sqrt{2} + \sqrt{2} = T\left(\begin{pmatrix} 1 \\ 1 \end{pmatrix}\right) + T\left(\begin{pmatrix} -1 \\ -1 \end{pmatrix}\right)

The Matrix of a linear Transformation

We have seen that every matrix AA defines a linear transformation TAT_A above (Observation 2.20). This theorem states the other direction: Every linear transformation T:Rn↦RmT : \mathbb{R}^n \mapsto \mathbb{R}^m is of the form T=TAT = T_A for a unique m×nm \times n matrix AA.

Theorem 2.23

Let T:Rn↦RmT : \mathbb{R}^n \mapsto \mathbb{R}^m be a linear transformation. There is exactly one m×nm\times n matrix AA such that T=TAT = T_A (meaning that T(x)=TA(x)T(\textbf{x}) = T_A(\textbf{x}) for all x∈Rn\textbf{x}\in \R^n). This matrix is:

A=[∣∣∣T(e1)T(e2)…T(en)∣∣∣]A =\begin{bmatrix} \vert & \vert & & \vert \\ T(\textbf{e}_1) & T(\textbf{e}_2) & \dots & T(\textbf{e}_n)\\ \vert & \vert & & \vert \end{bmatrix}

Proof

For a given vector we want to create the same effect as a linear transformation using a matrix. An important set of vectors to observe is the set of unit vectors. Because as mentioned earlier, we can generalize the effect of a linear transformation if we know what happens to the unit cube.

We want an AA s.t. T(x)=TA(x)=AxT(\textbf{x}) = T_A(\textbf{x}) = A\textbf{x}. In particular we want this to hold for the unit vectors: T(ei)=AeiT(\textbf{e}_i) = A\textbf{e}_i for i∈[n]i\in [n]. And multiplying a matrix with the i-th unit vector means to choose the i-th column of that matrix. Since we want this matrix to have the same effect as the given linear transformation, we put the result of T(ei)T(\textbf{e}_i) to the i-th column of the matrix.

A=[∣∣∣T(e1)T(e2)…T(en)∣∣∣]A = \begin{bmatrix} \vert & \vert & & \vert \\ T(\textbf{e}_1) & T(\textbf{e}_2) & \dots & T(\textbf{e}_n)\\ \vert & \vert & & \vert \end{bmatrix}

Now we definitely have T(ei)=AeiT(\textbf{e}_i) = A\textbf{e}_i. How about other vectors that are not the standard unit vectors? We can deconstruct them as a linear combination of the unit vectors! An example from 3 dimensions is:

(x1x2x3)=x1(100)⏟e1+x2(010)⏟e2+x3(001)⏟e3  .\begin{pmatrix} x_1 \\[2pt] x_2 \\[2pt] x_3 \end{pmatrix} = x_1 \underbrace{ \begin{pmatrix} 1 \\[2pt] 0 \\[2pt] 0 \end{pmatrix} }_{\mathbf{e}_1} + x_2 \underbrace{ \begin{pmatrix} 0 \\[2pt] 1 \\[2pt] 0 \end{pmatrix} }_{\mathbf{e}_2} + x_3 \underbrace{ \begin{pmatrix} 0 \\[2pt] 0 \\[2pt] 1 \end{pmatrix} }_{\mathbf{e}_3} \;.

So in general we can write x=∑i=1nxiei\textbf{x} = \sum_{i=1}^n x_i \textbf{e}_i. Using this fact and the linearity axiom for linear transformations we can write:

TA(x)=Ax=∑j=1nxjT(ej)=T ⁣(∑j=1nxjej)=T(x).T_A(\mathbf{x}) = A\mathbf{x} = \sum_{j=1}^{n} x_j T(\mathbf{e}_j) = T\!\left( \sum_{j=1}^{n} x_j \mathbf{e}_j \right) = T(\mathbf{x}).

The second equality writes the matrix vector multiplication as the linear combination of the columns of the matrix AA. Using that AA is our candidate matrix from above, we can write T(ej)T(\textbf{e}_j) instead of vjv_j as the j-th column of A. This brings us to the third equation which is just an implementation of the linearity axioms. Last but not least, the fourth equation is justified because ∑j=1nxjej\sum_{j=1}^{n} x_j\textbf{e}_j is equivalent to multiplying the vector x with the identity matrix. □\square

We knew that all matrix transformations are linear. Now we have proven that every linear transformation is also a matrix transformation. This means that the two types of transformations are equivalent! This fundamental result applies to many fields. One example is algebra. Remember how we showed above that differentiation is a linear transformation for polynomials of degree at most 3? For a polynomial of degree at most 3, represented as the vector of its coefficients p=(a0 a1 a2 a3)⊤\textbf{p} = ( a_0 \, a_1 \, a_2 \, a_3 )^\top the matrix corresponding to differentiation is:

[0100002000030000]\begin{bmatrix} 0 & 1 & 0 & 0 \\ 0 & 0 & 2 & 0 \\ 0 & 0 & 0 & 3 \\ 0 & 0 & 0 & 0 \end{bmatrix}

Try it for a polynomial! Write its coefficients as a vector and multiply it with this matrix.

Matrix Multiplication

We can combine linear transformations and represent the composition as matrix multiplication. We should first define what a composition of functions formally is.

Definition 2.31 (Composition of linear transformations)

Let T:Rn→RkT : \R^n \to \R^k and S:Rk→RmS : \R^k \to \R^m be two linear transformations. The composition S∘T:Rn→RmS \circ T: \R^n \to \R^m is defined by (S∘T)(x)=S(T(x))(S\circ T)(\textbf{x}) = S(T(\textbf{x}))

Take a close look at the input and output domains. The transformation TT gives outputs in the correct domain that SS accepts as input. We can further establish that composition of two linear transformations is a linear transformation:

Lemma 2.32. Let T:Rn↦RkT: \mathbb{R}^n \mapsto \mathbb{R}^k and S:Rk↦RmS: \mathbb{R}^k \mapsto \mathbb{R}^m be two linear transformations. Then S∘T:Rn↦RmS \circ T: \mathbb{R}^n \mapsto \mathbb{R}^m is another linear transformation.

You can show the linearity axioms for S∘TS \circ T using (S∘T)(x)=S(T(x))(S\circ T)(\textbf{x}) = S(T(\textbf{x})) and the fact that TT and SS are linear transformations. Since we showed that matrix transformations are equivalent to linear transformations, we can say that the composition of two matrix transformations TA:Rk→RmT_A:\R^k \to \R^m, TB:Rn→RkT_B:\R^n \to \R^k is another matrix transformation: TA∘TB:Rn→RmT_A\circ T_B :\R^n \to \R^m. The matrix corresponding to the composition is the multiplication of matrices A and B.

Lemma 2.33 (Matrix of the composition)

Let AA be an m×km \times k matrix and

B=[∣∣∣x1x2⋯xn∣∣∣]B = \begin{bmatrix} | & | & & | \\ \mathbf{x}_1 & \mathbf{x}_2 & \cdots & \mathbf{x}_n \\ | & | & & | \end{bmatrix}

a k×nk \times n matrix. The m×nm \times n matrix

C=[∣∣∣Ax1Ax2⋯Axn∣∣∣]C = \begin{bmatrix} | & | & & | \\ A\mathbf{x}_1 & A\mathbf{x}_2 & \cdots & A\mathbf{x}_n \\ | & | & & | \end{bmatrix}

is the unique matrix that satisfies TC=TA∘TBT_C = T_A \circ T_B.

You can read the short proof of this from the lecture notes to better understand why this holds. This actually gives us the first insight in matrix multiplication which we are going to define formally as the following:

Definition 2.34 (Matrix multiplication in column notation)

Let AA be an m×km \times k matrix and

B=[∣∣∣x1x2⋯xn∣∣∣]B = \begin{bmatrix} | & | & & | \\ \mathbf{x}_1 & \mathbf{x}_2 & \cdots & \mathbf{x}_n \\ | & | & & | \end{bmatrix}

a k×nk \times n matrix. The m×nm \times n matrix

AB:=[∣∣∣Ax1Ax2⋯Axn∣∣∣]AB := \begin{bmatrix} | & | & & | \\ A\mathbf{x}_1 & A\mathbf{x}_2 & \cdots & A\mathbf{x}_n \\ | & | & & | \end{bmatrix}

is the product of AA and BB.

Now we can go on and define the matrix of the composition TA∘TBT_A \circ T_B as the product of the matrix multiplication: TA∘TB=TABT_A \circ T_B = T_{AB} (See Corollary 2.35 for a more formal version.)

How to multiply matrices?

There are many ways of thinking about the matrix multiplication. All ways of multiplying matrices yield the same result, but depending on the context one or the other might be more intuitive.

Collection of Linear Combinations (Similar to Def 2.34) This is the closest one to the definition. We already know that matrix vector multiplication is actually a compact representation of the linear combination of the columns of the matrix where the coefficients are the elements of the vector. When we multiply a matrix with another matrix, we do a matrix vector multiplication with each column of the matrix on the right side: Let A be an m×km \times k matrix and

B=[∣∣∣x1x2⋯xn∣∣∣]B = \begin{bmatrix} | & | & & | \\ \mathbf{x}_1 & \mathbf{x}_2 & \cdots & \mathbf{x}_n \\ | & | & & | \end{bmatrix}

a k×nk \times n matrix. The m×nm \times n matrix

AB:=[∣∣∣Ax1Ax2⋯Axn∣∣∣]AB := \begin{bmatrix} | & | & & | \\ A\mathbf{x}_1 & A\mathbf{x}_2 & \cdots & A\mathbf{x}_n \\ | & | & & | \end{bmatrix}

includes nn different linear combinations of the columns of AA.

AB = 12−1032 2 0 1 −1 1 1 0 2 3 −2 1 0
= Ax1 Ax2 Ax3 Ax4
= 1 4 0 3 9 −1 2 6
Ax1 = A 213 = 2 · 10 + 1 · 23 + 3 · −12 = 19
Ax2 = A 01−2 = 0 · 10 + 1 · 23 + (−2) · −12 = 4−1
Ax3 = A 101 = 1 · 10 + 0 · 23 + 1 · −12 = 02
Ax4 = A −120 = (−1) · 10 + 2 · 23 + 0 · −12 = 36

Collection of Scalar products (Similar to observation 2.36) We can extend the above way of multiplying matrices as a collection of scalar products. When you multiply the column vector xi\textbf{x}_i with the matrix AA, you are actually taking the scalar product of xi\textbf{x}_i with AA‘s rows. Hence the entry that sits at ii-th row and jj-th column of the product is the scalar product of the ii-th row of matrix AA and the jj-th column of matrix BB. For the matrix A

A=[u1⊤u2⊤⋮um⊤]A = \begin{bmatrix} \rule[.5ex]{1.5em}{0.4pt} & \mathbf{u}_1^\top & \rule[.5ex]{1.5em}{0.4pt} \\ \rule[.5ex]{1.5em}{0.4pt} & \mathbf{u}_2^\top & \rule[.5ex]{1.5em}{0.4pt} \\ & \vdots & \\ \rule[.5ex]{1.5em}{0.4pt} & \mathbf{u}_m^\top & \rule[.5ex]{1.5em}{0.4pt} \end{bmatrix}

and the matrix BB as above, we can write the product as:

AB=[u1⊤x1u1⊤x2⋯u1⊤xnu2⊤x1u2⊤x2⋯u2⊤xn⋮⋮⋱⋮um⊤x1um⊤x2⋯um⊤xn]AB = \begin{bmatrix} \mathbf{u}_1^\top \mathbf{x}_1 & \mathbf{u}_1^\top \mathbf{x}_2 & \cdots & \mathbf{u}_1^\top \mathbf{x}_n \\ \mathbf{u}_2^\top \mathbf{x}_1 & \mathbf{u}_2^\top \mathbf{x}_2 & \cdots & \mathbf{u}_2^\top \mathbf{x}_n \\ \vdots & \vdots & \ddots & \vdots \\ \mathbf{u}_m^\top \mathbf{x}_1 & \mathbf{u}_m^\top \mathbf{x}_2 & \cdots & \mathbf{u}_m^\top \mathbf{x}_n \end{bmatrix}
AB = 1 2 −1 0 3 2 2 0 1 −1 1 1 0 2 3 −2 1 0
= 12−1 213 12−1 01−2 12−1 101 12−1 −120 032 213 032 01−2 032 101 032 −120
= 1 4 0 3 9 −1 2 6

Linear Combination of Rows You can shift the focus to the matrix BB and write the matrix product as the linear combination of the rows of matrix B. Calling it a linear combination of the rows is a slight abuse of notation since we have covectors involved. However as everything is matrix multiplication (Section 2.3.4 of the lecture notes) this trick is legal.

AB=[u1⊤Bu2⊤B⋮um⊤B]AB = \begin{bmatrix} \rule[.5ex]{1.5em}{0.4pt} & \mathbf{u}_1^\top B & \rule[.5ex]{1.5em}{0.4pt} \\ \rule[.5ex]{1.5em}{0.4pt} & \mathbf{u}_2^\top B & \rule[.5ex]{1.5em}{0.4pt} \\ & \vdots & \\ \rule[.5ex]{1.5em}{0.4pt} & \mathbf{u}_m^\top B & \rule[.5ex]{1.5em}{0.4pt} \end{bmatrix}

Here, each row is a linear combination of the rows of BB. Let BB written in row notation be

B=[b1⊤b2⊤⋮bk⊤]B = \begin{bmatrix} \rule[.5ex]{1.5em}{0.4pt} & \mathbf{b}_1^\top & \rule[.5ex]{1.5em}{0.4pt} \\ \rule[.5ex]{1.5em}{0.4pt} & \mathbf{b}_2^\top & \rule[.5ex]{1.5em}{0.4pt} \\ & \vdots & \\ \rule[.5ex]{1.5em}{0.4pt} & \mathbf{b}_k^\top & \rule[.5ex]{1.5em}{0.4pt} \end{bmatrix}

Then for a vector v∈Rk\textbf{v} \in \R^k, v⊤B\textbf{v}^\top B is nothing else but the sum of the rows of BB scaled by the coefficients as the elements of the vector v\textbf{v}:

v1 ⋅[b1⊤]v2 ⋅[b2⊤]⋮vk ⋅[bk⊤]+v⊤B\begin{matrix} v_1 \, \cdot & \begin{bmatrix}\rule[.5ex]{1.5em}{0.4pt} & \mathbf{b}_1^\top & \rule[.5ex]{1.5em}{0.4pt}\end{bmatrix} \\ \\ v_2 \, \cdot & \begin{bmatrix}\rule[.5ex]{1.5em}{0.4pt} & \mathbf{b}_2^\top & \rule[.5ex]{1.5em}{0.4pt}\end{bmatrix} \\ \vdots \\ v_k \, \cdot & \begin{bmatrix}\rule[.5ex]{1.5em}{0.4pt} & \mathbf{b}_k^\top & \rule[.5ex]{1.5em}{0.4pt}\end{bmatrix} \\ + \\ \hline \\ & \textbf{v}^\top B \end{matrix}

Note that this is a slightly different way of viewing the covector-matrix multiplication than it is defined in Definition 2.41

AB = 1 2 −1 0 3 2 201−111023−210
= u1⊤B u2⊤B
= 1 4 0 3 9 −1 2 6
u1⊤B = 12−1 B = 1 · 201−1 + 2 · 1102 + (−1) · 3−210 = 1403
u2⊤B = 032 B = 0 · 201−1 + 3 · 1102 + 2 · 3−210 = 9−126

Observations about matrix multiplication:

  1. You can only multiply matrices if their dimensions match. The product ABAB is defined if and only if AA has as many columns as BB has rows.
  2. (AB)⊤=B⊤A⊤(AB)^\top = B^\top A^\top for two matrices A∈Rm×kA\in\R^{m\times k} and B∈Rk×nB\in\R^{k\times n}. (See formal version at Lemma 2.38)
  3. Let II be the m×mm\times m identity matrix. Then IA=AIA = A for all m×nm\times n matrices, and AI=AAI = A for all n×mn \times m matrices. (See formal version at Corollary 2.39)

Last but not least matrix multiplication is distributive and associative. You can verify this by keeping track of each entry in the multiplication or thinking of matrices as linear transformations:

Lemma 2.40

Let A,B,CA, B, C be three matrices. Whenever the respective sums and products in the following are defined, we have

  1. A (B+C)=AB+ACA\,(B + C) = AB + AC and (A+B) C=AC+BC(A + B)\,C = AC + BC (distributivity)
  2. (AB)C=A(BC).(AB)C = A(BC). (associativity)

Image and Kernel

Here are the definitions for Image and Kernel of a matrix (from lecture notes). We are going to examine them closer in a couple of weeks but the keywords might already come up in external sources, assignments and sometimes in the lecture.

Definition 2.25 (Kernel and image)

Let T:Rn→RmT : \mathbb{R}^n \to \mathbb{R}^m be a linear transformation. The set

Ker(T):={ x∈Rn:T(x)=0 }⊆Rn\textbf{\textit{Ker}}(T) := \{\, \mathbf{x} \in \mathbb{R}^n : T(\mathbf{x}) = \textbf{0} \,\} \subseteq \mathbb{R}^n

is the kernel of TT. The set

Im(T):={ T(x):x∈Rn }⊆Rm\textbf{\textit{Im}}(T) := \{\, T(\mathbf{x}) : \mathbf{x} \in \mathbb{R}^n \,\} \subseteq \mathbb{R}^m

is the image of TT.

Hints

  1. In Class.
  2. Bonus! No hints.
  3. Try to find out what the matrix transformation does to the unit vectors. One of them is already given. Find T(e2)T(\textbf{e}_2).
  4. This is an if and only if proof so you have to prove both directions. In one direction you prove if TT is a linear transformation then vn+1=0v_{n+1} = \textbf{0} Think about what should hold if TT is a linear transformation. In the other direction you should prove if vn+1=0v_{n+1} = \textbf{0} then TT is a linear transformation. Remember how you prove if something is a linear transformation.
  5. Very nice exercise, no spoilers.