लंबवत और क्षैतिज बंडल: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematics concept}} गणित में, ऊर्ध्वाधर बंडल और क्षैतिज बंडल एक फाइबर ब...")
 
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Mathematics concept}}
{{Short description|Mathematics concept}}
गणित में, ऊर्ध्वाधर बंडल और क्षैतिज बंडल एक फाइबर बंडल से जुड़े [[वेक्टर बंडल]] होते हैं#विभेदक फाइबर बंडल। अधिक सटीक रूप से, एक चिकनी फाइबर बंडल दिया गया <math>\pi\colon E\to B</math>, लंबवत बंडल <math>VE</math> और क्षैतिज बंडल <math>HE</math> [[स्पर्शरेखा बंडल]] के [[सबबंडल]] हैं <math>TE</math> का <math>E</math> जिसका व्हिटनी योग संतुष्ट करता है <math>VE\oplus HE\cong TE</math>. इसका मतलब है कि, प्रत्येक बिंदु पर <math>e\in E</math>, तंतु <math>V_eE</math> और <math>H_eE</math> [[स्पर्शरेखा स्थान]] की पूरक उपसमष्टियाँ बनाते हैं <math>T_eE</math>. ऊर्ध्वाधर बंडल में सभी वैक्टर होते हैं जो तंतुओं के स्पर्शरेखा होते हैं, जबकि क्षैतिज बंडल को पूरक उपबंडल के कुछ विकल्प की आवश्यकता होती है।
गणित में, ऊर्ध्वाधर बंडल और क्षैतिज बंडल एक फाइबर बंडल से जुड़े [[वेक्टर बंडल|सदिश बंडल]] होते हैं। अधिक स्पष्ट रूप से, एक चिकनी फाइबर बंडल दिया गया <math>\pi\colon E\to B</math>, लंबवत बंडल <math>VE</math> और क्षैतिज बंडल <math>HE</math> <math>E</math> [[स्पर्शरेखा बंडल]] <math>TE</math> के [[सबबंडल]] हैं जिसका व्हिटनी योग <math>VE\oplus HE\cong TE</math> संतुष्ट करता है . इसका अर्थ है कि, प्रत्येक बिंदु पर <math>e\in E</math>, पर तंतु <math>V_eE</math> और <math>H_eE</math> [[स्पर्शरेखा स्थान]] <math>T_eE</math> की पूरक उपसमष्टियाँ बनाते हैं . ऊर्ध्वाधर बंडल में सभी सदिश होते हैं जो तंतुओं के स्पर्शरेखा होते हैं, जबकि क्षैतिज बंडल को पूरक उपबंडल के कुछ विकल्प की आवश्यकता होती है।


इसे सटीक बनाने के लिए, वर्टिकल स्पेस को परिभाषित करें <math>V_eE</math> पर <math>e\in E</math> होना <math>\ker(d\pi_e)</math>. यानी डिफरेंशियल <math>d\pi_e\colon T_eE\to T_bB</math> (कहाँ <math>b=\pi(e)</math>) एक रेखीय प्रक्षेपण है जिसका कर्नेल के तंतुओं के समान आयाम होता है <math>\pi</math>. अगर हम लिखते हैं <math>F=\pi^{-1}(b)</math>, तब <math>V_eE</math> में बिल्कुल सदिश होते हैं <math>T_eE</math> जो स्पर्शी भी हैं <math>F</math>. यह नाम निम्न-आयामी उदाहरणों से प्रेरित है जैसे एक वृत्त के ऊपर तुच्छ रेखा बंडल, जिसे कभी-कभी एक क्षैतिज वृत्त के लिए लंबवत सिलेंडर के रूप में चित्रित किया जाता है। एक उपस्थान <math>H_eE</math> का <math>T_eE</math> क्षैतिज स्थान कहा जाता है यदि <math>T_eE</math> की सदिश समष्टियों का प्रत्यक्ष योग है <math>V_eE</math> और <math>H_eE</math>.
इसे स्पष्ट बनाने के लिए, ऊर्ध्वाधर स्थान <math>V_eE</math> पर <math>e\in E</math> कों <math>\ker(d\pi_e)</math>. को परिभाषित करें अर्थात अंतर <math>d\pi_e\colon T_eE\to T_bB</math> (जहाँ <math>b=\pi(e)</math>) एक रेखीय प्रक्षेपण है जिसका कर्नेल <math>\pi</math> के तंतुओं के समान आयाम होता है | यदि हम <math>F=\pi^{-1}(b)</math> लिखते हैं , तब <math>V_eE</math> में <math>T_eE</math> बिल्कुल सदिश होते हैं | जो स्पर्शी <math>F</math> भी हैं| यह नाम निम्न-आयामी उदाहरणों से प्रेरित है जैसे एक वृत्त के ऊपर तुच्छ रेखा बंडल, जिसे कभी-कभी एक क्षैतिज वृत्त के लिए लंबवत सिलेंडर के रूप में चित्रित किया जाता है। जो एक क्षैतिज वृत्त को प्रक्षेपित करता है। <math>T_eE</math> एक उपस्थान <math>H_eE</math> का क्षैतिज स्थान कहा जाता है | यदि <math>T_eE</math> की सदिश समष्टियों का प्रत्यक्ष योग <math>V_eE</math> और <math>H_eE</math> है |


ऊर्ध्वाधर रिक्त स्थान V का असंयुक्त संघ<sub>''e''</sub>E में प्रत्येक e के लिए E, TE का सबबंडल VE है; यह E का उर्ध्वाधर बंडल है। इसी तरह, क्षैतिज रिक्त स्थान प्रदान किया गया है <math>H_eE</math> के साथ सुचारू रूप से भिन्न होते हैं, उनका असंयुक्त संघ एक क्षैतिज बंडल है। शब्दों का उपयोग और यहां जानबूझकर है: प्रत्येक लंबवत उप-स्थान अद्वितीय है, स्पष्ट रूप से परिभाषित किया गया है <math>\ker(d\pi_e)</math>. तुच्छ मामलों को छोड़कर, प्रत्येक बिंदु पर अनंत संख्या में क्षैतिज उप-स्थान होते हैं। यह भी ध्यान दें कि प्रत्येक बिंदु पर क्षैतिज स्थान के मनमाने विकल्प, सामान्य रूप से, एक चिकने सदिश बंडल का निर्माण नहीं करेंगे; उन्हें उचित रूप से सुचारू तरीके से भिन्न होना चाहिए।
E में प्रत्येक के लिए ऊर्ध्वाधर रिक्त स्थान V<sub>''e''</sub>E का असंयुक्त संघ TE का सबबंडल VE है; यह E का उर्ध्वाधर बंडल है। इसी प्रकार, क्षैतिज रिक्त स्थान <math>H_eE</math> e के साथ सुचारू रूप से भिन्न होते हैं, उनका असंयुक्त संघ एक क्षैतिज बंडल है। यहाँ द" और "ए" शब्दों का उपयोग और यहां जानबूझकर किया गया है | प्रत्येक लंबवत उप-स्थान अद्वितीय है, <math>\ker(d\pi_e)</math> स्पष्ट रूप से परिभाषित किया गया है . तुच्छ स्थितियों को छोड़कर, प्रत्येक बिंदु पर अनंत संख्या में क्षैतिज उप-स्थान होते हैं। यह भी ध्यान दें कि प्रत्येक बिंदु पर क्षैतिज स्थान के इच्छानुसार विकल्प, सामान्यतः, एक चिकने सदिश बंडल का निर्माण नहीं करते है | उन्हें स्पष्ट विधि से सुचारू विधि से भिन्न होना चाहिए।


क्षैतिज बंडल [[फाइबर बंडल]] पर [[एह्रेसमैन कनेक्शन]] की धारणा तैयार करने का एक तरीका है। इस प्रकार, उदाहरण के लिए, यदि ई एक प्रमुख बंडल | प्रमुख जी-बंडल है, तो क्षैतिज बंडल को आमतौर पर जी-इनवेरिएंट होना आवश्यक है: ऐसा विकल्प एक [[ कनेक्शन (प्रमुख बंडल) ]] के बराबर है।<ref>David Bleecker, ''[https://zulfahmed.files.wordpress.com/2014/05/88623149-bleecker-d-gauge-theory-and-variational-principles-aw-1981-ka-t-201s-pqgf.pdf Gauge Theory and Variational Principles]'' (1981) Addison-Wesely Publishing Company {{isbn|0-201-10096-7}} ''(See theorem 1.2.4)''</ref> यह विशेष रूप से तब होता है जब ई कुछ वेक्टर बंडल से जुड़ा [[फ्रेम बंडल]] होता है, जो कि एक प्रिंसिपल है <math>\operatorname{GL}_n</math> बंडल।
क्षैतिज बंडल [[फाइबर बंडल]] पर [[एह्रेसमैन कनेक्शन|एह्रेसमैन सम्बन्ध]] की धारणा तैयार करने की एक विधि है। इस प्रकार, उदाहरण के लिए, यदि ई एक प्रमुख जी-बंडल है | तो क्षैतिज बंडल को सामान्यतः जी-इनवेरिएंट होना आवश्यक है: ऐसा विकल्प एक [[ कनेक्शन (प्रमुख बंडल) |सम्बन्ध (प्रमुख बंडल)]] के सामान है।<ref>David Bleecker, ''[https://zulfahmed.files.wordpress.com/2014/05/88623149-bleecker-d-gauge-theory-and-variational-principles-aw-1981-ka-t-201s-pqgf.pdf Gauge Theory and Variational Principles]'' (1981) Addison-Wesely Publishing Company {{isbn|0-201-10096-7}} ''(See theorem 1.2.4)''</ref> यह विशेष रूप से तब होता है जब ई कुछ सदिश बंडल से जुड़ा [[फ्रेम बंडल]] होता है, जो कि एक प्रमुख <math>\operatorname{GL}_n</math> बंडल होता है।
== औपचारिक परिभाषा ==
मान लीजिए π:E→B चिकने मैनिफोल्ड B पर एक चिकना फाइबर बंडल है। ऊर्ध्वाधर बंडल कर्नेल VE := ker(dπ) है | स्पर्शरेखा मानचित्र dπ : TE → TB का कर्नेल (रैखिक बीजगणित) है।<ref name="kolar">{{citation|last1 = Kolář|first1=Ivan|last2=Michor|first2=Peter|last3=Slovák|first3=Jan|url=http://www.emis.de/monographs/KSM/kmsbookh.pdf|title=Natural Operations in Differential Geometry|year = 1993|publisher = Springer-Verlag}} (page 77)</ref>


== औपचारिक परिभाषा ==
dπ<sub>e</sub> के बाद से प्रत्येक बिंदु ई पर विशेषण है, यह टीई का एक नियमित सबबंडल उत्पन्न करता है। इसके अतिरिक्त, लंबवत बंडल वीई भी पूर्णांक है।
<!-- we need to merge the below with the definition in the intro.-->
मान लीजिए π:E→B चिकने मैनिफोल्ड B पर एक चिकना फाइबर बंडल है। ऊर्ध्वाधर बंडल स्पर्शरेखा मानचित्र dπ : TE → TB का कर्नेल (रैखिक बीजगणित) VE := ker() है।<ref name="kolar">{{citation|last1 = Kolář|first1=Ivan|last2=Michor|first2=Peter|last3=Slovák|first3=Jan|url=http://www.emis.de/monographs/KSM/kmsbookh.pdf|title=Natural Operations in Differential Geometry|year = 1993|publisher = Springer-Verlag}} (page 77)</ref>
डीπ के बाद से<sub>e</sub> प्रत्येक बिंदु ई पर विशेषण है, यह टीई का एक नियमित सबबंडल पैदा करता है। इसके अलावा, लंबवत बंडल वीई भी पूर्णांक है।


E पर एक Ehresmann कनेक्शन, TE में VE के लिए एक पूरक सबबंडल HE का विकल्प है, जिसे कनेक्शन का क्षैतिज बंडल कहा जाता है। E में प्रत्येक बिंदु e पर, दो उपसमष्टियाँ एक [[प्रत्यक्ष योग]] बनाती हैं, जैसे कि
E पर एक एह्रेसमैन सम्बन्ध, TE में VE से HE के लिए एक पूरक सबबंडल का विकल्प है, जिसे सम्बन्ध का क्षैतिज बंडल कहा जाता है। E में प्रत्येक बिंदु e पर, दो उपसमष्टियाँ एक [[प्रत्यक्ष योग]] बनाती हैं, जैसे कि T<sub>''e''</sub>E = V<sub>''e''</sub>E H<sub>''e''</sub> है | 
टी<sub>''e''</sub>= बी<sub>''e''</sub>एच<sub>''e''</sub>और।


== उदाहरण ==
== उदाहरण ==
चिकने फाइबर बंडल का एक सरल उदाहरण दो [[कई गुना]] का कार्टेशियन उत्पाद है। बंडल बी पर विचार करें<sub>1</sub> :(M × N, pr<sub>1</sub>) बंडल प्रोजेक्शन पीआर के साथ<sub>1</sub> : एम × एन → एम : (x, y) → x. ऊर्ध्वाधर बंडल खोजने के लिए उपरोक्त अनुच्छेद में परिभाषा को लागू करते हुए, हम पहले एम × एन में एक बिंदु (एम, एन) पर विचार करते हैं। फिर पीआर के तहत इस बिंदु की छवि<sub>1</sub> एम है। इसी पीआर के तहत एम की प्रीइमेज<sub>1</sub> {एम} × एन है, ताकि टी<sub>(m,n)</sub> ({एम} × एन) = {एम} × टीएन। लंबवत बंडल तब वीबी है<sub>1</sub> = एम × टीएन, जो टी (एम × एन) का एक सबबंडल है। अगर हम अन्य प्रोजेक्शन पीआर लेते हैं<sub>2</sub> : M × N → N : (x, y) → y फाइबर बंडल B को परिभाषित करने के लिए<sub>2</sub> := (M × N, pr<sub>2</sub>) तो वर्टिकल बंडल VB होगा<sub>2</sub> = टीएम × एन.
चिकने फाइबर बंडल का एक सरल उदाहरण दो [[कई गुना|मैनिफोल्ड]] का कार्टेशियन उत्पाद है। बंडल प्रक्षेपण pr<sub>1</sub> : M × N → M : (x, y) → x के साथ बंडल B<sub>1</sub> := (M × N, pr<sub>1</sub>) पर विचार करें। ऊर्ध्वाधर बंडल खोजने के लिए ऊपर दिए गए पैराग्राफ में परिभाषा को प्रयुक्त करते हुए, हम पहले M × N में एक बिंदु (m,n) पर विचार करते हैं। फिर pr<sub>1</sub> के अनुसार इस बिंदु की छवि m है। इसी pr<sub>1</sub> के अंतर्गत m की पूर्वछवि {m} × N है, ताकि T<sub>(m,n)</sub> ({m} × N) = {m} × TN। ऊर्ध्वाधर बंडल तब VB<sub>1</sub> = M × TN है, जो T(M ×N) का एक उपसमूह है। यदि हम अन्य प्रक्षेपण pr2 : M × N → N : (x, y) → y को फाइबर बंडल B<sub>2</sub> := (M × N, pr<sub>2</sub>) परिभाषित करने के लिए लेते हैं तो ऊर्ध्वाधर बंडल VB<sub>2</sub> = TM × N होता है।


दोनों ही मामलों में, उत्पाद संरचना क्षैतिज बंडल का एक स्वाभाविक विकल्प देती है, और इसलिए एह्रेसमैन कनेक्शन: बी का क्षैतिज बंडल<sub>1</sub> B का लंबवत बंडल है<sub>2</sub> और इसके विपरीत।
दोनों ही स्थितियों में, उत्पाद संरचना क्षैतिज बंडल का एक स्वाभाविक विकल्प देती है, और इसलिए एह्रेसमैन सम्बन्ध: B<sub>1</sub> का क्षैतिज बंडल B<sub>2</sub> का लंबवत बंडल इसके विपरीत है।


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


* एक लंबवत [[वेक्टर क्षेत्र]] एक वेक्टर फ़ील्ड है जो लंबवत बंडल में है। अर्थात्, '' के प्रत्येक बिंदु '' के लिए, एक सदिश चुनता है <math>v_e\in V_eE</math> कहाँ <math>V_eE \subset T_eE = T_e(E_{\pi(e)} )</math> पर ऊर्ध्वाधर वेक्टर स्थान है।<ref name="kolar"/>* एक अवकलनीय अवकलन रूप|आर-रूप <math>\alpha</math> ई पर 'क्षैतिज रूप' कहा जाता है यदि <math>\alpha(v_1,...,v_r)=0</math> जब भी कम से कम एक सदिश <math>v_1,..., v_r</math> लंबवत है।
* एक लंबवत [[वेक्टर क्षेत्र|सदिश क्षेत्र]] एक सदिश फ़ील्ड है जो लंबवत बंडल में है। अर्थात्, 'E' के प्रत्येक बिंदु 'E' के लिए, एक सदिश <math>v_e\in V_eE</math> चुनता है जहाँ <math>V_eE \subset T_eE = T_e(E_{\pi(e)} )</math> E पर ऊर्ध्वाधर सदिश स्थान है।<ref name="kolar"/>* एक अवकलनीय अवकलन रूप आर-रूप <math>\alpha</math> ई पर 'क्षैतिज रूप' कहा जाता है यदि <math>\alpha(v_1,...,v_r)=0</math> जब भी कम से कम एक सदिश <math>v_1,..., v_r</math> लंबवत है।
* [[ कनेक्शन प्रपत्र ]] क्षैतिज बंडल पर गायब हो जाता है, और केवल लंबवत बंडल पर गैर-शून्य होता है। इस तरह, क्षैतिज बंडल को परिभाषित करने के लिए कनेक्शन फॉर्म का उपयोग किया जा सकता है: क्षैतिज बंडल कनेक्शन फॉर्म का कर्नेल है।
* [[ कनेक्शन प्रपत्र | सम्बन्ध प्रपत्र]] क्षैतिज बंडल पर लुप्त हो जाता है, और केवल लंबवत बंडल पर गैर-शून्य होता है। इस प्रकार, क्षैतिज बंडल को परिभाषित करने के लिए सम्बन्ध रूप का उपयोग किया जा सकता है: क्षैतिज बंडल सम्बन्ध रूप का कर्नेल है।
* [[सोल्डर फॉर्म]] या [[टॉटोलॉजिकल वन-फॉर्म]] वर्टिकल बंडल पर गायब हो जाता है और क्षैतिज बंडल पर नॉन-जीरो होता है। परिभाषा के अनुसार, सोल्डर फॉर्म पूरी तरह से क्षैतिज बंडल में अपना मान लेता है।
* [[सोल्डर फॉर्म|सोल्डर रूप]] या [[टॉटोलॉजिकल वन-फॉर्म|टॉटोलॉजिकल वन-रूप]] वर्टिकल बंडल पर लुप्त हो जाता है और क्षैतिज बंडल पर नॉन-जीरो होता है। परिभाषा के अनुसार, सोल्डर रूप पूरी प्रकार से क्षैतिज बंडल में अपना मान लेता है।
* एक फ्रेम बंडल के मामले में, [[मरोड़ रूप]] ऊर्ध्वाधर बंडल पर गायब हो जाता है, और ठीक उसी हिस्से को परिभाषित करने के लिए इस्तेमाल किया जा सकता है जिसे [[लेवी-Civita कनेक्शन]] में बदलने के लिए मनमाने ढंग से कनेक्शन में जोड़ा जाना चाहिए, यानी एक बनाने के लिए कनेक्शन मरोड़ रहित हो। दरअसल, अगर कोई सोल्डर फॉर्म के लिए θ लिखता है, तो टोरसन टेंसर Θ Θ = D θ (डी के साथ [[बाहरी सहसंयोजक व्युत्पन्न]]) द्वारा दिया जाता है। किसी दिए गए कनेक्शन ω के लिए, TE पर एक अद्वितीय एक-रूप σ होता है, जिसे [[विरूपण टेंसर]] कहा जाता है, जो ऊर्ध्वाधर बंडल में लुप्त हो रहा है, और ऐसा है कि ω+σ एक अन्य कनेक्शन 1-रूप है जो मरोड़-मुक्त है। परिणामी एक रूप ω+σ लेवी-सिविता कनेक्शन के अलावा और कुछ नहीं है। कोई इसे एक परिभाषा के रूप में ले सकता है: चूंकि मरोड़ किसके द्वारा दिया जाता है <math>\Theta = D\theta = d\theta + \omega \wedge \theta</math>, मरोड़ का गायब होना होने के बराबर है <math>d\theta = - (\omega +\sigma) \wedge \theta</math>, और यह दिखाना मुश्किल नहीं है कि σ ऊर्ध्वाधर बंडल पर गायब हो जाना चाहिए, और σ प्रत्येक फाइबर पर जी-इनवेरिएंट होना चाहिए (अधिक सटीक रूप से, कि σ जी के आसन्न प्रतिनिधित्व में बदल जाता है)। ध्यान दें कि यह लेवी-सिविता कनेक्शन को किसी भी मीट्रिक टेन्सर के लिए कोई स्पष्ट संदर्भ दिए बिना परिभाषित करता है (हालांकि मीट्रिक टेंसर को सोल्डर फॉर्म का एक विशेष मामला समझा जा सकता है, क्योंकि यह आधार के स्पर्शरेखा और कोटेंगेंट बंडलों के बीच एक मैपिंग स्थापित करता है। अंतरिक्ष, यानी फ्रेम बंडल के क्षैतिज और लंबवत उप-स्थानों के बीच)
* एक फ्रेम बंडल के स्थिति में, [[मरोड़ रूप]] ऊर्ध्वाधर बंडल पर लुप्त हो जाता है, और इसका उपयोग ठीक उसी भाग को परिभाषित करने के लिए किया जा सकता है जिसे [[लेवी-Civita कनेक्शन|लेवी-सिविता सम्बन्ध]] में बदलने के लिए इच्छानुसार सम्बन्ध में जोड़ा जाना चाहिए, अर्थात एक बनाने के लिए सम्बन्ध मरोड़ रहित हो। वास्तव में , यदि कोई सोल्डर रूप के लिए θ लिखता है, तो टोरसन टेंसर Θ Θ = D θ (डी के साथ [[बाहरी सहसंयोजक व्युत्पन्न]]) द्वारा दिया जाता है। किसी दिए गए सम्बन्ध ω के लिए, TE पर एक अद्वितीय एक-रूप σ होता है, जिसे [[विरूपण टेंसर]] कहा जाता है, जो ऊर्ध्वाधर बंडल में लुप्त हो रहा है, और ऐसा है कि ω+σ एक अन्य सम्बन्ध 1-रूप है जो मरोड़-मुक्त है। परिणामी एक रूप ω+σ लेवी-सिविता सम्बन्ध के अतिरिक्त और कुछ नहीं है। कोई इसे एक परिभाषा के रूप में ले सकता है: चूंकि मरोड़ <math>\Theta = D\theta = d\theta + \omega \wedge \theta</math> द्वारा दिया जाता है , मरोड़ का लुप्त होना <math>d\theta = - (\omega +\sigma) \wedge \theta</math> और यह दिखाना कठिन नहीं है कि σ ऊर्ध्वाधर बंडल पर लुप्त हो जाना चाहिए, और σ प्रत्येक फाइबर पर जी-इनवेरिएंट होना चाहिए (अधिक स्पष्ट रूप से, कि σ जी के आसन्न प्रतिनिधित्व में बदल जाता है)। ध्यान दें कि यह लेवी-सिविता सम्बन्ध को किसी भी कार्य टेन्सर के लिए कोई स्पष्ट संदर्भ दिए बिना परिभाषित करता है (चूँकि कार्य टेंसर को सोल्डर रूप का एक विशेष स्थिति समझा जा सकता है, क्योंकि यह आधार के स्पर्शरेखा और कोटेंगेंट बंडलों के बीच एक मानचित्र स्थापित करता है। अंतरिक्ष, अर्थात फ्रेम बंडल के क्षैतिज और लंबवत उप-स्थानों के बीच) है।
* ऐसे मामले में जहां E एक प्रमुख बंडल है, तो मूलभूत सदिश क्षेत्र आवश्यक रूप से लंबवत बंडल में रहना चाहिए, और किसी भी क्षैतिज बंडल में गायब हो जाना चाहिए।
* ऐसे स्थिति में जहां E एक प्रमुख बंडल है, तो मूलभूत सदिश क्षेत्र आवश्यक रूप से लंबवत बंडल में रहना चाहिए, और किसी भी क्षैतिज बंडल में लुप्त हो जाना चाहिए।


==टिप्पणियाँ==
==टिप्पणियाँ                                                                                 ==
{{Reflist}}
{{Reflist}}


Line 52: Line 50:
* {{citation|last1 = Krupka|first1=Demeter|last2=Janyška|first2=Josef|title=Lectures on differential invariants|year = 1990|publisher = Univerzita J. E. Purkyně V Brně|isbn=80-210-0165-8}}
* {{citation|last1 = Krupka|first1=Demeter|last2=Janyška|first2=Josef|title=Lectures on differential invariants|year = 1990|publisher = Univerzita J. E. Purkyně V Brně|isbn=80-210-0165-8}}
* {{citation|last1 = Saunders|first1 = D.J.|title = The geometry of jet bundles|year = 1989|publisher = Cambridge University Press|isbn = 0-521-36948-7|url-access = registration|url = https://archive.org/details/geometryofjetbun0000saun}}
* {{citation|last1 = Saunders|first1 = D.J.|title = The geometry of jet bundles|year = 1989|publisher = Cambridge University Press|isbn = 0-521-36948-7|url-access = registration|url = https://archive.org/details/geometryofjetbun0000saun}}
[[Category: विभेदक टोपोलॉजी]] [[Category: फाइबर बंडल]] [[Category: कनेक्शन (गणित)]]


[[Category: Machine Translated Page]]
[[Category:Created On 25/04/2023]]
[[Category:Created On 25/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:कनेक्शन (गणित)]]
[[Category:फाइबर बंडल]]
[[Category:विभेदक टोपोलॉजी]]

Latest revision as of 19:30, 17 May 2023

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

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

E में प्रत्येक के लिए ऊर्ध्वाधर रिक्त स्थान VeE का असंयुक्त संघ TE का सबबंडल VE है; यह E का उर्ध्वाधर बंडल है। इसी प्रकार, क्षैतिज रिक्त स्थान e के साथ सुचारू रूप से भिन्न होते हैं, उनका असंयुक्त संघ एक क्षैतिज बंडल है। यहाँ द" और "ए" शब्दों का उपयोग और यहां जानबूझकर किया गया है | प्रत्येक लंबवत उप-स्थान अद्वितीय है, स्पष्ट रूप से परिभाषित किया गया है . तुच्छ स्थितियों को छोड़कर, प्रत्येक बिंदु पर अनंत संख्या में क्षैतिज उप-स्थान होते हैं। यह भी ध्यान दें कि प्रत्येक बिंदु पर क्षैतिज स्थान के इच्छानुसार विकल्प, सामान्यतः, एक चिकने सदिश बंडल का निर्माण नहीं करते है | उन्हें स्पष्ट विधि से सुचारू विधि से भिन्न होना चाहिए।

क्षैतिज बंडल फाइबर बंडल पर एह्रेसमैन सम्बन्ध की धारणा तैयार करने की एक विधि है। इस प्रकार, उदाहरण के लिए, यदि ई एक प्रमुख जी-बंडल है | तो क्षैतिज बंडल को सामान्यतः जी-इनवेरिएंट होना आवश्यक है: ऐसा विकल्प एक सम्बन्ध (प्रमुख बंडल) के सामान है।[1] यह विशेष रूप से तब होता है जब ई कुछ सदिश बंडल से जुड़ा फ्रेम बंडल होता है, जो कि एक प्रमुख बंडल होता है।

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

मान लीजिए π:E→B चिकने मैनिफोल्ड B पर एक चिकना फाइबर बंडल है। ऊर्ध्वाधर बंडल कर्नेल VE := ker(dπ) है | स्पर्शरेखा मानचित्र dπ : TE → TB का कर्नेल (रैखिक बीजगणित) है।[2]

e के बाद से प्रत्येक बिंदु ई पर विशेषण है, यह टीई का एक नियमित सबबंडल उत्पन्न करता है। इसके अतिरिक्त, लंबवत बंडल वीई भी पूर्णांक है।

E पर एक एह्रेसमैन सम्बन्ध, TE में VE से HE के लिए एक पूरक सबबंडल का विकल्प है, जिसे सम्बन्ध का क्षैतिज बंडल कहा जाता है। E में प्रत्येक बिंदु e पर, दो उपसमष्टियाँ एक प्रत्यक्ष योग बनाती हैं, जैसे कि TeE = VeE ⊕ He है |

उदाहरण

चिकने फाइबर बंडल का एक सरल उदाहरण दो मैनिफोल्ड का कार्टेशियन उत्पाद है। बंडल प्रक्षेपण pr1 : M × N → M : (x, y) → x के साथ बंडल B1 := (M × N, pr1) पर विचार करें। ऊर्ध्वाधर बंडल खोजने के लिए ऊपर दिए गए पैराग्राफ में परिभाषा को प्रयुक्त करते हुए, हम पहले M × N में एक बिंदु (m,n) पर विचार करते हैं। फिर pr1 के अनुसार इस बिंदु की छवि m है। इसी pr1 के अंतर्गत m की पूर्वछवि {m} × N है, ताकि T(m,n) ({m} × N) = {m} × TN। ऊर्ध्वाधर बंडल तब VB1 = M × TN है, जो T(M ×N) का एक उपसमूह है। यदि हम अन्य प्रक्षेपण pr2 : M × N → N : (x, y) → y को फाइबर बंडल B2 := (M × N, pr2) परिभाषित करने के लिए लेते हैं तो ऊर्ध्वाधर बंडल VB2 = TM × N होता है।

दोनों ही स्थितियों में, उत्पाद संरचना क्षैतिज बंडल का एक स्वाभाविक विकल्प देती है, और इसलिए एह्रेसमैन सम्बन्ध: B1 का क्षैतिज बंडल B2 का लंबवत बंडल इसके विपरीत है।

गुण

विभेदक ज्यामिति से विभिन्न महत्वपूर्ण टेन्सर और विभेदक रूप ऊर्ध्वाधर और क्षैतिज बंडलों पर विशिष्ट गुण ग्रहण करते हैं, या उनके संदर्भ में भी परिभाषित किए जा सकते हैं। इनमें से कुछ हैं:

  • एक लंबवत सदिश क्षेत्र एक सदिश फ़ील्ड है जो लंबवत बंडल में है। अर्थात्, 'E' के प्रत्येक बिंदु 'E' के लिए, एक सदिश चुनता है जहाँ E पर ऊर्ध्वाधर सदिश स्थान है।[2]* एक अवकलनीय अवकलन रूप आर-रूप ई पर 'क्षैतिज रूप' कहा जाता है यदि जब भी कम से कम एक सदिश लंबवत है।
  • सम्बन्ध प्रपत्र क्षैतिज बंडल पर लुप्त हो जाता है, और केवल लंबवत बंडल पर गैर-शून्य होता है। इस प्रकार, क्षैतिज बंडल को परिभाषित करने के लिए सम्बन्ध रूप का उपयोग किया जा सकता है: क्षैतिज बंडल सम्बन्ध रूप का कर्नेल है।
  • सोल्डर रूप या टॉटोलॉजिकल वन-रूप वर्टिकल बंडल पर लुप्त हो जाता है और क्षैतिज बंडल पर नॉन-जीरो होता है। परिभाषा के अनुसार, सोल्डर रूप पूरी प्रकार से क्षैतिज बंडल में अपना मान लेता है।
  • एक फ्रेम बंडल के स्थिति में, मरोड़ रूप ऊर्ध्वाधर बंडल पर लुप्त हो जाता है, और इसका उपयोग ठीक उसी भाग को परिभाषित करने के लिए किया जा सकता है जिसे लेवी-सिविता सम्बन्ध में बदलने के लिए इच्छानुसार सम्बन्ध में जोड़ा जाना चाहिए, अर्थात एक बनाने के लिए सम्बन्ध मरोड़ रहित हो। वास्तव में , यदि कोई सोल्डर रूप के लिए θ लिखता है, तो टोरसन टेंसर Θ Θ = D θ (डी के साथ बाहरी सहसंयोजक व्युत्पन्न) द्वारा दिया जाता है। किसी दिए गए सम्बन्ध ω के लिए, TE पर एक अद्वितीय एक-रूप σ होता है, जिसे विरूपण टेंसर कहा जाता है, जो ऊर्ध्वाधर बंडल में लुप्त हो रहा है, और ऐसा है कि ω+σ एक अन्य सम्बन्ध 1-रूप है जो मरोड़-मुक्त है। परिणामी एक रूप ω+σ लेवी-सिविता सम्बन्ध के अतिरिक्त और कुछ नहीं है। कोई इसे एक परिभाषा के रूप में ले सकता है: चूंकि मरोड़ द्वारा दिया जाता है , मरोड़ का लुप्त होना और यह दिखाना कठिन नहीं है कि σ ऊर्ध्वाधर बंडल पर लुप्त हो जाना चाहिए, और σ प्रत्येक फाइबर पर जी-इनवेरिएंट होना चाहिए (अधिक स्पष्ट रूप से, कि σ जी के आसन्न प्रतिनिधित्व में बदल जाता है)। ध्यान दें कि यह लेवी-सिविता सम्बन्ध को किसी भी कार्य टेन्सर के लिए कोई स्पष्ट संदर्भ दिए बिना परिभाषित करता है (चूँकि कार्य टेंसर को सोल्डर रूप का एक विशेष स्थिति समझा जा सकता है, क्योंकि यह आधार के स्पर्शरेखा और कोटेंगेंट बंडलों के बीच एक मानचित्र स्थापित करता है। अंतरिक्ष, अर्थात फ्रेम बंडल के क्षैतिज और लंबवत उप-स्थानों के बीच) है।
  • ऐसे स्थिति में जहां E एक प्रमुख बंडल है, तो मूलभूत सदिश क्षेत्र आवश्यक रूप से लंबवत बंडल में रहना चाहिए, और किसी भी क्षैतिज बंडल में लुप्त हो जाना चाहिए।

टिप्पणियाँ

  1. David Bleecker, Gauge Theory and Variational Principles (1981) Addison-Wesely Publishing Company ISBN 0-201-10096-7 (See theorem 1.2.4)
  2. 2.0 2.1 Kolář, Ivan; Michor, Peter; Slovák, Jan (1993), Natural Operations in Differential Geometry (PDF), Springer-Verlag (page 77)


संदर्भ