Linear Algebra
Chapter 3/Vector Spaces

3.6Row Space and Column Space

This is the payoff section of Chapter 3 and the densest source of true/false questions on any exam. One number — the rank — controls consistency, uniqueness, and the dimension of every subspace attached to .

What you must be able to do

  • rank number of pivots.
  • Consistent (column space). Unique .
  • Rank–Nullity: — the number of columns, always.
  • Row space basis: nonzero rows of the echelon form. Column space basis: the pivot columns of itself, never of .
Definition · Row space, column space, rank
For an matrix : the row space is the span of the rows (a subspace of ), the column space is the span of the columns (a subspace of ), and is the dimension of the row space.
Theorem 3.6.1 & 3.6.6
Row equivalent matrices have the same row space. And the dimension of the row space equals the dimension of the column space — so 'rank' is unambiguous.

Equal dimensions, but not equal spaces: for a matrix the row space sits in and the column space in .

Theorem 3.6.2 · Consistency, upgraded
is consistent if and only if is in the column space of .
Theorem 3.6.5 · Rank–Nullity
For any matrix ,

is the number of columns — the dimension of the domain. Subtracting from is the single most common error on this theorem.

The rank decision table

Let be with . Every consistency/uniqueness question reduces to comparing against and :

CaseConsistencySolution count when consistent
Consistent for every — columns span Exactly one ( nonsingular)
(full column rank, tall)Only for in an -dimensional subspace of Exactly one — this is the least-squares setting of §5.3
(full row rank, wide)Consistent for every Infinitely many, free parameters
and Only for in an -dimensional subspaceInfinitely many, free parameters
Read it as two independent questions: rows vs rank controls existence, columns vs rank controls uniqueness.

The table is easier to trust once you have seen it. Below, the rank is pinned at and only the shape moves — all four rows of the table appear from that one number.

Same rank, four shapes

rank(A) = 2 held fixed

Fix rank(A) = 2 and vary only the shape. The row you are in decides whether a solution exists; the column decides whether it is unique.

n = 2
2 unknowns
n = 3
3 unknowns
m = 2
2 eqns
m = 3
3 eqns

Counts include the inconsistent case. Hover or tap a square to see what that shape looks like geometrically.

2×2Square and nonsingular — the two columns tile all of
a1a2bR(A) = ℝ² — every b, exactly once
. The columns are independent, so the set of all is the faint lattice — it covers and covers it once. Every sits on exactly one crossing; here . Inconsistency is impossible because , and non-uniqueness is impossible because .
The classic exam question
' has 6 rows and rank 5 — how many solutions can have?' You cannot answer without the number of columns. If is : at most one solution (and possibly none). If is : none, or infinitely many with 3 parameters — never exactly one. Always ask for .

Finding bases for all three subspaces of

  1. 1
    Row reduce to reduced row echelon form

    Keep track of which columns contain the pivots.

  2. 2
    Row space basis: the nonzero rows of

    Legitimate because row operations preserve the row space (Thm 3.6.1). Dimension .

  3. 3
    Column space basis: the pivot columns of the original

    Row operations change the column space but preserve which columns are dependent on which. Dimension .

  4. 4
    Null space basis: set each free variable to 1 in turn

    Dimension , confirming Rank–Nullity.

  5. Sanity check

    and . If these don't line up, you miscounted pivots.

One row reduction, three answers. This routine appears on virtually every exam.
Worked example

All three subspaces from one reduction

0/6 steps
Find the rank and a basis for the row space, column space, and null space.
!Exam trap
Never take the pivot columns of as a basis for . Row operations mix the entries within each column, so in general — e.g. reduces to , and those span different lines.
Corollary 3.6.4 · Extending the equivalence list
For an matrix , all of the following are equivalent: is nonsingular; ; has only the trivial solution; is row equivalent to ; the columns of are linearly independent; the columns form a basis of ; ; ; has a unique solution for every .
Check your work

Row reduction / rank / null space

Exact fraction arithmetic — type entries like 3, -2, or 1/2. One row per line.

12-11
24-30
1215
1203
0012
0000
rank
2
nullity
2
cols (n)
4
pivot cols
1, 3
Basis for N(A)
-2
1
0
0
-3
0
-2
1
Basis for the column space — original columns 1, 3
1
2
1
-1
-3
1

Feed in a matrix to get rank, nullity, and bases for the null space and column space at once.

Check yourself

Q1
is a matrix with . If is consistent, how many solutions does it have?
Q2
is with . For how many is consistent?
T / F
If is a row echelon form of , then and have the same column space.
T / F
For any matrix, .