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

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

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

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

इतिहास

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

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