4.5.18 · HinglishLinear Algebra (Full)

Dimension — basis cardinality

1,798 words8 min readRead in English

4.5.18 · Maths › Linear Algebra (Full)


Hum claim kya kar rahe hain?

Hum kyun care karte hain? Is theorem ke bina, "dimension" ambiguous hoti — tum nahi keh sakte ki 3-dimensional hai, kyunki shayad kisi weird basis mein 5 vectors hon. Yeh theorem guarantee karta hai ki answer unique hoga.


Hum isse prove kaise karte hain — Scratch se Derivation

Poora result ek workhorse lemma par tikaa hai. Use derive karo aur sab kuch derive ho jaata hai.

Exchange Lemma Derive Karna

Maano ko span karta hai, aur linearly independent hai. Goal: dikhao ki hai.

Idea: 's ko spanning set mein ek ek karke swap karo, har baar ek ko bahar nikaalte hue, aur poori process mein size ka ek spanning set banaye rakho. Agar 's kabhi khatam na hon, toh .

Step 1. Kyunki , ko span karta hai, likho Yeh step kyun? Spanning ka matlab hai har vector, including , 's ka combination hai.

Step 2. Koi hoga (warna , jo independent set ke liye impossible hai). Reorder karo taaki ho. Solve karo: Yeh step kyun? Isse pata chalta hai ki redundant hai — hum use aur baaki 's se express kar sakte hain. Toh abhi bhi ko span karta hai.

Step 3 (induction). Maano swaps ke baad hamare paas spanning set hai ko iske terms mein likho:

Step 4 (key). Koi hoga. Kyun? Agar saare hon, toh ka combination hota — jo ke independent hone ko contradict karta hai. Toh koi abhi bhi hona chahiye jise bahar nikala ja sake. Yahi jagah hai jahan ki independence use hoti hai. Reorder karo, ko bahar nikalo, ko swap in karo. size ka spanning set bachaa rehta hai.

Step 5 (conclude). Har swap ek aur ek consume karta hai. Hamare paas 's se kam se kam utne hi 's hone chahiye, yaani .

Lemma se Dimension Theorem tak

Maano (size ) aur (size ) dono ke bases hain.

  • independent hai, spans karta hai lemma apply karo: .
  • independent hai, spans karta hai lemma apply karo: .

Isliye . 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.

Figure — Dimension — basis cardinality

Worked Examples


Steel-man the Mistakes


Forecast-then-Verify


Flashcards

Vector space ki dimension kya hoti hai?
Kisi bhi basis ki cardinality (vectors ki sankhya) — well-defined isliye hai kyunki saare bases ka size equal hota hai.
State karo Dimension Theorem (invariance of basis cardinality).
Ek hi finite-dimensional space ke kisi bhi do bases mein vectors ki sankhya same hoti hai.
Steinitz Exchange Lemma kya kehta hai?
Agar ko vectors span karte hain, toh har linearly independent set mein at most vectors hote hain (independent ≤ spanning).
Exchange lemma ke proof mein ki independence kahan use hoti hai?
Yeh guarantee karne ke liye ki kisi remaining ka coefficient nonzero hai, taaki ek hamesha swap out kiya ja sake.
Kya Steinitz mein spanning set ko linearly independent hona chahiye?
Nahi — use sirf span karna hai; woh dependent bhi ho sakta hai.
Exchange lemma se Dimension Theorem kaise derive karte hain?
Lemma dono taraf apply karo: indep ≤ spanning deta hai ; roles reverse karo toh ; toh .
4 vectors ka basis kyun nahi ban sakte?
ko 3 vectors span karte hain, toh koi bhi independent set mein ≤3 vectors hote hain; 4 vectors dependent honge, isliye basis nahi.
(degree ≤ n ke polynomials) =
(basis ).

Recall Feynman: 12-saal ke bachche ko samjhao

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.


Connections

  • Linear Independence — "some coefficient ≠ 0" step provide karta hai.
  • Spanning Sets — woh slots provide karta hai jo lemma fill karta hai.
  • Basis of a Vector Space — woh dono-at-once object jise theorem measure karta hai.
  • Steinitz Exchange Lemma — is proof ka engine.
  • Rank-Nullity Theorem — linear maps ke liye dimension counting action mein.
  • Coordinates and Change of Basis — kyun ek fixed dimension hume coordinate vectors use karne deta hai.

Concept Map

requires

requires

counts vectors of

swaps v's into

uses

proves

apply both ways

guarantees

justifies

states

Basis

Linearly independent

Spanning set

Dimension = basis cardinality

Steinitz Exchange Lemma

indep size <= spanning size

Invariance of basis cardinality

Dimension well-defined

all bases have equal size

Deep Dive