4.10.11 · D1 · Maths › Advanced Topics (Elite Level) › Christoffel symbols — intro
Jab tum tedhe coordinate lines (jaise polar) use karte ho ya kisi curved surface par rehte ho, tab jo chhote direction-arrows tum measure karne ke liye use karte ho (basis vectors) woh quietly rotate karte rehte hain jaise tum chalte ho. Christoffel symbols bas woh numbers hain jo us rotation ko record karte hain , taaki jab tum ek vector ko differentiate karo tum arrows ki twisting subtract kar sako aur sirf asli change rakh sako.
Is page pe assume kiya gaya hai ki tumne parent note ki koi bhi notation pehle nahi dekhi . Hum har symbol zero se build karenge, us order mein jisme har ek ko pichle ki zarurat ho.
Koi bhi Greek letters se pehle, neeche ki picture dekho. Ek arrow ek point par rehta hai. Use numbers se describe karne ke liye, hume us point par reference arrows chahiye — ek chhota "grid" jo batata hai "yeh taraf direction 1 hai, woh taraf direction 2 hai." Vector phir ek recipe hai: "itna direction 1, itna direction 2."
Definition Basis vector — seedhe alfaaz mein
Ek basis vector ek point par standard reference arrows mein se ek hota hai. Hum ise e i likhte hain, padho "e-sub-i ". Subscript i sirf ek label hai: i = 1 pehla reference arrow hai, i = 2 doosra, aur aise hi aage.
Picture: figure mein, magenta arrow e 1 hai (direction 1), violet arrow e 2 hai (direction 2), dono navy dot par planted hain; orange arrow ek actual vector hai, "itna magenta + itna violet" ke roop mein bana.
Kyun zarurat hai: reference arrows ke bina, "vector ke components" ki baat ka koi matlab nahi.
Flat Cartesian coordinates mein dono reference arrows e x (hamesha East ki taraf) aur e y (hamesha North ki taraf) hain. Polar Coordinates mein woh e r (origin se baahir ki taraf) aur e θ ("counterclockwise around" ki taraf) hain. Polar wale point se point par direction change karte hain — yahi poori kahani hai.
Definition Coordinate with an upper index
x i ka matlab hai "i -th coordinate ." Polar ke liye, x 1 = r aur x 2 = θ . Superscript ek label hai, power nahi — x 2 yahan doosra coordinate hai, na ki "x squared."
Picture: ek point chuno; x 1 , x 2 woh dono numbers hain (jaise "radius 3, angle 40°") jo use naam dete hain.
Kyun zarurat hai: isse ek formula saare coordinates ke baare mein baat kar sakta hai, har baar r , θ alag-alag likhe bina.
x 2 ka matlab zaroor x squared hai."
Kyun sahi lagta hai: superscripts usually powers hote hain.
Fix: is subject mein ek upper index ek name tag hai . Powers ek specific symbol par explicit exponent se likhi jaati hain, jaise r 2 . Context: x 2 = doosra coordinate; r 2 = radius squared.
Definition Partial derivative — seedhe alfaaz mein
∂ j (padho "partial with respect to x j ") poochta hai: "agar main sirf coordinate x j ko nudge karun aur baaki sab freeze karun, toh cheez kitni fast change hoti hai?" Yeh ek coordinate direction mein change ki rate hai.
Picture: surface par khade hoke, purely coordinate line j ke along ek chhota step lo; ∂ j ( kuch bhi ) woh hai kitna "kuch bhi" change hua per unit step.
Kyun zarurat hai: Christoffel symbols measure karte hain reference arrows kaise change hote hain jab tum step lete ho — aur "change per step" exactly ek derivative hai.
Kisi bhi labelled quantity Q par apply karo, symbol ∂ j Q sirf matlab hai "direction x j ke along step karne par Q ki change rate." Hum ise metric g ij par apply karenge jab woh Section 4 mein define ho jaaye.
a ⋅ b do arrows se bana ek number hai: unki lengths aur kitne aligned hain isko multiply karo. Agar woh ek hi taraf point kar rahe hain toh yeh bada aur positive hoga; perpendicular hone par 0 milta hai; opposite hone par negative.
Picture: figure mein, orange arrow violet arrow a ka shadow hai jo seedha magenta arrow b par giraya gaya hai; dot product b ki length multiplied by us shadow ki length hai.
Kyun zarurat hai: yahi woh ek tool hai jo arrows ko measurable numbers (lengths aur angles) mein badhalta hai, aur metric isi se poori tarah define hoti hai.
Ek special case: a ⋅ a arrow ki length squared hai. Isliye dot product woh machine hai jo distance measure karta hai.
Definition Metric tensor — seedhe alfaaz mein
g ij = e i ⋅ e j reference arrows ke dot products ki ek table hai. Entry g ij batata hai arrow i kitna lamba hai (jab i = j ) aur arrow j ke relative woh kitna jhuka hua hai (jab i = j ).
Picture: har point se attached numbers ki ek chhoti 2×2 grid.
Kyun zarurat hai: yeh woh ek object hai jo hume hamesha pata hota hai , aur poora Christoffel formula isi se bana hai. Dekho Metric Tensor .
Aao polar metric ko seedha yahan compute karein , arrows se, taaki kuch bhi borrow na karna pade. Reference arrow e r ki length 1 hai, isliye e r ⋅ e r = 1 . Angle mein ek radian ki nudge tumhe real distance r move karti hai (arc length = radius × angle), isliye arrow e θ ki length r hai, jo deta hai e θ ⋅ e θ = r 2 . Dono arrows perpendicular hain, isliye unka dot product 0 hai. Isliye
g r r = 1 , g θ θ = r 2 , g r θ = g θ r = 0.
g θ θ = r 2 aur 1 nahi
Angle mein "ek radian" ka step real distance r cover karta hai. Distance-squared r 2 hai. Metric real distances store karta hai, raw coordinate steps nahi — yahi uska poora kaam hai.
Ab jab g ij exist karta hai, Section 2 ka object ∂ r g θ θ = ∂ r ( r 2 ) = 2 r ek concrete meaning rakhta hai: "jab tum baahir move karte ho toh angular arrow ka length-squared kitna badhta hai."
Definition Inverse metric
g k m (upper indices) table g ij ka matrix inverse hai. Table ko uske inverse se multiply karne par identity milti hai, isliye yeh metric ko "undo" karta hai.
Picture: agar g stretch karta hai, toh g − 1 utna hi unstretch karta hai.
Kyun zarurat hai: raw Christoffel formula ek lower-index object produce karta hai; g k m woh tool hai jo ek index ko upper slot mein raise karta hai. Ek diagonal metric ke liye yeh sirf reciprocals hain: g r r = 1/1 = 1 , g θ θ = 1/ r 2 .
Intuition Upper vs lower ka matlab kya hai
Ek lower index (jaise e i mein i ya g ij mein) aur ek upper index (jaise x i mein i ya V k mein) ek hi slot ke do flavours hain. Metric g ij ek upper ko lower ke liye trade karta hai ("lowering"); inverse g k m ek lower ko upper ke liye trade karta hai ("raising"). Yahi Tensor Transformation Laws ke peeche ki mechanics hai.
Definition Summation convention — seedhe alfaaz mein
Jab ek hi letter ek baar upar aur ek baar neeche ek term mein aata hai, tum automatically uski saari values par add karte ho — koi ∑ symbol nahi likhte. Aisa repeated letter ek dummy index hota hai.
Picture: Γ ij k e k secretly matlab hai Γ ij 1 e 1 + Γ ij 2 e 2 + …
Kyun zarurat hai: derivations har jagah sum signs ke saath unreadable ho jaate. 2 1 g k m ( … ) mein m upar hai (in g k m ) aur neeche hai (bracket ke andar), isliye ise sum kiya jata hai.
Common mistake Bhool jaana ki ek letter sum kiya ja raha hai.
Kyun sahi lagta hai: yeh ek single term jaisa dikhta hai.
Fix: ek letter dhundho jo ek baar upar, ek baar neeche aata ho — woh letter add kiya ja raha hai. Free indices (sirf ek baar aane wale) sum nahi hote aur equation ke dono taraf match karne chahiye.
Yahi woh object hai jis ke baare mein sab kuch actually hai. Cartesian coordinates mein e x , e y kabhi nahi hilte, isliye ∂ j e i = 0 . Polar coordinates mein woh rotate karte hain, isliye ∂ j e i = 0 . Figure mein twist dikhaya gaya hai.
Definition Christoffel symbol as a decomposition
Changed-arrow ∂ j e i khud ek arrow hai, isliye hum ise reference arrows ke terms mein wapas likh sakte hain:
∂ j e i = Γ ij k e k .
Γ ij k (padho "Gamma upper-k lower-i -j ") ka matlab hai "arrow k ka kitna hissa tab aata hai jab main arrow i ko direction j ke along step karta hun."
Picture: figure mein, ek circle par chaar sample points hain; har ek par, magenta arrow e r aur violet arrow e θ alag-alag directions mein point karte hain — same naam, rotated arrows. Christoffel symbol har rotated arrow ko "itna outward + itna sideways" mein resolve karta hai.
Kyun zarurat hai: yeh geometric fact "arrows twist karte hain" ko plain numbers mein convert karta hai jo hum compute aur use kar sakein.
Γ ij k = Γ j i k — aur uski caveat
Jab basis arrows ek coordinate grid se aate hain — matlab e i = ∂ i r , woh arrow jo position r ka coordinate i nudge karne se milta hai — tab do baar differentiate karna kisi bhi order mein ho sakta hai: ∂ j ∂ i r = ∂ i ∂ j r (smooth cheezoh ke liye mixed partials commute karte hain). Kyunki ∂ j e i = ∂ j ∂ i r , yeh deta hai ∂ j e i = ∂ i e j , isliye Γ ij k = Γ j i k .
Caveat: yeh sirf aisi coordinate (torsion-free) basis ke liye hold karta hai. Agar tum ek aisi basis invent karo jo coordinate grid se derived nahi hai, toh dono derivatives necessarily agree nahi karenge aur symmetry fail ho sakti hai. Is poore topic mein hum hamesha coordinate bases use karte hain, isliye symmetry safe hai.
Ab hamare paas central formula state karne ke liye — aur yeh samajhne ke liye kyun — har symbol maujood hai. Poore topic ka point yeh hai ki Γ ko arrows jaane bina compute kiya ja sakta hai, sirf metric table g ij aur uske derivatives use karke.
Kyun yeh possible bhi hai. g ij = e i ⋅ e j se shuru karo aur product rule se differentiate karo:
∂ k g ij = ( ∂ k e i ) ⋅ e j + e i ⋅ ( ∂ k e j ) .
Har ∂ e ek Christoffel combination hai, isliye metric ke derivatives mein Γ 's jitni hi information hoti hai. Ise teen cyclic versions mein likhkar (i , j , k rotate karke), phir do add aur teesra subtract karke, Section 8 ki symmetry use karke unwanted pieces cancel ho jaate hain aur ek Γ isolate ho jaata hai. Bacha hua index g k m se raise karne par milta hai:
Worked example Polar mein sanity-check (sab yahan built)
g θ θ = r 2 aur g r r = 1 ke saath: k = r , i = j = θ set karo. Sirf − ∂ r g θ θ = − 2 r bachta hai, isliye
Γ θ θ r = 2 1 ⋅ 1 ⋅ ( − 2 r ) = − r .
Aur g θ θ = 1/ r 2 ke saath, k = θ , i = r , j = θ set karne par sirf ∂ r g θ θ = 2 r bachta hai:
Γ r θ θ = 2 1 ⋅ r 2 1 ⋅ 2 r = r 1 .
V k aur ∇ j
V k ek vector ke components hain — "arrow k ka itna hissa" wale numbers. ∇ j (padho "nabla-sub-j ") direction j ke along vector ki asli change rate hai, arrow-twist ke liye correct karte hue:
∇ j V k = ∂ j V k + Γ ij k V i .
Picture: ∂ j V k = "numbers kaise change hote hain"; Γ term = "arrows khud kitne twist hue"; dono add karo honest change paane ke liye. Detail mein Covariant Derivative mein hai.
Kyun zarurat hai: yahi toh payoff hai — woh reason jiske liye Christoffel symbols exist karte hain.
Metric g_ij = e_i dot e_j
Upar se neeche padho: reference arrows aur dot product milke metric dete hain; changing arrows ka derivative aur inverse metric aur summation milke Christoffel symbol dete hain; woh covariant derivative ko feed karta hai — aur baad mein Geodesic Equation aur Riemann Curvature Tensor ko.
e i ka matlab kya hai?Ek point par i -th reference (basis) arrow.
Kya x 2 mein 2 ek power hai? Nahi — yeh doosre coordinate ka label hai.
∂ j kaun sa sawaal poochta hai?Koi cheez kitni fast change hoti hai agar main sirf coordinate x j ko nudge karun.
a ⋅ a kya hai?a ki length squared.
g ij ko alfaaz mein define karo.Reference arrows ka dot product: e i ⋅ e j .
Polar mein g θ θ = r 2 kyun hai? Angle mein ek radian ka step real distance r cover karta hai, isliye distance-squared r 2 hai.
g k m ek index ke saath kya karta hai?Ek lower index ko upper mein raise karta hai (yeh inverse metric hai).
Ek repeated index kab sum hota hai? Jab same letter ek baar upper aur ek baar lower aata hai.
Cartesian mein ∂ j e i kya hai? Zero — arrows kabhi nahi hilte.
Γ ij k kya measure karta hai?Arrow i ko direction j ke along step karne par arrow k ka kitna hissa aata hai.
Γ ij k mein i , j symmetric kyun hain, aur kab?Kyunki ∂ j e i = ∂ i e j ek coordinate (torsion-free) basis ke liye, jahan mixed partials commute karte hain.
Γ ij k ka metric formula batao.2 1 g k m ( ∂ i g mj + ∂ j g mi − ∂ m g ij ) .
∇ j V k ke dono terms kya hain?∂ j V k (component change) + Γ ij k V i (basis twist).