अनुभाग (फाइबर बंडल): Difference between revisions
(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: | ||
[[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>.]] | [[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>\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>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> के स्पर्शरेखा बंडल का एक खंड है। | ||
खंड, विशेष रूप से | खंड, विशेष रूप से प्रमुख बंडलों और वेक्टर बंडलों के, अवकल ज्यामिति में भी बहुत महत्वपूर्ण उपकरण हैं। इस सेटिंग में, आधार स्थान <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>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>U</math> के ऊपर एक फाइबर बंडल <math>E</math> के निरंतर खंडों के स्थान को कभी-कभी <math>C(U,E)</math>} के रूप में दर्शाया जाता है, जबकि <math>E</math> के वैश्विक खंडों के स्थान को अक्सर<math>\Gamma(E)</math> या <math>\Gamma(B,E)</math> के रूप में दर्शाया जाता है। | |||
=== वैश्विक वर्गों तक विस्तार === | === वैश्विक वर्गों तक विस्तार === | ||
अनुभागों का अध्ययन [[होमोटॉपी सिद्धांत]] और [[बीजगणितीय टोपोलॉजी]] में किया जाता है, जहां वैश्विक वर्गों के अस्तित्व या गैर-अस्तित्व के लिए मुख्य लक्ष्यों में से एक है। एक [[बाधा सिद्धांत]] वैश्विक वर्गों के अस्तित्व से इनकार करता है क्योंकि अंतरिक्ष बहुत मुड़ा हुआ है। अधिक | अनुभागों का अध्ययन [[होमोटॉपी सिद्धांत]] और [[बीजगणितीय टोपोलॉजी]] में किया जाता है, जहां वैश्विक वर्गों के अस्तित्व या गैर-अस्तित्व के लिए मुख्य लक्ष्यों में से एक है। एक [[बाधा सिद्धांत]] वैश्विक वर्गों के अस्तित्व से इनकार करता है क्योंकि अंतरिक्ष बहुत मुड़ा हुआ है। अधिक स्पष्ट रूप से, अंतरिक्ष के मुड़ने के कारण अवरोध एक स्थानीय खंड को एक वैश्विक खंड तक विस्तारित करने की संभावना को बाधित करते हैं। बाधाओं को विशेष [[विशेषता वर्ग]] द्वारा इंगित किया जाता है, जो कोहोमोलॉजिकल वर्ग हैं। उदाहरण के लिए, एक प्रमुख बंडल में एक वैश्विक खंड होता है यदि और केवल यदि यह [[तुच्छ बंडल]] है। दूसरी ओर, एक वेक्टर बंडल में सदैव एक वैश्विक खंड होता है, जिसका नाम [[शून्य खंड]] होता है। चूँकि , यह कहीं न मिलने वाले खंड को तभी स्वीकार करता है जब इसका [[यूलर वर्ग]] शून्य है । | ||
==== सामान्यीकरण ==== | ==== सामान्यीकरण ==== | ||
स्थानीय वर्गों को विस्तारित करने में बाधाओं को निम्नलिखित | स्थानीय वर्गों को विस्तारित करने में बाधाओं को निम्नलिखित विधि से सामान्यीकृत किया जा सकता है: एक स्थलीय स्थान लें और एक [[श्रेणी (गणित)]] बनाएं, जिनकी वस्तुएं खुले उपसमुच्चय हैं, और आकारिकी समावेशन हैं। इस प्रकार हम एक टोपोलॉजिकल स्थान को सामान्य बनाने के लिए एक श्रेणी का उपयोग करते हैं। हम [[एबेलियन समूह]] के कई उपयोग करके एक स्थानीय खंड की धारणा को सामान्य करते हैं, जो प्रत्येक वस्तु को एक एबेलियन समूह (स्थानीय वर्गों के अनुरूप) प्रदान करता है। | ||
यहां एक महत्वपूर्ण अंतर है: सहज रूप से, स्थानीय खंड एक टोपोलॉजिकल स्थान के खुले उपसमुच्चय पर सदिश क्षेत्रों की तरह हैं। तो प्रत्येक बिंदु पर, एक निश्चित सदिश स्थान का एक तत्व निर्दिष्ट किया जाता है। चूँकि , कई सदिश स्थान (या अधिक सामान्यतः एबेलियन समूह) को लगातार बदल सकते हैं। | |||
यह पूरी प्रक्रिया वास्तव में [[ वैश्विक खंड functor | वैश्विक खंड फंक्टर]] है, जो प्रत्येक शीफ को इसके ग्लोबल सेक्शन को असाइन करती है। तब [[शेफ कोहोलॉजी]] हमें एबेलियन समूह को लगातार बदलते हुए एक समान विस्तार समस्या पर विचार करने में सक्षम बनाती है। चारित्रिक वर्गों का सिद्धांत हमारे विस्तार में अवरोधों के विचार का सामान्यीकरण करता है। | |||
'''मस्या पर विचार करने में सक्षम बनाती है। चारित्रिक वर्गों का सिद्धांत हमारे विस्तार में अवरोधों के विचार का सामान्यीकरण करता है।''' | |||
== यह भी देखें == | == यह भी देखें == |
Revision as of 14:51, 26 April 2023
टोपोलॉजी के गणितीय क्षेत्र में, एक फाइबर बंडल का एक खंड (या क्रॉस सेक्शन) प्रक्षेपण कार्य का एक निरंतर सही व्युत्क्रम है। दूसरे शब्दों में, यदि आधार स्थान पर एक फाइबर बंडल है।[1]
फिर उस फाइबर बंडल का एक भाग एक निरंतर मानचित्र है,
ऐसा है कि
- सभी के लिए .
एक खंड एक सार लक्षण वर्णन है कि इसका ग्राफ होने का क्या मतलब है। एक कार्य के ग्राफ़ को कार्टेसियन उत्पाद , और के मान लेने वाले कार्य के साथ पहचाना जा सकता है।
चलो पहले कारक पर प्रक्षेपण हो: . फिर एक ग्राफ कोई भी कार्य है जिसके लिए .है
फाइबर बंडलों की भाषा एक खंड की इस धारणा को उस स्थिति में सामान्यीकृत करने की अनुमति देती है जब अनिवार्य रूप से कार्टेशियन उत्पाद नहीं है। अगर एक फाइबर बंडल है, तो प्रत्येक फाइबर में एक सेक्शन बिंदु का विकल्प है। स्थिति का सीधा सा अर्थ है कि खंड एक बिंदु पर है को के ऊपर होना चाहिए। (छवि देखें।)
उदाहरण के लिए, जब एक सदिश बंडल है तो का एक भाग सदिश स्थान का एक तत्व है जो प्रत्येक बिंदु पर स्थित है। विशेष रूप से, एक चिकने बहुरूपी पर सदिश क्षेत्र एक के प्रत्येक बिंदु पर स्पर्शरेखा सदिश की पसंद: यह के स्पर्शरेखा बंडल का एक खंड है।
खंड, विशेष रूप से प्रमुख बंडलों और वेक्टर बंडलों के, अवकल ज्यामिति में भी बहुत महत्वपूर्ण उपकरण हैं। इस सेटिंग में, आधार स्थान एक निर्बाध बहुरूपी है, और को के ऊपर एक निर्बाध फाइबर बंडल माना जाता है (जिससे , एक निर्बाध बहुरूपी है और एक निर्बाध बहुरूपी है। नक्शा)। इस स्थिति में, एक खुले समूह पर के चिकने वर्गों के स्थान पर विचार करता है, जिसे दर्शाया गया है। यह मध्यवर्ती नियमितता वाले वर्गों के रिक्त स्थान पर विचार करने के लिए ज्यामितीय विश्लेषण में भी उपयोगी है (उदाहरण के लिए, खंड, या धारक स्थितियों या सोबोलेव रिक्त स्थान के अर्थ में नियमितता वाले अनुभाग) है ।
स्थानीय और वैश्विक खंड
फाइबर बंडलों में सामान्य रूप से ऐसे वैश्विक खंड नहीं होते हैं (उदाहरण के लिए, फाइबर बंडल पर फाइबर के साथ मोबियस लेकर प्राप्त किया जाता है। बंडल और शून्य खंड को हटाना), इसलिए यह केवल स्थानीय रूप से अनुभागों को परिभाषित करने के लिए उपयोगी है। फाइबर बंडल का एक स्थानीय खंड एक निरंतर मानचित्र है जहां , में एक खुला समूह है और {} में सभी के लिए यदि का एक स्थानीय तुच्छीकरण है, जहाँ , से तक एक होमोमोर्फिज्म है (जहाँ है फाइबर), तो स्थानीय खंड सदैव से तक निरंतर मानचित्रों के साथ विशेषण पत्राचार में पर उपस्थित होते हैं। (स्थानीय) खंड के ऊपर एक शीफ बनाते हैं जिसे के वर्गों का शीफ कहा जाता है।
के ऊपर एक फाइबर बंडल के निरंतर खंडों के स्थान को कभी-कभी } के रूप में दर्शाया जाता है, जबकि के वैश्विक खंडों के स्थान को अक्सर या के रूप में दर्शाया जाता है।
वैश्विक वर्गों तक विस्तार
अनुभागों का अध्ययन होमोटॉपी सिद्धांत और बीजगणितीय टोपोलॉजी में किया जाता है, जहां वैश्विक वर्गों के अस्तित्व या गैर-अस्तित्व के लिए मुख्य लक्ष्यों में से एक है। एक बाधा सिद्धांत वैश्विक वर्गों के अस्तित्व से इनकार करता है क्योंकि अंतरिक्ष बहुत मुड़ा हुआ है। अधिक स्पष्ट रूप से, अंतरिक्ष के मुड़ने के कारण अवरोध एक स्थानीय खंड को एक वैश्विक खंड तक विस्तारित करने की संभावना को बाधित करते हैं। बाधाओं को विशेष विशेषता वर्ग द्वारा इंगित किया जाता है, जो कोहोमोलॉजिकल वर्ग हैं। उदाहरण के लिए, एक प्रमुख बंडल में एक वैश्विक खंड होता है यदि और केवल यदि यह तुच्छ बंडल है। दूसरी ओर, एक वेक्टर बंडल में सदैव एक वैश्विक खंड होता है, जिसका नाम शून्य खंड होता है। चूँकि , यह कहीं न मिलने वाले खंड को तभी स्वीकार करता है जब इसका यूलर वर्ग शून्य है ।
सामान्यीकरण
स्थानीय वर्गों को विस्तारित करने में बाधाओं को निम्नलिखित विधि से सामान्यीकृत किया जा सकता है: एक स्थलीय स्थान लें और एक श्रेणी (गणित) बनाएं, जिनकी वस्तुएं खुले उपसमुच्चय हैं, और आकारिकी समावेशन हैं। इस प्रकार हम एक टोपोलॉजिकल स्थान को सामान्य बनाने के लिए एक श्रेणी का उपयोग करते हैं। हम एबेलियन समूह के कई उपयोग करके एक स्थानीय खंड की धारणा को सामान्य करते हैं, जो प्रत्येक वस्तु को एक एबेलियन समूह (स्थानीय वर्गों के अनुरूप) प्रदान करता है।
यहां एक महत्वपूर्ण अंतर है: सहज रूप से, स्थानीय खंड एक टोपोलॉजिकल स्थान के खुले उपसमुच्चय पर सदिश क्षेत्रों की तरह हैं। तो प्रत्येक बिंदु पर, एक निश्चित सदिश स्थान का एक तत्व निर्दिष्ट किया जाता है। चूँकि , कई सदिश स्थान (या अधिक सामान्यतः एबेलियन समूह) को लगातार बदल सकते हैं।
यह पूरी प्रक्रिया वास्तव में वैश्विक खंड फंक्टर है, जो प्रत्येक शीफ को इसके ग्लोबल सेक्शन को असाइन करती है। तब शेफ कोहोलॉजी हमें एबेलियन समूह को लगातार बदलते हुए एक समान विस्तार समस्या पर विचार करने में सक्षम बनाती है। चारित्रिक वर्गों का सिद्धांत हमारे विस्तार में अवरोधों के विचार का सामान्यीकरण करता है।
मस्या पर विचार करने में सक्षम बनाती है। चारित्रिक वर्गों का सिद्धांत हमारे विस्तार में अवरोधों के विचार का सामान्यीकरण करता है।
यह भी देखें
- कंपन
- गेज सिद्धांत
- प्रधान बंडल
- पुलबैक बंडल
- वेक्टर बंडल
टिप्पणियाँ
- ↑ Husemöller, Dale (1994), Fibre Bundles, Springer Verlag, p. 12, ISBN 0-387-94087-1
संदर्भ
- Norman Steenrod, The Topology of Fibre Bundles, Princeton University Press (1951). ISBN 0-691-00548-6.
- David Bleecker, Gauge Theory and Variational Principles, Addison-Wesley publishing, Reading, Mass (1981). ISBN 0-201-10096-7.
- Husemöller, Dale (1994), Fibre Bundles, Springer Verlag, ISBN 0-387-94087-1
बाहरी संबंध
- Fiber Bundle, PlanetMath
- Weisstein, Eric W. "Fiber Bundle". MathWorld.