सदिश बंडल: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Mathematical parametrization of vector spaces by another space}} | {{Short description|Mathematical parametrization of vector spaces by another space}} | ||
[[File:Mobius strip illus.svg|thumb|250px|right | [[File:Mobius strip illus.svg|thumb|250px|right|1-sphere S पर एक [[ लाइन बंडल ]] है<sup>1</उप>। समष्टिीय रूप से एस में हर बिंदु के आसपास<sup>1</sup>, यह [[ समरूपता ]] U × 'R' (जहाँ U बिंदु सहित एक खुला चाप है), लेकिन कुल बंडल 'S' से अलग है<sup>1</sup> × R (जो इसके बजाय कार्टेशियन उत्पाद है)।]]गणित में, '''सदिश बंडल''' से एक [[ टोपोलॉजी ]] निर्माण होता है जो किसी अन्य समष्टि द्वारा पैरामीटर किए गए सदिश रिक्त समष्टि के विचार को उपयुक्त बनाता है (उदाहरण: ''X'' कई गुना या बीजगणितीय भाँति ''',''' का टोपोलॉजिकल समष्टि हो सकता है) अंतरिक्ष ''X'' के प्रत्येक बिंदु ''x'' से एक सदिश समष्टि ''V''(''x'') को इस तरह से जोड़ते हैं ये सदिश रिक्त समष्टि पर एक साथ फिट होकर 'X'' (जैसे एक टोपोलॉजिकल समष्टि, विविध ) के समान समष्टि बनाते हैं, जिसे 'X'' को सदिश बंडल कहा जाता है। | ||
उदाहरण यह है कि | उदाहरण यह है कि सदिश रिक्त समष्टि का परिवार है, एक निश्चित सदिश समष्टि ''V'' ऐसा है कि ''V''(''x'') = ''V'' सभी के लिए ''X'' में ''X'': इस :घटना में ''X'' प्रत्येक ''x'' के लिए ''V'' की एक प्रति है और ये प्रतियां X के ऊपर सदिश बंडल X × V बनाने के लिए एक साथ फिट होती हैं।. ऐसे सदिश बंडल [[ फाइबर बंडल |फाइबर बंडल]] तुच्छ कहलाते है। उदाहरणों का एक अधिक सम्मिश्र चिकना कई गुना मैनिफोल्ड्स के [[ स्पर्शरेखा बंडल | स्पर्शरेखा बंडल]] हैं: इस तरह के कई गुना के सभी बिंदु पर [[ स्पर्शरेखा स्थान | स्पर्शरेखा समष्टि]] को उस बिंदु पर मैनिफोल्ड से जोड़ते हैं। स्पर्शरेखा बंडल समानता: तुच्छ बंडल नहीं होते हैं। उदाहरण के लिए, गेंद प्रमेय द्वारा गोले का स्पर्शरेखा बंडल गैर-तुच्छ है। सामान्य तौर पर, मैनिफोल्ड को समानांतर मैनिफोल्ड कहा जाता है जब इसका स्पर्शरेखा बंडल तुच्छ है। | ||
चूंकि, | चूंकि, सदिश बंडलों को हमेशा समष्टिीय रूप से तुच्छ होने की आवश्यकता होती है, जिसका अर्थ है कि वे फाइबर बंडलों के उदाहरण हैं। साथ ही, सदिश रिक्त समष्टि का सामान्यतः वास्तविक या सम्मिश्र संख्याओं पर होना आवश्यक है, इस विषय में सदिश बंडल को वास्तविक या सम्मिश्र सदिश बंडल कहा जाता है। सम्मिश्र सदिश बंडलों को अतिरिक्त संरचना के साथ वास्तविक सदिश बंडलों के रूप में देखा जा सकता है। निम्नलिखित में, हम [[ टोपोलॉजिकल स्पेस की श्रेणी | टोपोलॉजिकल समष्टि की श्रेणी]] में वास्तविक सदिश बंडलों पर ध्यान केंद्रित करते हैं। | ||
== परिभाषा और पहला परिणाम == | == परिभाषा और पहला परिणाम == | ||
[[File:Vector bundle.png|thumb|300px|एक सदिश बंडल <math>E</math> एक आधार पर <math>M</math>. एक बिंदु <math>m_1</math> में <math>M</math> एक फाइबर में उत्पत्ति के अनुरूप है <math>E_{m_1}</math> सदिश बंडल का <math>E</math>, और इस फाइबर को बिंदु तक मैप किया जाता है <math>m_1</math> प्रक्षेपण द्वारा <math>\pi: E \to M</math>.]]एक वास्तविक सदिश बंडल में निम्नलिखित हैं: | [[File:Vector bundle.png|thumb|300px|एक सदिश बंडल <math>E</math> एक आधार पर <math>M</math>. एक बिंदु <math>m_1</math> में <math>M</math> एक फाइबर में उत्पत्ति के अनुरूप है <math>E_{m_1}</math> सदिश बंडल का <math>E</math>, और इस फाइबर को बिंदु तक मैप किया जाता है <math>m_1</math> प्रक्षेपण द्वारा <math>\pi: E \to M</math>.]]एक वास्तविक सदिश बंडल में निम्नलिखित हैं: | ||
# टोपोलॉजिकल | # टोपोलॉजिकल समष्टि ''X'' और ''E'' | ||
# एक सतत कार्य प्रक्षेपण {{pi}} : ई → एक्स (बंडल प्रक्षेपण) | # एक सतत कार्य प्रक्षेपण {{pi}} : ई → एक्स (बंडल प्रक्षेपण) | ||
# X में प्रत्येक x के लिए, परिमित-आयामी की संरचना फाइबर बंडल पर परिमित-आयामी [[ वास्तविक संख्या ]] | # X में प्रत्येक x के लिए, परिमित-आयामी की संरचना फाइबर बंडल पर परिमित-आयामी [[ वास्तविक संख्या ]] सदिश समष्टि {{pi}}<sup>−1</sup>({x}) | ||
जहां निम्नलिखित संगतता स्थिति संतुष्ट है: एक्स में प्रत्येक बिंदु पी के लिए, पी का एक खुला पड़ोस यू ⊆ एक्स है, एक [[ प्राकृतिक संख्या | प्राकृतिक]] [[ प्राकृतिक संख्या |संख्या]] के, और होमियोमोर्फिज्म है: | जहां निम्नलिखित संगतता स्थिति संतुष्ट है: एक्स में प्रत्येक बिंदु पी के लिए, पी का एक खुला पड़ोस यू ⊆ एक्स है, एक [[ प्राकृतिक संख्या | प्राकृतिक]] [[ प्राकृतिक संख्या |संख्या]] के, और होमियोमोर्फिज्म है: | ||
| Line 18: | Line 18: | ||
* <math> (\pi \circ \varphi)(x,v) = x </math> ''''R'''<sup>''k''</sup>' में सभी वैक्टर के लिए, और | * <math> (\pi \circ \varphi)(x,v) = x </math> ''''R'''<sup>''k''</sup>' में सभी वैक्टर के लिए, और | ||
* नक्शा <math> v \mapsto \varphi (x, v)</math> | * नक्शा <math> v \mapsto \varphi (x, v)</math> सदिश रिक्त समष्टि आर के बीच एक रैखिक समरूपता है''''R'''<sup>''k''</sup> और {{pi}}<sup>-1</sup>({x})। | ||
होमियोमॉर्फिज्म के साथ खुला पड़ोस ''U'' एक साथ <math>\varphi</math> | होमियोमॉर्फिज्म के साथ खुला पड़ोस ''U'' एक साथ <math>\varphi</math> सदिश बंडल का समष्टिीय तुच्छीकरण कहा जाता है। समष्टिीय तुच्छता से पता चलता है कि 'समष्टिीय रूप से' मानचित्र {{pi}} ''U'' × ''''R'''<sup>''k''</sup>' के प्रक्षेपण जैसा दिखता है ''U'' पर है। | ||
हर फाइबर {{pi}}<sup>−1</sup>({x}) एक परिमित-विमीय वास्तविक सदिश समष्टि है और इसलिए इसका आयाम k है<sub>''x''</sub>. | हर फाइबर {{pi}}<sup>−1</sup>({x}) एक परिमित-विमीय वास्तविक सदिश समष्टि है और इसलिए इसका आयाम k है<sub>''x''</sub>. समष्टिीय तुच्छीकरण दर्शाता है कि फलन x {{mapsto}} k<sub>x</sub>[[ स्थानीय रूप से स्थिर | समष्टिीय रूप से स्थिर]] है, और इसलिए X के प्रत्येक समष्टिीय रूप से जुड़े हुए समष्टि पर स्थिर है। यदि k<sub>x</sub>सभी X पर एक अचर k के बराबर है, तो k को सदिश बंडल का 'रैंक' कहा जाता है, और E को 'रैंक k का सदिश बंडल' कहा जाता है। सामान्यतः एक सदिश बंडल की परिभाषा में यह सम्मिलित होता है कि पद अच्छी तरह से परिभाषित है, जिससे k<sub>x</sub>स्थिर है। रैंक 1 के सदिश बंडलों को लाइन बंडल कहा जाता है, जबकि रैंक 2 के सदिश बंडलों को सामान्यतः समतल बंडल कहा जाता है। | ||
कार्तीय गुणनफल X × 'R'<sup>k</sup>, प्रोजेक्शन X × 'R' से सुसज्जित<sup>k</sup> → X, को X के ऊपर रैंक k का 'तुच्छ बंडल' कहा जाता है। | कार्तीय गुणनफल X × 'R'<sup>k</sup>, प्रोजेक्शन X × 'R' से सुसज्जित<sup>k</sup> → X, को X के ऊपर रैंक k का 'तुच्छ बंडल' कहा जाता है। | ||
| Line 28: | Line 28: | ||
=== संक्रमण कार्य === | === संक्रमण कार्य === | ||
[[File:Transition functions.png|thumb|300px|खुले सेटों पर दो तुच्छ सदिश बंडल <math>U_\alpha</math> तथा <math>U_\beta</math> चौराहे पर चिपकाया जा सकता है <math>U_{\alpha\beta}</math> संक्रमण कार्यों द्वारा <math>g_{\alpha \beta}</math> जो तंतुओं में एक रैखिक परिवर्तन लागू करने के बाद छायांकित ग्रे क्षेत्रों को एक साथ चिपकाने का काम करते हैं (नीले चतुर्भुज के प्रभाव के तहत नीले चतुर्भुज के परिवर्तन पर ध्यान दें) <math>g_{\alpha\beta}</math>) संक्रमण कार्यों के विभिन्न विकल्पों के परिणामस्वरूप विभिन्न सदिश बंडल हो सकते हैं जो ग्लूइंग पूर्ण होने के बाद गैर-तुच्छ हैं।]] | [[File:Transition functions.png|thumb|300px|खुले सेटों पर दो तुच्छ सदिश बंडल <math>U_\alpha</math> तथा <math>U_\beta</math> चौराहे पर चिपकाया जा सकता है <math>U_{\alpha\beta}</math> संक्रमण कार्यों द्वारा <math>g_{\alpha \beta}</math> जो तंतुओं में एक रैखिक परिवर्तन लागू करने के बाद छायांकित ग्रे क्षेत्रों को एक साथ चिपकाने का काम करते हैं (नीले चतुर्भुज के प्रभाव के तहत नीले चतुर्भुज के परिवर्तन पर ध्यान दें) <math>g_{\alpha\beta}</math>) संक्रमण कार्यों के विभिन्न विकल्पों के परिणामस्वरूप विभिन्न सदिश बंडल हो सकते हैं जो ग्लूइंग पूर्ण होने के बाद गैर-तुच्छ हैं।]] | ||
[[File:Mobius transition functions.png|thumb|300px|मोबियस पट्टी का निर्माण सर्कल एस के खुले उपसमुच्चय यू और वी पर दो तुच्छ बंडलों के गैर-तुच्छ ग्लूइंग द्वारा किया जा सकता है<sup>1</उप>। जब तुच्छ रूप से चिपकाया जाता है (g . के साथ)<sub>UV</sub>=1) एक तुच्छ बंडल प्राप्त करता है, लेकिन जी के गैर-तुच्छ ग्लूइंग के साथ<sub>UV</sub>=1 एक ओवरलैप पर और g<sub>UV</sub>=-1 दूसरे ओवरलैप पर, एक गैर-तुच्छ बंडल ई, मोबियस पट्टी प्राप्त करता है। इसे | [[File:Mobius transition functions.png|thumb|300px|मोबियस पट्टी का निर्माण सर्कल एस के खुले उपसमुच्चय यू और वी पर दो तुच्छ बंडलों के गैर-तुच्छ ग्लूइंग द्वारा किया जा सकता है<sup>1</उप>। जब तुच्छ रूप से चिपकाया जाता है (g . के साथ)<sub>UV</sub>=1) एक तुच्छ बंडल प्राप्त करता है, लेकिन जी के गैर-तुच्छ ग्लूइंग के साथ<sub>UV</sub>=1 एक ओवरलैप पर और g<sub>UV</sub>=-1 दूसरे ओवरलैप पर, एक गैर-तुच्छ बंडल ई, मोबियस पट्टी प्राप्त करता है। इसे समष्टिीय चार्टों में से एक के घुमाव के रूप में देखा जा सकता है।]]रैंक k का एक सदिश बंडल E → X दिया गया है, और पड़ोस का एक जोड़ा U और V दिया गया है, जिसके ऊपर बंडल तुच्छ बनाता है | ||
:<math>\begin{align} | :<math>\begin{align} | ||
| Line 46: | Line 46: | ||
सभी ''U'', ''V'', ''W'' के लिए जिस पर बंडल संतोषजनक हो जाता है <math> U\cap V\cap W\neq \emptyset</math>. इस प्रकार डेटा (E, X, {{pi}}, R<sup>k</sup>) फाइबर बंडल को परिभाषित करता है; G के अतिरिक्त डेटा<sub>''UV''</sub> एक GL(''k'') संरचना समूह को निर्दिष्ट करता है जिसमें फाइबर पर क्रिया GL(''k'') की मानक क्रिया है। | सभी ''U'', ''V'', ''W'' के लिए जिस पर बंडल संतोषजनक हो जाता है <math> U\cap V\cap W\neq \emptyset</math>. इस प्रकार डेटा (E, X, {{pi}}, R<sup>k</sup>) फाइबर बंडल को परिभाषित करता है; G के अतिरिक्त डेटा<sub>''UV''</sub> एक GL(''k'') संरचना समूह को निर्दिष्ट करता है जिसमें फाइबर पर क्रिया GL(''k'') की मानक क्रिया है। | ||
इसके विपरीत, एक फाइबर बंडल (''E'', ''X'', π, '''R'''<sup>''k''</sup>) फाइबर 'R' पर मानक उपाय से अभिनय करने वाली GL(k) कोसाइकिल के साथ '''R'''<sup>k</sup>, वहाँ एक सदिश बंडल संबद्ध है। यह | इसके विपरीत, एक फाइबर बंडल (''E'', ''X'', π, '''R'''<sup>''k''</sup>) फाइबर 'R' पर मानक उपाय से अभिनय करने वाली GL(k) कोसाइकिल के साथ '''R'''<sup>k</sup>, वहाँ एक सदिश बंडल संबद्ध है। यह सदिश बंडलों के लिए फाइबर बंडल निर्माण प्रमेय का एक उदाहरण है, और इसे सदिश बंडल की वैकल्पिक परिभाषा के रूप में लिया सकता है। | ||
===उपसमूह === | ===उपसमूह === | ||
{{Main article|सबबंडल}} | {{Main article|सबबंडल}} | ||
[[File:Subbundle.png|thumb|300px|एक लाइन सबबंडल <math>L</math> एक तुच्छ रैंक 2 सदिश बंडल का <math>E</math> एक आयामी कई गुना से अधिक <math>M</math>.]] | [[File:Subbundle.png|thumb|300px|एक लाइन सबबंडल <math>L</math> एक तुच्छ रैंक 2 सदिश बंडल का <math>E</math> एक आयामी कई गुना से अधिक <math>M</math>.]]सदिश बंडलों के निर्माण की एक सरल विधि अन्य सदिश बंडलों के सबबंडल्स लेना है। एक सदिश बंडल दिया गया <math>\pi: E\to X</math> एक टोपोलॉजिकल समष्टि पर, एक सबबंडल बस एक सबसमष्टि है <math>F\subset E</math> जिसके लिए प्रतिबंध <math>\left.\pi\right|_F</math> का <math>\pi</math> प्रति <math>F</math> देता है <math>\left.\pi\right|_F: F \to X</math> एक सदिश बंडल की संरचना भी। इस विषय में फाइबर <math>F_x\subset E_x</math> प्रत्येक के लिए सदिश उपसमष्टि है <math>x\in X</math>. | ||
एक तुच्छ बंडल के एक उपसमूह को तुच्छ होने की आवश्यकता नहीं है, और वास्तव में प्रत्येक वास्तविक | एक तुच्छ बंडल के एक उपसमूह को तुच्छ होने की आवश्यकता नहीं है, और वास्तव में प्रत्येक वास्तविक सदिश बंडल को पर्याप्त उच्च पद के तुच्छ बंडल के एक उपसमूह के रूप में देखा जा सकता है। उदाहरण के लिए मोबियस बैंड, घेरा के ऊपर एक गैर-तुच्छ लाइन बंडल, घेरा के ऊपर तुच्छ पद 2 बंडल के एक सबबंडल के रूप में देखा जा सकता है। | ||
== सदिश बंडल == | == सदिश बंडल == | ||
सदिश बंडल से आकारिकी {{pi}}<sub>1</sub>: E<sub>1</sub> → X<sub>1</sub> | सदिश बंडल से आकारिकी {{pi}}<sub>1</sub>: E<sub>1</sub> → X<sub>1</sub> सदिश बंडल के लिए {{pi}}<sub>2</sub>: E<sub>2</sub> → X<sub>2</sub> निरंतर मानचित्र f: E की एक जोड़ी द्वारा दिया गया हैE<sub>1</sub> →E<sub>2</sub> और ''g'': X<sub>1</sub> →X<sub>2</sub> ऐसा है कि | ||
: ''g'' ∘{{pi}}<sub>1</sub> = {{pi}}<sub>2</sub>∘ ''f'' | : ''g'' ∘{{pi}}<sub>1</sub> = {{pi}}<sub>2</sub>∘ ''f'' | ||
:: [[File:BundleMorphism-01.png]]:X में प्रत्येक X के लिए ''X''<sub>1</sub>, नक्शा {{pi}}<sub>1</sub><sup>-1</sup>({x}) → {{pi}}<sub>2</sub><sup>−1</sup>({g(x)}) f द्वारा प्रेरित सदिश | :: [[File:BundleMorphism-01.png]]:X में प्रत्येक X के लिए ''X''<sub>1</sub>, नक्शा {{pi}}<sub>1</sub><sup>-1</sup>({x}) → {{pi}}<sub>2</sub><sup>−1</sup>({g(x)}) f द्वारा प्रेरित सदिश समष्टिों के बीच एक रेखीय मानचित्र है। | ||
ध्यान दें कि ''g'' ''f'' द्वारा निर्धारित किया जाता है (क्योंकि {{pi}}<sub>1</sub> आच्छादक है), और f को फिर 'आवरण g' कहा जाता है। | ध्यान दें कि ''g'' ''f'' द्वारा निर्धारित किया जाता है (क्योंकि {{pi}}<sub>1</sub> आच्छादक है), और f को फिर 'आवरण g' कहा जाता है। | ||
सभी | सभी सदिश बंडलों का वर्ग बंडल आकारिकी के साथ मिलकर एक [[ श्रेणी (गणित) | श्रेणी]] बनाता है। सदिश बंडलों तक सीमित करना जिसके लिए रिक्त समष्टि कई गुना हैं और चिकने बंडल मोर्फिज्म हम चिकने सदिश बंडलों की श्रेणी प्राप्त करते हैं। सदिश बंडल मॉर्फिज्म फाइबर बंडलों के बीच बंडल नक्शा की धारणा का एक विशेष विषय है, और इसे कभी-कभी होमोमोर्फिज्म' कहा जाता है। | ||
E से एक बंडल ''E''<sub>2,</sub> U<sub>2</sub> एक व्युत्क्रम के साथ जो एक बंडल समरूप भी है (E<sub>2 ,</sub> U<sub>1</sub>) को बंडल समरूपता कहा जाता है, और फिर ''E''<sub>1</sub> और E<sub>2</sub> आइसोमॉर्फिक | E से एक बंडल ''E''<sub>2,</sub> U<sub>2</sub> एक व्युत्क्रम के साथ जो एक बंडल समरूप भी है (E<sub>2 ,</sub> U<sub>1</sub>) को बंडल समरूपता कहा जाता है, और फिर ''E''<sub>1</sub> और E<sub>2</sub> आइसोमॉर्फिक सदिश बंडल कहा जाता है। तुच्छ बंडल के साथ (''k'') सदिश बंडल ''E'' ओवर ''X'' का एक आइसोमोर्फिज्म (पद ''k'' ऊपर''X'') को 'का ट्रिवियलाइजेशन' कहा जाता है। 'E', और 'E' को तब तुच्छ कहा जाता है। सदिश बंडल की परिभाषा से पता चलता है कि कोई भी सदिश बंडल समष्टिीय रूप से तुच्छ है। | ||
हम एक निश्चित आधार | हम एक निश्चित आधार समष्टि ''X'' पर सभी सदिश बंडलों की श्रेणी पर भी विचार कर सकते हैं। इस श्रेणी में मोर्फिज्म के रूप में हम सदिश बंडलों के उन मोर्फिज्म को लेते हैं जिनके आधार समष्टि पर मानचित्र 'X' पर पहचान कार्य है। यही है, बंडल मोर्फिज्म जिसके लिए निम्न आरेख कम्यूटेटिव आरेख: | ||
: [[File:BundleMorphism-02.png]](ध्यान दें कि यह श्रेणी एबेलियन श्रेणी नहीं है; | : [[File:BundleMorphism-02.png]](ध्यान दें कि यह श्रेणी एबेलियन श्रेणी नहीं है; सदिश बंडलों के आकारिकी का श्रेणी सिद्धांत सामान्य रूप से किसी भी प्राकृतिक उपाय से सदिश बंडल नहीं है। | ||
सदिश बंडलों के बीच एक सदिश बंडल आकारिकी {{pi}}<sub>1</sub>: E<sub>1</sub> → X<sub>1</sub> तथा {{pi}}<sub>2</sub>: E<sub>2</sub> → X<sub>2</sub> X से मानचित्र g को कवर करना E<sub>1 ,</sub> X<sub>2</sub> X<sub>1</sub> पर | सदिश बंडलों के बीच एक सदिश बंडल आकारिकी {{pi}}<sub>1</sub>: E<sub>1</sub> → X<sub>1</sub> तथा {{pi}}<sub>2</sub>: E<sub>2</sub> → X<sub>2</sub> X से मानचित्र g को कवर करना E<sub>1 ,</sub> X<sub>2</sub> X<sub>1</sub> पर सदिश बंडल आकारिकी के रूप में भी देखा जा सकता है E<sub>1</sub> [[ पुलबैक बंडल ]] g*E<sub>2</sub>. | ||
== अनुभाग और | == अनुभाग और समष्टिीय रूप से मुक्त बंडल == | ||
[[File:Vector bundle with section.png|thumb|300px|एक सदिश बंडल <math>E</math> एक आधार पर <math>M</math> खंड के साथ <math>s</math>.]] | [[File:Vector bundle with section.png|thumb|300px|एक सदिश बंडल <math>E</math> एक आधार पर <math>M</math> खंड के साथ <math>s</math>.]] | ||
[[File:Surface normals.svg|right|thumb|300px|एक सतह पर प्रत्येक बिंदु के लिए एक [[ सामान्य वेक्टर ]] को जोड़ने वाले मानचित्र को एक खंड के रूप में माना जा सकता है। सतह अंतरिक्ष X है, और प्रत्येक बिंदु x पर x पर संलग्न सदिश समष्टि में एक सदिश है।]]एक | [[File:Surface normals.svg|right|thumb|300px|एक सतह पर प्रत्येक बिंदु के लिए एक [[ सामान्य वेक्टर | सामान्य सदिश]] को जोड़ने वाले मानचित्र को एक खंड के रूप में माना जा सकता है। सतह अंतरिक्ष X है, और प्रत्येक बिंदु x पर x पर संलग्न सदिश समष्टि में एक सदिश है।]]एक सदिश बंडल दिया गया {{pi}}: E → X और X का एक खुला उपसमुच्चय U, हम 'सेक्शन' पर विचार कर सकते हैं {{pi}} U पर, निरंतर कार्य S: U → E जहां समग्र {{pi}}∘ ऐसा है कि {{nowrap|1=({{pi}} ∘ ''s'')(''u'') = ''u''}} में सभी U के लिए। अनिवार्य रूप से, एक अनुभाग U के प्रत्येक बिंदु को संलग्न सदिश अंतरिक्ष से बिना किसी अंतराल के प्रदान करता है। एक उदाहरण के रूप में, अंतर मैनिफोल्ड के स्पर्शरेखा बंडल के खंड कुछ और नहीं अन्यथा उस मैनिफोल्ड पर [[ वेक्टर क्षेत्र | सदिश क्षेत्र]] हैं। | ||
F(U) को U पर सभी वर्गों का समूह होने दें। F(U) में हमेशा कम से कम एक तत्व होता है, अर्थात् शून्य खंड: फ़ंक्शन s जो U के प्रत्येक तत्व x को सदिश | F(U) को U पर सभी वर्गों का समूह होने दें। F(U) में हमेशा कम से कम एक तत्व होता है, अर्थात् शून्य खंड: फ़ंक्शन s जो U के प्रत्येक तत्व x को सदिश समष्टि {{pi}}<sup>-1</sup>({x} के शून्य तत्व से मापन करता है। खंडों के बिंदुवार योग और अदिश गुणन के साथ, F(U) स्वयं एक वास्तविक सदिश समष्टि बन जाता है। इन सदिश रिक्त समष्टि का संग्रह X पर सदिश रिक्त समष्टि का एक [[शीफ (गणित)|शीफ]] समूह है। | ||
यदि s, F(U) का एक अवयव है और α: U → 'R' एक सतत मानचित्र है, तो αs (बिंदुवार अदिश गुणन) F(U) में होता है। हम देखते हैं कि F(U) U पर निरंतर वास्तविक-मूल्यवान फलनों के वलय के ऊपर एक [[ मॉड्यूल (गणित) | मापांक]] है। इसके अतिरिक्त, यदि O<sub>''X''</sub> X पर निरंतर वास्तविक-मूल्यवान कार्यों की संरचना शीफ को दर्शाता है, <sub>''X''</sub>मापांक फिर F O का एक शीफ बन जाता है। | यदि s, F(U) का एक अवयव है और α: U → 'R' एक सतत मानचित्र है, तो αs (बिंदुवार अदिश गुणन) F(U) में होता है। हम देखते हैं कि F(U) U पर निरंतर वास्तविक-मूल्यवान फलनों के वलय के ऊपर एक [[ मॉड्यूल (गणित) | मापांक]] है। इसके अतिरिक्त, यदि O<sub>''X''</sub> X पर निरंतर वास्तविक-मूल्यवान कार्यों की संरचना शीफ को दर्शाता है, <sub>''X''</sub>मापांक फिर F O का एक शीफ बन जाता है। | ||
सदिश बंडल से <sub>''X''</sub>-मॉड्यूल का प्रत्येक शीफ इस तरह से उत्पन्न नहीं होता है: केवल [[ स्थानीय रूप से मुक्त शीफ ]] ही करते हैं। (कारण: | सदिश बंडल से <sub>''X''</sub>-मॉड्यूल का प्रत्येक शीफ इस तरह से उत्पन्न नहीं होता है: केवल [[ स्थानीय रूप से मुक्त शीफ | समष्टिीय रूप से मुक्त शीफ]] ही करते हैं। (कारण: समष्टिीय रूप से हम प्रक्षेपण YX 'R' के वर्गों की तलाश में हैं<sup>के </सुप> →Y; ये सटीक रूप से निरंतर कार्य हैं यू → 'R'<sup>k</sup>, और ऐसा फलन निरंतर फलनों U → 'R' का k-tuple है)। | ||
<sub>''X''</sub>-मॉड्यूल,इससे भी अधिक: X पर वास्तविक | <sub>''X''</sub>-मॉड्यूल,इससे भी अधिक: X पर वास्तविक सदिश बंडलों की श्रेणी O के समष्टिीय रूप से मुक्त और सूक्ष्म रूप से उत्पन्न ढेरों की श्रेणी के लिए [[ श्रेणी सिद्धांत | श्रेणी सिद्धांत]] है। | ||
तो हम X पर वास्तविक | तो हम X पर वास्तविक सदिश बंडलों की श्रेणी के बारे में सोच सकते हैं जैसे कि OX-मॉड्यूल के शीशों की श्रेणी के अंदर बैठे, यह बाद वाली श्रेणी एबेलियन है, इसलिए यह वह जगह है जहां हम सदिश बंडलों के आकारिकी के गुठली और कोकर्नेल की गणना कर सकते हैं। | ||
एक रैंक n | एक रैंक n सदिश बंडल तुच्छ है यदि और केवल अगर इसमें n रैखिक रूप से स्वतंत्र वैश्विक खंड हैं। | ||
== सदिश बंडलों पर संचालन == | == सदिश बंडलों पर संचालन == | ||
सदिश रिक्त | सदिश रिक्त समष्टि पर फाइबरवाइज करके अधिकांश संचालन सदिश बंडलों तक बढ़ाए जा सकते हैं। | ||
उदाहरण के लिए, यदि E, X के ऊपर एक सदिश बंडल है, तो X के ऊपर एक बंडल E* है, जिसे '[[ दोहरी बंडल ]]' कहा जाता है, जिसका फाइबर x ∈ X पर [[ दोहरी वेक्टर अंतरिक्ष ]] है (E<sub>x</sub>)*. नियमित रूप से E* को जोड़े (x, φ) के समुच्चय के रूप में परिभाषित किया जा सकता है, जहाँ x ∈ X और φ ∈ (E<sub>''x''</sub>)*. दोहरी बंडल | उदाहरण के लिए, यदि E, X के ऊपर एक सदिश बंडल है, तो X के ऊपर एक बंडल E* है, जिसे '[[ दोहरी बंडल ]]' कहा जाता है, जिसका फाइबर x ∈ X पर [[ दोहरी वेक्टर अंतरिक्ष | दोहरी सदिश अंतरिक्ष]] है (E<sub>x</sub>)*. नियमित रूप से E* को जोड़े (x, φ) के समुच्चय के रूप में परिभाषित किया जा सकता है, जहाँ x ∈ X और φ ∈ (E<sub>''x''</sub>)*. दोहरी बंडल समष्टिीय रूप से तुच्छ है क्योंकि E के समष्टिीय तुच्छीकरण के व्युत्क्रम का समष्टिान्तरण E* का एक समष्टिीय तुच्छीकरण है: यहां मुख्य बिंदु यह है कि दोहरी सदिश समष्टि लेने का संचालन [[ कार्यात्मक ]] है। | ||
कई कार्यात्मक संचालन हैं जो | कई कार्यात्मक संचालन हैं जो सदिश रिक्त समष्टि के एक ही क्षेत्र पर किए जा सकते हैं, और ये सीधे सदिश बंडल E, F पर X जोड़े तक विस्तारित होते हैं और कुछ उदाहरण अनुसरण करते हैं। | ||
* E और F का 'व्हिटनी योग' ([[ हस्लर व्हिटनी ]] के लिए नामित) या 'प्रत्यक्ष योग बंडल' एक सदिश बंडल E ⊕ FX पर है जिसका फाइबर X से अधिक मॉड्यूल E का प्रत्यक्ष योग है<sub>x</sub>⊕ एफ<sub>x</sub>सदिश रिक्त | * E और F का 'व्हिटनी योग' ([[ हस्लर व्हिटनी ]] के लिए नामित) या 'प्रत्यक्ष योग बंडल' एक सदिश बंडल E ⊕ FX पर है जिसका फाइबर X से अधिक मॉड्यूल E का प्रत्यक्ष योग है<sub>x</sub>⊕ एफ<sub>x</sub>सदिश रिक्त समष्टि E<sub>x</sub>और F<sub>x</sub>. | ||
* 'टेंसर उत्पाद बंडल' E ⊗ F को इसी तरह से परिभाषित किया गया है, जिसमें | * 'टेंसर उत्पाद बंडल' E ⊗ F को इसी तरह से परिभाषित किया गया है, जिसमें सदिश समष्टि के फाइबरवाइज [[ टेंसर उत्पाद |टेंसर उत्पाद]] का उपयोग किया जाता है। | ||
* 'होम-बंडल' होम (E, F) एक | * 'होम-बंडल' होम (E, F) एक सदिश बंडल है जिसका फाइबर X पर E से रैखिक मानचित्रों का समष्टि है| <sub>x</sub>F के लिए<sub>x</sub>(जिसे अक्सर होम के रूप में दर्शाया जाता है<sub>''x''</sub>, F<sub>x</sub>) या L (E<sub>''x''</sub>, F<sub>''x''</sub>))। होम-बंडल और उपयोगी है क्योंकि सदिश बंडल होमोमोर्फिज्म के बीच E से F से X और X के ऊपर होम (E, F) के वर्गों के बीच एक विभाजन है। | ||
* पिछले उदाहरण पर निर्माण, एक एंडोमोर्फिज्म बंडल होम (E, E) और एक फ़ंक्शन F:X → 'R' के एक खंड को देखते हुए, कोई एक बिंदु x X पर फाइबर ले कर एक 'ईजेनबंडल' का निर्माण कर सकता है। f(x)- | * पिछले उदाहरण पर निर्माण, एक एंडोमोर्फिज्म बंडल होम (E, E) और एक फ़ंक्शन F:X → 'R' के एक खंड को देखते हुए, कोई एक बिंदु x X पर फाइबर ले कर एक 'ईजेनबंडल' का निर्माण कर सकता है। f(x)-आइजन्सदिश, ईजेनसमष्टि और रैखिक मानचित्र s(x) का स्पेक्ट्रम हो: E<sub>''x''</sub> → ''E<sub>xx</sub>''. चूंकि यह निर्माण स्वाभाविक है, जब तक देखभाल नहीं की जाती है, परिणामी वस्तु में समष्टिीय तुच्छता नहीं होगी। s के शून्य खंड होने और f के पृथक शून्य होने के घटना पर विचार करें। परिणामी ईजेनबंडल में इन शून्यों पर फाइबर E में उनके ऊपर फाइबर के लिए आइसोमोर्फिक होगा, जबकि हर जगह फाइबर तुच्छ 0-आयामी सदिश समष्टि है। | ||
* दोहरा बंडल E*, E के बंडल समरूपता का होम बंडल होम (E, 'R' × X) और तुच्छ बंडल 'R' × X है। एक कैनोनिकल | * दोहरा बंडल E*, E के बंडल समरूपता का होम बंडल होम (E, 'R' × X) और तुच्छ बंडल 'R' × X है। एक कैनोनिकल सदिश बंडल आइसोमॉर्फिज़्म होम (E, F) = E*⊗F है। | ||
इनमें से प्रत्येक ऑपरेशन बंडलों की एक सामान्य विशेषता का एक विशेष उदाहरण है: | इनमें से प्रत्येक ऑपरेशन बंडलों की एक सामान्य विशेषता का एक विशेष उदाहरण है: सदिश रिक्त समष्टि की श्रेणी पर किए जा सकने वाले कई ऑपरेशन सदिश बंडलों की श्रेणी पर एक कार्यात्मक उपाय से भी किए जा सकते हैं। यह चिकनी [[ functor |फ़ैक्टर ]]s की भाषा में उपयुक्त बनाया गया है। एक अलग प्रकृति का संचालन 'पुलबैक बंडल' निर्माण है। एक सदिश बंडल E → Y और एक नक्शा f: X → Y दिया गया है, कोई E को X के ऊपर एक सदिश बंडल f * E पर वापस खींच सकता है। एक बिंदु x ∈ X पर फाइबर अनिवार्य रूप से केवल f(x) ∈ पर फाइबर है। Y इसलिए, व्हिटनी योग E ⊕ F को X से X × X के विकर्ण मानचित्र के पुलबैक बंडल के रूप में परिभाषित किया जा सकता है जहां X × X पर बंडल E × × F है। | ||
'टिप्पणी': मान लीजिए X एक सघन | 'टिप्पणी': मान लीजिए X एक सघन समष्टि है। X के ऊपर कोई सदिश बंडल E एक तुच्छ बंडल का सीधा जोड़ है; एक बंडल E है{{'}} ऐसा है किE ⊕ E{{'}} तुच्छ है। यह विफल हो जाता है यदि X कॉम्पैक्ट नहीं है: उदाहरण के लिए, अनंत वास्तविक प्रक्षेप्य समष्टि पर [[ टॉटोलॉजिकल लाइन बंडल ]] में यह गुण नहीं है।{{sfn|Hatcher|2003|loc=Example 3.6}} | ||
== अतिरिक्त संरचनाएं और सामान्यीकरण == | == अतिरिक्त संरचनाएं और सामान्यीकरण == | ||
सदिश बंडलों को प्रायः अधिक संरचना दी जाती है। उदाहरण के लिए, सदिश बंडल एक [[ मीट्रिक (वेक्टर बंडल) | मीट्रिक]] से युक्त हो सकते हैं। सामान्यतः इस मीट्रिक को निश्चित द्विरेखीय रूप की आवश्यकता होती है, इस स्थिति में E का प्रत्येक फाइबर एक इयूक्लिडियन | सदिश बंडलों को प्रायः अधिक संरचना दी जाती है। उदाहरण के लिए, सदिश बंडल एक [[ मीट्रिक (वेक्टर बंडल) | मीट्रिक]] से युक्त हो सकते हैं। सामान्यतः इस मीट्रिक को निश्चित द्विरेखीय रूप की आवश्यकता होती है, इस स्थिति में E का प्रत्येक फाइबर एक इयूक्लिडियन समष्टि बन जाता है। एक रैखिक सम्मिश्र संरचना के साथ एक सदिश बंडल एक सम्मिश्र सदिश बंडल से मेल खाता है, जिसे सम्मिश्र सदिश के साथ परिभाषा में वास्तविक सदिश रिक्त समष्टि को बदलकर प्राप्त किया जा सकता है और यह आवश्यक है कि सभी मैपिंग फाइबर में सम्मिश्र-रैखिक हों। सामान्यतः एक बंडल के संरचना समूह के परिणामी कमी के संदर्भ में एक सदिश बंडल पर लगाए गए अतिरिक्त संरचना को सामान्यतः समझ सकता है। अधिक सामान्य टोपोलॉजिकल क्षेत्रों पर सदिश बंडलों का भी उपयोग किया जा सकता है। | ||
यदि एक परिमित-आयामी | यदि एक परिमित-आयामी सदिश समष्टि के जगह, यदि फाइबर F को एक बनच समष्टि के रूप में लिया जाता है, तो एक '[[ बनच बंडल ]]' प्राप्त होता है।{{sfn|Lang|1995}} विशेष रूप से, यह आवश्यक होना चाहिए कि समष्टिीय तुच्छीकरण प्रत्येक फाइबर पर बनच समष्टि आइसोमोर्फिज्म हों और इसके अतिरिक्त, संक्रमण | ||
:<math>g_{UV} \colon U\cap V \to \operatorname{GL}(F)</math> | :<math>g_{UV} \colon U\cap V \to \operatorname{GL}(F)</math> | ||
[[ बनच कई गुना ]] की निरंतर मैपिंग कर रहे हैं। C . के संगत सिद्धांत में<sup>p</sup> बंडल, सभी मैपिंग का C होना आवश्यक हैI<sup>पी</sup>. | [[ बनच कई गुना ]] की निरंतर मैपिंग कर रहे हैं। C . के संगत सिद्धांत में<sup>p</sup> बंडल, सभी मैपिंग का C होना आवश्यक हैI<sup>पी</sup>. | ||
सदिश बंडल विशेष फाइबर बंडल होते हैं, जिनके फाइबर सदिश रिक्त समष्टि होते हैं और जिनके चक्र सदिश अंतरिक्ष संरचना का सम्मान करते हैं। अधिक सामान्य फाइबर बंडलों का निर्माण किया जा सकता है जिसमें फाइबर में अन्य संरचनाएं हो सकती हैं; उदाहरण के लिए गोले के बंडल गोले द्वारा रेशेदार होते हैं। | |||
== चिकना सदिश बंडल == | == चिकना सदिश बंडल == | ||
[[File:Smooth vs non-smooth vector bundle.png|thumb|300px| | [[File:Smooth vs non-smooth vector bundle.png|thumb|300px|सदिश बंडल का वर्णन करने वाले संक्रमण कार्यों की नियमितता सदिश बंडल के प्रकार को निर्धारित करती है। यदि निरंतर संक्रमण कार्य करता है g<sub>UV</sub>उपयोग किया जाता है, परिणामी सदिश बंडल E केवल निरंतर है लेकिन चिकना नहीं है। यदि सुचारू संक्रमण कार्य करता है h<sub>UV</sub>उपयोग किया जाता है, तो परिणामी सदिश बंडल F एक स्मूथ सदिश बंडल है।]]एक सदिश बंडल (E, P, M) 'चिकनी' है,यदि Eऔर M चिकने कई गुना हैं, P: E → M एक चिकना नक्शा है, और समष्टिीय तुच्छीकरण भिन्नताएं हैं। चिकनाई की आवश्यक डिग्री के आधार पर, C<sup>p</sup> बंडलों की विभिन्न संबंधित धारणाएँ हैं| अनन्त रूप से भिन्न C<sup>∞</sup>-बंडल और वास्तविक विश्लेषणात्मक C<sup>ω</sup>-बंडल है। इस भाग में हम ''C''<sup>∞</sup>बडलों पर ध्यान केंद्रित करेंगे। ''C''<sup>∞</sup> का सबसे महत्वपूर्ण उदाहरण है<sup>∞</sup>-C∞-कई गुना M का स्पर्शरेखा बंडल (TM, πTM, M) है। | ||
चिकने | चिकने सदिश बंडल को इस तथ्य से चित्रित किया जा सकता है कि यह ऊपर वर्णित संक्रमण कार्यों को स्वीकार करता है जो तुच्छ चार्ट यू और वी के परस्पर पर सुचारू रूप से कार्य करते हैं। एक सदिश बंडल E चिकना है यदि यह खुले सेटों को छोटा करके एक कवर को स्वीकार करता है जैसे कि किन्हीं दो ऐसे समुच्चयों U और V के लिए, संक्रमण फलन, | ||
:<math>g_{UV}: U\cap V \to \operatorname{GL}(k,\mathbb{R})</math> | :<math>g_{UV}: U\cap V \to \operatorname{GL}(k,\mathbb{R})</math> | ||
मैट्रिक्स समूह GL (K, R) में एक सहज कार्य है, जो एक लाइ समूह है। | मैट्रिक्स समूह GL (K, R) में एक सहज कार्य है, जो एक लाइ समूह है। | ||
| Line 124: | Line 124: | ||
* ''<sup>Cr</sup> तो सदिश बंडल 'C' है<sup>r</sup> सदिश बंडल','' | * ''<sup>Cr</sup> तो सदिश बंडल 'C' है<sup>r</sup> सदिश बंडल','' | ||
* वास्तविक विश्लेषणात्मक तो सदिश बंडल एक 'वास्तविक विश्लेषणात्मक सदिश बंडल' है , | * वास्तविक विश्लेषणात्मक तो सदिश बंडल एक 'वास्तविक विश्लेषणात्मक सदिश बंडल' है , | ||
* होलोमोर्फिक तो सदिश बंडल एक '[[ होलोमॉर्फिक वेक्टर बंडल ]]' है (इसके लिए मैट्रिक्स समूह को एक [[ जटिल झूठ समूह ]] होना आवश्यक है), | * होलोमोर्फिक तो सदिश बंडल एक '[[ होलोमॉर्फिक वेक्टर बंडल | होलोमॉर्फिक सदिश बंडल]] ' है (इसके लिए मैट्रिक्स समूह को एक [[ जटिल झूठ समूह | सम्मिश्र झूठ समूह]] होना आवश्यक है), | ||
* बीजगणितीय कार्य तब सदिश बंडल एक 'बीजगणितीय सदिश बंडल' होता है। | * बीजगणितीय कार्य तब सदिश बंडल एक 'बीजगणितीय सदिश बंडल' होता है। | ||
<sup>C∞</sup>- | <sup>C∞</sup>-सदिश बंडल (E, P, M) में एक बहुत ही महत्वपूर्ण संपत्ति है जो अधिक सामान्य सी द्वारा साझा नहीं की जाती है-फाइबर बंडल। अर्थात्, स्पर्शरेखा समष्टि T<sub>v</sub>(तथा<sub>''x''</sub>) किसी भी V ∈ E पर<sub>''x''</sub> फाइबर E के साथ स्वाभाविक रूप से पहचाना जा सकता है<sub>''x''</sub> अपने आप। यह पहचान ऊर्ध्वाधर लिफ्ट vl . के द्वारा प्राप्त की जाती है<sub>''v''</sub>: E<sub>x</sub>→ T<sub>''v''</sub>(E<sub>''x''</sub>), के रूप में परिभाषित किया गया है | ||
:<math>\operatorname{vl}_vw[f] := \left.\frac{d}{dt}\right|_{t=0}f(v + tw), \quad f\in C^\infty(E_x).</math> | :<math>\operatorname{vl}_vw[f] := \left.\frac{d}{dt}\right|_{t=0}f(v + tw), \quad f\in C^\infty(E_x).</math> | ||
लंबवत उपाय को प्राकृतिक C के रूप में भी देखा जा सकता है<sup>∞</sup>-सदिश बंडल समरूपता p*E → VE, जहां (p*E, p*p, E) E से p: E → M, के ऊपर (E, p, M) का पुल-बैक बंडल है। और VE:= KR(P<sub>*</sub>) TE ऊर्ध्वाधर स्पर्शरेखा बंडल है, स्पर्शरेखा बंडल का एक प्राकृतिक सदिश उप-बंडल (TE, {{pi}}<sub>''TE''</sub>, E) कुल अंतरिक्ष ई की। | लंबवत उपाय को प्राकृतिक C के रूप में भी देखा जा सकता है<sup>∞</sup>-सदिश बंडल समरूपता p*E → VE, जहां (p*E, p*p, E) E से p: E → M, के ऊपर (E, p, M) का पुल-बैक बंडल है। और VE:= KR(P<sub>*</sub>) TE ऊर्ध्वाधर स्पर्शरेखा बंडल है, स्पर्शरेखा बंडल का एक प्राकृतिक सदिश उप-बंडल (TE, {{pi}}<sub>''TE''</sub>, E) कुल अंतरिक्ष ई की। | ||
किसी भी चिकने सदिश बंडल का कुल | किसी भी चिकने सदिश बंडल का कुल समष्टि E एक प्राकृतिक सदिश क्षेत्र ''V<sub>v</sub>'' := vl<sub>''v''</sub>''v'' को वहन करता है, विहित सदिश क्षेत्र के रूप में जाना जाता है। अधिक औपचारिक रूप से, V (TE, {{pi}}<sub>''TE''</sub>, E)का एक चिकना खंड है,और इसे लाइ-ग्रुप एक्शन के अनंत जनरेटर के रूप में भी परिभाषित किया जा सकता है <math>(t,v) \mapsto e^{tv}</math> फाइबरवाइज अदिश गुणन द्वारा। विहित सदिश क्षेत्र V निम्नलिखित उपाय से पूरी तरह से चिकनी सदिश बंडल संरचना की विशेषता है। तैयारी के रूप में, ध्यान दें कि जब X एक चिकनी कई गुना M और X ∈ एम पर एक चिकनी सदिश क्षेत्र है जैसे किX<sub>''x''</sub> = 0, रैखिक मानचित्रण | ||
:<math>C_x(X): T_x M \to T_x M; \quad C_x(X) Y = (\nabla_Y X)_x</math> | :<math>C_x(X): T_x M \to T_x M; \quad C_x(X) Y = (\nabla_Y X)_x</math> | ||
M पर रैखिक सहपरिवर्ती व्युत्पन्न ∇ के चयन पर निर्भर नहीं करता। E पर विहित सदिश क्षेत्र V अभिगृहीतों को संतुष्ट करता है | M पर रैखिक सहपरिवर्ती व्युत्पन्न ∇ के चयन पर निर्भर नहीं करता। E पर विहित सदिश क्षेत्र V अभिगृहीतों को संतुष्ट करता है | ||
| Line 143: | Line 143: | ||
इसके विपरीत, यदि E चिकनी कई गुना है और V E पर एक चिकनी सदिश क्षेत्र है जो 1-4 को संतुष्ट करता है इसके विपरीत, यदि E कोई चिकनी कई गुना है और V E पर एक चिकनी सदिश फील्ड है जो 1–4 को संतुष्ट करता है,, तो E पर एक यूनिक सदिश बंडल संरचना है जिसका विहित सदिश क्षेत्र V है। | इसके विपरीत, यदि E चिकनी कई गुना है और V E पर एक चिकनी सदिश क्षेत्र है जो 1-4 को संतुष्ट करता है इसके विपरीत, यदि E कोई चिकनी कई गुना है और V E पर एक चिकनी सदिश फील्ड है जो 1–4 को संतुष्ट करता है,, तो E पर एक यूनिक सदिश बंडल संरचना है जिसका विहित सदिश क्षेत्र V है। | ||
किसी भी चिकने सदिश बंडल (E, p, M) के लिए उसके स्पर्शरेखा बंडल (TE, {{pi}}<sub>''TE''</sub>, ई) में एक प्राकृतिक [[ माध्यमिक वेक्टर बंडल संरचना ]] है (TE, P<sub>*</sub>, TM), जहां P<sub>*</sub> विहित प्रक्षेपण p: E → M का बढ़ना है। इस द्वितीयक सदिश बंडल संरचना में बढ़ना संचालन पुश-फ़ॉरवर्ड हैं +<sub>*</sub>: T (E × E) →TE और λ<sub>*</sub>: TE → मूल जोड़ का TE +: E × E → E और अदिश गुणन λ: E → E। | किसी भी चिकने सदिश बंडल (E, p, M) के लिए उसके स्पर्शरेखा बंडल (TE, {{pi}}<sub>''TE''</sub>, ई) में एक प्राकृतिक [[ माध्यमिक वेक्टर बंडल संरचना | माध्यमिक सदिश बंडल संरचना]] है (TE, P<sub>*</sub>, TM), जहां P<sub>*</sub> विहित प्रक्षेपण p: E → M का बढ़ना है। इस द्वितीयक सदिश बंडल संरचना में बढ़ना संचालन पुश-फ़ॉरवर्ड हैं +<sub>*</sub>: T (E × E) →TE और λ<sub>*</sub>: TE → मूल जोड़ का TE +: E × E → E और अदिश गुणन λ: E → E। | ||
== K-सिद्धांत == | == K-सिद्धांत == | ||
के-सिद्धांत समूह, {{math|''K''(''X'')}}, एक कॉम्पैक्ट हॉसडॉर्फ टोपोलॉजिकल | के-सिद्धांत समूह, {{math|''K''(''X'')}}, एक कॉम्पैक्ट हॉसडॉर्फ टोपोलॉजिकल समष्टि को आइसोमोर्फिज्म वर्गों द्वारा उत्पन्न एबेलियन समूह के रूप में परिभाषित किया गया है {{math|[''E'']}} सम्मिश्र सदिश बंडलों के संबंध को सापेक्ष करते हैं कि जब भी हमारे पास एक उपयुक्त अनुक्रम होता है। | ||
:<math> 0 \to A \to B \to C \to 0 </math> | :<math> 0 \to A \to B \to C \to 0 </math> | ||
| Line 154: | Line 154: | ||
टोपोलॉजिकल [[ केओ सिद्धांत ]] में। KO-सिद्धांत इस निर्माण का संस्करण है जो वास्तविक सदिश बंडलों पर विचार करता है। [[ कॉम्पैक्ट समर्थन ]] के साथ के-सिद्धांत को भी परिभाषित किया जा सकता है, साथ ही उच्च के-सिद्धांत समूहों को भी परिभाषित किया जा सकता है। | टोपोलॉजिकल [[ केओ सिद्धांत ]] में। KO-सिद्धांत इस निर्माण का संस्करण है जो वास्तविक सदिश बंडलों पर विचार करता है। [[ कॉम्पैक्ट समर्थन ]] के साथ के-सिद्धांत को भी परिभाषित किया जा सकता है, साथ ही उच्च के-सिद्धांत समूहों को भी परिभाषित किया जा सकता है। | ||
[[ राउल बोत्तो ]]ल की प्रसिद्ध [[ बॉट आवधिकता ]] किसी भी | [[ राउल बोत्तो ]]ल की प्रसिद्ध [[ बॉट आवधिकता ]] किसी भी समष्टि के-सिद्धांत का आशय करती है {{math|''X''}} के समरूपी है {{math|''S''<sup>2</sup>''X''}}, का दोहरा निलंबन {{math|''X''}}. | ||
[[ बीजगणितीय ज्यामिति |बीजगणितीय ज्यामिति]] में,K -सिद्धांत समूहों पर विचार किया जाता है जिसमें एक योजना {{math|''X''}} पर सुसंगत ढेर होते हैं, साथ ही उपरोक्त समतुल्य संबंध के साथ योजना पर | [[ बीजगणितीय ज्यामिति |बीजगणितीय ज्यामिति]] में,K -सिद्धांत समूहों पर विचार किया जाता है जिसमें एक योजना {{math|''X''}} पर सुसंगत ढेर होते हैं, साथ ही उपरोक्त समतुल्य संबंध के साथ योजना पर सदिश बंडलों के K-सिद्धांत समूह होते हैं। दो निर्माण समान हैं, बशर्ते कि अंतर्निहित योजना सुचारू हो। | ||
==यह भी देखें== | ==यह भी देखें== | ||
=== सामान्य धारणाएं === | === सामान्य धारणाएं === | ||
* [[ ग्रासमैनियन ]]: | * [[ ग्रासमैनियन ]]: सदिश बंडल के लिए रिक्त समष्टि को वर्गीकृत करना, जिसमें लाइन बंडलों के लिए [[ प्रक्षेप्य स्थान | प्रक्षेप्य समष्टि]] शामिल हैं | ||
*[[ विशेषता वर्ग ]] | *[[ विशेषता वर्ग ]] | ||
*[[ विभाजन सिद्धांत ]] | *[[ विभाजन सिद्धांत ]] | ||
| Line 167: | Line 167: | ||
=== टोपोलॉजी और विभेदक ज्योमेट्री === | === टोपोलॉजी और विभेदक ज्योमेट्री === | ||
* [[ गेज सिद्धांत (गणित) ]]: | * [[ गेज सिद्धांत (गणित) ]]: सदिश बंडलों और प्रमुख बंडलों पर कनेक्शन का सामान्य अध्ययन और भौतिकी के साथ उनका संबंध। | ||
* [[ कनेक्शन (वेक्टर बंडल) ]]: | * [[ कनेक्शन (वेक्टर बंडल) | कनेक्शन (सदिश बंडल)]] : सदिश बंडलों के वर्गों को अलग करने के लिए आवश्यक धारणा। | ||
=== बीजीय और विश्लेषणात्मक ज्यामिति === | === बीजीय और विश्लेषणात्मक ज्यामिति === | ||
* बीजीय | * बीजीय सदिश बंडल | ||
* [[ पिकार्ड समूह ]] | * [[ पिकार्ड समूह ]] | ||
* होलोमोर्फिक | * होलोमोर्फिक सदिश बंडल | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
Revision as of 13:24, 12 October 2023
गणित में, सदिश बंडल से एक टोपोलॉजी निर्माण होता है जो किसी अन्य समष्टि द्वारा पैरामीटर किए गए सदिश रिक्त समष्टि के विचार को उपयुक्त बनाता है (उदाहरण: X कई गुना या बीजगणितीय भाँति , का टोपोलॉजिकल समष्टि हो सकता है) अंतरिक्ष X के प्रत्येक बिंदु x से एक सदिश समष्टि V(x) को इस तरह से जोड़ते हैं ये सदिश रिक्त समष्टि पर एक साथ फिट होकर 'X (जैसे एक टोपोलॉजिकल समष्टि, विविध ) के समान समष्टि बनाते हैं, जिसे 'X को सदिश बंडल कहा जाता है।
उदाहरण यह है कि सदिश रिक्त समष्टि का परिवार है, एक निश्चित सदिश समष्टि V ऐसा है कि V(x) = V सभी के लिए X में X: इस :घटना में X प्रत्येक x के लिए V की एक प्रति है और ये प्रतियां X के ऊपर सदिश बंडल X × V बनाने के लिए एक साथ फिट होती हैं।. ऐसे सदिश बंडल फाइबर बंडल तुच्छ कहलाते है। उदाहरणों का एक अधिक सम्मिश्र चिकना कई गुना मैनिफोल्ड्स के स्पर्शरेखा बंडल हैं: इस तरह के कई गुना के सभी बिंदु पर स्पर्शरेखा समष्टि को उस बिंदु पर मैनिफोल्ड से जोड़ते हैं। स्पर्शरेखा बंडल समानता: तुच्छ बंडल नहीं होते हैं। उदाहरण के लिए, गेंद प्रमेय द्वारा गोले का स्पर्शरेखा बंडल गैर-तुच्छ है। सामान्य तौर पर, मैनिफोल्ड को समानांतर मैनिफोल्ड कहा जाता है जब इसका स्पर्शरेखा बंडल तुच्छ है।
चूंकि, सदिश बंडलों को हमेशा समष्टिीय रूप से तुच्छ होने की आवश्यकता होती है, जिसका अर्थ है कि वे फाइबर बंडलों के उदाहरण हैं। साथ ही, सदिश रिक्त समष्टि का सामान्यतः वास्तविक या सम्मिश्र संख्याओं पर होना आवश्यक है, इस विषय में सदिश बंडल को वास्तविक या सम्मिश्र सदिश बंडल कहा जाता है। सम्मिश्र सदिश बंडलों को अतिरिक्त संरचना के साथ वास्तविक सदिश बंडलों के रूप में देखा जा सकता है। निम्नलिखित में, हम टोपोलॉजिकल समष्टि की श्रेणी में वास्तविक सदिश बंडलों पर ध्यान केंद्रित करते हैं।
परिभाषा और पहला परिणाम
एक वास्तविक सदिश बंडल में निम्नलिखित हैं:
- टोपोलॉजिकल समष्टि X और E
- एक सतत कार्य प्रक्षेपण π : ई → एक्स (बंडल प्रक्षेपण)
- X में प्रत्येक x के लिए, परिमित-आयामी की संरचना फाइबर बंडल पर परिमित-आयामी वास्तविक संख्या सदिश समष्टि π−1({x})
जहां निम्नलिखित संगतता स्थिति संतुष्ट है: एक्स में प्रत्येक बिंदु पी के लिए, पी का एक खुला पड़ोस यू ⊆ एक्स है, एक प्राकृतिक संख्या के, और होमियोमोर्फिज्म है:
इस प्रकार कि सभी x ∈ U के लिए,
- 'Rk' में सभी वैक्टर के लिए, और
- नक्शा सदिश रिक्त समष्टि आर के बीच एक रैखिक समरूपता है'Rk और π-1({x})।
होमियोमॉर्फिज्म के साथ खुला पड़ोस U एक साथ सदिश बंडल का समष्टिीय तुच्छीकरण कहा जाता है। समष्टिीय तुच्छता से पता चलता है कि 'समष्टिीय रूप से' मानचित्र π U × 'Rk' के प्रक्षेपण जैसा दिखता है U पर है।
हर फाइबर π−1({x}) एक परिमित-विमीय वास्तविक सदिश समष्टि है और इसलिए इसका आयाम k हैx. समष्टिीय तुच्छीकरण दर्शाता है कि फलन x ↦ kx समष्टिीय रूप से स्थिर है, और इसलिए X के प्रत्येक समष्टिीय रूप से जुड़े हुए समष्टि पर स्थिर है। यदि kxसभी X पर एक अचर k के बराबर है, तो k को सदिश बंडल का 'रैंक' कहा जाता है, और E को 'रैंक k का सदिश बंडल' कहा जाता है। सामान्यतः एक सदिश बंडल की परिभाषा में यह सम्मिलित होता है कि पद अच्छी तरह से परिभाषित है, जिससे kxस्थिर है। रैंक 1 के सदिश बंडलों को लाइन बंडल कहा जाता है, जबकि रैंक 2 के सदिश बंडलों को सामान्यतः समतल बंडल कहा जाता है।
कार्तीय गुणनफल X × 'R'k, प्रोजेक्शन X × 'R' से सुसज्जितk → X, को X के ऊपर रैंक k का 'तुच्छ बंडल' कहा जाता है।
संक्रमण कार्य
रैंक k का एक सदिश बंडल E → X दिया गया है, और पड़ोस का एक जोड़ा U और V दिया गया है, जिसके ऊपर बंडल तुच्छ बनाता है
समग्र कार्य
अंशतः समान रूप से परिभाषित और संतुष्ट करता है
कुछ GL(k) -महत्वपूर्ण फ़ंक्शन के लिए
इन्हें सदिश बंडल का संक्रमण फलन (या निर्देशांक परिवर्तन) कहा जाता है।
संक्रमण कार्यों का सेट इस अर्थ में एक चेक चक्र बनाता है
सभी U, V, W के लिए जिस पर बंडल संतोषजनक हो जाता है . इस प्रकार डेटा (E, X, π, Rk) फाइबर बंडल को परिभाषित करता है; G के अतिरिक्त डेटाUV एक GL(k) संरचना समूह को निर्दिष्ट करता है जिसमें फाइबर पर क्रिया GL(k) की मानक क्रिया है।
इसके विपरीत, एक फाइबर बंडल (E, X, π, Rk) फाइबर 'R' पर मानक उपाय से अभिनय करने वाली GL(k) कोसाइकिल के साथ Rk, वहाँ एक सदिश बंडल संबद्ध है। यह सदिश बंडलों के लिए फाइबर बंडल निर्माण प्रमेय का एक उदाहरण है, और इसे सदिश बंडल की वैकल्पिक परिभाषा के रूप में लिया सकता है।
उपसमूह
सदिश बंडलों के निर्माण की एक सरल विधि अन्य सदिश बंडलों के सबबंडल्स लेना है। एक सदिश बंडल दिया गया एक टोपोलॉजिकल समष्टि पर, एक सबबंडल बस एक सबसमष्टि है जिसके लिए प्रतिबंध का प्रति देता है एक सदिश बंडल की संरचना भी। इस विषय में फाइबर प्रत्येक के लिए सदिश उपसमष्टि है .
एक तुच्छ बंडल के एक उपसमूह को तुच्छ होने की आवश्यकता नहीं है, और वास्तव में प्रत्येक वास्तविक सदिश बंडल को पर्याप्त उच्च पद के तुच्छ बंडल के एक उपसमूह के रूप में देखा जा सकता है। उदाहरण के लिए मोबियस बैंड, घेरा के ऊपर एक गैर-तुच्छ लाइन बंडल, घेरा के ऊपर तुच्छ पद 2 बंडल के एक सबबंडल के रूप में देखा जा सकता है।
सदिश बंडल
सदिश बंडल से आकारिकी π1: E1 → X1 सदिश बंडल के लिए π2: E2 → X2 निरंतर मानचित्र f: E की एक जोड़ी द्वारा दिया गया हैE1 →E2 और g: X1 →X2 ऐसा है कि
- g ∘π1 = π2∘ f
ध्यान दें कि g f द्वारा निर्धारित किया जाता है (क्योंकि π1 आच्छादक है), और f को फिर 'आवरण g' कहा जाता है।
सभी सदिश बंडलों का वर्ग बंडल आकारिकी के साथ मिलकर एक श्रेणी बनाता है। सदिश बंडलों तक सीमित करना जिसके लिए रिक्त समष्टि कई गुना हैं और चिकने बंडल मोर्फिज्म हम चिकने सदिश बंडलों की श्रेणी प्राप्त करते हैं। सदिश बंडल मॉर्फिज्म फाइबर बंडलों के बीच बंडल नक्शा की धारणा का एक विशेष विषय है, और इसे कभी-कभी होमोमोर्फिज्म' कहा जाता है।
E से एक बंडल E2, U2 एक व्युत्क्रम के साथ जो एक बंडल समरूप भी है (E2 , U1) को बंडल समरूपता कहा जाता है, और फिर E1 और E2 आइसोमॉर्फिक सदिश बंडल कहा जाता है। तुच्छ बंडल के साथ (k) सदिश बंडल E ओवर X का एक आइसोमोर्फिज्म (पद k ऊपरX) को 'का ट्रिवियलाइजेशन' कहा जाता है। 'E', और 'E' को तब तुच्छ कहा जाता है। सदिश बंडल की परिभाषा से पता चलता है कि कोई भी सदिश बंडल समष्टिीय रूप से तुच्छ है।
हम एक निश्चित आधार समष्टि X पर सभी सदिश बंडलों की श्रेणी पर भी विचार कर सकते हैं। इस श्रेणी में मोर्फिज्म के रूप में हम सदिश बंडलों के उन मोर्फिज्म को लेते हैं जिनके आधार समष्टि पर मानचित्र 'X' पर पहचान कार्य है। यही है, बंडल मोर्फिज्म जिसके लिए निम्न आरेख कम्यूटेटिव आरेख:
(ध्यान दें कि यह श्रेणी एबेलियन श्रेणी नहीं है; सदिश बंडलों के आकारिकी का श्रेणी सिद्धांत सामान्य रूप से किसी भी प्राकृतिक उपाय से सदिश बंडल नहीं है।
सदिश बंडलों के बीच एक सदिश बंडल आकारिकी π1: E1 → X1 तथा π2: E2 → X2 X से मानचित्र g को कवर करना E1 , X2 X1 पर सदिश बंडल आकारिकी के रूप में भी देखा जा सकता है E1 पुलबैक बंडल g*E2.
अनुभाग और समष्टिीय रूप से मुक्त बंडल
एक सदिश बंडल दिया गया π: E → X और X का एक खुला उपसमुच्चय U, हम 'सेक्शन' पर विचार कर सकते हैं π U पर, निरंतर कार्य S: U → E जहां समग्र π∘ ऐसा है कि (π ∘ s)(u) = u में सभी U के लिए। अनिवार्य रूप से, एक अनुभाग U के प्रत्येक बिंदु को संलग्न सदिश अंतरिक्ष से बिना किसी अंतराल के प्रदान करता है। एक उदाहरण के रूप में, अंतर मैनिफोल्ड के स्पर्शरेखा बंडल के खंड कुछ और नहीं अन्यथा उस मैनिफोल्ड पर सदिश क्षेत्र हैं।
F(U) को U पर सभी वर्गों का समूह होने दें। F(U) में हमेशा कम से कम एक तत्व होता है, अर्थात् शून्य खंड: फ़ंक्शन s जो U के प्रत्येक तत्व x को सदिश समष्टि π-1({x} के शून्य तत्व से मापन करता है। खंडों के बिंदुवार योग और अदिश गुणन के साथ, F(U) स्वयं एक वास्तविक सदिश समष्टि बन जाता है। इन सदिश रिक्त समष्टि का संग्रह X पर सदिश रिक्त समष्टि का एक शीफ समूह है।
यदि s, F(U) का एक अवयव है और α: U → 'R' एक सतत मानचित्र है, तो αs (बिंदुवार अदिश गुणन) F(U) में होता है। हम देखते हैं कि F(U) U पर निरंतर वास्तविक-मूल्यवान फलनों के वलय के ऊपर एक मापांक है। इसके अतिरिक्त, यदि OX X पर निरंतर वास्तविक-मूल्यवान कार्यों की संरचना शीफ को दर्शाता है, Xमापांक फिर F O का एक शीफ बन जाता है।
सदिश बंडल से X-मॉड्यूल का प्रत्येक शीफ इस तरह से उत्पन्न नहीं होता है: केवल समष्टिीय रूप से मुक्त शीफ ही करते हैं। (कारण: समष्टिीय रूप से हम प्रक्षेपण YX 'R' के वर्गों की तलाश में हैंके </सुप> →Y; ये सटीक रूप से निरंतर कार्य हैं यू → 'R'k, और ऐसा फलन निरंतर फलनों U → 'R' का k-tuple है)।
X-मॉड्यूल,इससे भी अधिक: X पर वास्तविक सदिश बंडलों की श्रेणी O के समष्टिीय रूप से मुक्त और सूक्ष्म रूप से उत्पन्न ढेरों की श्रेणी के लिए श्रेणी सिद्धांत है।
तो हम X पर वास्तविक सदिश बंडलों की श्रेणी के बारे में सोच सकते हैं जैसे कि OX-मॉड्यूल के शीशों की श्रेणी के अंदर बैठे, यह बाद वाली श्रेणी एबेलियन है, इसलिए यह वह जगह है जहां हम सदिश बंडलों के आकारिकी के गुठली और कोकर्नेल की गणना कर सकते हैं।
एक रैंक n सदिश बंडल तुच्छ है यदि और केवल अगर इसमें n रैखिक रूप से स्वतंत्र वैश्विक खंड हैं।
सदिश बंडलों पर संचालन
सदिश रिक्त समष्टि पर फाइबरवाइज करके अधिकांश संचालन सदिश बंडलों तक बढ़ाए जा सकते हैं।
उदाहरण के लिए, यदि E, X के ऊपर एक सदिश बंडल है, तो X के ऊपर एक बंडल E* है, जिसे 'दोहरी बंडल ' कहा जाता है, जिसका फाइबर x ∈ X पर दोहरी सदिश अंतरिक्ष है (Ex)*. नियमित रूप से E* को जोड़े (x, φ) के समुच्चय के रूप में परिभाषित किया जा सकता है, जहाँ x ∈ X और φ ∈ (Ex)*. दोहरी बंडल समष्टिीय रूप से तुच्छ है क्योंकि E के समष्टिीय तुच्छीकरण के व्युत्क्रम का समष्टिान्तरण E* का एक समष्टिीय तुच्छीकरण है: यहां मुख्य बिंदु यह है कि दोहरी सदिश समष्टि लेने का संचालन कार्यात्मक है।
कई कार्यात्मक संचालन हैं जो सदिश रिक्त समष्टि के एक ही क्षेत्र पर किए जा सकते हैं, और ये सीधे सदिश बंडल E, F पर X जोड़े तक विस्तारित होते हैं और कुछ उदाहरण अनुसरण करते हैं।
- E और F का 'व्हिटनी योग' (हस्लर व्हिटनी के लिए नामित) या 'प्रत्यक्ष योग बंडल' एक सदिश बंडल E ⊕ FX पर है जिसका फाइबर X से अधिक मॉड्यूल E का प्रत्यक्ष योग हैx⊕ एफxसदिश रिक्त समष्टि Exऔर Fx.
- 'टेंसर उत्पाद बंडल' E ⊗ F को इसी तरह से परिभाषित किया गया है, जिसमें सदिश समष्टि के फाइबरवाइज टेंसर उत्पाद का उपयोग किया जाता है।
- 'होम-बंडल' होम (E, F) एक सदिश बंडल है जिसका फाइबर X पर E से रैखिक मानचित्रों का समष्टि है| xF के लिएx(जिसे अक्सर होम के रूप में दर्शाया जाता हैx, Fx) या L (Ex, Fx))। होम-बंडल और उपयोगी है क्योंकि सदिश बंडल होमोमोर्फिज्म के बीच E से F से X और X के ऊपर होम (E, F) के वर्गों के बीच एक विभाजन है।
- पिछले उदाहरण पर निर्माण, एक एंडोमोर्फिज्म बंडल होम (E, E) और एक फ़ंक्शन F:X → 'R' के एक खंड को देखते हुए, कोई एक बिंदु x X पर फाइबर ले कर एक 'ईजेनबंडल' का निर्माण कर सकता है। f(x)-आइजन्सदिश, ईजेनसमष्टि और रैखिक मानचित्र s(x) का स्पेक्ट्रम हो: Ex → Exx. चूंकि यह निर्माण स्वाभाविक है, जब तक देखभाल नहीं की जाती है, परिणामी वस्तु में समष्टिीय तुच्छता नहीं होगी। s के शून्य खंड होने और f के पृथक शून्य होने के घटना पर विचार करें। परिणामी ईजेनबंडल में इन शून्यों पर फाइबर E में उनके ऊपर फाइबर के लिए आइसोमोर्फिक होगा, जबकि हर जगह फाइबर तुच्छ 0-आयामी सदिश समष्टि है।
- दोहरा बंडल E*, E के बंडल समरूपता का होम बंडल होम (E, 'R' × X) और तुच्छ बंडल 'R' × X है। एक कैनोनिकल सदिश बंडल आइसोमॉर्फिज़्म होम (E, F) = E*⊗F है।
इनमें से प्रत्येक ऑपरेशन बंडलों की एक सामान्य विशेषता का एक विशेष उदाहरण है: सदिश रिक्त समष्टि की श्रेणी पर किए जा सकने वाले कई ऑपरेशन सदिश बंडलों की श्रेणी पर एक कार्यात्मक उपाय से भी किए जा सकते हैं। यह चिकनी फ़ैक्टर s की भाषा में उपयुक्त बनाया गया है। एक अलग प्रकृति का संचालन 'पुलबैक बंडल' निर्माण है। एक सदिश बंडल E → Y और एक नक्शा f: X → Y दिया गया है, कोई E को X के ऊपर एक सदिश बंडल f * E पर वापस खींच सकता है। एक बिंदु x ∈ X पर फाइबर अनिवार्य रूप से केवल f(x) ∈ पर फाइबर है। Y इसलिए, व्हिटनी योग E ⊕ F को X से X × X के विकर्ण मानचित्र के पुलबैक बंडल के रूप में परिभाषित किया जा सकता है जहां X × X पर बंडल E × × F है।
'टिप्पणी': मान लीजिए X एक सघन समष्टि है। X के ऊपर कोई सदिश बंडल E एक तुच्छ बंडल का सीधा जोड़ है; एक बंडल E है' ऐसा है किE ⊕ E' तुच्छ है। यह विफल हो जाता है यदि X कॉम्पैक्ट नहीं है: उदाहरण के लिए, अनंत वास्तविक प्रक्षेप्य समष्टि पर टॉटोलॉजिकल लाइन बंडल में यह गुण नहीं है।[1]
अतिरिक्त संरचनाएं और सामान्यीकरण
सदिश बंडलों को प्रायः अधिक संरचना दी जाती है। उदाहरण के लिए, सदिश बंडल एक मीट्रिक से युक्त हो सकते हैं। सामान्यतः इस मीट्रिक को निश्चित द्विरेखीय रूप की आवश्यकता होती है, इस स्थिति में E का प्रत्येक फाइबर एक इयूक्लिडियन समष्टि बन जाता है। एक रैखिक सम्मिश्र संरचना के साथ एक सदिश बंडल एक सम्मिश्र सदिश बंडल से मेल खाता है, जिसे सम्मिश्र सदिश के साथ परिभाषा में वास्तविक सदिश रिक्त समष्टि को बदलकर प्राप्त किया जा सकता है और यह आवश्यक है कि सभी मैपिंग फाइबर में सम्मिश्र-रैखिक हों। सामान्यतः एक बंडल के संरचना समूह के परिणामी कमी के संदर्भ में एक सदिश बंडल पर लगाए गए अतिरिक्त संरचना को सामान्यतः समझ सकता है। अधिक सामान्य टोपोलॉजिकल क्षेत्रों पर सदिश बंडलों का भी उपयोग किया जा सकता है।
यदि एक परिमित-आयामी सदिश समष्टि के जगह, यदि फाइबर F को एक बनच समष्टि के रूप में लिया जाता है, तो एक 'बनच बंडल ' प्राप्त होता है।[2] विशेष रूप से, यह आवश्यक होना चाहिए कि समष्टिीय तुच्छीकरण प्रत्येक फाइबर पर बनच समष्टि आइसोमोर्फिज्म हों और इसके अतिरिक्त, संक्रमण
बनच कई गुना की निरंतर मैपिंग कर रहे हैं। C . के संगत सिद्धांत मेंp बंडल, सभी मैपिंग का C होना आवश्यक हैIपी.
सदिश बंडल विशेष फाइबर बंडल होते हैं, जिनके फाइबर सदिश रिक्त समष्टि होते हैं और जिनके चक्र सदिश अंतरिक्ष संरचना का सम्मान करते हैं। अधिक सामान्य फाइबर बंडलों का निर्माण किया जा सकता है जिसमें फाइबर में अन्य संरचनाएं हो सकती हैं; उदाहरण के लिए गोले के बंडल गोले द्वारा रेशेदार होते हैं।
चिकना सदिश बंडल
एक सदिश बंडल (E, P, M) 'चिकनी' है,यदि Eऔर M चिकने कई गुना हैं, P: E → M एक चिकना नक्शा है, और समष्टिीय तुच्छीकरण भिन्नताएं हैं। चिकनाई की आवश्यक डिग्री के आधार पर, Cp बंडलों की विभिन्न संबंधित धारणाएँ हैं| अनन्त रूप से भिन्न C∞-बंडल और वास्तविक विश्लेषणात्मक Cω-बंडल है। इस भाग में हम C∞बडलों पर ध्यान केंद्रित करेंगे। C∞ का सबसे महत्वपूर्ण उदाहरण है∞-C∞-कई गुना M का स्पर्शरेखा बंडल (TM, πTM, M) है।
चिकने सदिश बंडल को इस तथ्य से चित्रित किया जा सकता है कि यह ऊपर वर्णित संक्रमण कार्यों को स्वीकार करता है जो तुच्छ चार्ट यू और वी के परस्पर पर सुचारू रूप से कार्य करते हैं। एक सदिश बंडल E चिकना है यदि यह खुले सेटों को छोटा करके एक कवर को स्वीकार करता है जैसे कि किन्हीं दो ऐसे समुच्चयों U और V के लिए, संक्रमण फलन,
मैट्रिक्स समूह GL (K, R) में एक सहज कार्य है, जो एक लाइ समूह है।
इसी प्रकार, यदि संक्रमण कार्य हैं:
- Cr तो सदिश बंडल 'C' हैr सदिश बंडल',
- वास्तविक विश्लेषणात्मक तो सदिश बंडल एक 'वास्तविक विश्लेषणात्मक सदिश बंडल' है ,
- होलोमोर्फिक तो सदिश बंडल एक ' होलोमॉर्फिक सदिश बंडल ' है (इसके लिए मैट्रिक्स समूह को एक सम्मिश्र झूठ समूह होना आवश्यक है),
- बीजगणितीय कार्य तब सदिश बंडल एक 'बीजगणितीय सदिश बंडल' होता है।
C∞-सदिश बंडल (E, P, M) में एक बहुत ही महत्वपूर्ण संपत्ति है जो अधिक सामान्य सी द्वारा साझा नहीं की जाती है-फाइबर बंडल। अर्थात्, स्पर्शरेखा समष्टि Tv(तथाx) किसी भी V ∈ E परx फाइबर E के साथ स्वाभाविक रूप से पहचाना जा सकता हैx अपने आप। यह पहचान ऊर्ध्वाधर लिफ्ट vl . के द्वारा प्राप्त की जाती हैv: Ex→ Tv(Ex), के रूप में परिभाषित किया गया है
लंबवत उपाय को प्राकृतिक C के रूप में भी देखा जा सकता है∞-सदिश बंडल समरूपता p*E → VE, जहां (p*E, p*p, E) E से p: E → M, के ऊपर (E, p, M) का पुल-बैक बंडल है। और VE:= KR(P*) TE ऊर्ध्वाधर स्पर्शरेखा बंडल है, स्पर्शरेखा बंडल का एक प्राकृतिक सदिश उप-बंडल (TE, πTE, E) कुल अंतरिक्ष ई की।
किसी भी चिकने सदिश बंडल का कुल समष्टि E एक प्राकृतिक सदिश क्षेत्र Vv := vlvv को वहन करता है, विहित सदिश क्षेत्र के रूप में जाना जाता है। अधिक औपचारिक रूप से, V (TE, πTE, E)का एक चिकना खंड है,और इसे लाइ-ग्रुप एक्शन के अनंत जनरेटर के रूप में भी परिभाषित किया जा सकता है फाइबरवाइज अदिश गुणन द्वारा। विहित सदिश क्षेत्र V निम्नलिखित उपाय से पूरी तरह से चिकनी सदिश बंडल संरचना की विशेषता है। तैयारी के रूप में, ध्यान दें कि जब X एक चिकनी कई गुना M और X ∈ एम पर एक चिकनी सदिश क्षेत्र है जैसे किXx = 0, रैखिक मानचित्रण
M पर रैखिक सहपरिवर्ती व्युत्पन्न ∇ के चयन पर निर्भर नहीं करता। E पर विहित सदिश क्षेत्र V अभिगृहीतों को संतुष्ट करता है
- प्रवाह (T, V) → ΦTV(v) V विश्व स्तर पर परिभाषित है।
- प्रत्येक v ∈ V के लिए एक अद्वितीय लिम हैt→∞ ΦTV(v) V.
- Cv(V)∘Cv(V) = Cv(V) जब भी वीv = 0।
- V का शून्य सेट E का एक चिकनी सबमनीफोल्ड है जिसका कोडिमेंशन C के पद के बराबर हैv(V)।
इसके विपरीत, यदि E चिकनी कई गुना है और V E पर एक चिकनी सदिश क्षेत्र है जो 1-4 को संतुष्ट करता है इसके विपरीत, यदि E कोई चिकनी कई गुना है और V E पर एक चिकनी सदिश फील्ड है जो 1–4 को संतुष्ट करता है,, तो E पर एक यूनिक सदिश बंडल संरचना है जिसका विहित सदिश क्षेत्र V है।
किसी भी चिकने सदिश बंडल (E, p, M) के लिए उसके स्पर्शरेखा बंडल (TE, πTE, ई) में एक प्राकृतिक माध्यमिक सदिश बंडल संरचना है (TE, P*, TM), जहां P* विहित प्रक्षेपण p: E → M का बढ़ना है। इस द्वितीयक सदिश बंडल संरचना में बढ़ना संचालन पुश-फ़ॉरवर्ड हैं +*: T (E × E) →TE और λ*: TE → मूल जोड़ का TE +: E × E → E और अदिश गुणन λ: E → E।
K-सिद्धांत
के-सिद्धांत समूह, K(X), एक कॉम्पैक्ट हॉसडॉर्फ टोपोलॉजिकल समष्टि को आइसोमोर्फिज्म वर्गों द्वारा उत्पन्न एबेलियन समूह के रूप में परिभाषित किया गया है [E] सम्मिश्र सदिश बंडलों के संबंध को सापेक्ष करते हैं कि जब भी हमारे पास एक उपयुक्त अनुक्रम होता है।
फिर
टोपोलॉजिकल केओ सिद्धांत में। KO-सिद्धांत इस निर्माण का संस्करण है जो वास्तविक सदिश बंडलों पर विचार करता है। कॉम्पैक्ट समर्थन के साथ के-सिद्धांत को भी परिभाषित किया जा सकता है, साथ ही उच्च के-सिद्धांत समूहों को भी परिभाषित किया जा सकता है।
राउल बोत्तो ल की प्रसिद्ध बॉट आवधिकता किसी भी समष्टि के-सिद्धांत का आशय करती है X के समरूपी है S2X, का दोहरा निलंबन X.
बीजगणितीय ज्यामिति में,K -सिद्धांत समूहों पर विचार किया जाता है जिसमें एक योजना X पर सुसंगत ढेर होते हैं, साथ ही उपरोक्त समतुल्य संबंध के साथ योजना पर सदिश बंडलों के K-सिद्धांत समूह होते हैं। दो निर्माण समान हैं, बशर्ते कि अंतर्निहित योजना सुचारू हो।
यह भी देखें
सामान्य धारणाएं
- ग्रासमैनियन : सदिश बंडल के लिए रिक्त समष्टि को वर्गीकृत करना, जिसमें लाइन बंडलों के लिए प्रक्षेप्य समष्टि शामिल हैं
- विशेषता वर्ग
- विभाजन सिद्धांत
- स्थिर बंडल
टोपोलॉजी और विभेदक ज्योमेट्री
- गेज सिद्धांत (गणित) : सदिश बंडलों और प्रमुख बंडलों पर कनेक्शन का सामान्य अध्ययन और भौतिकी के साथ उनका संबंध।
- कनेक्शन (सदिश बंडल) : सदिश बंडलों के वर्गों को अलग करने के लिए आवश्यक धारणा।
बीजीय और विश्लेषणात्मक ज्यामिति
- बीजीय सदिश बंडल
- पिकार्ड समूह
- होलोमोर्फिक सदिश बंडल
टिप्पणियाँ
- ↑ Hatcher 2003, Example 3.6.
- ↑ Lang 1995.
स्रोत
- Abraham, Ralph H.; Marsden, Jerrold E. (1978), Foundations of mechanics, London: Benjamin-Cummings, see section 1.5, ISBN 978-0-8053-0102-1.
- Hatcher, Allen (2003), Vector Bundles & K-Theory (2.0 ed.).
- Jost, Jürgen (2002), Riemannian Geometry and Geometric Analysis (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-42627-1, खंड 1.5 देखें।
- Lang, Serge (1995), Differential and Riemannian manifolds, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94338-1.
- Lee, Jeffrey M. (2009), Manifolds and Differential Geometry, Graduate Studies in Mathematics, vol. 107, Providence: American Mathematical Society, ISBN 978-0-8218-4815-9.
- Lee, John M. (2003), Introduction to Smooth Manifolds, New York: Springer, ISBN 0-387-95448-1 अध्याय 5 देखें
- Rubei, Elena (2014), Algebraic Geometry, a concise dictionary, Berlin/Boston: Walter De Gruyter, ISBN 978-3-11-031622-3.
बाहरी संबंध
