4.5.14 · HinglishLinear Algebra (Full)

Rank-nullity theorem — proof

1,732 words8 min readRead in English

4.5.14 · Maths › Linear Algebra (Full)


WHAT is the theorem?

  • , ka subspace hai (the input side).
  • , ka subspace hai (the output side).
  • Dhyan raho dono numbers milke dete hain — domain ki dimension, codomain ki nahi.

WHY should it be true? (rigour se pehle intuition)


HOW to prove it — derivation from scratch

Hum ise carefully build karte hain. Key trick hai Basis Extension Theorem: kisi bhi subspace ke basis ko poore space ke basis tak extend kiya ja sakta hai.


Figure — Rank-nullity theorem — proof

Worked examples


Common mistakes (steel-manned)


Recall Feynman: 12-saal ke bachche ko samjhao

Ek machine socho jisme 3 input levers hain (3 dimensions of input). Jab tum levers push karte ho, kuch pushes kuch nahi karte — machine unhe ignore kar deti hai (woh "kernel" levers hain). Jo pushes kuch karte hain woh output mein movement karte hain. Badi baat yeh hai: har lever ya toh ignore hoti hai ya ek unique naya output banati hai. Toh (ignored levers) + (useful levers) = (total levers). Bas yahi poora theorem hai!


Active-recall flashcards

#flashcards/maths

Rank–nullity theorem kya kehta hai?
Ek linear map ke liye jahan finite-dimensional hai, .
Rank kis space ki dimension hai?
ki image (range) ki, yaani .
Nullity kis space ki dimension hai?
ke kernel (null space) ki, yaani .
Sum domain ki dimension ke barabar hota hai ya codomain ki?
Domain ki.
Kaun sa theorem kernel basis ko ke basis tak extend karne deta hai?
The basis-extension theorem.
Proof mein kaun sa set image ka basis dikhaya gaya hai?
, yaani kernel ke bahar ke basis vectors ki images.
image ko kyun span karte hain?
Koi bhi , kernel part (jo 0 par map hoti hai) aur part mein split hoti hai, toh har output ka combination hai.
independent kyun hain?
Agar toh ; use se likhne par aur full-basis independence use karne par saare ho jaate hain.
Rank 1 wale matrix ki nullity kya hai?
.
Kya vectors ki independence linear map se hamesha preserve hoti hai?
Nahi; ek map independent vectors ko collapse kar sakti hai — isliye proof kernel ke zariye argue karta hai.

Connections

Concept Map

has

has

dim = nullity k

dim = n

extend via

gives

apply T to survivors

proven to

proven to

so basis of image

so basis of image

dim = rank = n-k

contributes k

Finite-dim V, dim = n

Linear map T:V to W

Kernel of T, subspace of V

Image of T, subspace of W

Basis Extension Theorem

Kernel basis u1..uk

Full basis of V

Set T of v1..v n-k

Spans image T

Linearly independent

rank + nullity = dim V

Deep Dive