ऑर्डर एम्बेडिंग: Difference between revisions
From Vigyanwiki
(Created page with "ऑर्डर सिद्धांत में, गणित की एक शाखा, ऑर्डर एम्बेडिंग एक विशेष प्रका...") |
No edit summary |
||
| Line 1: | Line 1: | ||
श्रेणी सिद्धांत में, गणित की एक शाखा, श्रेणी एम्बेडिंग एक विशेष प्रकार का [[मोनोटोन फ़ंक्शन|मोनोटोन फलन]] है, जो एक आंशिक रूप से श्रेणी किए गए सेट को दूसरे में सम्मिलित करने का एक प्रणाली प्रदान करता है। [[गैलोइस कनेक्शन]] की तरह, श्रेणी एम्बेडिंग एक ऐसी धारणा का निर्माण करती है जो [[ आदेश समरूपता | श्रेणी समरूपता]] की अवधारणा से सख्ती से कमजोर है। इन दोनों कमजोरियों को [[श्रेणी सिद्धांत]] के संदर्भ में समझा जा सकता है। | |||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
औपचारिक रूप से, दो आंशिक रूप से | औपचारिक रूप से, दो आंशिक रूप से श्रेणी किए गए सेट (पोसेट) दिए गए हैं <math>(S, \leq)</math> और <math>(T, \preceq)</math>, एक [[फ़ंक्शन (गणित)|फलन (गणित)]] <math>f: S \to T</math> यदि एक श्रेणी एम्बेडिंग है <math>f</math> [[आदेश-संरक्षण|श्रेणी-संरक्षण]] और [[आदेश-प्रतिबिंबित|श्रेणी-प्रतिबिंबित]] दोनों है, यानी सभी के लिए <math>x</math> और <math>y</math> में <math>S</math>, किसी के पास | ||
: <math>x\leq y \text{ if and only if } f(x)\preceq f(y).</math><ref name="dp02">{{citation | : <math>x\leq y \text{ if and only if } f(x)\preceq f(y).</math><ref name="dp02">{{citation | ||
| Line 18: | Line 18: | ||
| contribution-url = https://books.google.com/books?id=vVVTxeuiyvQC&pg=PA23 | | contribution-url = https://books.google.com/books?id=vVVTxeuiyvQC&pg=PA23 | ||
| year = 2002}}.</ref> | | year = 2002}}.</ref> | ||
ऐसा | ऐसा फलन आवश्यक रूप से [[ इंजेक्शन ]] है, क्योंकि <math>f(x) = f(y)</math> तात्पर्य <math>x \leq y</math> और <math>y \leq x</math>.<ref name="dp02"/>यदि कोई श्रेणी दो पॉसेट के बीच एम्बेड हो रहा है <math>S</math> और <math>T</math> अस्तित्व में है, ऐसा कोई कहता है <math>S</math> में एम्बेड किया जा सकता है <math>T</math>. | ||
== गुण == | == गुण == | ||
[[File:Mutual embedding of open and closed real unit interval svg.svg|thumb|300px|का पारस्परिक | [[File:Mutual embedding of open and closed real unit interval svg.svg|thumb|300px|का पारस्परिक श्रेणी एम्बेडिंग <math>(0,1)</math> और <math>[0,1]</math>, का उपयोग करना <math>f(x) = (94x+3)/100</math> दोनों दिशाओं में.]] | ||
[[File:Lattice T(6).svg|thumb|सेट <math>S</math> 6 के भाजक का, आंशिक रूप से x द्वारा क्रमित, y को विभाजित करता है। एम्बेडिंग <math>id: \{ 1,2,3 \} \to S</math> कोरट्रैक्शन नहीं हो सकता.]]एक | [[File:Lattice T(6).svg|thumb|सेट <math>S</math> 6 के भाजक का, आंशिक रूप से x द्वारा क्रमित, y को विभाजित करता है। एम्बेडिंग <math>id: \{ 1,2,3 \} \to S</math> कोरट्रैक्शन नहीं हो सकता.]]एक श्रेणी समरूपता को एक [[विशेषण]] श्रेणी एम्बेडिंग के रूप में वर्णित किया जा सकता है। परिणामस्वरूप, f एम्बेड करने वाला कोई भी श्रेणी किसी फलन S के डोमेन और उसकी [[छवि (गणित)]] f(S) के बीच एक समरूपता को प्रतिबंधित करता है, जो एम्बेडिंग शब्द को उचित ठहराता है।<ref name="dp02"/>दूसरी ओर, यह अच्छी तरह से हो सकता है कि दो (आवश्यक रूप से अनंत) पॉसेट श्रेणी-आइसोमोर्फिक हुए बिना एक-दूसरे में पारस्परिक रूप से श्रेणी-एम्बेडेबल हों। | ||
खुले अंतराल द्वारा एक उदाहरण प्रदान किया गया है <math>(0,1)</math> [[वास्तविक संख्या]]एँ और संगत [[बंद अंतराल]] <math>[0,1]</math>. कार्यक्रम <math>f(x) = (94x+3) / 100</math> पूर्व को उपसमुच्चय में मैप करता है <math>(0.03,0.97)</math> उत्तरार्द्ध का और उत्तरार्द्ध का उपसमुच्चय <math>[0.03,0.97]</math>पूर्व का, चित्र देखें। दोनों सेटों को प्राकृतिक तरीके से | खुले अंतराल द्वारा एक उदाहरण प्रदान किया गया है <math>(0,1)</math> [[वास्तविक संख्या]]एँ और संगत [[बंद अंतराल]] <math>[0,1]</math>. कार्यक्रम <math>f(x) = (94x+3) / 100</math> पूर्व को उपसमुच्चय में मैप करता है <math>(0.03,0.97)</math> उत्तरार्द्ध का और उत्तरार्द्ध का उपसमुच्चय <math>[0.03,0.97]</math>पूर्व का, चित्र देखें। दोनों सेटों को प्राकृतिक तरीके से श्रेणी करना, <math>f</math> श्रेणी-संरक्षण और श्रेणी-प्रतिबिंबित दोनों है (क्योंकि यह एक रैखिक कार्य है<!---Can't avoid this [[WP:EASTEREGG]], since [[affine function]] talks only about geometry, while [[linear function]] talks about functions ℝ→ℝ and mentions "affine" as a name for "linear"'s wider notion.--->). फिर भी, दोनों पदों के बीच कोई समरूपता मौजूद नहीं हो सकती, उदाहरण के लिए <math>[0,1]</math> जबकि कम से कम तत्व है <math>(0,1)</math> नहीं करता। | ||
वास्तविक संख्याओं को एक अंतराल में क्रमबद्ध करने के लिए आर्कटान का उपयोग करने वाले एक समान उदाहरण के लिए, और विपरीत दिशा के लिए [[पहचान मानचित्र]] देखें, उदाहरण के लिए देखें। जस्ट एंड वीज़ (1996)।<ref>{{citation|title=Discovering Modern Set Theory: The basics|volume=8|series=Fields Institute Monographs|first1=Winfried|last1=Just|first2=Martin|last2=Weese|publisher=American Mathematical Society|year=1996|isbn=9780821872475|page=21|url=https://books.google.com/books?id=TPvHr7fcvHoC&pg=PA21}}</ref> | वास्तविक संख्याओं को एक अंतराल में क्रमबद्ध करने के लिए आर्कटान का उपयोग करने वाले एक समान उदाहरण के लिए, और विपरीत दिशा के लिए [[पहचान मानचित्र]] देखें, उदाहरण के लिए देखें। जस्ट एंड वीज़ (1996)।<ref>{{citation|title=Discovering Modern Set Theory: The basics|volume=8|series=Fields Institute Monographs|first1=Winfried|last1=Just|first2=Martin|last2=Weese|publisher=American Mathematical Society|year=1996|isbn=9780821872475|page=21|url=https://books.google.com/books?id=TPvHr7fcvHoC&pg=PA21}}</ref> | ||
एक वापसी एक जोड़ी है <math>(f,g)</math> क्रम-संरक्षित मानचित्रों की जिनकी [[कार्य संरचना]] <math>g \circ f</math> पहचान है. इस मामले में, <math>f</math> इसे कोरट्रैक्शन कहा जाता है, और यह एक | एक वापसी एक जोड़ी है <math>(f,g)</math> क्रम-संरक्षित मानचित्रों की जिनकी [[कार्य संरचना]] <math>g \circ f</math> पहचान है. इस मामले में, <math>f</math> इसे कोरट्रैक्शन कहा जाता है, और यह एक श्रेणी एम्बेडिंग होना चाहिए।<ref>{{citation | ||
| last1 = Duffus | first1 = Dwight | | last1 = Duffus | first1 = Dwight | ||
| last2 = Laflamme | first2 = Claude | | last2 = Laflamme | first2 = Claude | ||
| Line 39: | Line 39: | ||
| volume = 59 | | volume = 59 | ||
| year = 2008| s2cid = 14259820 | | year = 2008| s2cid = 14259820 | ||
}}.</ref> हालाँकि, प्रत्येक | }}.</ref> हालाँकि, प्रत्येक श्रेणी एम्बेडिंग एक कोरट्रैक्शन नहीं है। एक तुच्छ उदाहरण के रूप में, अद्वितीय श्रेणी एम्बेडिंग <math>f: \emptyset \to \{1\}</math> खाली पोसेट से गैर-रिक्त पोसेट में कोई वापसी नहीं है, क्योंकि कोई श्रेणी-संरक्षण मानचित्र नहीं है <math>g: \{1\} \to \emptyset</math>. अधिक स्पष्ट रूप से, सेट पर विचार करें <math>S</math> 6 के [[भाजक]] का, आंशिक रूप से x द्वारा y को [[विभाजित]] करने पर क्रमबद्ध, चित्र देखें। एम्बेडेड उप-पोज़िट पर विचार करें <math>\{ 1,2,3 \}</math>. एम्बेडिंग की वापसी <math>id: \{ 1,2,3 \} \to S</math> भेजने की आवश्यकता होगी <math>6</math> कहीं अंदर <math>\{ 1,2,3 \}</math> दोनों के ऊपर <math>2</math> और <math>3</math>, लेकिन ऐसी कोई जगह नहीं है. | ||
== अतिरिक्त परिप्रेक्ष्य == | == अतिरिक्त परिप्रेक्ष्य == | ||
{{unreferenced section|date=October 2013}} | {{unreferenced section|date=October 2013}} | ||
पोसेट्स को सीधे तौर पर कई दृष्टिकोणों से देखा जा सकता है, और | पोसेट्स को सीधे तौर पर कई दृष्टिकोणों से देखा जा सकता है, और श्रेणी एम्बेडिंग इतनी बुनियादी हैं कि वे हर जगह से दिखाई देते हैं। उदाहरण के लिए: | ||
* ([[मॉडल सिद्धांत]]) एक पोसेट एक सेट है जो (रिफ्लेक्सिव, एंटीसिमेट्रिक और ट्रांजिटिव) [[ द्विआधारी संबंध ]] से लैस है। ए → बी को एम्बेड करने वाला | * ([[मॉडल सिद्धांत]]) एक पोसेट एक सेट है जो (रिफ्लेक्सिव, एंटीसिमेट्रिक और ट्रांजिटिव) [[ द्विआधारी संबंध ]] से लैस है। ए → बी को एम्बेड करने वाला श्रेणी ए से बी की प्राथमिक उपसंरचना में एक समरूपता है। | ||
* (ग्राफ़ सिद्धांत) एक पोसेट एक (सकर्मक, चक्रीय, निर्देशित, प्रतिवर्ती) ग्राफ़ (असतत गणित) है। ए → बी को एम्बेड करने वाला एक | * (ग्राफ़ सिद्धांत) एक पोसेट एक (सकर्मक, चक्रीय, निर्देशित, प्रतिवर्ती) ग्राफ़ (असतत गणित) है। ए → बी को एम्बेड करने वाला एक श्रेणी ए से बी के एक [[प्रेरित सबग्राफ]] के लिए एक [[ग्राफ समरूपता]] है। | ||
* (श्रेणी सिद्धांत) एक पोसेट एक (छोटी, पतली और कंकाल) [[श्रेणी (गणित)]] है जैसे कि प्रत्येक [[होम-सेट]] में अधिकतम एक तत्व होता है। ए → बी को एम्बेड करने वाला एक | * (श्रेणी सिद्धांत) एक पोसेट एक (छोटी, पतली और कंकाल) [[श्रेणी (गणित)]] है जैसे कि प्रत्येक [[होम-सेट]] में अधिकतम एक तत्व होता है। ए → बी को एम्बेड करने वाला एक श्रेणी ए से बी तक एक पूर्ण और वफादार [[ऑपरेटर]] है जो वस्तुओं पर इंजेक्शन है, या समकक्ष ए से बी की [[पूर्ण उपश्रेणी]] में एक आइसोमोर्फिज्म है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
Revision as of 07:38, 7 July 2023
श्रेणी सिद्धांत में, गणित की एक शाखा, श्रेणी एम्बेडिंग एक विशेष प्रकार का मोनोटोन फलन है, जो एक आंशिक रूप से श्रेणी किए गए सेट को दूसरे में सम्मिलित करने का एक प्रणाली प्रदान करता है। गैलोइस कनेक्शन की तरह, श्रेणी एम्बेडिंग एक ऐसी धारणा का निर्माण करती है जो श्रेणी समरूपता की अवधारणा से सख्ती से कमजोर है। इन दोनों कमजोरियों को श्रेणी सिद्धांत के संदर्भ में समझा जा सकता है।
औपचारिक परिभाषा
औपचारिक रूप से, दो आंशिक रूप से श्रेणी किए गए सेट (पोसेट) दिए गए हैं और , एक फलन (गणित) यदि एक श्रेणी एम्बेडिंग है श्रेणी-संरक्षण और श्रेणी-प्रतिबिंबित दोनों है, यानी सभी के लिए और में , किसी के पास
ऐसा फलन आवश्यक रूप से इंजेक्शन है, क्योंकि तात्पर्य और .[1]यदि कोई श्रेणी दो पॉसेट के बीच एम्बेड हो रहा है और अस्तित्व में है, ऐसा कोई कहता है में एम्बेड किया जा सकता है .
गुण
.svg)
एक श्रेणी समरूपता को एक विशेषण श्रेणी एम्बेडिंग के रूप में वर्णित किया जा सकता है। परिणामस्वरूप, f एम्बेड करने वाला कोई भी श्रेणी किसी फलन S के डोमेन और उसकी छवि (गणित) f(S) के बीच एक समरूपता को प्रतिबंधित करता है, जो एम्बेडिंग शब्द को उचित ठहराता है।[1]दूसरी ओर, यह अच्छी तरह से हो सकता है कि दो (आवश्यक रूप से अनंत) पॉसेट श्रेणी-आइसोमोर्फिक हुए बिना एक-दूसरे में पारस्परिक रूप से श्रेणी-एम्बेडेबल हों।
खुले अंतराल द्वारा एक उदाहरण प्रदान किया गया है वास्तविक संख्याएँ और संगत बंद अंतराल . कार्यक्रम पूर्व को उपसमुच्चय में मैप करता है उत्तरार्द्ध का और उत्तरार्द्ध का उपसमुच्चय पूर्व का, चित्र देखें। दोनों सेटों को प्राकृतिक तरीके से श्रेणी करना, श्रेणी-संरक्षण और श्रेणी-प्रतिबिंबित दोनों है (क्योंकि यह एक रैखिक कार्य है). फिर भी, दोनों पदों के बीच कोई समरूपता मौजूद नहीं हो सकती, उदाहरण के लिए जबकि कम से कम तत्व है नहीं करता। वास्तविक संख्याओं को एक अंतराल में क्रमबद्ध करने के लिए आर्कटान का उपयोग करने वाले एक समान उदाहरण के लिए, और विपरीत दिशा के लिए पहचान मानचित्र देखें, उदाहरण के लिए देखें। जस्ट एंड वीज़ (1996)।[2] एक वापसी एक जोड़ी है क्रम-संरक्षित मानचित्रों की जिनकी कार्य संरचना पहचान है. इस मामले में, इसे कोरट्रैक्शन कहा जाता है, और यह एक श्रेणी एम्बेडिंग होना चाहिए।[3] हालाँकि, प्रत्येक श्रेणी एम्बेडिंग एक कोरट्रैक्शन नहीं है। एक तुच्छ उदाहरण के रूप में, अद्वितीय श्रेणी एम्बेडिंग खाली पोसेट से गैर-रिक्त पोसेट में कोई वापसी नहीं है, क्योंकि कोई श्रेणी-संरक्षण मानचित्र नहीं है . अधिक स्पष्ट रूप से, सेट पर विचार करें 6 के भाजक का, आंशिक रूप से x द्वारा y को विभाजित करने पर क्रमबद्ध, चित्र देखें। एम्बेडेड उप-पोज़िट पर विचार करें . एम्बेडिंग की वापसी भेजने की आवश्यकता होगी कहीं अंदर दोनों के ऊपर और , लेकिन ऐसी कोई जगह नहीं है.
अतिरिक्त परिप्रेक्ष्य
 | This section does not cite any sources. (October 2013) (Learn how and when to remove this template message) |
पोसेट्स को सीधे तौर पर कई दृष्टिकोणों से देखा जा सकता है, और श्रेणी एम्बेडिंग इतनी बुनियादी हैं कि वे हर जगह से दिखाई देते हैं। उदाहरण के लिए:
- (मॉडल सिद्धांत) एक पोसेट एक सेट है जो (रिफ्लेक्सिव, एंटीसिमेट्रिक और ट्रांजिटिव) द्विआधारी संबंध से लैस है। ए → बी को एम्बेड करने वाला श्रेणी ए से बी की प्राथमिक उपसंरचना में एक समरूपता है।
- (ग्राफ़ सिद्धांत) एक पोसेट एक (सकर्मक, चक्रीय, निर्देशित, प्रतिवर्ती) ग्राफ़ (असतत गणित) है। ए → बी को एम्बेड करने वाला एक श्रेणी ए से बी के एक प्रेरित सबग्राफ के लिए एक ग्राफ समरूपता है।
- (श्रेणी सिद्धांत) एक पोसेट एक (छोटी, पतली और कंकाल) श्रेणी (गणित) है जैसे कि प्रत्येक होम-सेट में अधिकतम एक तत्व होता है। ए → बी को एम्बेड करने वाला एक श्रेणी ए से बी तक एक पूर्ण और वफादार ऑपरेटर है जो वस्तुओं पर इंजेक्शन है, या समकक्ष ए से बी की पूर्ण उपश्रेणी में एक आइसोमोर्फिज्म है।
यह भी देखें
- दुशनिक-मिलर प्रमेय
- लेवर का प्रमेय
संदर्भ
- ↑ 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.
- ↑ Just, Winfried; Weese, Martin (1996), Discovering Modern Set Theory: The basics, Fields Institute Monographs, vol. 8, American Mathematical Society, p. 21, ISBN 9780821872475
- ↑ 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.
