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

From Vigyanwiki

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

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

औपचारिक रूप से, दो आंशिक रूप से श्रेणी किए गए समूह (पोसेट) और दिए गए हैं, एक फलन (गणित) एक श्रेणी एम्बेडिंग है यदि श्रेणी-संरक्षण और श्रेणी-प्रतिबिंबित दोनों है, अर्थात् में सभी और के लिए, एक है

[1]

ऐसा फलन आवश्यक रूप से इंजेक्टिव है, क्योंकि का तात्पर्य और है।[1] यदि दो पोजेट्स और के बीच एम्बेडिंग श्रेणी उपस्थित है, तो कोई कहता है कि को में एम्बेड किया जा सकता है।

गुण

दोनों दिशाओं में का उपयोग करके और का पारस्परिक क्रम एम्बेडिंग।
सेट 6 के भाजक का, आंशिक रूप से x द्वारा क्रमित, y को विभाजित करता है। एम्बेडिंग कोरट्रैक्शन नहीं हो सकता है।

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

वास्तविक संख्याएँ के खुले अंतराल और संबंधित बंद अंतराल द्वारा एक उदाहरण प्रदान किया जाता है। फ़ंक्शन पहले को दूसरे के उपसमुच्चय में और बाद वाले को पहले के सबसेट में मैप करता है, चित्र देखें। दोनों सेटों को प्राकृतिक तरीके से ऑर्डर करने पर, एफ ऑर्डर-संरक्षण और ऑर्डर-प्रतिबिंबित (क्योंकि यह एक एफ़िन फ़ंक्शन है) दोनों है। फिर भी, दोनों पदों के बीच कोई समरूपता मौजूद नहीं हो सकती, उदाहरण के लिए में न्यूनतम तत्व है जबकि में नहीं है। एक अंतराल में वास्तविक संख्याओं को ऑर्डर-एम्बेड करने के लिए आर्कटान का उपयोग करने वाले समान उदाहरण के लिए, और विपरीत दिशा के लिए पहचान माप देखें, उदाहरण के लिए जस्ट एंड वीज़ (1996) देखें।[2]

रिट्रेक्ट ऑर्डर-संरक्षण मापों की एक जोड़ी है जिसकी कार्य संरचना पहचान है। इस स्थिति में, को कोरट्रैक्शन कहा जाता है, और यह एक श्रेणी एम्बेडिंग होना चाहिए।[3] चूँकि, प्रत्येक श्रेणी एम्बेडिंग एक कोरट्रैक्शन नहीं है। एक तुच्छ उदाहरण के रूप में, खाली पोसेट से गैर-रिक्त पोसेट में को एम्बेड करने वाले अद्वितीय ऑर्डर में कोई वापसी नहीं है, क्योंकि कोई श्रेणी-संरक्षण माप नहीं है। अधिक स्पष्ट रूप से, समूह पर विचार करें 6 के विभाजक के समूह पर विचार करें, जो आंशिक रूप से x द्वारा y को विभाजित करके क्रमबद्ध हैं, चित्र देखें। एम्बेडेड उप-पोज़िट पर विचार करें। एम्बेडिंग को वापस लेने के लिए और दोनों के ऊपर में कहीं भेजने की आवश्यकता होगी, किन्तु ऐसा कोई स्थान नहीं है।

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

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

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

यह भी देखें

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

संदर्भ

  1. 1.0 1.1 1.2 Davey, B. A.; Priestley, H. A. (2002), "Maps between ordered sets", Introduction to Lattices and Order (2nd ed.), New York: Cambridge University Press, pp. 23–24, ISBN 0-521-78451-4, MR 1902334.
  2. Just, Winfried; Weese, Martin (1996), Discovering Modern Set Theory: The basics, Fields Institute Monographs, vol. 8, American Mathematical Society, p. 21, ISBN 9780821872475
  3. Duffus, Dwight; Laflamme, Claude; Pouzet, Maurice (2008), "Retracts of posets: the chain-gap property and the selection property are independent", Algebra Universalis, 59 (1–2): 243–255, arXiv:math/0612458, doi:10.1007/s00012-008-2125-6, MR 2453498, S2CID 14259820.