Fundamental Theorem of Linear Algebra — Definition, Formula & Examples
The Fundamental Theorem of Linear Algebra describes how every m×n matrix A gives rise to four subspaces — the column space, row space, null space, and left null space — and specifies their dimensions and orthogonality relationships.
For an m×n matrix of rank : the column space has dimension ; the row space has dimension ; the null space has dimension ; and the left null space has dimension . Furthermore, and , meaning each pair consists of orthogonal complements within their respective ambient spaces.
Key Formula
Where:
- = An m×n matrix
- = Rank of A (number of pivots)
- = Column space of A
- = Row space of A
- = Null space of A
- = Left null space of A
How It Works
Start by finding the rank of the matrix through row reduction. The number of pivots equals , which is the dimension of both the column space and the row space. The null space then has dimension (the number of free variables), and the left null space has dimension . The orthogonality part tells you that every vector in the null space is perpendicular to every row of , and every vector in the left null space is perpendicular to every column of . Together, these relationships give a complete geometric picture of what the matrix does.
Worked Example
Problem: Find the dimensions of all four fundamental subspaces for A = [[1, 2, 3], [2, 4, 6]].
Step 1: Row reduce A. Subtract 2 times row 1 from row 2.
Step 2: Count pivots: there is 1 pivot, so the rank is r = 1. Here m = 2 and n = 3.
Step 3: Apply the dimension formulas for each subspace.
Answer: The column space and row space each have dimension 1, the null space has dimension 2, and the left null space has dimension 1. Note that 1 + 2 = 3 = n and 1 + 1 = 2 = m, confirming the theorem.
Why It Matters
This theorem is the structural backbone of a first course in linear algebra (such as MIT 18.06). It explains why systems of equations have the solution sets they do, underpins least-squares regression in statistics, and clarifies the geometry behind singular value decomposition used throughout data science and engineering.
Common Mistakes
Mistake: Confusing the null space with the left null space, or placing them in the wrong ambient space.
Correction: The null space N(A) lives in R^n (the domain), while the left null space N(A^T) lives in R^m (the codomain). Keep track of which space each subspace belongs to by checking the dimensions of the vectors.
