← Module 02 / Vectors & spaces

Lesson 02.5 · §3.2.1

Why do matrix columns describe a map?

Recover a linear map from basis images and transpose products correctly.

In this lesson 3 ideas
  1. Follow one basis direction
  2. Turn columns into rows
  3. Transfer

Source scope: §3.2.1. Worked numerical examples, experiments, and practice are teaching supplements unless identified as source results.

Follow one basis direction

For T(x,y)=(x+y,2y)T(x,y)=(x+y,2y), the standard basis images are Te1=(1,0)Te_1=(1,0) and Te2=(1,2)Te_2=(1,2). Put those images in columns:

A=[1102],A[21]=2[10]+[12]=[32].A=\begin{bmatrix}1&1\\0&2\end{bmatrix},\qquad A\begin{bmatrix}2\\1\end{bmatrix}=2\begin{bmatrix}1\\0\end{bmatrix}+\begin{bmatrix}1\\2\end{bmatrix}=\begin{bmatrix}3\\2\end{bmatrix}.

The first input coordinate weights the first column. Linearity explains why those two columns determine every output.

In general let V,WV,W have bases v1,…,vnv_1,\ldots,v_n and w1,…,wmw_1,\ldots,w_m. The matrix A∈Rm×nA\in\mathbb R^{m\times n} of T:V→WT:V\to W is defined by

Tvj=∑i=1mAijwi.Tv_j=\sum_{i=1}^m A_{ij}w_i.

Its jjth column is the coordinate list of TvjTv_j in the chosen output basis. Changing a basis can change the matrix without changing the underlying map. Conversely any real m×nm\times n matrix induces T:Rn→RmT:\mathbb R^n\to\mathbb R^m, Tx=AxTx=Ax; its matrix in the standard bases is AA itself.

Turn columns into rows

The transpose has shape n×mn\times m and entries (AT)ij=Aji(A^T)_{ij}=A_{ji}. For compatible matrices and a real scalar, the source lists

(AT)T=A,(A+B)T=AT+BT,(αA)T=αAT,(AB)T=BTAT.(A^T)^T=A,\quad (A+B)^T=A^T+B^T,\quad (\alpha A)^T=\alpha A^T,\quad (AB)^T=B^TA^T.

The last rule reverses order. As a teaching verification, its (i,j)(i,j) entry is ∑kAjkBki=∑k(BT)ik(AT)kj\sum_k A_{jk}B_{ki}=\sum_k(B^T)_{ik}(A^T)_{kj}. Both sides have shape matching the transpose of ABAB.

Explore it yourself

Follow the columns

Compare an invertible map with a collapse. Which directions disappear?

Preparing interactive controls…

x₁x₂-4-4-3-3-2-2-1-1011223344xAx

x = (1.000, 1.000); Ax = (2.000, 2.000). det A = 2; rank = 2. null(A) = {0}; range(A) = ℝ². The image of the dashed unit square has area 2.

Axes: first and second real coordinates, in unit steps. Endpoints and labels identify each vector.

Transfer

If a map sends e1e_1 to (2,−1)(2,-1) and e2e_2 to (0,3)(0,3), where does (1,2)(1,2) go?

Use the columns

It goes to (2,−1)+2(0,3)=(2,5)(2,-1)+2(0,3)=(2,5). The matrix is [20−13]\begin{bmatrix}2&0\\-1&3\end{bmatrix}. Putting images in rows would describe a different map.