अंतर्वेशन (गणित): Difference between revisions

Latest revision as of 13:17, 22 March 2023

क्लेन बोतल, 3-स्पेस में डूबी हुई।

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

D_{p}f:T_{p}M\to T_{f(p)}N\,

M के प्रत्येक बिंदु p पर एक अंतःक्षेपी कार्य है, जहाँ T_pX में एक बिंदु p पर बहुखंड X के स्पर्शरेखा स्थान को दर्शाता है। समतुल्य रूप से, f एक अंतर्वेशन है यदि इसके व्युत्पन्न में M के आकार के बराबर निरंतर रैंक (अंतर टोपोलॉजी) है:^[2]

\operatorname {rank} \,D_{p}f=\dim M.

कार्य f को अंतःक्षेपी होने की आवश्यकता नहीं है, केवल इसका व्युत्पन्न अंतःक्षेपी होना चाहिए।

अंतर्वेशन से संबंधित अवधारणा एक अंत:स्थापन भी है। एक सुचारु अंत:स्थापन एक अंतःक्षेपी अंतर्वेशन है f : M → N जो एक संस्थानिक अंत:स्थापन भी है, ताकि N की छवि में M भिन्न हो। अंतर्वेशन एक निश्चित रूप से स्थानीय अंत:स्थापन है - यानी किसी भी बिंदु x ∈ M के लिए एक U ⊆ M, बिंदु x का प्रतिवेश(टोपोलॉजी) है और इस तरह, f : U → N एक अंत:स्थापन है, और इसके विपरीत एक स्थानीय अंत:स्थापन एक अंतर्वेशन है।^[3] कभी-कभी अनंत बहुखंडीय आकार के लिए, इसे अंतर्वेशन की परिभाषा के रूप में लिया जाता है।^[4]

अंतःक्षेपी द्वारा अंतर्वेशित उपबहुखण्ड जो अंत:स्थापन नहीं है।

यदि M कॉम्पैक्ट है, तो अंतःक्षेपी अंतर्वेशन एक अंत:स्थापन हो सकते है, लेकिन यदि M कॉम्पैक्ट नहीं है तो अंतःक्षेपी वाले अंतर्वेशन अंत:स्थापन नहीं हो सकते है। निरंतर आक्षेप बनाम समरूपता की तुलना करें।

नियमित समरूपता

बहुखंड M से बहुखंड N तक दो अंतर्वेशन f और g के बीच एक नियमित समरूपता को एक भिन्न कार्य H : M × [0,1] → N के रूप में परिभाषित किया जाता है। जैसे कि [0, 1] में सभी t के लिए क्रिया H_t : M → N द्वारा परिभाषित H_t(x) = H(x, t) सभी x ∈ M के लिए H₀ = f, H₁ = g के साथ एक अंतर्वेशन है। इस प्रकार अंतर्वेशन के माध्यम से नियमित समरूपता एक समरूपता है।

वर्गीकरण

हस्लर व्हिटनी ने 1940 के दशक में अंतर्वेशन और नियमित समरूपता के व्यवस्थित अध्ययन की शुरुआत की, यह प्रभावित करते हुए कि 2m < n + 1 प्रत्येक मानचित्र के f : M ^m → N ⁿ में बहुखंडीय आकार M से बहुखंडीय आकार N एक अंतर्वेशन के लिए समरूपता है, और वास्तव में 2m < n के लिए एक अंत:स्थापन है; ये व्हिटनी अंतर्वेशन सिद्धांत और व्हिटनी अंत:स्थापन सिद्धांत हैं।

स्टीफन स्मेल ने अंतर्वेशन की नियमित समरूपता श्रेणियों f : M^m → Rⁿ को एक निश्चित स्टिफ़ेल बहुखंड के समरूपता समूहों के रूप में व्यक्त किया था जिसमे विशेष रूप से गोले का फैलाव एक विचित्र परिणाम था।

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

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

अस्तित्व

मोबियस पट्टी सहआकार 0 में अंतर्वेशित नहीं है क्योंकि इसकी स्पर्शरेखा समूह गैर-नगण्य है।

स्टिफ़ेल-व्हिटनी श्रेणियों के विशेषता वर्गों के अनुसार अंतर्वेशन के अस्तित्व के लिए प्राथमिक बाधा i : M^m → Rⁿ में M का स्थिर सामान्य समूह है। अर्थात् Rⁿ समानांतर है, और इसके स्पर्शरेखा समूह का M पर रुकावट नगण्य है; इसलिए यह रुकावट M स्पर्शरेखा समूह का प्रत्यक्ष योग है, TM पर जिसका आकार m है, और सामान्य समूह ν जिसका अंतर्वेशन i, और जिसका आकार n − m है, M अंतर्वेशन होने के लिए k का सहआकार, आकार k का एक वेक्टर समूह होना चाहिए, ξ^k, सामान्य समूह ν के लिए स्थित है, जैसे कि TM ⊕ ξ^k नगण्य है। इसके विपरीत, इस तरह के एक समूह को देखते हुए, इस सामान्य समूह के साथ M का अंतर्वेशन इस समूह के कुल स्थान के कोडिंग 0 अंतर्वेशन के बराबर होता है, जो एक खुला बहुखंड है।

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

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

उदाहरण के लिए, मोबियस पट्टी में गैर-नगण्य स्पर्शरेखा समूह है, इसलिए यह सहआकार 0 ('R²' में) में अंतर्वेशन नहीं हो सकता है, हालांकि यह सहआकार1(R³) में अंत:स्थापन होता है।

विलियम एस. मैसी (1960) ने दिखाया कि स्टिफ़ेल-व्हिटनी द्वारा विकसित स्थिर सामान्य समूह श्रेणियों की विशेषता श्रेणी n − α(n)डिग्री से ऊपर लुप्त हो जाते हैं, जहाँ α(n) 1 अंकों की संख्या है जब n को बाइनरी में लिखा जाता है; वास्तविक प्रक्षेप्य स्थान के अनुसार यह बाधा स्पष्ट है। राल्फ लुइस कोहेन (1985) द्वारा इस अंतर्वेशन अनुमान को प्रमाणित किया गया था कि R^2n−α(n), अर्थात् प्रत्येक n-बहुखंडीय को सहआकार n − α(n) में अंतर्वेशन किया जा सकता है।

सहआकार 0

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

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

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

एकाधिक बिंदु

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

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

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

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

उदाहरण और गुण

चार मुखी तिपतिया, 4 पंखुड़ी वाला गुलाब।

* k पंखुड़ियों वाला एक गणितीय गुलाब (गणित) एक एकल k-ट्यूपल बिंदु के साथ समतल में वृत्त का अंतर्वेशन है; k कोई भी विषम संख्या हो सकती है, लेकिन यदि सम संख्या है तो 4 का गुणक भी होना चाहिए, तो k = 2 के साथ आंकड़ा 8, गुलाब नहीं है।

क्लेन बोतल, और अन्य सभी गैर-उन्मुख बंद सतहों को 3-स्थान में अंतर्वेश किया जा सकता है लेकिन अंत:स्थापित नहीं किया जा सकता है।
व्हिटनी-ग्रौस्टीन सिद्धांत द्वारा, वृत्त की समतल सतह के अंतर्वेशन के नियमित समरूपता वर्गों को घुमावदार संख्या द्वारा वर्गीकृत किया जाता है, जो कि बीजगणितीय रूप से गिने जाने वाले दोहरे बिंदुओं की संख्या भी है (अर्थात संकेतों के साथ)।
स्तरीय अंत:स्थापन f₀ : S² → R³ से संबंधित f₁ = −f₀ : S² → R³ अंतर्वेशन की एक नियमित समरूपता f_t : S² → R³ द्वारा वृत्त को अंदर बाहर किया जा सकता है।
बॉय की सतह 3-अंतरिक्ष में वास्तविक प्रक्षेपी तल का अंतर्वेशन है इस प्रकार ये 2-से-1वृत्त का अंतर्वेशन भी है।
मोरिन सतह वृत्त का अंतर्वेशन है; यह सतह और बॉय की सतह दोनों वृत्ताकार विचलन में मध्य प्रतिरूपण के रूप में उत्पन्न होती हैं।

लड़के की सतह
मोरिन सतह

अंतर्वेशित समतल वक्र

इस वक्र की कुल वक्रता 6 है

π

, और टर्निंग नंबर 3, हालांकि इसमें p के बारे में केवल वाइंडिंग नंबर 2 है।

अंतर्वेशित समतल वक्रों में एक अच्छी तरह से परिभाषित घुमावदार संख्या होती है, जिसकी कुल वक्रता को 2π से विभाजित करके परिभाषित किया जा सकता है। व्हिटनी-ग्रौस्टीन सिद्धांत द्वारा यह नियमित समरूपता के तहत स्थलीय रूप से अपरिवर्तनीय है - यह गॉस का नक्शा की डिग्री है, या स्रोत के बारे में इकाई स्पर्शरेखा (जो अदृश्य नहीं होती) की घुमावदार संख्या है। इसके अतिरिक्त, समान घुमावदार संख्या वाले कोई भी दो समतल वक्र नियमित समरूपता हैं, इसलिए यह अपरिवर्तनीयों का एक पूरा समुच्चय है।

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

3-स्थानों में अंतर्वेशित सतहें

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

समतल वक्रों के स्तिथियों के विपरीत, एक आधारभूत परिणाम यह है कि प्रत्येक अंतर्वेशित सतह एक अंतःस्थापित सतह तक नहीं उठती है।^[5] कोस्चोर्क का उदाहरण,^[6] के अनुसार कुछ स्तिथियों में 2-घुमावदार बाधा है जो एक अंतर्वेशत सतह है (3 मोबियस बैंड से निर्मित, तीन बिंदुओं के साथ) जो एक अंतःस्थापित वाली सतह तक नहीं उठती है, लेकिन इसमें एक दोहरा कवच होता है जो वृद्धि करता है।

सामान्यीकरण

अंतर्वेशन सिद्धांत का एक दूरगामी सामान्यीकरण समरूपता सिद्धांत है:

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

यह भी देखें

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

↑ This definition is given by Bishop & Crittenden 1964, p. 185, Darling 1994, p. 53, do Carmo 1994, p. 11, Frankel 1997, p. 169, Gallot, Hulin & Lafontaine 2004, p. 12, Kobayashi & Nomizu 1963, p. 9, Kosinski 2007, p. 27, Szekeres 2004, p. 429.
↑ This definition is given by Crampin & Pirani 1994, p. 243, Spivak 1999, p. 46.
↑ This kind of definition, based on local diffeomorphisms, is given by Bishop & Goldberg 1968, p. 40, Lang 1999, p. 26.
↑ This kind of infinite-dimensional definition is given by Lang 1999, p. 26.
↑ Carter & Saito 1998; Carter, Kamada & Saito 2004, Remark 1.23, p. 17
↑ Koschorke 1979

संदर्भ

Adachi, Masahisa (1993), Embeddings and immersions, translated by Kiki Hudson, ISBN 978-0-8218-4612-4
Arnold, V. I.; Varchenko, A. N.; Gusein-Zade, S. M. (1985), Singularities of Differentiable Maps: Volume 1, Birkhäuser, ISBN 0-8176-3187-9
Bishop, Richard Lawrence; Crittenden, Richard J. (1964), Geometry of manifolds, New York: Academic Press, ISBN 978-0-8218-2923-3
Bishop, R. L.; Goldberg, S. I. (1968), Tensor Analysis on Manifolds (First Dover 1980 ed.), The Macmillan Company, ISBN 0-486-64039-6
Bruce, J. W.; Giblin, P. J. (1984), Curves and Singularities, Cambridge University Press, ISBN 0-521-42999-4
Carter, J. Scott; Saito, Masahico (1998a), "Surfaces in 3-space that do not lift to embeddings in 4-space", Knot theory (Warsaw, 1995), Banach Center Publ., vol. 42, Polish Acad. Sci., Warsaw, pp. 29–47, CiteSeerX 10.1.1.44.1505, MR 1634445.
Carter, J. Scott; Saito, Masahico (1998), Knotted Surfaces and Their Diagrams, Mathematical Surveys and Monographs, vol. 55, p. 258, ISBN 978-0-8218-0593-0
Carter, Scott; Kamada, Seiichi; Saito, Masahico (2004), Surfaces in 4-space, Encyclopaedia of Mathematical Sciences, vol. 142, Berlin: Springer-Verlag, doi:10.1007/978-3-662-10162-9, ISBN 3-540-21040-7, MR 2060067.
Cohen, Ralph L. (1985), "The immersion conjecture for differentiable manifolds", Annals of Mathematics, Second Series, 122 (2): 237–328, doi:10.2307/1971304, JSTOR 1971304, MR 0808220.
Crampin, Michael; Pirani, Felix Arnold Edward (1994), Applicable differential geometry, Cambridge, England: Cambridge University Press, ISBN 978-0-521-23190-9
Darling, Richard William Ramsay (1994), Differential forms and connections, Cambridge, UK: Cambridge University Press, Bibcode:1994dfc..book.....D, ISBN 978-0-521-46800-8.
do Carmo, Manfredo Perdigao (1994), Riemannian Geometry, ISBN 978-0-8176-3490-2
Frankel, Theodore (1997), The Geometry of Physics, Cambridge: Cambridge University Press, ISBN 0-521-38753-1
Gallot, Sylvestre; Hulin, Dominique; Lafontaine, Jacques (2004), Riemannian Geometry (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-20493-0
Gromov, M. (1986), Partial differential relations, Springer, ISBN 3-540-12177-3
Hirsch, Morris W. (1959), "Immersions of manifolds", Transactions of the American Mathematical Society, 93 (2): 242–276, doi:10.2307/1993453, JSTOR 1993453, MR 0119214.
Kobayashi, Shoshichi; Nomizu, Katsumi (1963), Foundations of Differential Geometry, Volume 1, New York: Wiley-Interscience
Koschorke, Ulrich (1979), "Multiple points of immersions, and the Kahn-Priddy theorem", Mathematische Zeitschrift, 169 (3): 223–236, doi:10.1007/BF01214837, MR 0554526, S2CID 121273182.
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
Massey, W. S. (1960), "On the Stiefel-Whitney classes of a manifold", American Journal of Mathematics, 82 (1): 92–102, doi:10.2307/2372878, JSTOR 2372878, MR 0111053.
Smale, Stephen (1958), "A classification of immersions of the two-sphere", Transactions of the American Mathematical Society, 90 (2): 281–290, doi:10.2307/1993205, JSTOR 1993205, MR 0104227.
Smale, Stephen (1959), "The classification of immersions of spheres in Euclidean spaces", Annals of Mathematics, Second Series, 69 (2): 327–344, doi:10.2307/1970186, JSTOR 1970186, MR 0105117.
Spivak, Michael (1999) [1970], A Comprehensive introduction to differential geometry (Volume 1), Publish or Perish, ISBN 0-914098-70-5
Spring, David (2005), "The golden age of immersion theory in topology: 1959–1973: A mathematical survey from a historical perspective", Bulletin of the American Mathematical Society, New Series, 42 (2): 163–180, CiteSeerX 10.1.1.363.913, doi:10.1090/S0273-0979-05-01048-7, MR 2133309, S2CID 9237068.
Szekeres, Peter (2004), A course in modern mathematical physics: groups, Hilbert space and differential geometry, Cambridge, United Kingdom: Cambridge University Press, ISBN 978-0-521-82960-1
Wall, C. T. C. (1999), Surgery on compact manifolds (PDF), Mathematical Surveys and Monographs, vol. 69 (Second ed.), Providence, RI: American Mathematical Society, doi:10.1090/surv/069, ISBN 0-8218-0942-3, MR 1687388.

बाहरी संबंध

Immersion at the Manifold Atlas
Immersion of a manifold at the Encyclopedia of Mathematics

[1] This definition is given by Bishop & Crittenden 1964, p. 185, Darling 1994, p. 53, do Carmo 1994, p. 11, Frankel 1997, p. 169, Gallot, Hulin & Lafontaine 2004, p. 12, Kobayashi & Nomizu 1963, p. 9, Kosinski 2007, p. 27, Szekeres 2004, p. 429.

[2] This definition is given by Crampin & Pirani 1994, p. 243, Spivak 1999, p. 46.

[3] This kind of definition, based on local diffeomorphisms, is given by Bishop & Goldberg 1968, p. 40, Lang 1999, p. 26.

[4] This kind of infinite-dimensional definition is given by Lang 1999, p. 26.

[5] Carter & Saito 1998; Carter, Kamada & Saito 2004, Remark 1.23, p. 17

[6] Koschorke 1979

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 1: / Line 1: @@
 {{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''}} एक विसर्जन है अगर
+[[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>
+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>
+अंतर्वेशन से संबंधित अवधारणा एक अंत:स्थापन भी है। एक सुचारु अंत:स्थापन एक अंतःक्षेपी अंतर्वेशन है {{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 कॉम्पैक्ट नहीं है तो अंतःक्षेपी वाले विसर्जन को अंत:स्थापन नहीं हो सकते है। निरंतर आक्षेप बनाम [[होमियोमोर्फिज्म]] की तुलना करें।
+[[File:Injectively_immersed_submanifold_not_embedding.svg|thumb|अंतःक्षेपी द्वारा [[डूबा हुआ सबमेनिफोल्ड|अंतर्वेशित उपबहुखण्ड]] जो अंत:स्थापन नहीं है।]]यदि M [[ कॉम्पैक्ट जगह |कॉम्पैक्ट]] है, तो अंतःक्षेपी अंतर्वेशन एक अंत:स्थापन हो सकते है, लेकिन यदि M कॉम्पैक्ट नहीं है तो अंतःक्षेपी वाले अंतर्वेशन अंत:स्थापन नहीं हो सकते है। निरंतर आक्षेप बनाम [[होमियोमोर्फिज्म|समरूपता]] की तुलना करें।
-== [[नियमित होमोटॉपी]] ==
+== [[नियमित होमोटॉपी|नियमित समरूपता]] ==
-[[कई गुना]] एम से कई गुना एन तक दो विसर्जन एफ और जी के बीच एक नियमित समरूपता को एक अलग कार्य के रूप में परिभाषित किया गया है {{nowrap|''H'' : ''M'' × [0,1] → ''N''}} ऐसा है कि सभी टी के लिए {{nowrap|[0, 1]}} कार्यक्रम {{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''}}. एक नियमित [[होमोटॉपी]] इस प्रकार विसर्जन के माध्यम से एक होमोटोपी है।
+[[कई गुना|बहुखंड]] 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}} हर नक्शा {{nowrap|''f'' : ''M<sup>m</sup>'' → ''N<sup>n</sup>''}एक एम-डायमेंशनल मैनिफोल्ड का एक एन-डायमेंशनल मैनिफोल्ड एक विसर्जन के लिए [[होमोटोपिक]] है, और वास्तव में एक [[एम्बेडिंग|अंत:स्थापन]] के लिए {{nowrap|2''m'' < ''n''}}; ये [[व्हिटनी विसर्जन प्रमेय]] और [[व्हिटनी एम्बेडिंग प्रमेय|व्हिटनी अंत:स्थापन प्रमेय]] हैं।
+[[हस्लर व्हिटनी]] ने 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>}} एक निश्चित [[स्टिफ़ेल कई गुना]] के होमोटोपी समूहों के रूप में। [[गोले का फैलाव]] एक विशेष रूप से हड़ताली परिणाम था।
+[[स्टीफन स्मेल]] ने अंतर्वेशन की नियमित समरूपता श्रेणियों {{nowrap|''f'' : ''M<sup>m</sup>'' → '''R'''<sup>''n''</sup>}} को एक निश्चित [[स्टिफ़ेल कई गुना|स्टिफ़ेल बहुखंड]] के समरूपता समूहों के रूप में व्यक्त किया था जिसमे विशेष रूप से [[गोले का फैलाव]] एक विचित्र परिणाम था।
-[[मॉरिस हिर्श]] ने किसी भी एम-डायमेंशनल मैनिफोल्ड एम के विसर्जन के नियमित होमोटॉपी वर्गों के [[होमोटॉपी सिद्धांत]] विवरण के लिए स्मेल की अभिव्यक्ति को सामान्यीकृत किया<sup>m</sup> किसी भी n-डायमेंशनल मैनिफोल्ड N में<sup>एन</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>}} एम का [[स्थिर सामान्य बंडल]] है, जैसा कि इसकी [[विशेषता वर्ग]]ों द्वारा पता लगाया गया है, विशेष रूप से इसकी स्टिफ़ेल-व्हिटनी कक्षाएं। अर्थात् 'र' से<sup>n</sup> [[समानांतर कई गुना]] है, इसके स्पर्शरेखा बंडल का M पर पुलबैक तुच्छ है; चूँकि यह पुलबैक M, TM पर (आंतरिक रूप से परिभाषित) स्पर्शरेखा बंडल का प्रत्यक्ष योग है, जिसका आयाम m है, और विसर्जन i के सामान्य बंडल ν का, जिसका आयाम है {{nowrap|''n'' − ''m''}}, M का [[ codimension ]] k विसर्जन होने के लिए, आयाम k का एक वेक्टर बंडल होना चाहिए, ξ<sup>k</sup>, सामान्य बंडल ν के लिए खड़ा है, जैसे कि {{nowrap|''TM'' ⊕ ''ξ''<sup>''k''</sup>}} तुच्छ है। इसके विपरीत, इस तरह के एक बंडल को देखते हुए, इस सामान्य बंडल के साथ एम का विसर्जन इस बंडल के कुल स्थान के कोडिंग 0 विसर्जन के बराबर होता है, जो एक खुला कई गुना है।
+[[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 से कम आयाम के (अस्थिर) सामान्य बंडल से नहीं आ सकता है। इस प्रकार, स्थिर सामान्य बंडल का कोहोलॉजी आयाम, जैसा कि इसकी उच्चतम गैर-लुप्त होने वाली विशेषता वर्ग द्वारा पता चला है, विसर्जन के लिए एक बाधा है।
+स्थिर सामान्य समूह, सामान्य समूहों और नगण्य समूहों का वर्ग है, और इस प्रकार यदि स्थिर सामान्य समूह में सह समरूपता.आकार k है, तो यह k से कम आकार के (अस्थिर) सामान्य समूह से नहीं आ सकता है। इस प्रकार, स्थिर सामान्य समूह का सह समरूप आकार, जैसा कि इसकी उच्चतम गैर-लुप्त होने वाली विशेषता वर्ग द्वारा पता चला है, अंतर्वेशन के लिए एक बाधा है।
-चूंकि विशेषता वर्ग सदिश बंडलों के प्रत्यक्ष योग के तहत गुणा करते हैं, इसलिए इस बाधा को अंतरिक्ष एम और इसके स्पर्शरेखा बंडल और कोहोलॉजी बीजगणित के संदर्भ में आंतरिक रूप से कहा जा सकता है। व्हिटनी द्वारा यह बाधा (स्पर्शरेखा बंडल के संदर्भ में, स्थिर सामान्य बंडल नहीं) कहा गया था।
+चूंकि विशेषता वर्ग सदिश समूहों के प्रत्यक्ष योग के तहत गुणा करते हैं, इसलिए आंतरिक रूप से अंतरिक्ष M और इसके स्पर्शरेखा समूह और सह समरूप बीजगणित के संदर्भ में इसे बाधा कहा जा सकता है। स्पर्शरेखा समूह के संदर्भ में व्हिटनी द्वारा इसे बाधा कहा गया था।
-उदाहरण के लिए, मोबियस पट्टी में गैर-तुच्छ स्पर्शरेखा बंडल है, इसलिए यह कोडिमेंशन 0 ('आर' में) में डूब नहीं सकता<sup>2</sup>), हालांकि यह कोडिमेंशन 1 में एम्बेड होता है (R<sup>3</sup>).
+उदाहरण के लिए, मोबियस पट्टी में गैर-नगण्य स्पर्शरेखा समूह है, इसलिए यह [[ codimension |सहआकार]] 0 (''''R'''<sup>2</sup>' में) में अंतर्वेशन नहीं हो सकता है, हालांकि यह [[ codimension |सहआकार]]1(R<sup>3</sup>) में अंत:स्थापन होता है।
-{{harvs|authorlink=William S. Massey|first=William S.|last=Massey|year=1960|txt}} ने दिखाया कि ये विशेषता वर्ग (स्थिर सामान्य बंडल के स्टिफ़ेल-व्हिटनी वर्ग) डिग्री से ऊपर गायब हो जाते हैं {{nowrap|''n'' − ''α''(''n'')}}, कहाँ {{nowrap|''α''(''n'')}} 1 अंकों की संख्या है जब n को बाइनरी में लिखा जाता है; यह सीमा तीक्ष्ण है, जैसा कि [[वास्तविक प्रक्षेप्य स्थान]] द्वारा महसूस किया गया है। इसने विसर्जन अनुमान को प्रमाण दिया, अर्थात् प्रत्येक एन-कई गुना को कोडिमेंशन में डुबोया जा सकता है {{nowrap|''n'' − ''α''(''n'')}}, यानी, आर में<sup>2n−α(n)</sup>. यह अनुमान द्वारा सिद्ध किया गया था {{harvs|first=Ralph|last=Cohen|authorlink=Ralph Louis Cohen|year=1985|txt}}.
+{{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'')}} में अंतर्वेशन किया जा सकता है।
-=== कोडिमेंशन 0 ===
+=== [[ codimension |सहआकार]] 0 ===
-Codimension 0 विसर्जन समान रूप से सापेक्ष आयाम 0 Submersion (गणित) हैं, और बेहतर रूप से Submersion के रूप में सोचा जाता है। एक बंद मैनिफोल्ड का कोडिमेंशन 0 विसर्जन ठीक एक [[ कवरिंग नक्शा ]] है, यानी 0-आयामी (असतत) फाइबर वाला एक [[फाइबर बंडल]]। डूबने पर एह्रेसमैन के प्रमेय और फिलिप्स के प्रमेय द्वारा, मैनिफोल्ड्स का एक [[उचित नक्शा]] निमज्जन एक फाइबर बंडल है, इसलिए कोडिमेंशन/सापेक्ष आयाम 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>}} - ऐसे किसी भी आवरण को कुछ बिंदुओं पर शाखाबद्ध करना होगा, क्योंकि गोला सरलता से जुड़ा हुआ है।
+इसके अतिरिक्त, सहआकार 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 में बंद मैनिफोल्ड ( अगर मूल कई गुना बंद है)।
+इसे समझने का एक और तरीका यह है कि बहुखंड का सहआकार k अंतर्वेशन एक k-डायमेंशनल वेक्टर समूह के सहआकार 0 अंतर्वेशन से मेल खाता है, जो कि ओपन मैनिफोल्ड है अगर सहआकार 0 से अधिक है, लेकिन सहआकार 0 में बंद मैनिफोल्ड ( अगर मूल बहुखंड बंद है)।
 == एकाधिक बिंदु ==
-विसर्जन का एक ''क''-टपल बिंदु (डबल, ट्रिपल, आदि)। {{nowrap|''f'' : ''M'' → ''N''}} एक अनियंत्रित सेट है {{nowrap|{''x''<sub>1</sub>, ..., ''x<sub>k</sub>''}{{null}}}} अलग-अलग बिंदु {{nowrap|''x<sub>i</sub>'' ∈ ''M''}} एक ही छवि के साथ {{nowrap|''f''(''x<sub>i</sub>'') ∈ ''N''}}. यदि एम एक एम-आयामी कई गुना है और एन एक विसर्जन के लिए एक एन-आयामी कई गुना है {{nowrap|''f'' : ''M'' → ''N''}} [[सामान्य स्थिति]] में के-ट्यूपल बिंदुओं का सेट एक है {{nowrap|(''n'' − ''k''(''n'' − ''m''))}}-आयामी कई गुना। प्रत्येक अंत:स्थापन कई बिंदुओं के बिना एक विसर्जन है (जहाँ {{nowrap|''k'' > 1}}). ध्यान दें, हालांकि, इसका विलोम गलत है: ऐसे अंतःक्षेपी वाले विसर्जन हैं जो अंत:स्थापन नहीं हैं।
+अंतर्वेशन {{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}} है वहां प्रत्येक अंत:स्थापन एकाधिक बिंदुओं के बिना एक अंतर्वेशन हैं। हालांकि,यह विवरण गलत है क्योंकि ऐसे अंतःक्षेपी वाले अंतर्वेशन हैं जो अंत:स्थापन नहीं हैं।
-एकाधिक बिंदुओं की प्रकृति निमज्जन को वर्गीकृत करती है; उदाहरण के लिए, समतल में एक वृत्त के निमज्जन को दोहरे बिंदुओं की संख्या के आधार पर नियमित होमोटॉपी तक वर्गीकृत किया जाता है।
+एकाधिक बिंदुओं की प्रकृति अंतर्वेशन को वर्गीकृत करती है; उदाहरण के लिए, समतल में एक वृत्त के अंतर्वेशन को दोहरे बिंदुओं की संख्या के आधार पर नियमित समरूपता तक वर्गीकृत किया जाता है।
-[[शल्य चिकित्सा सिद्धांत]] में एक महत्वपूर्ण बिंदु पर यह तय करना आवश्यक है कि विसर्जन है या नहीं {{nowrap|''f'' : '''S'''<sup>''m''</sup> → ''N''<sup>2''m''</sup>}2m-डायमेंशनल मैनिफोल्ड में एक m-sphere का एक अंत:स्थापन के लिए नियमित होमोटोपिक है, जिस स्थिति में इसे सर्जरी द्वारा खत्म किया जा सकता है। सी.टी.सी. [[मौलिक समूह]] वलय 'Z' के एक भागफल में f एक अपरिवर्तनीय μ(f) से जुड़ी दीवार [{{pi}}<sub>1</sub>(एन)] जो एन के सार्वभौमिक कवर में एफ के दोहरे बिंदुओं की गणना करता है। के लिए {{nowrap|''m'' > 2}}, एफ एक अंत:स्थापन के लिए नियमित होमोटोपिक है अगर और केवल अगर {{nowrap|1=''μ''(''f'') = 0}} हस्लर व्हिटनी ट्रिक द्वारा।
+शल्य चिकित्सा सिद्धांत में एक प्रमुख बिंदु पर यह तय करना आवश्यक है कि क्या एक विसर्जन ''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 एक नियमित समरूपता है।
-एक से अधिक बिंदुओं के बिना अंत:स्थापन को विसर्जन के रूप में अध्ययन किया जा सकता है, क्योंकि विसर्जन को वर्गीकृत करना आसान होता है। इस प्रकार, कोई विसर्जन से शुरू कर सकता है और कई बिंदुओं को खत्म करने का प्रयास कर सकता है, यह देखते हुए कि क्या कोई अन्य विशिष्टताएं पेश किए बिना ऐसा कर सकता है - कई संयोजनों का अध्ययन करना। यह पहली बार एंड्रे हैफ्लिगर द्वारा किया गया था, और यह दृष्टिकोण कोडिमेंशन 3 या अधिक में उपयोगी है - सर्जरी सिद्धांत के दृष्टिकोण से, यह कोडिमेंशन 2 के विपरीत उच्च (को)आयाम है, जो [[गाँठ सिद्धांत]] के रूप में गाँठ आयाम है। यह [http://www.math.brown.edu/facademy/goodwillie.html थॉमस गुडविली], [http://www.math.wayne.edu/~klein/ जॉन क्लेन द्वारा फंक्शनलर्स की कलन के माध्यम से स्पष्ट रूप से अध्ययन किया गया है ], और [https://web.archive.org/web/20090215201210/http://maths.abdn.ac.uk/staff/display.php?key=m.weiss Michael S. Weiss]।
+एकाधिक बिंदुओं के बिना अंत:स्थापन को अंतर्वेशन के रूप में अध्ययन किया जा सकता है, क्योंकि अंतर्वेशन को वर्गीकृत करना आसान होता है। इस प्रकार,यह देखते हुए कि क्या कोई अन्य विशिष्टताएं प्रस्तुत किए बिना कई संयोजनों का अध्ययन करके एकाधिक बिंदुओं को खत्म करने का प्रयास करके अंतर्वेशन से शुरू कर सकता है। यह पहली बार एंड्रे हैफ्लिगर द्वारा किया गया था, और सर्जरी सिद्धांत के दृष्टिकोण से, यह सहआकार 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, गुलाब नहीं है।
+[[File:Quadrifolium.svg|thumb|upright=1.1|[[चार मुखी तिपतिया]], 4 पंखुड़ी वाला गुलाब।]]* k पंखुड़ियों वाला एक गणितीय [[गुलाब (गणित)]] एक एकल k-ट्यूपल बिंदु के साथ समतल में वृत्त का अंतर्वेशन है; k कोई भी विषम संख्या हो सकती है, लेकिन यदि सम संख्या है तो 4 का गुणक भी होना चाहिए, तो k = 2 के साथ आंकड़ा 8, गुलाब नहीं है।
-* क्लेन बोतल, और अन्य सभी गैर-उन्मुख बंद सतहों को 3-स्पेस में डुबोया जा सकता है लेकिन एम्बेड नहीं किया जा सकता है।
+* क्लेन बोतल, और अन्य सभी गैर-उन्मुख बंद सतहों को 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>}}.
+* स्तरीय अंत:स्थापन {{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 विसर्जन भी।
+* बॉय की सतह 3-अंतरिक्ष में वास्तविक प्रक्षेपी तल का अंतर्वेशन है इस प्रकार ये 2-से-1वृत्त का अंतर्वेशन भी है।
-* मोरिन सतह गोले का विसर्जन है; यह और बॉय की सतह दोनों गोलाकार विचलन में मिडवे मॉडल के रूप में उत्पन्न होती हैं।
+* मोरिन सतह वृत्त का अंतर्वेशन है; यह सतह और बॉय की सतह दोनों वृत्ताकार विचलन में मध्य प्रतिरूपण के रूप में उत्पन्न होती हैं।
 <gallery widths="250px" heights="200px">
@@ Line 64: / Line 64: @@
-=== डूबे हुए समतल वक्र ===
+=== अंतर्वेशित समतल वक्र ===
-{{main|Whitney–Graustein theorem|Total curvature|Turning number}}
+[[File:Winding Number Around Point.svg|thumb|upright=1.1|इस वक्र की [[कुल वक्रता]] 6 है{{pi}}, और [[टर्निंग नंबर]] 3, हालांकि इसमें p के बारे में केवल वाइंडिंग नंबर 2 है।]]अंतर्वेशित समतल वक्रों में एक अच्छी तरह से परिभाषित घुमावदार संख्या होती है, जिसकी कुल वक्रता को 2π से विभाजित करके परिभाषित किया जा सकता है। व्हिटनी-ग्रौस्टीन सिद्धांत द्वारा यह नियमित समरूपता के तहत स्थलीय रूप से अपरिवर्तनीय है - यह [[गॉस का नक्शा]] की डिग्री है, या स्रोत के बारे में इकाई स्पर्शरेखा (जो अदृश्य नहीं होती) की घुमावदार संख्या है। इसके अतिरिक्त, समान घुमावदार संख्या वाले कोई भी दो समतल वक्र नियमित समरूपता हैं, इसलिए यह अपरिवर्तनीयों का एक पूरा समुच्चय है।
-[[File:Winding Number Around Point.svg|thumb|upright=1.1|इस वक्र की [[कुल वक्रता]] 6 है{{pi}}, और [[टर्निंग नंबर]] 3, हालांकि इसमें p के बारे में केवल वाइंडिंग नंबर 2 है।]]डूबे हुए समतल वक्रों में एक अच्छी तरह से परिभाषित मोड़ संख्या होती है, जिसे कुल वक्रता को 2 से विभाजित करके परिभाषित किया जा सकता है{{pi}}. व्हिटनी-ग्रौस्टीन प्रमेय द्वारा यह नियमित होमोटॉपी के तहत अपरिवर्तनीय है - स्थलीय रूप से, यह [[गॉस का नक्शा]] की डिग्री है, या मूल के बारे में इकाई स्पर्शरेखा (जो गायब नहीं होती) की घुमावदार संख्या है। इसके अलावा, यह इनवेरिएंट्स का एक पूरा सेट है - समान टर्निंग नंबर वाले कोई भी दो प्लेन वक्र नियमित होमोटोपिक हैं।
-हर डूबा हुआ समतल वक्र चौराहे के बिंदुओं को अलग करके एक एम्बेडेड अंतरिक्ष वक्र में ले जाता है, जो उच्च आयामों में सही नहीं है। अतिरिक्त डेटा (जो किनारा शीर्ष पर है) के साथ, विसर्जित विमान वक्र [[गाँठ आरेख]] उत्पन्न करते हैं, जो गाँठ सिद्धांत में केंद्रीय रुचि रखते हैं। जबकि विसर्जित विमान वक्र, नियमित होमोटोपी तक, उनकी मोड़ संख्या से निर्धारित होते हैं, नॉट्स में बहुत समृद्ध और जटिल संरचना होती है।
+प्रत्येक अंतर्वेशित समतल वक्र प्रतिच्छेदन के बिंदुओं को अलग करके एक अंतःस्थापित सतह वक्र में ले जाता है, जो उच्च आकारों में सही नहीं है। गाँठ सिद्धांत में मुख्य अवधारणाओं के अनुरूप अतिरिक्त जानकारी (जो किनारा शीर्ष पर है) के साथ, अंतर्वेशित समतल वक्र [[गाँठ आरेख|अंतःस्थापित आरेख]] उत्पन्न करते हैं। जबकि अंतर्वेशित समतल वक्र, नियमित समरूपता तक उनकी घुमावदार संख्या और [[गाँठ आरेख|अंतःस्थापित]] से निर्धारित होते हैं, जो बहुत समृद्ध और जटिल संरचना होती है।
-=== 3-स्पेस === में डूबी हुई सतहें
+'''<big>3-स्थानों में अंतर्वेशित सतहें</big>'''
--स्पेस में विसर्जित सतहों का अध्ययन 4-स्पेस में नॉटेड (एम्बेडेड) सतहों के अध्ययन से निकटता से जुड़ा हुआ है, नॉट डायग्राम के सिद्धांत के अनुरूप (3 में नॉटेड कर्व्स के प्रोजेक्शन के रूप में डूबे हुए प्लेन कर्व्स (2-स्पेस) -स्पेस): 4-स्पेस में एक नॉटेड सतह दी गई है, कोई इसे 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> कुछ मामलों में बाधा 2-मरोड़ है, जैसे कि [http://www.southalabama.edu/mathstat/personal_pages/carter/nukos.jpg कोस्चोर्क का उदाहरण],<ref>{{Harvnb|Koschorke|1979}}</ref> जो एक डूबी हुई सतह है (3 मोबियस बैंड से निर्मित, एक [[ट्रिपपॉइंट (बहुविकल्पी)]] के साथ) जो एक गाँठ वाली सतह तक नहीं उठती है, लेकिन इसमें एक दोहरा आवरण होता है जो लिफ्ट करता है। में विस्तृत विश्लेषण दिया गया है {{Harvtxt|Carter|Saito|1998a}}, जबकि एक और हालिया सर्वेक्षण में दिया गया है {{Harvtxt|Carter|Kamada|Saito|2004}}.
+-स्थानों में अंतर्वेशित सतहों का अध्ययन 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 मोबियस बैंड से निर्मित, तीन बिंदुओं के साथ) जो एक अंतःस्थापित वाली सतह तक नहीं उठती है, लेकिन इसमें एक दोहरा कवच होता है जो वृद्धि करता है।
 == सामान्यीकरण ==
-{{main|Homotopy principle}}
+अंतर्वेशन सिद्धांत का एक दूरगामी सामान्यीकरण [[होमोटॉपी सिद्धांत|समरूपता सिद्धांत]] है:
-निमज्जन सिद्धांत का एक दूरगामी सामान्यीकरण [[होमोटॉपी सिद्धांत]] है:
-एक [[आंशिक अंतर संबंध]] (पीडीआर) के रूप में विसर्जन की स्थिति (व्युत्पन्न का रैंक हमेशा k होता है) पर विचार किया जा सकता है, क्योंकि इसे फ़ंक्शन के आंशिक डेरिवेटिव के संदर्भ में कहा जा सकता है। फिर स्मेल-हिर्श निमज्जन सिद्धांत परिणाम है कि यह होमोटॉपी सिद्धांत को कम कर देता है, और होमोटॉपी सिद्धांत पीडीआर को होमोटोपी सिद्धांत में कम करने के लिए सामान्य स्थितियां और कारण देता है।
+एक [[आंशिक अंतर संबंध]] (पीडीआर) के रूप में अंतर्वेशन की स्थिति (व्युत्पन्न का रैंक हमेशा k होता है) पर विचार किया जा सकता है, क्योंकि इसे कार्य के आंशिक व्युत्पन्न के संदर्भ में कहा जा सकता है। स्मेल-हिर्श अंतर्वेशन सिद्धांत परिणाम है कि यह समरूपता सिद्धांत को कम कर देता है, और समरूपता सिद्धांत पीडीआर को [[होमोटॉपी सिद्धांत|समरूपता]] सिद्धांत में कम करने के लिए सामान्य स्थितियां और कारण देता है।
 == यह भी देखें ==
-* डूबे हुए सबमनीफोल्ड
+* अंतर्वेशित उपबहुखण्ड
-* [[आइसोमेट्रिक विसर्जन]]
+* [[आइसोमेट्रिक विसर्जन|आइसोमेट्रिक अंतर्वेशन]]
-*निमज्जन (गणित)
+*अंतर्वेशन (गणित)
 ==टिप्पणियाँ==
@@ Line 228: / Line 228: @@
 * [http://www.encyclopediaofmath.org/index.php/Immersion_of_a_manifold Immersion of a manifold] at the Encyclopedia of Mathematics
-{{Manifolds}}
-[[Category: विभेदक ज्यामिति]] [[Category: विभेदक टोपोलॉजी]] [[Category: कई गुना के नक्शे]] [[Category: चिकना कार्य]]
-[[Category: Machine Translated Page]]
 [[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:विभेदक टोपोलॉजी]]

Anonymous

Search

अंतर्वेशन (गणित): Difference between revisions

Namespaces

More

Page actions

Latest revision as of 13:17, 22 March 2023

Contents

नियमित समरूपता