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

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

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

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

इतिहास

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

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) एक सुचारू कार्य को परिभाषित करता है M सदिश क्षेत्र सुचारु कार्य पर अंतर ऑपरेटर के रूप में कार्य करते हैं परिभाषा के अनुसार, स्थानीय निर्देशांक में $(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