Visual walkthrough — Abstract vector spaces — axioms, examples beyond ℝⁿ

4.5.43 · D2 · Maths › Linear Algebra (Full) › Abstract vector spaces — axioms, examples beyond ℝⁿ

Koi symbol chhune se pehle, woh pieces naam lo jo hum use kar sakte hain. Inhe box ke andar ke ek-maatra tools ki tarah socho.

Hum exactly chaar axioms pe rely karenge. Yeh rahi woh, "woh moves jo karne ki ijazat hai" ke roop mein:

---

Step 1 — Scalar zero ko do mein toddo

KYA. Hum us object se shuru karte hain jo hum samajhna chahte hain, $0\cdot v$, aur number $0$ ko ordinary numbers ke ek fact se rewrite karte hain: $0=0+0$.

$$\underset{\text{number}}{\underbrace{0}}\cdot \underset{\text{tile}}{\underbrace{v}}=\underset{\text{same number, split}}{\underbrace{(0+0)}}\cdot v$$

KYO. Hume abhi yeh kehne ki ijazat nahi hai ki $0\cdot v$ "kya hai" — yahi to saara rahasya hai. Lekin hum number $0$ ki jagah koi bhi uske barabar cheez likh sakte hain, aur $0+0=0$ field ke andar seedha school arithmetic hai. Yahi ek daraaz hai jo hum khol sakte hain. Scalar ko todna hi A8 ko kaam karne deta hai.

PICTURE. Laal tile $v$ hai. $0$ se scale karna (left) bilkul waisa hi hai jaise split number $0+0$ se scale karna (right) — ek knob zero pe, versus do knobs dono zero pe jinhe hum aage alag karenge.

---

Step 2 — Distribute karo: ek scaled tile do ban jaati hai

KYA. Step 1 ke right-hand side pe A8 lagao.

$$(0+0)v\stackrel{\text{A8}}{=}\underset{\text{call this }w}{\underbrace{0\cdot v}}+\underset{\text{also }w}{\underbrace{0\cdot v}}$$

KYO. A8 kehta hai tile ke aage scalar-sum do scaled copies mein split ho jaata hai snap hoke. Yeh sabse important move hai: rahasya object $0\cdot v$ ab do baar dikhta hai, khud se add hote hue. Yahi woh trap hai jo hum set karenge.

PICTURE. Left pe single tile "$0\cdot v$" unzip hokar right pe do identical copies ban jaati hai, "+" se joined. Saaf baat karne ke liye shared naam $w:=0\cdot v$ de do.

---

Step 3 — Use $w$ naam do aur jo equation mili hai usse padho

KYA. Steps 1 aur 2 ko chain karke, aur $w=0\cdot v$ likhte hue:

$$\underset{=0v}{\underbrace{w}}=\underset{\text{itself, snapped twice}}{\underbrace{w+w}}$$

KYO. Yeh chhoti si line poore proof ka dil hai. Ordinary numbers mein, "ek number jo khud plus khud ke barabar ho" zero hona chahiye ($w=2w\Rightarrow w=0$). Hum tile version kehna chahte hain, lekin "2 se divide karo" humari licensed moves mein nahi hai — tiles ko divide karne ka koi option vector spaces mein guaranteed nahi. Toh hume axioms se kaam khatam karna hoga.

PICTURE. Ek balance scale: left pan pe ek $w$ exactly right pan ke do $w$'s se balance kar raha hai. Kuch toh dena hoga — aur bina divide kiye balance restore karne ka ek hi tarika hai: ek copy ko undo karo.

---

Step 4 — Dono sides pe "undo" tile snap karo

KYA. Har tile ka ek saathi hota hai (A4). $(-w)$ ko $w=w+w$ ke dono sides pe snap karo:

$$\underset{\text{left pan}}{\underbrace{w+(-w)}}=\underset{\text{right pan}}{\underbrace{(w+w)+(-w)}}$$

KYO. Kyunki dono sides barabar thin, wahi tile dono pe snap karne se barabar rehte hain — yeh bas "dono pans ke saath ek hi kaam karo" hai. Hum $(-w)$ specifically isliye chunte hain kyunki A4 guarantee karta hai ki yeh $w$ ko empty tile mein gira dega. Yeh forbidden "divide" ka hamaara substitute hai.

PICTURE. Hara undo-tile $(-w)$ har pan pe aata hai. Pehle left pan dekho — woh empty hone wala hai.

---

Step 5 — Left collapse karo, right regroup karo

KYA. Left side A4 se $0$ ban jaati hai. Right side: A2 se regroup karo, phir inner pair ko A4 se collapse karo:

$$\underset{w+(-w)\text{(A4)}}{\underbrace{0}}=w+\underset{\text{regroup, A2}}{\underbrace{(w+(-w))}}=w+\underset{\text{A4 again}}{\underbrace{0}}$$

KYO. Right pe beech waale $w$ ko directly nahi chhoo sakte the, toh hum re-bracket kiye (A2) taaki doosra $w$ apne undo-tile $(-w)$ ke paas aa jaye. Woh pair $0$ mein collapse ho gaya, sirf $w$ reh gaya empty tile ke saath snap hua.

PICTURE. Left pan ab empty hai ($0$). Right pe brackets khisak jaate hain taaki paas waale $w$ aur $(-w)$ milein aur empty mein annihilate ho jaayein, ek akela $w$ empty tile ke saath reh jaata hai.

---

Step 6 — Empty tile kuch nahi karta → result aaya

KYA. Right pe A3 ($w+0=w$) use karo:

$$0=w+0\stackrel{\text{A3}}{=}w=0\cdot v$$

KYO. $w$ pe snap kiya empty tile $w$ ko unchanged chhod deta hai. Chain end to end padho: $0=w=0\cdot v$. Humne sirf axioms use karke prove kar diya ki kisi bhi tile ko number zero se scale karna empty tile deta hai.

$$\boxed{0\cdot v=0}\text{for every }v\in V.$$

PICTURE. Empty tile $w$ mein absorb ho jaati hai; balance "$0=0\cdot v$" padh ke settle ho jaata hai.

---

Step 7 — Bonus: $(-1)\cdot v=-v$ free mein kyun nikal aata hai

KYA. Ab apna naya theorem use karke doosra claim prove karte hain. $v$ se shuru karo aur $(-1)v$ snap karo:

$$v+(-1)v\stackrel{\text{A5}}{=}1\cdot v+(-1)\cdot v\stackrel{\text{A8}}{=}(1+(-1))v=0\cdot v\stackrel{\text{Step 6}}{=}0$$

Term by term: $1\cdot v=v$ pehle tile ko ek scaled copy mein badalta hai (A5); A8 do scaled copies ko ek scalar $1+(-1)=0$ aage leke merge karta hai; woh scalar number zero hai, toh Step 6 ise $0$ pe finish karta hai.

KYO. Agar $v+(-1)v=0$ hai, toh $(-1)v$ ek tile hai jo $v$ ko undo karta hai. Aur undo-tiles unique hote hain (A2–A4 ka ek standard ek-line consequence). Toh $(-1)v$ zaroor wahi tile hai jise hum $-v$ kehte hain.

$$\boxed{(-1)\cdot v=-v}$$

PICTURE. Tile $v$ (laal) tile $(-1)v$ (hara) se snap hokar empty tile mein annihilate ho jaata hai — bilkul waisa hi relationship jaisa $v+(-v)=0$.

---

Ek-picture summary

Pura argument ek hi flow hai: scalar todo → distribute karo → $w=w+w$ milta hai → ek copy undo karo → $0$ pe land karo, phir woh result spend karo $(-1)v=-v$ crack karne ke liye.

Recall Feynman: poora walkthrough plain words mein

Main jaanna chahta hoon ki tile ko number zero se scale karne pe kya hota hai, lekin mujhe kuch assume karne ki ijazat nahi — sirf snap, scale, undo, aur empty tile. Toh main ek trick use karta hoon: number zero secretly $0+0$ hai. Distribute rule kehta hai $0+0$ se scale karna do zero-scaled copies ko snap karke lene jaisa hai. Toh mera mystery tile khud plus khud ke barabar hai. Normally main "do se divide" karta, lekin tiles divide nahi hoti! Isliye main tile ke undo-partner ko dono sides pe snap karta hoon. Left side empty ho jaati hai, aur right pe paas wala pair bhi empty mein collapse ho jaata hai, sirf mystery tile reh jaata hai empty tile ke saath — jo phir bhi mystery tile hai. Wapas padho: empty equals mystery tile. Ho gaya: zero se scale karna hamesha empty tile deta hai. Phir $(-1)v=-v$ almost free mein milta hai, kyunki $v$ plus $(-1)v$ merge ho jaata hai (distribute se) $1+(-1)=0$ se scale karna ban ke, jo maine abhi prove kiya empty hai — toh $(-1)v$ exactly woh cheez hai jo $v$ ko undo karta hai, yaani $-v$. Koi arrows nahi, koi coordinates nahi — functions, matrices, sab ke liye kaam karta hai jo yeh rules follow karte hain.

Recall Quick self-check

Kaunsa axiom hame $w=w+w$ se $0=w$ tak le jaata hai? ::: A4 (additive inverse), dono sides pe snap karke, plus A2 (regroup) aur A3 (zero tile) finish karne ke liye. $w=w+w$ solve karne ke liye hum "2 se divide" kyun nahi kar sakte? ::: Vectors ko divide karna vector-space operation nahi hai; sirf add/scale/undo guaranteed hain. $(-1)v=-v$ ke proof mein pehle ka kaunsa result reuse hota hai? ::: Step 6 se $0\cdot v=0$. Kaunse do objects ko Step 6 secretly connect karta hai? ::: Scalar $0$ (ek number) aur vector $0$ ($V$ mein ek tile).

---

Connections

• Abstract vector spaces — axioms, examples beyond ℝⁿ (parent)
• Fields and scalars
• Subspaces and the subspace test
• Linear independence, basis and dimension
• Linear maps and matrix representations
• Inner product spaces
• Function spaces and Fourier series

Proof Flow