आज्ञा का आदेश
आदेश सिद्धांत के गणित क्षेत्र में, एक आदेश समाकृतिकता एक विशेष प्रकार का मोनोटोन समारोह है जो आंशिक रूप से ऑर्डर किए गए सेटों (POSET) के लिए आइसोमोर्फिज्म की एक उपयुक्त धारणा का गठन करता है।जब भी दो पोज़िट ऑर्डर आइसोमॉर्फिक होते हैं, तो उन्हें अनिवार्य रूप से इस अर्थ में समान माना जा सकता है कि या तो ऑर्डर को दूसरे से केवल तत्वों का नाम बदलकर प्राप्त किया जा सकता है।दो कड़ाई से कमजोर धारणाएं जो आइसोमोर्फिज्म ऑर्डर करने से संबंधित हैं, वे आदेश एम्बेडिंग और गैलोइस कनेक्शन हैं।[1]
परिभाषा
औपचारिक रूप से, दो आंशिक रूप से ऑर्डर किए गए सेट दिए गए और , एक आदेश आइसोमोर्फिज्म से को एक जीव है से को संपत्ति के साथ कि, हर के लिए और में , अगर और केवल अगर ।यही है, यह एक द्विध्रुवीय आदेश-एम्बेडिंग है।[2] एक ऑर्डर आइसोमोर्फिज्म को एक सर्जिकल ऑर्डर-एम्बेडिंग के रूप में परिभाषित करना भी संभव है।दो धारणाएँ के सभी तत्वों को कवर करें और यह कि यह आदेशों को संरक्षित करता है, यह सुनिश्चित करने के लिए पर्याप्त है एक-से-एक भी है, अगर के लिए तब (इस धारणा द्वारा कि आदेश को संरक्षित करता है) यह अनुसरण करेगा और , एक आंशिक आदेश की परिभाषा से है कि ।
फिर भी ऑर्डर आइसोमोर्फिज्म का एक और लक्षण वर्णन यह है कि वे वास्तव में मोनोटोन फ़ंक्शन बायजेक्शन हैं जिनमें एक मोनोटोन उलटा होता है।[3] एक आंशिक रूप से आदेशित सेट से एक आदेश आइसोमोर्फिज्म को एक आदेश स्वचालितता कहा जाता है।[4] जब एक अतिरिक्त बीजगणितीय संरचना पोज़ेट पर लगाया जाता है और से एक समारोह को एक आइसोमोर्फिज्म के रूप में माना जाने वाले अतिरिक्त गुणों को संतुष्ट करना चाहिए।उदाहरण के लिए, दो आंशिक रूप से ऑर्डर किए गए समूह (पीओ-समूह) दिए गए और , से पो-समूहों का एक समरूपता को एक समूह समरूपता है जो एक समूह आइसोमोर्फिज्म भी है, न कि केवल एक जीव है जो एक आदेश एम्बेडिंग है।[5]
उदाहरण
- किसी भी आंशिक रूप से ऑर्डर किए गए सेट पर पहचान फ़ंक्शन हमेशा एक ऑर्डर ऑटोमोर्फिज्म होता है।
- एडिटिव व्युत्क्रम एक आदेश आइसोमोर्फिज्म है को (कहाँ वास्तविक संख्याओं का सेट है और सामान्य संख्यात्मक तुलना को दर्शाता है), चूंकि −x −y andy यदि और केवल अगर x ≤ y।[6]
- खुला अंतराल (फिर से, संख्यात्मक रूप से आदेश दिया गया) बंद अंतराल से या उसके लिए एक ऑर्डर आइसोमोर्फिज्म नहीं है : बंद अंतराल में एक कम से कम तत्व होता है, लेकिन खुले अंतराल नहीं होता है, और ऑर्डर आइसोमोर्फिज्म को कम से कम तत्वों के अस्तित्व को संरक्षित करना चाहिए।[7]
- कैंटर के आइसोमोर्फिज्म प्रमेय द्वारा, प्रत्येक अनबाउंड काउंटेबल डेंस रेखीय आदेश तर्कसंगत संख्याओं के आदेश के लिए आइसोमॉर्फिक है।[8] द्विघात बीजगणितीय संख्याओं, तर्कसंगत संख्याओं और डायडिक तर्कसंगत संख्याओं के बीच स्पष्ट आदेश आइसोमोर्फिज्म मिंकोव्स्की के प्रश्न-चिह्न फ़ंक्शन द्वारा प्रदान किए जाते हैं।[9]
आदेश प्रकार
अगर एक आदेश आइसोमोर्फिज्म है, तो इसका उलटा कार्य है। इसके अलावा यदि से एक आदेश आइसोमोर्फिज्म है को और से एक आदेश आइसोमोर्फिज्म है को , फिर कार्य रचना और से ही एक आदेश आइसोमोर्फिज्म है, को .[10] दो आंशिक रूप से ऑर्डर किए गए सेटों को ऑर्डर आइसोमॉर्फिक कहा जाता है जब एक ऑर्डर आइसोमोर्फिज्म मौजूद होता है।[11] पहचान के कार्य, फ़ंक्शन व्युत्क्रम, और कार्यों की रचनाएँ क्रमशः एक समानता संबंध की तीन परिभाषित विशेषताओं के लिए, क्रमशः, रिफ्लेक्टिव रिलेशन, सममित संबंध और सकर्मी संबंध के अनुरूप हैं।इसलिए, ऑर्डर आइसोमोर्फिज्म एक समानता संबंध है।आंशिक रूप से ऑर्डर किए गए सेटों के वर्ग को इसके द्वारा समतुल्य वर्गों में विभाजित किया जा सकता है, आंशिक रूप से ऑर्डर किए गए सेटों के परिवार जो सभी एक दूसरे के लिए आइसोमोर्फिक हैं।इन तुल्यता वर्गों को ऑर्डर प्रकार कहा जाता है।
यह भी देखें
- क्रमचय पैटर्न, एक क्रमचय जो एक अन्य क्रमचय के बाद के आदेश-आइसोमॉर्फिक है
टिप्पणियाँ
- ↑ Bloch (2011); Ciesielski (1997).
- ↑ This is the definition used by Ciesielski (1997). For Bloch (2011) and Schröder (2003) it is a consequence of a different definition.
- ↑ This is the definition used by Bloch (2011) and Schröder (2003).
- ↑ Schröder (2003), p. 13.
- ↑ This definition is equivalent to the definition set forth in Fuchs (1963).
- ↑ See example 4 of Ciesielski (1997), p. 39., for a similar example with integers in place of real numbers.
- ↑ Ciesielski (1997), example 1, p. 39.
- ↑ Bhattacharjee, Meenaxi; Macpherson, Dugald; Möller, Rögnvaldur G.; Neumann, Peter M. (1997), "Rational numbers", Notes on infinite permutation groups, Texts and Readings in Mathematics, vol. 12, Berlin: Springer-Verlag, pp. 77–86, doi:10.1007/978-93-80250-91-5_9, ISBN 81-85931-13-5, MR 1632579
- ↑ Girgensohn, Roland (1996), "Constructing singular functions via Farey fractions", Journal of Mathematical Analysis and Applications, 203 (1): 127–141, doi:10.1006/jmaa.1996.0370, MR 1412484
- ↑ Ciesielski (1997); Schröder (2003).
- ↑ Ciesielski (1997).
संदर्भ
- Bloch, Ethan D. (2011), Proofs and Fundamentals: A First Course in Abstract Mathematics, Undergraduate Texts in Mathematics (2nd ed.), Springer, pp. 276–277, ISBN 9781441971265.
- Ciesielski, Krzysztof (1997), Set Theory for the Working Mathematician, London Mathematical Society Student Texts, vol. 39, Cambridge University Press, pp. 38–39, ISBN 9780521594653.
- Schröder, Bernd Siegfried Walter (2003), Ordered Sets: An Introduction, Springer, p. 11, ISBN 9780817641283.
- Fuchs, Laszlo (1963), Partially Ordered Algebraic Systems, Dover Publications; Reprint edition (March 5, 2014), pp. 2–3, ISBN 0486483878.
- Templates that generate short descriptions
- Collapse templates
- Navigational boxes
- Navigational boxes without horizontal lists
- Sidebars with styles needing conversion
- Templates generating microformats
- Templates that are not mobile friendly
- Wikipedia metatemplates
- रूपांतर
- आदेश सिद्धांत
- Machine Translated Page
- Created On 13/02/2023