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

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

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

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

M के प्रत्येक बिंदु p पर एक अंतःक्षेपी कार्य है, जहाँ T_pX में एक बिंदु 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 के लिए क्रिया 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-स्थानों में एक अंतः स्थापित सतह का प्रक्षेपण है? यह इन वस्तुओं के बारे में प्रश्नों को संबंधित करने की अनुमति देता है।

समतल वक्रों के स्तिथियों के विपरीत, एक आधारभूत परिणाम यह है कि प्रत्येक अंतर्वेशित सतह एक अंतःस्थापित सतह तक नहीं उठती है। कोस्चोर्क का उदाहरण , के अनुसार कुछ स्तिथियों में 2-घुमावदार बाधा है जो एक अंतर्वेशत सतह है (3 मोबियस बैंड से निर्मित, तीन बिंदुओं के साथ) जो एक अंतःस्थापित वाली सतह तक नहीं उठती है, लेकिन इसमें एक दोहरा आवरण होता है जो वृद्धि करता है। Carter & Saito (1998a), में विस्तृत विश्लेषण दिया गया है Carter, Kamada & Saito (2004)जबकि सबसे एक और नये सर्वेक्षण में दिया गया है

सामान्यीकरण

Main article: Homotopy principle

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

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

यह भी देखें

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

संदर्भ

• 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