एह्रेसमैन कनेक्शन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(25 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Differential geometry construct on fiber bundles}}
{{Short description|Differential geometry construct on fiber bundles}}
विभेदक ज्यामिति में, एह्रेसमैन कनेक्शन (फ्रांसीसी गणितज्ञ [[चार्ल्स एह्रेसमैन]] के बाद, जिन्होंने पहली बार इस अवधारणा को औपचारिक रूप दिया था) [[कनेक्शन (गणित)]] की धारणा का संस्करण है, जो किसी भी चिकनी [[फाइबर बंडल]] पर समझ में आता है। विशेष रूप से, यह अंतर्निहित फाइबर बंडल की संभावित वेक्टर बंडल संरचना पर निर्भर नहीं करता है, लेकिन फिर भी, [[कनेक्शन (वेक्टर बंडल)]] को विशेष मामले के रूप में देखा जा सकता है। एह्रेसमैन कनेक्शन का  अन्य महत्वपूर्ण विशेष मामला [[प्रमुख बंडल]]ों पर [[ कनेक्शन (प्रमुख बंडल) ]] है, जो कि प्रिंसिपल [[झूठ समूह]] एक्शन में समकक्ष होना आवश्यक है।
अवकल ज्यामिति में, '''एह्रेसमैन कनेक्शन''' (फ्रांसीसी गणितज्ञ चार्ल्स एह्रेसमैन के पश्चात, जिन्होंने प्रथम बार इस अवधारणा को औपचारिक रूप दिया था) [[कनेक्शन (गणित)|कनेक्शन]] की धारणा का संस्करण है, जो किसी भी चिकनी [[फाइबर बंडल]] पर समझ में आता है। विशेष रूप से, यह अंतर्निहित फाइबर बंडल की संभावित सदिश बंडल संरचना पर निर्भर नहीं करता है, किन्तु फिर भी, [[कनेक्शन (वेक्टर बंडल)|रैखिक कनेक्शन]] को विशेष स्थिति के रूप में देखा जा सकता है। एह्रेसमैन कनेक्शन की अन्य महत्वपूर्ण विशेष स्थिति प्रमुख बंडल पर [[ कनेक्शन (प्रमुख बंडल) |प्रमुख कनेक्शन]] हैं, जो कि प्रमुख [[झूठ समूह|लाइ समूह]] एक्शन में समकक्ष होना आवश्यक है।


== परिचय ==
== परिचय ==
डिफरेंशियल ज्योमेट्री में सहसंयोजक व्युत्पन्न रेखीय अंतर ऑपरेटर है जो सहसंयोजक_ट्रांसफॉर्मेशन तरीके से [[वेक्टर बंडल]] के खंड के [[दिशात्मक व्युत्पन्न]] को लेता है। यह सदिश की दिशा में बंडल के [[समानांतर परिवहन]] खंड की धारणा तैयार करने की भी अनुमति देता है: सदिश एक्स के साथ खंड समानांतर है यदि <math>\nabla_X s = 0</math>. तो सहसंयोजक व्युत्पन्न कम से कम दो चीजें प्रदान करता है: अंतर ऑपरेटर, और प्रत्येक दिशा में समानांतर होने का अर्थ क्या है। 'एह्रेसमैन कनेक्शन' डिफरेंशियल ऑपरेटर को पूरी तरह से हटा देता है और प्रत्येक दिशा में समानांतर अनुभागों के संदर्भ में स्वयंसिद्ध रूप से कनेक्शन को परिभाषित करता है {{harv|Ehresmann|1950}}. विशेष रूप से, एह्रेस्मान कनेक्शन फाइबर बंडल के कुल स्थान के लिए प्रत्येक [[स्पर्शरेखा स्थान]] के [[वेक्टर उप-स्थान]] को एकल करता है, जिसे क्षैतिज स्थान कहा जाता है। खंड s तब क्षैतिज (यानी, समानांतर) दिशा X में है यदि <math>{\rm d}s(X)</math> क्षैतिज स्थान में स्थित है। यहाँ हम फलन के रूप में s के बारे में बता रहे हैं <math>s\colon M\to E</math> बेस एम से फाइबर बंडल तक, ताकि <math>{\rm d}s\colon TM\to s^*TE</math> तब स्पर्शरेखा सदिशों का पुशफॉरवर्ड (अंतर) है। क्षैतिज रिक्त स्थान मिलकर वेक्टर सबबंडल बनाते हैं <math>TE</math>.
डिफरेंशियल ज्योमेट्री में सहसंयोजक व्युत्पन्न रेखीय अंतर ऑपरेटर है जो सहसंयोजक प्रकार से [[वेक्टर बंडल|सदिश बंडल]] के खंड के [[दिशात्मक व्युत्पन्न]] को लेता है। यह सदिश की दिशा में बंडल के [[समानांतर परिवहन|समानांतर]] खंड की धारणा तत्पर करने की भी अनुमति देता है: सदिश ''X'' के साथ खंड समानांतर है यदि <math>\nabla_X s = 0</math> है। तो सहसंयोजक व्युत्पन्न अल्प से अल्प दो चीजें प्रदान करता है: अंतर ऑपरेटर, और प्रत्येक दिशा में समानांतर होने का अर्थ क्या है। 'एह्रेसमैन कनेक्शन' डिफरेंशियल ऑपरेटर को प्रत्येक प्रकार से विस्थापित कर देता है और प्रत्येक दिशा में समानांतर अनुभागों के संदर्भ में स्वयंसिद्ध रूप से कनेक्शन को परिभाषित करता है {{harv|एह्रेसमैन|1950}} विशेष रूप से, एह्रेस्मान कनेक्शन फाइबर बंडल के कुल स्थान के लिए प्रत्येक [[स्पर्शरेखा स्थान]] के [[वेक्टर उप-स्थान|सदिश उप-स्थान]] को एकल करता है, जिसे क्षैतिज स्थान कहा जाता है। खंड s तब क्षैतिज (अर्थात, समानांतर) दिशा X में है यदि <math>{\rm d}s(X)</math> क्षैतिज स्थान में स्थित है। यहाँ हम फलन के रूप में s के सम्बन्ध में बता रहे हैं <math>s\colon M\to E</math> आधार M से फाइबर बंडल E तक, जिससे कि <math>{\rm d}s\colon TM\to s^*TE</math> तब स्पर्शरेखा सदिशों का पुशफॉरवर्ड है। क्षैतिज रिक्त स्थान मिलकर सदिश उपबंडल बनाते <math>TE</math> हैं।


यह मात्र वेक्टर बंडलों की तुलना में संरचनाओं के व्यापक वर्ग पर निश्चित होने का तत्काल लाभ है। विशेष रूप से, यह सामान्य फाइबर बंडल पर अच्छी तरह से परिभाषित है। इसके अलावा, सहसंयोजक व्युत्पन्न की कई विशेषताएं अभी भी बनी हुई हैं: समानांतर परिवहन, [[वक्रता]] और समरूपता।
यह मात्र सदिश बंडलों की तुलना में संरचनाओं के व्यापक वर्ग पर निश्चित होने का तत्काल लाभ है। विशेष रूप से, यह सामान्य फाइबर बंडल पर उचित प्रकार से परिभाषित है। इसके अतिरिक्त, सहसंयोजक व्युत्पन्न की अनेक विशेषताएं अभी भी बनी हुई हैं: समानांतर परिवहन, [[वक्रता]] और समरूपता।


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


एह्रेस्मान कनेक्शन के लिए परिष्कृत स्पर्श यह है कि इसे अंतर रूप के रूप में प्रदर्शित किया जा सकता है, उसी तरह जैसे [[ कनेक्शन प्रपत्र ]] के मामले में। यदि समूह तंतुओं पर कार्य करता है और कनेक्शन समतुल्य है, तो रूप भी समतुल्य होगा। इसके अलावा, कनेक्शन फॉर्म वक्रता की परिभाषा को [[वक्रता रूप]] के रूप में भी अनुमति देता है।
एह्रेस्मान कनेक्शन के लिए परिष्कृत स्पर्श यह है कि इसे अंतर रूप में प्रदर्शित किया जा सकता है, उसी प्रकार जैसे [[ कनेक्शन प्रपत्र |कनेक्शन प्रपत्र]] के स्थिति में। यदि समूह तंतुओं पर कार्य करता है और कनेक्शन समतुल्य है, तो रूप भी समतुल्य होगा। इसके अतिरिक्त, कनेक्शन फॉर्म वक्रता की परिभाषा को [[वक्रता रूप]] के रूप में भी अनुमति देता है।


== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==
[[File:Ehresmann connection.png|thumb|300px|एह्रेस्मान कनेक्शन क्षैतिज उप-स्थान का विकल्प है <math>H_p\subset T_pP</math> हर के लिए <math>p\in P</math>, कहाँ <math>P</math> कुछ फाइबर बंडल है, आमतौर पर  प्रमुख बंडल।]]होने देना <math>\pi\colon E\to M</math> चिकना फाइबर बंडल बनें।<ref>These considerations apply equally well to the more general situation in which <math>\pi\colon E\to M</math> is a [[surjective]] [[submersion (mathematics)|submersion]]: i.e., ''E'' is a [[fibered manifold]] over ''M''.  In an alternative generalization, due to {{harvp|Lang|1999}} and {{harvp|Eliason|1967}}, ''E'' and ''M'' are permitted to be [[Banach manifold]]s, with ''E'' a fiber bundle over ''M'' as above.</ref> होने देना
[[File:Ehresmann connection.png|thumb|300px|एह्रेस्मान कनेक्शन क्षैतिज उप-स्थान का विकल्प है <math>H_p\subset T_pP</math> प्रत्येक के लिए <math>p\in P</math>, जहां <math>P</math> कुछ फाइबर बंडल है, सामान्यतः प्रमुख बंडल है।]]माना <math>\pi\colon E\to M</math> चिकना फाइबर बंडल बनें।<ref>These considerations apply equally well to the more general situation in which <math>\pi\colon E\to M</math> is a [[surjective]] [[submersion (mathematics)|submersion]]: i.e., ''E'' is a [[fibered manifold]] over ''M''.  In an alternative generalization, due to {{harvp|Lang|1999}} and {{harvp|Eliason|1967}}, ''E'' and ''M'' are permitted to be [[Banach manifold]]s, with ''E'' a fiber bundle over ''M'' as above.</ref> मान लीजिये,
:<math>V= \ker (\operatorname{d} \pi \colon TE\to TM)</math> '' के तंतुओं, यानी 'वी' के तंतु पर स्पर्शरेखा सदिशों से युक्त ऊर्ध्वाधर बंडल बनें <math>e\in E</math> है <math>V_e  =T_e(E_{\pi(e)})</math>. का यह उपसमूह <math>TE</math> आधार स्थान एम के लिए कोई विहित उप-स्पर्श स्पर्शरेखा नहीं होने पर भी विहित रूप से परिभाषित किया गया है। (बेशक, यह विषमता फाइबर बंडल की परिभाषा से आती है, जिसमें केवल प्रक्षेपण है <math>\pi\colon E\to M</math> जबकि उत्पाद <math>E=M\times F</math> दो होंगे।)
:<math>V= \ker (\operatorname{d} \pi \colon TE\to TM)</math> '''E''<nowiki/>' के तंतुओं, अर्थात '<nowiki/>''V'' ' के तंतु पर स्पर्शरेखा सदिशों से युक्त ऊर्ध्वाधर बंडल बनें <math>e\in E</math> है <math>V_e  =T_e(E_{\pi(e)})</math> का यह उपसमूह <math>TE</math> आधार स्थान ''M'' के लिए कोई विहित उप-स्पर्श स्पर्शरेखा नहीं होने पर भी विहित रूप से परिभाषित किया गया है। (बेशक, यह विषमता फाइबर बंडल की परिभाषा से आती है, जिसमें केवल प्रक्षेपण है <math>\pi\colon E\to M</math> जबकि उत्पाद <math>E=M\times F</math> दो होंगे।)


===क्षैतिज उपस्थानों के माध्यम से परिभाषा ===
===क्षैतिज उपस्थानों के माध्यम से परिभाषा ===


''E'' पर Ehresmann कनेक्शन स्मूथ सबबंडल ''H'' का है <math>TE</math>, कनेक्शन का [[क्षैतिज बंडल]] कहा जाता है, जो ''V'' का पूरक है, इस अर्थ में कि यह वेक्टर बंडलों के अपघटन के प्रत्यक्ष योग को परिभाषित करता है <math>TE=H\oplus V</math>.{{sfnp|Kolář|Michor|Slovák|1993|p={{pn|date=November 2021}}}} अधिक विस्तार से, क्षैतिज बंडल में निम्नलिखित गुण होते हैं।
''E'' पर एह्रेसमैन कनेक्शन स्मूथ उपबंडल ''H'' है <math>TE</math>, कनेक्शन का [[क्षैतिज बंडल]] कहा जाता है, जो ''V'' का पूरक है, इस अर्थ में कि यह सदिश बंडलों के अपघटन के प्रत्यक्ष योग <math>TE=H\oplus V</math> को परिभाषित करता है,{{sfnp|Kolář|Michor|Slovák|1993|p={{pn|date=November 2021}}}} अधिक विस्तार से, क्षैतिज बंडल में निम्नलिखित गुण होते हैं।
* प्रत्येक बिंदु के लिए <math>e\in E</math>, <math>H_e</math> स्पर्शरेखा स्थान का सदिश स्थान है <math>T_e E</math> पर , पर कनेक्शन के क्षैतिज उप-स्थान कहा जाता है।
* प्रत्येक बिंदु के लिए <math>e\in E</math>, <math>H_e</math> स्पर्शरेखा स्थान का सदिश स्थान है <math>T_e E</math> से ''E'' पर ''e'', ''e'' पर कनेक्शन के क्षैतिज उप-स्थान कहा जाता है।
* <math>H_e</math> स्मूथ फंक्शन # स्मूथनेस ई पर निर्भर करता है।
* <math>H_e</math> सरलता से ''e'' पर निर्भर करता है।
* प्रत्येक के लिए <math>e\in E</math>, <math>H_e \cap V_e = \{0\}</math>.
* प्रत्येक के लिए <math>e\in E</math>, <math>H_e \cap V_e = \{0\}</math> होता है।
* टी में कोई स्पर्शरेखा सदिश<sub>''e''</sub>E (किसी भी e∈E के लिए) क्षैतिज और ऊर्ध्वाधर घटक का योग है, ताकि T<sub>''e''</sub>= एच<sub>''e''</sub> + वी<sub>''e''</sub>.
* T<sub>''e''</sub>E में कोई स्पर्शरेखा सदिश (किसी भी e∈E के लिए) क्षैतिज और ऊर्ध्वाधर घटक का योग है, जिससे कि T<sub>''e''</sub>E = H<sub>''e''</sub> + V<sub>''e''</sub> प्राप्त होता है। 


अधिक परिष्कृत शब्दों में, इन गुणों को संतुष्ट करने वाले क्षैतिज रिक्त स्थान का ऐसा असाइनमेंट [[जेट बंडल]] जे के  चिकनी खंड से ठीक मेल खाता है<sup>1</sup>ई.
अधिक परिष्कृत शब्दों में, इन गुणों को संतुष्ट करने वाले क्षैतिज रिक्त स्थान का ऐसा असाइनमेंट [[जेट बंडल]] J<sup>1</sup>E E के चिकने खंड से त्रुटिहीन रूप से युग्मित होता है। 


=== कनेक्शन फार्म के माध्यम से परिभाषा ===
=== कनेक्शन फार्म के माध्यम से परिभाषा ===


समान रूप से, चलो {{mvar|Φ}} ऊर्ध्वाधर बंडल V पर H के साथ प्रक्षेपण हो (ताकि H = ker {{mvar|Φ}}). यह टीई के क्षैतिज और ऊर्ध्वाधर भागों में उपरोक्त प्रत्यक्ष योग अपघटन द्वारा निर्धारित किया जाता है और इसे कभी-कभी एह्रेसमैन कनेक्शन का कनेक्शन रूप कहा जाता है। इस प्रकार {{mvar|Φ}} निम्नलिखित गुणों (सामान्य रूप से अनुमानों) के साथ TE से स्वयं के लिए सदिश बंडल समरूपता है:
समतुल्य रूप से, {{mvar|Φ}} को ऊर्ध्वाधर बंडल V पर H के साथ प्रक्षेपण होने दें (जिससे कि H = ker {{mvar|Φ}})यह ''TE'' के क्षैतिज और ऊर्ध्वाधर भागों में उपरोक्त प्रत्यक्ष योग अपघटन द्वारा निर्धारित किया जाता है और इसे कभी-कभी एह्रेसमैन कनेक्शन का कनेक्शन रूप कहा जाता है। इस प्रकार {{mvar|Φ}} निम्नलिखित गुणों (सामान्य रूप से अनुमानों) के साथ TE से स्वयं के लिए सदिश बंडल समरूपता है:
* {{mvar|Φ}}<sup>2</sup> = {{mvar|Φ}};
* {{mvar|Φ}}<sup>2</sup> = {{mvar|Φ}};
*  {{mvar|Φ}} V =Im पर तत्समक है {{mvar|Φ}}.
*  {{mvar|Φ}} V =Im {{mvar|Φ}} पर तत्समक है।


इसके विपरीत यदि {{mvar|Φ}} TE का सदिश बंडल [[एंडोमोर्फिज्म]] है जो इन दो गुणों को संतुष्ट करता है, तो H = ker {{mvar|Φ}} एह्रेस्मान कनेक्शन का क्षैतिज सबबंडल है।
इसके विपरीत यदि {{mvar|Φ}} TE का सदिश बंडल [[एंडोमोर्फिज्म]] है जो इन दो गुणों को संतुष्ट करता है, तो H = ker {{mvar|Φ}} एह्रेस्मान कनेक्शन का क्षैतिज उपबंडल है।


अंत में, ध्यान दें {{mvar|Φ}}, अपने आप में प्रत्येक स्पर्शरेखा स्थान का रेखीय मानचित्रण होने के नाते, E पर TE-मूल्यवान 1-रूप के रूप में भी माना जा सकता है। यह आने वाले अनुभागों में उपयोगी परिप्रेक्ष्य होगा।
अंत में, ध्यान दें कि {{mvar|Φ}}, अपने आप में प्रत्येक स्पर्शरेखा स्थान का रेखीय मानचित्रण होने के सम्बन्ध में, E पर TE-मूल्यवान 1-रूप के रूप में भी माना जा सकता है। यह आने वाले अनुभागों में उपयोगी परिप्रेक्ष्य होगा।


=== क्षैतिज लिफ्टों के माध्यम से समानांतर परिवहन ===
=== क्षैतिज लिफ्टों के माध्यम से समानांतर परिवहन ===
एह्रेस्मान कनेक्शन भी फाइबर बंडल ई की कुल जगह में बेस मैनिफोल्ड एम से वक्र उठाने के लिए तरीका निर्धारित करता है ताकि वक्र के स्पर्शक क्षैतिज हों।{{sfnp|Kolář|Michor|Slovák|1993|p={{pn|date=November 2021}}}}{{sfnp|Kobayashi|Nomizu|1996a|loc=Vol. 1|p={{pn|date=November 2021}}}} ये क्षैतिज लिफ्ट कनेक्शन औपचारिकता के अन्य संस्करणों के लिए समानांतर परिवहन का प्रत्यक्ष एनालॉग हैं।
एह्रेस्मान कनेक्शन भी फाइबर बंडल ''E'' के कुल स्थान में बेस मैनिफोल्ड ''M'' से वक्र उठाने के लिए विधि निर्धारित करता है जिससे कि वक्र के स्पर्शक क्षैतिज हों।{{sfnp|Kolář|Michor|Slovák|1993|p={{pn|date=November 2021}}}}{{sfnp|Kobayashi|Nomizu|1996a|loc=Vol. 1|p={{pn|date=November 2021}}}} ये क्षैतिज लिफ्ट कनेक्शन औपचारिकता के अन्य संस्करणों के लिए समानांतर परिवहन का प्रत्यक्ष एनालॉग हैं।


विशेष रूप से, मान लें कि ''γ''(''t''), ''M'' में बिंदु ''x'' = ''γ''(0) से होते हुए चिकना वक्र है। चलो ''ई'' ∈ ''ई''<sub>''x''</sub> एक्स पर फाइबर में बिंदु बनें। ई के माध्यम से γ का 'लिफ्ट' वक्र है <math>\tilde{\gamma}(t)</math> कुल स्थान E में ऐसा है
विशेष रूप से, मान लें कि ''γ''(''t''), ''M'' में बिंदु ''x'' = ''γ''(0) से होते हुए चिकना वक्र है। मान लीजिए e ∈ ''E''<sub>''x''</sub> x के ऊपर फाइबर में बिंदु है। ''E'' के माध्यम से γ का 'लिफ्ट' वक्र है <math>\tilde{\gamma}(t)</math> कुल स्थान E में ऐसा है:
:<math>\tilde{\gamma}(0) = e</math>, और <math>\pi(\tilde{\gamma}(t)) = \gamma(t).</math>
:<math>\tilde{\gamma}(0) = e</math>, और <math>\pi(\tilde{\gamma}(t)) = \gamma(t).</math>
लिफ्ट क्षैतिज है यदि, इसके अलावा, वक्र का प्रत्येक स्पर्शरेखा '' TE'' के क्षैतिज उपबंडल में स्थित है:
लिफ्ट क्षैतिज है यदि, इसके अतिरिक्त, वक्र का प्रत्येक स्पर्शरेखा ''TE'' के क्षैतिज उपबंडल में स्थित है:
:<math>\tilde{\gamma}'(t) \in H_{\tilde{\gamma}(t)}.</math>
:<math>\tilde{\gamma}'(t) \in H_{\tilde{\gamma}(t)}.</math>
इसे π और पर लागू रैंक-शून्यता प्रमेय का उपयोग करके दिखाया जा सकता है {{mvar|Φ}} कि प्रत्येक सदिश X∈T<sub>''x''</sub>एम में वेक्टर के लिए अद्वितीय क्षैतिज लिफ्ट है <math>\tilde{X} \in T_e E</math>. विशेष रूप से, γ के लिए स्पर्शरेखा क्षेत्र [[पुलबैक बंडल]] γ*E के कुल स्थान में क्षैतिज सदिश क्षेत्र उत्पन्न करता है। पिकार्ड-लिंडेलोफ प्रमेय के अनुसार, यह सदिश क्षेत्र सदिश क्षेत्र#प्रवाह वक्र है। इस प्रकार, किसी वक्र γ और बिंदु e पर x = γ(0) के लिए, छोटे समय t के लिए γ से e तक का अद्वितीय क्षैतिज लिफ़्ट मौजूद है।
इसे π और {{mvar|Φ}} पर प्रारम्भ श्रेणी-शून्यता प्रमेय का उपयोग करके दिखाया जा सकता है कि प्रत्येक सदिश X∈T<sub>''x''</sub>M में सदिश के लिए अद्वितीय क्षैतिज लिफ्ट <math>\tilde{X} \in T_e E</math> है। विशेष रूप से, γ के लिए स्पर्शरेखा क्षेत्र [[पुलबैक बंडल]] γ*E के कुल स्थान में क्षैतिज सदिश क्षेत्र उत्पन्न करता है। पिकार्ड-लिंडेलोफ प्रमेय के अनुसार, यह सदिश क्षेत्र पूर्णांकीय है। इस प्रकार, किसी वक्र γ और बिंदु e पर x = γ(0) के लिए, छोटे समय t के लिए γ से e तक का अद्वितीय क्षैतिज लिफ़्ट उपस्थित है।


ध्यान दें कि, सामान्य एह्रेस्मान कनेक्शन के लिए, क्षैतिज लिफ्ट पथ-निर्भर है। जब M में दो चिकने वक्र, γ पर मेल खाते हैं<sub>1</sub>(0) = सी<sub>2</sub>(0) = एक्स<sub>0</sub> और अन्य बिंदु x पर भी प्रतिच्छेद करता है<sub>1</sub>∈ M, समान e ∈ π के माध्यम से क्षैतिज रूप से E तक उठाये जाते हैं<sup>-1</sup>(x<sub>0</sub>), वे आम तौर पर π के विभिन्न बिंदुओं से गुजरेंगे<sup>-1</sup>(x<sub>1</sub>). फाइबर बंडलों के विभेदक ज्यामिति के लिए इसका महत्वपूर्ण परिणाम है: एच के वर्गों का स्थान पर वेक्टर फ़ील्ड्स के स्थान का [[झूठ बोलना]] नहीं है, क्योंकि यह [[झूठ व्युत्पन्न]] के तहत (सामान्य रूप से) बंद नहीं है। लाई ब्रैकेट के नीचे बंद होने की इस विफलता को वक्रता द्वारा मापा जाता है।
ध्यान दें कि, सामान्य एह्रेस्मान कनेक्शन के लिए, क्षैतिज लिफ्ट पथ-निर्भर है। जब M में दो चिकने वक्र, γ<sub>1</sub>(0) = γ<sub>2</sub>(0) = x<sub>0</sub> पर युग्मित होते हैं और अन्य बिंदु x<sub>1</sub>∈ M पर प्रतिच्छेद करते हैं, समान e ∈ π<sup>-1</sup>(x<sub>0</sub>) के माध्यम से क्षैतिज रूप से E तक उठाये जाते हैं, तो वे सामान्यतः π<sup>-1</sup>(x<sub>1</sub>) के विभिन्न बिंदुओं से निकलते हैं। फाइबर बंडलों के अवकल ज्यामिति के लिए इसके महत्वपूर्ण परिणाम है: H के वर्गों का स्थान E पर सदिश क्षेत्र के स्थान का [[झूठ बोलना|लाइ सबलजेब्रा]] नहीं है, क्योंकि यह सदिश क्षेत्र के [[झूठ व्युत्पन्न|लाई ब्रैकेट]] के अंतर्गत बंद नहीं है। लाई ब्रैकेट के नीचे बंद होने की इस विफलता को वक्रता द्वारा मापा जाता है।


== गुण ==
== गुण ==
Line 50: Line 50:
=== वक्रता ===
=== वक्रता ===


होने देना {{mvar|Φ}} एह्रेस्मान कनेक्शन हो। फिर की वक्रता {{mvar|Φ}} द्वारा दिया गया है{{sfnp|Kolář|Michor|Slovák|1993|p={{pn|date=November 2021}}}}
मान लीजिए कि {{mvar|Φ}} एह्रेस्मान कनेक्शन है। फिर {{mvar|Φ}} की वक्रता द्वारा दी गई है:{{sfnp|Kolář|Michor|Slovák|1993|p={{pn|date=November 2021}}}}
:<math>R = \tfrac{1}{2}[\varPhi,\varPhi]</math>
:<math>R = \tfrac{1}{2}[\varPhi,\varPhi]</math>
जहां [-,-] फ्रॉलीशर-निजेनहुइस ब्रैकेट को दर्शाता है {{mvar|Φ}∈ Ω<sup>1</sup>(, टीई) स्वयं के साथ। इस प्रकार आर ∈ Ω<sup>2</sup>(E,TE) E पर दो रूप है जिसमें TE द्वारा परिभाषित मान हैं
<nowiki>जहां [-,-] स्वयं के साथ {{mvar|Φ}∈ Ω</nowiki><sup>1</sup>(''E'',''TE'') फ्रॉलीशर-निजेनहुइस ब्रैकेट को दर्शाता है। इस प्रकार ''R'' ∈ Ω<sup>2</sup>(E,TE) E पर दो रूप है जिसमें TE द्वारा परिभाषित मान हैं:
:<math>R(X,Y) = \varPhi\left([(\mathrm{id} - \varPhi)X,(\mathrm{id} - \varPhi)Y]\right)</math>,
:<math>R(X,Y) = \varPhi\left([(\mathrm{id} - \varPhi)X,(\mathrm{id} - \varPhi)Y]\right)</math>,
या, दूसरे शब्दों में,
या, दूसरे शब्दों में,
:<math>R\left(X,Y\right) = \left[X_H,Y_H\right]_V</math>,
:<math>R\left(X,Y\right) = \left[X_H,Y_H\right]_V</math>,
जहां एक्स = एक्स<sub>H</sub> + एक्स<sub>V</sub> क्रमशः एच और वी घटकों में प्रत्यक्ष योग अपघटन को दर्शाता है। वक्रता के लिए इस अंतिम अभिव्यक्ति से, यह समान रूप से गायब होने के लिए देखा जाता है, और केवल अगर, क्षैतिज उपबंडल फ्रोबेनियस एकीकरण प्रमेय है। इस प्रकार वक्रता क्षैतिज सबबंडल के लिए फाइबर बंडल एम के अनुप्रस्थ वर्गों को प्राप्त करने के लिए [[अभिन्नता की स्थिति]] है।
जहां ''X'' = ''X''<sub>H</sub> + ''X''<sub>V</sub> क्रमशः H और V घटकों में प्रत्यक्ष योग अपघटन को दर्शाता है। वक्रता के लिए इस अंतिम अभिव्यक्ति से, यह समान रूप से लुप्त होने के लिए देखा जाता है, और केवल यदि, क्षैतिज उपबंडल फ्रोबेनियस पूर्णांक है। इस प्रकार वक्रता क्षैतिज उपबंडल के लिए फाइबर बंडल ''E'' ''M'' के अनुप्रस्थ वर्गों को प्राप्त करने के लिए [[अभिन्नता की स्थिति]] है।


एह्रेस्मान कनेक्शन की वक्रता भी [[बियांची पहचान]] के संस्करण को संतुष्ट करती है:
एह्रेस्मान कनेक्शन की वक्रता भी [[बियांची पहचान]] के संस्करण को संतुष्ट करती है:
:<math>\left[\varPhi, R\right] = 0</math>
:<math>\left[\varPhi, R\right] = 0</math>
जहां फिर से [-,-] फ्रॉलीशर-निजेनहुइस का ब्रैकेट है {{mvar|Φ}∈ Ω<sup>1</sup>(, टीई) और आर ∈ Ω<sup>2</sup>(, टीई)
<nowiki>जहां पुनः [-,-] {{mvar|Φ}∈ Ω</nowiki><sup>1</sup>(''E'',''TE'') और ''R'' ∈ Ω<sup>2</sup>(''E'',''TE'') का फ्रॉलीशर-निजेनहुइस का ब्रैकेट है।


=== पूर्णता ===
=== पूर्णता ===


एह्रेस्मान कनेक्शन घटता को अद्वितीय क्षैतिज लिफ्ट [[स्थानीय संपत्ति]] रखने की अनुमति देता है। पूर्ण एह्रेस्मान कनेक्शन के लिए, वक्र क्षैतिज रूप से अपने संपूर्ण डोमेन पर उठाया जा सकता है।
एह्रेस्मान कनेक्शन घटता को अद्वितीय क्षैतिज लिफ्ट [[स्थानीय संपत्ति]] रखने की अनुमति देता है। पूर्ण एह्रेस्मान कनेक्शन के लिए, वक्र क्षैतिज रूप से अपने संपूर्ण डोमेन पर उठाया जा सकता है।


===होलोनॉमी===
===होलोनॉमी===
कनेक्शन की सपाटता स्थानीय रूप से क्षैतिज रिक्त स्थान के फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी) से मेल खाती है। दूसरे चरम पर, गैर-लुप्त होने वाली वक्रता का तात्पर्य कनेक्शन की समग्रता की उपस्थिति से है।<ref>Holonomy for Ehresmann connections in fiber bundles is sometimes called the '''Ehresmann-Reeb holonomy''' or '''leaf holonomy''' in reference to the first detailed study using Ehresmann connections to study [[foliation]]s in {{harv|Reeb|1952}}</ref>
कनेक्शन की सपाटता स्थानीय रूप से क्षैतिज रिक्त स्थान के फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी) से युग्मित होती है। दूसरे चरम पर, गैर-लुप्त होने वाली वक्रता का तात्पर्य कनेक्शन की समग्रता की उपस्थिति से है।<ref>Holonomy for Ehresmann connections in fiber bundles is sometimes called the '''Ehresmann-Reeb holonomy''' or '''leaf holonomy''' in reference to the first detailed study using Ehresmann connections to study [[foliation]]s in {{harv|Reeb|1952}}</ref>
== विशेष मामले ==
== विशेष स्थिति ==


=== प्रिंसिपल बंडल और प्रिंसिपल कनेक्शन ===
=== प्रमुख बंडल और प्रमुख कनेक्शन ===


{{main|Connection (principal bundle)}}
{{main|कनेक्शन (प्रमुख बंडल)}}
[[File:Principal bundle connection form projection.png|thumb|300px|प्रिंसिपल बंडल कनेक्शन फॉर्म <math>\omega</math> स्पर्शरेखा बंडल पर प्रक्षेपण ऑपरेटर के रूप में सोचा जा सकता है <math>TP</math> मुख्य बंडल का <math>P</math>. कनेक्शन फॉर्म का कर्नेल संबंधित एह्रेसमैन कनेक्शन के लिए क्षैतिज उप-स्थानों द्वारा दिया गया है।]]मान लीजिए कि E स्मूथ प्रिंसिपल बंडल है| M के ऊपर प्रिंसिपल G-बंडल है। फिर E पर Ehresmann कनेक्शन H को 'प्रिंसिपल (Ehresmann) कनेक्शन' कहा जाता है।{{sfnp|Kobayashi|Nomizu|1996a|loc=Vol. 1|p={{pn|date=November 2021}}}} यदि यह E पर G क्रिया के संबंध में इस अर्थ में अपरिवर्तनीय है
[[File:Principal bundle connection form projection.png|thumb|300px|प्रमुख बंडल कनेक्शन फॉर्म <math>\omega</math> स्पर्शरेखा बंडल पर प्रक्षेपण ऑपरेटर के रूप में विचार किया जा सकता है <math>TP</math> मुख्य बंडल का <math>P</math> होता है। कनेक्शन फॉर्म का कर्नेल संबंधित एह्रेसमैन कनेक्शन के लिए क्षैतिज उप-स्थानों द्वारा दिया गया है।]]मान लीजिए कि E, M के ऊपर चिकना प्रमुख G-बंडल है। फिर E पर एह्रेसमैन कनेक्शन H को 'प्रमुख (एह्रेसमैन ) कनेक्शन' कहा जाता है।{{sfnp|Kobayashi|Nomizu|1996a|loc=Vol. 1|p={{pn|date=November 2021}}}} यदि यह E पर G क्रिया के संबंध में इस अर्थ में अपरिवर्तनीय है:
:<math>H_{eg}=\mathrm d(R_g)_e (H_{e})</math> किसी भी e∈E और g∈G के लिए; यहाँ <math>\mathrm d(R_g)_e</math> पर ई पर जी के [[समूह क्रिया (गणित)]] के अंतर को दर्शाता है।
:<math>H_{eg}=\mathrm d(R_g)_e (H_{e})</math> किसी भी e∈E और g∈G के लिए; यहाँ <math>\mathrm d(R_g)_e</math> ''E'' पर ''e,'' ''g'' के [[समूह क्रिया (गणित)|समूह क्रिया]] अंतर को दर्शाता है।


जी के एक-पैरामीटर उपसमूह पर लंबवत रूप से कार्य करते हैं। इस क्रिया का अंतर किसी को उप-स्थान की पहचान करने की अनुमति देता है <math>V_e</math> समूह 'जी' के झूठ बीजगणित जी के साथ, मानचित्र द्वारा कहें <math>\iota\colon V_e\to \mathfrak g</math>. Ehresmann कनेक्शन के कनेक्शन फॉर्म v को तब ω(X)=ι(v(X)) द्वारा परिभाषित 'g' में मानों के साथ E पर 1-फॉर्म ω के रूप में देखा जा सकता है।
''G'' के एक-पैरामीटर उपसमूह ''E'' पर लंबवत रूप से कार्य करते हैं। इस क्रिया का अंतर किसी को उप-स्थान की पहचान करने की अनुमति देता है <math>V_e</math> समूह 'G' के लाइ बीजगणित g के साथ, मानचित्र द्वारा <math>\iota\colon V_e\to \mathfrak g</math> होता है। एह्रेसमैन कनेक्शन के कनेक्शन फॉर्म v को तब E पर 1-फॉर्म ω के रूप में देखा जा सकता है। जिसमें 'g' में मान ω(X)=ι(v(X)) द्वारा परिभाषित किया गया है।


इस प्रकार पुनर्व्याख्या की गई, कनेक्शन फॉर्म ω निम्नलिखित दो गुणों को संतुष्ट करता है:
इस प्रकार पुनर्व्याख्या की गई, कनेक्शन फॉर्म ω निम्नलिखित दो गुणों को संतुष्ट करता है:
* यह G क्रिया के तहत समान रूप से रूपांतरित होता है: <math>R_h^*\omega=\hbox{Ad}(h^{-1})\omega</math> सभी h∈G के लिए, जहाँ R<sub>''h''</sub><sup>*</sup> सही क्रिया के तहत [[ पुलबैक (अंतर ज्यामिति) ]] है और विज्ञापन इसके लाई बीजगणित पर G का आसन्न प्रतिनिधित्व है।
* यह G क्रिया के अंतर्गत समान रूप से रूपांतरित होता है: <math>R_h^*\omega=\hbox{Ad}(h^{-1})\omega</math> सभी h∈G के लिए, जहाँ R<sub>''h''</sub><sup>*</sup> सही क्रिया के अंतर्गत [[ पुलबैक (अंतर ज्यामिति) |पुलबैक]] है और विज्ञापन इसके लाई बीजगणित पर G का आसन्न प्रतिनिधित्व है।
* यह लाई बीजगणित के उनके संबंधित तत्वों के लिए लंबवत वेक्टर फ़ील्ड को मैप करता है: ω(X)=ι(X) सभी X∈V के लिए।
* यह लाई बीजगणित के उनके संबंधित तत्वों के लिए लंबवत सदिश क्षेत्र को मानचित्र करता है: ω(X)=ι(X) सभी X∈V के लिए।
इसके विपरीत, यह दिखाया जा सकता है कि प्रमुख बंडल पर ऐसा 'जी'-मूल्यवान 1-रूप उपरोक्त गुणों को संतुष्ट करने वाला क्षैतिज वितरण उत्पन्न करता है।
इसके विपरीत, यह दिखाया जा सकता है कि प्रमुख बंडल पर इस प्रकार के ''''g'''<nowiki/>'-मूल्यवान 1-रूप उपरोक्त गुणों को संतुष्ट करने वाला क्षैतिज वितरण उत्पन्न करता है।


स्थानीय तुच्छीकरण को देखते हुए क्षैतिज सदिश क्षेत्रों में ω को कम किया जा सकता है (इस तुच्छीकरण में)। यह पुलबैक (डिफरेंशियल ज्योमेट्री) के माध्यम से बी पर 1-फॉर्म ω' को परिभाषित करता है। फॉर्म ω' ω को पूरी तरह से निर्धारित करता है, लेकिन यह तुच्छीकरण के विकल्प पर निर्भर करता है। (इस फॉर्म को अक्सर 'कनेक्शन फॉर्म' भी कहा जाता है और इसे केवल ω द्वारा दर्शाया जाता है।)
स्थानीय तुच्छीकरण को देखते हुए क्षैतिज सदिश क्षेत्रों में ω को अल्प किया जा सकता है (इस तुच्छीकरण में)। यह पुलबैक के माध्यम से ''B'' पर 1-फॉर्म ω' को परिभाषित करता है। फॉर्म ω' ω को प्रत्येक प्रकार से निर्धारित करता है, किन्तु यह तुच्छीकरण के विकल्प पर निर्भर करता है। (इस फॉर्म को प्रायः 'कनेक्शन फॉर्म' भी कहा जाता है और इसे केवल ω द्वारा दर्शाया जाता है।)


=== सदिश बंडल और सहपरिवर्ती डेरिवेटिव ===
=== सदिश बंडल और सहपरिवर्ती डेरिवेटिव ===
{{main|Connection (vector bundle)}}
{{main|कनेक्शन (सदिश बंडल)}}


मान लीजिए कि E, M के ऊपर स्मूथ वेक्टर बंडल है। फिर E पर Ehresmann कनेक्शन H को 'रैखिक (Ehresmann) कनेक्शन' कहा जाता है यदि H<sub>''e''</sub> ई ∈ ई पर रैखिक रूप से निर्भर करता है<sub>''x''</sub> प्रत्येक x ∈ M के लिए। इसे सटीक बनाने के लिए, मान लीजिए S<sub>''λ''</sub> पर λ द्वारा स्केलर गुणा को निरूपित करें। फिर एच रैखिक है अगर और केवल अगर <math>H_{\lambda e} = \mathrm d(S_{\lambda})_e (H_{e})</math>किसी भी और अदिश λ के लिए।
मान लीजिए कि E, M के ऊपर स्मूथ सदिश बंडल है। तब E पर एह्रेसमैन कनेक्शन H को 'रैखिक (एह्रेसमैन ) कनेक्शन' कहा जाता है यदि वह प्रत्येक x ∈ M के लिए e ∈ E<sub>''x,''</sub> H<sub>''e''</sub>पर रैखिक रूप से निर्भर करता है। इसे त्रुटिहीन बनाने के लिए, मान लीजिए S<sub>''λ''</sub> को ''E'' पर λ द्वारा अदिश गुणन को निरूपित करें। तब H रैखिक है यदि केवल <math>H_{\lambda e} = \mathrm d(S_{\lambda})_e (H_{e})</math> किसी भी ''e'' ''E'' और अदिश λ के लिए होता है।


चूँकि E वेक्टर बंडल है, इसका वर्टिकल बंडल V π*E के लिए आइसोमॉर्फिक है। इसलिए यदि s, E का भाग है, तब
चूँकि E सदिश बंडल है, इसका वर्टिकल बंडल V π*E के लिए आइसोमॉर्फिक है। इसलिए यदि s, E का भाग है, तो v(ds):TM→s*V=s*π*E=E है। यह सदिश बंडल आकारिकी है, और इसलिए सदिश बंडल होम (''TM'',''E'') के खंड ∇s द्वारा दिया जाता है। तथ्य यह है कि एह्रेसमैन कनेक्शन रैखिक है, इसका अर्थ यह है कि इसके अतिरिक्त यह प्रत्येक कार्य के लिए सत्यापित करता है <math>f</math> पर <math>M</math> लीबनिज नियम, अर्थात <math>\nabla(f s) = f\nabla (s) + d(f)\otimes s</math>, और इसलिए s का सहपरिवर्ती व्युत्पन्न है।
v(ds):TM→s*V=s*π*E=E. यह वेक्टर बंडल आकारिकी है, और इसलिए वेक्टर बंडल होम (टीएम, ) के खंड ∇s द्वारा दिया जाता है। तथ्य यह है कि एह्रेसमैन कनेक्शन रैखिक है, इसका अर्थ यह है कि इसके अतिरिक्त यह प्रत्येक कार्य के लिए सत्यापित करता है <math>f</math> पर <math>M</math> लीबनिज नियम, यानी <math>\nabla(f s) = f\nabla (s) + d(f)\otimes s</math>, और इसलिए s का कनेक्शन (वेक्टर बंडल) है।


इसके विपरीत कनेक्शन (वेक्टर बंडल) वेक्टर बंडल पर H को परिभाषित करके रैखिक एह्रेसमैन कनेक्शन को परिभाषित करता है<sub>''e''</sub>, x=π(e) के साथ e ∈ E के लिए, प्रतिबिंब ds होना चाहिए<sub>''x''</sub>(टी<sub>''x''</sub>M) जहां s, s(x) = e और ∇ के साथ E का खंड है<sub>''X''</sub>एस = 0 सभी एक्स टी के लिए<sub>''x''</sub>एम।
इसके विपरीत सदिश बंडल पर सहसंयोजक व्युत्पन्न रैखिक एह्रेस्मान कनेक्शन को परिभाषित करके परिभाषित करता है,e ∈ E के साथ x=π(e) प्रतिबिंब होने के लिए ds<sub>''x''</sub>(''T<sub>x</sub>M'') जहां s, s(x) के साथ E का खंड है = e और ∇<sub>''X''</sub>''s'' = 0 सभी ''X'' ''T<sub>x</sub>M'' के लिए है।


ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर लागू होता है, तो कभी-कभी स्पर्शरेखा बंडल या [[फ्रेम बंडल]] पर परिभाषित कनेक्शन को संदर्भित करने के लिए उपयोग किया जाता है (जैसे शब्द affine - Affine कनेक्शन देखें)।
ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर प्रारम्भ होता है, तो कभी-कभी स्पर्शरेखा बंडल या [[फ्रेम बंडल]] पर परिभाषित कनेक्शन को संदर्भित करने के लिए उपयोग किया जाता है (जैसे शब्द एफ़िन कनेक्शन देखें)।


=== [[संबद्ध बंडल]] ===
=== [[संबद्ध बंडल]] ===
फाइबर बंडल ( संरचना समूह के साथ संपन्न) पर एह्रेस्मान कनेक्शन कभी-कभी संबंधित बंडल पर एह्रेस्मान कनेक्शन को जन्म देता है। उदाहरण के लिए, (रैखिक) कनेक्शन (वेक्टर बंडल) ई, ऊपर के रूप में की समानता देने के बारे में सोचा, के फ्रेम पीई के जुड़े बंडल पर कनेक्शन प्रेरित करता है। इसके विपरीत, पीई में कनेक्शन (रैखिक) को जन्म देता है ई में कनेक्शन प्रदान किया गया है कि पीई में कनेक्शन फ्रेम पर सामान्य रैखिक समूह की कार्रवाई के संबंध में समतुल्य है (और इस प्रकार कनेक्शन (प्रमुख बंडल))। एह्रेसमैन कनेक्शन के लिए स्वाभाविक रूप से संबद्ध बंडल पर कनेक्शन को प्रेरित करना हमेशा संभव नहीं होता है। उदाहरण के लिए, वेक्टर बंडल के फ्रेम के बंडल पर गैर-समतुल्य एह्रेसमैन कनेक्शन वेक्टर बंडल पर कनेक्शन को प्रेरित नहीं कर सकता है।
फाइबर बंडल (संरचना समूह के साथ संपन्न) पर एह्रेस्मान कनेक्शन कभी-कभी संबंधित बंडल पर एह्रेस्मान कनेक्शन को उत्पन्न करता है। उदाहरण के लिए, सदिश बंडल ''E में'' (रैखिक) कनेक्शन, ऊपर के रूप में ''E'' की समानता देने के सम्बन्ध में सोचा, ''E'' के फ्रेम P''E'' के जुड़े बंडल पर कनेक्शन प्रेरित करता है। इसके विपरीत, P''E'' में कनेक्शन ''E'' में (रैखिक) कनेक्शन को उत्पन्न करता है, P''E'' में कनेक्शन फ्रेम पर सामान्य रैखिक समूह के संबंध में समतुल्य है (और इस प्रकार कनेक्शन (प्रमुख बंडल))। एह्रेसमैन कनेक्शन के लिए स्वाभाविक रूप से संबद्ध बंडल पर कनेक्शन को प्रेरित करना सदैव संभव नहीं होता है। उदाहरण के लिए, सदिश बंडल के फ्रेम के बंडल पर गैर-समतुल्य एह्रेसमैन कनेक्शन सदिश बंडल पर कनेक्शन को प्रेरित नहीं कर सकता है।


मान लीजिए कि E, P का संबद्ध बंडल है, जिससे कि E = P × है<sub>G</sub> एफ। ई पर 'जी-कनेक्शन' एह्रेस्मान कनेक्शन है जैसे समानांतर परिवहन मानचित्र τ: एफ<sub>x</sub> → एफ<sub>x&prime;</sub> तंतुओं के जी-परिवर्तन द्वारा दिया जाता है (पर्याप्त रूप से पास के बिंदु x और x 'M में वक्र से जुड़ा हुआ है)।<ref>See also {{harvp|Lumiste|2001b|loc="Connections on a manifold"}}.</ref>
मान लीजिए कि E, P का संबद्ध बंडल है, जिससे कि E = P × <sub>G</sub>''F'' है। E पर ''''''G'''''-कनेक्शन' एह्रेस्मान कनेक्शन है जैसे समानांतर परिवहन मानचित्र τ: ''F''<sub>x</sub> → ''F''<sub>x&prime;</sub> तंतुओं के ''G''-परिवर्तन द्वारा दिया जाता है (पर्याप्त रूप से निकट के बिंदु x और x 'M में वक्र से जुड़ा हुआ है)।<ref>See also {{harvp|Lumiste|2001b|loc="Connections on a manifold"}}.</ref>
पी पर  प्रमुख कनेक्शन दिया गया है,  संबंधित फाइबर बंडल ई = पी × पर जी-कनेक्शन प्राप्त करता है<sub>G</sub> एफ पुलबैक (अंतर ज्यामिति) के माध्यम से।


इसके विपरीत, ई पर जी-कनेक्शन दिया गया है, संबंधित प्रिंसिपल बंडल पी पर प्रिंसिपल कनेक्शन को पुनर्प्राप्त करना संभव है। इस प्रिंसिपल कनेक्शन को पुनर्प्राप्त करने के लिए,  सामान्य फाइबर एफ पर  फ्रेम की धारणा पेश करता है। चूंकि जी  परिमित-आयामी है<ref>For convenience, we assume that ''G'' is finite-dimensional, although this assumption can safely be dropped with minor modifications.</ref> F पर प्रभावी ढंग से कार्य करने वाले झूठ समूह, बिंदुओं का  परिमित विन्यास मौजूद होना चाहिए (y<sub>1</sub>,...,और<sub>m</sub>) F के भीतर ऐसा है कि G-ऑर्बिट R = {(gy<sub>1</sub>,...,जी<sub>m</sub>) | जी ∈ जी} जी का  प्रमुख सजातीय स्थान है। एफ पर जी-एक्शन के लिए  फ्रेम की धारणा का सामान्यीकरण देने के रूप में आर के बारे में सोच सकते हैं। ध्यान दें कि, चूंकि आर जी के लिए  प्रमुख सजातीय स्थान है, फाइबर ठेठ फाइबर आर के साथ ई से जुड़ा बंडल ई (आर) ई से जुड़े प्रमुख बंडल (समतुल्य) है। लेकिन यह ई के एम-फोल्ड उत्पाद बंडल का  सबबंडल भी है। ई पर क्षैतिज रिक्त स्थान का वितरण इस उत्पाद बंडल पर रिक्त स्थान के वितरण को प्रेरित करता है। चूंकि कनेक्शन से जुड़े समानांतर परिवहन मानचित्र जी-नक्शे हैं, वे उप-स्थान ई (आर) को संरक्षित करते हैं, और इसलिए जी-कनेक्शन ई (आर) पर  प्रमुख जी-कनेक्शन के लिए उतरता है।
P पर प्रमुख कनेक्शन दिया गया है, पुलबैक के माध्यम से संबंधित फाइबर बंडल ''E'' = ''P'' ×<sub>G</sub> ''F'' पर ''G''-कनेक्शन प्राप्त करता है।


सारांश में, संबंधित फाइबर बंडलों के प्रमुख कनेक्शनों के अवरोही और संबंधित फाइबर बंडलों पर जी-कनेक्शन के बीच एक-से- पत्राचार (समतुल्यता तक) है। इस कारण से, संरचना समूह जी के साथ फाइबर बंडलों की श्रेणी में, प्रमुख कनेक्शन में संबंधित बंडलों पर जी-कनेक्शन के लिए सभी प्रासंगिक जानकारी होती है। इसलिए, जब तक संबंधित बंडलों पर कनेक्शन पर विचार करने के लिए कोई प्रमुख कारण नहीं है (जैसा कि, उदाहरण के लिए, [[कार्टन कनेक्शन]] के मामले में है) आमतौर पर मुख्य कनेक्शन के साथ सीधे काम करता है।
इसके विपरीत, E पर ''G''-कनेक्शन दिया गया है, संबंधित प्रमुख बंडल ''P'' पर प्रमुख कनेक्शन को पुनर्प्राप्त करना संभव है। इस प्रमुख कनेक्शन को पुनर्प्राप्त करने के लिए, सामान्य फाइबर ''F'' पर फ्रेम की धारणा प्रस्तुत करता है। चूंकि G परिमित-आयामी है<ref>For convenience, we assume that ''G'' is finite-dimensional, although this assumption can safely be dropped with minor modifications.</ref> जो F पर प्रभावी रूप से कार्य करता है, F के अंदर बिंदुओं (y<sub>1</sub>,...,y<sub>m</sub>) का परिमित विन्यास उपस्थित होना चाहिए जैसे कि G-कक्षा R = {(gy<sub>1</sub>,...,''gy''<sub>m</sub>) | ''g'' ∈ ''G''} ''G'' का प्रमुख सजातीय स्थान है। ''F'' पर ''G''-एक्शन के लिए फ्रेम की धारणा का सामान्यीकरण देने के रूप में ''R'' के विषय में विचार कर सकते हैं। ध्यान दें कि, चूंकि ''R, G'' के लिए प्रमुख सजातीय स्थान है, विशिष्ट फाइबर ''R'' के साथ E से जुड़ा बंडल E(R) E से जुड़ा प्रमुख बंडल है। किन्तु यह स्वयं के साथ ''E'' के ''m''-फोल्ड उत्पाद बंडल का उपबंडल भी है। E पर क्षैतिज रिक्त स्थान का वितरण इस उत्पाद बंडल पर रिक्त स्थान के वितरण को प्रेरित करता है। चूंकि कनेक्शन से जुड़े समानांतर परिवहन मानचित्र ''G''-मानचित्र हैं, वे उप-स्थान E(R) को संरक्षित करते हैं, और इसलिए ''G''-कनेक्शन E(R) पर प्रमुख ''G''-कनेक्शन के लिए उतरता है।
 
सारांश में, संबंधित फाइबर बंडलों के प्रमुख कनेक्शनों के अवरोही और संबंधित फाइबर बंडलों पर ''G''-कनेक्शन के मध्य पत्राचार (समतुल्यता तक) है। इस कारण से, संरचना समूह ''G'' के साथ फाइबर बंडलों की श्रेणी में, प्रमुख कनेक्शन में संबंधित बंडलों पर ''G''-कनेक्शन के लिए सभी प्रासंगिक सूचना होती है। इसलिए, जब तक संबंधित बंडलों के कनेक्शन पर विचार करने के लिए कोई प्रमुख कारण नहीं है (जैसा कि, उदाहरण के लिए, [[कार्टन कनेक्शन]] की स्थिति में है) सामान्यतः मुख्य कनेक्शन के साथ सीधे कार्य करता है।


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 111: Line 111:


==संदर्भ==
==संदर्भ==
{{sfn whitelist|CITEREFLumiste2001b}}
* {{citation|last=Ehresmann|first=Charles|title=Les connexions infinitésimales dans un espace fibré différentiable|series=Colloque de Topologie, Bruxelles|year=1950|pages=29–55|publisher= Georges Thone, Liège; Masson & cie, Paris|url=https://ehres.pagesperso-orange.fr/C.E.WORKS_fichiers/Ehresmann_C.-Oeuvres_I-1_et_I-2.pdf}}
* {{citation|last=Ehresmann|first=Charles|title=Les connexions infinitésimales dans un espace fibré différentiable|series=Colloque de Topologie, Bruxelles|year=1950|pages=29–55|publisher= Georges Thone, Liège; Masson & cie, Paris|url=https://ehres.pagesperso-orange.fr/C.E.WORKS_fichiers/Ehresmann_C.-Oeuvres_I-1_et_I-2.pdf}}
* {{citation|url=http://www.numdam.org/article/SB_1948-1951__1__153_0.pdf|last=Ehresmann|first=Charles|title=Les connexions infinitésimales dans un espace fibré différentiable|series=Séminaire N. Bourbaki|year= 1952|volume= 24|pages=153–168}}
* {{citation|url=http://www.numdam.org/article/SB_1948-1951__1__153_0.pdf|last=Ehresmann|first=Charles|title=Les connexions infinitésimales dans un espace fibré différentiable|series=Séminaire N. Bourbaki|year= 1952|volume= 24|pages=153–168}}
Line 124: Line 123:
*{{springer|id=c/c025180|title=Connections on a manifold|last=Lumiste|first= Ülo|authorlink=Ülo Lumiste |year=2001b}}
*{{springer|id=c/c025180|title=Connections on a manifold|last=Lumiste|first= Ülo|authorlink=Ülo Lumiste |year=2001b}}
*{{citation|last=Reeb|first=Georges|authorlink=Georges Reeb|title=Sur certaines propriétés topologiques des variétés feuilletées| publisher=Herman|place=Paris|year=1952}}
*{{citation|last=Reeb|first=Georges|authorlink=Georges Reeb|title=Sur certaines propriétés topologiques des variétés feuilletées| publisher=Herman|place=Paris|year=1952}}
==अग्रिम पठन==
==अग्रिम पठन==
* [[Raoul Bott]] (1970) "Topological obstruction to integrability", ''Proc. Symp. Pure Math.'', '''16''' Amer. Math. Soc., Providence, RI.
* [[Raoul Bott]] (1970) "Topological obstruction to integrability", ''Proc. Symp. Pure Math.'', '''16''' Amer. Math. Soc., Providence, RI.
Line 131: Line 128:
mr=2284825|editor1-first=Jan|editor1-last= Kubarski|editor2-first= Jean|editor2-last= Pradines|editor3-first= Tomasz|editor3-last= Rybicki|editor4-first= Robert|editor4-last= Wolak|series= Banach Center Publications|volume= 76|publisher= [[Polish Academy of Sciences]]|location= Warsaw|year= 2007}}
mr=2284825|editor1-first=Jan|editor1-last= Kubarski|editor2-first= Jean|editor2-last= Pradines|editor3-first= Tomasz|editor3-last= Rybicki|editor4-first= Robert|editor4-last= Wolak|series= Banach Center Publications|volume= 76|publisher= [[Polish Academy of Sciences]]|location= Warsaw|year= 2007}}


{{DEFAULTSORT:Ehresmann Connection}}[[Category: कनेक्शन (गणित)]]
{{DEFAULTSORT:Ehresmann Connection}}
 
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Ehresmann Connection]]
[[Category:Created On 25/04/2023]]
[[Category:Created On 25/04/2023|Ehresmann Connection]]
[[Category:Lua-based templates|Ehresmann Connection]]
[[Category:Machine Translated Page|Ehresmann Connection]]
[[Category:Pages with maths render errors|Ehresmann Connection]]
[[Category:Pages with script errors|Ehresmann Connection]]
[[Category:Templates Vigyan Ready|Ehresmann Connection]]
[[Category:Templates that add a tracking category|Ehresmann Connection]]
[[Category:Templates that generate short descriptions|Ehresmann Connection]]
[[Category:Templates using TemplateData|Ehresmann Connection]]
[[Category:Wikipedia articles needing page number citations from November 2021]]
[[Category:कनेक्शन (गणित)|Ehresmann Connection]]

Latest revision as of 15:06, 30 October 2023

अवकल ज्यामिति में, एह्रेसमैन कनेक्शन (फ्रांसीसी गणितज्ञ चार्ल्स एह्रेसमैन के पश्चात, जिन्होंने प्रथम बार इस अवधारणा को औपचारिक रूप दिया था) कनेक्शन की धारणा का संस्करण है, जो किसी भी चिकनी फाइबर बंडल पर समझ में आता है। विशेष रूप से, यह अंतर्निहित फाइबर बंडल की संभावित सदिश बंडल संरचना पर निर्भर नहीं करता है, किन्तु फिर भी, रैखिक कनेक्शन को विशेष स्थिति के रूप में देखा जा सकता है। एह्रेसमैन कनेक्शन की अन्य महत्वपूर्ण विशेष स्थिति प्रमुख बंडल पर प्रमुख कनेक्शन हैं, जो कि प्रमुख लाइ समूह एक्शन में समकक्ष होना आवश्यक है।

परिचय

डिफरेंशियल ज्योमेट्री में सहसंयोजक व्युत्पन्न रेखीय अंतर ऑपरेटर है जो सहसंयोजक प्रकार से सदिश बंडल के खंड के दिशात्मक व्युत्पन्न को लेता है। यह सदिश की दिशा में बंडल के समानांतर खंड की धारणा तत्पर करने की भी अनुमति देता है: सदिश X के साथ खंड समानांतर है यदि है। तो सहसंयोजक व्युत्पन्न अल्प से अल्प दो चीजें प्रदान करता है: अंतर ऑपरेटर, और प्रत्येक दिशा में समानांतर होने का अर्थ क्या है। 'एह्रेसमैन कनेक्शन' डिफरेंशियल ऑपरेटर को प्रत्येक प्रकार से विस्थापित कर देता है और प्रत्येक दिशा में समानांतर अनुभागों के संदर्भ में स्वयंसिद्ध रूप से कनेक्शन को परिभाषित करता है (एह्रेसमैन 1950) विशेष रूप से, एह्रेस्मान कनेक्शन फाइबर बंडल के कुल स्थान के लिए प्रत्येक स्पर्शरेखा स्थान के सदिश उप-स्थान को एकल करता है, जिसे क्षैतिज स्थान कहा जाता है। खंड s तब क्षैतिज (अर्थात, समानांतर) दिशा X में है यदि क्षैतिज स्थान में स्थित है। यहाँ हम फलन के रूप में s के सम्बन्ध में बता रहे हैं आधार M से फाइबर बंडल E तक, जिससे कि तब स्पर्शरेखा सदिशों का पुशफॉरवर्ड है। क्षैतिज रिक्त स्थान मिलकर सदिश उपबंडल बनाते हैं।

यह मात्र सदिश बंडलों की तुलना में संरचनाओं के व्यापक वर्ग पर निश्चित होने का तत्काल लाभ है। विशेष रूप से, यह सामान्य फाइबर बंडल पर उचित प्रकार से परिभाषित है। इसके अतिरिक्त, सहसंयोजक व्युत्पन्न की अनेक विशेषताएं अभी भी बनी हुई हैं: समानांतर परिवहन, वक्रता और समरूपता।

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

एह्रेस्मान कनेक्शन के लिए परिष्कृत स्पर्श यह है कि इसे अंतर रूप में प्रदर्शित किया जा सकता है, उसी प्रकार जैसे कनेक्शन प्रपत्र के स्थिति में। यदि समूह तंतुओं पर कार्य करता है और कनेक्शन समतुल्य है, तो रूप भी समतुल्य होगा। इसके अतिरिक्त, कनेक्शन फॉर्म वक्रता की परिभाषा को वक्रता रूप के रूप में भी अनुमति देता है।

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

एह्रेस्मान कनेक्शन क्षैतिज उप-स्थान का विकल्प है प्रत्येक के लिए , जहां कुछ फाइबर बंडल है, सामान्यतः प्रमुख बंडल है।

माना चिकना फाइबर बंडल बनें।[1] मान लीजिये,

'E' के तंतुओं, अर्थात 'V ' के तंतु पर स्पर्शरेखा सदिशों से युक्त ऊर्ध्वाधर बंडल बनें है का यह उपसमूह आधार स्थान M के लिए कोई विहित उप-स्पर्श स्पर्शरेखा नहीं होने पर भी विहित रूप से परिभाषित किया गया है। (बेशक, यह विषमता फाइबर बंडल की परिभाषा से आती है, जिसमें केवल प्रक्षेपण है जबकि उत्पाद दो होंगे।)

क्षैतिज उपस्थानों के माध्यम से परिभाषा

E पर एह्रेसमैन कनेक्शन स्मूथ उपबंडल H है , कनेक्शन का क्षैतिज बंडल कहा जाता है, जो V का पूरक है, इस अर्थ में कि यह सदिश बंडलों के अपघटन के प्रत्यक्ष योग को परिभाषित करता है,[2] अधिक विस्तार से, क्षैतिज बंडल में निम्नलिखित गुण होते हैं।

  • प्रत्येक बिंदु के लिए , स्पर्शरेखा स्थान का सदिश स्थान है से E पर e, e पर कनेक्शन के क्षैतिज उप-स्थान कहा जाता है।
  • सरलता से e पर निर्भर करता है।
  • प्रत्येक के लिए , होता है।
  • TeE में कोई स्पर्शरेखा सदिश (किसी भी e∈E के लिए) क्षैतिज और ऊर्ध्वाधर घटक का योग है, जिससे कि TeE = He + Ve प्राप्त होता है।

अधिक परिष्कृत शब्दों में, इन गुणों को संतुष्ट करने वाले क्षैतिज रिक्त स्थान का ऐसा असाइनमेंट जेट बंडल J1E → E के चिकने खंड से त्रुटिहीन रूप से युग्मित होता है।

कनेक्शन फार्म के माध्यम से परिभाषा

समतुल्य रूप से, Φ को ऊर्ध्वाधर बंडल V पर H के साथ प्रक्षेपण होने दें (जिससे कि H = ker Φ)। यह TE के क्षैतिज और ऊर्ध्वाधर भागों में उपरोक्त प्रत्यक्ष योग अपघटन द्वारा निर्धारित किया जाता है और इसे कभी-कभी एह्रेसमैन कनेक्शन का कनेक्शन रूप कहा जाता है। इस प्रकार Φ निम्नलिखित गुणों (सामान्य रूप से अनुमानों) के साथ TE से स्वयं के लिए सदिश बंडल समरूपता है:

  • Φ2 = Φ;
  • Φ V =Im Φ पर तत्समक है।

इसके विपरीत यदि Φ TE का सदिश बंडल एंडोमोर्फिज्म है जो इन दो गुणों को संतुष्ट करता है, तो H = ker Φ एह्रेस्मान कनेक्शन का क्षैतिज उपबंडल है।

अंत में, ध्यान दें कि Φ, अपने आप में प्रत्येक स्पर्शरेखा स्थान का रेखीय मानचित्रण होने के सम्बन्ध में, E पर TE-मूल्यवान 1-रूप के रूप में भी माना जा सकता है। यह आने वाले अनुभागों में उपयोगी परिप्रेक्ष्य होगा।

क्षैतिज लिफ्टों के माध्यम से समानांतर परिवहन

एह्रेस्मान कनेक्शन भी फाइबर बंडल E के कुल स्थान में बेस मैनिफोल्ड M से वक्र उठाने के लिए विधि निर्धारित करता है जिससे कि वक्र के स्पर्शक क्षैतिज हों।[2][3] ये क्षैतिज लिफ्ट कनेक्शन औपचारिकता के अन्य संस्करणों के लिए समानांतर परिवहन का प्रत्यक्ष एनालॉग हैं।

विशेष रूप से, मान लें कि γ(t), M में बिंदु x = γ(0) से होते हुए चिकना वक्र है। मान लीजिए e ∈ Ex x के ऊपर फाइबर में बिंदु है। E के माध्यम से γ का 'लिफ्ट' वक्र है कुल स्थान E में ऐसा है:

, और

लिफ्ट क्षैतिज है यदि, इसके अतिरिक्त, वक्र का प्रत्येक स्पर्शरेखा TE के क्षैतिज उपबंडल में स्थित है:

इसे π और Φ पर प्रारम्भ श्रेणी-शून्यता प्रमेय का उपयोग करके दिखाया जा सकता है कि प्रत्येक सदिश X∈TxM में सदिश के लिए अद्वितीय क्षैतिज लिफ्ट है। विशेष रूप से, γ के लिए स्पर्शरेखा क्षेत्र पुलबैक बंडल γ*E के कुल स्थान में क्षैतिज सदिश क्षेत्र उत्पन्न करता है। पिकार्ड-लिंडेलोफ प्रमेय के अनुसार, यह सदिश क्षेत्र पूर्णांकीय है। इस प्रकार, किसी वक्र γ और बिंदु e पर x = γ(0) के लिए, छोटे समय t के लिए γ से e तक का अद्वितीय क्षैतिज लिफ़्ट उपस्थित है।

ध्यान दें कि, सामान्य एह्रेस्मान कनेक्शन के लिए, क्षैतिज लिफ्ट पथ-निर्भर है। जब M में दो चिकने वक्र, γ1(0) = γ2(0) = x0 पर युग्मित होते हैं और अन्य बिंदु x1∈ M पर प्रतिच्छेद करते हैं, समान e ∈ π-1(x0) के माध्यम से क्षैतिज रूप से E तक उठाये जाते हैं, तो वे सामान्यतः π-1(x1) के विभिन्न बिंदुओं से निकलते हैं। फाइबर बंडलों के अवकल ज्यामिति के लिए इसके महत्वपूर्ण परिणाम है: H के वर्गों का स्थान E पर सदिश क्षेत्र के स्थान का लाइ सबलजेब्रा नहीं है, क्योंकि यह सदिश क्षेत्र के लाई ब्रैकेट के अंतर्गत बंद नहीं है। लाई ब्रैकेट के नीचे बंद होने की इस विफलता को वक्रता द्वारा मापा जाता है।

गुण

वक्रता

मान लीजिए कि Φ एह्रेस्मान कनेक्शन है। फिर Φ की वक्रता द्वारा दी गई है:[2]

जहां [-,-] स्वयं के साथ {{mvar|Φ}∈ Ω1(E,TE) फ्रॉलीशर-निजेनहुइस ब्रैकेट को दर्शाता है। इस प्रकार R ∈ Ω2(E,TE) E पर दो रूप है जिसमें TE द्वारा परिभाषित मान हैं:

,

या, दूसरे शब्दों में,

,

जहां X = XH + XV क्रमशः H और V घटकों में प्रत्यक्ष योग अपघटन को दर्शाता है। वक्रता के लिए इस अंतिम अभिव्यक्ति से, यह समान रूप से लुप्त होने के लिए देखा जाता है, और केवल यदि, क्षैतिज उपबंडल फ्रोबेनियस पूर्णांक है। इस प्रकार वक्रता क्षैतिज उपबंडल के लिए फाइबर बंडल EM के अनुप्रस्थ वर्गों को प्राप्त करने के लिए अभिन्नता की स्थिति है।

एह्रेस्मान कनेक्शन की वक्रता भी बियांची पहचान के संस्करण को संतुष्ट करती है:

जहां पुनः [-,-] {{mvar|Φ}∈ Ω1(E,TE) और R ∈ Ω2(E,TE) का फ्रॉलीशर-निजेनहुइस का ब्रैकेट है।

पूर्णता

एह्रेस्मान कनेक्शन घटता को अद्वितीय क्षैतिज लिफ्ट स्थानीय संपत्ति रखने की अनुमति देता है। पूर्ण एह्रेस्मान कनेक्शन के लिए, वक्र क्षैतिज रूप से अपने संपूर्ण डोमेन पर उठाया जा सकता है।

होलोनॉमी

कनेक्शन की सपाटता स्थानीय रूप से क्षैतिज रिक्त स्थान के फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी) से युग्मित होती है। दूसरे चरम पर, गैर-लुप्त होने वाली वक्रता का तात्पर्य कनेक्शन की समग्रता की उपस्थिति से है।[4]

विशेष स्थिति

प्रमुख बंडल और प्रमुख कनेक्शन

प्रमुख बंडल कनेक्शन फॉर्म स्पर्शरेखा बंडल पर प्रक्षेपण ऑपरेटर के रूप में विचार किया जा सकता है मुख्य बंडल का होता है। कनेक्शन फॉर्म का कर्नेल संबंधित एह्रेसमैन कनेक्शन के लिए क्षैतिज उप-स्थानों द्वारा दिया गया है।

मान लीजिए कि E, M के ऊपर चिकना प्रमुख G-बंडल है। फिर E पर एह्रेसमैन कनेक्शन H को 'प्रमुख (एह्रेसमैन ) कनेक्शन' कहा जाता है।[3] यदि यह E पर G क्रिया के संबंध में इस अर्थ में अपरिवर्तनीय है:

किसी भी e∈E और g∈G के लिए; यहाँ E पर e, g के समूह क्रिया अंतर को दर्शाता है।

G के एक-पैरामीटर उपसमूह E पर लंबवत रूप से कार्य करते हैं। इस क्रिया का अंतर किसी को उप-स्थान की पहचान करने की अनुमति देता है समूह 'G' के लाइ बीजगणित g के साथ, मानचित्र द्वारा होता है। एह्रेसमैन कनेक्शन के कनेक्शन फॉर्म v को तब E पर 1-फॉर्म ω के रूप में देखा जा सकता है। जिसमें 'g' में मान ω(X)=ι(v(X)) द्वारा परिभाषित किया गया है।

इस प्रकार पुनर्व्याख्या की गई, कनेक्शन फॉर्म ω निम्नलिखित दो गुणों को संतुष्ट करता है:

  • यह G क्रिया के अंतर्गत समान रूप से रूपांतरित होता है: सभी h∈G के लिए, जहाँ Rh* सही क्रिया के अंतर्गत पुलबैक है और विज्ञापन इसके लाई बीजगणित पर G का आसन्न प्रतिनिधित्व है।
  • यह लाई बीजगणित के उनके संबंधित तत्वों के लिए लंबवत सदिश क्षेत्र को मानचित्र करता है: ω(X)=ι(X) सभी X∈V के लिए।

इसके विपरीत, यह दिखाया जा सकता है कि प्रमुख बंडल पर इस प्रकार के 'g'-मूल्यवान 1-रूप उपरोक्त गुणों को संतुष्ट करने वाला क्षैतिज वितरण उत्पन्न करता है।

स्थानीय तुच्छीकरण को देखते हुए क्षैतिज सदिश क्षेत्रों में ω को अल्प किया जा सकता है (इस तुच्छीकरण में)। यह पुलबैक के माध्यम से B पर 1-फॉर्म ω' को परिभाषित करता है। फॉर्म ω' ω को प्रत्येक प्रकार से निर्धारित करता है, किन्तु यह तुच्छीकरण के विकल्प पर निर्भर करता है। (इस फॉर्म को प्रायः 'कनेक्शन फॉर्म' भी कहा जाता है और इसे केवल ω द्वारा दर्शाया जाता है।)

सदिश बंडल और सहपरिवर्ती डेरिवेटिव

मान लीजिए कि E, M के ऊपर स्मूथ सदिश बंडल है। तब E पर एह्रेसमैन कनेक्शन H को 'रैखिक (एह्रेसमैन ) कनेक्शन' कहा जाता है यदि वह प्रत्येक x ∈ M के लिए e ∈ Ex, Heपर रैखिक रूप से निर्भर करता है। इसे त्रुटिहीन बनाने के लिए, मान लीजिए Sλ को E पर λ द्वारा अदिश गुणन को निरूपित करें। तब H रैखिक है यदि केवल किसी भी eE और अदिश λ के लिए होता है।

चूँकि E सदिश बंडल है, इसका वर्टिकल बंडल V π*E के लिए आइसोमॉर्फिक है। इसलिए यदि s, E का भाग है, तो v(ds):TM→s*V=s*π*E=E है। यह सदिश बंडल आकारिकी है, और इसलिए सदिश बंडल होम (TM,E) के खंड ∇s द्वारा दिया जाता है। तथ्य यह है कि एह्रेसमैन कनेक्शन रैखिक है, इसका अर्थ यह है कि इसके अतिरिक्त यह प्रत्येक कार्य के लिए सत्यापित करता है पर लीबनिज नियम, अर्थात , और इसलिए s का सहपरिवर्ती व्युत्पन्न है।

इसके विपरीत सदिश बंडल पर सहसंयोजक व्युत्पन्न ∇ रैखिक एह्रेस्मान कनेक्शन को परिभाषित करके परिभाषित करता है,e ∈ E के साथ x=π(e) प्रतिबिंब होने के लिए dsx(TxM) जहां s, s(x) के साथ E का खंड है = e और ∇Xs = 0 सभी XTxM के लिए है।

ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर प्रारम्भ होता है, तो कभी-कभी स्पर्शरेखा बंडल या फ्रेम बंडल पर परिभाषित कनेक्शन को संदर्भित करने के लिए उपयोग किया जाता है (जैसे शब्द एफ़िन कनेक्शन देखें)।

संबद्ध बंडल

फाइबर बंडल (संरचना समूह के साथ संपन्न) पर एह्रेस्मान कनेक्शन कभी-कभी संबंधित बंडल पर एह्रेस्मान कनेक्शन को उत्पन्न करता है। उदाहरण के लिए, सदिश बंडल E में (रैखिक) कनेक्शन, ऊपर के रूप में E की समानता देने के सम्बन्ध में सोचा, E के फ्रेम PE के जुड़े बंडल पर कनेक्शन प्रेरित करता है। इसके विपरीत, PE में कनेक्शन E में (रैखिक) कनेक्शन को उत्पन्न करता है, PE में कनेक्शन फ्रेम पर सामान्य रैखिक समूह के संबंध में समतुल्य है (और इस प्रकार कनेक्शन (प्रमुख बंडल))। एह्रेसमैन कनेक्शन के लिए स्वाभाविक रूप से संबद्ध बंडल पर कनेक्शन को प्रेरित करना सदैव संभव नहीं होता है। उदाहरण के लिए, सदिश बंडल के फ्रेम के बंडल पर गैर-समतुल्य एह्रेसमैन कनेक्शन सदिश बंडल पर कनेक्शन को प्रेरित नहीं कर सकता है।

मान लीजिए कि E, P का संबद्ध बंडल है, जिससे कि E = P × GF है। E पर 'G-कनेक्शन' एह्रेस्मान कनेक्शन है जैसे समानांतर परिवहन मानचित्र τ: FxFx′ तंतुओं के G-परिवर्तन द्वारा दिया जाता है (पर्याप्त रूप से निकट के बिंदु x और x 'M में वक्र से जुड़ा हुआ है)।[5]

P पर प्रमुख कनेक्शन दिया गया है, पुलबैक के माध्यम से संबंधित फाइबर बंडल E = P ×G F पर G-कनेक्शन प्राप्त करता है।

इसके विपरीत, E पर G-कनेक्शन दिया गया है, संबंधित प्रमुख बंडल P पर प्रमुख कनेक्शन को पुनर्प्राप्त करना संभव है। इस प्रमुख कनेक्शन को पुनर्प्राप्त करने के लिए, सामान्य फाइबर F पर फ्रेम की धारणा प्रस्तुत करता है। चूंकि G परिमित-आयामी है[6] जो F पर प्रभावी रूप से कार्य करता है, F के अंदर बिंदुओं (y1,...,ym) का परिमित विन्यास उपस्थित होना चाहिए जैसे कि G-कक्षा R = {(gy1,...,gym) | gG} G का प्रमुख सजातीय स्थान है। F पर G-एक्शन के लिए फ्रेम की धारणा का सामान्यीकरण देने के रूप में R के विषय में विचार कर सकते हैं। ध्यान दें कि, चूंकि R, G के लिए प्रमुख सजातीय स्थान है, विशिष्ट फाइबर R के साथ E से जुड़ा बंडल E(R) E से जुड़ा प्रमुख बंडल है। किन्तु यह स्वयं के साथ E के m-फोल्ड उत्पाद बंडल का उपबंडल भी है। E पर क्षैतिज रिक्त स्थान का वितरण इस उत्पाद बंडल पर रिक्त स्थान के वितरण को प्रेरित करता है। चूंकि कनेक्शन से जुड़े समानांतर परिवहन मानचित्र G-मानचित्र हैं, वे उप-स्थान E(R) को संरक्षित करते हैं, और इसलिए G-कनेक्शन E(R) पर प्रमुख G-कनेक्शन के लिए उतरता है।

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

टिप्पणियाँ

  1. These considerations apply equally well to the more general situation in which is a surjective submersion: i.e., E is a fibered manifold over M. In an alternative generalization, due to Lang (1999) and Eliason (1967), E and M are permitted to be Banach manifolds, with E a fiber bundle over M as above.
  2. 2.0 2.1 2.2 Kolář, Michor & Slovák (1993), p. [page needed].
  3. 3.0 3.1 Kobayashi & Nomizu (1996a), p. [page needed], Vol. 1.
  4. Holonomy for Ehresmann connections in fiber bundles is sometimes called the Ehresmann-Reeb holonomy or leaf holonomy in reference to the first detailed study using Ehresmann connections to study foliations in (Reeb 1952)
  5. See also Lumiste (2001b), "Connections on a manifold".
  6. For convenience, we assume that G is finite-dimensional, although this assumption can safely be dropped with minor modifications.

संदर्भ

अग्रिम पठन