4.10.8 · HinglishAdvanced Topics (Elite Level)

Covariant and contravariant components

1,588 words7 min readRead in English

4.10.8 · Maths › Advanced Topics (Elite Level)


WHY do we even need two kinds of components?

WHAT hai problem? Ek vector ek real geometric arrow hai — use coordinates ki koi parwah nahi. Lekin use describe karne wale numbers sirf ek chosen basis ke relative mein exist karte hain. Agar basis vectors orthonormal nahi hain (alag lengths, par nahi), to "kitna , mein hai" — isme genuinely ambiguity hai.

WHY ambiguity? Do reasonable rules hain:

  1. Parallelogram rule — axes ke saath slide karo tip tak pahunchne ke liye. Ye coefficients contravariant components hain, upper index ke saath likhe jaate hain:
  2. Orthogonal-projection rule — har axis par perpendicular daalo aur dot product lo. Ye covariant components (lower index) dete hain:

Covariant components ki definition se shuru karo aur contravariant expansion plug in karo. Ye step kyun? Kyunki covariant components define hote hain ke saath dot karke, aur hum pehle se jaante hain ko 's ke sum ke roop mein — to substitute karo.

Quantity naturally appear hoti hai. Ise naam do:

WHY hai identity jab orthonormal ho? Tab , to . Poora distinction collapse ho jaata hai. Ye tumhara sanity check hai.

The dual (reciprocal) basis — "covariant" ke peeche ki deep wajah

WHICH object covariant components ko multiply karta hai? Ek doosra basis hai, dual basis, jo define hota hai: yaani perpendicular hai ke, aur scale kiya hua hai taaki . Tab wahi vector ke do clean expansions hote hain: To covariant components simply contravariant components hain dual basis ke respect mein. Sundar symmetry hai.

Figure — Covariant and contravariant components

WHY the names "co-" and "contra-"? (transformation law)

Basis change karo .

Basis vectors ke saath transform karte hain. ko wahi arrow rehne ke liye, uske contravariant components inverse ke saath transform hone chahiye — ye basis change ke against (contra) jaate hain. Jabki covariant components basis ke saath (co) transform karte hain, jaise basis vectors karte hain. Yahi tensor calculus ka poora naam-karan hai.


Worked examples


Common mistakes (steel-manned)


Recall Feynman: 12-saal ke bacche ko samjhao

Socho tum ek vector ko normal square paper ki jagah stretchy, slanted graph paper par draw kar rahe ho. Apne arrow ko describe karne ke liye tum ya to keh sakte ho "slanted lines ke saath itna door chalo" (contravariant) ya "arrow ka shadow seedha har line par kitna padta hai" (covariant). Normal square paper par dono answers same hain. Slanted paper par alag hain — to hum numbers ke do sets rakhte hain, aur ek chhoti si table jise metric kehte hain jo unke beech translate karti hai.


Flashcards

Contravariant components define hote hain
parallel (parallelogram) expansion ke coefficients ke roop mein; index upar.
Covariant components define hote hain
orthogonal projections ke roop mein; index neeche.
Metric tensor define hota hai
ke roop mein — ye basis ke saare lengths aur angles encode karta hai.
Index lower karne ka formula
.
Index raise karne ka formula
, jahan inverse metric hai.
Covariant aur contravariant components kab coincide karte hain?
Jab basis orthonormal ho, kyunki tab .
Dual basis satisfy karta hai
; covariant components is basis mein coefficients hain.
ka invariant squared length
(up ko down ke saath pair karna zaroori hai).
Basis change matrix ke under, contravariant components transform karte hain
ke saath (basis ke against — "contra").
Gradient naturally covariant kyun hota hai?
mein lower index hota hai; raise karne ke liye chahiye.

Connections

  • Metric tensor
  • Dual (reciprocal) basis
  • Tensors and index notation
  • Change of basis and transformation laws
  • Inner product spaces
  • Curvilinear coordinates (polar, spherical)
  • General relativity — raising and lowering indices

Concept Map

needs numbers via

parallel projection

perpendicular projection

v = v^i e_i

v_i = v dot e_i

g_ij = e_i dot e_j

lowers index v_i = g_ij v^j

raises index v^i = g^ij v_j

inverse of

e^i dot e_j = delta

makes g_ij = identity

forces v_i = v^i

Vector v geometric arrow

Basis e_i skewed non-orthonormal

Contravariant v^i upper index

Covariant v_i lower index

Metric tensor g_ij

Inverse metric g^ij

Dual basis e^i

Orthonormal basis