फाइबर बंडल: Difference between revisions
(Created page with "{{short description|Continuous surjection satisfying a local triviality condition}} {{distinguish|text=an optical fiber bundle}} {{Use American English|date=March 2021}} {...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{short description|Continuous surjection satisfying a local triviality condition}} | {{short description|Continuous surjection satisfying a local triviality condition}} | ||
{{distinguish|text= | {{distinguish|text=एक [[ऑप्टिकल फाइबर बंडल]]}} | ||
{{Use American English|date=March 2021}} | {{Use American English|date=March 2021}} | ||
{{Use mdy dates|date=March 2021}} | {{Use mdy dates|date=March 2021}} | ||
[[File:Roundhairbrush.JPG|thumb|एक बेलनाकार [[कंघी]] शब्द फाइबर बंडल के पीछे के अंतर्ज्ञान को दर्शाता है। यह हेयरब्रश फाइबर बंडल की तरह होता है जिसमें बेस स्पेस एक सिलेंडर होता है और फाइबर ([[बाल खड़े]]) लाइन सेगमेंट होते हैं। मानचित्रण <math>\pi : E \to B</math> किसी भी ब्रिस्टल पर एक बिंदु लेगा और इसे सिलेंडर पर अपनी जड़ में मैप करेगा।]]गणित और विशेष रूप से [[टोपोलॉजी]] में, एक फाइबर बंडल (या राष्ट्रमंडल राष्ट्रों में अंग्रेजी में: फाइबर बंडल) एक [[अंतरिक्ष (गणित)]] है जो है | [[File:Roundhairbrush.JPG|thumb|एक बेलनाकार [[कंघी]] शब्द फाइबर बंडल के पीछे के अंतर्ज्ञान को दर्शाता है। यह हेयरब्रश फाइबर बंडल की तरह होता है जिसमें बेस स्पेस एक सिलेंडर होता है और फाइबर([[बाल खड़े]]) लाइन सेगमेंट होते हैं। मानचित्रण <math>\pi : E \to B</math> किसी भी ब्रिस्टल पर एक बिंदु लेगा और इसे सिलेंडर पर अपनी जड़ में मैप करेगा।]]गणित और विशेष रूप से [[टोपोलॉजी]] में, एक फाइबर बंडल(या राष्ट्रमंडल राष्ट्रों में अंग्रेजी में: फाइबर बंडल) एक [[अंतरिक्ष (गणित)|अंतराल(गणित)]] है जो है स्थानीय तौर पर एक [[उत्पाद स्थान]], लेकिन व्यापक रूप से एक अलग सामयिक संरचना हो सकती है। विशेष रूप से, एक स्थान के बीच समानता <math>E</math> और एक उत्पाद स्थान <math>B \times F</math> एक सतत कार्य(टोपोलॉजी) विशेषण कार्य मानचित्र(गणित) का उपयोग करके परिभाषित किया गया है, <math>\pi : E \to B,</math> कि के छोटे क्षेत्रों में <math>E</math> के संबंधित क्षेत्रों से प्रक्षेपण की तरह ही व्यवहार करता है <math>B \times F</math> प्रति <math>B.</math> नक्शा <math>\pi,</math> बंडल का प्रक्षेपण या आप्लावन(गणित) कहलाता है, इसे बंडल की संरचना का भाग माना जाता है। अंतराल <math>E</math> फाइबर बंडल के कुल स्थान के रूप में जाना जाता है, <math>B</math> आधार स्थान के रूप में, और <math>F</math> फाइबर के रूप में। | ||
' | 'साधारण' मामले में, <math>E</math> सिर्फ <math>B \times F,</math> और नक्शा <math>\pi</math> उत्पाद स्थान से पहले कारक तक केवल प्रक्षेपण है। इसे साधारण बंडल कहा जाता है। गैर-साधारण फाइबर बंडलों के उदाहरणों में मोबियस स्ट्रिप और [[क्लेन की बोतल]], साथ ही असतहीय [[अंतरिक्ष को कवर करना|अंतराल को कवर करना]] सम्मिलित हैं। फाइबर बंडल, जैसे [[विविध]] के [[स्पर्शरेखा बंडल]] और अन्य अधिक सामान्य [[वेक्टर बंडल]] , मुख्य बंडल के रूप में [[अंतर ज्यामिति]] और [[अंतर टोपोलॉजी]] में महत्वपूर्ण भूमिका निभाते हैं। | ||
प्रक्षेप मानचित्र के साथ यात्रा करने वाले फाइबर बंडलों के कुल स्थानों के बीच मैपिंग को [[बंडल नक्शा]]्स के रूप में जाना जाता है, और फाइबर बंडलों की श्रेणी ऐसे मैपिंग के संबंध में एक [[श्रेणी सिद्धांत]] बनाती है। बेस स्पेस से ही एक बंडल मैप(प्रोजेक्शन के रूप में आइडेंटिटी मैपिंग के साथ)। <math>E</math> का एक भाग(फाइबर बंडल) कहलाता है <math>E.</math> फाइबर बंडलों को कई तरीकों से विशिष्ट किया जा सकता है, जिनमें से सबसे आम है कि स्थानीय साधारण पैच के बीच संक्रमण मानचित्र एक निश्चित [[टोपोलॉजिकल समूह]] में होते हैं, जिसे संरचना समूह के रूप में जाना जाता है, जो फाइबर पर कार्य करता है। <math>F</math>. | |||
== इतिहास == | == इतिहास == | ||
टोपोलॉजी में, ''फाइबर'' (जर्मन: ''फेजर'') और ''फाइबर स्पेस'' (''गेफसेर राउम'') शब्द पहली बार 1933 में [[हर्बर्ट सीफर्ट]] के एक पेपर में दिखाई दिए,<ref>{{cite journal|title=त्रि-आयामी फाइबरयुक्त रिक्त स्थान की टोपोलॉजी|first=Herbert|last= Seifert|author-link=Herbert Seifert| journal=[[Acta Mathematica]]| volume=60|year=1933|pages=147–238|doi=10.1007/bf02398271|doi-access=free}}</ref><ref>[https://projecteuclid.org/euclid.acta/1485887992 "Topologie Dreidimensionaler Gefaserter Räume"] on [[Project Euclid]].</ref> लेकिन उनकी परिभाषाएँ एक विशेष मामले तक ही सीमित हैं। हालांकि, फाइबर स्पेस की वर्तमान अवधारणा से मुख्य अंतर यह था कि सीफर्ट के लिए जिसे अब फाइबर (टोपोलॉजिकल) स्पेस ''ई'' का बेस स्पेस (टोपोलॉजिकल स्पेस) कहा जाता है, संरचना का हिस्सा नहीं था, लेकिन इसे 'ई' के भागफल स्थान के रूप में प्राप्त किया गया है। फाइबर स्पेस की पहली परिभाषा [[हस्लर व्हिटनी]] ने 1935 में दी थी <ref>{{cite journal|title=गोलाकार स्थान|first=Hassler|last= Whitney|author-link=Hassler Whitney| journal=[[Proceedings of the National Academy of Sciences of the United States of America]]|volume=21|issue=7|year=1935|pages=464–468|doi=10.1073/pnas.21.7.464|doi-access=free|pmid=16588001|pmc=1076627|bibcode=1935PNAS...21..464W}}</ref> स्फीयर स्पेस नाम के तहत, लेकिन 1940 में व्हिटनी ने नाम बदलकर स्फीयर बंडल कर दिया।<ref>{{cite journal|title=गोलाकार बंडलों के सिद्धांत पर|first=Hassler|last= Whitney|author-link=Hassler Whitney| journal= [[Proceedings of the National Academy of Sciences of the United States of America]] |volume=26|issue=2|year=1940|pages=148–153|doi=10.1073/pnas.26.2.148|pmid=16588328|pmc=1078023|bibcode=1940PNAS...26..148W|doi-access=free}}</ref> | टोपोलॉजी में, ''फाइबर''(जर्मन: ''फेजर'') और ''फाइबर स्पेस''(''गेफसेर राउम'') शब्द पहली बार 1933 में [[हर्बर्ट सीफर्ट]] के एक पेपर में दिखाई दिए,<ref>{{cite journal|title=त्रि-आयामी फाइबरयुक्त रिक्त स्थान की टोपोलॉजी|first=Herbert|last= Seifert|author-link=Herbert Seifert| journal=[[Acta Mathematica]]| volume=60|year=1933|pages=147–238|doi=10.1007/bf02398271|doi-access=free}}</ref><ref>[https://projecteuclid.org/euclid.acta/1485887992 "Topologie Dreidimensionaler Gefaserter Räume"] on [[Project Euclid]].</ref> लेकिन उनकी परिभाषाएँ एक विशेष मामले तक ही सीमित हैं। हालांकि, फाइबर स्पेस की वर्तमान अवधारणा से मुख्य अंतर यह था कि सीफर्ट के लिए जिसे अब फाइबर(टोपोलॉजिकल) स्पेस ''ई'' का बेस स्पेस(टोपोलॉजिकल स्पेस) कहा जाता है, संरचना का हिस्सा नहीं था, लेकिन इसे 'ई' के भागफल स्थान के रूप में प्राप्त किया गया है। फाइबर स्पेस की पहली परिभाषा [[हस्लर व्हिटनी]] ने 1935 में दी थी <ref>{{cite journal|title=गोलाकार स्थान|first=Hassler|last= Whitney|author-link=Hassler Whitney| journal=[[Proceedings of the National Academy of Sciences of the United States of America]]|volume=21|issue=7|year=1935|pages=464–468|doi=10.1073/pnas.21.7.464|doi-access=free|pmid=16588001|pmc=1076627|bibcode=1935PNAS...21..464W}}</ref> स्फीयर स्पेस नाम के तहत, लेकिन 1940 में व्हिटनी ने नाम बदलकर स्फीयर बंडल कर दिया।<ref>{{cite journal|title=गोलाकार बंडलों के सिद्धांत पर|first=Hassler|last= Whitney|author-link=Hassler Whitney| journal= [[Proceedings of the National Academy of Sciences of the United States of America]] |volume=26|issue=2|year=1940|pages=148–153|doi=10.1073/pnas.26.2.148|pmid=16588328|pmc=1078023|bibcode=1940PNAS...26..148W|doi-access=free}}</ref> | ||
फाइबर वाले रिक्त स्थान का सिद्धांत, जिनमें से वेक्टर बंडल, प्रिंसिपल बंडल, टोपोलॉजिकल [[कंपन]] और [[फाइबर कई गुना]] एक विशेष मामला है, को सीफर्ट, [[हेंज हॉफ]], [[जैक्स फेल्डबाउ]], के लिए जिम्मेदार ठहराया गया है।<ref>{{cite journal|title=फाइबर रिक्त स्थान के वर्गीकरण पर|first=Jacques| last=Feldbau|author-link=Jacques Feldbau|journal=[[Comptes rendus de l'Académie des Sciences]]|volume=208|year=1939|pages=1621–1623}}</ref> व्हिटनी, [[नॉर्मन स्टीनरोड]], [[चार्ल्स एह्रेसमैन]],<ref>{{cite journal|title=बंडल रिक्त स्थान के सिद्धांत पर|first=Charles|last= Ehresmann|author-link=Charles Ehresmann |journal=Coll. Top. Alg. Paris|volume=C.N.R.S.|year=1947|pages=3–15}}</ref><ref>{{cite journal|title=अलग-अलग बंडल किए गए स्थानों पर|first=Charles|last= Ehresmann|author-link=Charles Ehresmann | journal=[[Comptes rendus de l'Académie des Sciences]] |volume=224|year=1947|pages=1611–1612}}</ref><ref>{{cite journal|title=अलग-अलग बंडल किए गए स्थान का विस्तार|first=Charles|last= Ehresmann|author-link=Charles Ehresmann |journal=[[Comptes rendus de l'Académie des Sciences]]|volume=240|year=1955|pages=1755–1757}}</ref> [[जीन पियरे सेरे]],<ref>{{cite journal|title=बंडल्ड स्पेस का सिंगुलर होमोलॉजी। ऐप्स|first=Jean-Pierre|last= Serre|author-link=Jean-Pierre Serre|journal=[[Annals of Mathematics]] |volume=54|issue=3|year=1951|pages=425–505|doi=10.2307/1969485|jstor=1969485}}</ref> और दूसरे। | फाइबर वाले रिक्त स्थान का सिद्धांत, जिनमें से वेक्टर बंडल, प्रिंसिपल बंडल, टोपोलॉजिकल [[कंपन]] और [[फाइबर कई गुना]] एक विशेष मामला है, को सीफर्ट, [[हेंज हॉफ]], [[जैक्स फेल्डबाउ]], के लिए जिम्मेदार ठहराया गया है।<ref>{{cite journal|title=फाइबर रिक्त स्थान के वर्गीकरण पर|first=Jacques| last=Feldbau|author-link=Jacques Feldbau|journal=[[Comptes rendus de l'Académie des Sciences]]|volume=208|year=1939|pages=1621–1623}}</ref> व्हिटनी, [[नॉर्मन स्टीनरोड]], [[चार्ल्स एह्रेसमैन]],<ref>{{cite journal|title=बंडल रिक्त स्थान के सिद्धांत पर|first=Charles|last= Ehresmann|author-link=Charles Ehresmann |journal=Coll. Top. Alg. Paris|volume=C.N.R.S.|year=1947|pages=3–15}}</ref><ref>{{cite journal|title=अलग-अलग बंडल किए गए स्थानों पर|first=Charles|last= Ehresmann|author-link=Charles Ehresmann | journal=[[Comptes rendus de l'Académie des Sciences]] |volume=224|year=1947|pages=1611–1612}}</ref><ref>{{cite journal|title=अलग-अलग बंडल किए गए स्थान का विस्तार|first=Charles|last= Ehresmann|author-link=Charles Ehresmann |journal=[[Comptes rendus de l'Académie des Sciences]]|volume=240|year=1955|pages=1755–1757}}</ref> [[जीन पियरे सेरे]],<ref>{{cite journal|title=बंडल्ड स्पेस का सिंगुलर होमोलॉजी। ऐप्स|first=Jean-Pierre|last= Serre|author-link=Jean-Pierre Serre|journal=[[Annals of Mathematics]] |volume=54|issue=3|year=1951|pages=425–505|doi=10.2307/1969485|jstor=1969485}}</ref> और दूसरे। | ||
| Line 67: | Line 67: | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
एक फाइबर बंडल एक संरचना है <math>(E,\, B,\, \pi,\, F),</math> कहाँ पे <math>E, B,</math> तथा <math>F</math> [[टोपोलॉजिकल रिक्त स्थान]] हैं और <math>\pi : E \to B</math> एक सतत (टोपोलॉजी) प्रक्षेपण है जो नीचे उल्लिखित स्थानीय | एक फाइबर बंडल एक संरचना है <math>(E,\, B,\, \pi,\, F),</math> कहाँ पे <math>E, B,</math> तथा <math>F</math> [[टोपोलॉजिकल रिक्त स्थान]] हैं और <math>\pi : E \to B</math> एक सतत(टोपोलॉजी) प्रक्षेपण है जो नीचे उल्लिखित स्थानीय साधारणता की स्थिति को संतुष्ट करता है। अंतराल <math>B</math> कहा जाता है{{visible anchor|base space}}बंडल का, <math>E</math> {{visible anchor|total space}}, तथा <math>F</math> {{visible anchor|fiber}}. नक्शा <math>\pi</math> कहा जाता है{{visible anchor|projection map}}(या{{visible anchor|bundle projection}}). हम आधार स्थान के बाद क्या मानेंगे <math>B</math> [[जुड़ा हुआ स्थान]] है। | ||
हमें इसकी आवश्यकता प्रत्येक के लिए है <math>x \in B</math>, एक खुला [[पड़ोस (टोपोलॉजी)]] है <math>U \subseteq B</math> का <math>x</math> (जिसे एक | हमें इसकी आवश्यकता प्रत्येक के लिए है <math>x \in B</math>, एक खुला [[पड़ोस (टोपोलॉजी)|पड़ोस(टोपोलॉजी)]] है <math>U \subseteq B</math> का <math>x</math>(जिसे एक साधारण पड़ोस कहा जाएगा) ऐसा है कि एक [[होमियोमोर्फिज्म]] है <math>\varphi : \pi^{-1}(U) \to U \times F</math>(कहाँ पे <math>\pi^{-1}(U)</math> उप-स्थान टोपोलॉजी दी गई है, और <math>U \times F</math> उत्पाद स्थान है) इस तरह से <math>\pi</math> पहले कारक पर प्रक्षेपण से सहमत हैं। अर्थात्, निम्नलिखित आरेख को [[क्रमविनिमेय आरेख]] होना चाहिए: | ||
[[image:Fibre bundle local trivial.svg|लोकल ट्रिवियालिटी कंडीशन|230px | [[image:Fibre bundle local trivial.svg|लोकल ट्रिवियालिटी कंडीशन|230px | ||
| Line 75: | Line 75: | ||
कहाँ पे <math>\operatorname{proj}_1 : U \times F \to U</math> प्राकृतिक प्रक्षेपण है और <math>\varphi : \pi^{-1}(U) \to U \times F</math> एक होमियोमॉर्फिज्म है। सभी का सेट <math>\left\{\left(U_i,\, \varphi_i\right)\right\}</math> ए कहा जाता है{{visible anchor|local trivialization}}बंडल का। | कहाँ पे <math>\operatorname{proj}_1 : U \times F \to U</math> प्राकृतिक प्रक्षेपण है और <math>\varphi : \pi^{-1}(U) \to U \times F</math> एक होमियोमॉर्फिज्म है। सभी का सेट <math>\left\{\left(U_i,\, \varphi_i\right)\right\}</math> ए कहा जाता है{{visible anchor|local trivialization}}बंडल का। | ||
इस प्रकार किसी के लिए <math>p \in B</math>, पूर्व चित्र <math>\pi^{-1}(\{p\})</math> के लिए होमियोमॉर्फिक है <math>F</math> (चूंकि यह सच है <math>\operatorname{proj}_1^{-1}(\{p\})</math>) और इसे फाइबर ओवर कहा जाता है <math>p.</math>हर फाइबर बंडल <math>\pi : E \to B</math> एक [[खुला नक्शा]] है, क्योंकि उत्पादों के अनुमान खुले नक्शे हैं। इसलिए <math>B</math> मानचित्र द्वारा निर्धारित [[भागफल टोपोलॉजी]] वहन करती है <math>\pi.</math> | इस प्रकार किसी के लिए <math>p \in B</math>, पूर्व चित्र <math>\pi^{-1}(\{p\})</math> के लिए होमियोमॉर्फिक है <math>F</math>(चूंकि यह सच है <math>\operatorname{proj}_1^{-1}(\{p\})</math>) और इसे फाइबर ओवर कहा जाता है <math>p.</math>हर फाइबर बंडल <math>\pi : E \to B</math> एक [[खुला नक्शा]] है, क्योंकि उत्पादों के अनुमान खुले नक्शे हैं। इसलिए <math>B</math> मानचित्र द्वारा निर्धारित [[भागफल टोपोलॉजी]] वहन करती है <math>\pi.</math> | ||
एक फाइबर बंडल <math>(E,\, B,\, \pi,\, F)</math> अक्सर निरूपित किया जाता है | एक फाइबर बंडल <math>(E,\, B,\, \pi,\, F)</math> अक्सर निरूपित किया जाता है | ||
{{NumBlk | {{NumBlk | ||
| Line 86: | Line 86: | ||
}} कि, एक संक्षिप्त सटीक अनुक्रम के अनुरूप, यह इंगित करता है कि कौन सा स्थान फाइबर, कुल स्थान और आधार स्थान है, साथ ही कुल से आधार स्थान तक का नक्शा। | }} कि, एक संक्षिप्त सटीक अनुक्रम के अनुरूप, यह इंगित करता है कि कौन सा स्थान फाइबर, कुल स्थान और आधार स्थान है, साथ ही कुल से आधार स्थान तक का नक्शा। | ||
ए{{visible anchor|smooth fiber bundle}}चिकनी कई गुना की [[श्रेणी (गणित)]] में एक फाइबर बंडल है। वह है, <math>E, B,</math> तथा <math>F</math> चिकने मैनिफोल्ड होने की आवश्यकता है और ऊपर दिए गए सभी कार्यों को सुचारू मानचित्र बनाने की आवश्यकता है। | ए{{visible anchor|smooth fiber bundle}}चिकनी कई गुना की [[श्रेणी (गणित)|श्रेणी(गणित)]] में एक फाइबर बंडल है। वह है, <math>E, B,</math> तथा <math>F</math> चिकने मैनिफोल्ड होने की आवश्यकता है और ऊपर दिए गए सभी कार्यों को सुचारू मानचित्र बनाने की आवश्यकता है। | ||
== उदाहरण == | == उदाहरण == | ||
=== | === साधारण बंडल === | ||
होने देना <math>E = B \times F</math> और जाने <math>\pi : E \to B</math> पहले कारक पर प्रक्षेपण हो। फिर <math>\pi</math> एक फाइबर बंडल है (का <math>F</math>) ऊपर <math>B.</math> यहां <math>E</math> न केवल स्थानीय रूप से एक उत्पाद है बल्कि विश्व स्तर पर एक है। ऐसे किसी फाइबर बंडल को 'कहा जाता है।{{visible anchor|trivial bundle}}. अनुबंधित स्थान [[स.ग.-जटिल]] पर कोई भी फाइबर बंडल | होने देना <math>E = B \times F</math> और जाने <math>\pi : E \to B</math> पहले कारक पर प्रक्षेपण हो। फिर <math>\pi</math> एक फाइबर बंडल है(का <math>F</math>) ऊपर <math>B.</math> यहां <math>E</math> न केवल स्थानीय रूप से एक उत्पाद है बल्कि विश्व स्तर पर एक है। ऐसे किसी फाइबर बंडल को 'कहा जाता है।{{visible anchor|trivial bundle}}. अनुबंधित स्थान [[स.ग.-जटिल]] पर कोई भी फाइबर बंडल साधारण है। | ||
=== गैर- | === गैर-साधारण बंडल === | ||
==== मोबियस स्ट्रिप ==== | ==== मोबियस स्ट्रिप ==== | ||
[[File:Moebius Surface 1 Display Small.png|thumb|right|मोबियस पट्टी वृत्त के ऊपर एक गैर- | [[File:Moebius Surface 1 Display Small.png|thumb|right|मोबियस पट्टी वृत्त के ऊपर एक गैर-साधारण बंडल है।]]शायद एक गैर-साधारण बंडल का सबसे सरल उदाहरण <math>E</math> मोबियस पट्टी है। इसमें एक वृत्त होता है जो आधार के रूप में पट्टी के केंद्र के साथ लंबाई में चलता है <math>B</math> और फाइबर के लिए एक लाइन खंड <math>F</math>, इसलिए मोबियस पट्टी वृत्त के ऊपर रेखा खंड का एक बंडल है। एक [[पड़ोस (गणित)|पड़ोस(गणित)]] <math>U</math> का <math>\pi(x) \in B</math>(कहाँ पे <math>x \in E</math>) एक [[गोलाकार चाप]] है; तस्वीर में, यह वर्गों में से एक की लंबाई है। [[छवि (गणित)|छवि(गणित)]] <math>\pi^{-1}(U)</math> तस्वीर में पट्टी का एक(कुछ मुड़ा हुआ) टुकड़ा है जो चार वर्ग चौड़ा और एक लंबा है(यानी वे सभी बिंदु जो प्रोजेक्ट करते हैं <math>U</math>). | ||
एक होमियोमोर्फिज्म (<math>\varphi</math> में {{sectionlink||Formal definition}}) मौजूद है जो कि प्रीइमेज को मैप करता है <math>U</math> ( | एक होमियोमोर्फिज्म(<math>\varphi</math> में {{sectionlink||Formal definition}}) मौजूद है जो कि प्रीइमेज को मैप करता है <math>U</math>(साधारण पड़ोस) एक सिलेंडर के एक टुकड़े के लिए: घुमावदार, लेकिन मुड़ नहीं। यह जोड़ी स्थानीय रूप से पट्टी को साधारण बनाती है। इसी साधारण बंडल <math>B\times F</math> एक [[सिलेंडर (ज्यामिति)|सिलेंडर(ज्यामिति)]] होगा, लेकिन मोबियस पट्टी में एक समग्र मोड़ है। यह मोड़ विश्व स्तर पर ही दिखाई देता है; स्थानीय रूप से मोबियस स्ट्रिप और सिलेंडर समान हैं(दोनों में से एक ही ऊर्ध्वाधर कट बनाने से समान स्थान मिलता है)। | ||
==== क्लेन बोतल ==== | ==== क्लेन बोतल ==== | ||
क्लेन बोतल एक समान गैर- | क्लेन बोतल एक समान गैर-साधारण बंडल है, जिसे दूसरे सर्कल पर एक मुड़ सर्कल बंडल के रूप में देखा जा सकता है। संबंधित गैर-मुड़(साधारण) बंडल 2-[[टोरस्र्स]] है, <math>S^1 \times S^1</math>. | ||
{| | {| | ||
| Line 118: | Line 118: | ||
=== वेक्टर और प्रमुख बंडल === | === वेक्टर और प्रमुख बंडल === | ||
फाइबर बंडलों का एक विशेष वर्ग, जिसे वेक्टर बंडल कहा जाता है, वे हैं जिनके फाइबर वेक्टर रिक्त स्थान हैं (वेक्टर बंडल के रूप में अर्हता प्राप्त करने के लिए बंडल का संरचना समूह - नीचे देखें - एक [[सामान्य रैखिक समूह]] होना चाहिए)। सदिश बंडलों के महत्वपूर्ण उदाहरणों में [[स्पर्शरेखा बंडल]] और चिकने मैनिफोल्ड के कोटेंगेंट बंडल | फाइबर बंडलों का एक विशेष वर्ग, जिसे वेक्टर बंडल कहा जाता है, वे हैं जिनके फाइबर वेक्टर रिक्त स्थान हैं(वेक्टर बंडल के रूप में अर्हता प्राप्त करने के लिए बंडल का संरचना समूह - नीचे देखें - एक [[सामान्य रैखिक समूह]] होना चाहिए)। सदिश बंडलों के महत्वपूर्ण उदाहरणों में [[स्पर्शरेखा बंडल]] और चिकने मैनिफोल्ड के कोटेंगेंट बंडल सम्मिलित हैं। किसी भी वेक्टर बंडल से, [[आधार (गणित)|आधार(गणित)]] के [[फ्रेम बंडल]] का निर्माण किया जा सकता है, जो एक प्रमुख बंडल है(नीचे देखें)। | ||
फाइबर बंडलों का एक अन्य विशेष वर्ग, जिसे प्रमुख बंडल कहा जाता है, वे बंडल होते हैं जिनके तंतुओं पर एक समूह द्वारा एक स्वतंत्र और संक्रमणीय [[समूह क्रिया (गणित)]] होती है। <math>G</math> दिया जाता है, ताकि प्रत्येक फाइबर एक [[प्रमुख सजातीय स्थान]] हो। बंडल को अक्सर समूह के साथ प्रिंसिपल के रूप में संदर्भित करके निर्दिष्ट किया जाता है <math>G</math>-बंडल। समूह <math>G</math> बंडल का संरचना समूह भी है। एक [[समूह प्रतिनिधित्व]] दिया <math>\rho</math> का <math>G</math> एक वेक्टर स्थान पर <math>V</math>, एक वेक्टर बंडल के साथ <math>\rho(G) \subseteq \text{Aut}(V)</math> एक संरचना समूह के रूप में निर्मित किया जा सकता है, जिसे संबंधित बंडल के रूप में जाना जाता है। | फाइबर बंडलों का एक अन्य विशेष वर्ग, जिसे प्रमुख बंडल कहा जाता है, वे बंडल होते हैं जिनके तंतुओं पर एक समूह द्वारा एक स्वतंत्र और संक्रमणीय [[समूह क्रिया (गणित)|समूह क्रिया(गणित)]] होती है। <math>G</math> दिया जाता है, ताकि प्रत्येक फाइबर एक [[प्रमुख सजातीय स्थान]] हो। बंडल को अक्सर समूह के साथ प्रिंसिपल के रूप में संदर्भित करके निर्दिष्ट किया जाता है <math>G</math>-बंडल। समूह <math>G</math> बंडल का संरचना समूह भी है। एक [[समूह प्रतिनिधित्व]] दिया <math>\rho</math> का <math>G</math> एक वेक्टर स्थान पर <math>V</math>, एक वेक्टर बंडल के साथ <math>\rho(G) \subseteq \text{Aut}(V)</math> एक संरचना समूह के रूप में निर्मित किया जा सकता है, जिसे संबंधित बंडल के रूप में जाना जाता है। | ||
=== क्षेत्र बंडल === | === क्षेत्र बंडल === | ||
{{main|Sphere bundle}} | {{main|Sphere bundle}} | ||
स्फेयर बंडल एक फाइबर बंडल है जिसका फाइबर एक हाइपरस्फेयर|''एन''-स्फीयर है। एक वेक्टर बंडल दिया गया <math>E</math> एक [[मीट्रिक टेंसर]] के साथ (जैसे कि [[रीमैनियन कई गुना]] के लिए स्पर्शरेखा बंडल) कोई संबंधित इकाई क्षेत्र बंडल का निर्माण कर सकता है, जिसके लिए एक बिंदु पर फाइबर <math>x</math> में सभी यूनिट वैक्टर का सेट है <math>E_x</math>. जब प्रश्न में सदिश बंडल स्पर्शरेखा बंडल है <math>TM</math>, इकाई गोले के बंडल को [[इकाई स्पर्शरेखा बंडल]] के रूप में जाना जाता है। {{clear}} | स्फेयर बंडल एक फाइबर बंडल है जिसका फाइबर एक हाइपरस्फेयर|''एन''-स्फीयर है। एक वेक्टर बंडल दिया गया <math>E</math> एक [[मीट्रिक टेंसर]] के साथ(जैसे कि [[रीमैनियन कई गुना]] के लिए स्पर्शरेखा बंडल) कोई संबंधित इकाई क्षेत्र बंडल का निर्माण कर सकता है, जिसके लिए एक बिंदु पर फाइबर <math>x</math> में सभी यूनिट वैक्टर का सेट है <math>E_x</math>. जब प्रश्न में सदिश बंडल स्पर्शरेखा बंडल है <math>TM</math>, इकाई गोले के बंडल को [[इकाई स्पर्शरेखा बंडल]] के रूप में जाना जाता है। {{clear}} | ||
एक गोले के बंडल को आंशिक रूप से उसके [[यूलर वर्ग]] द्वारा चित्रित किया जाता है, जो कि एक डिग्री है <math>n + 1</math> बंडल के कुल स्थान में [[सह-समरूपता]] वर्ग। यदि <math>n = 1</math> स्फेयर बंडल को एक [[सर्कल बंडल]] कहा जाता है और यूलर वर्ग पहले [[चेर्न वर्ग]] के बराबर होता है, जो बंडल की टोपोलॉजी को पूरी तरह से चित्रित करता है। किसी के लिए <math>n</math>, एक बंडल के यूलर वर्ग को देखते हुए, [[गाइसिन अनुक्रम]] नामक एक लंबे सटीक अनुक्रम का उपयोग करके इसके कोहोलॉजी की गणना कर सकता है। | एक गोले के बंडल को आंशिक रूप से उसके [[यूलर वर्ग]] द्वारा चित्रित किया जाता है, जो कि एक डिग्री है <math>n + 1</math> बंडल के कुल स्थान में [[सह-समरूपता]] वर्ग। यदि <math>n = 1</math> स्फेयर बंडल को एक [[सर्कल बंडल]] कहा जाता है और यूलर वर्ग पहले [[चेर्न वर्ग]] के बराबर होता है, जो बंडल की टोपोलॉजी को पूरी तरह से चित्रित करता है। किसी के लिए <math>n</math>, एक बंडल के यूलर वर्ग को देखते हुए, [[गाइसिन अनुक्रम]] नामक एक लंबे सटीक अनुक्रम का उपयोग करके इसके कोहोलॉजी की गणना कर सकता है। | ||
| Line 134: | Line 134: | ||
=== भागफल स्थान === | === भागफल स्थान === | ||
यदि <math>G</math> एक सामयिक समूह है और <math>H</math> एक [[बंद उपसमूह]] है, तो कुछ परिस्थितियों में [[भागफल स्थान (टोपोलॉजी)]] <math>G/H</math> भागफल मानचित्र के साथ <math>\pi : G \to G/H</math> एक फाइबर बंडल है, जिसका फाइबर टोपोलॉजिकल स्पेस है <math>H</math>. के लिए एक आवश्यक और पर्याप्त शर्त (<math>G,\, G/H,\, \pi,\, H</math>) एक फाइबर बंडल बनाने के लिए मैपिंग है <math>\pi</math> #Sections|स्थानीय क्रॉस-सेक्शन स्वीकार करता है {{harv|Steenrod|1951|loc=§7}}. | यदि <math>G</math> एक सामयिक समूह है और <math>H</math> एक [[बंद उपसमूह]] है, तो कुछ परिस्थितियों में [[भागफल स्थान (टोपोलॉजी)|भागफल स्थान(टोपोलॉजी)]] <math>G/H</math> भागफल मानचित्र के साथ <math>\pi : G \to G/H</math> एक फाइबर बंडल है, जिसका फाइबर टोपोलॉजिकल स्पेस है <math>H</math>. के लिए एक आवश्यक और पर्याप्त शर्त(<math>G,\, G/H,\, \pi,\, H</math>) एक फाइबर बंडल बनाने के लिए मैपिंग है <math>\pi</math> #Sections|स्थानीय क्रॉस-सेक्शन स्वीकार करता है {{harv|Steenrod|1951|loc=§7}}. | ||
सबसे सामान्य स्थितियाँ जिसके तहत भागफल मानचित्र स्थानीय क्रॉस-सेक्शन को स्वीकार करेगा, ज्ञात नहीं है, हालाँकि यदि <math>G</math> एक [[झूठ समूह]] है और <math>H</math> एक बंद उपसमूह (और इस प्रकार बंद उपसमूह प्रमेय | कार्टन की प्रमेय द्वारा एक लाइ उपसमूह), तो भागफल नक्शा एक फाइबर बंडल है। इसका एक उदाहरण [[हॉफ फिब्रेशन]] है, <math>S^3 \to S^2</math>, जो गोले के ऊपर एक फाइबर बंडल है <math>S^2</math> जिसका कुल स्थान है <math>S^3</math>. झूठ समूहों के दृष्टिकोण से, <math>S^3</math> [[विशेष एकात्मक समूह]] के साथ पहचाना जा सकता है <math>SU(2)</math>. विकर्ण मेट्रिसेस का एबेलियन उपसमूह सर्कल समूह के लिए आइसोमोर्फिक है <math>U(1)</math>, और भागफल <math>SU(2)/U(1)</math> गोले के लिए डिफियोमॉर्फिक है। | सबसे सामान्य स्थितियाँ जिसके तहत भागफल मानचित्र स्थानीय क्रॉस-सेक्शन को स्वीकार करेगा, ज्ञात नहीं है, हालाँकि यदि <math>G</math> एक [[झूठ समूह]] है और <math>H</math> एक बंद उपसमूह(और इस प्रकार बंद उपसमूह प्रमेय | कार्टन की प्रमेय द्वारा एक लाइ उपसमूह), तो भागफल नक्शा एक फाइबर बंडल है। इसका एक उदाहरण [[हॉफ फिब्रेशन]] है, <math>S^3 \to S^2</math>, जो गोले के ऊपर एक फाइबर बंडल है <math>S^2</math> जिसका कुल स्थान है <math>S^3</math>. झूठ समूहों के दृष्टिकोण से, <math>S^3</math> [[विशेष एकात्मक समूह]] के साथ पहचाना जा सकता है <math>SU(2)</math>. विकर्ण मेट्रिसेस का एबेलियन उपसमूह सर्कल समूह के लिए आइसोमोर्फिक है <math>U(1)</math>, और भागफल <math>SU(2)/U(1)</math> गोले के लिए डिफियोमॉर्फिक है। | ||
अधिक सामान्यतः, यदि <math>G</math> कोई सामयिक समूह है और <math>H</math> एक बंद उपसमूह जो तब एक झूठ समूह भी होता है <math>G \to G/H</math> एक फाइबर बंडल है। | अधिक सामान्यतः, यदि <math>G</math> कोई सामयिक समूह है और <math>H</math> एक बंद उपसमूह जो तब एक झूठ समूह भी होता है <math>G \to G/H</math> एक फाइबर बंडल है। | ||
| Line 146: | Line 146: | ||
सबसे प्रसिद्ध उदाहरण [[बालों वाली गेंद प्रमेय]] है, जहां यूलर वर्ग 2-गोले के स्पर्शरेखा बंडल के लिए बाधा है, जो कहीं नहीं गायब हो रहा है। | सबसे प्रसिद्ध उदाहरण [[बालों वाली गेंद प्रमेय]] है, जहां यूलर वर्ग 2-गोले के स्पर्शरेखा बंडल के लिए बाधा है, जो कहीं नहीं गायब हो रहा है। | ||
अक्सर कोई केवल स्थानीय रूप से अनुभागों को परिभाषित करना चाहता है (विशेषकर जब वैश्विक खंड मौजूद नहीं होते हैं)। फाइबर बंडल का 'स्थानीय खंड' एक निरंतर मानचित्र है <math>f : U \to E</math> जहाँ U, B में एक विवृत्त समुच्चय है <math>\pi(f(x)) = x</math> U में सभी x के लिए। यदि <math>(U,\, \varphi)</math> एक स्थानीय | अक्सर कोई केवल स्थानीय रूप से अनुभागों को परिभाषित करना चाहता है(विशेषकर जब वैश्विक खंड मौजूद नहीं होते हैं)। फाइबर बंडल का 'स्थानीय खंड' एक निरंतर मानचित्र है <math>f : U \to E</math> जहाँ U, B में एक विवृत्त समुच्चय है <math>\pi(f(x)) = x</math> U में सभी x के लिए। यदि <math>(U,\, \varphi)</math> एक स्थानीय साधारणीकरण चार्ट है तो यू पर स्थानीय खंड हमेशा मौजूद होते हैं। ऐसे खंड निरंतर मानचित्रों के साथ 1-1 पत्राचार में हैं <math>U \to F</math>. अनुभाग एक [[शीफ (गणित)|शीफ(गणित)]] बनाते हैं। | ||
== संरचना समूह और संक्रमण कार्य == | == संरचना समूह और संक्रमण कार्य == | ||
फाइबर बंडल अक्सर समरूपता के एक [[समूह (गणित)]] के साथ आते हैं जो अतिव्यापी स्थानीय | फाइबर बंडल अक्सर समरूपता के एक [[समूह (गणित)|समूह(गणित)]] के साथ आते हैं जो अतिव्यापी स्थानीय साधारणीकरण चार्ट के बीच मिलान की स्थिति का वर्णन करते हैं। विशेष रूप से, G को एक सामयिक समूह होने दें जो बाईं ओर फाइबर स्पेस F पर लगातार समूह क्रिया(गणित) करता है। हम कुछ भी नहीं खोते हैं यदि हम चाहते हैं कि जी एफ पर वफादार कार्रवाई करे ताकि इसे एफ के होमोमोर्फिज्म के समूह के रूप में माना जा सके। बंडल के लिए ए 'जी-[[एटलस (टोपोलॉजी)|एटलस(टोपोलॉजी)]]' <math>(E, B, \pi, F)</math> स्थानीय साधारणीकरण चार्ट का एक सेट है <math>\{(U_k,\, \varphi_k)\}</math> ऐसा कि किसी के लिए <math>\varphi_i,\varphi_j</math> अतिव्यापी चार्ट के लिए <math>(U_i,\, \varphi_i)</math> तथा <math>(U_j,\, \varphi_j)</math> कार्यक्रम | ||
<math display=block>\varphi_i\varphi_j^{-1} : \left(U_i \cap U_j\right) \times F \to \left(U_i \cap U_j\right) \times F</math> | <math display=block>\varphi_i\varphi_j^{-1} : \left(U_i \cap U_j\right) \times F \to \left(U_i \cap U_j\right) \times F</math> | ||
द्वारा दिया गया है | द्वारा दिया गया है | ||
| Line 161: | Line 161: | ||
# <math>t_{ij}(x) = t_{ji}(x)^{-1}\,</math> | # <math>t_{ij}(x) = t_{ji}(x)^{-1}\,</math> | ||
# <math>t_{ik}(x) = t_{ij}(x)t_{jk}(x).\,</math> | # <math>t_{ik}(x) = t_{ij}(x)t_{jk}(x).\,</math> | ||
तीसरी शर्त ट्रिपल ओवरलैप्स यू पर लागू होती है<sub>i</sub>∩ यू<sub>j</sub>∩ यू<sub>k</sub>और इसे 'चेक कोहोमोलॉजी#कोसाइकल कंडीशन' कहा जाता है (चेक कोहोमोलॉजी देखें)। इसका महत्व यह है कि संक्रमण कार्य फाइबर बंडल को निर्धारित करता है (यदि कोई सीच चक्रीय स्थिति मानता है)। | तीसरी शर्त ट्रिपल ओवरलैप्स यू पर लागू होती है<sub>i</sub>∩ यू<sub>j</sub>∩ यू<sub>k</sub>और इसे 'चेक कोहोमोलॉजी#कोसाइकल कंडीशन' कहा जाता है(चेक कोहोमोलॉजी देखें)। इसका महत्व यह है कि संक्रमण कार्य फाइबर बंडल को निर्धारित करता है(यदि कोई सीच चक्रीय स्थिति मानता है)। | ||
एक प्रमुख बंडल | प्रिंसिपल जी-बंडल एक जी-बंडल है जहां फाइबर एफ स्वयं जी की बाईं क्रिया के लिए एक प्रमुख सजातीय स्थान है (समरूप रूप से, कोई यह निर्दिष्ट कर सकता है कि फाइबर एफ पर जी की क्रिया मुक्त और संक्रामक है, अर्थात ग्रुप एक्शन (गणित) #नियमित)। इस मामले में, अक्सर G के साथ F की पहचान करना सुविधा की बात है और इसलिए मुख्य बंडल पर G की (दाएं) क्रिया प्राप्त करें। | एक प्रमुख बंडल | प्रिंसिपल जी-बंडल एक जी-बंडल है जहां फाइबर एफ स्वयं जी की बाईं क्रिया के लिए एक प्रमुख सजातीय स्थान है(समरूप रूप से, कोई यह निर्दिष्ट कर सकता है कि फाइबर एफ पर जी की क्रिया मुक्त और संक्रामक है, अर्थात ग्रुप एक्शन(गणित) #नियमित)। इस मामले में, अक्सर G के साथ F की पहचान करना सुविधा की बात है और इसलिए मुख्य बंडल पर G की(दाएं) क्रिया प्राप्त करें। | ||
== बंडल मैप्स == | == बंडल मैप्स == | ||
| Line 170: | Line 170: | ||
<math display=block>\varphi : E \to F,\quad f : M \to N</math> | <math display=block>\varphi : E \to F,\quad f : M \to N</math> | ||
ऐसा है कि <math>\pi_F\circ \varphi = f \circ \pi_E.</math> अर्थात्, निम्न क्रमविनिमेय आरेख: | ऐसा है कि <math>\pi_F\circ \varphi = f \circ \pi_E.</math> अर्थात्, निम्न क्रमविनिमेय आरेख: | ||
[[File:BundleMorphism-04.svg|150px|center]]संरचना समूह जी के साथ फाइबर बंडलों के लिए और जिनके कुल रिक्त स्थान (दाएं) जी-स्पेस (जैसे कि एक प्रमुख बंडल) हैं, फाइबर पर जी-समरूप होने के लिए बंडल मोर्फिज्म की भी आवश्यकता होती है। इस का मतलब है कि <math>\varphi : E \to F</math> एक जी-स्पेस से दूसरे जी-स्पेस में जी-मॉर्फिज्म भी है, यानी, <math>\varphi(xs) = \varphi(x)s</math> सभी के लिए <math>x \in E</math> तथा <math>s \in G.</math> | [[File:BundleMorphism-04.svg|150px|center]]संरचना समूह जी के साथ फाइबर बंडलों के लिए और जिनके कुल रिक्त स्थान(दाएं) जी-स्पेस(जैसे कि एक प्रमुख बंडल) हैं, फाइबर पर जी-समरूप होने के लिए बंडल मोर्फिज्म की भी आवश्यकता होती है। इस का मतलब है कि <math>\varphi : E \to F</math> एक जी-स्पेस से दूसरे जी-स्पेस में जी-मॉर्फिज्म भी है, यानी, <math>\varphi(xs) = \varphi(x)s</math> सभी के लिए <math>x \in E</math> तथा <math>s \in G.</math> | ||
यदि आधार स्थान M और N मेल खाते हैं, तो फाइबर बंडल से M के ऊपर एक बंडल मोर्फिज्म होता है <math>\pi_E : E \to M</math> प्रति <math>\pi_F : F \to M</math> एक नक्शा है <math>\varphi : E \to F</math> ऐसा है कि <math>\pi_E = \pi_F \circ \varphi.</math> इसका मतलब है कि बंडल मैप <math>\varphi : E \to F</math> एम की पहचान को कवर करता है। यानी, <math>f \equiv \mathrm{id}_{M}</math> और आरेख यात्रा करता है | यदि आधार स्थान M और N मेल खाते हैं, तो फाइबर बंडल से M के ऊपर एक बंडल मोर्फिज्म होता है <math>\pi_E : E \to M</math> प्रति <math>\pi_F : F \to M</math> एक नक्शा है <math>\varphi : E \to F</math> ऐसा है कि <math>\pi_E = \pi_F \circ \varphi.</math> इसका मतलब है कि बंडल मैप <math>\varphi : E \to F</math> एम की पहचान को कवर करता है। यानी, <math>f \equiv \mathrm{id}_{M}</math> और आरेख यात्रा करता है | ||
[[File:BundleMorphism-03.svg|120px|center]]मान लीजिए कि दोनों <math>\pi_E : E \to M</math> तथा <math>\pi_F : F \to M</math> एक ही बेस स्पेस एम पर परिभाषित हैं। एक बंडल आइसोमोर्फिज्म एक बंडल मैप है <math>(\varphi,\, f)</math> के बीच <math>\pi_E : E \to M</math> तथा <math>\pi_F : F \to M</math> ऐसा है कि <math>f \equiv \mathrm{id}_M</math> और ऐसा है <math>\varphi</math> एक होमियोमॉर्फिज्म भी है।<ref> Or is, at least, invertible in the appropriate category; e.g., a diffeomorphism.</ref> | [[File:BundleMorphism-03.svg|120px|center]]मान लीजिए कि दोनों <math>\pi_E : E \to M</math> तथा <math>\pi_F : F \to M</math> एक ही बेस स्पेस एम पर परिभाषित हैं। एक बंडल आइसोमोर्फिज्म एक बंडल मैप है <math>(\varphi,\, f)</math> के बीच <math>\pi_E : E \to M</math> तथा <math>\pi_F : F \to M</math> ऐसा है कि <math>f \equiv \mathrm{id}_M</math> और ऐसा है <math>\varphi</math> एक होमियोमॉर्फिज्म भी है।<ref> Or is, at least, invertible in the appropriate category; e.g., a diffeomorphism.</ref> | ||
| Line 176: | Line 176: | ||
== विभेदक फाइबर बंडल == | == विभेदक फाइबर बंडल == | ||
अलग-अलग मैनिफोल्ड्स की श्रेणी में, फाइबर बंडल स्वाभाविक रूप से एक से दूसरे मैनिफोल्ड के जलमग्न (गणित) के रूप में उत्पन्न होते हैं। हर (अलग-अलग) डुबकी नहीं <math>f : M \to N</math> एक अलग करने योग्य मैनिफोल्ड एम से दूसरे अलग करने योग्य कई गुना एन एक अलग फाइबर बंडल को जन्म देता है। एक बात के लिए, नक्शा विशेषण होना चाहिए, और <math>(M, N, f)</math> फाइबरयुक्त मैनिफोल्ड कहा जाता है। हालाँकि, यह आवश्यक शर्त काफी पर्याप्त नहीं है, और आम उपयोग में कई तरह की पर्याप्त शर्तें हैं। | अलग-अलग मैनिफोल्ड्स की श्रेणी में, फाइबर बंडल स्वाभाविक रूप से एक से दूसरे मैनिफोल्ड के जलमग्न(गणित) के रूप में उत्पन्न होते हैं। हर(अलग-अलग) डुबकी नहीं <math>f : M \to N</math> एक अलग करने योग्य मैनिफोल्ड एम से दूसरे अलग करने योग्य कई गुना एन एक अलग फाइबर बंडल को जन्म देता है। एक बात के लिए, नक्शा विशेषण होना चाहिए, और <math>(M, N, f)</math> फाइबरयुक्त मैनिफोल्ड कहा जाता है। हालाँकि, यह आवश्यक शर्त काफी पर्याप्त नहीं है, और आम उपयोग में कई तरह की पर्याप्त शर्तें हैं। | ||
यदि एम और एन कॉम्पैक्ट और जुड़े हुए हैं, तो कोई सबमर्सिबल <math>f : M \to N</math> एक फाइबर बंडल को इस अर्थ में जन्म देता है कि प्रत्येक फाइबर के लिए एक फाइबर स्पेस F डिफियोमॉर्फिक है जैसे कि <math>(E, B, \pi, F) = (M, N, f, F)</math> एक फाइबर बंडल है। (सरजेक्टिविटी ऑफ <math>f</math> इस मामले में पहले से दी गई मान्यताओं का अनुसरण करता है।) अधिक सामान्यतः, कॉम्पैक्टनेस की धारणा को शिथिल किया जा सकता है यदि डूबना <math>f : M \to N</math> एक विशेषण उचित मानचित्र माना जाता है, जिसका अर्थ है <math>f^{-1}(K)</math> एन के प्रत्येक कॉम्पैक्ट सबसेट के के लिए कॉम्पैक्ट है। एक और पर्याप्त स्थिति, के कारण {{harvtxt|Ehresmann|1951}}, क्या वह है <math>f : M \to N</math> एम और एन डिफरेंशियल मैनिफोल्ड्स के साथ एक विशेषण सबमर्सियन (गणित) है जैसे कि प्रीइमेज <math>f^{-1}\{x\}</math> सभी के लिए [[कॉम्पैक्ट सेट]] और [[कनेक्शन (गणित)]] है <math>x \in N,</math> फिर <math>f</math> एक संगत फाइबर बंडल संरचना को स्वीकार करता है {{harv|Michor|2008|loc=§17}}. | यदि एम और एन कॉम्पैक्ट और जुड़े हुए हैं, तो कोई सबमर्सिबल <math>f : M \to N</math> एक फाइबर बंडल को इस अर्थ में जन्म देता है कि प्रत्येक फाइबर के लिए एक फाइबर स्पेस F डिफियोमॉर्फिक है जैसे कि <math>(E, B, \pi, F) = (M, N, f, F)</math> एक फाइबर बंडल है।(सरजेक्टिविटी ऑफ <math>f</math> इस मामले में पहले से दी गई मान्यताओं का अनुसरण करता है।) अधिक सामान्यतः, कॉम्पैक्टनेस की धारणा को शिथिल किया जा सकता है यदि डूबना <math>f : M \to N</math> एक विशेषण उचित मानचित्र माना जाता है, जिसका अर्थ है <math>f^{-1}(K)</math> एन के प्रत्येक कॉम्पैक्ट सबसेट के के लिए कॉम्पैक्ट है। एक और पर्याप्त स्थिति, के कारण {{harvtxt|Ehresmann|1951}}, क्या वह है <math>f : M \to N</math> एम और एन डिफरेंशियल मैनिफोल्ड्स के साथ एक विशेषण सबमर्सियन(गणित) है जैसे कि प्रीइमेज <math>f^{-1}\{x\}</math> सभी के लिए [[कॉम्पैक्ट सेट]] और [[कनेक्शन (गणित)|कनेक्शन(गणित)]] है <math>x \in N,</math> फिर <math>f</math> एक संगत फाइबर बंडल संरचना को स्वीकार करता है {{harv|Michor|2008|loc=§17}}. | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
* एक [[बंडल (गणित)]] की धारणा गणित में कई और श्रेणियों पर लागू होती है, स्थानीय | * एक [[बंडल (गणित)|बंडल(गणित)]] की धारणा गणित में कई और श्रेणियों पर लागू होती है, स्थानीय साधारणता की स्थिति को उचित रूप से संशोधित करने की कीमत पर; सीएफ प्रिंसिपल सजातीय स्थान और टॉर्सर(बीजगणितीय ज्यामिति)। | ||
* टोपोलॉजी में, एक फ़िब्रेशन एक मैपिंग है <math>\pi : E \to B</math> जिसमें कुछ [[होमोटॉपी सिद्धांत]] है | फाइबर बंडलों के साथ समरूपता-सैद्धांतिक गुण समान हैं। विशेष रूप से, हल्की तकनीकी धारणाओं के तहत एक फाइबर बंडल में हमेशा [[होमोटॉपी उठाने की संपत्ति]] या होमोटॉपी को कवर करने वाली संपत्ति होती है (देखें {{harvtxt|Steenrod|1951|loc=11.7}} ब्योरा हेतु)। यह एक फाइब्रेशन की परिभाषित संपत्ति है। | * टोपोलॉजी में, एक फ़िब्रेशन एक मैपिंग है <math>\pi : E \to B</math> जिसमें कुछ [[होमोटॉपी सिद्धांत]] है | फाइबर बंडलों के साथ समरूपता-सैद्धांतिक गुण समान हैं। विशेष रूप से, हल्की तकनीकी धारणाओं के तहत एक फाइबर बंडल में हमेशा [[होमोटॉपी उठाने की संपत्ति]] या होमोटॉपी को कवर करने वाली संपत्ति होती है(देखें {{harvtxt|Steenrod|1951|loc=11.7}} ब्योरा हेतु)। यह एक फाइब्रेशन की परिभाषित संपत्ति है। | ||
* फाइबर बंडल का एक खंड एक ऐसा कार्य है जिसका आउटपुट रेंज लगातार इनपुट पर निर्भर होता है। यह संपत्ति औपचारिक रूप से [[आश्रित प्रकार]] की धारणा में पकड़ी जाती है। | * फाइबर बंडल का एक खंड एक ऐसा कार्य है जिसका आउटपुट रेंज लगातार इनपुट पर निर्भर होता है। यह संपत्ति औपचारिक रूप से [[आश्रित प्रकार]] की धारणा में पकड़ी जाती है। | ||
| Line 227: | Line 227: | ||
*राष्ट्रमंडल देशों में अंग्रेजी | *राष्ट्रमंडल देशों में अंग्रेजी | ||
*टोपोलॉजिकल संरचना | *टोपोलॉजिकल संरचना | ||
*नक्शा (गणित) | *नक्शा(गणित) | ||
*निरंतर कार्य (टोपोलॉजी) | *निरंतर कार्य(टोपोलॉजी) | ||
*विशेषण समारोह | *विशेषण समारोह | ||
*प्रमुख बंडल | *प्रमुख बंडल | ||
*अनुभाग (फाइबर बंडल) | *अनुभाग(फाइबर बंडल) | ||
*गोलाकार बंडल | *गोलाकार बंडल | ||
*अनुमान | *अनुमान | ||
*निरंतर (टोपोलॉजी) | *निरंतर(टोपोलॉजी) | ||
*सबस्पेस टोपोलॉजी | *सबस्पेस टोपोलॉजी | ||
*preimage | *preimage | ||
| Line 251: | Line 251: | ||
*समतुल्य | *समतुल्य | ||
*अलग करने योग्य कई गुना | *अलग करने योग्य कई गुना | ||
*निमज्जन (गणित) | *निमज्जन(गणित) | ||
*उचित नक्शा | *उचित नक्शा | ||
*टोरसर (बीजीय ज्यामिति) | *टोरसर(बीजीय ज्यामिति) | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
* [https://web.archive.org/web/20040808115056/http://planetmath.org/encyclopedia/FiberBundle.html Fiber Bundle], PlanetMath | * [https://web.archive.org/web/20040808115056/http://planetmath.org/encyclopedia/FiberBundle.html Fiber Bundle], PlanetMath | ||
Revision as of 01:16, 10 December 2022
गणित और विशेष रूप से टोपोलॉजी में, एक फाइबर बंडल(या राष्ट्रमंडल राष्ट्रों में अंग्रेजी में: फाइबर बंडल) एक अंतराल(गणित) है जो है स्थानीय तौर पर एक उत्पाद स्थान, लेकिन व्यापक रूप से एक अलग सामयिक संरचना हो सकती है। विशेष रूप से, एक स्थान के बीच समानता और एक उत्पाद स्थान एक सतत कार्य(टोपोलॉजी) विशेषण कार्य मानचित्र(गणित) का उपयोग करके परिभाषित किया गया है, कि के छोटे क्षेत्रों में के संबंधित क्षेत्रों से प्रक्षेपण की तरह ही व्यवहार करता है प्रति नक्शा बंडल का प्रक्षेपण या आप्लावन(गणित) कहलाता है, इसे बंडल की संरचना का भाग माना जाता है। अंतराल फाइबर बंडल के कुल स्थान के रूप में जाना जाता है, आधार स्थान के रूप में, और फाइबर के रूप में।
'साधारण' मामले में, सिर्फ और नक्शा उत्पाद स्थान से पहले कारक तक केवल प्रक्षेपण है। इसे साधारण बंडल कहा जाता है। गैर-साधारण फाइबर बंडलों के उदाहरणों में मोबियस स्ट्रिप और क्लेन की बोतल, साथ ही असतहीय अंतराल को कवर करना सम्मिलित हैं। फाइबर बंडल, जैसे विविध के स्पर्शरेखा बंडल और अन्य अधिक सामान्य वेक्टर बंडल , मुख्य बंडल के रूप में अंतर ज्यामिति और अंतर टोपोलॉजी में महत्वपूर्ण भूमिका निभाते हैं।
प्रक्षेप मानचित्र के साथ यात्रा करने वाले फाइबर बंडलों के कुल स्थानों के बीच मैपिंग को बंडल नक्शा्स के रूप में जाना जाता है, और फाइबर बंडलों की श्रेणी ऐसे मैपिंग के संबंध में एक श्रेणी सिद्धांत बनाती है। बेस स्पेस से ही एक बंडल मैप(प्रोजेक्शन के रूप में आइडेंटिटी मैपिंग के साथ)। का एक भाग(फाइबर बंडल) कहलाता है फाइबर बंडलों को कई तरीकों से विशिष्ट किया जा सकता है, जिनमें से सबसे आम है कि स्थानीय साधारण पैच के बीच संक्रमण मानचित्र एक निश्चित टोपोलॉजिकल समूह में होते हैं, जिसे संरचना समूह के रूप में जाना जाता है, जो फाइबर पर कार्य करता है। .
इतिहास
टोपोलॉजी में, फाइबर(जर्मन: फेजर) और फाइबर स्पेस(गेफसेर राउम) शब्द पहली बार 1933 में हर्बर्ट सीफर्ट के एक पेपर में दिखाई दिए,[1][2] लेकिन उनकी परिभाषाएँ एक विशेष मामले तक ही सीमित हैं। हालांकि, फाइबर स्पेस की वर्तमान अवधारणा से मुख्य अंतर यह था कि सीफर्ट के लिए जिसे अब फाइबर(टोपोलॉजिकल) स्पेस ई का बेस स्पेस(टोपोलॉजिकल स्पेस) कहा जाता है, संरचना का हिस्सा नहीं था, लेकिन इसे 'ई' के भागफल स्थान के रूप में प्राप्त किया गया है। फाइबर स्पेस की पहली परिभाषा हस्लर व्हिटनी ने 1935 में दी थी [3] स्फीयर स्पेस नाम के तहत, लेकिन 1940 में व्हिटनी ने नाम बदलकर स्फीयर बंडल कर दिया।[4] फाइबर वाले रिक्त स्थान का सिद्धांत, जिनमें से वेक्टर बंडल, प्रिंसिपल बंडल, टोपोलॉजिकल कंपन और फाइबर कई गुना एक विशेष मामला है, को सीफर्ट, हेंज हॉफ, जैक्स फेल्डबाउ, के लिए जिम्मेदार ठहराया गया है।[5] व्हिटनी, नॉर्मन स्टीनरोड, चार्ल्स एह्रेसमैन,[6][7][8] जीन पियरे सेरे,[9] और दूसरे।
1935-1940 की अवधि में फाइबर बंडल अध्ययन का अपना उद्देश्य बन गया। व्हिटनी की रचनाओं में पहली सामान्य परिभाषा सामने आई।[10] व्हिटनी एक गोले के बंडल की अधिक विशेष धारणा के अपने अध्ययन से फाइबर बंडल की सामान्य परिभाषा पर आया,[11] वह एक फाइबर बंडल है जिसका फाइबर मनमाना आयाम का एक गोला है।[12]
औपचारिक परिभाषा
एक फाइबर बंडल एक संरचना है कहाँ पे तथा टोपोलॉजिकल रिक्त स्थान हैं और एक सतत(टोपोलॉजी) प्रक्षेपण है जो नीचे उल्लिखित स्थानीय साधारणता की स्थिति को संतुष्ट करता है। अंतराल कहा जाता हैbase spaceबंडल का, total space, तथा fiber. नक्शा कहा जाता हैprojection map(याbundle projection). हम आधार स्थान के बाद क्या मानेंगे जुड़ा हुआ स्थान है।
हमें इसकी आवश्यकता प्रत्येक के लिए है , एक खुला पड़ोस(टोपोलॉजी) है का (जिसे एक साधारण पड़ोस कहा जाएगा) ऐसा है कि एक होमियोमोर्फिज्म है (कहाँ पे उप-स्थान टोपोलॉजी दी गई है, और उत्पाद स्थान है) इस तरह से पहले कारक पर प्रक्षेपण से सहमत हैं। अर्थात्, निम्नलिखित आरेख को क्रमविनिमेय आरेख होना चाहिए:
[[image:Fibre bundle local trivial.svg|लोकल ट्रिवियालिटी कंडीशन|230px
कहाँ पे प्राकृतिक प्रक्षेपण है और एक होमियोमॉर्फिज्म है। सभी का सेट ए कहा जाता हैlocal trivializationबंडल का।
इस प्रकार किसी के लिए , पूर्व चित्र के लिए होमियोमॉर्फिक है (चूंकि यह सच है ) और इसे फाइबर ओवर कहा जाता है हर फाइबर बंडल एक खुला नक्शा है, क्योंकि उत्पादों के अनुमान खुले नक्शे हैं। इसलिए मानचित्र द्वारा निर्धारित भागफल टोपोलॉजी वहन करती है एक फाइबर बंडल अक्सर निरूपित किया जाता है
-
(1)
कि, एक संक्षिप्त सटीक अनुक्रम के अनुरूप, यह इंगित करता है कि कौन सा स्थान फाइबर, कुल स्थान और आधार स्थान है, साथ ही कुल से आधार स्थान तक का नक्शा।
एsmooth fiber bundleचिकनी कई गुना की श्रेणी(गणित) में एक फाइबर बंडल है। वह है, तथा चिकने मैनिफोल्ड होने की आवश्यकता है और ऊपर दिए गए सभी कार्यों को सुचारू मानचित्र बनाने की आवश्यकता है।
उदाहरण
साधारण बंडल
होने देना और जाने पहले कारक पर प्रक्षेपण हो। फिर एक फाइबर बंडल है(का ) ऊपर यहां न केवल स्थानीय रूप से एक उत्पाद है बल्कि विश्व स्तर पर एक है। ऐसे किसी फाइबर बंडल को 'कहा जाता है।trivial bundle. अनुबंधित स्थान स.ग.-जटिल पर कोई भी फाइबर बंडल साधारण है।
गैर-साधारण बंडल
मोबियस स्ट्रिप
शायद एक गैर-साधारण बंडल का सबसे सरल उदाहरण मोबियस पट्टी है। इसमें एक वृत्त होता है जो आधार के रूप में पट्टी के केंद्र के साथ लंबाई में चलता है और फाइबर के लिए एक लाइन खंड , इसलिए मोबियस पट्टी वृत्त के ऊपर रेखा खंड का एक बंडल है। एक पड़ोस(गणित) का (कहाँ पे ) एक गोलाकार चाप है; तस्वीर में, यह वर्गों में से एक की लंबाई है। छवि(गणित) तस्वीर में पट्टी का एक(कुछ मुड़ा हुआ) टुकड़ा है जो चार वर्ग चौड़ा और एक लंबा है(यानी वे सभी बिंदु जो प्रोजेक्ट करते हैं ).
एक होमियोमोर्फिज्म( में § Formal definition) मौजूद है जो कि प्रीइमेज को मैप करता है (साधारण पड़ोस) एक सिलेंडर के एक टुकड़े के लिए: घुमावदार, लेकिन मुड़ नहीं। यह जोड़ी स्थानीय रूप से पट्टी को साधारण बनाती है। इसी साधारण बंडल एक सिलेंडर(ज्यामिति) होगा, लेकिन मोबियस पट्टी में एक समग्र मोड़ है। यह मोड़ विश्व स्तर पर ही दिखाई देता है; स्थानीय रूप से मोबियस स्ट्रिप और सिलेंडर समान हैं(दोनों में से एक ही ऊर्ध्वाधर कट बनाने से समान स्थान मिलता है)।
क्लेन बोतल
क्लेन बोतल एक समान गैर-साधारण बंडल है, जिसे दूसरे सर्कल पर एक मुड़ सर्कल बंडल के रूप में देखा जा सकता है। संबंधित गैर-मुड़(साधारण) बंडल 2-टोरस्र्स है, .
| [[File:KleinBottle-01.png|thumb|120px|The Klein bottle immersed in three-dimensional space.]] | File:Torus.png A torus. |
कवरिंग नक्शा
एक कवरिंग मैप एक फाइबर बंडल है जैसे कि बंडल प्रोजेक्शन एक स्थानीय होमोमोर्फिज्म है। यह इस प्रकार है कि फाइबर एक असतत स्थान है।
वेक्टर और प्रमुख बंडल
फाइबर बंडलों का एक विशेष वर्ग, जिसे वेक्टर बंडल कहा जाता है, वे हैं जिनके फाइबर वेक्टर रिक्त स्थान हैं(वेक्टर बंडल के रूप में अर्हता प्राप्त करने के लिए बंडल का संरचना समूह - नीचे देखें - एक सामान्य रैखिक समूह होना चाहिए)। सदिश बंडलों के महत्वपूर्ण उदाहरणों में स्पर्शरेखा बंडल और चिकने मैनिफोल्ड के कोटेंगेंट बंडल सम्मिलित हैं। किसी भी वेक्टर बंडल से, आधार(गणित) के फ्रेम बंडल का निर्माण किया जा सकता है, जो एक प्रमुख बंडल है(नीचे देखें)।
फाइबर बंडलों का एक अन्य विशेष वर्ग, जिसे प्रमुख बंडल कहा जाता है, वे बंडल होते हैं जिनके तंतुओं पर एक समूह द्वारा एक स्वतंत्र और संक्रमणीय समूह क्रिया(गणित) होती है। दिया जाता है, ताकि प्रत्येक फाइबर एक प्रमुख सजातीय स्थान हो। बंडल को अक्सर समूह के साथ प्रिंसिपल के रूप में संदर्भित करके निर्दिष्ट किया जाता है -बंडल। समूह बंडल का संरचना समूह भी है। एक समूह प्रतिनिधित्व दिया का एक वेक्टर स्थान पर , एक वेक्टर बंडल के साथ एक संरचना समूह के रूप में निर्मित किया जा सकता है, जिसे संबंधित बंडल के रूप में जाना जाता है।
क्षेत्र बंडल
स्फेयर बंडल एक फाइबर बंडल है जिसका फाइबर एक हाइपरस्फेयर|एन-स्फीयर है। एक वेक्टर बंडल दिया गया एक मीट्रिक टेंसर के साथ(जैसे कि रीमैनियन कई गुना के लिए स्पर्शरेखा बंडल) कोई संबंधित इकाई क्षेत्र बंडल का निर्माण कर सकता है, जिसके लिए एक बिंदु पर फाइबर में सभी यूनिट वैक्टर का सेट है . जब प्रश्न में सदिश बंडल स्पर्शरेखा बंडल है , इकाई गोले के बंडल को इकाई स्पर्शरेखा बंडल के रूप में जाना जाता है।
एक गोले के बंडल को आंशिक रूप से उसके यूलर वर्ग द्वारा चित्रित किया जाता है, जो कि एक डिग्री है बंडल के कुल स्थान में सह-समरूपता वर्ग। यदि स्फेयर बंडल को एक सर्कल बंडल कहा जाता है और यूलर वर्ग पहले चेर्न वर्ग के बराबर होता है, जो बंडल की टोपोलॉजी को पूरी तरह से चित्रित करता है। किसी के लिए , एक बंडल के यूलर वर्ग को देखते हुए, गाइसिन अनुक्रम नामक एक लंबे सटीक अनुक्रम का उपयोग करके इसके कोहोलॉजी की गणना कर सकता है।
मैपिंग टोरी
यदि एक टोपोलॉजिकल स्पेस है और एक होमोमोर्फिज्म है तो मानचित्रण टोरस फाइबर के साथ सर्कल के ऊपर एक फाइबर बंडल की एक प्राकृतिक संरचना है सतहों के होमोमोर्फिज्म के मानचित्रण टोरी का 3-कई गुना|3-मैनिफोल्ड टोपोलॉजी में विशेष महत्व है।
भागफल स्थान
यदि एक सामयिक समूह है और एक बंद उपसमूह है, तो कुछ परिस्थितियों में भागफल स्थान(टोपोलॉजी) भागफल मानचित्र के साथ एक फाइबर बंडल है, जिसका फाइबर टोपोलॉजिकल स्पेस है . के लिए एक आवश्यक और पर्याप्त शर्त() एक फाइबर बंडल बनाने के लिए मैपिंग है #Sections|स्थानीय क्रॉस-सेक्शन स्वीकार करता है (Steenrod 1951, §7).
सबसे सामान्य स्थितियाँ जिसके तहत भागफल मानचित्र स्थानीय क्रॉस-सेक्शन को स्वीकार करेगा, ज्ञात नहीं है, हालाँकि यदि एक झूठ समूह है और एक बंद उपसमूह(और इस प्रकार बंद उपसमूह प्रमेय | कार्टन की प्रमेय द्वारा एक लाइ उपसमूह), तो भागफल नक्शा एक फाइबर बंडल है। इसका एक उदाहरण हॉफ फिब्रेशन है, , जो गोले के ऊपर एक फाइबर बंडल है जिसका कुल स्थान है . झूठ समूहों के दृष्टिकोण से, विशेष एकात्मक समूह के साथ पहचाना जा सकता है . विकर्ण मेट्रिसेस का एबेलियन उपसमूह सर्कल समूह के लिए आइसोमोर्फिक है , और भागफल गोले के लिए डिफियोमॉर्फिक है।
अधिक सामान्यतः, यदि कोई सामयिक समूह है और एक बंद उपसमूह जो तब एक झूठ समूह भी होता है एक फाइबर बंडल है।
खंड
एsection(या क्रॉस सेक्शन) एक फाइबर बंडल का एक सतत नक्शा है ऐसा है कि बी में सभी एक्स के लिए। चूंकि बंडलों में सामान्य रूप से विश्व स्तर पर परिभाषित खंड नहीं होते हैं, सिद्धांत के उद्देश्यों में से एक उनके अस्तित्व के लिए खाता है। एक खंड के अस्तित्व के लिए बाधा सिद्धांत को अक्सर सह-विज्ञान वर्ग द्वारा मापा जा सकता है, जो बीजगणितीय टोपोलॉजी में विशेषता वर्गों के सिद्धांत की ओर जाता है।
सबसे प्रसिद्ध उदाहरण बालों वाली गेंद प्रमेय है, जहां यूलर वर्ग 2-गोले के स्पर्शरेखा बंडल के लिए बाधा है, जो कहीं नहीं गायब हो रहा है।
अक्सर कोई केवल स्थानीय रूप से अनुभागों को परिभाषित करना चाहता है(विशेषकर जब वैश्विक खंड मौजूद नहीं होते हैं)। फाइबर बंडल का 'स्थानीय खंड' एक निरंतर मानचित्र है जहाँ U, B में एक विवृत्त समुच्चय है U में सभी x के लिए। यदि एक स्थानीय साधारणीकरण चार्ट है तो यू पर स्थानीय खंड हमेशा मौजूद होते हैं। ऐसे खंड निरंतर मानचित्रों के साथ 1-1 पत्राचार में हैं . अनुभाग एक शीफ(गणित) बनाते हैं।
संरचना समूह और संक्रमण कार्य
फाइबर बंडल अक्सर समरूपता के एक समूह(गणित) के साथ आते हैं जो अतिव्यापी स्थानीय साधारणीकरण चार्ट के बीच मिलान की स्थिति का वर्णन करते हैं। विशेष रूप से, G को एक सामयिक समूह होने दें जो बाईं ओर फाइबर स्पेस F पर लगातार समूह क्रिया(गणित) करता है। हम कुछ भी नहीं खोते हैं यदि हम चाहते हैं कि जी एफ पर वफादार कार्रवाई करे ताकि इसे एफ के होमोमोर्फिज्म के समूह के रूप में माना जा सके। बंडल के लिए ए 'जी-एटलस(टोपोलॉजी)' स्थानीय साधारणीकरण चार्ट का एक सेट है ऐसा कि किसी के लिए अतिव्यापी चार्ट के लिए तथा कार्यक्रम
चिकनी श्रेणी में, एक जी-बंडल एक चिकना फाइबर बंडल है जहां जी एक झूठ समूह है और एफ पर संबंधित कार्रवाई सुचारू है और संक्रमण कार्य सभी चिकने नक्शे हैं।
संक्रमण कार्य करता है निम्नलिखित शर्तों को पूरा करें
तीसरी शर्त ट्रिपल ओवरलैप्स यू पर लागू होती हैi∩ यूj∩ यूkऔर इसे 'चेक कोहोमोलॉजी#कोसाइकल कंडीशन' कहा जाता है(चेक कोहोमोलॉजी देखें)। इसका महत्व यह है कि संक्रमण कार्य फाइबर बंडल को निर्धारित करता है(यदि कोई सीच चक्रीय स्थिति मानता है)।
एक प्रमुख बंडल | प्रिंसिपल जी-बंडल एक जी-बंडल है जहां फाइबर एफ स्वयं जी की बाईं क्रिया के लिए एक प्रमुख सजातीय स्थान है(समरूप रूप से, कोई यह निर्दिष्ट कर सकता है कि फाइबर एफ पर जी की क्रिया मुक्त और संक्रामक है, अर्थात ग्रुप एक्शन(गणित) #नियमित)। इस मामले में, अक्सर G के साथ F की पहचान करना सुविधा की बात है और इसलिए मुख्य बंडल पर G की(दाएं) क्रिया प्राप्त करें।
बंडल मैप्स
दो फाइबर बंडलों के बीच मानचित्रण की धारणा होना उपयोगी है। मान लीजिए कि M और N आधार स्थान हैं, और तथा क्रमशः एम और एन पर फाइबर बंडल हैं। ए 'bundle mapयाbundle morphismनिरंतर की एक जोड़ी के होते हैं[13] कार्यों
संरचना समूह जी के साथ फाइबर बंडलों के लिए और जिनके कुल रिक्त स्थान(दाएं) जी-स्पेस(जैसे कि एक प्रमुख बंडल) हैं, फाइबर पर जी-समरूप होने के लिए बंडल मोर्फिज्म की भी आवश्यकता होती है। इस का मतलब है कि एक जी-स्पेस से दूसरे जी-स्पेस में जी-मॉर्फिज्म भी है, यानी, सभी के लिए तथा
यदि आधार स्थान M और N मेल खाते हैं, तो फाइबर बंडल से M के ऊपर एक बंडल मोर्फिज्म होता है प्रति एक नक्शा है ऐसा है कि इसका मतलब है कि बंडल मैप एम की पहचान को कवर करता है। यानी, और आरेख यात्रा करता है
मान लीजिए कि दोनों तथा एक ही बेस स्पेस एम पर परिभाषित हैं। एक बंडल आइसोमोर्फिज्म एक बंडल मैप है के बीच तथा ऐसा है कि और ऐसा है एक होमियोमॉर्फिज्म भी है।[14]
विभेदक फाइबर बंडल
अलग-अलग मैनिफोल्ड्स की श्रेणी में, फाइबर बंडल स्वाभाविक रूप से एक से दूसरे मैनिफोल्ड के जलमग्न(गणित) के रूप में उत्पन्न होते हैं। हर(अलग-अलग) डुबकी नहीं एक अलग करने योग्य मैनिफोल्ड एम से दूसरे अलग करने योग्य कई गुना एन एक अलग फाइबर बंडल को जन्म देता है। एक बात के लिए, नक्शा विशेषण होना चाहिए, और फाइबरयुक्त मैनिफोल्ड कहा जाता है। हालाँकि, यह आवश्यक शर्त काफी पर्याप्त नहीं है, और आम उपयोग में कई तरह की पर्याप्त शर्तें हैं।
यदि एम और एन कॉम्पैक्ट और जुड़े हुए हैं, तो कोई सबमर्सिबल एक फाइबर बंडल को इस अर्थ में जन्म देता है कि प्रत्येक फाइबर के लिए एक फाइबर स्पेस F डिफियोमॉर्फिक है जैसे कि एक फाइबर बंडल है।(सरजेक्टिविटी ऑफ इस मामले में पहले से दी गई मान्यताओं का अनुसरण करता है।) अधिक सामान्यतः, कॉम्पैक्टनेस की धारणा को शिथिल किया जा सकता है यदि डूबना एक विशेषण उचित मानचित्र माना जाता है, जिसका अर्थ है एन के प्रत्येक कॉम्पैक्ट सबसेट के के लिए कॉम्पैक्ट है। एक और पर्याप्त स्थिति, के कारण Ehresmann (1951), क्या वह है एम और एन डिफरेंशियल मैनिफोल्ड्स के साथ एक विशेषण सबमर्सियन(गणित) है जैसे कि प्रीइमेज सभी के लिए कॉम्पैक्ट सेट और कनेक्शन(गणित) है फिर एक संगत फाइबर बंडल संरचना को स्वीकार करता है (Michor 2008, §17).
सामान्यीकरण
- एक बंडल(गणित) की धारणा गणित में कई और श्रेणियों पर लागू होती है, स्थानीय साधारणता की स्थिति को उचित रूप से संशोधित करने की कीमत पर; सीएफ प्रिंसिपल सजातीय स्थान और टॉर्सर(बीजगणितीय ज्यामिति)।
- टोपोलॉजी में, एक फ़िब्रेशन एक मैपिंग है जिसमें कुछ होमोटॉपी सिद्धांत है | फाइबर बंडलों के साथ समरूपता-सैद्धांतिक गुण समान हैं। विशेष रूप से, हल्की तकनीकी धारणाओं के तहत एक फाइबर बंडल में हमेशा होमोटॉपी उठाने की संपत्ति या होमोटॉपी को कवर करने वाली संपत्ति होती है(देखें Steenrod (1951, 11.7) ब्योरा हेतु)। यह एक फाइब्रेशन की परिभाषित संपत्ति है।
- फाइबर बंडल का एक खंड एक ऐसा कार्य है जिसका आउटपुट रेंज लगातार इनपुट पर निर्भर होता है। यह संपत्ति औपचारिक रूप से आश्रित प्रकार की धारणा में पकड़ी जाती है।
यह भी देखें
- एफ़िन बंडल
- बीजगणित बंडल
- विशेषण वर्ग
- कवरिंग मैप
- समतुल्य बंडल
- फाइबरयुक्त कई गुना
- कंपन
- गेज सिद्धांत
- हॉपफ बंडल
- मैं-बंडल
- प्राकृतिक बंडल
- प्रधान बंडल
- प्रोजेक्टिव बंडल
- पुलबैक बंडल
- क्वासिफीब्रेशन
- यूनिवर्सल बंडल
- वेक्टर बंडल
टिप्पणियाँ
- ↑ Seifert, Herbert (1933). "त्रि-आयामी फाइबरयुक्त रिक्त स्थान की टोपोलॉजी". Acta Mathematica. 60: 147–238. doi:10.1007/bf02398271.
- ↑ "Topologie Dreidimensionaler Gefaserter Räume" on Project Euclid.
- ↑ Whitney, Hassler (1935). "गोलाकार स्थान". Proceedings of the National Academy of Sciences of the United States of America. 21 (7): 464–468. Bibcode:1935PNAS...21..464W. doi:10.1073/pnas.21.7.464. PMC 1076627. PMID 16588001.
- ↑ Whitney, Hassler (1940). "गोलाकार बंडलों के सिद्धांत पर". Proceedings of the National Academy of Sciences of the United States of America. 26 (2): 148–153. Bibcode:1940PNAS...26..148W. doi:10.1073/pnas.26.2.148. PMC 1078023. PMID 16588328.
- ↑ Feldbau, Jacques (1939). "फाइबर रिक्त स्थान के वर्गीकरण पर". Comptes rendus de l'Académie des Sciences. 208: 1621–1623.
- ↑ Ehresmann, Charles (1947). "बंडल रिक्त स्थान के सिद्धांत पर". Coll. Top. Alg. Paris. C.N.R.S.: 3–15.
- ↑ Ehresmann, Charles (1947). "अलग-अलग बंडल किए गए स्थानों पर". Comptes rendus de l'Académie des Sciences. 224: 1611–1612.
- ↑ Ehresmann, Charles (1955). "अलग-अलग बंडल किए गए स्थान का विस्तार". Comptes rendus de l'Académie des Sciences. 240: 1755–1757.
- ↑ Serre, Jean-Pierre (1951). "बंडल्ड स्पेस का सिंगुलर होमोलॉजी। ऐप्स". Annals of Mathematics. 54 (3): 425–505. doi:10.2307/1969485. JSTOR 1969485.
- ↑ See Steenrod (1951, Preface)
- ↑ In his early works, Whitney referred to the sphere bundles as the "sphere-spaces". See, for example:
- Whitney, Hassler (1935). "Sphere spaces". Proc. Natl. Acad. Sci. 21 (7): 462–468. Bibcode:1935PNAS...21..464W. doi:10.1073/pnas.21.7.464. PMC 1076627. PMID 16588001.
- Whitney, Hassler (1937). "Topological properties of differentiable manifolds". Bull. Amer. Math. Soc. 43 (12): 785–805. doi:10.1090/s0002-9904-1937-06642-0.
- ↑ Whitney, Hassler (1940). "On the theory of sphere bundles" (PDF). Proc. Natl. Acad. Sci. 26 (2): 148–153. Bibcode:1940PNAS...26..148W. doi:10.1073/pnas.26.2.148. PMC 1078023. PMID 16588328.
- ↑ Depending on the category of spaces involved, the functions may be assumed to have properties other than continuity. For instance, in the category of differentiable manifolds, the functions are assumed to be smooth. In the category of algebraic varieties, they are regular morphisms.
- ↑ Or is, at least, invertible in the appropriate category; e.g., a diffeomorphism.
संदर्भ
- Steenrod, Norman (1951), The Topology of Fibre Bundles, Princeton University Press, ISBN 978-0-691-08055-0
- Steenrod, Norman (April 5, 1999). The Topology of Fibre Bundles. Princeton Mathematical Series. Vol. 14. Princeton, N.J.: Princeton University Press. ISBN 978-0-691-00548-5. OCLC 40734875.
- Bleecker, David (1981), Gauge Theory and Variational Principles, Reading, Mass: Addison-Wesley publishing, ISBN 978-0-201-10096-9
- Ehresmann, Charles. "Les connexions infinitésimales dans un espace fibré différentiable". Colloque de Topologie (Espaces fibrés), Bruxelles, 1950. Georges Thone, Liège; Masson et Cie., Paris, 1951. pp. 29–55.
- Husemoller, Dale (1994), Fibre Bundles, Springer Verlag, ISBN 978-0-387-94087-8
- Michor, Peter W. (2008), Topics in Differential Geometry, Graduate Studies in Mathematics, vol. 93, Providence: American Mathematical Society, ISBN 978-0-8218-2003-2
- Voitsekhovskii, M.I. (2001) [1994], "Fibre space", Encyclopedia of Mathematics, EMS Press
इस पेज में लापता आंतरिक लिंक की सूची
- अंक शास्त्र
- राष्ट्रमंडल देशों में अंग्रेजी
- टोपोलॉजिकल संरचना
- नक्शा(गणित)
- निरंतर कार्य(टोपोलॉजी)
- विशेषण समारोह
- प्रमुख बंडल
- अनुभाग(फाइबर बंडल)
- गोलाकार बंडल
- अनुमान
- निरंतर(टोपोलॉजी)
- सबस्पेस टोपोलॉजी
- preimage
- लघु सटीक अनुक्रम
- चिकना कई गुना
- चिकना नक्शा
- सिकुड़ा हुआ स्थान
- घेरा
- रेखा खंड
- सदिश स्थल
- संबद्ध बंडल
- लंबा सटीक क्रम
- मंडल समूह
- खुला सेट
- श्रद्धेय क्रिया
- समतुल्य
- अलग करने योग्य कई गुना
- निमज्जन(गणित)
- उचित नक्शा
- टोरसर(बीजीय ज्यामिति)
बाहरी संबंध
- Fiber Bundle, PlanetMath
- Rowland, Todd. "Fiber Bundle". MathWorld.
- Making John Robinson's Symbolic Sculpture `Eternity'
- Sardanashvily, Gennadi, Fibre bundles, jet manifolds and Lagrangian theory. Lectures for theoreticians, arXiv:0908.1886