This is the drill-ground for the rank–nullity theorem . The theorem says one thing:
rank ( T ) + nullity ( T ) = dim V ,
where rank ( T ) = dim ( im T ) (dimensions that survive) and nullity ( T ) = dim ( ker T ) (dimensions crushed to 0 ). See Kernel and Image of a Linear Map if either word feels unfamiliar.
Our goal here: hit every kind of situation the theorem can appear in, so no exam problem is a surprise.
Every rank–nullity problem is really a question about how many input directions collapse . The cases below cover all the shapes that can occur.
Cell
Case class
What makes it distinct
Example
A
Injective, nullity = 0
nothing crushed; image as big as domain
Ex 1
B
Surjective, rank = dim W
image fills the codomain
Ex 2
C
General middle case (0 < nullity < dim V )
some crush, some survive
Ex 3
D
Zero map (fully degenerate)
everything crushed, rank = 0
Ex 4
E
Wide matrix (m < n , forced nullity)
more inputs than outputs
Ex 5
F
Tall matrix (m > n , forced non-surjective)
fewer outputs than inputs
Ex 6
G
Abstract space (not R n )
polynomials / functions
Ex 7
H
Real-world word problem
translate a scenario into T
Ex 8
I
Exam-style twist (solve for unknown dim)
rank/nullity given, find one
Ex 9
Intuition Read the matrix like a dial
Turn a dial from "nothing collapses" (nullity 0 , Cell A) all the way to "everything collapses" (nullity = dim V , Cell D). Every problem sits somewhere on that dial. Once you can place a problem, you already know its shape.
T : R 2 → R 3 , T ( x , y ) = ( x , y , x + y ) .
Find rank and nullity.
Forecast: the two inputs look independent after mapping — guess nullity, then rank.
Find the kernel. Set T ( x , y ) = ( 0 , 0 , 0 ) : this forces x = 0 , y = 0 . So ker T = {( 0 , 0 )} .
Why this step? The kernel is always the first thing to compute — its dimension is nullity, and rank comes free from the theorem.
Nullity = 0 . The kernel is just the zero vector, a 0 -dimensional space.
Why this step? A single point (the origin) has no independent directions, so dim = 0 . See Dimension of a Vector Space .
Rank by the theorem. rank = dim V − nullity = 2 − 0 = 2 .
Why this step? We never had to describe the image directly — rank–nullity hands it to us.
Verify: T ( 1 , 0 ) = ( 1 , 0 , 1 ) and T ( 0 , 1 ) = ( 0 , 1 , 1 ) are independent in R 3 (neither is a scalar multiple of the other), so the image is 2 -dimensional. 2 + 0 = 2 = dim R 2 . ✓
Nullity 0 ⇔ injective — see Invertible Linear Maps and Isomorphisms .
T : R 3 → R 2 , T ( x , y , z ) = ( x + z , y + z ) .
Show T is surjective and find its nullity.
Forecast: three inputs, two outputs — guess whether the image can be all of R 2 .
Check the image reaches everything. For any target ( a , b ) , pick x = a , y = b , z = 0 : then T ( a , b , 0 ) = ( a , b ) . Every point is hit.
Why this step? Surjective means image = R 2 , so rank = 2 .
Rank = 2 (the whole codomain).
Why this step? dim ( im T ) = dim R 2 = 2 .
Nullity by the theorem. nullity = dim V − rank = 3 − 2 = 1 .
Why this step? The theorem lets us skip solving the kernel system.
Verify: Solve x + z = 0 , y + z = 0 : gives x = − z , y = − z , z free. Kernel = {( − t , − t , t )} , a line, so nullity = 1 . 2 + 1 = 3 = dim R 3 . ✓
Worked example Example 3 (geometric)
T : R 3 → R 3 , projection onto the x y -plane: T ( x , y , z ) = ( x , y , 0 ) .
Find rank and nullity and picture the crush.
Forecast: one axis dies, two survive — guess the split.
Kernel. T ( x , y , z ) = 0 needs x = 0 , y = 0 , z free. ker T = {( 0 , 0 , z )} = the z -axis. Nullity = 1 .
Why this step? The vertical axis is squashed flat onto the origin — that is the "crush".
Image. Outputs are all ( x , y , 0 ) — the whole x y -plane. Rank = 2 .
Why this step? Two independent survivors, T ( e 1 ) = ( 1 , 0 , 0 ) and T ( e 2 ) = ( 0 , 1 , 0 ) .
Check. 2 + 1 = 3 = dim R 3 . ✓
Verify: In the figure below, the red z -axis (kernel) collapses to the origin; the violet x y -plane (image) survives. Crushed + survived = 1 + 2 = 3 . ✓
T : R 4 → R 5 , T ( v ) = 0 for every v .
Find rank and nullity.
Forecast: everything is crushed — where does the dial sit?
Kernel. T ( v ) = 0 holds for all v , so ker T = R 4 = V . Nullity = 4 .
Why this step? Nothing survives; the entire domain is the kernel. This is the extreme end of the dial.
Image. The only output is 0 , so im T = { 0 } , a 0 -dimensional space. Rank = 0 .
Why this step? A single point has no independent directions.
Check. 0 + 4 = 4 = dim R 4 . ✓
Verify: rank 0 (image is just the origin) + nullity 4 (kernel is all of R 4 ) = 4 = dim V . ✓ Note it sums to dim V = 4 , not dim W = 5 — the codomain is irrelevant.
A = ( 1 2 2 4 3 6 ) as T : R 3 → R 2 .
Find rank and nullity.
Forecast: row 2 looks like a copy of row 1 — guess how many independent rows.
Row reduce. Row 2 − 2 × Row 1 = ( 0 , 0 , 0 ) . One pivot remains. Rank = 1 .
Why this step? Rank = number of pivots = dimension of the column space (the image). See Rank of a Matrix (row vs column space) .
Nullity by the theorem. nullity = 3 − 1 = 2 .
Why this step? With more input directions (3 ) than the rank can carry, some must collapse.
Confirm with free variables. A x = 0 reduces to x 1 + 2 x 2 + 3 x 3 = 0 : one equation, 3 unknowns ⇒ 2 free variables. See Solving Linear Systems — free variables count .
Verify: free-variable count = 3 − ( pivots ) = 3 − 1 = 2 = nullity. 1 + 2 = 3 = dim R 3 . ✓
A = 1 0 1 0 1 1 as T : R 2 → R 3 .
Find rank, nullity, and decide if T is surjective.
Forecast: only 2 input directions but 3 output slots — can the image fill R 3 ?
Rank. Columns ( 1 , 0 , 1 ) and ( 0 , 1 , 1 ) are independent (neither is a multiple of the other). Rank = 2 .
Why this step? Rank = dimension of the column space = number of independent columns.
Nullity. nullity = dim V − rank = 2 − 2 = 0 .
Why this step? No input direction collapses, so T is injective.
Surjective? Image is 2 -dimensional inside 3 -dimensional R 3 , so im T = R 3 . Not surjective.
Why this step? Rank 2 < dim W = 3 ; a tall full-rank map can never hit every point of a bigger codomain.
Verify: 2 + 0 = 2 = dim R 2 . ✓ Rank 2 < 3 confirms non-surjectivity — the theorem balances against the domain R 2 , not R 3 .
V = P 3 , polynomials of degree ≤ 3 , so dim V = 4 with basis { 1 , x , x 2 , x 3 } .
T = d x d : P 3 → P 3 . Find rank and nullity.
Forecast: which polynomials have zero derivative?
Kernel. p ′ ( x ) = 0 means p is a constant . ker T = { c ⋅ 1 } , nullity = 1 .
Why this step? Constants are exactly the polynomials the derivative crushes to 0 .
Image. d x d of 1 , x , x 2 , x 3 gives 0 , 1 , 2 x , 3 x 2 . The nonzero ones span P 2 = { 1 , x , x 2 } . Rank = 3 .
Why this step? { 1 , 2 x , 3 x 2 } are 3 independent polynomials, spanning all degree-≤ 2 polys.
Check. 3 + 1 = 4 = dim P 3 . ✓
Verify: nullity 1 (constants) + rank 3 (image = P 2 ) = 4 = dim P 3 . ✓ Works on an abstract space — no R n needed.
A factory blends 4 raw ingredients (input vector in R 4 ) into 2 measured outputs — total mass and total cost:
T ( a , b , c , d ) = ( a + b + c + d , 2 a + 2 b + 2 c + 2 d ) .
How many independent "recipe adjustments" leave both outputs unchanged?
Forecast: the second output is proportional to the first — guess how constrained the outputs really are.
Model as a matrix. A = ( 1 2 1 2 1 2 1 2 ) , T : R 4 → R 2 .
Why this step? "Recipe adjustments that change nothing" is exactly the kernel.
Rank. Row 2 = 2 × Row 1 , so one pivot. Rank = 1 .
Why this step? Mass and cost carry only one independent piece of information.
Nullity = the answer. nullity = dim V − rank = 4 − 1 = 3 .
Why this step? Three independent ways to tweak the ingredients while keeping both outputs fixed.
Verify: A x = 0 is one equation a + b + c + d = 0 in 4 unknowns ⇒ 3 free variables. 1 + 3 = 4 = dim R 4 . ✓ Concretely, ( 1 , − 1 , 0 , 0 ) , ( 1 , 0 , − 1 , 0 ) , ( 1 , 0 , 0 , − 1 ) are 3 independent kernel vectors.
A linear map T : V → W has dim V = 9 . You are told rank ( T ) = 6 and that the codomain has dim W = 12 .
Find the nullity, and state whether T can be injective or surjective.
Forecast: you are given rank; the theorem gives nullity in one line — but watch which dimension it uses.
Nullity. nullity = dim V − rank = 9 − 6 = 3 .
Why this step? The theorem balances against dim V = 9 , not dim W = 12 . The 12 is a distractor.
Injective? Injective needs nullity = 0 . Here nullity = 3 = 0 , so not injective .
Why this step? 3 independent input directions collapse to 0 .
Surjective? Surjective needs rank = dim W = 12 . Here rank = 6 < 12 , so not surjective .
Why this step? The image is a 6 -dimensional sliver of a 12 -dimensional codomain.
Verify: rank + nullity = 6 + 3 = 9 = dim V . ✓ The dim W = 12 never enters the sum — only affects the surjectivity verdict.
Common mistake The classic trap in Example 9
Balancing rank against dim W : writing "nullity = 12 − 6 = 6 ". Wrong — rank–nullity always sums to the domain 's dimension. dim W only tells you whether the image could fill the codomain.
Recall Quick self-test across the matrix
Injective means nullity equals what? ::: 0
Surjective means rank equals what? ::: dim W (the codomain's dimension)
The zero map R 4 → R 5 has rank and nullity? ::: rank 0 , nullity 4
A wide 2 × 3 rank-1 matrix has nullity? ::: 2
If dim V = 9 and rank = 6 , nullity is? ::: 3
Rank–nullity sums to dim V or dim W ? ::: dim V (the domain)