संबद्ध बंडल: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, [[संरचना समूह]] | गणित में, [[संरचना समूह]] <math>G</math> (एक सामयिक समूह) के साथ फाइबर बंडलों का सिद्धांत एक संबद्ध समूह बनाने के संचालन की अनुमति देता है, जिसमें समूह के विशिष्ट फाइबर से परिवर्तन होता है <math>F_1</math> को <math>F_2</math> में बदलता है , जो दोनों सामयिक रिक्त स्थान हैं <math>G</math>. की एक समूह क्रिया। संरचना समूह ''G'' के साथ एक फाइबर समूह ''F'' के लिए, दो समन्वय प्रणाली ''U''<sub>α</sub> और ''U''<sub>β</sub> के अतिव्यापन में फाइबर के संक्रमण कार्य ( जिससे , [[कोसायकल (बीजगणितीय टोपोलॉजी)]]) ''U''<sub>α</sub>∩''U''<sub>β</sub> पर G-मूल्यवान कार्य ''g''<sub>αβ</sub> के रूप में दिया जाता है तब एक फाइबर समूह F' का निर्माण एक नए फाइबर समूह के रूप में किया जा सकता है जिसमें समान संक्रमण कार्य होते हैं, किंतु संभवतः एक अलग फाइबर होता है।। | ||
== एक उदाहरण == | == एक उदाहरण == | ||
मोबियस पट्टी के साथ एक साधारण मामला आता है, जिसके लिए <math>G</math> क्रम 2 का [[चक्रीय समूह]] है, <math>\mathbb{Z}_2</math>. हम के रूप में ले सकते हैं <math>F</math> इनमें से कोई भी: वास्तविक संख्या रेखा <math>\mathbb{R}</math>, अंतराल <math>[-1,\ 1]</math>, वास्तविक संख्या रेखा कम बिंदु 0, या दो-बिंदु सेट <math>\{-1,\ 1\}</math>. की क्रिया <math>G</math> इन पर (गैर-पहचान तत्व अभिनय के रूप में <math>x\ \rightarrow\ -x</math> प्रत्येक मामले में) सहज ज्ञान युक्त अर्थ में तुलनीय है। हम कह सकते हैं कि अधिक औपचारिक रूप से दो आयतों को चिपकाने के संदर्भ में <math>[-1,\ 1] \times I</math> और <math>[-1,\ 1] \times J</math> एक साथ: हमें वास्तव में जिस चीज की जरूरत है, वह है पहचान करने के लिए डेटा <math>[-1,\ 1]</math> सीधे एक छोर पर, और दूसरे छोर पर मोड़ के साथ। इस डेटा को एक पैचिंग | मोबियस पट्टी के साथ एक साधारण मामला आता है, जिसके लिए <math>G</math> क्रम 2 का [[चक्रीय समूह]] है, <math>\mathbb{Z}_2</math>. हम के रूप में ले सकते हैं <math>F</math> इनमें से कोई भी: वास्तविक संख्या रेखा <math>\mathbb{R}</math>, अंतराल <math>[-1,\ 1]</math>, वास्तविक संख्या रेखा कम बिंदु 0, या दो-बिंदु सेट <math>\{-1,\ 1\}</math>. की क्रिया <math>G</math> इन पर (गैर-पहचान तत्व अभिनय के रूप में <math>x\ \rightarrow\ -x</math> प्रत्येक मामले में) सहज ज्ञान युक्त अर्थ में तुलनीय है। हम कह सकते हैं कि अधिक औपचारिक रूप से दो आयतों को चिपकाने के संदर्भ में <math>[-1,\ 1] \times I</math> और <math>[-1,\ 1] \times J</math> एक साथ: हमें वास्तव में जिस चीज की जरूरत है, वह है पहचान करने के लिए डेटा <math>[-1,\ 1]</math> सीधे एक छोर पर, और दूसरे छोर पर मोड़ के साथ। इस डेटा को एक पैचिंग कार्य के रूप में नीचे लिखा जा सकता है, जी में मान के साथ। 'संबंधित बंडल' निर्माण केवल अवलोकन है कि यह डेटा ठीक उसी तरह करता है <math>\{-1,\ 1\}</math> से संबंधित <math>[-1,\ 1]</math>. | ||
== निर्माण == | == निर्माण == | ||
सामान्य तौर पर यह फाइबर के | सामान्य तौर पर यह फाइबर के समूह से संक्रमण की व्याख्या करने के लिए पर्याप्त है <math>F</math>, जिस पर <math>G</math> संबंधित [[प्रमुख बंडल|प्रमुख]] समूह के लिए कार्य करता है (अर्थात् वह समूह जहां फाइबर होता है <math>G</math>, स्वयं पर अनुवाद द्वारा कार्य करने के लिए माना जाता है)। उसके लिए हम से जा सकते हैं <math>F_1</math> को <math>F_2</math>, प्रिंसिपल समूह के माध्यम से। एक खुले आवरण के लिए डेटा के संदर्भ में विवरण [[वंश (श्रेणी सिद्धांत)]] के मामले के रूप में दिए गए हैं। | ||
यह खंड का इस प्रकार से आयोजन किया जाता है। पहले हम किसी दिए गए फाइबर | यह खंड का इस प्रकार से आयोजन किया जाता है। पहले हम किसी दिए गए फाइबर समूह से, निर्दिष्ट फाइबर के साथ, संबद्ध समूह के उत्पादन के लिए सामान्य प्रक्रिया का परिचय देते हैं। यह तब मामले में माहिर होता है जब निर्दिष्ट फाइबर समूह की बाईं कार्रवाई के लिए एक [[प्रमुख सजातीय स्थान]] होता है, जो संबंधित प्रिंसिपल समूह को उत्पन्न करता है। यदि, इसके अलावा, प्रमुख समूह के फाइबर पर एक सही क्रिया दी जाती है, तो हम वर्णन करते हैं कि [[फाइबर उत्पाद]] निर्माण के माध्यम से किसी संबद्ध समूह का निर्माण कैसे किया जाए।<ref>All of these constructions are due to [[Charles Ehresmann|Ehresmann]] (1941-3). Attributed by Steenrod (1951) page 36</ref> | ||
=== सामान्य रूप से संबद्ध बंडल === | === सामान्य रूप से संबद्ध बंडल === | ||
होने देना <math display="inline">\pi:E\to X</math> संरचना समूह जी और विशिष्ट फाइबर एफ के साथ एक सामयिक स्पेस एक्स पर एक फाइबर | होने देना <math display="inline">\pi:E\to X</math> संरचना समूह जी और विशिष्ट फाइबर एफ के साथ एक सामयिक स्पेस एक्स पर एक फाइबर समूह हो। परिभाषा के अनुसार, फाइबर एफ पर जी (एक [[परिवर्तन समूह]] के रूप में) की एक समूह क्रिया (गणित) है। इसके अलावा मान लीजिए कि यह क्रिया समूह क्रिया है (गणित) # क्रियाओं के प्रकार।<ref>Effectiveness is a common requirement for fibre bundles; see Steenrod (1951). In particular, this condition is necessary to ensure the existence and uniqueness of the principal bundle associated with ''E''.</ref> | ||
समूह ई का एक स्थानीय रूप से तुच्छ है जिसमें एक खुला कवर यू होता है<sub>i</sub> एक्स का, और समूह मानचित्र का संग्रह | |||
''' | '''समूह ई का एक स्थानीय रूप से तुच्छ है जिसमें एक खुला कवर यू होता है<sub>i</sub> एक्स का, और समूह मानचित्र का संग्रह'''<math display="block">\varphi_i : \pi^{-1}(U_i) \to U_i \times F</math>जैसे कि [[संक्रमण मानचित्र]] G के तत्वों द्वारा दिए गए हैं। अधिक सटीक रूप से, निरंतर कार्य g हैं<sub>ij</sub> : (उ<sub>i</sub> ∩ यू<sub>j</sub>) → जी ऐसा कि<math display="block">\psi_{ij}(u,f) := \varphi_i \circ \varphi_j ^{-1}(u,f) = \big(u, g_{ij}(u) f \big),\quad | ||
\text{for each } (u,f)\in (U_i \cap U_j)\times F\, .</math> अब F' को एक निर्दिष्ट सामयिक स्पेस होने दें, जो G की निरंतर बाईं क्रिया से सुसज्जित है। फिर फाइबर F' के साथ E से जुड़ा | \text{for each } (u,f)\in (U_i \cap U_j)\times F\, .</math> अब F' को एक निर्दिष्ट सामयिक स्पेस होने दें, जो G की निरंतर बाईं क्रिया से सुसज्जित है। फिर फाइबर F' के साथ E से जुड़ा समूह 'एक समूह E' है, जो कवर U के अधीन एक स्थानीय तुच्छीकरण के साथ है।<sub>i</sub> जिसका संक्रमण फलन द्वारा दिया गया है<math display="block">\psi'_{ij}(u,f') = \big(u, g_{ij}(u) f' \big),\quad | ||
\text{for each } (u,f')\in (U_i \cap U_j)\times F'\,,</math>जहां जी-मूल्यवान कार्य जी<sub>ij</sub>(यू) वही हैं जो मूल | \text{for each } (u,f')\in (U_i \cap U_j)\times F'\,,</math>जहां जी-मूल्यवान कार्य जी<sub>ij</sub>(यू) वही हैं जो मूल समूह ई के स्थानीय तुच्छीकरण से प्राप्त हुए हैं। | ||
यह परिभाषा संक्रमण कार्यों पर चक्रीय स्थिति का स्पष्ट रूप से सम्मान करती है, क्योंकि प्रत्येक मामले में वे जी-मूल्यवान कार्यों की एक ही प्रणाली द्वारा दी जाती हैं। (एक अन्य स्थानीय तुच्छीकरण का उपयोग करना, और यदि आवश्यक हो तो एक सामान्य परिशोधन के लिए जाना, g<sub>ij</sub> उसी कोबाउंड्री के माध्यम से रूपांतरित करें।) इसलिए, [[फाइबर बंडल निर्माण प्रमेय]] द्वारा, यह दावा किए गए अनुसार फाइबर एफ' के साथ एक फाइबर | यह परिभाषा संक्रमण कार्यों पर चक्रीय स्थिति का स्पष्ट रूप से सम्मान करती है, क्योंकि प्रत्येक मामले में वे जी-मूल्यवान कार्यों की एक ही प्रणाली द्वारा दी जाती हैं। (एक अन्य स्थानीय तुच्छीकरण का उपयोग करना, और यदि आवश्यक हो तो एक सामान्य परिशोधन के लिए जाना, g<sub>ij</sub> उसी कोबाउंड्री के माध्यम से रूपांतरित करें।) इसलिए, [[फाइबर बंडल निर्माण प्रमेय|फाइबर समूह निर्माण प्रमेय]] द्वारा, यह दावा किए गए अनुसार फाइबर एफ' के साथ एक फाइबर समूह ई' का उत्पादन करता है। | ||
=== फाइबर | === फाइबर समूह से जुड़ा प्रिंसिपल बंडल === | ||
पहले की तरह, मान लें कि E संरचना समूह G के साथ एक फाइबर | पहले की तरह, मान लें कि E संरचना समूह G के साथ एक फाइबर समूह है। विशेष मामले में जब G में एक समूह क्रिया (गणित) है # क्रियाओं के प्रकार F' पर कार्रवाई छोड़ दी जाती है, ताकि F' बाईं ओर एक प्रमुख सजातीय स्थान हो G की क्रिया स्वयं पर होती है, तो संबंधित समूह E' को फाइबर समूह E से जुड़ा प्रमुख G-समूह कहा जाता है। साथ ही एक बाईं क्रिया), तो F′ पर G की दाहिनी क्रिया E′ पर G की दाहिनी क्रिया को प्रेरित करती है। पहचान के इस विकल्प के साथ, E' सामान्य अर्थों में एक प्रमुख समूह बन जाता है। ध्यान दें कि, हालांकि जी के लिए एक प्रमुख सजातीय स्थान पर एक सही कार्रवाई निर्दिष्ट करने के लिए कोई वैधानिक तरीका नहीं है, ऐसी कोई भी दो कार्रवाइयाँ प्रमुख बंडलों का उत्पादन करेंगी जिनमें संरचना समूह जी के साथ समान अंतर्निहित फाइबर समूह होता है (चूंकि यह बाईं कार्रवाई से आता है) जी), और आइसोमॉर्फिक जी-स्पेस के रूप में इस अर्थ में कि दोनों से संबंधित बंडलों का जी-समतुल्य समरूपता है। | ||
इस तरह, एक सही कार्रवाई से लैस एक प्रमुख जी- | इस तरह, एक सही कार्रवाई से लैस एक प्रमुख जी-समूह को अक्सर संरचना समूह जी के साथ फाइबर समूह निर्दिष्ट करने वाले डेटा के हिस्से के रूप में माना जाता है, क्योंकि फाइबर समूह के लिए संबंधित समूह निर्माण के माध्यम से प्रमुख समूह का निर्माण किया जा सकता है। इसके बाद, जैसा कि अगले भाग में है, दूसरे तरीके से जा सकते हैं और फाइबर उत्पाद का उपयोग करके किसी फाइबर समूह को प्राप्त कर सकते हैं। | ||
=== प्रिंसिपल | === प्रिंसिपल समूह से जुड़ा फाइबर बंडल === | ||
मान लीजिए π : P → X एक प्रमुख | मान लीजिए π : P → X एक प्रमुख समूह है | प्रमुख G-समूह है और ρ : G → होमियो(F) एक स्थान F पर G की एक सतत समूह क्रिया (गणित) है (चिकनी श्रेणी में, हमें एक सहज होना चाहिए एक चिकनी कई गुना पर कार्रवाई)। सामान्यता खोए बिना, हम प्रभावी होने के लिए यह कार्रवाई कर सकते हैं। | ||
P × F के माध्यम से G की एक सही क्रिया को परिभाषित करें<ref>Husemoller, Dale (1994), p. 45.</ref><ref>Sharpe, R. W. (1997), p. 37.</ref> | P × F के माध्यम से G की एक सही क्रिया को परिभाषित करें<ref>Husemoller, Dale (1994), p. 45.</ref><ref>Sharpe, R. W. (1997), p. 37.</ref> | ||
Line 35: | Line 35: | ||
प्रक्षेपण मानचित्र को परिभाषित करें उदा<sub>ρ</sub> : E → X बटा π<sub>ρ</sub>([पी, एफ]) = π (पी)। ध्यान दें कि यह [[अच्छी तरह से परिभाषित]] है। | प्रक्षेपण मानचित्र को परिभाषित करें उदा<sub>ρ</sub> : E → X बटा π<sub>ρ</sub>([पी, एफ]) = π (पी)। ध्यान दें कि यह [[अच्छी तरह से परिभाषित]] है। | ||
फिर प<sub>ρ</sub> : E → X फाइबर F और संरचना समूह G के साथ एक फाइबर | फिर प<sub>ρ</sub> : E → X फाइबर F और संरचना समूह G के साथ एक फाइबर समूह है। संक्रमण कार्य ρ(t) द्वारा दिए गए हैं<sub>''ij''</sub>) जहां टी<sub>''ij''</sub> प्रिंसिपल समूह पी के संक्रमण कार्य हैं। | ||
इस निर्माण को [[श्रेणी सिद्धांत]] भी देखा जा सकता है। | इस निर्माण को [[श्रेणी सिद्धांत]] भी देखा जा सकता है। | ||
अधिक सटीक रूप से, दो सतत मानचित्र हैं <math>P \times G \times F \to P \times F</math>, P पर दाईं ओर G के साथ और F पर बाईं ओर अभिनय करके दिया गया है। | अधिक सटीक रूप से, दो सतत मानचित्र हैं <math>P \times G \times F \to P \times F</math>, P पर दाईं ओर G के साथ और F पर बाईं ओर अभिनय करके दिया गया है। | ||
संबंधित वेक्टर | संबंधित वेक्टर समूह <math>P \times_\rho F</math> तब इन नक्शों का [[समतुल्य]] है। | ||
== संरचना समूह की कमी == | == संरचना समूह की कमी == | ||
{{details|संरचना समूह में कमी}} | {{details|संरचना समूह में कमी}} | ||
संबद्ध बंडलों की साथी अवधारणा a के संरचना समूह की कमी है <math>G</math>- | संबद्ध बंडलों की साथी अवधारणा a के संरचना समूह की कमी है <math>G</math>-समूह <math>B</math>. हम पूछते हैं कि क्या कोई है <math>H</math>-समूह <math>C</math>, जैसे कि संबद्ध <math>G</math>-समूह है <math>B</math>, समरूपता तक। अधिक ठोस रूप से, यह पूछता है कि क्या संक्रमण डेटा के लिए <math>B</math> मूल्यों के साथ लगातार लिखा जा सकता है <math>H</math>. दूसरे शब्दों में, हम संबंधित समूह मैपिंग (जो वास्तव में एक मज़ेदार है) की छवि की पहचान करने के लिए कहते हैं। | ||
=== कमी के उदाहरण === | === कमी के उदाहरण === | ||
[[वेक्टर बंडल]]ों के उदाहरणों में शामिल हैं: एक मीट्रिक की शुरूआत जिसके परिणामस्वरूप संरचना समूह को एक [[सामान्य रैखिक समूह]] GL(n) से एक [[ऑर्थोगोनल समूह]] O(n) में घटाया गया; और एक वास्तविक | [[वेक्टर बंडल]]ों के उदाहरणों में शामिल हैं: एक मीट्रिक की शुरूआत जिसके परिणामस्वरूप संरचना समूह को एक [[सामान्य रैखिक समूह]] GL(n) से एक [[ऑर्थोगोनल समूह]] O(n) में घटाया गया; और एक वास्तविक समूह पर जटिल संरचना के अस्तित्व के परिणामस्वरूप संरचना समूह वास्तविक सामान्य रैखिक समूह GL(2n,'R') से जटिल सामान्य रैखिक समूह GL(n,'C') तक कम हो जाता है। | ||
एक अन्य महत्वपूर्ण मामला रैंक एन के एक वेक्टर | एक अन्य महत्वपूर्ण मामला रैंक एन के एक वेक्टर समूह वी के एक व्हिटनी योग (प्रत्यक्ष योग) के रूप में रैंक के और एन-के के उप-बंडलों के अपघटन को ढूंढ रहा है, जिसके परिणामस्वरूप जीएल (एन, 'आर') से संरचना समूह में कमी आई है। जीएल (के, 'आर') × जीएल (एन-के, 'आर')। | ||
कोई ब्लॉक मैट्रिक्स उपसमूह में [[स्पर्शरेखा बंडल]] की कमी के रूप में परिभाषित होने के लिए एक [[ पत्तियों से सजाना ]] की स्थिति को भी व्यक्त कर सकता है - लेकिन यहां कमी केवल एक आवश्यक शर्त है, एक पूर्णता की स्थिति है ताकि [[फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी)]] लागू हो . | कोई ब्लॉक मैट्रिक्स उपसमूह में [[स्पर्शरेखा बंडल|स्पर्शरेखा]] समूह की कमी के रूप में परिभाषित होने के लिए एक [[ पत्तियों से सजाना |पत्तियों से सजाना]] की स्थिति को भी व्यक्त कर सकता है - लेकिन यहां कमी केवल एक आवश्यक शर्त है, एक पूर्णता की स्थिति है ताकि [[फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी)]] लागू हो . | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 12:21, 10 April 2023
गणित में, संरचना समूह (एक सामयिक समूह) के साथ फाइबर बंडलों का सिद्धांत एक संबद्ध समूह बनाने के संचालन की अनुमति देता है, जिसमें समूह के विशिष्ट फाइबर से परिवर्तन होता है को में बदलता है , जो दोनों सामयिक रिक्त स्थान हैं . की एक समूह क्रिया। संरचना समूह G के साथ एक फाइबर समूह F के लिए, दो समन्वय प्रणाली Uα और Uβ के अतिव्यापन में फाइबर के संक्रमण कार्य ( जिससे , कोसायकल (बीजगणितीय टोपोलॉजी)) Uα∩Uβ पर G-मूल्यवान कार्य gαβ के रूप में दिया जाता है तब एक फाइबर समूह F' का निर्माण एक नए फाइबर समूह के रूप में किया जा सकता है जिसमें समान संक्रमण कार्य होते हैं, किंतु संभवतः एक अलग फाइबर होता है।।
एक उदाहरण
मोबियस पट्टी के साथ एक साधारण मामला आता है, जिसके लिए क्रम 2 का चक्रीय समूह है, . हम के रूप में ले सकते हैं इनमें से कोई भी: वास्तविक संख्या रेखा , अंतराल , वास्तविक संख्या रेखा कम बिंदु 0, या दो-बिंदु सेट . की क्रिया इन पर (गैर-पहचान तत्व अभिनय के रूप में प्रत्येक मामले में) सहज ज्ञान युक्त अर्थ में तुलनीय है। हम कह सकते हैं कि अधिक औपचारिक रूप से दो आयतों को चिपकाने के संदर्भ में और एक साथ: हमें वास्तव में जिस चीज की जरूरत है, वह है पहचान करने के लिए डेटा सीधे एक छोर पर, और दूसरे छोर पर मोड़ के साथ। इस डेटा को एक पैचिंग कार्य के रूप में नीचे लिखा जा सकता है, जी में मान के साथ। 'संबंधित बंडल' निर्माण केवल अवलोकन है कि यह डेटा ठीक उसी तरह करता है से संबंधित .
निर्माण
सामान्य तौर पर यह फाइबर के समूह से संक्रमण की व्याख्या करने के लिए पर्याप्त है , जिस पर संबंधित प्रमुख समूह के लिए कार्य करता है (अर्थात् वह समूह जहां फाइबर होता है , स्वयं पर अनुवाद द्वारा कार्य करने के लिए माना जाता है)। उसके लिए हम से जा सकते हैं को , प्रिंसिपल समूह के माध्यम से। एक खुले आवरण के लिए डेटा के संदर्भ में विवरण वंश (श्रेणी सिद्धांत) के मामले के रूप में दिए गए हैं।
यह खंड का इस प्रकार से आयोजन किया जाता है। पहले हम किसी दिए गए फाइबर समूह से, निर्दिष्ट फाइबर के साथ, संबद्ध समूह के उत्पादन के लिए सामान्य प्रक्रिया का परिचय देते हैं। यह तब मामले में माहिर होता है जब निर्दिष्ट फाइबर समूह की बाईं कार्रवाई के लिए एक प्रमुख सजातीय स्थान होता है, जो संबंधित प्रिंसिपल समूह को उत्पन्न करता है। यदि, इसके अलावा, प्रमुख समूह के फाइबर पर एक सही क्रिया दी जाती है, तो हम वर्णन करते हैं कि फाइबर उत्पाद निर्माण के माध्यम से किसी संबद्ध समूह का निर्माण कैसे किया जाए।[1]
सामान्य रूप से संबद्ध बंडल
होने देना संरचना समूह जी और विशिष्ट फाइबर एफ के साथ एक सामयिक स्पेस एक्स पर एक फाइबर समूह हो। परिभाषा के अनुसार, फाइबर एफ पर जी (एक परिवर्तन समूह के रूप में) की एक समूह क्रिया (गणित) है। इसके अलावा मान लीजिए कि यह क्रिया समूह क्रिया है (गणित) # क्रियाओं के प्रकार।[2]
समूह ई का एक स्थानीय रूप से तुच्छ है जिसमें एक खुला कवर यू होता हैi एक्स का, और समूह मानचित्र का संग्रह समूह ई का एक स्थानीय रूप से तुच्छ है जिसमें एक खुला कवर यू होता हैi एक्स का, और समूह मानचित्र का संग्रह
फाइबर समूह से जुड़ा प्रिंसिपल बंडल
पहले की तरह, मान लें कि E संरचना समूह G के साथ एक फाइबर समूह है। विशेष मामले में जब G में एक समूह क्रिया (गणित) है # क्रियाओं के प्रकार F' पर कार्रवाई छोड़ दी जाती है, ताकि F' बाईं ओर एक प्रमुख सजातीय स्थान हो G की क्रिया स्वयं पर होती है, तो संबंधित समूह E' को फाइबर समूह E से जुड़ा प्रमुख G-समूह कहा जाता है। साथ ही एक बाईं क्रिया), तो F′ पर G की दाहिनी क्रिया E′ पर G की दाहिनी क्रिया को प्रेरित करती है। पहचान के इस विकल्प के साथ, E' सामान्य अर्थों में एक प्रमुख समूह बन जाता है। ध्यान दें कि, हालांकि जी के लिए एक प्रमुख सजातीय स्थान पर एक सही कार्रवाई निर्दिष्ट करने के लिए कोई वैधानिक तरीका नहीं है, ऐसी कोई भी दो कार्रवाइयाँ प्रमुख बंडलों का उत्पादन करेंगी जिनमें संरचना समूह जी के साथ समान अंतर्निहित फाइबर समूह होता है (चूंकि यह बाईं कार्रवाई से आता है) जी), और आइसोमॉर्फिक जी-स्पेस के रूप में इस अर्थ में कि दोनों से संबंधित बंडलों का जी-समतुल्य समरूपता है।
इस तरह, एक सही कार्रवाई से लैस एक प्रमुख जी-समूह को अक्सर संरचना समूह जी के साथ फाइबर समूह निर्दिष्ट करने वाले डेटा के हिस्से के रूप में माना जाता है, क्योंकि फाइबर समूह के लिए संबंधित समूह निर्माण के माध्यम से प्रमुख समूह का निर्माण किया जा सकता है। इसके बाद, जैसा कि अगले भाग में है, दूसरे तरीके से जा सकते हैं और फाइबर उत्पाद का उपयोग करके किसी फाइबर समूह को प्राप्त कर सकते हैं।
प्रिंसिपल समूह से जुड़ा फाइबर बंडल
मान लीजिए π : P → X एक प्रमुख समूह है | प्रमुख G-समूह है और ρ : G → होमियो(F) एक स्थान F पर G की एक सतत समूह क्रिया (गणित) है (चिकनी श्रेणी में, हमें एक सहज होना चाहिए एक चिकनी कई गुना पर कार्रवाई)। सामान्यता खोए बिना, हम प्रभावी होने के लिए यह कार्रवाई कर सकते हैं।
P × F के माध्यम से G की एक सही क्रिया को परिभाषित करें[3][4]
फिर हम भागफल स्थान (टोपोलॉजी) द्वारा इस क्रिया द्वारा स्थान E = P × प्राप्त करते हैंρ एफ = (पी × एफ) / जी। (p,f) के तुल्यता वर्ग को [p,f] से निरूपित करें। ध्यान दें कि
प्रक्षेपण मानचित्र को परिभाषित करें उदाρ : E → X बटा πρ([पी, एफ]) = π (पी)। ध्यान दें कि यह अच्छी तरह से परिभाषित है।
फिर पρ : E → X फाइबर F और संरचना समूह G के साथ एक फाइबर समूह है। संक्रमण कार्य ρ(t) द्वारा दिए गए हैंij) जहां टीij प्रिंसिपल समूह पी के संक्रमण कार्य हैं।
इस निर्माण को श्रेणी सिद्धांत भी देखा जा सकता है। अधिक सटीक रूप से, दो सतत मानचित्र हैं , P पर दाईं ओर G के साथ और F पर बाईं ओर अभिनय करके दिया गया है। संबंधित वेक्टर समूह तब इन नक्शों का समतुल्य है।
संरचना समूह की कमी
संबद्ध बंडलों की साथी अवधारणा a के संरचना समूह की कमी है -समूह . हम पूछते हैं कि क्या कोई है -समूह , जैसे कि संबद्ध -समूह है , समरूपता तक। अधिक ठोस रूप से, यह पूछता है कि क्या संक्रमण डेटा के लिए मूल्यों के साथ लगातार लिखा जा सकता है . दूसरे शब्दों में, हम संबंधित समूह मैपिंग (जो वास्तव में एक मज़ेदार है) की छवि की पहचान करने के लिए कहते हैं।
कमी के उदाहरण
वेक्टर बंडलों के उदाहरणों में शामिल हैं: एक मीट्रिक की शुरूआत जिसके परिणामस्वरूप संरचना समूह को एक सामान्य रैखिक समूह GL(n) से एक ऑर्थोगोनल समूह O(n) में घटाया गया; और एक वास्तविक समूह पर जटिल संरचना के अस्तित्व के परिणामस्वरूप संरचना समूह वास्तविक सामान्य रैखिक समूह GL(2n,'R') से जटिल सामान्य रैखिक समूह GL(n,'C') तक कम हो जाता है।
एक अन्य महत्वपूर्ण मामला रैंक एन के एक वेक्टर समूह वी के एक व्हिटनी योग (प्रत्यक्ष योग) के रूप में रैंक के और एन-के के उप-बंडलों के अपघटन को ढूंढ रहा है, जिसके परिणामस्वरूप जीएल (एन, 'आर') से संरचना समूह में कमी आई है। जीएल (के, 'आर') × जीएल (एन-के, 'आर')।
कोई ब्लॉक मैट्रिक्स उपसमूह में स्पर्शरेखा समूह की कमी के रूप में परिभाषित होने के लिए एक पत्तियों से सजाना की स्थिति को भी व्यक्त कर सकता है - लेकिन यहां कमी केवल एक आवश्यक शर्त है, एक पूर्णता की स्थिति है ताकि फ्रोबेनियस प्रमेय (अंतर टोपोलॉजी) लागू हो .
यह भी देखें
संदर्भ
- ↑ All of these constructions are due to Ehresmann (1941-3). Attributed by Steenrod (1951) page 36
- ↑ Effectiveness is a common requirement for fibre bundles; see Steenrod (1951). In particular, this condition is necessary to ensure the existence and uniqueness of the principal bundle associated with E.
- ↑ Husemoller, Dale (1994), p. 45.
- ↑ Sharpe, R. W. (1997), p. 37.
पुस्तकें
- Steenrod, Norman (1951). फाइबर बंडलों की टोपोलॉजी. Princeton: Princeton University Press. ISBN 0-691-00548-6.
- Husemoller, Dale (1994). फाइबर बंडल (Third ed.). New York: Springer. ISBN 978-0-387-94087-8.
- Sharpe, R. W. (1997). डिफरेंशियल ज्योमेट्री: कार्टन का क्लेन के एर्लांगेन प्रोग्राम का सामान्यीकरण. New York: Springer. ISBN 0-387-94732-9.
श्रेणी:बीजगणितीय टोपोलॉजी श्रेणी:विभेदक ज्यामिति श्रेणी:डिफरेंशियल टोपोलॉजी श्रेणी:फाइबर बंडल