The Timpson Lyceum seal

The Timpson Lyceum · Linear Algebra (2026)

Vector Equations and the Matrix Equation Ax = b – Lecture 2 (Linear Algebra)

Overview

The previous lecture solved linear systems row by row. This lecture looks at the same systems column by column, treating each column of a matrix as a vector. It begins with the formal definition of a real vector space (a set with an addition and a scalar multiplication obeying ten axioms) and confirms that R2\mathbb{R}^2, and more generally Rn\mathbb{R}^n, fit that definition. From there it builds linear combinations and the span of a set of vectors, and shows that asking whether b\mathbf{b} is a linear combination of given vectors is the same as asking whether a linear system is consistent. Finally it introduces the matrix equation Ax=bA\mathbf{x} = \mathbf{b}. That gives four equivalent views of a single system: a list of equations, a vector equation, a matrix equation, and an augmented matrix. The lecture closes with the theorem that decides when Ax=bA\mathbf{x} = \mathbf{b} is solvable for every b\mathbf{b}, and with the proof that multiplication by a matrix is linear.

Key Concepts

Notation

Real vector spaces

u+v=[a1⋮an]+[b1⋮bn]=[a1+b1⋮an+bn]c u=[ca1⋮can]\begin{aligned} \mathbf{u} + \mathbf{v} &= \begin{bmatrix} a_1 \\ \vdots \\ a_n \end{bmatrix} + \begin{bmatrix} b_1 \\ \vdots \\ b_n \end{bmatrix} = \begin{bmatrix} a_1 + b_1 \\ \vdots \\ a_n + b_n \end{bmatrix} \\ c\,\mathbf{u} &= \begin{bmatrix} ca_1 \\ \vdots \\ ca_n \end{bmatrix} \end{aligned}

Each axiom follows from the matching property of real numbers. For example, vector addition is commutative because addition of real numbers is. The zero vector is (0,0,…,0)(0, 0, \dots, 0).

Vector arithmetic and geometry

Linear combinations

y=c1v1+c2v2+⋯+cpvp\mathbf{y} = c_1\mathbf{v}_1 + c_2\mathbf{v}_2 + \cdots + c_p\mathbf{v}_p

is a linear combination of v1,…,vp\mathbf{v}_1, \dots, \mathbf{v}_p with weights c1,…,cpc_1, \dots, c_p.

Span

The matrix equation Ax=bA\mathbf{x} = \mathbf{b}

Ax=[a1a2⋯an][x1⋮xn]=x1a1+x2a2+⋯+xnanA\mathbf{x} = \begin{bmatrix} \mathbf{a}_1 & \mathbf{a}_2 & \cdots & \mathbf{a}_n \end{bmatrix} \begin{bmatrix} x_1 \\ \vdots \\ x_n \end{bmatrix} = x_1\mathbf{a}_1 + x_2\mathbf{a}_2 + \cdots + x_n\mathbf{a}_n

Four views of one linear system. The system

x1+2x2−x3=4−5x2+3x3=1\begin{aligned} x_1 + 2x_2 - x_3 &= 4 \\ -5x_2 + 3x_3 &= 1 \end{aligned}

can be written as the vector equation x1[10]+x2[2−5]+x3[−13]=[41]x_1\begin{bmatrix} 1 \\ 0 \end{bmatrix} + x_2\begin{bmatrix} 2 \\ -5 \end{bmatrix} + x_3\begin{bmatrix} -1 \\ 3 \end{bmatrix} = \begin{bmatrix} 4 \\ 1 \end{bmatrix}, as the matrix equation [12−10−53]x=[41]\begin{bmatrix} 1 & 2 & -1 \\ 0 & -5 & 3 \end{bmatrix}\mathbf{x} = \begin{bmatrix} 4 \\ 1 \end{bmatrix}, or as the augmented matrix [12−140−531]\left[\begin{array}{ccc|c} 1 & 2 & -1 & 4 \\ 0 & -5 & 3 & 1 \end{array}\right]. All four forms have exactly the same solutions. The augmented matrix is best for computing, and the matrix equation is the form used in most proofs.

Theorem 3. If AA is an m×nm \times n matrix with columns a1,…,an\mathbf{a}_1, \dots, \mathbf{a}_n and b∈Rm\mathbf{b} \in \mathbb{R}^m, then the matrix equation Ax=bA\mathbf{x} = \mathbf{b}, the vector equation x1a1+⋯+xnan=bx_1\mathbf{a}_1 + \cdots + x_n\mathbf{a}_n = \mathbf{b}, and the system with augmented matrix [a1⋯anb]\begin{bmatrix} \mathbf{a}_1 & \cdots & \mathbf{a}_n & \mathbf{b} \end{bmatrix} all have the same solution set. In particular, Ax=bA\mathbf{x} = \mathbf{b} has a solution if and only if b\mathbf{b} is a linear combination of the columns of AA.

Theorem 4. For an m×nm \times n matrix AA, the following statements are logically equivalent. They are all true or all false.

The last condition concerns the coefficient matrix AA, not the augmented matrix. If AA has a row with no pivot, some choice of b\mathbf{b} produces a row reading 0=nonzero0 = \text{nonzero}.

Row–vector rule for computing AxA\mathbf{x}. Entry ii of AxA\mathbf{x} is the sum of the products of the entries in row ii of AA with the matching entries of x\mathbf{x}:

[147258369][x1x2x3]=[x1+4x2+7x32x1+5x2+8x33x1+6x2+9x3]\begin{bmatrix} 1 & 4 & 7 \\ 2 & 5 & 8 \\ 3 & 6 & 9 \end{bmatrix}\begin{bmatrix} x_1 \\ x_2 \\ x_3 \end{bmatrix} = \begin{bmatrix} x_1 + 4x_2 + 7x_3 \\ 2x_1 + 5x_2 + 8x_3 \\ 3x_1 + 6x_2 + 9x_3 \end{bmatrix}

For example, [2−380−52][47]=[8−2132+0−20+14]=[−1332−6]\begin{bmatrix} 2 & -3 \\ 8 & 0 \\ -5 & 2 \end{bmatrix}\begin{bmatrix} 4 \\ 7 \end{bmatrix} = \begin{bmatrix} 8 - 21 \\ 32 + 0 \\ -20 + 14 \end{bmatrix} = \begin{bmatrix} -13 \\ 32 \\ -6 \end{bmatrix}. A square matrix with 11s on the main diagonal and 00s everywhere else is an identity matrix II, and Ix=xI\mathbf{x} = \mathbf{x} for every x\mathbf{x}.

Theorem 5 (linearity). If AA is an m×nm \times n matrix, u,v∈Rn\mathbf{u}, \mathbf{v} \in \mathbb{R}^n, and cc is a scalar, then

A(u+v)=Au+AvA(cu)=c(Au)\begin{aligned} A(\mathbf{u} + \mathbf{v}) &= A\mathbf{u} + A\mathbf{v} \\ A(c\mathbf{u}) &= c(A\mathbf{u}) \end{aligned}

These are the same two conditions that make any operation linear, such as f(x+y)=f(x)+f(y)f(x + y) = f(x) + f(y) and f(cx)=cf(x)f(cx) = cf(x), or the linearity of expected value in probability.

Worked Example

Is b\mathbf{b} a linear combination of a1\mathbf{a}_1 and a2\mathbf{a}_2? Let

a1=[1−2−5],a2=[256],b=[74−3]\mathbf{a}_1 = \begin{bmatrix} 1 \\ -2 \\ -5 \end{bmatrix}, \quad \mathbf{a}_2 = \begin{bmatrix} 2 \\ 5 \\ 6 \end{bmatrix}, \quad \mathbf{b} = \begin{bmatrix} 7 \\ 4 \\ -3 \end{bmatrix}

We need weights with x1a1+x2a2=bx_1\mathbf{a}_1 + x_2\mathbf{a}_2 = \mathbf{b}. That is the system x1+2x2=7x_1 + 2x_2 = 7, −2x1+5x2=4-2x_1 + 5x_2 = 4, −5x1+6x2=−3-5x_1 + 6x_2 = -3, so row reduce its augmented matrix:

[127−254−56−3]∼[127091801632]R2→R2+2R1,  R3→R3+5R1∼[12701201632]R2→19R2∼[127012000]R3→R3−16R2∼[103012000]R1→R1−2R2\begin{aligned} \left[\begin{array}{cc|c} 1 & 2 & 7 \\ -2 & 5 & 4 \\ -5 & 6 & -3 \end{array}\right] &\sim \left[\begin{array}{cc|c} 1 & 2 & 7 \\ 0 & 9 & 18 \\ 0 & 16 & 32 \end{array}\right] && R_2 \to R_2 + 2R_1,\; R_3 \to R_3 + 5R_1 \\ &\sim \left[\begin{array}{cc|c} 1 & 2 & 7 \\ 0 & 1 & 2 \\ 0 & 16 & 32 \end{array}\right] && R_2 \to \tfrac{1}{9} R_2 \\ &\sim \left[\begin{array}{cc|c} 1 & 2 & 7 \\ 0 & 1 & 2 \\ 0 & 0 & 0 \end{array}\right] && R_3 \to R_3 - 16R_2 \\ &\sim \left[\begin{array}{cc|c} 1 & 0 & 3 \\ 0 & 1 & 2 \\ 0 & 0 & 0 \end{array}\right] && R_1 \to R_1 - 2R_2 \end{aligned}

The system is consistent with x1=3x_1 = 3 and x2=2x_2 = 2. The zero row shows that one of the three equations added no new information. Check:

3a1+2a2=[3−6−15]+[41012]=[74−3]=b3\mathbf{a}_1 + 2\mathbf{a}_2 = \begin{bmatrix} 3 \\ -6 \\ -15 \end{bmatrix} + \begin{bmatrix} 4 \\ 10 \\ 12 \end{bmatrix} = \begin{bmatrix} 7 \\ 4 \\ -3 \end{bmatrix} = \mathbf{b}

So b∈Span⁡{a1,a2}\mathbf{b} \in \operatorname{Span}\{\mathbf{a}_1, \mathbf{a}_2\}.

When is Ax=bA\mathbf{x} = \mathbf{b} consistent for every b\mathbf{b}? Take A=[134−42−6−3−2−7]A = \begin{bmatrix} 1 & 3 & 4 \\ -4 & 2 & -6 \\ -3 & -2 & -7 \end{bmatrix} and a general b=(b1,b2,b3)\mathbf{b} = (b_1, b_2, b_3):

[134b1−42−6b2−3−2−7b3]∼[134b101410b2+4b1075b3+3b1]R2→R2+4R1,  R3→R3+3R1∼[134b101410b2+4b1000b1−12b2+b3]R3→R3−12R2\begin{aligned} \left[\begin{array}{ccc|c} 1 & 3 & 4 & b_1 \\ -4 & 2 & -6 & b_2 \\ -3 & -2 & -7 & b_3 \end{array}\right] &\sim \left[\begin{array}{ccc|c} 1 & 3 & 4 & b_1 \\ 0 & 14 & 10 & b_2 + 4b_1 \\ 0 & 7 & 5 & b_3 + 3b_1 \end{array}\right] && R_2 \to R_2 + 4R_1,\; R_3 \to R_3 + 3R_1 \\ &\sim \left[\begin{array}{ccc|c} 1 & 3 & 4 & b_1 \\ 0 & 14 & 10 & b_2 + 4b_1 \\ 0 & 0 & 0 & b_1 - \tfrac{1}{2}b_2 + b_3 \end{array}\right] && R_3 \to R_3 - \tfrac{1}{2}R_2 \end{aligned}

The third row of AA has no pivot, so by Theorem 4 the equation is not solvable for every b\mathbf{b}. It is consistent exactly when b1−12b2+b3=0b_1 - \tfrac{1}{2}b_2 + b_3 = 0, which is the equation of a plane through the origin in R3\mathbb{R}^3. The three columns of AA span only that plane, because one column is a linear combination of the other two.

Summary