4.5.44 · D3 · Maths › Linear Algebra (Full) › Subspaces — four fundamental subspaces of a matrix
Intuition Ye page kya hai
Parent note ne charon subspaces build kiye. Yahan hum unhe stress-test karte hain — har shape aur har degeneracy ke against jo ek matrix de sakta hai. Agar tum neeche har case ke liye charon dimensions predict kar sako aur bases likh sako, to tum is topic ke maalik ho.
Hum sirf parent ke tools use karte hain: RREF and Pivots pivots dhundhne ke liye, rank r , aur Rank–Nullity Theorem input space split karne ke liye.
Har matrix in case classes mein se kisi ek mein aata hai. Columns woh questions hain jo answer badal dete hain; last column us example ka naam hai jo us case ko cover karta hai.
#
Case class
Shape m × n
Rank r
Kya special hai
Covered by
1
Wide, rank-deficient
2 × 3
r < m , r < n
free variables aur unreachable outputs
Ex 1
2
Tall, full column rank
3 × 2
r = n < m
N ( A ) = { 0 } , bada left null space
Ex 2
3
Square invertible
n × n
r = n = m
saare subspaces ya to trivial ya sab kuch
Ex 3
4
Zero matrix
2 × 2
r = 0
degenerate limit
Ex 4
5
Repeated / dependent rows
3 × 3
r < m , r < n
dono null spaces nontrivial
Ex 5
6
Word problem (networks)
3 × 3
r = 2
left null space = ek conservation law
Ex 6
7
Exam twist: A x = b ki solvability
3 × 3
r = 2
b ∈ C ( A ) + N ( A T ) use karta hai
Ex 7
8
Single column , single row
3 × 1 , 1 × 3
r = 1
rank-one limiting shapes
Ex 8
Do "control knobs" hamesha yahi hote hain: kitne pivots (r ) aur kaun sa dimension bada hai (m vs n ). Upar ka har cell in dono knobs ki alag setting hai.
A = [ 1 2 2 5 3 8 ] , size 2 × 3
Forecast: pehle r guess karo, phir dim C ( A ) , dim C ( A T ) , dim N ( A ) , dim N ( A T ) — aage padhne se pehle. (Hint: do rows hain, kya woh parallel hain?)
Step 1 — Row reduce karo. R 2 → R 2 − 2 R 1 se [ 1 0 2 1 3 2 ] milta hai, phir R 1 → R 1 − 2 R 2 se RREF [ 1 0 0 1 − 1 2 ] milta hai.
Ye step kyun? RREF pivots expose karta hai, aur pivot count hi rank hai — woh ek number jo charon dimensions fix karta hai. Yahan pivots columns 1 aur 2 mein hain, isliye r = 2 .
Step 2 — Column space C ( A ) ⊆ R 2 . Pivot columns 1 aur 2 hain, isliye original columns ( 1 , 2 ) aur ( 2 , 5 ) lo: C ( A ) = span {( 1 , 2 ) , ( 2 , 5 )} = R 2 .
Ye step kyun? Pivot columns independent hote hain aur column space span karte hain. R 2 mein do independent vectors use puri fill kar dete hain: har output reachable hai.
Step 3 — Row space C ( A T ) ⊆ R 3 . Do nonzero RREF rows: span {( 1 , 0 , − 1 ) , ( 0 , 1 , 2 )} , dimension r = 2 .
Step 4 — Null space N ( A ) ⊆ R 3 . RREF se: x 1 = x 3 , x 2 = − 2 x 3 . Free variable x 3 . x 3 = 1 set karo: special solution ( 1 , − 2 , 1 ) . To N ( A ) = span {( 1 , − 2 , 1 )} , dimension n − r = 3 − 2 = 1 .
Ye step kyun? Har free variable ek independent direction deta hai jise machine zero kar deti hai.
Step 5 — Left null space N ( A T ) ⊆ R 2 . Dimension m − r = 2 − 2 = 0 , isliye N ( A T ) = { 0 } .
Verify: dims sahi se sum hote hain: r + ( n − r ) = 2 + 1 = 3 = n ✓ aur r + ( m − r ) = 2 + 0 = 2 = m ✓. Orthogonality: ( 1 , − 2 , 1 ) ⋅ ( 1 , 0 , − 1 ) = 1 − 1 = 0 ✓ aur ( 1 , − 2 , 1 ) ⋅ ( 0 , 1 , 2 ) = − 2 + 2 = 0 ✓ — null vector har row ke perpendicular hai.
A = 1 1 1 0 1 2 , size 3 × 2
Forecast: columns clearly independent hain (multiples nahi). To r = 2 . "Missing" dimension kahan jaati hai — N ( A ) mein ya N ( A T ) mein?
Step 1 — Rank. Columns ( 1 , 1 , 1 ) aur ( 0 , 1 , 2 ) independent hain, isliye r = 2 = n .
Ye step kyun? Full column rank ka matlab koi bhi input waste nahi hota.
Step 2 — Null space. dim N ( A ) = n − r = 2 − 2 = 0 , isliye N ( A ) = { 0 } : kuch bhi crush nahi hota.
Step 3 — Column space C ( A ) ⊆ R 3 . span {( 1 , 1 , 1 ) , ( 0 , 1 , 2 )} , R 3 mein origin se gujarta ek plane , dimension 2 .
Step 4 — Left null space N ( A T ) ⊆ R 3 . Dimension m − r = 3 − 2 = 1 . A T y = 0 solve karo: y 1 + y 2 + y 3 = 0 aur y 2 + 2 y 3 = 0 . Doosre se y 2 = − 2 y 3 ; pehle se y 1 = − y 2 − y 3 = 2 y 3 − y 3 = y 3 . y 3 = 1 set karo: ( 1 , − 2 , 1 ) . To N ( A T ) = span {( 1 , − 2 , 1 )} .
Verify: ye ( 1 , − 2 , 1 ) pure column space (plane) ke perpendicular hona chahiye. ( 1 , − 2 , 1 ) ⋅ ( 1 , 1 , 1 ) = 0 ✓ aur ( 1 , − 2 , 1 ) ⋅ ( 0 , 1 , 2 ) = − 2 + 2 = 0 ✓. To N ( A T ) exactly plane C ( A ) ki normal line hai — ye hai "N ( A T ) ⊥ C ( A ) in R m " ka real matalab, aur ye woh vector hai jo least squares use karta hai.
A = [ 3 1 1 2 ] , size 2 × 2
Forecast: det = 3 ⋅ 2 − 1 ⋅ 1 = 5 = 0 . Padhne se pehle charon subspaces predict karo.
Step 1 — Determinant / rank. det = 5 = 0 ⇒ r = 2 = m = n .
Ye step kyun? Nonzero determinant ek fast test hai ki do columns independent hain.
Step 2 — Column space. dim = r = 2 , isliye C ( A ) = R 2 : har output reachable hai.
Step 3 — Null space. dim = n − r = 0 , isliye N ( A ) = { 0 } : sirf zero input zero pe map hota hai.
Step 4 — Baaki do. dim C ( A T ) = 2 ⇒ C ( A T ) = R 2 ; dim N ( A T ) = m − r = 0 ⇒ N ( A T ) = { 0 } .
Verify: invertible ⟺ trivial null space ⟺ column space sab kuch hai. Teeno statements yahan hold karti hain. Sum check: 2 + 0 = 2 = n ✓.
A = [ 0 0 0 0 ] , size 2 × 2
Forecast: bilkul koi pivot nahi. r kya hai? Saare n = 2 input directions kahan jaate hain?
Step 1 — Rank. Koi nonzero rows nahi ⇒ r = 0 . Ye scenario matrix ka extreme end hai.
Step 2 — Column & row space. Dono { 0 } hain (dimension r = 0 ). Sirf 0 reachable output hai.
Step 3 — Null space. dim N ( A ) = n − r = 2 − 0 = 2 , isliye N ( A ) = R 2 : har input crush ho jaata hai.
Step 4 — Left null space. dim N ( A T ) = m − r = 2 − 0 = 2 , isliye N ( A T ) = R 2 : har output sirf 0 ke alawa forbidden hai.
Verify: sums 0 + 2 = 2 = n ✓, 0 + 2 = 2 = m ✓. Ye Example 3 ka mirror image hai: invertible case mein dono null spaces empty aur dono column/row spaces full hote hain; zero matrix har ek ko flip kar deta hai.
A = 1 2 1 1 2 0 1 2 1 , size 3 × 3
Forecast: row 2, row 1 ka 2 × hai. To saari rows independent nahi ho sakti — r guess karo, phir charon dims.
Step 1 — Row reduce karo. R 2 → R 2 − 2 R 1 se row 2 zero ho jaati hai. R 3 → R 3 − R 1 = ( 0 , − 1 , 0 ) . Reorder/clean karke RREF 1 0 0 0 1 0 1 0 0 milta hai. Do pivots ⇒ r = 2 .
Step 2 — Row space C ( A T ) ⊆ R 3 . span {( 1 , 0 , 1 ) , ( 0 , 1 , 0 )} , dimension 2 .
Step 3 — Null space N ( A ) ⊆ R 3 . RREF se: x 1 = − x 3 , x 2 = 0 , x 3 free. x 3 = 1 set karo: ( − 1 , 0 , 1 ) . To N ( A ) = span {( − 1 , 0 , 1 )} , dimension n − r = 1 .
Step 4 — Column space C ( A ) ⊆ R 3 . Original A ke pivot columns 1,2: ( 1 , 2 , 1 ) aur ( 1 , 2 , 0 ) . Dimension 2 .
Step 5 — Left null space N ( A T ) ⊆ R 3 . Dimension m − r = 1 . y 1 ( 1 , 1 , 1 ) + y 2 ( 2 , 2 , 2 ) + y 3 ( 1 , 0 , 1 ) = 0 column-wise solve karo (yaani A T y = 0 ): dependency row-2 = 2 × row-1 se y 1 + 2 y 2 = 0 aur y 3 = 0 milta hai. y 2 = 1 set karo: y = ( − 2 , 1 , 0 ) . To N ( A T ) = span {( − 2 , 1 , 0 )} .
Verify: N ( A ) ⊥ rows: ( − 1 , 0 , 1 ) ⋅ ( 1 , 0 , 1 ) = 0 ✓, ( − 1 , 0 , 1 ) ⋅ ( 0 , 1 , 0 ) = 0 ✓. N ( A T ) ⊥ columns: ( − 2 , 1 , 0 ) ⋅ ( 1 , 2 , 1 ) = − 2 + 2 = 0 ✓, ( − 2 , 1 , 0 ) ⋅ ( 1 , 2 , 0 ) = − 2 + 2 = 0 ✓. Sums: 2 + 1 = 3 = n ✓, 2 + 1 = 3 = m ✓.
Worked example Ek triangle mein currents. Teen nodes, teen wires. Edges
1 → 2 , 2 → 3 , 1 → 3 ke liye incidence matrix hai
A = − 1 0 − 1 1 − 1 0 0 1 1 .
Har row kehti hai us edge ke liye "( head par value ) − ( tail par value ) ". Hum dhundh rahe hain: kaun se node-potential vectors har edge par zero voltage dete hain, aur left null space physically kya batata hai.
Forecast: saare teen nodes ek same potential par hone se har jagah zero hona chahiye — isliye N ( A ) kam se kam ek line hai. r guess karo.
Step 1 — Rank. Jodo: row3 = row1 + row2 (check karo: ( − 1 , 1 , 0 ) + ( 0 , − 1 , 1 ) = ( − 1 , 0 , 1 ) ✓). To rows dependent hain, r = 2 .
Ye step kyun? Ek dependent row ka matlab ek edge ki voltage baaki dono se force hoti hai — yahi loop law hai.
Step 2 — Null space N ( A ) ⊆ R 3 (potentials). A x = 0 ka matlab har edge ke dono endpoints ka potential equal hai, yaani x 1 = x 2 = x 3 . To N ( A ) = span {( 1 , 1 , 1 )} , dimension n − r = 1 . Physical meaning: saare potentials ko ek constant se shift karne se koi voltage nahi badlta.
Step 3 — Left null space N ( A T ) ⊆ R 3 (edge currents). Dimension m − r = 1 . A T y = 0 solve karo: iska matlab currents y har node par Kirchhoff's current law satisfy karte hain. Dependency row3=row1+row2 se y = ( 1 , 1 , − 1 ) milta hai (loop ke around current).
Verify: x = ( 1 , 1 , 1 ) ke liye A x = 0 : har row apna ± 1 pattern zero sum karta hai ✓. y = ( 1 , 1 , − 1 ) ke liye A T y = 0 : node 1 column ( − 1 , 0 , − 1 ) ⋅ ( 1 , 1 , − 1 ) = − 1 + 1 = 0 ✓; node 2 ( 1 , − 1 , 0 ) ⋅ ( 1 , 1 , − 1 ) = 1 − 1 = 0 ✓; node 3 ( 0 , 1 , 1 ) ⋅ ( 1 , 1 , − 1 ) = 1 − 1 = 0 ✓. To left null space hi conservation law hai.
A = 1 0 1 2 0 2 0 1 1 ke saath, decide karo ki b = ( 3 , 1 , 4 ) aur b ′ = ( 3 , 1 , 5 ) reachable hain ya nahi.
Forecast: A ki row 3 = row 1 + row 2. Ye kisi bhi reachable b par kaun si constraint force karta hai?
Step 1 — Rank aur left null space. row3 = row1 + row2 ⇒ r = 2 , aur dim N ( A T ) = m − r = 1 . A T y = 0 solve karne par dependency vector y = ( 1 , 1 , − 1 ) milta hai.
Ye step kyun? $Ax=b$ solvable hai ⟺ b ∈ C ( A ) ⟺ b ⊥ N ( A T ) . To sirf ek condition hai y ⋅ b = 0 .
Step 2 — b = ( 3 , 1 , 4 ) test karo. y ⋅ b = ( 1 , 1 , − 1 ) ⋅ ( 3 , 1 , 4 ) = 3 + 1 − 4 = 0 ✓ — solvable hai.
Step 3 — b ′ = ( 3 , 1 , 5 ) test karo. y ⋅ b ′ = 3 + 1 − 5 = − 1 = 0 — solvable nahi , b ′ ∈ / C ( A ) .
Step 4 — Solvable b ke liye general solution. [ A ∣ b ] ka RREF deta hai x 1 + 2 x 2 = 3 , x 3 = 1 . Particular: ( 3 , 0 , 1 ) . Homogeneous part N ( A ) = span {( − 2 , 1 , 0 )} . To saare solutions: x = ( 3 , 0 , 1 ) + t ( − 2 , 1 , 0 ) .
Verify: A ( 3 , 0 , 1 ) = ( 3 , 1 , 3 + 1 ) = ( 3 , 1 , 4 ) = b ✓. Aur A ( − 2 , 1 , 0 ) = ( − 2 + 2 , 0 , − 2 + 2 ) = ( 0 , 0 , 0 ) ✓ isliye koi bhi t ( − 2 , 1 , 0 ) add karne par solution raha rehta hai. Exam ka trap — "kaun se right-hand sides kaam karte hain?" — poora left null space se answer hota hai.
Worked example Column vector
A = 2 − 1 4 (3 × 1 ) aur row vector B = [ 2 − 1 4 ] (1 × 3 ).
Forecast: dono mein ek hi nonzero entry-pattern hai, isliye dono ke liye r = 1 . Kaun si spaces points tak collapse hoti hain, kaun si lines/planes bharti hain?
Step 1 — A ke liye (m = 3 , n = 1 , r = 1 ). C ( A ) = span {( 2 , − 1 , 4 )} ⊆ R 3 (ek line). N ( A ) : dim = n − r = 1 − 1 = 0 , isliye N ( A ) = { 0 } R 1 mein. N ( A T ) : dim = m − r = 3 − 1 = 2 , R 3 mein ek plane — ( 2 , − 1 , 4 ) ke saare perpendicular vectors.
Step 2 — B = A T ke liye (m = 1 , n = 3 , r = 1 ). Symmetry se roles swap hote hain: C ( B T ) = wahi line span {( 2 , − 1 , 4 )} ⊆ R 3 ; N ( B ) : dim = n − r = 3 − 1 = 2 , ( 2 , − 1 , 4 ) ke perpendicular plane; C ( B ) = R 1 ; N ( B T ) = { 0 } .
Step 3 — Perpendicular plane ki basis. 2 u 1 − u 2 + 4 u 3 = 0 ko satisfy karne wale do independent vectors chahiye. ( u 2 , u 3 ) = ( 2 , 0 ) set karo ⇒ u 1 = 1 : ( 1 , 2 , 0 ) . ( u 2 , u 3 ) = ( 0 , − 1 ) set karo ⇒ 2 u 1 = 4 ⇒ ( 2 , 0 , − 1 ) ... check: 2 ⋅ 2 − 0 + 4 ( − 1 ) = 0 ✓. Plane = span {( 1 , 2 , 0 ) , ( 2 , 0 , − 1 )} .
Verify: ( 2 , − 1 , 4 ) ⋅ ( 1 , 2 , 0 ) = 2 − 2 + 0 = 0 ✓, ( 2 , − 1 , 4 ) ⋅ ( 2 , 0 , − 1 ) = 4 + 0 − 4 = 0 ✓. Dims: A ke liye, 1 + 0 = 1 = n ✓ aur 1 + 2 = 3 = m ✓. Transpose karna input/output worlds ko swap karta hai — R 3 mein ek line ka orthogonal complement ek plane hota hai, bilkul waise jaise dimension count n − r predict karta hai.
Recall Self-test: shape aur rank se charon dims batao
A ka size 5 × 3 hai aur rank 2 hai. Saare charon dimensions do.
dim C ( A ) ::: r = 2
dim C ( A T ) ::: r = 2
dim N ( A ) ::: n − r = 3 − 2 = 1
dim N ( A T ) ::: m − r = 5 − 2 = 3
Is page ke har scenario mein sirf do knobs set hote hain: pivot count r , aur m ya n mein se kaun bada hai. r ko 0 tak ghuma do → zero matrix; r ko min ( m , n ) tak badhao → full rank. m , n mein se jo bada hai woh decide karta hai ki baaki dimensions kaun sa null space carry karta hai.