अनुभाग (फाइबर बंडल): Difference between revisions

From Vigyanwiki
(Created page with "{{One source|date=July 2022}} Image:Bundle section.svg|right|thumb|अनुभाग <math>s</math> एक बंडल का <math>p\colon E\to B</math>. अनुभा...")
 
No edit summary
Line 1: Line 1:
{{One source|date=July 2022}}
[[Image:Bundle section.svg|right|thumb|अनुभाग <math>s</math> एक बंडल का <math>p\colon E\to B</math>. अनुभाग <math>s</math> आधार स्थान की अनुमति देता है <math>B</math> एक उप-स्थान के साथ पहचाना जाना <math>s(B)</math> का <math>E</math>.]]
[[Image:Bundle section.svg|right|thumb|अनुभाग <math>s</math> एक बंडल का <math>p\colon E\to B</math>. अनुभाग <math>s</math> आधार स्थान की अनुमति देता है <math>B</math> एक उप-स्थान के साथ पहचाना जाना <math>s(B)</math> का <math>E</math>.]]
[[Image:Vector field.svg|right|thumb|एक सदिश क्षेत्र चालू है <math>\mathbb{R}^2</math>. स्पर्शरेखा सदिश बंडल का एक खंड एक सदिश क्षेत्र है।]]
[[Image:Vector field.svg|right|thumb|एक सदिश क्षेत्र चालू है <math>\mathbb{R}^2</math>. स्पर्शरेखा सदिश बंडल का एक खंड एक सदिश क्षेत्र है।]]
[[File:Vector bundle with section.png|thumb|300px|एक वेक्टर बंडल <math>E</math> एक आधार पर <math>M</math> खंड के साथ <math>s</math>.]][[टोपोलॉजी]] के [[गणितीय]] क्षेत्र में, एक खंड (या क्रॉस सेक्शन)<ref>{{citation|first=Dale|last=Husemöller|authorlink=Dale Husemoller| title=Fibre Bundles|publisher=Springer Verlag|year=1994|isbn=0-387-94087-1|page=12}}</ref> एक [[फाइबर बंडल]] की <math>E</math> एक निरंतर उलटा कार्य है # [[प्रोजेक्शन (गणित)]] के बाएँ और दाएँ व्युत्क्रम <math>\pi</math>. दूसरे शब्दों में, अगर <math>E</math> एक [[टोपोलॉजिकल स्पेस]] पर एक फाइबर बंडल है, <math>B</math>:
[[File:Vector bundle with section.png|thumb|300px|एक वेक्टर बंडल <math>E</math> एक आधार पर <math>M</math> खंड के साथ <math>s</math>.]]
 
 
टोपोलॉजी के गणितीय क्षेत्र में, एक फाइबर बंडल <math>E</math> का एक खंड (या क्रॉस सेक्शन) प्रक्षेपण  कार्य <math>\pi</math> का एक निरंतर सही व्युत्क्रम है। दूसरे शब्दों में, यदि <math>E</math> आधार स्थान <math>B</math> पर एक फाइबर बंडल है।<ref>{{citation|first=Dale|last=Husemöller|authorlink=Dale Husemoller| title=Fibre Bundles|publisher=Springer Verlag|year=1994|isbn=0-387-94087-1|page=12}}</ref>
:<math> \pi \colon E \to B</math>
:<math> \pi \colon E \to B</math>
फिर उस फाइबर बंडल का एक भाग एक निरंतर मानचित्र है,
फिर उस फाइबर बंडल का एक भाग एक निरंतर मानचित्र है,
Line 9: Line 11:
:<math> \pi(\sigma(x)) = x </math> सभी के लिए <math>x \in B </math>.
:<math> \pi(\sigma(x)) = x </math> सभी के लिए <math>x \in B </math>.


एक अनुभाग एक फ़ंक्शन का ग्राफ़ होने का क्या मतलब है इसका एक अमूर्त लक्षण वर्णन है। [[किसी फ़ंक्शन का ग्राफ़]] <math> g\colon B \to Y </math> कार्टेशियन उत्पाद में इसके मान लेने वाले फ़ंक्शन के साथ पहचाना जा सकता है <math> E = B \times Y </math>, का <math> B </math> और <math> Y </math>:
 
एक खंड एक सार लक्षण वर्णन है कि इसका ग्राफ होने का क्या मतलब है। एक [[किसी फ़ंक्शन का ग्राफ़|कार्य]] <math> g\colon B \to Y </math> के ग्राफ़ को कार्टेसियन उत्पाद <math> E = B \times Y </math>, <math> B </math> और <math> Y </math> के मान लेने वाले कार्य के साथ पहचाना जा सकता है।
:<math>\sigma\colon B\to E, \quad \sigma(x) = (x,g(x)) \in E. </math>
:<math>\sigma\colon B\to E, \quad \sigma(x) = (x,g(x)) \in E. </math>
होने देना <math> \pi\colon E \to B </math> पहले कारक पर प्रक्षेपण हो: <math> \pi(x,y) = x </math>. फिर एक ग्राफ कोई भी कार्य है <math> \sigma </math> जिसके लिए <math> \pi(\sigma(x)) = x </math>.
चलो  <math> \pi\colon E \to B </math> पहले कारक पर प्रक्षेपण हो: <math> \pi(x,y) = x </math>. फिर एक ग्राफ कोई भी कार्य <math> \sigma </math> है  जिसके लिए <math> \pi(\sigma(x)) = x </math>.है


फाइबर बंडलों की भाषा एक खंड की इस धारणा को उस मामले में सामान्यीकृत करने की अनुमति देती है जब <math>E</math> जरूरी नहीं कि कार्टेशियन उत्पाद हो। अगर <math> \pi\colon E \to B </math> एक फाइबर बंडल है, तो एक खंड बिंदु का विकल्प है <math> \sigma(x) </math> प्रत्येक फाइबर में। स्थिति <math> \pi(\sigma(x)) = x </math> इसका सीधा सा मतलब है कि एक बिंदु पर खंड <math> x </math> लेटना चाहिए <math> x </math>. (छवि देखें।)
फाइबर बंडलों की भाषा एक खंड की इस धारणा को उस स्थिति में सामान्यीकृत करने की अनुमति देती है जब <math>E</math> अनिवार्य रूप से कार्टेशियन उत्पाद नहीं है। अगर <math> \pi\colon E \to B </math> एक फाइबर बंडल है, तो प्रत्येक फाइबर में एक सेक्शन बिंदु <math> \sigma(x) </math> का विकल्प है। स्थिति <math> \pi(\sigma(x)) = x </math> का सीधा सा अर्थ है कि खंड एक बिंदु पर है <math> x </math> को <math> x </math> के ऊपर होना चाहिए। (छवि देखें।)


उदाहरण के लिए, कब <math>E</math> एक सदिश बंडल का एक भाग है <math>E</math> वेक्टर अंतरिक्ष का एक तत्व है <math> E_x </math> प्रत्येक बिंदु पर झूठ बोलना <math>x \in B</math>. विशेष रूप से, एक चिकनी कई गुना पर एक सदिश क्षेत्र <math>M</math> के प्रत्येक बिंदु पर स्पर्शरेखा सदिश का एक विकल्प है <math>M</math>: यह [[स्पर्शरेखा बंडल]] का एक खंड है <math>M</math>. इसी तरह, [[1-रूप]] ऑन <math>M</math> [[स्पर्शरेखा बंडल]] का एक भाग है।
उदाहरण के लिए, जब <math>E</math> एक सदिश बंडल है तो <math>E</math> का एक भाग सदिश स्थान <math> E_x </math> का एक तत्व है जो प्रत्येक बिंदु <math>x \in B</math> पर स्थित है। विशेष रूप से, एक चिकने बहुरूपी <math>M</math> पर सदिश क्षेत्र एक <math>M</math> के प्रत्येक बिंदु पर स्पर्शरेखा सदिश की पसंद: यह <math>M</math> के स्पर्शरेखा बंडल का एक खंड है।


खंड, विशेष रूप से [[ प्रधान बंडल ]] और वेक्टर बंडल, [[ अंतर ज्यामिति ]] में भी बहुत महत्वपूर्ण उपकरण हैं। इस सेटिंग में, बेस स्पेस <math>B</math> एक चिकना बहुरूपी है <math>M</math>, और <math>E</math> एक चिकना फाइबर बंडल ओवर माना जाता है <math>M</math> (अर्थात।, <math>E</math> एक चिकनी कई गुना है और <math>\pi\colon E\to M</math> एक [[चिकना नक्शा]] है)। इस मामले में, कोई चिकने वर्गों के स्थान पर विचार करता है <math>E</math> एक खुले सेट पर <math>U</math>, निरूपित <math>C^{\infty}(U,E)</math>. यह मध्यवर्ती नियमितता वाले वर्गों के रिक्त स्थान पर विचार करने के लिए [[ज्यामितीय विश्लेषण]] में भी उपयोगी है (उदाहरण के लिए, <math>C^k</math> सेक्शन, या होल्डर स्थितियों या [[सोबोलेव स्पेस]] के अर्थ में नियमितता वाले सेक्शन)।
खंड, विशेष रूप से प्रमुख बंडलों और वेक्टर बंडलों के, अवकल ज्यामिति में भी बहुत महत्वपूर्ण उपकरण हैं। इस सेटिंग में, आधार स्थान <math>B</math> एक निर्बाध बहुरूपी <math>M</math> है, और<math>E</math> को <math>M</math> के ऊपर एक निर्बाध फाइबर बंडल माना जाता है (जिससे , <math>E</math> एक निर्बाध बहुरूपी है और <math>\pi\colon E\to M</math> एक निर्बाध बहुरूपी है। नक्शा)। इस स्थिति में, एक खुले समूह <math>U</math> पर <math>E</math> के चिकने वर्गों के स्थान पर विचार करता है, जिसे <math>C^{\infty}(U,E)</math> दर्शाया गया है। यह मध्यवर्ती नियमितता वाले वर्गों के रिक्त स्थान पर विचार करने के लिए ज्यामितीय विश्लेषण में भी उपयोगी है (उदाहरण के लिए,<math>C^k</math> खंड, या धारक स्थितियों या सोबोलेव रिक्त स्थान के अर्थ में नियमितता वाले अनुभाग) है


== स्थानीय और वैश्विक खंड ==
== स्थानीय और वैश्विक खंड ==


फाइबर बंडलों में सामान्य रूप से ऐसे वैश्विक खंड नहीं होते हैं (उदाहरण के लिए, फाइबर बंडल ओवर <math>S^1</math> फाइबर के साथ <math>F = \mathbb{R} \setminus \{0\}</math> मोबियस स्ट्रिप | मोबियस बंडल और शून्य खंड को हटाकर प्राप्त किया जाता है), इसलिए यह केवल स्थानीय रूप से अनुभागों को परिभाषित करने के लिए उपयोगी है। फाइबर बंडल का एक स्थानीय खंड एक सतत नक्शा है <math>s \colon U \to E</math> कहाँ <math>U</math> में एक [[खुला सेट]] है <math>B</math> और <math>\pi(s(x))=x</math> सभी के लिए <math>x</math> में <math>U</math>. अगर <math>(U, \varphi)</math> का एक [[स्थानीय तुच्छीकरण]] है <math>E</math>, कहाँ <math>\varphi</math> से होमियोमॉर्फिज्म है <math>\pi^{-1}(U)</math> को <math>U\times F</math> (कहाँ <math>F</math> फाइबर बंडल है), तो स्थानीय खंड हमेशा मौजूद रहते हैं <math>U</math> से निरंतर नक्शे के साथ विशेषण पत्राचार में <math>U</math> को <math>F</math>. एक [[शीफ (गणित)]] से (स्थानीय) खंड <math>B</math> के वर्गों का पुलिंदा कहलाता है <math>E</math>.
फाइबर बंडलों में सामान्य रूप से ऐसे वैश्विक खंड नहीं होते हैं (उदाहरण के लिए, फाइबर बंडल <math>S^1</math>पर फाइबर <math>F = \mathbb{R} \setminus \{0\}</math> के साथ मोबियस लेकर प्राप्त किया जाता है। बंडल और शून्य खंड को हटाना), इसलिए यह केवल स्थानीय रूप से अनुभागों को परिभाषित करने के लिए उपयोगी है। फाइबर बंडल का एक स्थानीय खंड एक निरंतर मानचित्र है <math>s \colon U \to E</math> जहां <math>U</math>, <math>B</math> में एक खुला समूह है और {<math>\pi(s(x))=x</math>} <math>U</math> में सभी <math>x</math> के लिए यदि <math>U\times F</math> <math>E</math> का एक स्थानीय तुच्छीकरण है, जहाँ <math>\varphi</math> , <math>\pi^{-1}(U)</math> से <math>U\times F</math> तक एक होमोमोर्फिज्म है (जहाँ <math>F</math> है फाइबर), तो स्थानीय खंड सदैव  <math>U</math> से <math>F</math> तक निरंतर मानचित्रों के साथ विशेषण पत्राचार में <math>U</math> पर उपस्थित होते हैं। (स्थानीय) खंड <math>B</math> के ऊपर एक शीफ बनाते हैं जिसे <math>E</math> के वर्गों का शीफ कहा जाता है।


एक फाइबर बंडल के निरंतर वर्गों का स्थान <math>E</math> ऊपर <math>U</math> कभी-कभी निरूपित किया जाता है <math>C(U,E)</math>, जबकि वैश्विक वर्गों का स्थान <math>E</math> अक्सर निरूपित किया जाता है <math>\Gamma(E)</math> या <math>\Gamma(B,E)</math>.
<math>U</math> के ऊपर एक फाइबर बंडल <math>E</math> के निरंतर खंडों के स्थान को कभी-कभी <math>C(U,E)</math>} के रूप में दर्शाया जाता है, जबकि <math>E</math> के वैश्विक खंडों के स्थान को अक्सर<math>\Gamma(E)</math> या <math>\Gamma(B,E)</math> के रूप में दर्शाया जाता है।


=== वैश्विक वर्गों तक विस्तार ===
=== वैश्विक वर्गों तक विस्तार ===


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


==== सामान्यीकरण ====
==== सामान्यीकरण ====


स्थानीय वर्गों को विस्तारित करने में बाधाओं को निम्नलिखित तरीके से सामान्यीकृत किया जा सकता है: एक स्थलीय स्थान लें और एक [[श्रेणी (गणित)]] बनाएं, जिनकी वस्तुएं खुले उपसमुच्चय हैं, और आकारिकी समावेशन हैं। इस प्रकार हम एक टोपोलॉजिकल स्पेस को सामान्य बनाने के लिए एक श्रेणी का उपयोग करते हैं। हम [[एबेलियन समूह]]ों के ढेरों का उपयोग करके एक स्थानीय खंड की धारणा को सामान्य करते हैं, जो प्रत्येक वस्तु को एक एबेलियन समूह (स्थानीय वर्गों के अनुरूप) प्रदान करता है।
स्थानीय वर्गों को विस्तारित करने में बाधाओं को निम्नलिखित विधि से सामान्यीकृत किया जा सकता है: एक स्थलीय स्थान लें और एक [[श्रेणी (गणित)]] बनाएं, जिनकी वस्तुएं खुले उपसमुच्चय हैं, और आकारिकी समावेशन हैं। इस प्रकार हम एक टोपोलॉजिकल स्थान को सामान्य बनाने के लिए एक श्रेणी का उपयोग करते हैं। हम [[एबेलियन समूह]] के कई उपयोग करके एक स्थानीय खंड की धारणा को सामान्य करते हैं, जो प्रत्येक वस्तु को एक एबेलियन समूह (स्थानीय वर्गों के अनुरूप) प्रदान करता है।
 
यहां एक महत्वपूर्ण अंतर है: सहज रूप से, स्थानीय खंड एक टोपोलॉजिकल स्थान के खुले उपसमुच्चय पर सदिश क्षेत्रों की तरह हैं। तो प्रत्येक बिंदु पर, एक निश्चित सदिश स्थान का एक तत्व निर्दिष्ट किया जाता है। चूँकि , कई सदिश स्थान (या अधिक सामान्यतः  एबेलियन समूह) को लगातार बदल सकते हैं।


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


यह पूरी प्रक्रिया वास्तव में [[ वैश्विक खंड functor ]] है, जो प्रत्येक शीफ को इसके ग्लोबल सेक्शन को असाइन करती है। तब [[शेफ कोहोलॉजी]] हमें एबेलियन समूह को लगातार बदलते हुए एक समान विस्तार समस्या पर विचार करने में सक्षम बनाती है। चारित्रिक वर्गों का सिद्धांत हमारे विस्तार में अवरोधों के विचार का सामान्यीकरण करता है।
'''मस्या पर विचार करने में सक्षम बनाती है। चारित्रिक वर्गों का सिद्धांत हमारे विस्तार में अवरोधों के विचार का सामान्यीकरण करता है।'''


== यह भी देखें ==
== यह भी देखें ==

Revision as of 14:51, 26 April 2023

अनुभाग एक बंडल का . अनुभाग आधार स्थान की अनुमति देता है एक उप-स्थान के साथ पहचाना जाना का .
एक सदिश क्षेत्र चालू है . स्पर्शरेखा सदिश बंडल का एक खंड एक सदिश क्षेत्र है।
एक वेक्टर बंडल एक आधार पर खंड के साथ .


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

फिर उस फाइबर बंडल का एक भाग एक निरंतर मानचित्र है,

ऐसा है कि

सभी के लिए .


एक खंड एक सार लक्षण वर्णन है कि इसका ग्राफ होने का क्या मतलब है। एक कार्य के ग्राफ़ को कार्टेसियन उत्पाद , और के मान लेने वाले कार्य के साथ पहचाना जा सकता है।

चलो पहले कारक पर प्रक्षेपण हो: . फिर एक ग्राफ कोई भी कार्य है जिसके लिए .है

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

उदाहरण के लिए, जब एक सदिश बंडल है तो का एक भाग सदिश स्थान का एक तत्व है जो प्रत्येक बिंदु पर स्थित है। विशेष रूप से, एक चिकने बहुरूपी पर सदिश क्षेत्र एक के प्रत्येक बिंदु पर स्पर्शरेखा सदिश की पसंद: यह के स्पर्शरेखा बंडल का एक खंड है।

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

स्थानीय और वैश्विक खंड

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

के ऊपर एक फाइबर बंडल के निरंतर खंडों के स्थान को कभी-कभी } के रूप में दर्शाया जाता है, जबकि के वैश्विक खंडों के स्थान को अक्सर या के रूप में दर्शाया जाता है।

वैश्विक वर्गों तक विस्तार

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

सामान्यीकरण

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

यहां एक महत्वपूर्ण अंतर है: सहज रूप से, स्थानीय खंड एक टोपोलॉजिकल स्थान के खुले उपसमुच्चय पर सदिश क्षेत्रों की तरह हैं। तो प्रत्येक बिंदु पर, एक निश्चित सदिश स्थान का एक तत्व निर्दिष्ट किया जाता है। चूँकि , कई सदिश स्थान (या अधिक सामान्यतः एबेलियन समूह) को लगातार बदल सकते हैं।

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

मस्या पर विचार करने में सक्षम बनाती है। चारित्रिक वर्गों का सिद्धांत हमारे विस्तार में अवरोधों के विचार का सामान्यीकरण करता है।

यह भी देखें

टिप्पणियाँ

  1. Husemöller, Dale (1994), Fibre Bundles, Springer Verlag, p. 12, ISBN 0-387-94087-1


संदर्भ


बाहरी संबंध