ऑर्डर एम्बेडिंग

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

औपचारिक परिभाषा

औपचारिक रूप से, दो आंशिक रूप से श्रेणी किए गए सेट (पोसेट) $(S,\leq )$ और $(T,\preceq )$ दिए गए हैं, एक फलन (गणित) $f:S\to T$ एक श्रेणी एम्बेडिंग है यदि $f$ श्रेणी-संरक्षण और श्रेणी-प्रतिबिंबित दोनों है, अर्थात् $S$ में सभी $x$ और $y$ के लिए, एक है

$x\leq y{\text{ if and only if }}f(x)\preceq f(y).$

ऐसा फलन आवश्यक रूप से इंजेक्टिव है, क्योंकि $f(x)=f(y)$ का तात्पर्य $x\leq y$ और $y\leq x$ है। यदि दो पोजेट्स $S$ और $T$ के बीच एम्बेडिंग श्रेणी उपस्थित है, तो कोई कहता है कि $S$ को $T$ में एम्बेड किया जा सकता है।

गुण

का पारस्परिक श्रेणी एम्बेडिंग $(0,1)$ और $[0,1]$, का उपयोग करना $f(x)=(94x+3)/100$ दोनों दिशाओं में.

सेट $S$ 6 के भाजक का, आंशिक रूप से x द्वारा क्रमित, y को विभाजित करता है। एम्बेडिंग $id:\{1,2,3\}\to S$ कोरट्रैक्शन नहीं हो सकता.

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

खुले अंतराल द्वारा एक उदाहरण प्रदान किया गया है $(0,1)$ वास्तविक संख्याएँ और संगत बंद अंतराल $[0,1]$. कार्यक्रम $f(x)=(94x+3)/100$ पूर्व को उपसमुच्चय में मैप करता है $(0.03,0.97)$ उत्तरार्द्ध का और उत्तरार्द्ध का उपसमुच्चय $[0.03,0.97]$पूर्व का, चित्र देखें। दोनों सेटों को प्राकृतिक तरीके से श्रेणी करना, $f$ श्रेणी-संरक्षण और श्रेणी-प्रतिबिंबित दोनों है (क्योंकि यह एक रैखिक कार्य है). फिर भी, दोनों पदों के बीच कोई समरूपता मौजूद नहीं हो सकती, उदाहरण के लिए $[0,1]$ जबकि कम से कम तत्व है $(0,1)$ नहीं करता। वास्तविक संख्याओं को एक अंतराल में क्रमबद्ध करने के लिए आर्कटान का उपयोग करने वाले एक समान उदाहरण के लिए, और विपरीत दिशा के लिए पहचान मानचित्र देखें, उदाहरण के लिए देखें। जस्ट एंड वीज़ (1996)। एक वापसी एक जोड़ी है $(f,g)$ क्रम-संरक्षित मानचित्रों की जिनकी कार्य संरचना $g\circ f$ पहचान है. इस मामले में, $f$ इसे कोरट्रैक्शन कहा जाता है, और यह एक श्रेणी एम्बेडिंग होना चाहिए। हालाँकि, प्रत्येक श्रेणी एम्बेडिंग एक कोरट्रैक्शन नहीं है। एक तुच्छ उदाहरण के रूप में, अद्वितीय श्रेणी एम्बेडिंग $f:\emptyset \to \{1\}$ खाली पोसेट से गैर-रिक्त पोसेट में कोई वापसी नहीं है, क्योंकि कोई श्रेणी-संरक्षण मानचित्र नहीं है $g:\{1\}\to \emptyset$. अधिक स्पष्ट रूप से, सेट पर विचार करें $S$ 6 के भाजक का, आंशिक रूप से x द्वारा y को विभाजित करने पर क्रमबद्ध, चित्र देखें। एम्बेडेड उप-पोज़िट पर विचार करें $\{1,2,3\}$. एम्बेडिंग की वापसी $id:\{1,2,3\}\to S$ भेजने की आवश्यकता होगी $6$ कहीं अंदर $\{1,2,3\}$ दोनों के ऊपर $2$ और $3$, लेकिन ऐसी कोई जगह नहीं है.

अतिरिक्त परिप्रेक्ष्य

पोसेट्स को सीधे तौर पर कई दृष्टिकोणों से देखा जा सकता है, और श्रेणी एम्बेडिंग इतनी बुनियादी हैं कि वे हर जगह से दिखाई देते हैं। उदाहरण के लिए:

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

यह भी देखें

• दुशनिक-मिलर प्रमेय
• लेवर का प्रमेय