लेवी-सिविटा कनेक्शन: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Use American English|date = March 2019}} | {{Use American English|date = March 2019}} | ||
{{Short description|Affine connection on the tangent bundle of a manifold}} | {{Short description|Affine connection on the tangent bundle of a manifold}} | ||
रीमैनियन [[ कई गुना |कई गुना]] या | रीमैनियन [[ कई गुना |कई गुना]] या [छद्म-[[रीमैनियन मैनिफोल्ड]]] (विशेष रूप से [[सामान्य सापेक्षता]] की [[लोरेंट्ज़ियन मैनिफोल्ड]]) में, लेवी-सिविटा संबंधमैनिफोल्ड (अर्थात [[एफ़िन कनेक्शन]]) के [[स्पर्शरेखा बंडल]] पर अद्वितीय एफ़िन संबंध है जो [[मीट्रिक कनेक्शन|मीट्रिक]] संबंध (छद्म-रीमैनियन मैनिफोल्ड) [[रीमैनियन मीट्रिक]] और [[मरोड़ (विभेदक ज्यामिति)]] मुक्त है। | ||
रीमैनियन ज्यामिति के मौलिक प्रमेय में कहा गया है कि एक अनूठा संबंध है जो इन गुणों को संतुष्ट करता है। | रीमैनियन ज्यामिति के मौलिक प्रमेय में कहा गया है कि एक अनूठा संबंध है जो इन गुणों को संतुष्ट करता है। | ||
Line 10: | Line 10: | ||
लेवी-सिविटा संबंधका नाम [[टुल्लियो लेवी-सिविटा]] के नाम पर रखा गया है, चूंकि मूल रूप से इसकी खोज [[एल्विन ब्रूनो क्रिस्टोफर]] ने की थी। लेवी-सिविटा,<ref name="Levi-Civita1917"> | लेवी-सिविटा संबंधका नाम [[टुल्लियो लेवी-सिविटा]] के नाम पर रखा गया है, चूंकि मूल रूप से इसकी खोज [[एल्विन ब्रूनो क्रिस्टोफर]] ने की थी। लेवी-सिविटा,<ref name="Levi-Civita1917"> | ||
{{Cite journal|author-link=Tullio Levi-Civita|year=1917|title=Nozione di parallelismo in una varietà qualunque|trans-title=The notion of parallelism on any manifold|url=https://zenodo.org/record/1428456|journal=[[Rendiconti del Circolo Matematico di Palermo]]|language=it|volume=42|pages=173–205|doi=10.1007/BF03014898|jfm=46.1125.02|author-first=Tullio|author-last=Levi-Civita|s2cid=122088291}} | {{Cite journal|author-link=Tullio Levi-Civita|year=1917|title=Nozione di parallelismo in una varietà qualunque|trans-title=The notion of parallelism on any manifold|url=https://zenodo.org/record/1428456|journal=[[Rendiconti del Circolo Matematico di Palermo]]|language=it|volume=42|pages=173–205|doi=10.1007/BF03014898|jfm=46.1125.02|author-first=Tullio|author-last=Levi-Civita|s2cid=122088291}} | ||
</ref> [[ग्रेगोरियो रिक्की-कर्बस्ट्रो]] के साथ, क्रिस्टोफ़ेल चिह्न का उपयोग किया,<ref>{{cite journal |title=Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades|last=Christoffel|first=Elwin B.|author-link=Elwin Bruno Christoffel|journal=Journal für die reine und angewandte Mathematik|volume=1869|issue=70|pages=46–70|year=1869|url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002153882&IDDOC=266356|doi=10.1515/crll.1869.70.46|s2cid=122999847}}</ref> [[समानांतर परिवहन]] की धारणा को परिभाषित करने और [[रीमैन वक्रता टेंसर]] के साथ समानांतर परिवहन के संबंध का पता लगाना, इस प्रकार [[ होलोनोमी |होलोनोमी]] की आधुनिक धारणा विकसित करना है | <ref>See {{cite book|first=Michael|last=Spivak|author-link=Michael Spivak | title=A Comprehensive introduction to differential geometry (Volume II)|publisher=Publish or Perish Press|year=1999|isbn=0-914098-71-3 |page=238 }}</ref> | </ref> [[ग्रेगोरियो रिक्की-कर्बस्ट्रो]] के साथ, क्रिस्टोफ़ेल चिह्न का उपयोग किया,<ref>{{cite journal |title=Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades|last=Christoffel|first=Elwin B.|author-link=Elwin Bruno Christoffel|journal=Journal für die reine und angewandte Mathematik|volume=1869|issue=70|pages=46–70|year=1869|url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002153882&IDDOC=266356|doi=10.1515/crll.1869.70.46|s2cid=122999847}}</ref> [[समानांतर परिवहन]] की धारणा को परिभाषित करने और [[रीमैन वक्रता टेंसर]] के साथ समानांतर परिवहन के संबंध का पता लगाना, इस प्रकार [[ होलोनोमी |होलोनोमी]] की आधुनिक धारणा विकसित करना है |<ref>See {{cite book|first=Michael|last=Spivak|author-link=Michael Spivak | title=A Comprehensive introduction to differential geometry (Volume II)|publisher=Publish or Perish Press|year=1999|isbn=0-914098-71-3 |page=238 }}</ref> | ||
1869 में, क्रिस्टोफ़ेल ने पाया कि एक सदिश क्षेत्र के आंतरिक व्युत्पन्न के घटक, समन्वय प्रणाली को बदलने पर, एक कॉन्ट्रावेरिएंट सदिश के घटकों के रूप में बदल जाते हैं। यह खोज टेंसर विश्लेषण की वास्तविक शुरुआत थी। | 1869 में, क्रिस्टोफ़ेल ने पाया कि एक सदिश क्षेत्र के आंतरिक व्युत्पन्न के घटक, समन्वय प्रणाली को बदलने पर, एक कॉन्ट्रावेरिएंट सदिश के घटकों के रूप में बदल जाते हैं। यह खोज टेंसर विश्लेषण की वास्तविक शुरुआत थी। | ||
Line 22: | Line 22: | ||
</ref> | </ref> | ||
1917 में, [[ लेवी के Civita |लेवी-सिविटा]] ने यूक्लिडियन अंतरिक्ष में डूबे हुए [[ऊनविम पृष्ठ|हाइपरसर्फेस]] के स्थितियाँ में, अर्थात, एक बड़े परिवेश स्थान में एम्बेडेड रीमैनियन मैनिफोल्ड के स्थितियाँ में इसके महत्व को बताया, <ref name="Levi-Civita1917" />उन्होंने एम्बेडेड सतह के स्थितियाँ में [[आंतरिक व्युत्पन्न]] की व्याख्या परिवेशीय एफ़िन स्पेस में सामान्य व्युत्पन्न के स्पर्शरेखा घटक के रूप में की, एक वक्र के साथ एक सदिश के आंतरिक व्युत्पन्न और समानांतर विस्थापन की लेवी-सिविटा धारणाएं एक अमूर्त रीमैनियन मैनिफोल्ड पर समझ में आती हैं, यदि मूल प्रेरणा एक विशिष्ट एम्बेडिंग पर निर्भर थी <math>M^n \subset \mathbf{R}^{n(n+1)/2}.</math> | 1917 में, [[ लेवी के Civita |लेवी-सिविटा]] ने यूक्लिडियन अंतरिक्ष में डूबे हुए [[ऊनविम पृष्ठ|हाइपरसर्फेस]] के स्थितियाँ में, अर्थात, एक बड़े परिवेश स्थान में एम्बेडेड रीमैनियन मैनिफोल्ड के स्थितियाँ में इसके महत्व को बताया,<ref name="Levi-Civita1917" /> उन्होंने एम्बेडेड सतह के स्थितियाँ में [[आंतरिक व्युत्पन्न]] की व्याख्या परिवेशीय एफ़िन स्पेस में सामान्य व्युत्पन्न के स्पर्शरेखा घटक के रूप में की, एक वक्र के साथ एक सदिश के आंतरिक व्युत्पन्न और समानांतर विस्थापन की लेवी-सिविटा धारणाएं एक अमूर्त रीमैनियन मैनिफोल्ड पर समझ में आती हैं, यदि मूल प्रेरणा एक विशिष्ट एम्बेडिंग पर निर्भर थी <math>M^n \subset \mathbf{R}^{n(n+1)/2}.</math> | ||
1918 में, लेवी-सिविटा से स्वतंत्र रूप से, [[जान अर्नोल्ड स्काउटन]] ने समान परिणाम प्राप्त किए, <ref> | 1918 में, लेवी-सिविटा से स्वतंत्र रूप से, [[जान अर्नोल्ड स्काउटन]] ने समान परिणाम प्राप्त किए,<ref> | ||
{{Cite journal | {{Cite journal | ||
|author-first=Jan Arnoldus | |author-first=Jan Arnoldus | ||
Line 69: | Line 69: | ||
*{{math|[''X'', ''Y'']}} के सदिश क्षेत्रों का झूठ ब्रैकेट है {{math|''X''}} और {{math|''Y''}}. यह फिर से एक सहज सदिश क्षेत्र है। | *{{math|[''X'', ''Y'']}} के सदिश क्षेत्रों का झूठ ब्रैकेट है {{math|''X''}} और {{math|''Y''}}. यह फिर से एक सहज सदिश क्षेत्र है। | ||
मीट्रिक {{math|''g''}} अधिकतम दो वैक्टर या सदिश क्षेत्र ले सकता है {{math|''X'', ''Y''}} तर्क के रूप में, पहले स्थितियाँ में आउटपुट एक संख्या है, (छद्म) आंतरिक उत्पाद {{math|''X''}} और {{math|''Y''}}. पश्चात वाले स्थितियाँ में, का आंतरिक उत्पाद {{math|''X''<sub>''p''</sub>, ''Y''<sub>''p''</sub>}} सभी बिंदुओं पर लिया जाता है पी मैनिफोल्ड पर जिससे की {{math|''g''(''X'', ''Y'')}} एक सुचारू कार्य को परिभाषित करता है एम. सदिश क्षेत्र सुचारु कार्य पर अंतर ऑपरेटर के रूप में कार्य करते हैं (परिभाषा के अनुसार) | मीट्रिक {{math|''g''}} अधिकतम दो वैक्टर या सदिश क्षेत्र ले सकता है {{math|''X'', ''Y''}} तर्क के रूप में, पहले स्थितियाँ में आउटपुट एक संख्या है, (छद्म) आंतरिक उत्पाद {{math|''X''}} और {{math|''Y''}}. पश्चात वाले स्थितियाँ में, का आंतरिक उत्पाद {{math|''X''<sub>''p''</sub>, ''Y''<sub>''p''</sub>}} सभी बिंदुओं पर लिया जाता है पी मैनिफोल्ड पर जिससे की {{math|''g''(''X'', ''Y'')}} एक सुचारू कार्य को परिभाषित करता है एम. सदिश क्षेत्र सुचारु कार्य पर अंतर ऑपरेटर के रूप में कार्य करते हैं (परिभाषा के अनुसार), स्थानीय निर्देशांक में <math>(x_1,\ldots, x_n) </math> क्रिया पढ़ती है | | ||
:<math>X(f) = X^i\frac{\partial}{\partial x^i}f = X^i\partial_i f</math> | :<math>X(f) = X^i\frac{\partial}{\partial x^i}f = X^i\partial_i f</math> | ||
जहां अल्बर्ट | जहां अल्बर्ट आइंस्टीन के [[आइंस्टीन सारांश सम्मेलन]] का उपयोग किया जाता है। | ||
==औपचारिक परिभाषा== | ==औपचारिक परिभाषा== | ||
Line 80: | Line 80: | ||
# यह कनेक्शन-मुक्त का मरोड़ है, अर्थात, किसी भी सदिश क्षेत्र के लिए {{math|''X''}} और {{math|''Y''}} अपने पास {{math|1=∇<sub>''X''</sub>''Y'' − ∇<sub>''Y''</sub>''X'' = [''X'', ''Y'']}}, कहाँ {{math|[''X'', ''Y'']}} सदिश क्षेत्रों के सदिश क्षेत्रों का झूठ ब्रैकेट है {{math|''X''}} और {{math|''Y''}}. | # यह कनेक्शन-मुक्त का मरोड़ है, अर्थात, किसी भी सदिश क्षेत्र के लिए {{math|''X''}} और {{math|''Y''}} अपने पास {{math|1=∇<sub>''X''</sub>''Y'' − ∇<sub>''Y''</sub>''X'' = [''X'', ''Y'']}}, कहाँ {{math|[''X'', ''Y'']}} सदिश क्षेत्रों के सदिश क्षेत्रों का झूठ ब्रैकेट है {{math|''X''}} और {{math|''Y''}}. | ||
उपरोक्त स्थिति 1 को कभी-कभी मीट्रिक के साथ संगतता के रूप में जाना जाता है, और स्थिति 2 को कभी-कभी समरूपता कहा जाता है, | उपरोक्त स्थिति 1 को कभी-कभी मीट्रिक के साथ संगतता के रूप में जाना जाता है, और स्थिति 2 को कभी-कभी समरूपता कहा जाता है, सीएफ कार्मो का पाठ किया जाता है |<ref>{{Cite book |last=Carmo |first=Manfredo Perdigão do |url=https://www.worldcat.org/oclc/24667701 |title=रीमैनियन ज्यामिति|date=1992 |publisher=Birkhäuser |others=Francis J. Flaherty |isbn=0-8176-3490-8 |location=Boston |oclc=24667701}}</ref> | ||
==(छद्म) रीमैनियन ज्यामिति का मौलिक प्रमेय== | ==(छद्म) रीमैनियन ज्यामिति का मौलिक प्रमेय== | ||
{{main|Fundamental theorem of Riemannian geometry}} | {{main|Fundamental theorem of Riemannian geometry}} | ||
प्रमेय प्रत्येक छद्म रीमैनियन मैनिफोल्ड <math>(M,g)</math> एक अनोखा लेवी सिविटा | प्रमेय प्रत्येक छद्म रीमैनियन मैनिफोल्ड <math>(M,g)</math> एक अनोखा लेवी सिविटा संबंध है <math>\nabla</math>. | ||
प्रमाण: | प्रमाण: | ||
यदि लेवी-सिविटा संबंधउपलब्ध है, तो यह अद्वितीय होना | यदि लेवी-सिविटा संबंधउपलब्ध है, तो यह अद्वितीय होना चाहिए, टेन्सर्स पर संबंधकी क्रिया की परिभाषा को सुलझाया जाता है | | ||
:<math> X\bigl(g(Y,Z)\bigr) = (\nabla_X g)(Y, Z) + g(\nabla_X Y, Z) + g( Y, \nabla_X Z).</math> | :<math> X\bigl(g(Y,Z)\bigr) = (\nabla_X g)(Y, Z) + g(\nabla_X Y, Z) + g( Y, \nabla_X Z).</math> | ||
इसलिए हम शर्त 1 को इस प्रकार लिख सकते हैं | | इसलिए हम शर्त 1 को इस प्रकार लिख सकते हैं | | ||
Line 93: | Line 93: | ||
:<math> 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). </math> | :<math> 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). </math> | ||
शर्त 2 के अनुसार, दाहिना हाथ इसलिए समतुल्य है | शर्त 2 के अनुसार, दाहिना हाथ इसलिए समतुल्य है | | ||
:<math> 2g(\nabla_X Y, Z) - g([X,Y], Z) + g([X,Z], Y) + g([Y,Z], X), </math> | :<math> 2g(\nabla_X Y, Z) - g([X,Y], Z) + g([X,Z], Y) + g([Y,Z], X), </math> | ||
और हमें जीन-लुई कोस्ज़ुल सूत्र मिलता है | और हमें जीन-लुई कोस्ज़ुल सूत्र मिलता है | | ||
:<math> 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\}. </math> | :<math> 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\}. </math> | ||
इसलिए, यदि लेवी-सिविटा संबंधउपलब्ध है, तो यह अद्वितीय होना चाहिए, क्योंकि <math>Z</math> माना है, <math>g</math> गैर पतित है, और दाहिने हाथ पर निर्भर नहीं है <math>\nabla</math>. | इसलिए, यदि लेवी-सिविटा संबंधउपलब्ध है, तो यह अद्वितीय होना चाहिए, क्योंकि <math>Z</math> माना है, <math>g</math> गैर पतित है, और दाहिने हाथ पर निर्भर नहीं है <math>\nabla</math>. | ||
अस्तित्व को सिद्ध करने के लिए, दिए गए सदिश क्षेत्र के लिए ध्यान दें <math>X</math> और <math>Y</math>, कोस्ज़ुल अभिव्यक्ति का दाहिना हाथ सदिश क्षेत्र में फ़ंक्शन-रैखिक है <math>Z</math>, सिर्फ वास्तविक रैखिक | अस्तित्व को सिद्ध करने के लिए, दिए गए सदिश क्षेत्र के लिए ध्यान दें <math>X</math> और <math>Y</math>, कोस्ज़ुल अभिव्यक्ति का दाहिना हाथ सदिश क्षेत्र में फ़ंक्शन-रैखिक है <math>Z</math>, सिर्फ वास्तविक रैखिक नहीं, अत: के गैर अध:पतन द्वारा <math>g</math>, दाहिना हाथ विशिष्ट रूप से कुछ नए सदिश क्षेत्र को परिभाषित करता है जिसे हम सुझावात्मक रूप से दर्शाते हैं <math>\nabla_X Y</math> जैसे बायीं ओर. कोसज़ुल सूत्र को प्रतिस्थापित करके, अब सभी सदिश क्षेत्र के लिए इसकी जाँच की जाती है <math>X, Y,Z</math>, और सभी कार्य <math>f</math> | ||
:<math> g(\nabla_X (Y_1 + Y_2), Z) = g(\nabla_X Y_1, Z) + g(\nabla_X Y_2 , Z) </math> | :<math> g(\nabla_X (Y_1 + Y_2), Z) = g(\nabla_X Y_1, Z) + g(\nabla_X Y_2 , Z) </math> | ||
:<math> g(\nabla_X (f Y), Z) = X(f) g(Y, Z) + f g(\nabla_X Y,Z) </math> | :<math> g(\nabla_X (f Y), Z) = X(f) g(Y, Z) + f g(\nabla_X Y,Z) </math> | ||
:<math> g(\nabla_X Y, Z) + g(\nabla_X Z, Y) = X\bigl(g(Y,Z)\bigr)</math> | :<math> g(\nabla_X Y, Z) + g(\nabla_X Z, Y) = X\bigl(g(Y,Z)\bigr)</math> | ||
:<math> g(\nabla_X Y, Z) - g(\nabla_Y X, Z) = g([X,Y], Z). </math> | :<math> g(\nabla_X Y, Z) - g(\nabla_Y X, Z) = g([X,Y], Z). </math> | ||
इसलिए कोसज़ुल अभिव्यक्ति, वास्तव में, एक संबंधको परिभाषित करती है, और यह संबंधमीट्रिक के साथ संगत है और मरोड़ मुक्त है, अर्थात एक (इसलिए) लेवी-सिविटा | इसलिए कोसज़ुल अभिव्यक्ति, वास्तव में, एक संबंधको परिभाषित करती है, और यह संबंधमीट्रिक के साथ संगत है और मरोड़ मुक्त है, अर्थात एक (इसलिए) लेवी-सिविटा संबंध है। | ||
ध्यान दें कि कॉमन बदलावों के साथ एक ही प्रमाण दिखाता है कि एक अद्वितीय संबंधहै जो मीट्रिक के साथ संगत है और इसमें मरोड़ निर्धारित है। | ध्यान दें कि कॉमन बदलावों के साथ एक ही प्रमाण दिखाता है कि एक अद्वितीय संबंधहै जो मीट्रिक के साथ संगत है और इसमें मरोड़ निर्धारित है। | ||
Line 137: | Line 137: | ||
इसके निचले दो सूचकांकों में सममित है। | इसके निचले दो सूचकांकों में सममित है। | ||
जैसे कोई | जैसे कोई जांच करता है <math>X, Y, Z</math>, सदिश क्षेत्रों का समन्वय करें <math>\partial_j, \partial_k, \partial_l</math> (या सीधे गणना करता है), मीट्रिक के संदर्भ में , ऊपर प्राप्त लेवी-सिविटा संबंधकी कोसज़ुल अभिव्यक्ति क्रिस्टोफ़ेल चिह्न की परिभाषा के समतुल्य है | | ||
:<math>\Gamma^l_{jk} = \tfrac{1}{2} g^{lr} \left( \partial _k g_{rj} + \partial _j g_{rk} - \partial _r g_{jk} \right)</math> | :<math>\Gamma^l_{jk} = \tfrac{1}{2} g^{lr} \left( \partial _k g_{rj} + \partial _j g_{rk} - \partial _r g_{jk} \right)</math> | ||
Line 153: | Line 153: | ||
:<math>\left(\gamma^*\nabla\right) \dot{\gamma}\equiv 0.</math> | :<math>\left(\gamma^*\nabla\right) \dot{\gamma}\equiv 0.</math> | ||
यदि सहसंयोजक व्युत्पन्न एक निश्चित मीट्रिक का लेवी-सिविटा | यदि सहसंयोजक व्युत्पन्न एक निश्चित मीट्रिक का लेवी-सिविटा संबंध है, तो संबंध के लिए [[जियोडेसिक्स]] वास्तव में [[मीट्रिक टेंसर]] के वे जियोडेसिक्स हैं जो उनकी चाप लंबाई के आनुपातिक रूप से पैरामीट्रिज्ड होते हैं। | ||
==समानांतर परिवहन== | ==समानांतर परिवहन== | ||
सामान्यतः, किसी संबंधके संबंध में वक्र के साथ समानांतर परिवहन वक्र के बिंदुओं पर स्पर्शरेखा स्थानों के बीच समरूपता को परिभाषित करता है। यदि संबंधलेवी-सिविटा | सामान्यतः, किसी संबंधके संबंध में वक्र के साथ समानांतर परिवहन वक्र के बिंदुओं पर स्पर्शरेखा स्थानों के बीच समरूपता को परिभाषित करता है। यदि संबंधलेवी-सिविटा संबंध है, तो ये समरूपताएं [[ऑर्थोगोनल समूह]] हैं - अर्थात, वे विभिन्न स्पर्शरेखा स्थानों पर आंतरिक उत्पादों को संरक्षित करते हैं। | ||
नीचे दी गई छवियां [[ध्रुवीय समन्वय प्रणाली]] में व्यक्त, विमान पर दो भिन्न-भिन्न रीमैनियन मेट्रिक्स से जुड़े लेवी-सिविटा | नीचे दी गई छवियां [[ध्रुवीय समन्वय प्रणाली]] में व्यक्त, विमान पर दो भिन्न-भिन्न रीमैनियन मेट्रिक्स से जुड़े लेवी-सिविटा संबंध के समानांतर परिवहन को दिखाती हैं। बाईं छवि का मीट्रिक मानक [[यूक्लिडियन दूरी]] से मेल खाता है <math>ds^2 = dx^2 + dy^2 = dr^2 + r^2 d\theta^2</math>, जबकि दाईं ओर की मीट्रिक का ध्रुवीय निर्देशांक में मानक रूप है कब <math>r = 1</math>, और इस प्रकार सदिश को सुरक्षित रखता है <math>{\partial \over \partial \theta}</math> वृत्त की स्पर्शरेखा. इस दूसरे मीट्रिक के मूल में एक विलक्षणता है, जैसा कि इसे कार्टेशियन निर्देशांक में व्यक्त करके देखा जा सकता है | | ||
:<math> | :<math> | ||
dr = \frac{xdx + ydy}{\sqrt{x^2 + y^2}}</math> | dr = \frac{xdx + ydy}{\sqrt{x^2 + y^2}}</math> | ||
Line 193: | Line 193: | ||
==उदाहरण: इकाई क्षेत्र में {{math|R<sup>3</sup>}}== | ==उदाहरण: इकाई क्षेत्र में {{math|R<sup>3</sup>}}== | ||
मान लीजिए {{math|⟨ , ⟩}} सामान्य अदिश गुणनफल पर हो {{math|'''R'''<sup>3</sup>}}. होने देना {{math|'''S'''<sup>2</sup>}} [[इकाई क्षेत्र]] में हो {{math|'''R'''<sup>3</sup>}}. का स्पर्शरेखा स्थान {{math|'''S'''<sup>2</sup>}} एक बिंदु पर {{math|''m''}} को स्वाभाविक रूप से सदिश उपस्थान के साथ पहचाना जाता है {{math|'''R'''<sup>3</sup>}} सभी वैक्टर ओर्थोगोनल से मिलकर बना है {{math|''m''}}. यह एक सदिश क्षेत्र का अनुसरण करता है {{math|''Y''}} पर {{math|'''S'''<sup>2</sup>}} को मानचित्र के रूप में देखा जा सकता है {{math|''Y'' : '''S'''<sup>2</sup> → '''R'''<sup>3</sup>}}, जो संतुष्ट करता है | मान लीजिए {{math|⟨ , ⟩}} सामान्य अदिश गुणनफल पर हो {{math|'''R'''<sup>3</sup>}}. होने देना {{math|'''S'''<sup>2</sup>}} [[इकाई क्षेत्र]] में हो {{math|'''R'''<sup>3</sup>}}. का स्पर्शरेखा स्थान {{math|'''S'''<sup>2</sup>}} एक बिंदु पर {{math|''m''}} को स्वाभाविक रूप से सदिश उपस्थान के साथ पहचाना जाता है {{math|'''R'''<sup>3</sup>}} सभी वैक्टर ओर्थोगोनल से मिलकर बना है {{math|''m''}}. यह एक सदिश क्षेत्र का अनुसरण करता है {{math|''Y''}} पर {{math|'''S'''<sup>2</sup>}} को मानचित्र के रूप में देखा जा सकता है {{math|''Y'' : '''S'''<sup>2</sup> → '''R'''<sup>3</sup>}}, जो संतुष्ट करता है | | ||
<math display="Block">\bigl\langle Y(m), m\bigr\rangle = 0, \qquad \forall m\in \mathbf{S}^2.</math> | <math display="Block">\bigl\langle Y(m), m\bigr\rangle = 0, \qquad \forall m\in \mathbf{S}^2.</math> | ||
निरूपित करें {{math|''d<sub>m</sub>Y''(''X'')}} मानचित्र का सहसंयोजक व्युत्पन्न {{math|''Y''}} सदिश की दिशा में {{math|''X''}}. तो हमारे पास हैं | | |||
{{math theorem|name=Lemma|math_statement= The formula | {{math theorem|name=Lemma|math_statement= The formula | ||
Line 207: | Line 209: | ||
The equation (1) above follows. [[Q.E.D.]]}} | The equation (1) above follows. [[Q.E.D.]]}} | ||
वास्तव में, यह संबंधमेट्रिक ऑन के लिए लेवी-सिविटा संबंधहै {{math|'''S'''<sup>2</sup>}} विरासत में मिला {{math|'''R'''<sup>3</sup>}}. दरअसल, कोई यह जांच सकता है कि यह | वास्तव में, यह संबंधमेट्रिक ऑन के लिए लेवी-सिविटा संबंधहै {{math|'''S'''<sup>2</sup>}} विरासत में मिला {{math|'''R'''<sup>3</sup>}}. दरअसल, कोई यह जांच सकता है कि यह संबंधमीट्रिक को सुरक्षित रखता है। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 22:13, 11 July 2023
रीमैनियन कई गुना या [छद्म-रीमैनियन मैनिफोल्ड] (विशेष रूप से सामान्य सापेक्षता की लोरेंट्ज़ियन मैनिफोल्ड) में, लेवी-सिविटा संबंधमैनिफोल्ड (अर्थात एफ़िन कनेक्शन) के स्पर्शरेखा बंडल पर अद्वितीय एफ़िन संबंध है जो मीट्रिक संबंध (छद्म-रीमैनियन मैनिफोल्ड) रीमैनियन मीट्रिक और मरोड़ (विभेदक ज्यामिति) मुक्त है।
रीमैनियन ज्यामिति के मौलिक प्रमेय में कहा गया है कि एक अनूठा संबंध है जो इन गुणों को संतुष्ट करता है।
रीमैनियन मैनिफोल्ड और छद्म-रीमैनियन मैनिफोल्ड्स के सिद्धांत में सहसंयोजक व्युत्पन्न शब्द का प्रयोग अधिकांशतः लेवी-सिविटा संबंध के लिए किया जाता है। स्थानीय निर्देशांक की प्रणाली के संबंध में इस संबंध के घटकों (संरचना गुणांक) को क्रिस्टोफ़ेल चिह्न कहा जाता है।
इतिहास
लेवी-सिविटा संबंधका नाम टुल्लियो लेवी-सिविटा के नाम पर रखा गया है, चूंकि मूल रूप से इसकी खोज एल्विन ब्रूनो क्रिस्टोफर ने की थी। लेवी-सिविटा,[1] ग्रेगोरियो रिक्की-कर्बस्ट्रो के साथ, क्रिस्टोफ़ेल चिह्न का उपयोग किया,[2] समानांतर परिवहन की धारणा को परिभाषित करने और रीमैन वक्रता टेंसर के साथ समानांतर परिवहन के संबंध का पता लगाना, इस प्रकार होलोनोमी की आधुनिक धारणा विकसित करना है |[3]
1869 में, क्रिस्टोफ़ेल ने पाया कि एक सदिश क्षेत्र के आंतरिक व्युत्पन्न के घटक, समन्वय प्रणाली को बदलने पर, एक कॉन्ट्रावेरिएंट सदिश के घटकों के रूप में बदल जाते हैं। यह खोज टेंसर विश्लेषण की वास्तविक शुरुआत थी।
1906 में, एल. ई. जे. ब्रौवर पहले गणितज्ञ थे जिन्होंने यूक्लिडियन सदिश के स्थितियाँ के लिए समानांतर परिवहन पर विचार किया जाता है |
निरंतर वक्रता का एक स्थान पर विचार किया था।[4][5]
1917 में, लेवी-सिविटा ने यूक्लिडियन अंतरिक्ष में डूबे हुए हाइपरसर्फेस के स्थितियाँ में, अर्थात, एक बड़े परिवेश स्थान में एम्बेडेड रीमैनियन मैनिफोल्ड के स्थितियाँ में इसके महत्व को बताया,[1] उन्होंने एम्बेडेड सतह के स्थितियाँ में आंतरिक व्युत्पन्न की व्याख्या परिवेशीय एफ़िन स्पेस में सामान्य व्युत्पन्न के स्पर्शरेखा घटक के रूप में की, एक वक्र के साथ एक सदिश के आंतरिक व्युत्पन्न और समानांतर विस्थापन की लेवी-सिविटा धारणाएं एक अमूर्त रीमैनियन मैनिफोल्ड पर समझ में आती हैं, यदि मूल प्रेरणा एक विशिष्ट एम्बेडिंग पर निर्भर थी
1918 में, लेवी-सिविटा से स्वतंत्र रूप से, जान अर्नोल्ड स्काउटन ने समान परिणाम प्राप्त किए,[6] उसी वर्ष, हरमन वेइल ने लेवी-सिविटा के परिणामों को सामान्यीकृत किया जाता है।[7][8]
नोटेशन
- (M, g) एक रीमैनियन मैनिफोल्ड या छद्म-रिमैनियन मैनिफोल्ड को दर्शाता है।
- TM का स्पर्शरेखा बंडल है M.
- g रीमैनियन मीट्रिक या छद्म-रीमैनियन मीट्रिक है M.
- X, Y, Z चिकनी सदिश क्षेत्र पर हैं M, मैं। इ। का चिकना खंड (फाइबर बंडल)। TM.
- [X, Y] के सदिश क्षेत्रों का झूठ ब्रैकेट है X और Y. यह फिर से एक सहज सदिश क्षेत्र है।
मीट्रिक g अधिकतम दो वैक्टर या सदिश क्षेत्र ले सकता है X, Y तर्क के रूप में, पहले स्थितियाँ में आउटपुट एक संख्या है, (छद्म) आंतरिक उत्पाद X और Y. पश्चात वाले स्थितियाँ में, का आंतरिक उत्पाद Xp, Yp सभी बिंदुओं पर लिया जाता है पी मैनिफोल्ड पर जिससे की g(X, Y) एक सुचारू कार्य को परिभाषित करता है एम. सदिश क्षेत्र सुचारु कार्य पर अंतर ऑपरेटर के रूप में कार्य करते हैं (परिभाषा के अनुसार), स्थानीय निर्देशांक में क्रिया पढ़ती है |
जहां अल्बर्ट आइंस्टीन के आइंस्टीन सारांश सम्मेलन का उपयोग किया जाता है।
औपचारिक परिभाषा
एक एफ़िन संबंध∇ को लेवी-सिविटा संबंधकहा जाता है यदि
- यह मीट्रिक को सुरक्षित रखता है, अर्थात, ∇g = 0.
- यह कनेक्शन-मुक्त का मरोड़ है, अर्थात, किसी भी सदिश क्षेत्र के लिए X और Y अपने पास ∇XY − ∇YX = [X, Y], कहाँ [X, Y] सदिश क्षेत्रों के सदिश क्षेत्रों का झूठ ब्रैकेट है X और Y.
उपरोक्त स्थिति 1 को कभी-कभी मीट्रिक के साथ संगतता के रूप में जाना जाता है, और स्थिति 2 को कभी-कभी समरूपता कहा जाता है, सीएफ कार्मो का पाठ किया जाता है |[9]
(छद्म) रीमैनियन ज्यामिति का मौलिक प्रमेय
प्रमेय प्रत्येक छद्म रीमैनियन मैनिफोल्ड एक अनोखा लेवी सिविटा संबंध है .
प्रमाण:
यदि लेवी-सिविटा संबंधउपलब्ध है, तो यह अद्वितीय होना चाहिए, टेन्सर्स पर संबंधकी क्रिया की परिभाषा को सुलझाया जाता है |
इसलिए हम शर्त 1 को इस प्रकार लिख सकते हैं |
- मीट्रिक टेंसर की समरूपता द्वारा फिर मिल जाता है :
शर्त 2 के अनुसार, दाहिना हाथ इसलिए समतुल्य है |
और हमें जीन-लुई कोस्ज़ुल सूत्र मिलता है |
इसलिए, यदि लेवी-सिविटा संबंधउपलब्ध है, तो यह अद्वितीय होना चाहिए, क्योंकि माना है, गैर पतित है, और दाहिने हाथ पर निर्भर नहीं है .
अस्तित्व को सिद्ध करने के लिए, दिए गए सदिश क्षेत्र के लिए ध्यान दें और , कोस्ज़ुल अभिव्यक्ति का दाहिना हाथ सदिश क्षेत्र में फ़ंक्शन-रैखिक है , सिर्फ वास्तविक रैखिक नहीं, अत: के गैर अध:पतन द्वारा , दाहिना हाथ विशिष्ट रूप से कुछ नए सदिश क्षेत्र को परिभाषित करता है जिसे हम सुझावात्मक रूप से दर्शाते हैं जैसे बायीं ओर. कोसज़ुल सूत्र को प्रतिस्थापित करके, अब सभी सदिश क्षेत्र के लिए इसकी जाँच की जाती है , और सभी कार्य
इसलिए कोसज़ुल अभिव्यक्ति, वास्तव में, एक संबंधको परिभाषित करती है, और यह संबंधमीट्रिक के साथ संगत है और मरोड़ मुक्त है, अर्थात एक (इसलिए) लेवी-सिविटा संबंध है।
ध्यान दें कि कॉमन बदलावों के साथ एक ही प्रमाण दिखाता है कि एक अद्वितीय संबंधहै जो मीट्रिक के साथ संगत है और इसमें मरोड़ निर्धारित है।
क्रिस्टोफर प्रतीक
कृपया ध्यान स्पर्शरेखा बंडल पर एक एफ़िन संबंधबनें, स्थानीय निर्देशांक चुनें समन्वय आधार सदिश क्षेत्र के साथ और लिखा के लिए . क्रिस्टोफ़ेल चिह्न का इन निर्देशांकों के संबंध में परिभाषित किया गया है |
क्रिस्टोफ़ेल चिह्न इसके विपरीत संबंध को परिभाषित करते हैं समन्वित निकटतम पर क्योंकि
वह है,
एक एफ़िन संबंध एक मीट्रिक आईएफएफ के साथ संगत है |
अर्थात, यदि और मात्र यदि
एक एफ़िन संबंध∇ मरोड़ मुक्त है iff
अर्थात, यदि और मात्र यदि
इसके निचले दो सूचकांकों में सममित है।
जैसे कोई जांच करता है , सदिश क्षेत्रों का समन्वय करें (या सीधे गणना करता है), मीट्रिक के संदर्भ में , ऊपर प्राप्त लेवी-सिविटा संबंधकी कोसज़ुल अभिव्यक्ति क्रिस्टोफ़ेल चिह्न की परिभाषा के समतुल्य है |
जहां निरंतर की प्रकार दोहरे मीट्रिक टेंसर के गुणांक हैं, अर्थात मैट्रिक्स के व्युत्क्रम की प्रविष्टियाँ .
वक्र के अनुदिश व्युत्पन्न
लेवी-सिविटा संबंध(किसी भी एफ़िन संबंधकी प्रकार) भी वक्रों के साथ व्युत्पन्न को परिभाषित करता है, जिसे कभी-कभी D द्वारा दर्शाया जाता है |
एक सहज वक्र दिया गया है γ पर (M, g) और एक सदिश क्षेत्र V साथ में γ इसके व्युत्पन्न को परिभाषित किया गया है |
औपचारिक रूप से, D पुलबैक (विभेदक ज्यामिति) है γ*∇ पुलबैक बंडल पर γ*TM.
विशेष रूप से, वक्र के अनुदिश एक सदिश क्षेत्र है γ अपने आप। यदि लुप्त हो जाता है, वक्र को सहसंयोजक व्युत्पन्न का जियोडेसिक कहा जाता है। औपचारिक रूप से, स्थिति को लागू किए गए पुलबैक संबंधके गायब होने के रूप में दोहराया जा सकता है :
यदि सहसंयोजक व्युत्पन्न एक निश्चित मीट्रिक का लेवी-सिविटा संबंध है, तो संबंध के लिए जियोडेसिक्स वास्तव में मीट्रिक टेंसर के वे जियोडेसिक्स हैं जो उनकी चाप लंबाई के आनुपातिक रूप से पैरामीट्रिज्ड होते हैं।
समानांतर परिवहन
सामान्यतः, किसी संबंधके संबंध में वक्र के साथ समानांतर परिवहन वक्र के बिंदुओं पर स्पर्शरेखा स्थानों के बीच समरूपता को परिभाषित करता है। यदि संबंधलेवी-सिविटा संबंध है, तो ये समरूपताएं ऑर्थोगोनल समूह हैं - अर्थात, वे विभिन्न स्पर्शरेखा स्थानों पर आंतरिक उत्पादों को संरक्षित करते हैं।
नीचे दी गई छवियां ध्रुवीय समन्वय प्रणाली में व्यक्त, विमान पर दो भिन्न-भिन्न रीमैनियन मेट्रिक्स से जुड़े लेवी-सिविटा संबंध के समानांतर परिवहन को दिखाती हैं। बाईं छवि का मीट्रिक मानक यूक्लिडियन दूरी से मेल खाता है , जबकि दाईं ओर की मीट्रिक का ध्रुवीय निर्देशांक में मानक रूप है कब , और इस प्रकार सदिश को सुरक्षित रखता है वृत्त की स्पर्शरेखा. इस दूसरे मीट्रिक के मूल में एक विलक्षणता है, जैसा कि इसे कार्टेशियन निर्देशांक में व्यक्त करके देखा जा सकता है |
उदाहरण: इकाई क्षेत्र में R3
मान लीजिए ⟨ , ⟩ सामान्य अदिश गुणनफल पर हो R3. होने देना S2 इकाई क्षेत्र में हो R3. का स्पर्शरेखा स्थान S2 एक बिंदु पर m को स्वाभाविक रूप से सदिश उपस्थान के साथ पहचाना जाता है R3 सभी वैक्टर ओर्थोगोनल से मिलकर बना है m. यह एक सदिश क्षेत्र का अनुसरण करता है Y पर S2 को मानचित्र के रूप में देखा जा सकता है Y : S2 → R3, जो संतुष्ट करता है |
निरूपित करें dmY(X) मानचित्र का सहसंयोजक व्युत्पन्न Y सदिश की दिशा में X. तो हमारे पास हैं |
Lemma — The formula
It is straightforward to prove that ∇ satisfies the Leibniz identity and is C∞(S2) 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 S2
वास्तव में, यह संबंधमेट्रिक ऑन के लिए लेवी-सिविटा संबंधहै S2 विरासत में मिला R3. दरअसल, कोई यह जांच सकता है कि यह संबंधमीट्रिक को सुरक्षित रखता है।
यह भी देखें
- वेइटज़ेनबॉक कनेक्शन
टिप्पणियाँ
- ↑ 1.0 1.1 Levi-Civita, Tullio (1917). "Nozione di parallelismo in una varietà qualunque" [The notion of parallelism on any manifold]. Rendiconti del Circolo Matematico di Palermo (in italiano). 42: 173–205. doi:10.1007/BF03014898. JFM 46.1125.02. S2CID 122088291.
- ↑ Christoffel, Elwin B. (1869). "Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades". Journal für die reine und angewandte Mathematik. 1869 (70): 46–70. doi:10.1515/crll.1869.70.46. S2CID 122999847.
- ↑ See Spivak, Michael (1999). A Comprehensive introduction to differential geometry (Volume II). Publish or Perish Press. p. 238. ISBN 0-914098-71-3.
- ↑ Brouwer, L. E. J. (1906). "Het krachtveld der niet-Euclidische, negatief gekromde ruimten". Koninklijke Akademie van Wetenschappen. Verslagen. 15: 75–94.
- ↑ Brouwer, L. E. J. (1906). "The force field of the non-Euclidean spaces with negative curvature". Koninklijke Akademie van Wetenschappen. Proceedings. 9: 116–133. Bibcode:1906KNAB....9..116B.
- ↑ Schouten, Jan Arnoldus (1918). "Die direkte Analysis zur neueren Relativiteitstheorie". Verhandelingen der Koninklijke Akademie van Wetenschappen te Amsterdam. 12 (6): 95.
- ↑ Weyl, Hermann (1918). "Gravitation und Elektrizitat". Sitzungsberichte Berliner Akademie: 465–480.
- ↑ Weyl, Hermann (1918). "Reine Infinitesimal geometrie". Mathematische Zeitschrift. 2 (3–4): 384–411. Bibcode:1918MatZ....2..384W. doi:10.1007/bf01199420. S2CID 186232500.
- ↑ Carmo, Manfredo Perdigão do (1992). रीमैनियन ज्यामिति. Francis J. Flaherty. Boston: Birkhäuser. ISBN 0-8176-3490-8. OCLC 24667701.
संदर्भ
- 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