एम्बेडिंग

"आइसोमेट्रिक एम्बेडिंग" redirects here. For के लिए संबंधित अवधारणाएँ मीट्रिक स्थान, see आइसोमेट्री.

For other uses, see एम्बेडिंग (disambiguation).

गणित में एंबेडिंग गणितीय संरचना का एक उदाहरण है जो किसी अन्य उदाहरण में समाहित है, जैसे एक समूह जो उपसमूह है।

जब किसी $X$ वस्तु को $Y$ वस्तु में एम्बेड किया जाता है तब एम्बेडिंग में एकैकी समारोह और संरचना-संरक्षण मानचित्र द्वारा दी जाती है $f:X\rightarrow Y$. संरचना-संरक्षण का अर्थ उस गणितीय संरचना पर निर्भर करता है जिसका उदाहरण $X$ तथा $Y$ हैं। श्रेणी सिद्धांत में, संरचना-संरक्षण मानचित्र को रूपवाद कहा जाता है।

तथ्य यह है कि एक मैप में $f:X\rightarrow Y$ एम्बेडिंग है जिसे अधिकांश हुक किए गए तीर के उपयोग द्वारा संकेत किया जाता है (U+21AA ↪ हुक के साथ दाईं ओर तीर); इस प्रकार: $f:X\hookrightarrow Y.$ (यह अंकन कभी-कभी समावेशन नक्शो के लिए आरक्षित होता है।)

X और Y को देखते हुए, X के Y में अलग-अलग एम्बेडिंग संभव हो सकते हैं। ब्याज के विषयों में एक मानक एम्बेडिंग होता है, जैसे कि पूर्णांकों में प्राकृतिक संख्याएँ, परिमेय संख्याओं में पूर्णांक, वास्तविक संख्याओं में परिमेय संख्याएँ और जटिल संख्याओं में वास्तविक संख्याएँ। ऐसे विषयों में कार्यक्षेत्र $X$ को उसकी छवि $Y$ में सम्मलित करना साधारण है I इसलिये $f(X)\subseteq Y$.

टोपोलॉजी और ज्यामिति

सामान्य टोपोलॉजी

सामान्य टोपोलॉजी में, एम्बेडिंग अपनी छवि पर एक होमियोमोर्फिज्म होता है। एकैकी लगातार (टोपोलॉजी) कार्य में, मानचित्र $f:X\to Y$ टोपोलॉजिकल स्पेस के बीच $X$ तथा $Y$ संस्थानिक एम्बेडिंग है, यदि $f$ के बीच होमोमोर्फिज्म उत्पन्न होता है तब $X$ तथा $f(X)$ (कहाँ पर $f(X)$ से परम्परा में मिली $Y$ उपस्थान का वहन करता है)I साधारण रूप से, एम्बेडिंग $f:X\to Y$ हैं, टोपोलॉजी में $Y$ के रूप में $X$ एक उप-स्थान है I सभी एम्बेडिंग एकैकी और निरंतर कार्य (टोपोलॉजी) है। एम्बेडिंग में सभी एकैकी मैप खुले या बंद होते है जबकि ऐसे एम्बेडिंग भी हैं जो न तो खुले हैं और न ही बंद हैं। ऐसा तब होता है जब छवि $f(X)$ में $Y$ न  खुला समूह हो ,और न ही बंद समूह हो।

किसी दिए गए स्थान के लिए $Y$, एक एम्बेडिंग $X\to Y$ अस्तित्व में $X$ का सामयिक अपरिवर्तनीय है I यह दो स्थानों को अलग करने की अनुमति देता है एम्बेडेड में यदि एक स्थान सक्षम है जबकि दूसरा स्थान सक्षम नहीं है।

संबंधित परिभाषाएँ

$f:X\to Y$ किसी फ़ंक्शन का कार्यक्षेत्र टोपोलॉजिकल स्पेस है तब इसे फ़ंक्शन कहा जाता है I यह अपने कार्यक्षेत्र के एक बिंदु पर स्थानीय इंजेक्शन के रूप में सम्मिलित होता हैI $U$ बिंदु का प्रतिबंध $f{\big \vert }_{U}:U\to Y$ एकैकी है। इसे स्थानीय रूप से स्थानीय इंजेक्शन कहा जाता है I कार्यक्षेत्र के आसपास के सभी बिंदु स्थानीय रूप से एकैकी है I स्थानीय (स्थलीय, सम्मान चिकनी) एम्बेडिंग एक ऐसा कार्य है जिसमे सभी बिंदु कार्यक्षेत्र के निकटतम होते है जिसके लिए इसका प्रतिबंध एक एम्बेडिंग होता है।

प्रत्येक एकैकी फ़ंक्शन स्थानीय रूप से एकैकी होता है लेकिन विपरीत नहीं होते है। स्थानीय भिन्नता, स्थानीय होमोमोर्फिज्म, और स्मूथ आप्लावन सभी स्थानीय एकैकी के कार्य हैं जो आवश्यक रूप से एकैकी नहीं हैं। व्युत्क्रम कार्य प्रमेय में स्थानीय रूप से बीच में लगातार होने वाले कार्य के लिए पर्याप्त स्थिति देता है। प्रत्येक फाइबर स्थानीय रूप से एकैकी का कार्य करता है $f:X\to Y$ अनिवार्य रूप से एक कार्यक्षेत्र $X$ का अलग उपस्थान है I

विभेदक टोपोलॉजी

विभेदक टोपोलॉजी में $M$ तथा $N$ को कई गुना और $f:M\to N$ को स्मूथ मैप होने देना चाहिए। फिर $f$ को आप्लावन कहा जाता है यदि इसका व्युत्पन्न सभी जगह एकैकी है।एम्बेडिंग को एक आप्लावन के रूप में परिभाषित किया गया है जो ऊपर वर्णित टोपोलॉजिकल के अर्थ में एक एम्बेडिंग है ( इसका तात्यर्य है छवि पर होमोमोर्फिज्म)। दूसरे शब्दों में, एक एम्बेडिंग का कार्यक्षेत्र अपनी छवि के लिए भिन्न होता है, और विशेष रूप से एम्बेडिंग की छवि कई गुना होनी चाहिए। आप्लावन एक स्थानीय एम्बेडिंग है, किसी भी बिंदु के लिए $x\in M$ एक निकटतम है $x\in U\subset M$ ऐसा है कि $f:U\to N$ एक एम्बेडिंग है।

जब कार्यक्षेत्र ही मैनिफोल्ड कॉम्पैक्ट होता है, तो सरल एम्बेडिंग की धारणा एकैकी आप्लावन के बराबर होती है।

महत्वपूर्ण यह है $N=\mathbb {R} ^{n}$. यहाँ रुचि इस बात में है कि $n$ किसी एम्बेडिंग के लिए $m$ के आयाम ( $M$) के संदर्भ में कितना बड़ा होना चाहिए I. व्हिटनी एम्बेडिंग प्रमेय कहता है कि $n=2m$ पर्याप्त है, और रैखिक सीमा सर्वोत्तम है। उदाहरण, वास्तविक प्रक्षेप्य स्थान $RP^{m}$ आयाम का $m$, जहां $m$ को दो की शक्ति की आवश्यकता होती है, एम्बेडिंग के लिए $n=2m$ . जबकि , यह आप्लावन पर लागू नहीं होता है; उदाहरण के लिए, $RP^{2}$ में डुबोया जा सकता है $\mathbb {R} ^{3}$ जैसा कि बॉयज़ सरफेस द्वारा दिखाया गया है - जिसमें वह स्थान स्वयं-बदलते हैं। रोमन सतह पर आप्लावन होना असफल होता है क्योंकि इसमें क्रॉस-कैप होते हैं।

एक एम्बेडिंग उचित है यदि यह सीमाओं के संबंध में अच्छा व्यवहार करता है किसी को मानचित्र Y की आवश्यकता होती है जो ऐसा हो $f:X\rightarrow Y$ .

• $f(\partial X)=f(X)\cap \partial Y$, तथा
• $f(X)$ अनुप्रस्थता है $\partial Y$ के किसी भी बिंदु में $f(\partial X)$.`

पहला अनुबंध $f(\partial X)\subseteq \partial Y$ तथा $f(X\setminus \partial X)\subseteq Y\setminus \partial Y$ के बराबर है. दूसरा अनुबंध में, $f(X)$ सीमा की स्पर्शरेखा $Y$ नहीं है I

रिमैनियन और स्यूडो-रिमैनियन ज्यामिति

रीमैनियन ज्यामिति और स्यूडो-रीमैनियन ज्यामिति में $(M,g)$ तथा $(N,h)$ रीमैनियन कई गुना होता है । एक सममितीय एम्बेडिंग सरल एम्बेडिंग है $f:M\rightarrow N$ जो रिमेंनियन मीट्रिक को संरक्षित करता है कि $g$ को पीछे खींचने में बराबर हो I $h$ द्वारा $f$, अर्थात। $g=f*h$. स्पष्ट रूप से, किसी भी दो स्पर्शरेखा सदिशों के लिए $v,w\in T_{x}(M)$ अपने पास

$g(v,w)=h(df(v),df(w)).$

समान रूप से, सममितीय आप्लावन में रिमैनियन मैनिफोल्ड्स के बीच एक आप्लावन है जो रिमैनियन मेट्रिक्स को संरक्षित करता है।

समतुल्य रूप से, रिमेंनियन ज्यामिति में, आइसोमेट्रिक एम्बेडिंग एक सरल एम्बेडिंग है जो घटता की लंबाई को संरक्षित करता है। (सीएफ़. नैश एम्बेडिंग प्रमेय )

बीजगणित

सामान्य रूप से, एक बीजगणितीय श्रेणी $C$, दो $C$ बीजगणितीय संरचनाओं $X$ तथा $Y$ के बीच एम्बेडिंग $C$ रूपवाद है एक है I $e:X\rightarrow Y$ जो कि एकैकी है।

क्षेत्र सिद्धांत

क्षेत्र सिद्धांत में, एक क्षेत्र का एम्बेडिंग $E$ मैदान मे $F$ एक वलय समरूपता है $\sigma :E\rightarrow F$.

$\sigma$ का कर्नेल $E$ का एक आदर्श है जो पूरा क्षेत्र $E$ नहीं हो सकता, स्थिति के कारण $1=\sigma (1)=1$. इसके अतिरिक्त, यह क्षेत्रों की एक प्रसिद्ध संपत्ति है कि उनका एकमात्र शून्य आदर्श और संपूर्ण क्षेत्र है। इसलिए, कर्नेल $0$ हैI इसलिए क्षेत्र की एम्बेडिंग एकरूपता है। अत, $E$ क्षेत्र विस्तार के लिए समरूपी है $\sigma (E)$ का $F$. इस क्षेत्र को मनमाना समरूपता के लिए एम्बेड किए गए नाम को सही ठहराता है।

सार्वभौमिक बीजगणित और मॉडल सिद्धांत

Further information: अधोसंरचना (गणित) and प्राथमिक समानता

यदि $\sigma$ हस्ताक्षर है इसमें $A,B$ को $\sigma$- संरचना कहा जाता है I $\sigma$- में सार्वभौमिक बीजगणित , मॉडल सिद्धांत है। फिर एक मैप $h:A\to B$ में $\sigma$-एम्बेडिंग आईएफएफ निम्नलिखित में से सभी धारण करते हैं:

• $h$ एकैकी है,
• सभी के लिए $n$-एरी फ़ंक्शन प्रतीक $f\in \sigma$ तथा $a_{1},\ldots ,a_{n}\in A^{n},$ अपने पास $h(f^{A}(a_{1},\ldots ,a_{n}))=f^{B}(h(a_{1}),\ldots ,h(a_{n}))$,
• सभी के लिए $n$-एरी संबंध प्रतीक $R\in \sigma$ तथा $a_{1},\ldots ,a_{n}\in A^{n},$ अपने पास $A\models R(a_{1},\ldots ,a_{n})$ आईएफएफ $B\models R(h(a_{1}),\ldots ,h(a_{n})).$

यहां $A\models R(a_{1},\ldots ,a_{n})$ के समकक्ष एक मॉडल सैद्धांतिक संकेतन है $(a_{1},\ldots ,a_{n})\in R^{A}$. मॉडल सिद्धांत में प्राथमिक एम्बेडिंग की एक मजबूत धारणा भी है।

आदेश सिद्धांत और डोमेन सिद्धांत

आदेश सिद्धांत में, आंशिक रूप से आदेशित सेटों का एम्बेडिंग रूप से आदेशित सेटों $X$ तथा $Y$ के बीच $F$ एक फ़ंक्शन है जैसा कि

$\forall x_{1},x_{2}\in X:x_{1}\leq x_{2}\iff F(x_{1})\leq F(x_{2}).$

$F$ , एकैकी की इस परिभाषा को शीघ्रता से अनुसरण करती है। डोमेन सिद्धांत में, एक अतिरिक्त आवश्यकता यह है कि

$\forall y\in Y:\{x\mid F(x)\leq y\}$ निर्देशित सेट है।

मीट्रिक रिक्त स्थान

एक मानचित्रण $\phi :X\to Y$ में मीट्रिक रिक्त स्थान को एम्बेडिंग कहा जाता हैI ( विरूपण के साथ $C>0$) यदि

$Ld_{X}(x,y)\leq d_{Y}(\phi (x),\phi (y))\leq CLd_{X}(x,y)$

सभी के लिए $x,y\in X$ और कुछ स्थिर $L>0$.

सामान्य स्थान

एक विशेष विषयों का महत्वपूर्ण स्थान आदर्श है; इस विषय में रैखिक एम्बेडिंग पर विचार करना स्वाभाविक है।

परिमित-आयामी मानक स्थान के बारे में पूछे जाने वाले बुनियादी प्रश्नों में से एक है, अधिकतम $(X,\|\cdot \|)$ आयाम क्या है? $k$ ऐसा है कि हिल्बर्ट अंतरिक्ष $\ell _{2}^{k}$ को निरंतर विरूपण के साथ $X$ में रैखिक रूप से एम्बेड किया जा सकता है?

इसका उत्तर ड्वोरेट्स्की के प्रमेय द्वारा दिया गया है।

श्रेणी सिद्धांत

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

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

एक ठोस श्रेणी में, एक एम्बेडिंग एक आकृतिवाद है $f:A\rightarrow B$ जो अंतर्निहित सेट से एक एकैकी फ़ंक्शन है $A$ के अंतर्निहित सेट के लिए $B$ और निम्नलिखित अर्थों में एक प्रारंभिक रूपवाद भी है: यदि $g$ किसी वस्तु के अंतर्निहित सेट से एक कार्य है $C$ के अंतर्निहित सेट के लिए $A$, और अगर इसकी रचना के साथ $f$ एक रूपवाद है $fg:C\rightarrow B$, फिर $g$ स्वयं एक रूपवाद है।

किसी श्रेणी के लिए गुणनखंडन प्रणाली भी एम्बेडिंग की धारणा को जन्म देती है। यदि $(E,M)$ एक गुणनखंडन प्रणाली है, तो morphisms in $M$ एम्बेडिंग के रूप में माना जा सकता है, खासकर जब श्रेणी के संबंध में अच्छी तरह से संचालित हो $M$. ठोस सिद्धांतों में अक्सर एक गुणनखंड प्रणाली होती है जिसमें $M$ पिछले अर्थों में एम्बेडिंग शामिल हैं। यह इस आलेख में दिए गए अधिकांश उदाहरणों का मामला है।

श्रेणी सिद्धांत में हमेशा की तरह, एक दोहरी (श्रेणी सिद्धांत) अवधारणा होती है, जिसे भागफल के रूप में जाना जाता है। सभी पूर्ववर्ती गुण दोहराए जा सकते हैं।

एक एम्बेडिंग एक उपश्रेणी # एंबेडिंग को भी संदर्भित कर सकता है।

यह भी देखें

• बंद आप्लावन
• कवर (बीजगणित)
• आयाम में कमी
• निमज्जन (गणित)
• जॉनसन-लिंडनस्ट्रॉस लेम्मा
• सबमेनिफोल्ड
• सबस्पेस (टोपोलॉजी)
• टोपोलॉजी और टोपोलॉजिकल डायनेमिक्स में यूनिवर्सल स्पेस

संदर्भ

• Bishop, Richard Lawrence; Crittenden, Richard J. (1964). Geometry of manifolds. New York: Academic Press. ISBN 978-0-8218-2923-3.
• Bishop, Richard Lawrence; Goldberg, Samuel Irving (1968). Tensor Analysis on Manifolds (First Dover 1980 ed.). The Macmillan Company. ISBN 0-486-64039-6.
• Crampin, Michael; Pirani, Felix Arnold Edward (1994). Applicable differential geometry. Cambridge, England: Cambridge University Press. ISBN 978-0-521-23190-9.
• do Carmo, Manfredo Perdigao (1994). Riemannian Geometry. ISBN 978-0-8176-3490-2.
• Flanders, Harley (1989). Differential forms with applications to the physical sciences. Dover. ISBN 978-0-486-66169-8.
• Gallot, Sylvestre; Hulin, Dominique; Lafontaine, Jacques (2004). Riemannian Geometry (3rd ed.). Berlin, New York: Springer-Verlag. ISBN 978-3-540-20493-0.
• Hocking, John Gilbert; Young, Gail Sellers (1988) [1961]. Topology. Dover. ISBN 0-486-65676-4.
• 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.
• Kobayashi, Shoshichi; Nomizu, Katsumi (1963). Foundations of Differential Geometry, Volume 1. New York: Wiley-Interscience.
• Lee, John Marshall (1997). Riemannian manifolds. Springer Verlag. ISBN 978-0-387-98322-6.
• Sharpe, R.W. (1997). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. Springer-Verlag, New York. ISBN 0-387-94732-9..
• Spivak, Michael (1999) [1970]. A Comprehensive introduction to differential geometry (Volume 1). Publish or Perish. ISBN 0-914098-70-5.
• Warner, Frank Wilson (1983). Foundations of Differentiable Manifolds and Lie Groups. Springer-Verlag, New York. ISBN 0-387-90894-3..

बाहरी संबंध

• Adámek, Jiří; Horst Herrlich; George Strecker (2006). Abstract and Concrete Categories (The Joy of Cats).
• Embedding of manifolds on the Manifold Atlas