4.5.14 · D4Linear Algebra (Full)

Exercises — Rank-nullity theorem — proof

1,662 words8 min readBack to topic

Before we start, one reminder in plain words so no symbol is unearned:


Level 1 — Recognition

Recall Solution 1.1

WHAT we do: plug into . WHY: the theorem is an equation with three slots; given two, the third is forced. The domain is so . Then Notice the codomain never entered — we balanced against the domain .

Recall Solution 1.2

WHAT we do: bound the rank from both sides. The image sits inside the codomain, so . But the image is also fed only by input directions, so . Since , it is impossible. Answer: False. The tightest cap is .


Level 2 — Application

Recall Solution 2.1

WHAT we do: row-reduce to count pivots (that count is the rank — see Rank of a Matrix (row vs column space)). WHY: each pivot marks one independent surviving direction of the column space = image. Subtract row 1 from row 3: . That equals row 2, so . Two nonzero pivot rows . By the theorem, with :

Recall Solution 2.2

Kernel: forces constant, so , a -dimensional space . Image: differentiating the basis gives , which spans (degree ). So the image is , . Check: . ✓ The theorem holds on abstract spaces, not just .


Level 3 — Analysis

Recall Solution 3.1

WHAT we do: turn nullity into injectivity, then use rank–nullity for surjectivity. Nullity injective: (dimension means only the zero vector). If then so , giving . Injective. Injective surjective here: by the theorem . The image is an -dimensional subspace of the -dimensional codomain , so the image is all of . Surjective. Injective + surjective bijective, hence invertible. See Invertible Linear Maps and Isomorphisms. Key idea: for a square situation (), injective surjective invertible — rank–nullity glues these together.

Recall Solution 3.2

WHAT we do: identify the solution space of as where . The number of unknowns is . Pivots , so The solution space is exactly the kernel, so its dimension is the nullity (see Solving Linear Systems — free variables count). Free-variable count and nullity are the same number.


Level 4 — Synthesis

Recall Solution 4.1

WHAT we do: first lands in (a -dim space inside ), then acts on it. Upper bound: the composite's image is applied to , which cannot be bigger than either or . So Lower bound: restricting to the -dimensional , rank–nullity on this restriction gives So , and both values are achievable — the data alone cannot pin it. (The claim in the prompt is a deliberate misdirection; the honest answer is the range.)

Recall Solution 4.2

WHAT we do: means every output of is killed by the next , i.e. . WHY: for any , , so ; that's exactly . Taking dimensions of nested subspaces: Now apply rank–nullity, . Since , Because also , so .


Level 5 — Mastery

Recall Solution 5.1

WHAT we do: build a clever linear map whose kernel and image are the pieces we want. Define This is linear, and its domain has dimension (concatenate a basis of with a basis of ; see Dimension of a Vector Space). Image of : all differences with . Every element of can be written and , so . Thus . Kernel of : means , so the common vector lies in . The kernel is , which is isomorphic to , giving . Apply rank–nullity on : Rearrange to get the formula. The lesson: to prove a dimension identity, engineer a map so the identity becomes rank + nullity = domain.

Recall Solution 5.2

From . The sum lives in , so . Therefore The smallest intersection dimension is , attained when . Cross-check via : domain dimension , image , so , matching .

The engineered-map idea in 5.1 is worth a picture:

Figure — Rank-nullity theorem — proof