एह्रेसमैन कनेक्शन: Difference between revisions
(Created page with "{{Use American English|date=March 2019}}{{Short description|Differential geometry construct on fiber bundles}} विभेदक ज्यामिति में, एक...") |
No edit summary |
||
(26 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Differential geometry construct on fiber bundles}} | |||
अवकल ज्यामिति में, '''एह्रेसमैन कनेक्शन''' (फ्रांसीसी गणितज्ञ चार्ल्स एह्रेसमैन के पश्चात, जिन्होंने प्रथम बार इस अवधारणा को औपचारिक रूप दिया था) [[कनेक्शन (गणित)|कनेक्शन]] की धारणा का संस्करण है, जो किसी भी चिकनी [[फाइबर बंडल]] पर समझ में आता है। विशेष रूप से, यह अंतर्निहित फाइबर बंडल की संभावित सदिश बंडल संरचना पर निर्भर नहीं करता है, किन्तु फिर भी, [[कनेक्शन (वेक्टर बंडल)|रैखिक कनेक्शन]] को विशेष स्थिति के रूप में देखा जा सकता है। एह्रेसमैन कनेक्शन की अन्य महत्वपूर्ण विशेष स्थिति प्रमुख बंडल पर [[ कनेक्शन (प्रमुख बंडल) |प्रमुख कनेक्शन]] हैं, जो कि प्रमुख [[झूठ समूह|लाइ समूह]] एक्शन में समकक्ष होना आवश्यक है। | |||
== परिचय == | == परिचय == | ||
डिफरेंशियल ज्योमेट्री में | डिफरेंशियल ज्योमेट्री में सहसंयोजक व्युत्पन्न रेखीय अंतर ऑपरेटर है जो सहसंयोजक प्रकार से [[वेक्टर बंडल|सदिश बंडल]] के खंड के [[दिशात्मक व्युत्पन्न]] को लेता है। यह सदिश की दिशा में बंडल के [[समानांतर परिवहन|समानांतर]] खंड की धारणा तत्पर करने की भी अनुमति देता है: सदिश ''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| | [[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>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'' पर | ''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>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> होता है। | ||
* | * T<sub>''e''</sub>E में कोई स्पर्शरेखा सदिश (किसी भी e∈E के लिए) क्षैतिज और ऊर्ध्वाधर घटक का योग है, जिससे कि T<sub>''e''</sub>E = H<sub>''e''</sub> + V<sub>''e''</sub> प्राप्त होता है। | ||
अधिक परिष्कृत शब्दों में, इन गुणों को संतुष्ट करने वाले क्षैतिज रिक्त स्थान का ऐसा असाइनमेंट [[जेट बंडल]] | अधिक परिष्कृत शब्दों में, इन गुणों को संतुष्ट करने वाले क्षैतिज रिक्त स्थान का ऐसा असाइनमेंट [[जेट बंडल]] J<sup>1</sup>E → E के चिकने खंड से त्रुटिहीन रूप से युग्मित होता है। | ||
=== | === कनेक्शन फार्म के माध्यम से परिभाषा === | ||
समतुल्य रूप से, {{mvar|Φ}} को ऊर्ध्वाधर बंडल V पर H के साथ प्रक्षेपण होने दें (जिससे कि H = ker {{mvar|Φ}})। यह ''TE'' के क्षैतिज और ऊर्ध्वाधर भागों में उपरोक्त प्रत्यक्ष योग अपघटन द्वारा निर्धारित किया जाता है और इसे कभी-कभी एह्रेसमैन कनेक्शन का कनेक्शन रूप कहा जाता है। इस प्रकार {{mvar|Φ}} निम्नलिखित गुणों (सामान्य रूप से अनुमानों) के साथ TE से स्वयं के लिए सदिश बंडल समरूपता है: | |||
* {{mvar|Φ}}<sup>2</sup> = {{mvar|Φ}}; | * {{mvar|Φ}}<sup>2</sup> = {{mvar|Φ}}; | ||
* {{mvar|Φ}} V =Im | * {{mvar|Φ}} V =Im {{mvar|Φ}} पर तत्समक है। | ||
इसके विपरीत यदि {{mvar|Φ}} TE का सदिश बंडल [[एंडोमोर्फिज्म]] है जो इन दो गुणों को संतुष्ट करता है, तो H = ker {{mvar|Φ}} एह्रेस्मान कनेक्शन का क्षैतिज | इसके विपरीत यदि {{mvar|Φ}} TE का सदिश बंडल [[एंडोमोर्फिज्म]] है जो इन दो गुणों को संतुष्ट करता है, तो H = ker {{mvar|Φ}} एह्रेस्मान कनेक्शन का क्षैतिज उपबंडल है। | ||
अंत में, ध्यान दें {{mvar|Φ}}, अपने आप में प्रत्येक स्पर्शरेखा स्थान का | अंत में, ध्यान दें कि {{mvar|Φ}}, अपने आप में प्रत्येक स्पर्शरेखा स्थान का रेखीय मानचित्रण होने के सम्बन्ध में, E पर TE-मूल्यवान 1-रूप के रूप में भी माना जा सकता है। यह आने वाले अनुभागों में उपयोगी परिप्रेक्ष्य होगा। | ||
=== क्षैतिज लिफ्टों के माध्यम से समानांतर परिवहन === | === क्षैतिज लिफ्टों के माध्यम से समानांतर परिवहन === | ||
एह्रेस्मान कनेक्शन भी फाइबर बंडल ''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) से होते हुए | विशेष रूप से, मान लें कि ''γ''(''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'' के क्षैतिज उपबंडल में स्थित है: | |||
:<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>M में सदिश के लिए अद्वितीय क्षैतिज लिफ्ट <math>\tilde{X} \in T_e E</math> है। विशेष रूप से, γ के लिए स्पर्शरेखा क्षेत्र [[पुलबैक बंडल]] γ*E के कुल स्थान में क्षैतिज सदिश क्षेत्र उत्पन्न करता है। पिकार्ड-लिंडेलोफ प्रमेय के अनुसार, यह सदिश क्षेत्र पूर्णांकीय है। इस प्रकार, किसी वक्र γ और बिंदु e पर x = γ(0) के लिए, छोटे समय t के लिए γ से e तक का अद्वितीय क्षैतिज लिफ़्ट उपस्थित है। | ||
ध्यान दें कि, सामान्य एह्रेस्मान कनेक्शन के लिए, क्षैतिज लिफ्ट पथ-निर्भर है। जब M में दो चिकने वक्र, γ | ध्यान दें कि, सामान्य एह्रेस्मान कनेक्शन के लिए, क्षैतिज लिफ्ट पथ-निर्भर है। जब 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}}}} | |||
:<math>R = \tfrac{1}{2}[\varPhi,\varPhi]</math> | :<math>R = \tfrac{1}{2}[\varPhi,\varPhi]</math> | ||
जहां [-,-] | <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>, | ||
जहां | जहां ''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> | ||
जहां | <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> | ||
== विशेष स्थिति == | |||
=== प्रमुख बंडल और प्रमुख कनेक्शन === | |||
== | {{main|कनेक्शन (प्रमुख बंडल)}} | ||
[[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> ''E'' पर ''e,'' ''g'' के [[समूह क्रिया (गणित)|समूह क्रिया]] अंतर को दर्शाता है। | |||
''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 क्रिया के | * यह G क्रिया के अंतर्गत समान रूप से रूपांतरित होता है: <math>R_h^*\omega=\hbox{Ad}(h^{-1})\omega</math> सभी h∈G के लिए, जहाँ R<sub>''h''</sub><sup>*</sup> सही क्रिया के अंतर्गत [[ पुलबैक (अंतर ज्यामिति) |पुलबैक]] है और विज्ञापन इसके लाई बीजगणित पर G का आसन्न प्रतिनिधित्व है। | ||
* यह लाई बीजगणित के उनके संबंधित तत्वों के लिए लंबवत | * यह लाई बीजगणित के उनके संबंधित तत्वों के लिए लंबवत सदिश क्षेत्र को मानचित्र करता है: ω(X)=ι(X) सभी X∈V के लिए। | ||
इसके विपरीत, यह दिखाया जा सकता है कि | इसके विपरीत, यह दिखाया जा सकता है कि प्रमुख बंडल पर इस प्रकार के ''''g'''<nowiki/>'-मूल्यवान 1-रूप उपरोक्त गुणों को संतुष्ट करने वाला क्षैतिज वितरण उत्पन्न करता है। | ||
स्थानीय तुच्छीकरण को देखते हुए क्षैतिज सदिश क्षेत्रों में ω को अल्प किया जा सकता है (इस तुच्छीकरण में)। यह पुलबैक के माध्यम से ''B'' पर 1-फॉर्म ω' को परिभाषित करता है। फॉर्म ω' ω को प्रत्येक प्रकार से निर्धारित करता है, किन्तु यह तुच्छीकरण के विकल्प पर निर्भर करता है। (इस फॉर्म को प्रायः 'कनेक्शन फॉर्म' भी कहा जाता है और इसे केवल ω द्वारा दर्शाया जाता है।) | |||
=== सदिश बंडल और सहपरिवर्ती डेरिवेटिव === | === सदिश बंडल और सहपरिवर्ती डेरिवेटिव === | ||
{{main| | {{main|कनेक्शन (सदिश बंडल)}} | ||
मान लीजिए कि E, M के ऊपर | मान लीजिए कि 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 | चूँकि 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 | |||
इसके विपरीत | इसके विपरीत सदिश बंडल पर सहसंयोजक व्युत्पन्न ∇ रैखिक एह्रेस्मान कनेक्शन को परिभाषित करके परिभाषित करता है,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'' के लिए है। | ||
ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर | ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर प्रारम्भ होता है, तो कभी-कभी स्पर्शरेखा बंडल या [[फ्रेम बंडल]] पर परिभाषित कनेक्शन को संदर्भित करने के लिए उपयोग किया जाता है (जैसे शब्द एफ़िन कनेक्शन देखें)। | ||
=== [[संबद्ध बंडल]] === | === [[संबद्ध बंडल]] === | ||
फाइबर बंडल (संरचना समूह के साथ संपन्न) पर एह्रेस्मान कनेक्शन कभी-कभी संबंधित बंडल पर एह्रेस्मान कनेक्शन को उत्पन्न करता है। उदाहरण के लिए, सदिश बंडल ''E में'' (रैखिक) कनेक्शन, ऊपर के रूप में ''E'' की समानता देने के सम्बन्ध में सोचा, ''E'' के फ्रेम P''E'' के जुड़े बंडल पर कनेक्शन प्रेरित करता है। इसके विपरीत, P''E'' में कनेक्शन ''E'' में (रैखिक) कनेक्शन को उत्पन्न करता है, P''E'' में कनेक्शन फ्रेम पर सामान्य रैखिक समूह के संबंध में समतुल्य है (और इस प्रकार कनेक्शन (प्रमुख बंडल))। एह्रेसमैन कनेक्शन के लिए स्वाभाविक रूप से संबद्ध बंडल पर कनेक्शन को प्रेरित करना सदैव संभव नहीं होता है। उदाहरण के लिए, सदिश बंडल के फ्रेम के बंडल पर गैर-समतुल्य एह्रेसमैन कनेक्शन सदिश बंडल पर कनेक्शन को प्रेरित नहीं कर सकता है। | |||
मान लीजिए कि E, P का संबद्ध बंडल है, जिससे कि E = P × <sub>G</sub>''F'' है। E पर ''''''G'''''-कनेक्शन' एह्रेस्मान कनेक्शन है जैसे समानांतर परिवहन मानचित्र τ: ''F''<sub>x</sub> → ''F''<sub>x′</sub> तंतुओं के ''G''-परिवर्तन द्वारा दिया जाता है (पर्याप्त रूप से निकट के बिंदु x और x 'M में वक्र से जुड़ा हुआ है)।<ref>See also {{harvp|Lumiste|2001b|loc="Connections on a manifold"}}.</ref> | |||
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''-कनेक्शन के लिए सभी प्रासंगिक सूचना होती है। इसलिए, जब तक संबंधित बंडलों के कनेक्शन पर विचार करने के लिए कोई प्रमुख कारण नहीं है (जैसा कि, उदाहरण के लिए, [[कार्टन कनेक्शन]] की स्थिति में है) सामान्यतः मुख्य कनेक्शन के साथ सीधे कार्य करता है। | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
<references/> | <references/> | ||
==संदर्भ== | ==संदर्भ== | ||
* {{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 127: | 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 134: | 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}} | {{DEFAULTSORT:Ehresmann Connection}} | ||
[[Category: | [[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 घटकों में प्रत्यक्ष योग अपघटन को दर्शाता है। वक्रता के लिए इस अंतिम अभिव्यक्ति से, यह समान रूप से लुप्त होने के लिए देखा जाता है, और केवल यदि, क्षैतिज उपबंडल फ्रोबेनियस पूर्णांक है। इस प्रकार वक्रता क्षैतिज उपबंडल के लिए फाइबर बंडल E → M के अनुप्रस्थ वर्गों को प्राप्त करने के लिए अभिन्नता की स्थिति है।
एह्रेस्मान कनेक्शन की वक्रता भी बियांची पहचान के संस्करण को संतुष्ट करती है:
जहां पुनः [-,-] {{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 रैखिक है यदि केवल किसी भी e ∈ E और अदिश λ के लिए होता है।
चूँकि 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 सभी X ∈ TxM के लिए है।
ध्यान दें कि (ऐतिहासिक कारणों से) शब्द रेखीय जब कनेक्शन पर प्रारम्भ होता है, तो कभी-कभी स्पर्शरेखा बंडल या फ्रेम बंडल पर परिभाषित कनेक्शन को संदर्भित करने के लिए उपयोग किया जाता है (जैसे शब्द एफ़िन कनेक्शन देखें)।
संबद्ध बंडल
फाइबर बंडल (संरचना समूह के साथ संपन्न) पर एह्रेस्मान कनेक्शन कभी-कभी संबंधित बंडल पर एह्रेस्मान कनेक्शन को उत्पन्न करता है। उदाहरण के लिए, सदिश बंडल E में (रैखिक) कनेक्शन, ऊपर के रूप में E की समानता देने के सम्बन्ध में सोचा, E के फ्रेम PE के जुड़े बंडल पर कनेक्शन प्रेरित करता है। इसके विपरीत, PE में कनेक्शन E में (रैखिक) कनेक्शन को उत्पन्न करता है, PE में कनेक्शन फ्रेम पर सामान्य रैखिक समूह के संबंध में समतुल्य है (और इस प्रकार कनेक्शन (प्रमुख बंडल))। एह्रेसमैन कनेक्शन के लिए स्वाभाविक रूप से संबद्ध बंडल पर कनेक्शन को प्रेरित करना सदैव संभव नहीं होता है। उदाहरण के लिए, सदिश बंडल के फ्रेम के बंडल पर गैर-समतुल्य एह्रेसमैन कनेक्शन सदिश बंडल पर कनेक्शन को प्रेरित नहीं कर सकता है।
मान लीजिए कि E, P का संबद्ध बंडल है, जिससे कि E = P × GF है। E पर 'G-कनेक्शन' एह्रेस्मान कनेक्शन है जैसे समानांतर परिवहन मानचित्र τ: Fx → Fx′ तंतुओं के 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) | 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-कनेक्शन के लिए सभी प्रासंगिक सूचना होती है। इसलिए, जब तक संबंधित बंडलों के कनेक्शन पर विचार करने के लिए कोई प्रमुख कारण नहीं है (जैसा कि, उदाहरण के लिए, कार्टन कनेक्शन की स्थिति में है) सामान्यतः मुख्य कनेक्शन के साथ सीधे कार्य करता है।
टिप्पणियाँ
- ↑ 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.0 2.1 2.2 Kolář, Michor & Slovák (1993), p. [page needed].
- ↑ 3.0 3.1 Kobayashi & Nomizu (1996a), p. [page needed], Vol. 1.
- ↑ 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)
- ↑ See also Lumiste (2001b), "Connections on a manifold" .
- ↑ For convenience, we assume that G is finite-dimensional, although this assumption can safely be dropped with minor modifications.
संदर्भ
- Ehresmann, Charles (1950), Les connexions infinitésimales dans un espace fibré différentiable (PDF), Colloque de Topologie, Bruxelles, Georges Thone, Liège; Masson & cie, Paris, pp. 29–55
- Ehresmann, Charles (1952), Les connexions infinitésimales dans un espace fibré différentiable (PDF), Séminaire N. Bourbaki, vol. 24, pp. 153–168
- Eliason, H (1967), "Geometry of manifolds of maps", Journal of Differential Geometry, 1: 169–194
- Kobayashi, Shoshichi (1957), "Theory of connections", Ann. Mat. Pura Appl., 43: 119–194, doi:10.1007/BF02411907, MR 0096276, S2CID 120972987
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996a), Foundations of Differential Geometry, vol. 1 (New ed.), Wiley-Interscience, ISBN 0-471-15733-3
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996b), Foundations of Differential Geometry, vol. 2 (New ed.), Wiley-Interscience, ISBN 978-0-471-15732-8
- Kolář, Ivan; Michor, Peter; Slovák, Jan (1993), Natural operators in differential geometry (PDF), Springer-Verlag, archived from the original (PDF) on 2017-03-30, retrieved 2007-04-25
- Lang, Serge (1999), Fundamentals of differential geometry, Springer-Verlag, ISBN 0-387-98593-X
- Lumiste, Ülo (2001a) [1994], "Connection on a fibre bundle", Encyclopedia of Mathematics, EMS Press
- Lumiste, Ülo (2001b) [1994], "Connections on a manifold", Encyclopedia of Mathematics, EMS Press
- Reeb, Georges (1952), Sur certaines propriétés topologiques des variétés feuilletées, Paris: Herman
अग्रिम पठन
- Raoul Bott (1970) "Topological obstruction to integrability", Proc. Symp. Pure Math., 16 Amer. Math. Soc., Providence, RI.
- Kubarski, Jan; Pradines, Jean; Rybicki, Tomasz; Wolak, Robert, eds. (2007). Geometry and topology of manifolds: The mathematical legacy of Charles Ehresmann on the occasion of the hundredth anniversary of his birthday. Banach Center Publications. Vol. 76. Warsaw: Polish Academy of Sciences. MR 2284825.