Yeh definition KYU? Kyunki ek vector space tumhe jo do operations deta hai woh hain scaling (cv) aur adding (u+v). Ek linear combination c1v1+⋯+ckvk bas yahi do operations baar baar apply karne se banta hai. Span isliye closure hai — har woh cheez jo tum sirf allowed tools se bana sakte ho.
Yeh check karne ke liye ki "kya vector w, span{v1,…,vk} mein hai?", tum yeh poochte ho:
Kya aise scalars ci exist karte hain ki c1v1+⋯+ckvk=w?
Yeh ci unknowns mein bas ek system of linear equations hai. Agar solution milta hai → haan; nahi toh → nahi.
Hum claim karte hain ki S=span{v1,…,vk} ek subspace hai. Humein dikhana hoga: (1) 0 contain karta hai, (2) addition ke under closed hai, (3) scaling ke under closed hai.
Zero: saare ci=0 lo, jisse 0∈S milta hai. ✔ Yeh step kyun? Saari-empty combination ek valid combination hai.
Addition: maano x=∑aivi aur y=∑bivi. Tab
x+y=∑(ai+bi)vi,
jo phir se ek linear combination hai → S mein. ✔ Kyun? Humne like terms group kiye; (ai+bi) bas ek aur scalar hai.
Scaling:λx=λ∑aivi=∑(λai)vi∈S. ✔ Kyun?λ ko andar laane par bhi ek linear combination hi rehta hai.
Toh har span ek subspace hota hai — yahi woh gehra karan hai ki spans matter karte hain.
Recall Feynman: ek 12-saal ke bacche ko explain karo
Tumhare paas kuch magic arrows hain. Tum har arrow ko lamba ya chota kar sakte ho, use ulta point kar sakte ho, aur arrows ko tip-to-tail jod sakte ho. Span woh har jagah hai jahan tum in arrows se ja sakte ho. Agar tumhare arrows sach mein alag directions mein point karte hain, toh tum ek poori sheet (plane) fill kar sakte ho. Agar woh secretly ek hi direction mein point karte hain, toh tum sirf ek line par travel kar sakte ho. Aur tum hamesha ghar reh sakte ho (origin par) bilkul na hilkar.