लेवी-सिविटा कनेक्शन

रीमैनियन कई गुना या [[छद्म-रीमैनियन मैनिफोल्ड]] (विशेष रूप से सामान्य सापेक्षता की लोरेंट्ज़ियन मैनिफोल्ड) में, लेवी-सिविटा संबंधमैनिफोल्ड (अर्थात एफ़िन कनेक्शन) के स्पर्शरेखा बंडल पर अद्वितीय एफ़िन संबंधहै जो मीट्रिक संबंध (छद्म-रीमैनियन मैनिफोल्ड) छद्म)रीमैनियन मीट्रिक और मरोड़ (विभेदक ज्यामिति) मुक्त है।

रीमैनियन ज्यामिति के मौलिक प्रमेय में कहा गया है कि एक अनूठा संबंध है जो इन गुणों को संतुष्ट करता है।

रीमैनियन मैनिफोल्ड और छद्म-रीमैनियन मैनिफोल्ड्स के सिद्धांत में सहसंयोजक व्युत्पन्न शब्द का प्रयोग अधिकांशतः लेवी-सिविटा संबंधके लिए किया जाता है। स्थानीय निर्देशांक की प्रणाली के संबंध में इस संबंधके घटकों (संरचना गुणांक) को क्रिस्टोफ़ेल चिह्न कहा जाता है।

इतिहास

लेवी-सिविटा संबंधका नाम टुल्लियो लेवी-सिविटा के नाम पर रखा गया है, चूंकि मूल रूप से इसकी खोज एल्विन ब्रूनो क्रिस्टोफर ने की थी। लेवी-सिविटा, ग्रेगोरियो रिक्की-कर्बस्ट्रो के साथ, क्रिस्टोफ़ेल चिह्न का उपयोग किया, समानांतर परिवहन की धारणा को परिभाषित करने और रीमैन वक्रता टेंसर के साथ समानांतर परिवहन के संबंध का पता लगाना, इस प्रकार होलोनोमी की आधुनिक धारणा विकसित करना है |

1869 में, क्रिस्टोफ़ेल ने पाया कि एक सदिश क्षेत्र के आंतरिक व्युत्पन्न के घटक, समन्वय प्रणाली को बदलने पर, एक कॉन्ट्रावेरिएंट सदिश के घटकों के रूप में बदल जाते हैं। यह खोज टेंसर विश्लेषण की वास्तविक शुरुआत थी।

1906 में, एल. ई. जे. ब्रौवर पहले गणितज्ञ थे जिन्होंने यूक्लिडियन सदिश के स्थितियाँ के लिए समानांतर परिवहन पर विचार किया जाता है |

निरंतर वक्रता का एक स्थान पर विचार किया था।

1917 में, लेवी-सिविटा ने यूक्लिडियन अंतरिक्ष में डूबे हुए हाइपरसर्फेस के स्थितियाँ में, अर्थात, एक बड़े परिवेश स्थान में एम्बेडेड रीमैनियन मैनिफोल्ड के स्थितियाँ में इसके महत्व को बताया, उन्होंने एम्बेडेड सतह के स्थितियाँ में आंतरिक व्युत्पन्न की व्याख्या परिवेशीय एफ़िन स्पेस में सामान्य व्युत्पन्न के स्पर्शरेखा घटक के रूप में की, एक वक्र के साथ एक सदिश के आंतरिक व्युत्पन्न और समानांतर विस्थापन की लेवी-सिविटा धारणाएं एक अमूर्त रीमैनियन मैनिफोल्ड पर समझ में आती हैं, यदि मूल प्रेरणा एक विशिष्ट एम्बेडिंग पर निर्भर थी $M^{n}\subset \mathbf {R} ^{n(n+1)/2}.$

1918 में, लेवी-सिविटा से स्वतंत्र रूप से, जान अर्नोल्ड स्काउटन ने समान परिणाम प्राप्त किए, उसी वर्ष, हरमन वेइल ने लेवी-सिविटा के परिणामों को सामान्यीकृत किया जाता है।

नोटेशन

• (M, g) एक रीमैनियन मैनिफोल्ड या छद्म-रिमैनियन मैनिफोल्ड को दर्शाता है।
• TM का स्पर्शरेखा बंडल है M.
• g रीमैनियन मीट्रिक या छद्म-रीमैनियन मीट्रिक है M.
• X, Y, Z चिकनी सदिश फ़ील्ड पर हैं M, मैं। इ। का चिकना खंड (फाइबर बंडल)। TM.
• [X, Y] के सदिश क्षेत्रों का झूठ ब्रैकेट है X और Y. यह फिर से एक सहज सदिश क्षेत्र है।

मीट्रिक g अधिकतम दो वैक्टर या सदिश फ़ील्ड ले सकता है X, Yतर्क के रूप में, पहले स्थितियाँ में आउटपुट एक संख्या है, (छद्म) आंतरिक उत्पाद X और Y. पश्चात वाले स्थितियाँ में, का आंतरिक उत्पाद X_p, Y_p सभी बिंदुओं पर लिया जाता है पी मैनिफोल्ड पर जिससे की g(X, Y) एक सुचारू कार्य को परिभाषित करता है एम. सदिश फ़ील्ड सुचारु कार्य पर अंतर ऑपरेटर के रूप में कार्य करते हैं (परिभाषा के अनुसार)। स्थानीय निर्देशांक में $(x_{1},\ldots ,x_{n})$, क्रिया पढ़ती है |

$X(f)=X^{i}{\frac {\partial }{\partial x^{i}}}f=X^{i}\partial _{i}f$

जहां अल्बर्ट आइंस्टीन|आइंस्टीन के आइंस्टीन सारांश सम्मेलन का उपयोग किया जाता है।

औपचारिक परिभाषा

एक एफ़िन संबंध∇ को लेवी-सिविटा संबंधकहा जाता है यदि

1. यह मीट्रिक को सुरक्षित रखता है, अर्थात, ∇g = 0.
2. यह कनेक्शन-मुक्त का मरोड़ है, अर्थात, किसी भी सदिश फ़ील्ड के लिए X और Y अपने पास ∇_XY − ∇_YX = [X, Y], कहाँ [X, Y] सदिश क्षेत्रों के सदिश क्षेत्रों का झूठ ब्रैकेट है X और Y.

उपरोक्त स्थिति 1 को कभी-कभी मीट्रिक के साथ संगतता के रूप में जाना जाता है, और स्थिति 2 को कभी-कभी समरूपता कहा जाता है, सीएफ। कार्मो का पाठ किया जाता है |

(छद्म) रीमैनियन ज्यामिति का मौलिक प्रमेय

Main article: Fundamental theorem of Riemannian geometry

प्रमेय प्रत्येक छद्म रीमैनियन मैनिफोल्ड $(M,g)$ एक अनोखा लेवी सिविटा संबंधहै $\nabla$.

प्रमाण:

यदि लेवी-सिविटा संबंधउपलब्ध है, तो यह अद्वितीय होना चाहिए। टेन्सर्स पर संबंधकी क्रिया की परिभाषा को सुलझाया जाता है |

$X{\bigl (}g(Y,Z){\bigr )}=(\nabla _{X}g)(Y,Z)+g(\nabla _{X}Y,Z)+g(Y,\nabla _{X}Z).$

इसलिए हम शर्त 1 को इस प्रकार लिख सकते हैं |

$X{\bigl (}g(Y,Z){\bigr )}=g(\nabla _{X}Y,Z)+g(Y,\nabla _{X}Z).$ मीट्रिक टेंसर की समरूपता द्वारा $g$ फिर मिल जाता है :

$X{\bigl (}g(Y,Z){\bigr )}+Y{\bigl (}g(Z,X){\bigr )}-Z{\bigl (}g(Y,X){\bigr )}=g(\nabla _{X}Y+\nabla _{Y}X,Z)+g(\nabla _{X}Z-\nabla _{Z}X,Y)+g(\nabla _{Y}Z-\nabla _{Z}Y,X).$

शर्त 2 के अनुसार, दाहिना हाथ इसलिए समतुल्य है

$2g(\nabla _{X}Y,Z)-g([X,Y],Z)+g([X,Z],Y)+g([Y,Z],X),$

और हमें जीन-लुई कोस्ज़ुल सूत्र मिलता है

$g(\nabla _{X}Y,Z)={\tfrac {1}{2}}{\Big \{}X{\bigl (}g(Y,Z){\bigr )}+Y{\bigl (}g(Z,X){\bigr )}-Z{\bigl (}g(X,Y){\bigr )}+g([X,Y],Z)-g([Y,Z],X)-g([X,Z],Y){\Big \}}.$

इसलिए, यदि लेवी-सिविटा संबंधउपलब्ध है, तो यह अद्वितीय होना चाहिए, क्योंकि $Z$ माना है, $g$ गैर पतित है, और दाहिने हाथ पर निर्भर नहीं है $\nabla$.

अस्तित्व को सिद्ध करने के लिए, दिए गए सदिश क्षेत्र के लिए ध्यान दें $X$ और $Y$, कोस्ज़ुल अभिव्यक्ति का दाहिना हाथ सदिश क्षेत्र में फ़ंक्शन-रैखिक है $Z$, सिर्फ वास्तविक रैखिक नहीं। अत: के गैर अध:पतन द्वारा $g$, दाहिना हाथ विशिष्ट रूप से कुछ नए सदिश फ़ील्ड को परिभाषित करता है जिसे हम सुझावात्मक रूप से दर्शाते हैं $\nabla _{X}Y$ जैसे बायीं ओर. कोसज़ुल सूत्र को प्रतिस्थापित करके, अब सभी सदिश फ़ील्ड के लिए इसकी जाँच की जाती है $X,Y,Z$, और सभी कार्य $f$

$g(\nabla _{X}(Y_{1}+Y_{2}),Z)=g(\nabla _{X}Y_{1},Z)+g(\nabla _{X}Y_{2},Z)$

$g(\nabla _{X}(fY),Z)=X(f)g(Y,Z)+fg(\nabla _{X}Y,Z)$

$g(\nabla _{X}Y,Z)+g(\nabla _{X}Z,Y)=X{\bigl (}g(Y,Z){\bigr )}$

$g(\nabla _{X}Y,Z)-g(\nabla _{Y}X,Z)=g([X,Y],Z).$

इसलिए कोसज़ुल अभिव्यक्ति, वास्तव में, एक संबंधको परिभाषित करती है, और यह संबंधमीट्रिक के साथ संगत है और मरोड़ मुक्त है, अर्थात एक (इसलिए) लेवी-सिविटा संबंधहै।

ध्यान दें कि कॉमन बदलावों के साथ एक ही प्रमाण दिखाता है कि एक अद्वितीय संबंधहै जो मीट्रिक के साथ संगत है और इसमें मरोड़ निर्धारित है।

क्रिस्टोफर प्रतीक

कृपया ध्यान $\nabla$ स्पर्शरेखा बंडल पर एक एफ़िन संबंधबनें, स्थानीय निर्देशांक चुनें $x^{1},\ldots ,x^{n}$ समन्वय आधार सदिश फ़ील्ड के साथ $\partial _{1},\ldots ,\partial _{n}$ और लिखा $\nabla _{j}$ के लिए $\nabla _{\partial _{j}}$. क्रिस्टोफ़ेल चिह्न$\Gamma _{jk}^{l}$ का $\nabla$ इन निर्देशांकों के संबंध में परिभाषित किया गया है |

$\nabla _{j}\partial _{k}=\Gamma _{jk}^{l}\partial _{l}$

क्रिस्टोफ़ेल चिह्न इसके विपरीत संबंध को परिभाषित करते हैं $\nabla$ समन्वित निकटतम पर क्योंकि

${\begin{aligned}\nabla _{X}Y&=\nabla _{X^{j}\partial _{j}}(Y^{k}\partial _{k})\\&=X^{j}\nabla _{j}(Y^{k}\partial _{k})\\&=X^{j}{\bigl (}\partial _{j}(Y^{k})\partial _{k}+Y^{k}\nabla _{j}\partial _{k}{\bigr )}\\&=X^{j}{\bigl (}\partial _{j}(Y^{k})\partial _{k}+Y^{k}\Gamma _{jk}^{l}\partial _{l}{\bigr )}\\&=X^{j}{\bigl (}\partial _{j}(Y^{l})+Y^{k}\Gamma _{jk}^{l}{\bigr )}\partial _{l}\end{aligned}}$

वह है,

$(\nabla _{j}Y)^{l}=\partial _{j}Y^{l}+\Gamma _{jk}^{l}Y^{k}$

एक एफ़िन संबंध$\nabla$ एक मीट्रिक आईएफएफ के साथ संगत है |

$\partial _{i}{\bigl (}g(\partial _{j},\partial _{k}){\bigr )}=g(\nabla _{i}\partial _{j},\partial _{k})+g(\partial _{j},\nabla _{i}\partial _{k})=g(\Gamma _{ij}^{l}\partial _{l},\partial _{k})+g(\partial _{j},\Gamma _{ik}^{l}\partial _{l})$

अर्थात, यदि और मात्र यदि

$\partial _{i}g_{jk}=\Gamma _{ij}^{l}g_{lk}+\Gamma _{ik}^{l}g_{jl}.$

एक एफ़िन संबंध∇ मरोड़ मुक्त है iff

$\nabla _{j}\partial _{k}-\nabla _{k}\partial _{j}=(\Gamma _{jk}^{l}-\Gamma _{kj}^{l})\partial _{l}=[\partial _{j},\partial _{k}]=0.$

अर्थात, यदि और मात्र यदि

$\Gamma _{jk}^{l}=\Gamma _{kj}^{l}$

इसके निचले दो सूचकांकों में सममित है।

जैसे कोई ले-लेकर जांच करता है $X,Y,Z$, सदिश क्षेत्रों का समन्वय करें $\partial _{j},\partial _{k},\partial _{l}$ (या सीधे गणना करता है), मीट्रिक के संदर्भ में , ऊपर प्राप्त लेवी-सिविटा संबंधकी कोसज़ुल अभिव्यक्ति क्रिस्टोफ़ेल चिह्न की परिभाषा के समतुल्य है |

$\Gamma _{jk}^{l}={\tfrac {1}{2}}g^{lr}\left(\partial _{k}g_{rj}+\partial _{j}g_{rk}-\partial _{r}g_{jk}\right)$

जहां निरंतर की प्रकार $g^{ij}$ दोहरे मीट्रिक टेंसर के गुणांक हैं, अर्थात मैट्रिक्स के व्युत्क्रम की प्रविष्टियाँ $g_{kl}$.

वक्र के अनुदिश व्युत्पन्न

लेवी-सिविटा संबंध(किसी भी एफ़िन संबंधकी प्रकार) भी वक्रों के साथ व्युत्पन्न को परिभाषित करता है, जिसे कभी-कभी D द्वारा दर्शाया जाता है |

एक सहज वक्र दिया गया है γ पर (M, g) और एक सदिश फ़ील्ड V साथ में γ इसके व्युत्पन्न को परिभाषित किया गया है |

$D_{t}V=\nabla _{{\dot {\gamma }}(t)}V.$

औपचारिक रूप से, D पुलबैक (विभेदक ज्यामिति) है γ*∇ पुलबैक बंडल पर γ*TM.

विशेष रूप से, ${\dot {\gamma }}(t)$ वक्र के अनुदिश एक सदिश क्षेत्र है γ अपने आप। यदि $\nabla _{{\dot {\gamma }}(t)}{\dot {\gamma }}(t)$ लुप्त हो जाता है, वक्र को सहसंयोजक व्युत्पन्न का जियोडेसिक कहा जाता है। औपचारिक रूप से, स्थिति को लागू किए गए पुलबैक संबंधके गायब होने के रूप में दोहराया जा सकता है ${\dot {\gamma }}$:

$\left(\gamma ^{*}\nabla \right){\dot {\gamma }}\equiv 0.$

यदि सहसंयोजक व्युत्पन्न एक निश्चित मीट्रिक का लेवी-सिविटा संबंधहै, तो संबंधके लिए जियोडेसिक्स वास्तव में मीट्रिक टेंसर के वे जियोडेसिक्स हैं जो उनकी चाप लंबाई के आनुपातिक रूप से पैरामीट्रिज्ड होते हैं।

समानांतर परिवहन

सामान्यतः, किसी संबंधके संबंध में वक्र के साथ समानांतर परिवहन वक्र के बिंदुओं पर स्पर्शरेखा स्थानों के बीच समरूपता को परिभाषित करता है। यदि संबंधलेवी-सिविटा संबंधहै, तो ये समरूपताएं ऑर्थोगोनल समूह हैं - अर्थात, वे विभिन्न स्पर्शरेखा स्थानों पर आंतरिक उत्पादों को संरक्षित करते हैं।

नीचे दी गई छवियां ध्रुवीय समन्वय प्रणाली में व्यक्त, विमान पर दो भिन्न-भिन्न रीमैनियन मेट्रिक्स से जुड़े लेवी-सिविटा संबंधके समानांतर परिवहन को दिखाती हैं। बाईं छवि का मीट्रिक मानक यूक्लिडियन दूरी से मेल खाता है $ds^{2}=dx^{2}+dy^{2}=dr^{2}+r^{2}d\theta ^{2}$, जबकि दाईं ओर की मीट्रिक का ध्रुवीय निर्देशांक में मानक रूप है (कब)। $r=1$), और इस प्रकार सदिश को सुरक्षित रखता है ${\partial \over \partial \theta }$ वृत्त की स्पर्शरेखा. इस दूसरे मीट्रिक के मूल में एक विलक्षणता है, जैसा कि इसे कार्टेशियन निर्देशांक में व्यक्त करके देखा जा सकता है |

$dr={\frac {xdx+ydy}{\sqrt {x^{2}+y^{2}}}}$

$d\theta ={\frac {xdy-ydx}{x^{2}+y^{2}}}$

$dr^{2}+d\theta ^{2}={\frac {(xdx+ydy)^{2}}{x^{2}+y^{2}}}+{\frac {(xdy-ydx)^{2}}{(x^{2}+y^{2})^{2}}}$

Parallel transports under Levi-Civita connections

This transport is given by the metric $ds^{2}=dr^{2}+r^{2}d\theta ^{2}$.

This transport is given by the metric $ds^{2}=dr^{2}+d\theta ^{2}$.

उदाहरण: इकाई क्षेत्र में R³

मान लीजिए ⟨ , ⟩ सामान्य अदिश गुणनफल पर हो R³. होने देना S² इकाई क्षेत्र में हो R³. का स्पर्शरेखा स्थान S² एक बिंदु पर m को स्वाभाविक रूप से सदिश उपस्थान के साथ पहचाना जाता है R³ सभी वैक्टर ओर्थोगोनल से मिलकर बना है m. यह एक सदिश क्षेत्र का अनुसरण करता है Y पर S² को मानचित्र के रूप में देखा जा सकता है Y : S² → R³, जो संतुष्ट करता है ${\bigl \langle }Y(m),m{\bigr \rangle }=0,\qquad \forall m\in \mathbf {S} ^{2}.$ के रूप में निरूपित करें d_mY(X) मानचित्र का सहसंयोजक व्युत्पन्न Y सदिश की दिशा में X. तो हमारे पास हैं |

Lemma — The formula

$$\left(\nabla _{X}Y\right)(m)=d_{m}Y(X)+\langle X(m),Y(m)\rangle m$$

defines an affine connection on S² with vanishing torsion.

Proof

It is straightforward to prove that ∇ satisfies the Leibniz identity and is C^∞(S²) linear in the first variable. It is also a straightforward computation to show that this connection is torsion free. So all that needs to be proved here is that the formula above does indeed define a vector field. That is, we need to prove that for all m in S²

$${\bigl \langle }\left(\nabla _{X}Y\right)(m),m{\bigr \rangle }=0\qquad (1).$$

Consider the map f that sends every m in S² to ⟨Y(m), m⟩, which is always 0. The map f is constant, hence its differential vanishes. In particular

$$d_{m}f(X)={\bigl \langle }d_{m}Y(X),m{\bigr \rangle }+{\bigl \langle }Y(m),X(m){\bigr \rangle }=0.$$

The equation (1) above follows. Q.E.D.

वास्तव में, यह संबंधमेट्रिक ऑन के लिए लेवी-सिविटा संबंधहै S² विरासत में मिला R³. दरअसल, कोई यह जांच सकता है कि यह संबंधमीट्रिक को सुरक्षित रखता है।

यह भी देखें

• वेइटज़ेनबॉक कनेक्शन

संदर्भ

• Boothby, William M. (1986). An introduction to differentiable manifolds and Riemannian geometry. Academic Press. ISBN 0-12-116052-1.
• Kobayashi, Shoshichi; Nomizu, Katsumi (1963). Foundations of differential geometry. John Wiley & Sons. ISBN 0-470-49647-9. See Volume I pag. 158

बाहरी संबंध

• "Levi-Civita connection", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• MathWorld: Levi-Civita Connection
• PlanetMath: Levi-Civita Connection
• Levi-Civita connection at the Manifold Atlas