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

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


 * $$D_pf : T_p M \to T_{f(p)}N\,$$

M के प्रत्येक बिंदु p पर एक अंतःक्षेपी कार्य है, जहाँ TpX में एक बिंदु p पर बहुखंड X के स्पर्शरेखा स्थान को दर्शाता है। समतुल्य रूप से, f एक अंतर्वेशन है यदि इसके व्युत्पन्न में M के आकार के बराबर निरंतर रैंक (अंतर टोपोलॉजी) है:
 * $$\operatorname{rank}\,D_p f = \dim M.$$

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

उदाहरण और गुण
* k पंखुड़ियों वाला एक गणितीय गुलाब (गणित) एक एकल k-ट्यूपल बिंदु के साथ समतल में वृत्त का अंतर्वेशन है; k कोई भी विषम संख्या हो सकती है, लेकिन यदि 4 का गुणक भी होना चाहिए, तो k = 2 के साथ आंकड़ा 8, गुलाब नहीं है।
 * क्लेन बोतल, और अन्य सभी गैर-उन्मुख बंद सतहों को 3-स्पेस में डुबोया जा सकता है लेकिन एम्बेड नहीं किया जा सकता है।
 * व्हिटनी-ग्रौस्टीन प्रमेय द्वारा, विमान में सर्कल के अंतर्वेशन के नियमित समरूपता वर्गों को घुमावदार संख्या द्वारा वर्गीकृत किया जाता है, जो कि बीजगणितीय रूप से गिने जाने वाले दोहरे बिंदुओं की संख्या भी है (अर्थात संकेतों के साथ)।
 * क्षेत्र का फैलाव: मानक अंत:स्थापन f0 : S2 → R3 से संबंधित है f1 = −f0 : S2 → R3 अंतर्वेशन की एक नियमित समरूपता द्वारा ft : S2 → R3.
 * लड़के की सतह 3-अंतरिक्ष में वास्तविक प्रक्षेपी तल का अंतर्वेशन है; इस प्रकार गोले का 2-टू-1 अंतर्वेशन भी।
 * मोरिन सतह गोले का अंतर्वेशन है; यह और बॉय की सतह दोनों गोलाकार विचलन में मिडवे मॉडल के रूप में उत्पन्न होती हैं।

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

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

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

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

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

यह भी देखें

 * डूबे हुए सबमनीफोल्ड
 * आइसोमेट्रिक अंतर्वेशन
 * अंतर्वेशन (गणित)

बाहरी संबंध

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