← Module 04 / SVD & matrix tools

Lesson 04.6 · §3.17.1–3.17.3

How do columns and outer products build a matrix?

Translate matrix products and quadratic forms into sums of entries.

In this lesson 5 ideas
  1. A column is the image of a coordinate direction
  2. An outer product writes one pattern
  3. Expand a quadratic form
  4. Transfer
  5. Explore the relationship

Source scope: §3.17.1–3.17.3, PDF pages 26. Numerical examples, experiments, added derivations, and practice are teaching supplements unless identified as source results.

A column is the image of a coordinate direction

For A=[1234]A=\begin{bmatrix}1&2\\3&4\end{bmatrix} and x=(2,−1)Tx=(2,-1)^T,

Ax=2[13]−[24]=[02].Ax=2\begin{bmatrix}1\\3\end{bmatrix}-\begin{bmatrix}2\\4\end{bmatrix}=\begin{bmatrix}0\\2\end{bmatrix}.

Proposition 10. If A∈Rm×nA\in\mathbb R^{m\times n} has columns a1,…,ana_1,\ldots,a_n and x∈Rnx\in\mathbb R^n, then Ax=∑i=1nxiaiAx=\sum_{i=1}^n x_i a_i.

The source asks the reader to verify this entry by entry. Added solution: the jjth entry of both sides is ∑iAjixi\sum_i A_{ji}x_i by the definition of matrix multiplication. Thus all entries agree.

An outer product writes one pattern

For a∈Rma\in\mathbb R^m and b∈Rnb\in\mathbb R^n, the outer product abTab^T is m×nm\times n with [abT]ij=aibj[ab^T]_{ij}=a_i b_j. Each column is a multiple of aa, so its rank is at most one.

Proposition 11. For a1,…,ak∈Rma_1,\ldots,a_k\in\mathbb R^m and b1,…,bk∈Rnb_1,\ldots,b_k\in\mathbb R^n, let A=[a1 ⋯ ak]A=[a_1\ \cdots\ a_k] and B=[b1 ⋯ bk]B=[b_1\ \cdots\ b_k]. Then

∑ℓ=1kaℓbℓT=ABT.\sum_{\ell=1}^k a_\ell b_\ell^T=AB^T.

Source proof. At each position (i,j)(i,j),

[∑ℓ=1kaℓbℓT]ij=∑ℓ=1k[aℓbℓT]ij=∑ℓ=1k[aℓ]i[bℓ]j=∑ℓ=1kAiℓBjℓ=[ABT]ij.\left[\sum_{\ell=1}^k a_\ell b_\ell^T\right]_{ij} =\sum_{\ell=1}^k[a_\ell b_\ell^T]_{ij} =\sum_{\ell=1}^k[a_\ell]_i[b_\ell]_j =\sum_{\ell=1}^k A_{i\ell}B_{j\ell}=[AB^T]_{ij}.

The penultimate expression is the dot product of row ii of AA and row jj of BB, equivalently column jj of BTB^T. This proves equality at every entry. Notice the transpose: stacking bℓb_\ell as columns does not make the product ABAB.

Expand a quadratic form

For square A∈Rn×nA\in\mathbb R^{n\times n},

xTAx=∑i=1n∑j=1nAijxixj.x^TAx=\sum_{i=1}^n\sum_{j=1}^n A_{ij}x_ix_j.

First form (Ax)i=∑jAijxj(Ax)_i=\sum_jA_{ij}x_j, then take ∑ixi(Ax)i\sum_i x_i(Ax)_i. The source introduces quadratic forms for symmetric matrices but explicitly notes that this identity needs only a square matrix. For the running nonsymmetric matrix,

xTAx=x12+2x1x2+3x2x1+4x22=x12+5x1x2+4x22.x^TAx=x_1^2+2x_1x_2+3x_2x_1+4x_2^2=x_1^2+5x_1x_2+4x_2^2.

At (2,−1)(2,-1) this is 4−10+4=−24-10+4=-2, matching xT(Ax)=(2,−1)(0,2)Tx^T(Ax)=(2,-1)(0,2)^T. Symmetry is unnecessary for the expansion; it matters for later spectral and definiteness claims.

Transfer

If a=(1,2)Ta=(1,2)^T and b=(3,−1,0)Tb=(3,-1,0)^T, the outer product is [3−106−20]\begin{bmatrix}3&-1&0\\6&-2&0\end{bmatrix}. Its three columns are multiples of one vector, so it has rank one despite having several nonzero entries.

Explore the relationship

Explore it yourself

Read the same product three ways

Which matrix entry contributes to the selected quadratic term?

Preparing interactive controls…

xy0-3-2-11234x₁a₁x₂a₂Ax
A = a₁e₁ᵀ + a₂e₂ᵀ
12
34
Outer-product term a1e1ᵀ (selected column)
10
30
Ax = (-1, -1); selected entry A[1,1] = 1; term = 1; full xᵀAx = 0.

The two column vectors add to the result. The selected outer product keeps one column. The four quadratic terms sum to a scalar; the two off-diagonal terms both contribute even when A is nonsymmetric. The plot clips vectors outside its frame; the numerical readout retains the full result.