Visual walkthrough — Basis — definition, uniqueness of representation
4.5.17 · D2· Maths › Linear Algebra (Full) › Basis — definition, uniqueness of representation
Step 1 — Vector kya hota hai, aur "combine" ka matlab kya hai?
KYA. Ek vector bas ek aisa arrow hai jiska tail origin par hai aur tip plane mein kahin hai. Neeche ki pictures mein plane sunset-coloured grid hai; origin woh dot hai jo centre mein label ke saath hai.
KYUN. Isse pehle ki hum baat kar sakein ki ek vector ko doosre vectors se "build" karna kya hota hai, hume un do moves par agree karna hoga jo humein allowed hain:
- ek arrow ko scale karna (use stretch ya shrink karo, flip karo agar number negative ho),
- do arrows ko add karna (doosre ki tail pehle ki tip par lagao — "tip-to-tail" rule).
PICTURE. Neeche, violet arrow aur orange arrow hamare do building blocks hain. Magenta dashed arrow dikhata hai (do guna lamba). Navy arrow ko tip-to-tail build karte hue dikhata hai.
Step 2 — "Spanning": kya hum har jagah pahunch sakte hain?
KYA. Hum poochte hain: apne building blocks se shuru karke, ko sab numbers par range karne dete hue, hum kaun si tips ko hit kar sakte hain?
KYUN. Ek coordinate system bekar hai agar kuch points ka koi address hi nahi hai. Spanning bilkul yahi promise hai ki "har point ka kam se kam ek address hai." Hume pehle yeh check karna hoga kyunki aap kisi aise sawaal ka unique jawaab nahi de sakte jiska koi jawaab hi nahi hai.
PICTURE. Jaise aur slide karte hain, tip shaded region ko sweep karti hai. Jab sach mein alag directions mein point karte hain, woh region poore plane ko fill kar deta hai — har target (teen magenta stars) reachable hai.
Step 3 — Khatre ki baat: ek redundant building block
KYA. Ab ek teesra arrow add karo jo sach mein naya nahi hai — maano . Hum ab bhi plane ko span karte hain, lekin dekhte hain addresses ka kya hota hai.
KYUN. Hum expose karna chahte hain ki sirf spanning kyun kaafi nahi hai. Parent note ka mistake box yeh shabdon mein kehta hai (" spans karta hai lekin do addresses hain"); yahaan hum ek point ke liye do addresses dekhte hain.
PICTURE. Woh single navy target point do alag tareekon se reach hota hai:
- green path: (koi nahi),
- magenta path: . Same destination, do honest recipes. Redundancy ne uniqueness barbad kar di.
Step 4 — "Independence": zero tak pahunchne ka ek aur sirf ek tarika
KYA. Hum apne set ko ek sabse important target ke khilaaf test karte hain: zero vector (woh arrow jo kahin nahi jaata, tail aur tip dono par).
KYUN. Yahan ek clever move hai. Har point par uniqueness check karne ke bajaye (infinitely many), hum ise ek khaas point par check karte hain. Set linearly independent hai agar wahi recipe jo aapko origin par wapas le jaaye woh do-nothing recipe ho.
PICTURE. Left panel: ek redundant set ke liye, ek non-zero recipe () par wapas ek closed loop banati hai — "sneaky path to zero." Right panel: ek independent set ke liye, arrows ke tak cancel hone ka ek hi tarika hai — bilkul na hilna.
Step 5 — Basis = dono promises saath mein
KYA. Ek basis woh set hai jo dono spans (Step 2) bhi karta hai aur independent (Step 4) bhi hai.
KYUN. Dono promises ko milake:
- Spanning kam se kam ek address (existence).
- Independence zyada se zyada ek address (uniqueness — aage prove hoga).
- Saath mein exactly ek address.
PICTURE. Ek saaf sunset grid jahan do axes hain. Plane mein har point exactly ek violet grid-line aur ek orange grid-line ke crossing par baith ta hai — uska unique coordinate pair.
Step 6 — Uniqueness proof, subtraction ke roop mein drawn
KYA. Maano, contradiction ke liye, ki kisi vector ke do addresses hain:
KYUN subtract karo? Hum independence use karna chahte hain, lekin independence sirf un combinations ke baare mein ek statement hai jo ke barabar hon. To hum do barabar expressions subtract karke ek "" statement manufacture karte hain:
PICTURE. Geometrically: address A ke saath chalna aur phir address B ke saath ulta chalna aapko origin par wapas le jaata hai — ek closed loop. Step 4 se, ek independent set mein koi sneaky loop to zero nahi hai, to loop mein har coefficient hona chahiye: Dono addresses shuru se hi identical the. Uniqueness. ∎
Step 7 — Degenerate & edge cases (reader ko kabhi stranded mat chhodna)
KYA. Hum har woh scenario check karte hain jo picture ko "break" karta hai, taaki baad mein kuch surprise na kare.
KYUN. Ek trustworthy coordinate system sab inputs par defined hona chahiye, awkward ones bhi include karke.
PICTURE. Char panels:
- Bahut kam arrows — plane mein ek arrow : yeh sirf apni line tak pahunchta hai. Line se bahar ke points (magenta star) ka koi address nahi hai. Spanning fail. (parent: in .)
- Bahut zyada arrows — plane mein teen arrows: har point ko multiple addresses milte hain. Independence fail.
- Building block ke roop mein zero vector — agar koi hai, to ek sneaky non-trivial path to hai; set automatically dependent hai, kabhi basis nahi.
- Coincident arrows — parallel to : yeh sirf ek line span karte hain, plane nahi. 2D mein spanning fail.
Ek-picture summary
KYA. Upar sab kuch, compressed: existence spanning se aata hai, uniqueness independence se aati hai, aur unka overlap basis ki single-address duniya hai.
Recall Feynman: poora walkthrough plain words mein
Imagine karo tum arrows use karke ek warm sunset grid par directions de rahe ho. Pehle (Step 1–2) tum kuch arrows choose karte ho aur check karte ho ki tum unhe stretch aur stack karke sheher ke har kone tak pahunch sako — yahi spanning hai, matlab har jagah ka kam se kam ek set of directions hai. Lekin (Step 3) agar tum ek extra arrow chupke se le aate ho jo bas "arrow 1 aur arrow 2 mila ke jaao" wala hai, to usi ghar ke ab do sets of directions ho jaate hain — confusing! Ise rokne ke liye, tum demand karte ho (Step 4) ki tumhare arrows ke cancel hokar wapas start tak pahunchne ka ek hi tarika ho — bilkul na hilna — sneaky loops ghar nahi. Yahi independence hai, aur yeh har jagah ke liye zyada se zyada ek set of directions force karta hai. Dono promises saath mein lagao (Step 5) aur har ghar ka exactly ek honest address hoga. Yeh prove karna ki yeh sach mein unique hai (Step 6) bas yahi hai: agar kisi ghar ke do addresses hote, pehle se chalo aur doosre se wapas aao — tum start par loop karte ho, lekin independence koi bhi loop-to-start forbid karta hai sivaaye empty wale ke, to dono addresses secretly same the. Aakhir mein (Step 7) hum broken cases sanity-check karte hain: bahut kam arrows sheher ke kuch hisse tak pahunch nahi paate, bahut zyada double-addresses dete hain, aur ek bekar "stay-put" arrow ek instant sneaky loop hai. Sweet spot — exactly utne arrows jitne sheher mein dimensions hain — ek basis hai.
Connections
- Linear Independence — Steps 3, 4, 6: "no sneaky loop to zero" promise jo uniqueness force karta hai.
- Span and Spanning Sets — Step 2: "har jagah pahuncho" promise jo existence force karta hai.
- Dimension — Step 7: exact number of arrows jo tumhe use karne chahiye.
- Coordinate Vectors and Change of Basis — Step 5: address jo har vector ko milta hai.
- Subspaces — se guzarne wali line ya plane apne chhhote basis se span hoti hai.
- Matrix of a Linear Map — basis arrows ko ek map se feed karne se uske matrix columns bante hain.