फाइबर बंडल: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 4: Line 4:
{{Use mdy dates|date=March 2021}}
{{Use mdy dates|date=March 2021}}


[[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> फाइबर के रूप में।
[[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>B \times F,</math> और मानचित्र <math>\pi</math> उत्पाद स्थान से पहले कारक तक केवल प्रक्षेपण है। इसे साधारण बंडल कहा जाता है। गैर-साधारण फाइबर बंडलों के उदाहरणों में मोबियस स्ट्रिप और [[क्लेन की बोतल]], साथ ही असतहीय [[अंतरिक्ष को कवर करना|अंतराल को कवर करना]] सम्मिलित हैं। फाइबर बंडल, जैसे [[विविध]] के [[स्पर्शरेखा बंडल]] और अन्य अधिक सामान्य [[वेक्टर बंडल]] , मुख्य बंडल के रूप में [[अंतर ज्यामिति]] और [[अंतर टोपोलॉजी]] में महत्वपूर्ण भूमिका निभाते हैं।


प्रक्षेप मानचित्र के साथ यात्रा करने वाले फाइबर बंडलों के कुल स्थानों के बीच मैपिंग को [[बंडल नक्शा]]्स के रूप में जाना जाता है, और फाइबर बंडलों की श्रेणी ऐसे मैपिंग के संबंध में एक [[श्रेणी सिद्धांत]] बनाती है। बेस स्पेस से ही एक बंडल मैप(प्रोजेक्शन के रूप में आइडेंटिटी मैपिंग के साथ)। <math>E</math> का एक भाग(फाइबर बंडल) कहलाता है <math>E.</math> फाइबर बंडलों को कई तरीकों से विशिष्ट किया जा सकता है, जिनमें से सबसे आम है कि स्थानीय साधारण पैच के बीच संक्रमण मानचित्र एक निश्चित [[टोपोलॉजिकल समूह]] में होते हैं, जिसे संरचना समूह के रूप में जाना जाता है, जो फाइबर पर कार्य करता है। <math>F</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> लेकिन उनकी परिभाषाएँ एक विशेष परिस्थिति तक ही सीमित हैं। हालांकि, फाइबर स्पेस की वर्तमान अवधारणा से मुख्य अंतर यह था कि सीफर्ट के लिए जिसे अब फाइबर(टोपोलॉजिकल) स्पेस ''E'' का बेस स्पेस(टोपोलॉजिकल स्पेस) कहा जाता है, वह संरचना का हिस्सा नहीं था, लेकिन इसे 'E' के भागफल स्थान के रूप में प्राप्त किया गया है। फाइबर स्पेस की पहली परिभाषा [[हस्लर व्हिटनी]] ने 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> और दूसरे वैज्ञानिकों ने इसका समर्थन किया।


1935-1940 की अवधि में फाइबर बंडल अध्ययन का अपना उद्देश्य बन गया। व्हिटनी की रचनाओं में पहली सामान्य परिभाषा सामने आई।<ref>See {{harvtxt|Steenrod|1951|loc=Preface}}</ref>
1935-1940 की अवधि में फाइबर बंडल अध्ययन का अपना उद्देश्य बन गया। व्हिटनी की रचनाओं में पहली सामान्य परिभाषा सामने आई।<ref>See {{harvtxt|Steenrod|1951|loc=Preface}}</ref>
Line 45: Line 45:
  | doi-access = free
  | doi-access = free
  }}
  }}
</ref> वह एक फाइबर बंडल है जिसका फाइबर मनमाना आयाम का एक गोला है।<ref>
</ref> वह एक फाइबर बंडल है जिसका फाइबर स्वइच्छित आयाम का एक गोला है।<ref>
{{cite journal
{{cite journal
  | last = Whitney
  | last = Whitney
Line 67: Line 67:
== औपचारिक परिभाषा ==
== औपचारिक परिभाषा ==


एक फाइबर बंडल एक संरचना है <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>(E,\, B,\, \pi,\, F),</math> जहाँ पर <math>E, B,</math> तथा <math>F</math> [[टोपोलॉजिकल रिक्त स्थान]] हैं और <math>\pi : E \to B</math> एक सतत(टोपोलॉजी) प्रक्षेपण है जो नीचे उल्लिखित स्थानीय साधारणता की स्थिति को संतुष्ट करता है, अंतराल <math>B</math> कहा जाता है आधार स्पेस बंडल का, <math>E</math> {{visible anchor|संपूर्ण स्पेस}}, तथा <math>F</math> {{visible anchor|फाइबर}}. मानचित्र <math>\pi</math> कहा जाता है। {{visible anchor|प्रक्षेपण मानचित्र}}(या {{visible anchor|बण्डल प्रक्षेपण}}) को आधार स्थान के बाद यह मानते हैं कि <math>B</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> पहले कारक पर प्रक्षेपण से सहमत हैं। अर्थात्, निम्नलिखित आरेख को [[क्रमविनिमेय आरेख]] होना चाहिए:
इसकी आवश्यकता प्रत्येक <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
जहाँ पर <math>\operatorname{proj}_1 : U \times F \to U</math> प्राकृतिक प्रक्षेपण है और <math>\varphi : \pi^{-1}(U) \to U \times F</math> एक होमियोमॉर्फिज्म है। सभी {{visible anchor|सार्वजनिक तुच्छीकरण}} बंडल का सम्मुचय <math>\left\{\left(U_i,\, \varphi_i\right)\right\}</math> A कहा जाता है।


कहाँ पे <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>(E,\, B,\, \pi,\, F)</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> अक्सर निरूपित किया जाता है
{{NumBlk
{{NumBlk
|:| <math>\begin{matrix}
|:| <math>\begin{matrix}
Line 84: Line 81:
\end{matrix}</math>
\end{matrix}</math>
  | {{EquationRef|1}}
  | {{EquationRef|1}}
}} कि, एक संक्षिप्त सटीक अनुक्रम के अनुरूप, यह इंगित करता है कि कौन सा स्थान फाइबर, कुल स्थान और आधार स्थान है, साथ ही कुल से आधार स्थान तक का नक्शा।
}} एक संक्षिप्त सटीक अनुक्रम के अनुरूप, यह इंगित करता है कि कौन सा स्थान फाइबर, कुल स्थान और आधार स्थान है, साथ ही कुल से आधार स्थान तक का मानचित्र।


ए{{visible anchor|smooth fiber bundle}}चिकनी कई गुना की [[श्रेणी (गणित)|श्रेणी(गणित)]] में एक फाइबर बंडल है। वह है, <math>E, B,</math> तथा <math>F</math> चिकने मैनिफोल्ड होने की आवश्यकता है और ऊपर दिए गए सभी कार्यों को सुचारू मानचित्र बनाने की आवश्यकता है।
ए{{visible anchor|smooth fiber bundle}}चिकनी कई गुना की [[श्रेणी (गणित)|श्रेणी(गणित)]] में एक फाइबर बंडल है। वह है, <math>E, B,</math> तथा <math>F</math> चिकने मैनिफोल्ड होने की आवश्यकता है और ऊपर दिए गए सभी कार्यों को सुचारू मानचित्र बनाने की आवश्यकता है।
Line 98: Line 95:
==== मोबियस स्ट्रिप ====
==== मोबियस स्ट्रिप ====


[[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>).
[[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>B\times F</math> एक [[सिलेंडर (ज्यामिति)|सिलेंडर(ज्यामिति)]] होगा, लेकिन मोबियस पट्टी में एक समग्र मोड़ है। यह मोड़ विश्व स्तर पर ही दिखाई देता है; स्थानीय रूप से मोबियस स्ट्रिप और सिलेंडर समान हैं(दोनों में से एक ही ऊर्ध्वाधर कट बनाने से समान स्थान मिलता है)।
एक होमियोमोर्फिज्म(<math>\varphi</math> में {{sectionlink||Formal definition}}) मौजूद है जो कि प्रीइमेज को मैप करता है <math>U</math>(साधारण सन्निकट) एक सिलेंडर के एक टुकड़े के लिए: घुमावदार, लेकिन मुड़ नहीं। यह जोड़ी स्थानीय रूप से पट्टी को साधारण बनाती है। इसी साधारण बंडल <math>B\times F</math> एक [[सिलेंडर (ज्यामिति)|सिलेंडर(ज्यामिति)]] होगा, लेकिन मोबियस पट्टी में एक समग्र मोड़ है। यह मोड़ विश्व स्तर पर ही दिखाई देता है; स्थानीय रूप से मोबियस स्ट्रिप और सिलेंडर समान हैं(दोनों में से एक ही ऊर्ध्वाधर कट बनाने से समान स्थान मिलता है)।


==== क्लेन बोतल ====
==== क्लेन बोतल ====
Line 112: Line 109:




=== [[कवरिंग नक्शा]] ===
=== [[कवरिंग नक्शा|कवरिंग मानचित्र]] ===


एक कवरिंग मैप एक फाइबर बंडल है जैसे कि बंडल प्रोजेक्शन एक [[स्थानीय होमोमोर्फिज्म]] है। यह इस प्रकार है कि फाइबर एक [[असतत स्थान]] है।
एक कवरिंग मैप एक फाइबर बंडल है जैसे कि बंडल प्रोजेक्शन एक [[स्थानीय होमोमोर्फिज्म]] है। यह इस प्रकार है कि फाइबर एक [[असतत स्थान]] है।
Line 136: Line 133:
यदि <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 142: Line 139:
== खंड ==
== खंड ==
{{main article|Section (fiber bundle)}}
{{main article|Section (fiber bundle)}}
ए{{visible anchor|section}}(या क्रॉस सेक्शन) एक फाइबर बंडल का <math>\pi</math> एक सतत नक्शा है <math>f : B \to E</math> ऐसा है कि <math>\pi(f(x)) = x</math> बी में सभी एक्स के लिए। चूंकि बंडलों में सामान्य रूप से विश्व स्तर पर परिभाषित खंड नहीं होते हैं, सिद्धांत के उद्देश्यों में से एक उनके अस्तित्व के लिए खाता है। एक खंड के अस्तित्व के लिए [[बाधा सिद्धांत]] को अक्सर सह-विज्ञान वर्ग द्वारा मापा जा सकता है, जो [[बीजगणितीय टोपोलॉजी]] में [[विशेषता वर्ग]]ों के सिद्धांत की ओर जाता है।
ए{{visible anchor|section}}(या क्रॉस सेक्शन) एक फाइबर बंडल का <math>\pi</math> एक सतत मानचित्र है <math>f : B \to E</math> ऐसा है कि <math>\pi(f(x)) = x</math> बी में सभी एक्स के लिए। चूंकि बंडलों में सामान्य रूप से विश्व स्तर पर परिभाषित खंड नहीं होते हैं, सिद्धांत के उद्देश्यों में से एक उनके अस्तित्व के लिए खाता है। एक खंड के अस्तित्व के लिए [[बाधा सिद्धांत]] को अक्सर सह-विज्ञान वर्ग द्वारा मापा जा सकता है, जो [[बीजगणितीय टोपोलॉजी]] में [[विशेषता वर्ग]]ों के सिद्धांत की ओर जाता है।


सबसे प्रसिद्ध उदाहरण [[बालों वाली गेंद प्रमेय]] है, जहां यूलर वर्ग 2-गोले के स्पर्शरेखा बंडल के लिए बाधा है, जो कहीं नहीं गायब हो रहा है।
सबसे प्रसिद्ध उदाहरण [[बालों वाली गेंद प्रमेय]] है, जहां यूलर वर्ग 2-गोले के स्पर्शरेखा बंडल के लिए बाधा है, जो कहीं नहीं गायब हो रहा है।
Line 153: Line 150:
द्वारा दिया गया है
द्वारा दिया गया है
<math display=block>\varphi_i\varphi_j^{-1}(x,\, \xi) = \left(x,\, t_{ij}(x)\xi\right)</math>
<math display=block>\varphi_i\varphi_j^{-1}(x,\, \xi) = \left(x,\, t_{ij}(x)\xi\right)</math>
कहाँ पे <math>t_{ij} : U_i \cap U_j \to G</math> एक सतत नक्शा है जिसे ए कहा जाता है{{visible anchor|transition function}}. दो 'जी'-एटलस समकक्ष हैं यदि उनका मिलन भी एक 'जी'-एटलस है। एक ''जी''-बंडल ''जी''-एटलस के समतुल्य वर्ग के साथ एक फाइबर बंडल है। समूह 'जी' को कहा जाता है{{visible anchor|structure group}}बंडल का; भौतिकी में समान शब्द [[गेज समूह]] है।
जहाँ पर <math>t_{ij} : U_i \cap U_j \to G</math> एक सतत मानचित्र है जिसे ए कहा जाता है{{visible anchor|transition function}}. दो 'जी'-एटलस समकक्ष हैं यदि उनका मिलन भी एक 'जी'-एटलस है। एक ''जी''-बंडल ''जी''-एटलस के समतुल्य वर्ग के साथ एक फाइबर बंडल है। समूह 'जी' को कहा जाता है{{visible anchor|structure group}}बंडल का; भौतिकी में समान शब्द [[गेज समूह]] है।


चिकनी श्रेणी में, एक ''जी''-बंडल एक चिकना फाइबर बंडल है जहां ''जी'' एक झूठ समूह है और ''एफ'' पर संबंधित कार्रवाई सुचारू है और संक्रमण कार्य सभी चिकने नक्शे हैं।
चिकनी श्रेणी में, एक ''जी''-बंडल एक चिकना फाइबर बंडल है जहां ''जी'' एक झूठ समूह है और ''एफ'' पर संबंधित कार्रवाई सुचारू है और संक्रमण कार्य सभी चिकने मानचित्र हैं।


संक्रमण कार्य करता है <math>t_{ij}</math> निम्नलिखित शर्तों को पूरा करें
संक्रमण कार्य करता है <math>t_{ij}</math> निम्नलिखित शर्तों को पूरा करें
Line 163: Line 160:
तीसरी शर्त ट्रिपल ओवरलैप्स यू पर लागू होती है<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 171: Line 168:
ऐसा है कि <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>




== विभेदक फाइबर बंडल ==
== विभेदक फाइबर बंडल ==
अलग-अलग मैनिफोल्ड्स की श्रेणी में, फाइबर बंडल स्वाभाविक रूप से एक से दूसरे मैनिफोल्ड के जलमग्न(गणित) के रूप में उत्पन्न होते हैं। हर(अलग-अलग) डुबकी नहीं <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}}.


== सामान्यीकरण ==
== सामान्यीकरण ==
Line 227: Line 224:
*राष्ट्रमंडल देशों में अंग्रेजी
*राष्ट्रमंडल देशों में अंग्रेजी
*टोपोलॉजिकल संरचना
*टोपोलॉजिकल संरचना
*नक्शा(गणित)
*मानचित्र(गणित)
*निरंतर कार्य(टोपोलॉजी)
*निरंतर कार्य(टोपोलॉजी)
*विशेषण समारोह
*विशेषण समारोह
Line 239: Line 236:
*लघु सटीक अनुक्रम
*लघु सटीक अनुक्रम
*चिकना कई गुना
*चिकना कई गुना
*चिकना नक्शा
*चिकना मानचित्र
*सिकुड़ा हुआ स्थान
*सिकुड़ा हुआ स्थान
*घेरा
*घेरा
Line 247: Line 244:
*लंबा सटीक क्रम
*लंबा सटीक क्रम
*मंडल समूह
*मंडल समूह
*खुला सेट
*संवृत्त सेट
*श्रद्धेय क्रिया
*श्रद्धेय क्रिया
*समतुल्य
*समतुल्य
*अलग करने योग्य कई गुना
*अलग करने योग्य कई गुना
*निमज्जन(गणित)
*निमज्जन(गणित)
*उचित नक्शा
*उचित मानचित्र
*टोरसर(बीजीय ज्यामिति)
*टोरसर(बीजीय ज्यामिति)
== बाहरी संबंध ==
== बाहरी संबंध ==

Revision as of 08:30, 10 December 2022

Error creating thumbnail:
एक बेलनाकार कंघी शब्द फाइबर बंडल के पीछे के अंतर्ज्ञान को दर्शाता है। यह हेयरब्रश फाइबर बंडल की तरह होता है जिसमें बेस स्पेस एक सिलेंडर होता है और फाइबर(बाल खड़े) लाइन सेगमेंट होते हैं। मानचित्रण किसी भी ब्रिस्टल पर एक बिंदु लेगा और इसे सिलेंडर पर अपनी जड़ में मैप करेगा।

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

'साधारण' परिस्थिति में, सिर्फ और मानचित्र उत्पाद स्थान से पहले कारक तक केवल प्रक्षेपण है। इसे साधारण बंडल कहा जाता है। गैर-साधारण फाइबर बंडलों के उदाहरणों में मोबियस स्ट्रिप और क्लेन की बोतल, साथ ही असतहीय अंतराल को कवर करना सम्मिलित हैं। फाइबर बंडल, जैसे विविध के स्पर्शरेखा बंडल और अन्य अधिक सामान्य वेक्टर बंडल , मुख्य बंडल के रूप में अंतर ज्यामिति और अंतर टोपोलॉजी में महत्वपूर्ण भूमिका निभाते हैं।

प्रक्षेप मानचित्र के साथ यात्रा करने वाले फाइबर बंडलों के कुल स्थानों के बीच मैपिंग को बंडल मानचित्र्स के रूप में जाना जाता है, और फाइबर बंडलों की श्रेणी ऐसे मैपिंग के संबंध में एक श्रेणी सिद्धांत बनाती है। बेस स्पेस से ही एक बंडल मैप(प्रोजेक्शन के रूप में आइडेंटिटी मैपिंग के साथ)। का एक भाग(फाइबर बंडल) कहलाता है फाइबर बंडलों को कई तरीकों से विशिष्ट किया जा सकता है, जिनमें से सबसे आम है कि स्थानीय साधारण पैच के बीच संक्रमण मानचित्र एक निश्चित टोपोलॉजिकल समूह में होते हैं, जिसे संरचना समूह के रूप में जाना जाता है, जो फाइबर पर कार्य करता है। .

इतिहास

टोपोलॉजी में, फाइबर(जर्मन: फेजर) और फाइबर स्पेस(गेफसेर राउम) शब्द पहली बार 1933 में हर्बर्ट सीफर्ट के एक पृष्ठ में दिखाई दिए,[1][2] लेकिन उनकी परिभाषाएँ एक विशेष परिस्थिति तक ही सीमित हैं। हालांकि, फाइबर स्पेस की वर्तमान अवधारणा से मुख्य अंतर यह था कि सीफर्ट के लिए जिसे अब फाइबर(टोपोलॉजिकल) स्पेस E का बेस स्पेस(टोपोलॉजिकल स्पेस) कहा जाता है, वह संरचना का हिस्सा नहीं था, लेकिन इसे 'E' के भागफल स्थान के रूप में प्राप्त किया गया है। फाइबर स्पेस की पहली परिभाषा हस्लर व्हिटनी ने 1935 में दी थी [3] स्फीयर स्पेस नाम के तहत, लेकिन 1940 में व्हिटनी ने नाम परिवर्तित कर स्फीयर बंडल कर दिया।[4] फाइबर वाले रिक्त स्थान का सिद्धांत, जिनमें से वेक्टर बंडल, प्रिंसिपल बंडल, टोपोलॉजिकल कंपन और फाइबर कई गुना एक विशेष परिस्थिति है, जिसको सीफर्ट, हेंज हॉफ, जैक्स फेल्डबाउ, के लिए उत्त्तरदायी ठहराया गया है।[5] व्हिटनी, नॉर्मन स्टीनरोड, चार्ल्स एह्रेसमैन,[6][7][8] जीन पियरे सेरे,[9] और दूसरे वैज्ञानिकों ने इसका समर्थन किया।

1935-1940 की अवधि में फाइबर बंडल अध्ययन का अपना उद्देश्य बन गया। व्हिटनी की रचनाओं में पहली सामान्य परिभाषा सामने आई।[10] व्हिटनी एक गोले के बंडल की अधिक विशेष धारणा के अपने अध्ययन से फाइबर बंडल की सामान्य परिभाषा पर आया,[11] वह एक फाइबर बंडल है जिसका फाइबर स्वइच्छित आयाम का एक गोला है।[12]


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

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

इसकी आवश्यकता प्रत्येक के लिए है, एक संवृत्त सन्निकट(टोपोलॉजी) है जिसका (जिसे एक साधारण सन्निकट कहा जाएगा) ऐसा है कि वह एक होमियोमोर्फिज्म है, (जहाँ पर उप-स्थान टोपोलॉजी दी गई है, और उत्पाद स्थान है) इस तरह से पहले कारक पर प्रक्षेपण से सहमत हैं। अर्थात्, निम्नलिखित आरेख को क्रमविनिमेय आरेख होना चाहिए।

जहाँ पर प्राकृतिक प्रक्षेपण है और एक होमियोमॉर्फिज्म है। सभी सार्वजनिक तुच्छीकरण बंडल का सम्मुचय A कहा जाता है।

इस प्रकार किसी के लिए , पूर्व चित्र के लिए होमियोमॉर्फिक है, (चूंकि यह सच है ) और इसे फाइबर ओवर कहा जाता है, हर फाइबर बंडल एक संवृत्त मानचित्र है, क्योंकि उत्पादों के अनुमान संवृत्त मानचित्र हैं। इसलिए मानचित्र द्वारा निर्धारित भागफल टोपोलॉजी वहन करती है, जो कि एक फाइबर बंडलनिरूपित किया जाता है

 

 

 

 

(1)

एक संक्षिप्त सटीक अनुक्रम के अनुरूप, यह इंगित करता है कि कौन सा स्थान फाइबर, कुल स्थान और आधार स्थान है, साथ ही कुल से आधार स्थान तक का मानचित्र।

smooth fiber bundleचिकनी कई गुना की श्रेणी(गणित) में एक फाइबर बंडल है। वह है, तथा चिकने मैनिफोल्ड होने की आवश्यकता है और ऊपर दिए गए सभी कार्यों को सुचारू मानचित्र बनाने की आवश्यकता है।

उदाहरण

साधारण बंडल

होने देना और जाने पहले कारक पर प्रक्षेपण हो। फिर एक फाइबर बंडल है(का ) ऊपर यहां न केवल स्थानीय रूप से एक उत्पाद है बल्कि विश्व स्तर पर एक है। ऐसे किसी फाइबर बंडल को 'कहा जाता है।trivial bundle. अनुबंधित स्थान स.ग.-जटिल पर कोई भी फाइबर बंडल साधारण है।

गैर-साधारण बंडल

मोबियस स्ट्रिप

File:Moebius Surface 1 Display Small.png
मोबियस पट्टी वृत्त के ऊपर एक गैर-साधारण बंडल है।

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

एक होमियोमोर्फिज्म( में § Formal definition) मौजूद है जो कि प्रीइमेज को मैप करता है (साधारण सन्निकट) एक सिलेंडर के एक टुकड़े के लिए: घुमावदार, लेकिन मुड़ नहीं। यह जोड़ी स्थानीय रूप से पट्टी को साधारण बनाती है। इसी साधारण बंडल एक सिलेंडर(ज्यामिति) होगा, लेकिन मोबियस पट्टी में एक समग्र मोड़ है। यह मोड़ विश्व स्तर पर ही दिखाई देता है; स्थानीय रूप से मोबियस स्ट्रिप और सिलेंडर समान हैं(दोनों में से एक ही ऊर्ध्वाधर कट बनाने से समान स्थान मिलता है)।

क्लेन बोतल

क्लेन बोतल एक समान गैर-साधारण बंडल है, जिसे दूसरे सर्कल पर एक मुड़ सर्कल बंडल के रूप में देखा जा सकता है। संबंधित गैर-मुड़(साधारण) बंडल 2-टोरस्र्स है, .

Error creating thumbnail:
The Klein bottle immersed in three-dimensional space.
Error creating thumbnail:
A torus.


कवरिंग मानचित्र

एक कवरिंग मैप एक फाइबर बंडल है जैसे कि बंडल प्रोजेक्शन एक स्थानीय होमोमोर्फिज्म है। यह इस प्रकार है कि फाइबर एक असतत स्थान है।

वेक्टर और प्रमुख बंडल

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

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

क्षेत्र बंडल

स्फेयर बंडल एक फाइबर बंडल है जिसका फाइबर एक हाइपरस्फेयर|एन-स्फीयर है। एक वेक्टर बंडल दिया गया एक मीट्रिक टेंसर के साथ(जैसे कि रीमैनियन कई गुना के लिए स्पर्शरेखा बंडल) कोई संबंधित इकाई क्षेत्र बंडल का निर्माण कर सकता है, जिसके लिए एक बिंदु पर फाइबर में सभी यूनिट वैक्टर का सेट है . जब प्रश्न में सदिश बंडल स्पर्शरेखा बंडल है , इकाई गोले के बंडल को इकाई स्पर्शरेखा बंडल के रूप में जाना जाता है।

एक गोले के बंडल को आंशिक रूप से उसके यूलर वर्ग द्वारा चित्रित किया जाता है, जो कि एक डिग्री है बंडल के कुल स्थान में सह-समरूपता वर्ग। यदि स्फेयर बंडल को एक सर्कल बंडल कहा जाता है और यूलर वर्ग पहले चेर्न वर्ग के बराबर होता है, जो बंडल की टोपोलॉजी को पूरी तरह से चित्रित करता है। किसी के लिए , एक बंडल के यूलर वर्ग को देखते हुए, गाइसिन अनुक्रम नामक एक लंबे सटीक अनुक्रम का उपयोग करके इसके कोहोलॉजी की गणना कर सकता है।


मैपिंग टोरी

यदि एक टोपोलॉजिकल स्पेस है और एक होमोमोर्फिज्म है तो मानचित्रण टोरस फाइबर के साथ सर्कल के ऊपर एक फाइबर बंडल की एक प्राकृतिक संरचना है सतहों के होमोमोर्फिज्म के मानचित्रण टोरी का 3-कई गुना|3-मैनिफोल्ड टोपोलॉजी में विशेष महत्व है।

भागफल स्थान

यदि एक सामयिक समूह है और एक बंद उपसमूह है, तो कुछ परिस्थितियों में भागफल स्थान(टोपोलॉजी) भागफल मानचित्र के साथ एक फाइबर बंडल है, जिसका फाइबर टोपोलॉजिकल स्पेस है . के लिए एक आवश्यक और पर्याप्त शर्त() एक फाइबर बंडल बनाने के लिए मैपिंग है #Sections|स्थानीय क्रॉस-सेक्शन स्वीकार करता है (Steenrod 1951, §7).

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

अधिक सामान्यतः, यदि कोई सामयिक समूह है और एक बंद उपसमूह जो तब एक झूठ समूह भी होता है एक फाइबर बंडल है।

खंड

section(या क्रॉस सेक्शन) एक फाइबर बंडल का एक सतत मानचित्र है ऐसा है कि बी में सभी एक्स के लिए। चूंकि बंडलों में सामान्य रूप से विश्व स्तर पर परिभाषित खंड नहीं होते हैं, सिद्धांत के उद्देश्यों में से एक उनके अस्तित्व के लिए खाता है। एक खंड के अस्तित्व के लिए बाधा सिद्धांत को अक्सर सह-विज्ञान वर्ग द्वारा मापा जा सकता है, जो बीजगणितीय टोपोलॉजी में विशेषता वर्गों के सिद्धांत की ओर जाता है।

सबसे प्रसिद्ध उदाहरण बालों वाली गेंद प्रमेय है, जहां यूलर वर्ग 2-गोले के स्पर्शरेखा बंडल के लिए बाधा है, जो कहीं नहीं गायब हो रहा है।

अक्सर कोई केवल स्थानीय रूप से अनुभागों को परिभाषित करना चाहता है(विशेषकर जब वैश्विक खंड मौजूद नहीं होते हैं)। फाइबर बंडल का 'स्थानीय खंड' एक निरंतर मानचित्र है जहाँ U, B में एक विवृत्त समुच्चय है U में सभी x के लिए। यदि एक स्थानीय साधारणीकरण चार्ट है तो यू पर स्थानीय खंड हमेशा मौजूद होते हैं। ऐसे खंड निरंतर मानचित्रों के साथ 1-1 पत्राचार में हैं . अनुभाग एक शीफ(गणित) बनाते हैं।

संरचना समूह और संक्रमण कार्य

फाइबर बंडल अक्सर समरूपता के एक समूह(गणित) के साथ आते हैं जो अतिव्यापी स्थानीय साधारणीकरण चार्ट के बीच मिलान की स्थिति का वर्णन करते हैं। विशेष रूप से, G को एक सामयिक समूह होने दें जो बाईं ओर फाइबर स्पेस F पर लगातार समूह क्रिया(गणित) करता है। हम कुछ भी नहीं खोते हैं यदि हम चाहते हैं कि जी एफ पर वफादार कार्रवाई करे ताकि इसे एफ के होमोमोर्फिज्म के समूह के रूप में माना जा सके। बंडल के लिए ए 'जी-एटलस(टोपोलॉजी)' स्थानीय साधारणीकरण चार्ट का एक सेट है ऐसा कि किसी के लिए अतिव्यापी चार्ट के लिए तथा कार्यक्रम

द्वारा दिया गया है
जहाँ पर एक सतत मानचित्र है जिसे ए कहा जाता हैtransition function. दो 'जी'-एटलस समकक्ष हैं यदि उनका मिलन भी एक 'जी'-एटलस है। एक जी-बंडल जी-एटलस के समतुल्य वर्ग के साथ एक फाइबर बंडल है। समूह 'जी' को कहा जाता हैstructure groupबंडल का; भौतिकी में समान शब्द गेज समूह है।

चिकनी श्रेणी में, एक जी-बंडल एक चिकना फाइबर बंडल है जहां जी एक झूठ समूह है और एफ पर संबंधित कार्रवाई सुचारू है और संक्रमण कार्य सभी चिकने मानचित्र हैं।

संक्रमण कार्य करता है निम्नलिखित शर्तों को पूरा करें

तीसरी शर्त ट्रिपल ओवरलैप्स यू पर लागू होती है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) ब्योरा हेतु)। यह एक फाइब्रेशन की परिभाषित संपत्ति है।
  • फाइबर बंडल का एक खंड एक ऐसा कार्य है जिसका आउटपुट रेंज लगातार इनपुट पर निर्भर होता है। यह संपत्ति औपचारिक रूप से आश्रित प्रकार की धारणा में पकड़ी जाती है।

यह भी देखें


टिप्पणियाँ

  1. Seifert, Herbert (1933). "त्रि-आयामी फाइबरयुक्त रिक्त स्थान की टोपोलॉजी". Acta Mathematica. 60: 147–238. doi:10.1007/bf02398271.
  2. "Topologie Dreidimensionaler Gefaserter Räume" on Project Euclid.
  3. 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.
  4. 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.
  5. Feldbau, Jacques (1939). "फाइबर रिक्त स्थान के वर्गीकरण पर". Comptes rendus de l'Académie des Sciences. 208: 1621–1623.
  6. Ehresmann, Charles (1947). "बंडल रिक्त स्थान के सिद्धांत पर". Coll. Top. Alg. Paris. C.N.R.S.: 3–15.
  7. Ehresmann, Charles (1947). "अलग-अलग बंडल किए गए स्थानों पर". Comptes rendus de l'Académie des Sciences. 224: 1611–1612.
  8. Ehresmann, Charles (1955). "अलग-अलग बंडल किए गए स्थान का विस्तार". Comptes rendus de l'Académie des Sciences. 240: 1755–1757.
  9. Serre, Jean-Pierre (1951). "बंडल्ड स्पेस का सिंगुलर होमोलॉजी। ऐप्स". Annals of Mathematics. 54 (3): 425–505. doi:10.2307/1969485. JSTOR 1969485.
  10. See Steenrod (1951, Preface)
  11. In his early works, Whitney referred to the sphere bundles as the "sphere-spaces". See, for example:
  12. 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.
  13. 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.
  14. Or is, at least, invertible in the appropriate category; e.g., a diffeomorphism.


संदर्भ


इस पेज में लापता आंतरिक लिंक की सूची

  • अंक शास्त्र
  • राष्ट्रमंडल देशों में अंग्रेजी
  • टोपोलॉजिकल संरचना
  • मानचित्र(गणित)
  • निरंतर कार्य(टोपोलॉजी)
  • विशेषण समारोह
  • प्रमुख बंडल
  • अनुभाग(फाइबर बंडल)
  • गोलाकार बंडल
  • अनुमान
  • निरंतर(टोपोलॉजी)
  • सबस्पेस टोपोलॉजी
  • preimage
  • लघु सटीक अनुक्रम
  • चिकना कई गुना
  • चिकना मानचित्र
  • सिकुड़ा हुआ स्थान
  • घेरा
  • रेखा खंड
  • सदिश स्थल
  • संबद्ध बंडल
  • लंबा सटीक क्रम
  • मंडल समूह
  • संवृत्त सेट
  • श्रद्धेय क्रिया
  • समतुल्य
  • अलग करने योग्य कई गुना
  • निमज्जन(गणित)
  • उचित मानचित्र
  • टोरसर(बीजीय ज्यामिति)

बाहरी संबंध