4.5.18 · D4 · HinglishLinear Algebra (Full)

ExercisesDimension — basis cardinality

2,512 words11 min read↑ Read in English

4.5.18 · D4 · Maths › Linear Algebra (Full) › Dimension — basis cardinality

Shuru karne se pehle do reminders, taaki koi symbol bina wajah na lage:


Level 1 — Recognition

Recall Solution

Standard basis hai 4 vectors, independent aur spanning. Dimension Theorem ke according har basis ka count same hota hai, isliye .

Recall Solution

Basis mein 4 elements hain. Isliye . Generally (har power ke liye ek slot).

Recall Solution

Nahi. Ek basis independent honi chahiye, aur exchange lemma ke hisaab se mein koi bhi independent set mein zyada se zyada vectors ho sakte hain. Teen vectors independent nahi ho sakte, isliye ye basis nahi hai. (Indeed .)


Level 2 — Application

Recall Solution

Nahi. Steinitz: independent ≤ spanning. Yahan spanning size hai, isliye koi bhi independent set mein vectors honge. Saat se zyada hai ⇒ woh dependent zaroor honge.

Recall Solution

Set karo . Component-wise: aur . Pehle se, ; substitute karo: . Sirf trivial solution ⇒ independent. Ek 2-dimensional space mein do independent vectors use space ko span bhi karte hain, isliye ye hai ek basis — jo confirm karta hai. Neeche figure dekho.

Figure — Dimension — basis cardinality
Recall Solution

Spanning: hum har standard basis vector recover kar sakte hain: ; ; . Kyunki , span karta hai aur har ek reachable hai, hamaara set bhi karta hai. Count: 3 elements . Ek spanning set jiska size dimension ke barabar ho, automatically ek basis hota hai.


Level 3 — Analysis

Recall Solution

Solve karo : . Toh , . Isliye par coefficient hai, isliye hum ke liye solve kar sakte hain: Isliye , se expressible hai, toh abhi bhi spans karta hai ko (independence check: ). Ek swap in hua, ek bahar gaya, spanning size preserve hui. Figure dekho.

Figure — Dimension — basis cardinality
Recall Solution

Maano har hai. Toh — yaani pehle ke 's ka combination hai. Lekin independent hai, matlab koi bhi doosron ka combination nahi hai. Contradiction. Isliye koi hai, jo guarantee karta hai ki ek remaining present hai jise bahar nikala ja sake. Agar ye fail ho jaata, toh hum 's khatam kar lete swap karne ke liye aur size- spanning invariant collapse ho jaata — poora bound unproved reh jaata. Yahi ek jagah hai jahan ki independence enter hoti hai (dekho Linear Independence).

Recall Solution
  • Direction 1: independent hai, spans karta hai ⇒ lemma deta hai .
  • Direction 2: independent hai, spans karta hai ⇒ lemma deta hai .

Dono hold karte hain kyunki ek basis simultaneously independent aur spanning hota hai, isliye har ek dono roles play kar sakta hai. aur se milta hai . Woh common value hai.


Level 4 — Synthesis

Recall Solution

Constraint solve karo: free lo, phir . Toh Do vectors ko span karte hain aur independent hain (koi bhi dusre ka scalar multiple nahi hai). Isliye woh ek basis banate hain aur . Intuition: ek linear equation ek 3-dimensional space se ek degree of freedom hata deti hai, chhodke . Ye Rank-Nullity Theorem ka chhota roop hai: map ka image -dimensional hai aur kernel -dimensional hai.

Recall Solution

Humein total size chahiye, isliye exactly ek aur vector — bas wo do ka combination na ho. Try karo : kya independent hai? Determinant compute karo Bottom row ke along expand karo: Independent ⇒ basis. Exactly ek kyun? Har basis ki cardinality hoti hai; hamare paas pehle se independent vectors hain, aur exchange lemma ke by hum hamesha exchange kar sakte hain full dimension tak pahunchne ke liye bina overshoot kiye.

Recall Solution

Rank-Nullity Theorem: . ke saath, . Kyunki codomain ka dimension hai aur image uska ek -dimensional subspace hai, image barabar poore ke hai (ek subspace jiska dimension poore space ke barabar ho woh poora space hai — yahi basis-cardinality phir se). Toh haan, surjective hai.


Level 5 — Mastery

Recall Solution

Uska basis empty set hai. Empty set vacuously independent hai (koi bhi coefficients constrain nahi hote, isliye ek hi combination — empty wala — deta hai) aur ye ko spans karta hai (empty combination ke barabar hai, jo ek hi vector present hai). Uski cardinality hai, isliye . Note karo ki khud ek basis nahi hai: koi bhi set jo contain kare dependent hota hai kyunki ek nontrivial relation hai.

Recall Solution

Lo jo standard basis (size ) se span hota hai. Wohi standard basis ek independent set hai size ka. Isliye ek independent set spanning-set size tak pahunch sakta hai exactly; bound equality ke saath achieve hota hai. Equality tab hoti hai jab independent set bhi spanning ho — yaani woh ek basis hai.

Recall Solution

Lo sab polynomials ka space (koi bhi degree). Set independent aur spanning hai lekin infinite — koi finite set ko span nahi kar sakta (ek finite set ki ek maximum degree hoti hai, isliye woh tak nahi pahunch sakta). Yahan . Exchange lemma abhi bhi relatively apply hota hai: kisi bhi finite spanning set ke liye kisi bhi subspace ke — mein independent sets us spanning size se bounded hain. Lemma ka engine kabhi nahi toot‍ta; sirf assumption "koi finite spanning set exist karta hai" tooti hai.

Recall Solution

Change-of-basis matrix (dekho Coordinates and Change of Basis) mein utne columns hote hain jitni old basis size hai aur utne rows jitni new basis coordinate length — dono kisi basis mein vectors ki sankhya ke barabar hote hain. Kyunki Dimension Theorem dono bases ko same count force karta hai, matrix hai, isliye square hai, isliye potentially invertible (aur woh hai invertible, kyunki woh ek basis ko doosre se map karta hai). Non-square impossible hota — matlab do bases ka size alag hoga, jo basis cardinality ke against hai.


Recall Ladder ka ek-line recap

Recognition: dimension = basis ki size. Application: independent ≤ spanning. Analysis: ek exchange spanning preserve karta hai kyunki nonzero coefficient se hum solve kar sakte hain. Synthesis: rank-nullity aur extension ke saath combine karo. Mastery: ka empty-set basis, tightness, aur infinite case.


Connections

  • Steinitz Exchange Lemma — is page par har bound ke peechhe ka engine.
  • Linear Independence — "some coefficient ≠ 0" ki guarantee (L3.2).
  • Spanning Sets — woh slots jo lemma fill karta hai (L2, L3.1).
  • Basis of a Vector Space — woh both-at-once object jise hum count karte hain.
  • Rank-Nullity Theorem — L4.1 aur L4.3 mein use hua.
  • Coordinates and Change of Basis — transition matrix ki squareness (L5.4).
  • Parent: Dimension — woh theorem jise ye exercises drill karte hain.