सबमैनिफोल्ड: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Subset of a manifold that is a manifold itself; an injective immersion into a manifold}} Image:immersedsubmanifold selfintersection.jpg|thumb|160px|स...")
 
No edit summary
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Subset of a manifold that is a manifold itself; an injective immersion into a manifold}}
{{Short description|Subset of a manifold that is a manifold itself; an injective immersion into a manifold}}
[[Image:immersedsubmanifold selfintersection.jpg|thumb|160px|स्व-प्रतिच्छेदन के साथ विसर्जित कई गुना सीधी रेखा]]गणित में, [[ कई गुना ]] ''एम'' का एक सबमैनिफोल्ड एक उपसमुच्चय ''एस'' है, जिसमें स्वयं मैनिफोल्ड की संरचना होती है, और जिसके लिए [[समावेशन मानचित्र]] होता है {{nowrap|''S'' → ''M''}} कुछ गुणों को संतुष्ट करता है। वास्तव में किन गुणों की आवश्यकता है, इसके आधार पर विभिन्न प्रकार के सबमैनिफोल्ड होते हैं। अलग-अलग लेखकों की अक्सर अलग-अलग परिभाषाएँ होती हैं।
[[Image:immersedsubmanifold selfintersection.jpg|thumb|160px|स्व-प्रतिच्छेदन के साथ विसर्जित कई गुना सीधी रेखा]][[गणित]] में, मैनिफोल्ड ''M'' का एक [[सबमैनिफोल्ड|'''सबमैनिफोल्ड''']] एक उप[[समुच्चय (गणित)|समुच्चय]] ''S'' है जिसमें मैनिफोल्ड की संरचना स्वयं होती है, और जिसके लिए समावेशन प्रतिचित्र {{nowrap|''S'' → ''M''}} कुछ गुणों को संतुष्ट करता है। वास्तव में किन गुणों की आवश्यकता है, इसके आधार पर विभिन्न प्रकार के सबमैनिफोल्ड होते हैं। अलग-अलग लेखकों की प्रायः अलग-अलग परिभाषाएँ होती हैं।


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


निम्नलिखित में हम मानते हैं कि सभी मैनिफोल्ड, अवकलनीयता वर्ग सी के भिन्न-भिन्न मैनिफोल्ड हैं<sup>r</sup>एक निश्चित के लिए {{nowrap|''r'' ≥ 1}}, और सभी आकारिकी वर्ग सी से भिन्न हैं<sup>र</sup>.
निम्नलिखित में हम मानते हैं कि सभी मैनिफ़ोल्ड एक निश्चित r ≥ 1 के लिए वर्ग ''C<sup>r</sup>'' के भिन्न-भिन्न मैनिफ़ोल्ड हैं, और सभी आकारिकी वर्ग ''C<sup>r</sup>'' के भिन्न-भिन्न हैं।


===विसर्जित उपमान===
===विसर्जित उपमान===
[[Image:immersedsubmanifold nonselfintersection.jpg|thumb|150px|खुले अंतराल की यह छवि (तीर द्वारा चिह्नित सिरों से पहचाने गए सीमा बिंदुओं के साथ) एक डूबे हुए सबमैनिफोल्ड है।]]मैनिफोल्ड ''एम'' का एक डूबा हुआ सबमैनफोल्ड एक [[विसर्जन (गणित)]] मानचित्र की छवि ''एस'' है {{nowrap|''f'' : ''N'' → ''M''}}; सामान्य तौर पर यह छवि एक उपसमुच्चय के रूप में एक उपमान नहीं होगी, और एक विसर्जन मानचित्र को [[ इंजेक्शन ]] (एक-से-एक) होने की भी आवश्यकता नहीं है - इसमें स्व-प्रतिच्छेदन हो सकते हैं।<ref>{{harvnb|Sharpe|1997|page=26}}.</ref>
[[Image:immersedsubmanifold nonselfintersection.jpg|thumb|150px|विवृत अंतराल की यह इमेज (तीर द्वारा चिह्नित सिरों से पहचाने गए सीमा बिंदुओं के साथ) एक निमज्जित हुए सबमैनिफोल्ड है।]]मैनिफोल्ड ''M'' का एक निमज्जित सबमैनफोल्ड एक निमज्‍जन (इमर्शन) प्रतिचित्र की इमेज ''S'' है {{nowrap|''f'' : ''N'' → ''M''}}; सामान्य तौर पर यह इमेज एक उपसमुच्चय के रूप में एक उपमान नहीं होगी, और एक इमर्शन प्रतिचित्र को इंजेक्शन (एक-से-एक) होने की भी आवश्यकता नहीं है - इसमें स्व-प्रतिच्छेदन हो सकते हैं।<ref>{{harvnb|Sharpe|1997|page=26}}.</ref>
अधिक संकीर्ण रूप से, किसी को मानचित्र की आवश्यकता हो सकती है {{nowrap|''f'' : ''N'' → ''M''}} एक इंजेक्शन (एक-से-एक) बनें, जिसमें हम इसे एक इंजेक्शन विसर्जन (गणित) कहते हैं, और एक [[टोपोलॉजी (संरचना)]] और [[विभेदक संरचना]] जैसे छवि उपसमुच्चय '' एस '' के रूप में एक डूबे हुए उपमान को परिभाषित करते हैं वह ''एस'' एक मैनिफोल्ड है और समावेशन ''एफ'' एक भिन्नरूपता है: यह सिर्फ ''एन'' पर टोपोलॉजी है, जो सामान्य तौर पर उपसमुच्चय टोपोलॉजी से सहमत नहीं होगा: सामान्य तौर पर उपसमुच्चय '' उपसमुच्चय टोपोलॉजी में S'', ''M'' का उपमान नहीं है।


किसी भी इंजेक्शन विसर्जन को देखते हुए {{nowrap|''f'' : ''N'' → ''M''}} एम में एन की [[छवि (गणित)]] को विशिष्ट रूप से एक डूबे हुए सबमैनिफोल्ड की संरचना दी जा सकती है ताकि {{nowrap|''f'' : ''N'' → ''f''(''N'')}} एक भिन्नरूपता है। इससे यह पता चलता है कि विसर्जित सबमैनिफोल्ड्स वास्तव में इंजेक्शन विसर्जन की छवियां हैं।
अधिक संकीर्ण रूप से, किसी को प्रतिचित्र की आवश्यकता हो सकती है {{nowrap|''f'' : ''N'' → ''M''}} एक इंजेक्शन (एक-से-एक) बनें, जिसमें हम इसे एक इंजेक्शन इमर्शन (गणित) कहते हैं, और एक टोपोलॉजी (संरचना) और [[विभेदक संरचना]] जैसे इमेज उपसमुच्चय ''S'' के रूप में एक निमज्जित हुए उपमान को परिभाषित करते हैं वह S एक मैनिफोल्ड है और समावेशन ''एफ'' एक भिन्नरूपता है: यह सिर्फ ''N'' पर टोपोलॉजी है, जो सामान्य तौर पर उपसमुच्चय टोपोलॉजी से सहमत नहीं होगा: सामान्य तौर पर ''उपसमुच्चय टोपोलॉजी में S'', ''M'' का उपमान नहीं है।


डूबे हुए सबमैनिफोल्ड पर सबमैनिफोल्ड टोपोलॉजी को एम से विरासत में मिली [[सबस्पेस टोपोलॉजी]] होने की आवश्यकता नहीं है। सामान्य तौर पर, यह सबस्पेस टोपोलॉजी की तुलना में [[बेहतर टोपोलॉजी]] होगी (यानी इसमें अधिक खुले सेट होंगे)।
किसी भी इंजेक्शन इमर्शन को देखते हुए {{nowrap|''f'' : ''N'' → ''M''}} ''M'' में ''N'' की [[छवि (गणित)|इमेज (गणित)]] को विशिष्ट रूप से एक निमज्जित हुए सबमैनिफोल्ड की संरचना दी जा सकती है ताकि {{nowrap|''f'' : ''N'' → ''f''(''N'')}} एक भिन्नरूपता है। इससे यह पता चलता है कि विसर्जित सबमैनिफोल्ड्स वास्तव में इंजेक्शन इमर्शन की इमेज हैं।


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


===एंबेडेड सबमैनिफोल्ड्स===
===एंबेडेड सबमैनिफोल्ड्स===


एक एम्बेडेड सबमैनिफोल्ड (जिसे रेगुलर सबमैनिफोल्ड भी कहा जाता है), एक डूबा हुआ सबमैनिफोल्ड है जिसके लिए समावेशन मानचित्र एक टोपोलॉजिकल [[एम्बेडिंग]] है। अर्थात्, ''एस'' पर सबमैनिफोल्ड टोपोलॉजी सबस्पेस टोपोलॉजी के समान है।
'''एम्बेडेड सबमैनिफोल्ड''' (जिसे '''रेगुलर सबमैनिफोल्ड''' भी कहा जाता है), एक इमर्शन सबमैनिफोल्ड है जिसके लिए समावेशन मानचित्र एक टोपोलॉजिकल एम्बेडिंग है। अर्थात्, S पर सबमैनिफोल्ड टोपोलॉजी, उपसमष्‍टि टोपोलॉजी के समान है।


किसी भी एम्बेडिंग को देखते हुए {{nowrap|''f'' : ''N'' → ''M''}}एम में मैनिफोल्ड एन की छवि एफ(एन) में स्वाभाविक रूप से एक एम्बेडेड सबमैनिफोल्ड की संरचना होती है। अर्थात्, एम्बेडेड सबमैनिफोल्ड्स बिल्कुल एम्बेडिंग की छवियां हैं।
किसी भी एम्बेडिंग को देखते हुए {{nowrap|''f'' : ''N'' → ''M''}} M में मैनिफोल्ड N की इमेज एफ(N) में स्वाभाविक रूप से एक एम्बेडेड सबमैनिफोल्ड की संरचना होती है। अर्थात्, एम्बेडेड सबमैनिफोल्ड्स बिल्कुल एम्बेडिंग की इमेजयां हैं।


एम्बेडेड सबमैनिफोल्ड की एक आंतरिक परिभाषा है जो अक्सर उपयोगी होती है। मान लीजिए कि M एक n-आयामी मैनिफ़ोल्ड है, और मान लीजिए कि k एक पूर्णांक है {{nowrap|0 ≤ ''k'' ≤ ''n''}}. एम का एक के-आयामी एम्बेडेड सबमैनिफोल्ड एक उपसमुच्चय है {{nowrap|''S'' ⊂ ''M''}} ऐसा कि हर बिंदु के लिए {{nowrap|''p'' ∈ ''S''}} एक चार्ट मौजूद है (टोपोलॉजी) {{nowrap|(''U'' ⊂ ''M'', ''φ'' : ''U'' → '''R'''<sup>''n''</sup>)}} जिसमें p इस प्रकार है {{nowrap|''φ''(''S'' ∩ ''U'')}} φ(U) के साथ एक k-आयामी विमान (गणित) का प्रतिच्छेदन है। जोड़े {{nowrap|(''S'' ∩ ''U'', ''φ''{{!}}<sub>''S'' ∩ ''U''</sub>)}} एस पर विभेदक संरचना के लिए एक [[एटलस (टोपोलॉजी)]] बनाएं।
एम्बेडेड सबमैनिफोल्ड की एक आंतरिक परिभाषा है जो प्रायः उपयोगी होती है। मान लीजिए कि M एक n-आयामी मैनिफ़ोल्ड है, और मान लीजिए कि k एक पूर्णांक है {{nowrap|0 ≤ ''k'' ≤ ''n''}}. एम का एक के-आयामी एम्बेडेड सबमैनिफोल्ड एक उपसमुच्चय है {{nowrap|''S'' ⊂ ''M''}} ऐसा कि हर बिंदु के लिए {{nowrap|''p'' ∈ ''S''}} एक चार्ट उपस्थित है (टोपोलॉजी) {{nowrap|(''U'' ⊂ ''M'', ''φ'' : ''U'' → '''R'''<sup>''n''</sup>)}} जिसमें p इस प्रकार है {{nowrap|''φ''(''S'' ∩ ''U'')}} φ(U) के साथ एक k-आयामी प्लेन (समतल गणित) का प्रतिच्छेदन है। जोड़े {{nowrap|(''S'' ∩ ''U'', ''φ''{{!}}<sub>''S'' ∩ ''U''</sub>)}} Sपर विभेदक संरचना के लिए एक [[एटलस (टोपोलॉजी)]] बनाएं।


अलेक्जेंडर का प्रमेय और स्कोनफ्लाइज़ प्रमेय|जॉर्डन-स्कोनफ्लाइज़ प्रमेय सुचारू एम्बेडिंग के अच्छे उदाहरण हैं।
अलेक्जेंडर का प्रमेय और स्कोनफ्लाइज़ प्रमेय|जॉर्डन-स्कोनफ्लाइज़ प्रमेय सुचारू एम्बेडिंग के अच्छे उदाहरण हैं।
Line 28: Line 29:
===अन्य विविधताएँ===
===अन्य विविधताएँ===


साहित्य में प्रयुक्त उपमानों की कुछ अन्य विविधताएँ भी हैं। एक [[ साफ-सुथरा सबमैनिफोल्ड ]] एक ऐसा मैनिफोल्ड है जिसकी सीमा संपूर्ण मैनिफोल्ड की सीमा से मेल खाती है।<ref>{{harvnb|Kosinski|2007|page=27}}.</ref> शार्प (1997) एक प्रकार के सबमैनिफोल्ड को परिभाषित करता है जो एक एम्बेडेड सबमैनिफोल्ड और एक डूबे हुए सबमैनिफोल्ड के बीच कहीं स्थित होता है।
साहित्य में प्रयुक्त उपमानों की कुछ अन्य विविधताएँ भी हैं। एक नीट सबमैनिफोल्ड एक ऐसा मैनिफोल्ड है जिसकी सीमा संपूर्ण मैनिफोल्ड की सीमा से मेल खाती है<ref>{{harvnb|Kosinski|2007|page=27}}.</ref> शार्प (1997) एक प्रकार के सबमैनिफोल्ड को परिभाषित करता है जो एक एम्बेडेड सबमैनिफोल्ड और एक निमज्जित हुए सबमैनिफोल्ड के बीच कहीं स्थित होता है।


कई लेखक टोपोलॉजिकल सबमैनिफोल्ड्स को भी परिभाषित करते हैं। ये C के समान हैं<sup>आर</sup>सबमैनिफोल्ड्स के साथ {{nowrap|1=''r'' = 0}}.<ref>{{harvnb|Lang|1999|pages=25–26}}. {{harvnb|Choquet-Bruhat|1968|page=11}}</ref> एम्बेडिंग का विस्तार करने वाले प्रत्येक बिंदु पर एक स्थानीय चार्ट के अस्तित्व के अर्थ में एक एम्बेडेड टोपोलॉजिकल सबमैनिफोल्ड आवश्यक रूप से नियमित नहीं है। प्रतिउदाहरणों में [[जंगली चाप]] और [[जंगली गांठ]]ें शामिल हैं।
कई लेखक टोपोलॉजिकल सबमैनिफोल्ड्स को भी परिभाषित करते हैं। कई लेखक टोपोलॉजिकल सबमैनिफोल्ड्स को भी परिभाषित करते हैं। ये {{nowrap|1=''r'' = 0}} के साथ Cr सबमेनिफोल्ड्स के समान हैं।<ref>{{harvnb|Lang|1999|pages=25–26}}. {{harvnb|Choquet-Bruhat|1968|page=11}}</ref> एम्बेडिंग का विस्तार करने वाले प्रत्येक बिंदु पर एक समष्‍टिीय चार्ट के अस्तित्व के अर्थ में एक एम्बेडेड टोपोलॉजिकल सबमैनिफोल्ड आवश्यक रूप से नियमित नहीं है। प्रतिउदाहरणों में वाइल्ड चाप (आर्क्स) और वाइल्ड गांठें (क्नोट्स) सम्मिलित हैं।


==गुण==
==गुण==


एम के किसी भी डूबे हुए सबमैनफोल्ड एस को देखते हुए, एस में एक बिंदु पी के [[स्पर्शरेखा स्थान]] को स्वाभाविक रूप से एम में पी के स्पर्शरेखा स्थान के एक रैखिक उप-स्थान के रूप में माना जा सकता है। यह इस तथ्य से पता चलता है कि समावेशन मानचित्र एक विसर्जन है और एक प्रदान करता है इंजेक्शन
एम के किसी भी निमज्जित हुए सबमैनफोल्ड Sको देखते हुए, S में एक बिंदु P के [[स्पर्शरेखा स्थान|स्पर्शरेखा समष्‍टि]] को स्वाभाविक रूप से M में P के स्पर्शरेखा समष्‍टि के एक रैखिक उप-समष्‍टि के रूप में माना जा सकता है। यह इस तथ्य से पता चलता है कि समावेशन प्रतिचित्र एक इमर्शन है और एक प्रदान करता है इंजेक्शन
: <math>i_{\ast}: T_p S \to T_p M.</math>
: <math>i_{\ast}: T_p S \to T_p M.</math>
मान लीजिए कि S, M का एक डूबा हुआ सबमैनिफोल्ड है। यदि समावेशन मानचित्र {{nowrap|''i'' : ''S'' → ''M''}} [[बंद नक्शा]] है तो एस वास्तव में एम का एक एम्बेडेड सबमैनिफोल्ड है। इसके विपरीत, यदि एस एक एम्बेडेड सबमैनिफोल्ड है जो एक [[बंद उपसमुच्चय]] भी है तो समावेशन नक्शा बंद है। समावेशन मानचित्र i : S → M बंद है यदि और केवल यदि यह एक [[उचित मानचित्र]] है (अर्थात [[कॉम्पैक्ट सेट]] की व्युत्क्रम छवियां कॉम्पैक्ट हैं)। यदि i बंद है तो S को M का 'क्लोज्ड एम्बेडेड सबमैनिफोल्ड' कहा जाता है। बंद एम्बेडेड सबमैनिफोल्ड्स सबमैनिफोल्ड्स का सबसे अच्छा वर्ग बनाते हैं।
मान लीजिए कि S, M का एक इमर्शन हुआ सबमैनिफोल्ड है। यदि समावेशन प्रतिचित्र {{nowrap|''i'' : ''S'' → ''M''}} सवृत मैप है तो ''S'' वास्तव में का ''M'' एम्बेडेड सबमैनिफोल्ड है। इसके विपरीत, यदि Sएक एम्बेडेड सबमैनिफोल्ड है जो एक सवृत उपसमुच्चय भी है तो समावेशन मैप सवृत है। समावेशन प्रतिचित्र i : S → M सवृत है यदि और केवल यदि यह एक उचित प्रतिचित्र है (अर्थात कॉम्पैक्ट समुच्चय की व्युत्क्रम इमेजयां कॉम्पैक्ट हैं)। यदि i सवृत है तो S को M का ''''क्लोज्ड एम्बेडेड सबमैनिफोल्ड'''<nowiki/>' कहा जाता है। सवृत एम्बेडेड सबमैनिफोल्ड्स सबमैनिफोल्ड्स का सबसे अच्छा वर्ग बनाते हैं।


==[[वास्तविक समन्वय स्थान]] के उपमानव==
==वास्तविक समन्वय समष्‍टि के सबमैनफोल्ड==


स्मूथ मैनिफोल्ड्स को कभी-कभी वास्तविक समन्वय स्थान 'आर' के एम्बेडेड सबमैनिफोल्ड्स के रूप में परिभाषित किया जाता है।<sup>n</sup>, कुछ n के लिए। यह दृष्टिकोण सामान्य, अमूर्त दृष्टिकोण के बराबर है, क्योंकि, [[व्हिटनी एम्बेडिंग प्रमेय]] द्वारा, किसी भी दूसरे-गणनीय स्थान | दूसरे-गणनीय चिकनी (अमूर्त) एम-मैनिफोल्ड को 'आर' में आसानी से एम्बेड किया जा सकता है।<sup>2 मी</sup>.
स्मूथ मैनिफोल्ड्स को कभी-कभी कुछ ''n'' के लिए वास्तविक समन्वय समष्‍टि R<sup>n</sup> के एम्बेडेड सबमैनिफोल्ड्स के रूप में परिभाषित किया जाता है।, यह दृष्टिकोण सामान्य, अमूर्त दृष्टिकोण के समतुल्य है, क्योंकि, व्हिटनी एम्बेडिंग प्रमेय के अनुसार, किसी भी दूसरे-गणनीय स्मूथ (अमूर्त) एम-मैनिफोल्ड को '''R'''<sup>2''m''</sup> में आसानी से एम्बेड किया जा सकता है।


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 53: Line 54:
*{{cite book | last = Sharpe | first = R. W. | title = Differential Geometry: Cartan's Generalization of Klein's Erlangen Program | publisher = Springer | location = New York | year=1997 | isbn=0-387-94732-9}}
*{{cite book | last = Sharpe | first = R. W. | title = Differential Geometry: Cartan's Generalization of Klein's Erlangen Program | publisher = Springer | location = New York | year=1997 | isbn=0-387-94732-9}}
*{{cite book | last = Warner | first = Frank W. | title = Foundations of Differentiable Manifolds and Lie Groups | publisher = Springer |location = New York | year=1983 | isbn=0-387-90894-3}}
*{{cite book | last = Warner | first = Frank W. | title = Foundations of Differentiable Manifolds and Lie Groups | publisher = Springer |location = New York | year=1983 | isbn=0-387-90894-3}}
{{Manifolds}}
{{Authority control}}
{{Authority control}}
[[Category: विभेदक टोपोलॉजी]] [[Category: कई गुना]]


[[Category: Machine Translated Page]]
[[Category:Created On 03/07/2023]]
[[Category:Created On 03/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:कई गुना]]
[[Category:विभेदक टोपोलॉजी]]

Latest revision as of 10:16, 28 August 2023

स्व-प्रतिच्छेदन के साथ विसर्जित कई गुना सीधी रेखा

गणित में, मैनिफोल्ड M का एक सबमैनिफोल्ड एक उपसमुच्चय S है जिसमें मैनिफोल्ड की संरचना स्वयं होती है, और जिसके लिए समावेशन प्रतिचित्र S → M कुछ गुणों को संतुष्ट करता है। वास्तव में किन गुणों की आवश्यकता है, इसके आधार पर विभिन्न प्रकार के सबमैनिफोल्ड होते हैं। अलग-अलग लेखकों की प्रायः अलग-अलग परिभाषाएँ होती हैं।

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

निम्नलिखित में हम मानते हैं कि सभी मैनिफ़ोल्ड एक निश्चित r ≥ 1 के लिए वर्ग Cr के भिन्न-भिन्न मैनिफ़ोल्ड हैं, और सभी आकारिकी वर्ग Cr के भिन्न-भिन्न हैं।

विसर्जित उपमान

विवृत अंतराल की यह इमेज (तीर द्वारा चिह्नित सिरों से पहचाने गए सीमा बिंदुओं के साथ) एक निमज्जित हुए सबमैनिफोल्ड है।

मैनिफोल्ड M का एक निमज्जित सबमैनफोल्ड एक निमज्‍जन (इमर्शन) प्रतिचित्र की इमेज S है f : N → M; सामान्य तौर पर यह इमेज एक उपसमुच्चय के रूप में एक उपमान नहीं होगी, और एक इमर्शन प्रतिचित्र को इंजेक्शन (एक-से-एक) होने की भी आवश्यकता नहीं है - इसमें स्व-प्रतिच्छेदन हो सकते हैं।[1]

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

किसी भी इंजेक्शन इमर्शन को देखते हुए f : N → M M में N की इमेज (गणित) को विशिष्ट रूप से एक निमज्जित हुए सबमैनिफोल्ड की संरचना दी जा सकती है ताकि f : N → f(N) एक भिन्नरूपता है। इससे यह पता चलता है कि विसर्जित सबमैनिफोल्ड्स वास्तव में इंजेक्शन इमर्शन की इमेज हैं।

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

निमज्जित हुए सबमैनिफोल्ड लाई समूहों के सिद्धांत में होते हैं जहां लाई उपसमूह स्वाभाविक रूप से निमज्जित हुए सबमैनिफोल्ड होते हैं। वे पत्तियों से सजाना के अध्ययन में भी दिखाई देते हैं जहां निमज्जित हुए सबमैनिफोल्ड्स फ्रोबेनियस प्रमेय (डिफरेंशियल टोपोलॉजी) को साबित करने के लिए सही संदर्भ प्रदान करते हैं।

एंबेडेड सबमैनिफोल्ड्स

एम्बेडेड सबमैनिफोल्ड (जिसे रेगुलर सबमैनिफोल्ड भी कहा जाता है), एक इमर्शन सबमैनिफोल्ड है जिसके लिए समावेशन मानचित्र एक टोपोलॉजिकल एम्बेडिंग है। अर्थात्, S पर सबमैनिफोल्ड टोपोलॉजी, उपसमष्‍टि टोपोलॉजी के समान है।

किसी भी एम्बेडिंग को देखते हुए f : N → M M में मैनिफोल्ड N की इमेज एफ(N) में स्वाभाविक रूप से एक एम्बेडेड सबमैनिफोल्ड की संरचना होती है। अर्थात्, एम्बेडेड सबमैनिफोल्ड्स बिल्कुल एम्बेडिंग की इमेजयां हैं।

एम्बेडेड सबमैनिफोल्ड की एक आंतरिक परिभाषा है जो प्रायः उपयोगी होती है। मान लीजिए कि M एक n-आयामी मैनिफ़ोल्ड है, और मान लीजिए कि k एक पूर्णांक है 0 ≤ k ≤ n. एम का एक के-आयामी एम्बेडेड सबमैनिफोल्ड एक उपसमुच्चय है S ⊂ M ऐसा कि हर बिंदु के लिए p ∈ S एक चार्ट उपस्थित है (टोपोलॉजी) (U ⊂ M, φ : U → Rn) जिसमें p इस प्रकार है φ(S ∩ U) φ(U) के साथ एक k-आयामी प्लेन (समतल गणित) का प्रतिच्छेदन है। जोड़े (S ∩ U, φ|S ∩ U) Sपर विभेदक संरचना के लिए एक एटलस (टोपोलॉजी) बनाएं।

अलेक्जेंडर का प्रमेय और स्कोनफ्लाइज़ प्रमेय|जॉर्डन-स्कोनफ्लाइज़ प्रमेय सुचारू एम्बेडिंग के अच्छे उदाहरण हैं।

अन्य विविधताएँ

साहित्य में प्रयुक्त उपमानों की कुछ अन्य विविधताएँ भी हैं। एक नीट सबमैनिफोल्ड एक ऐसा मैनिफोल्ड है जिसकी सीमा संपूर्ण मैनिफोल्ड की सीमा से मेल खाती है[2] शार्प (1997) एक प्रकार के सबमैनिफोल्ड को परिभाषित करता है जो एक एम्बेडेड सबमैनिफोल्ड और एक निमज्जित हुए सबमैनिफोल्ड के बीच कहीं स्थित होता है।

कई लेखक टोपोलॉजिकल सबमैनिफोल्ड्स को भी परिभाषित करते हैं। कई लेखक टोपोलॉजिकल सबमैनिफोल्ड्स को भी परिभाषित करते हैं। ये r = 0 के साथ Cr सबमेनिफोल्ड्स के समान हैं।[3] एम्बेडिंग का विस्तार करने वाले प्रत्येक बिंदु पर एक समष्‍टिीय चार्ट के अस्तित्व के अर्थ में एक एम्बेडेड टोपोलॉजिकल सबमैनिफोल्ड आवश्यक रूप से नियमित नहीं है। प्रतिउदाहरणों में वाइल्ड चाप (आर्क्स) और वाइल्ड गांठें (क्नोट्स) सम्मिलित हैं।

गुण

एम के किसी भी निमज्जित हुए सबमैनफोल्ड Sको देखते हुए, S में एक बिंदु P के स्पर्शरेखा समष्‍टि को स्वाभाविक रूप से M में P के स्पर्शरेखा समष्‍टि के एक रैखिक उप-समष्‍टि के रूप में माना जा सकता है। यह इस तथ्य से पता चलता है कि समावेशन प्रतिचित्र एक इमर्शन है और एक प्रदान करता है इंजेक्शन

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

वास्तविक समन्वय समष्‍टि के सबमैनफोल्ड

स्मूथ मैनिफोल्ड्स को कभी-कभी कुछ n के लिए वास्तविक समन्वय समष्‍टि Rn के एम्बेडेड सबमैनिफोल्ड्स के रूप में परिभाषित किया जाता है।, यह दृष्टिकोण सामान्य, अमूर्त दृष्टिकोण के समतुल्य है, क्योंकि, व्हिटनी एम्बेडिंग प्रमेय के अनुसार, किसी भी दूसरे-गणनीय स्मूथ (अमूर्त) एम-मैनिफोल्ड को R2m में आसानी से एम्बेड किया जा सकता है।

टिप्पणियाँ

  1. ↑ Sharpe 1997, p. 26.
  2. ↑ Kosinski 2007, p. 27.
  3. ↑ Lang 1999, pp. 25–26. Choquet-Bruhat 1968, p. 11


संदर्भ

  • Choquet-Bruhat, Yvonne (1968). Géométrie différentielle et systèmes extérieurs. Paris: Dunod.
  • Kosinski, Antoni Albert (2007) [1993]. Differential manifolds. Mineola, New York: Dover Publications. ISBN 978-0-486-46244-8.
  • Lang, Serge (1999). Fundamentals of Differential Geometry. Graduate Texts in Mathematics. New York: Springer. ISBN 978-0-387-98593-0.
  • Lee, John (2003). Introduction to Smooth Manifolds. Graduate Texts in Mathematics 218. New York: Springer. ISBN 0-387-95495-3.
  • Sharpe, R. W. (1997). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. New York: Springer. ISBN 0-387-94732-9.
  • Warner, Frank W. (1983). Foundations of Differentiable Manifolds and Lie Groups. New York: Springer. ISBN 0-387-90894-3.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=सबमैनिफोल्ड&oldid=253792’