View source for अंतर्वेशन (गणित)

{{Short description|Differentiable function whose derivative is everywhere injective}}
[[File:Klein bottle.svg|thumb|क्लेन बोतल, 3-स्पेस में डूबी हुई।]]गणित में, अंतर्वेशन एक विभेदक बहुखंड के बीच एक विभेदक कार्य है जिसका पुशफॉरवर्ड (विभेदक) हर जगह [[ इंजेक्शन |अंतःक्षेपक]] होता है।<ref>This definition is given by {{harvnb|Bishop|Crittenden|1964|page=185}}, {{harvnb|Darling|1994|page=53}}, {{harvnb|do Carmo|1994|page=11}}, {{harvnb|Frankel|1997|page=169}}, {{harvnb|Gallot|Hulin|Lafontaine|2004|page=12}}, {{harvnb|Kobayashi|Nomizu|1963|page=9}}, {{harvnb|Kosinski|2007|page=27}}, {{harvnb|Szekeres|2004|page=429}}.</ref> स्पष्ट रूप से, {{nowrap|''f'' : ''M'' → ''N''}} एक अंतर्वेशन है अगर

:<math>D_pf : T_p M \to T_{f(p)}N\,</math>
M के प्रत्येक बिंदु p पर एक अंतःक्षेपी कार्य है, जहाँ ''T<sub>p</sub>X'' में एक बिंदु ''p'' पर बहुखंड ''X'' के [[स्पर्शरेखा स्थान]] को दर्शाता है। समतुल्य रूप से, ''f'' एक अंतर्वेशन है यदि इसके व्युत्पन्न में M के आकार के बराबर निरंतर रैंक [[रैंक (अंतर टोपोलॉजी)|(अंतर टोपोलॉजी)]] है:<ref>This definition is given by {{harvnb|Crampin|Pirani|1994|page=243}}, {{harvnb|Spivak|1999|page=46}}.</ref>
:<math>\operatorname{rank}\,D_p f = \dim M.</math>
कार्य f को अंतःक्षेपी होने की आवश्यकता नहीं है, केवल इसका व्युत्पन्न अंतःक्षेपी होना चाहिए।

अंतर्वेशन से संबंधित अवधारणा एक अंत:स्थापन भी है। एक सुचारु अंत:स्थापन एक अंतःक्षेपी अंतर्वेशन है {{nowrap|''f'' : ''M'' → ''N''}} जो एक [[टोपोलॉजिकल एम्बेडिंग|संस्थानिक अंत:स्थापन]] भी है, ताकि N की छवि में M भिन्न हो। अंतर्वेशन एक निश्चित रूप से [[स्थानीय एम्बेडिंग|स्थानीय अंत:स्थापन]] है - यानी किसी भी बिंदु {{nowrap|''x'' ∈ ''M''}} के लिए एक {{nowrap|''U'' ⊆ ''M''}}, बिंदु x का [[पड़ोस (टोपोलॉजी)|प्रतिवेश(टोपोलॉजी)]] है और इस तरह, {{nowrap|''f'' : ''U'' → ''N''}} एक अंत:स्थापन है, और इसके विपरीत एक स्थानीय अंत:स्थापन एक अंतर्वेशन है।<ref>This kind of definition, based on local diffeomorphisms, is given by {{harvnb|Bishop|Goldberg|1968|page=40}}, {{harvnb|Lang|1999|page=26}}.</ref> कभी-कभी अनंत बहुखंडीय आकार के लिए, इसे अंतर्वेशन की परिभाषा के रूप में लिया जाता है।<ref>This kind of infinite-dimensional definition is given by {{harvnb|Lang|1999|page=26}}.</ref>

[[File:Injectively_immersed_submanifold_not_embedding.svg|thumb|अंतःक्षेपी द्वारा [[डूबा हुआ सबमेनिफोल्ड|अंतर्वेशित उपबहुखण्ड]] जो अंत:स्थापन नहीं है।]]यदि M [[ कॉम्पैक्ट जगह |कॉम्पैक्ट]] है, तो अंतःक्षेपी अंतर्वेशन एक अंत:स्थापन हो सकते है, लेकिन यदि M कॉम्पैक्ट नहीं है तो अंतःक्षेपी वाले अंतर्वेशन अंत:स्थापन नहीं हो सकते है। निरंतर आक्षेप बनाम [[होमियोमोर्फिज्म|समरूपता]] की तुलना करें।

== [[नियमित होमोटॉपी|नियमित समरूपता]] ==
[[कई गुना|बहुखंड]] M से बहुखंड N तक दो अंतर्वेशन f और g के बीच एक नियमित समरूपता को एक भिन्न कार्य {{nowrap|''H'' : ''M'' × [0,1] → ''N''}} के रूप में परिभाषित किया जाता है। जैसे कि [0, 1] में सभी t के लिए क्रिया {{nowrap|''H<sub>t</sub>'' : ''M'' → ''N''}} द्वारा परिभाषित {{nowrap|1=''H<sub>t</sub>''(''x'') = ''H''(''x'', ''t'')}} सभी {{nowrap|''x'' ∈ ''M''}} के लिए {{nowrap|1=''H''<sub>0</sub> = ''f''}}, {{nowrap|1=''H''<sub>1</sub> = ''g''}} के साथ एक अंतर्वेशन है। इस प्रकार अंतर्वेशन के माध्यम से नियमित [[नियमित होमोटॉपी|समरूपता]] एक [[नियमित होमोटॉपी|समरूपता]] है।

== वर्गीकरण ==
[[हस्लर व्हिटनी]] ने 1940 के दशक में अंतर्वेशन और नियमित [[नियमित होमोटॉपी|समरूपता]] के व्यवस्थित अध्ययन की शुरुआत की, यह प्रभावित करते हुए कि {{nowrap|1=2''m'' < ''n'' + 1}} प्रत्येक मानचित्र के ''f'' : ''M <sup>m</sup>'' → ''N <sup>n</sup>'' में बहुखंडीय आकार M से बहुखंडीय आकार N एक अंतर्वेशन के लिए [[होमोटोपिक|समरूपता]] है, और वास्तव में {{nowrap|2''m'' < ''n''}} के लिए एक [[एम्बेडिंग|अंत:स्थापन]] है; ये [[व्हिटनी विसर्जन प्रमेय|व्हिटनी अंतर्वेशन सिद्धांत]] और [[व्हिटनी एम्बेडिंग प्रमेय|व्हिटनी अंत:स्थापन सिद्धांत]] हैं।

[[स्टीफन स्मेल]] ने अंतर्वेशन की नियमित समरूपता श्रेणियों {{nowrap|''f'' : ''M<sup>m</sup>'' → '''R'''<sup>''n''</sup>}} को एक निश्चित [[स्टिफ़ेल कई गुना|स्टिफ़ेल बहुखंड]] के समरूपता समूहों के रूप में व्यक्त किया था जिसमे विशेष रूप से [[गोले का फैलाव]] एक विचित्र परिणाम था।

मॉरिस हिर्श ने स्मेल की अभिव्यक्ति किसी भी ''m'' -बहुखंडीय आकार ''M<sup>m</sup>'' को किसी भी ''n''-बहुखंडीय आकार ''N<sup>n</sup>'' में अंतर्वेशन के नियमित समरूपता श्रेणियों के समरूपता सिद्धांत विवरण के लिए सामान्यीकृत किया था।

अंतर्वेशन के हिर्श-स्माइल वर्गीकरण को गणितज्ञ मिखाइल ग्रोमोव द्वारा सामान्यीकृत किया गया था।

=== अस्तित्व ===
[[File:MobiusStrip-01.png|thumb|मोबियस पट्टी सहआकार 0 में अंतर्वेशित नहीं है क्योंकि इसकी स्पर्शरेखा समूह गैर-नगण्य है।]]स्टिफ़ेल-व्हिटनी श्रेणियों के [[विशेषता वर्ग|विशेषता]] वर्गों के अनुसार अंतर्वेशन के अस्तित्व के लिए प्राथमिक बाधा {{nowrap|''i'' : ''M<sup>m</sup>'' → '''R'''<sup>''n''</sup>}} में M का [[स्थिर सामान्य बंडल|स्थिर सामान्य समूह]] है। अर्थात् '''R'''<sup>''n''</sup> [[समानांतर कई गुना|समानांतर]] है, और इसके स्पर्शरेखा [[स्थिर सामान्य बंडल|समूह]] का M पर रुकावट नगण्य है; इसलिए यह रुकावट M स्पर्शरेखा [[स्थिर सामान्य बंडल|समूह]] का प्रत्यक्ष योग है, TM पर जिसका आकार m है, और सामान्य समूह ν जिसका अंतर्वेशन i, और जिसका आकार {{nowrap|''n'' − ''m''}} है, M अंतर्वेशन होने के लिए k का [[ codimension |सहआकार]], आकार k का एक वेक्टर समूह होना चाहिए, ξ<sup>k</sup>, सामान्य समूह ν के लिए स्थित है, जैसे कि {{nowrap|''TM'' ⊕ ''ξ''<sup>''k''</sup>}} नगण्य है। इसके विपरीत, इस तरह के एक समूह को देखते हुए, इस सामान्य समूह के साथ M का अंतर्वेशन इस समूह के कुल स्थान के कोडिंग 0 अंतर्वेशन के बराबर होता है, जो एक खुला बहुखंड है।

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

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

उदाहरण के लिए, मोबियस पट्टी में गैर-नगण्य स्पर्शरेखा समूह है, इसलिए यह [[ codimension |सहआकार]] 0 (''''R'''<sup>2</sup>' में) में अंतर्वेशन नहीं हो सकता है, हालांकि यह [[ codimension |सहआकार]]1(R<sup>3</sup>) में अंत:स्थापन होता है। 

{{harvs|authorlink=विलियम एस मैसी|first=विलियम एस.|last=मैसी|year=1960|txt}} ने दिखाया कि स्टिफ़ेल-व्हिटनी द्वारा विकसित स्थिर सामान्य समूह श्रेणियों की विशेषता श्रेणी {{nowrap|''n'' − ''α''(''n'')}}डिग्री से ऊपर लुप्त हो जाते हैं, जहाँ {{nowrap|''α''(''n'')}} 1 अंकों की संख्या है जब n को बाइनरी में लिखा जाता है; [[वास्तविक प्रक्षेप्य स्थान]] के अनुसार यह बाधा स्पष्ट है। {{harvs|first=राल्फ लुइस|last=कोहेन|authorlink=राल्फ लुइस|year=1985|txt}} द्वारा इस अंतर्वेशन अनुमान को प्रमाणित किया गया था कि '''R'''<sup>2''n''−α(''n''),</sup> अर्थात् प्रत्येक n-बहुखंडीय को सहआकार {{nowrap|''n'' − ''α''(''n'')}} में अंतर्वेशन किया जा सकता है। 

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

इसके अतिरिक्त, सहआकार 0 अंतर्वेशन अन्य अंतर्वेशन की तरह व्यवहार नहीं करते हैं, जो व्यापक रूप से स्थिर सामान्य समूह द्वारा निर्धारित होते हैं: सहआकार 0 में [[मौलिक वर्ग]] और कवर रिक्त स्थान के मुद्दे हैं। उदाहरण के लिए, कोई सहआकार 0 अंतर्वेशन नहीं है {{nowrap|'''S'''<sup>1</sup> → '''R'''<sup>1</sup>}}, वृत्त के समानांतर होने के बावजूद, जिसे सिद्ध किया जा सकता है क्योंकि रेखा का कोई मौलिक वर्ग नहीं है, इसलिए किसी को शीर्ष कोहोलॉजी पर आवश्यक नक्शा नहीं मिलता है। वैकल्पिक रूप से, यह डोमेन के व्युत्क्रम द्वारा है। इसी तरह, हालांकि एस<sup>3</sup> और 3-टोरस टी<sup>3</sup> दोनों समानांतर हैं, कोई अंतर्वेशन नहीं है {{nowrap|'''T'''<sup>3</sup> → '''S'''<sup>3</sup>}} - ऐसे किसी भी आवरण को कुछ बिंदुओं पर शाखाबद्ध करना होगा, क्योंकि गोला सरलता से जुड़ा हुआ है।

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

== एकाधिक बिंदु ==
अंतर्वेशन {{nowrap|''f'' : ''M'' → ''N''}}, का k-टपल बिंदु (दोगुना, तिगुना, आदि) एक ही छवि {{nowrap|''f''(''x<sub>i</sub>'') ∈ ''N''}} के साथ अलग-अलग बिंदु {{nowrap|''x<sub>i</sub>'' ∈ ''M''}} का अनियंत्रित समुच्चय {{nowrap|{''x''<sub>1</sub>, ..., ''x<sub>k</sub>''}{{null}}}} है। यदि M एक बहुखंडीय आकार m और N एक बहुखंडीय आकार n है तो सामान्य स्तिथि में अंतर्वेशन f : M → N का k-टपल बिंदुओं का समुच्चय {{nowrap|(''n'' − ''k''(''n'' − ''m''))}}- एक बहुखंडीय आकार है। जहाँ {{nowrap|''k'' > 1}} है वहां प्रत्येक अंत:स्थापन एकाधिक बिंदुओं के बिना एक अंतर्वेशन हैं। हालांकि,यह विवरण गलत है क्योंकि ऐसे अंतःक्षेपी वाले अंतर्वेशन हैं जो अंत:स्थापन नहीं हैं।

एकाधिक बिंदुओं की प्रकृति अंतर्वेशन को वर्गीकृत करती है; उदाहरण के लिए, समतल में एक वृत्त के अंतर्वेशन को दोहरे बिंदुओं की संख्या के आधार पर नियमित समरूपता तक वर्गीकृत किया जाता है।

शल्य चिकित्सा सिद्धांत में एक प्रमुख बिंदु पर यह तय करना आवश्यक है कि क्या एक विसर्जन ''f'' : '''S''' <sup>''m''</sup> → ''N'' <sup>2 ''m''</sup> का ''m'' -वृत्त बहुखंडीय आकार 2m में एक अंत:स्थापन के लिए नियमित समरूपता है, जिस स्थिति में इसे सर्जरी द्वारा समाप्त किया जा सकता है। सी.टी.सी.वाल से सम्बंधित एक अपरिवर्तनीय ''μ'' ( ''f )'' से के एक भागफल f में [[मौलिक समूह]] वलय '''Z''' [ π <sub>1</sub> ( ''N'' )] जो N के सर्वव्यापक कवच में ''f'' के दोहरे बिंदुओं की गणना करता है। हस्लर व्हिटनी ट्रिक के अनुसार {{nowrap|''m'' > 2}} अंत:स्थापन होने के लिएअगर और केवल अगर {{nowrap|1=''μ''(''f'') = 0}} है तो f एक नियमित समरूपता है। 

एकाधिक बिंदुओं के बिना अंत:स्थापन को अंतर्वेशन के रूप में अध्ययन किया जा सकता है, क्योंकि अंतर्वेशन को वर्गीकृत करना आसान होता है। इस प्रकार,यह देखते हुए कि क्या कोई अन्य विशिष्टताएं प्रस्तुत किए बिना कई संयोजनों का अध्ययन करके एकाधिक बिंदुओं को खत्म करने का प्रयास करके अंतर्वेशन से शुरू कर सकता है। यह पहली बार एंड्रे हैफ्लिगर द्वारा किया गया था, और सर्जरी सिद्धांत के दृष्टिकोण से, यह सहआकार 2 के विपरीत उच्च सहआकार है, जो [[गाँठ सिद्धांत]] के रूप में गाँठ आकार है यह दृष्टिकोण सहआकार 3 या अधिक में उपयोगी है। यह [http://www.math.brown.edu/facademy/goodwillie.html थॉमस गुडविली], [http://www.math.wayne.edu/~klein/ जॉन क्लेन और माइकल एस वीस द्वारा कारकों की गणना के माध्यम से स्पष्ट रूप से अध्ययन किया गया है] ।

== उदाहरण और गुण ==
[[File:Quadrifolium.svg|thumb|upright=1.1|[[चार मुखी तिपतिया]], 4 पंखुड़ी वाला गुलाब।]]* k पंखुड़ियों वाला एक गणितीय [[गुलाब (गणित)]] एक एकल k-ट्यूपल बिंदु के साथ समतल में वृत्त का अंतर्वेशन है; k कोई भी विषम संख्या हो सकती है, लेकिन यदि सम संख्या है तो 4 का गुणक भी होना चाहिए, तो k = 2 के साथ आंकड़ा 8, गुलाब नहीं है।
* क्लेन बोतल, और अन्य सभी गैर-उन्मुख बंद सतहों को 3-स्थान में अंतर्वेश किया जा सकता है लेकिन अंत:स्थापित नहीं किया जा सकता है।
* व्हिटनी-ग्रौस्टीन सिद्धांत द्वारा, वृत्त की समतल सतह के अंतर्वेशन के नियमित समरूपता वर्गों को [[घुमावदार संख्या]] द्वारा वर्गीकृत किया जाता है, जो कि बीजगणितीय रूप से गिने जाने वाले दोहरे बिंदुओं की संख्या भी है (अर्थात संकेतों के साथ)।
* स्तरीय अंत:स्थापन {{nowrap|''f''<sub>0</sub> : '''S'''<sup>2</sup> → '''R'''<sup>3</sup>}} से संबंधित {{nowrap|1=''f''<sub>1</sub> = −''f''<sub>0</sub> : '''S'''<sup>2</sup> → '''R'''<sup>3</sup>}} अंतर्वेशन की एक नियमित समरूपता {{nowrap|''f<sub>t</sub>'' : '''S'''<sup>2</sup> → '''R'''<sup>3</sup>}} द्वारा वृत्त को अंदर बाहर किया जा सकता है।
* बॉय की सतह 3-अंतरिक्ष में वास्तविक प्रक्षेपी तल का अंतर्वेशन है इस प्रकार ये 2-से-1वृत्त का अंतर्वेशन भी है।
* मोरिन सतह वृत्त का अंतर्वेशन है; यह सतह और बॉय की सतह दोनों वृत्ताकार विचलन में मध्य प्रतिरूपण के रूप में उत्पन्न होती हैं।

<gallery widths="250px" heights="200px">
File:BoysSurfaceTopView.PNG|लड़के की सतह
File:MorinSurfaceAsSphere'sInsideVersusOutside.PNG|[[मोरिन सतह]]
</gallery>


=== अंतर्वेशित समतल वक्र ===
[[File:Winding Number Around Point.svg|thumb|upright=1.1|इस वक्र की [[कुल वक्रता]] 6 है{{pi}}, और [[टर्निंग नंबर]] 3, हालांकि इसमें p के बारे में केवल वाइंडिंग नंबर 2 है।]]अंतर्वेशित समतल वक्रों में एक अच्छी तरह से परिभाषित घुमावदार संख्या होती है, जिसकी कुल वक्रता को 2π से विभाजित करके परिभाषित किया जा सकता है। व्हिटनी-ग्रौस्टीन सिद्धांत द्वारा यह नियमित समरूपता के तहत स्थलीय रूप से अपरिवर्तनीय है - यह [[गॉस का नक्शा]] की डिग्री है, या स्रोत के बारे में इकाई स्पर्शरेखा (जो अदृश्य नहीं होती) की घुमावदार संख्या है। इसके अतिरिक्त, समान घुमावदार संख्या वाले कोई भी दो समतल वक्र नियमित समरूपता हैं, इसलिए यह अपरिवर्तनीयों का एक पूरा समुच्चय है।

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

'''<big>3-स्थानों में अंतर्वेशित सतहें</big>'''

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

समतल वक्रों के स्तिथियों के विपरीत, एक आधारभूत परिणाम यह है कि प्रत्येक अंतर्वेशित सतह एक अंतःस्थापित सतह तक नहीं उठती है।<ref>{{Harvnb|Carter|Saito|1998}}; {{Harvnb|Carter|Kamada|Saito|2004|loc=[https://books.google.com/books?id=erc9fktHqhsC&pg=PA17 Remark 1.23, p. 17]}}</ref> [http://www.southalabama.edu/mathstat/personal_pages/carter/nukos.jpg कोस्चोर्क का उदाहरण],<ref>{{Harvnb|Koschorke|1979}}</ref> के अनुसार कुछ स्तिथियों में 2-घुमावदार बाधा है जो एक अंतर्वेशत सतह है (3 मोबियस बैंड से निर्मित, तीन बिंदुओं के साथ) जो एक अंतःस्थापित वाली सतह तक नहीं उठती है, लेकिन इसमें एक दोहरा कवच होता है जो वृद्धि करता है।

== सामान्यीकरण ==
अंतर्वेशन सिद्धांत का एक दूरगामी सामान्यीकरण [[होमोटॉपी सिद्धांत|समरूपता सिद्धांत]] है:

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

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

* अंतर्वेशित उपबहुखण्ड 
* [[आइसोमेट्रिक विसर्जन|आइसोमेट्रिक अंतर्वेशन]]
*अंतर्वेशन (गणित)

==टिप्पणियाँ==
{{reflist}}


==संदर्भ==
{{refbegin}}
* {{Citation|title=Embeddings and immersions |first=Masahisa |last=Adachi |translator=Kiki Hudson |isbn=978-0-8218-4612-4 |year=1993 |url=https://books.google.com/books?id=JcMwHWSBSB4C}}
*{{Citation|author-link=Vladimir Arnold|first1=V. I.|last1=Arnold|first2=A. N.|last2=Varchenko|first3=S. M. |last3=Gusein-Zade|title=Singularities of Differentiable Maps: Volume 1|publisher=Birkhäuser|year=1985 |isbn=0-8176-3187-9}}
* {{citation|last1=Bishop|first1=Richard Lawrence|author-link1=Richard L. Bishop|last2=Crittenden |first2=Richard J.|title=Geometry of manifolds|publisher=Academic Press|location=New York|year=1964 |isbn=978-0-8218-2923-3}}
* {{citation|last1=Bishop|first1=R. L.|author1-link=Richard L. Bishop|last2=Goldberg|first2=S. I. |title=Tensor Analysis on Manifolds|publisher=The Macmillan Company|year=1968|edition=First Dover 1980 |isbn=0-486-64039-6|url-access=registration|url=https://archive.org/details/tensoranalysison00bish}}
*{{Citation|first1=J. W.|last1=Bruce|first2=P. J.|last2=Giblin|title=Curves and Singularities |publisher=Cambridge University Press|year=1984|isbn=0-521-42999-4}}
*{{citation
 | last1 = Carter | first1 = J. Scott
 | last2 = Saito | first2 = Masahico
 | contribution = Surfaces in 3-space that do not lift to embeddings in 4-space
 | citeseerx = 10.1.1.44.1505
 | mr = 1634445
 | pages = 29–47
 | publisher = Polish Acad. Sci., Warsaw
 | series = Banach Center Publ.
 | title = Knot theory (Warsaw, 1995)
 | volume = 42
 | year = 1998a}}.
*{{Citation |first1=J. Scott |last1=Carter |first2=Masahico |last2=Saito |year=1998 |title=Knotted Surfaces and Their Diagrams |series=Mathematical Surveys and Monographs |volume=55 |pages=258 |isbn=978-0-8218-0593-0 }}
*{{citation
 | last1 = Carter | first1 = Scott
 | last2 = Kamada | first2 = Seiichi
 | last3 = Saito | first3 = Masahico
 | doi = 10.1007/978-3-662-10162-9
 | isbn = 3-540-21040-7
 | mr = 2060067
 | publisher = Springer-Verlag | location = Berlin
 | series = Encyclopaedia of Mathematical Sciences
 | title = Surfaces in 4-space
 | volume = 142
 | year = 2004}}.
*{{citation
 | last = Cohen | first = Ralph L.
 | doi = 10.2307/1971304
 | issue = 2
 | journal = [[Annals of Mathematics]]
 | mr = 808220
 | pages = 237–328
 | series = Second Series
 | title = The immersion conjecture for differentiable manifolds
 | volume = 122
 | year = 1985| jstor = 1971304
 }}.
* {{citation|last1=Crampin|first1=Michael|last2=Pirani|first2=Felix Arnold Edward|title=Applicable differential geometry|publisher=Cambridge University Press|location=Cambridge, England|year=1994|isbn=978-0-521-23190-9|url-access=registration|url=https://archive.org/details/applicablediffer0000cram}}
* {{citation |last=Darling|first=Richard William Ramsay |title=Differential forms and connections |publisher=Cambridge University Press |location=Cambridge, UK |year=1994 |bibcode=1994dfc..book.....D |isbn=978-0-521-46800-8}}.
*{{citation|title = Riemannian Geometry|first=Manfredo Perdigao | last = do Carmo |author-link=Manfredo do Carmo | year = 1994|isbn=978-0-8176-3490-2}}
* {{citation|last=Frankel|first=Theodore|title=The Geometry of Physics|publisher=Cambridge University Press|location=Cambridge|year=1997|isbn=0-521-38753-1}}
* {{citation | last1=Gallot | first1=Sylvestre | last2=Hulin | first2=Dominique|author2-link=Dominique Hulin | last3=Lafontaine | first3=Jacques | title=Riemannian Geometry | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | isbn=978-3-540-20493-0 | year=2004}}
*{{Citation|author-link=Mikhail Gromov (mathematician)|first=M.|last=Gromov|title=Partial differential relations|publisher=Springer|year=1986|isbn=3-540-12177-3}}
*{{citation
 | last = Hirsch | first = Morris W. | author-link = Morris Hirsch
 | doi = 10.2307/1993453
 | journal = [[Transactions of the American Mathematical Society]]
 | mr = 0119214
 | pages = 242–276
 | title = Immersions of manifolds
 | volume = 93
 | year = 1959| issue = 2 | jstor = 1993453 | doi-access = free
 }}.
*{{citation|last1=Kobayashi|first1=Shoshichi|last2=Nomizu|first2=Katsumi | title = Foundations of Differential Geometry, Volume 1| publisher=Wiley-Interscience |location=New York| year=1963}}
*{{citation
 | last = Koschorke | first = Ulrich
 | doi = 10.1007/BF01214837
 | issue = 3
 | journal = [[Mathematische Zeitschrift]]
 | mr = 554526
 | pages = 223–236
 | title = Multiple points of immersions, and the Kahn-Priddy theorem
 | volume = 169
 | year = 1979| s2cid = 121273182
 }}.
*{{citation|last=Kosinski|first=Antoni Albert|year=2007|orig-year=1993|title=Differential manifolds|location=Mineola, New York|publisher=Dover Publications|isbn=978-0-486-46244-8}}
*{{citation | isbn = 978-0-387-98593-0 | title = Fundamentals of Differential Geometry | last1 = Lang | first1 = Serge |author-link1=Serge Lang| year = 1999 |publisher=Springer|location=New York| series = Graduate Texts in Mathematics}}  <!-- Lang, Serge. (1999) Fundamentals of Differential Geometry -->
*{{citation
 | last = Massey | first = W. S. | author-link = William S. Massey
 | doi = 10.2307/2372878
 | journal = [[American Journal of Mathematics]]
 | mr = 0111053
 | pages = 92–102
 | title = On the Stiefel-Whitney classes of a manifold
 | volume = 82
 | year = 1960| issue = 1 | jstor = 2372878 }}.
*{{citation
 | last = Smale | first = Stephen | author-link = Stephen Smale
 | doi = 10.2307/1993205
 | journal = [[Transactions of the American Mathematical Society]]
 | mr = 0104227
 | pages = 281–290
 | title = A classification of immersions of the two-sphere
 | volume = 90
 | year = 1958| issue = 2 | jstor = 1993205 | doi-access = free
 }}.
*{{citation
 | last = Smale | first = Stephen | author-link = Stephen Smale
 | doi = 10.2307/1970186
 | journal = [[Annals of Mathematics]]
 | mr = 0105117
 | pages = 327–344
 | series = Second Series
 | title = The classification of immersions of spheres in Euclidean spaces
 | volume = 69
 | year = 1959| issue = 2 | jstor = 1970186 }}.
* {{citation|last=Spivak|first=Michael|author-link=Michael Spivak|title=A Comprehensive introduction to differential geometry (Volume 1)|year=1999|orig-year=1970|publisher=Publish or Perish|isbn=0-914098-70-5}}
*{{citation
 | last = Spring | first = David
 | doi = 10.1090/S0273-0979-05-01048-7
 | issue = 2
 | journal = [[Bulletin of the American Mathematical Society]]
 | mr = 2133309
 | pages = 163–180
 | series = New Series
 | title = The golden age of immersion theory in topology: 1959–1973: A mathematical survey from a historical perspective
 | volume = 42
 | year = 2005| citeseerx = 10.1.1.363.913
 | s2cid = 9237068
 }}.
* {{citation|first = Peter |last = Szekeres |title = A course in modern mathematical physics: groups, Hilbert space and differential geometry |location = Cambridge, United Kingdom |publisher = Cambridge University Press |year = 2004 |isbn = 978-0-521-82960-1}}
*{{citation
 | last = Wall | first = C. T. C. | author-link = C. T. C. Wall
 | doi = 10.1090/surv/069
 | edition = Second
 | isbn = 0-8218-0942-3
 | mr = 1687388
 | publisher = American Mathematical Society | location = Providence, RI
 | series = Mathematical Surveys and Monographs
 | title = Surgery on compact manifolds
 | volume = 69
 | year = 1999| url = http://www.maths.ed.ac.uk/~aar/books/scm.pdf
 }}.
{{refend}}


==बाहरी संबंध==

* [http://www.map.mpim-bonn.mpg.de/Immersion Immersion] at the Manifold Atlas
* [http://www.encyclopediaofmath.org/index.php/Immersion_of_a_manifold Immersion of a manifold] at the Encyclopedia of Mathematics

[[Category:Created On 28/02/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:चिकना कार्य]]
[[Category:विभेदक ज्यामिति]]
[[Category:विभेदक टोपोलॉजी]]