Hum kyun care karte hain? Is theorem ke bina, "dimension" ambiguous hoti — tum nahi keh sakte ki R3 3-dimensional hai, kyunki shayad kisi weird basis mein 5 vectors hon. Yeh theorem guarantee karta hai ki answer unique hoga.
Maano S={w1,…,wn}V ko span karta hai, aur L={v1,…,vm} linearly independent hai. Goal: dikhao ki m≤n hai.
Idea:v's ko spanning set mein ek ek karke swap karo, har baar ek w ko bahar nikaalte hue, aur poori process mein n size ka ek spanning set banaye rakho. Agar w's kabhi khatam na hon, toh m≤n.
Step 1. Kyunki S, V ko span karta hai, likho
v1=a1w1+a2w2+⋯+anwn.Yeh step kyun? Spanning ka matlab hai har vector, including v1, w's ka combination hai.
Step 2. Koi ai=0 hoga (warna v1=0, jo independent set ke liye impossible hai). Reorder karo taaki a1=0 ho. Solve karo:
w1=a11(v1−a2w2−⋯−anwn).Yeh step kyun? Isse pata chalta hai ki w1 redundant hai — hum use v1 aur baaki w's se express kar sakte hain. Toh {v1,w2,…,wn}abhi bhiV ko span karta hai.
Step 3 (induction). Maano k swaps ke baad hamare paas spanning set hai
{v1,…,vk,wk+1,…,wn}.vk+1 ko iske terms mein likho:
vk+1=old v’sb1v1+⋯+bkvk+remaining w’sck+1wk+1+⋯+cnwn.
Step 4 (key).Koi cj=0 hoga.Kyun? Agar saare cj=0 hon, toh vk+1v1,…,vk ka combination hota — jo L ke independent hone ko contradict karta hai. Toh koi w abhi bhi hona chahiye jise bahar nikala ja sake.
Yahi jagah hai jahan L ki independence use hoti hai. Reorder karo, wk+1 ko bahar nikalo, vk+1 ko swap in karo. n size ka spanning set bachaa rehta hai.
Step 5 (conclude). Har swap ek v aur ek w consume karta hai. Hamare paas v's se kam se kam utne hi w's hone chahiye, yaani m≤n. ■
Maano B1 (size p) aur B2 (size q) dono V ke bases hain.
B1 independent hai, B2 spans karta hai ⇒ lemma apply karo: p≤q.
B2 independent hai, B1 spans karta hai ⇒ lemma apply karo: q≤p.
Isliye p=q. ■ Woh number hi dimension hai.
Yeh step kyun? Ek basis simultaneously independent aur spanning hota hai, toh har ek lemma mein dono roles play karta hai — dono directions mein inequalities deta hai.
Socho tum LEGO ka ek kila banaa rahe ho. Tum laal bricks use kar sakte ho ya neeli bricks, lekin wahi exact kila banane ke liye tumhe hamesha utni hi bricks chahiye hongi. Bricks tumhare basis vectors hain, kila woh space hai. Chahe tum kaunsa color (kaunsa basis) chuno, bricks ki count fixed rehti hai — woh count hi dimension hai. Isse prove karne ki trick: apni independent bricks lo aur unhe ek ek karke ek aisi pile mein swap karo jo pehle se kila banaa sakti hai; tumhe kabhi jagah khatam nahi hogi, jo prove karta hai ki tumhare paas pile se zyada independent bricks nahi ho sakti. Dono directions mein karo aur dono counts match karni chahiye.