सुस्थापित संबंध: Difference between revisions
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
{{stack|{{Binary relations}}}} | {{stack|{{Binary relations}}}} | ||
गणित में, [[द्विआधारी संबंध]] {{mvar|R}} को वर्ग {{mvar|X}} पर उचित प्रकार से स्थापित (या उचित प्रकार से स्थापित या मूलभूत) कहा जाता है<ref>See Definition 6.21 in {{cite book|last1=Zaring W.M.|first1= G. Takeuti|title=Introduction to axiomatic set theory|date=1971|publisher=Springer-Verlag|location=New York|isbn=0387900241|edition=2nd, rev.}}</ref> यदि प्रत्येक गैर-रिक्त [[सबसेट|उपसमुच्चय]] {{math|''S'' ⊆ ''X''}} में {{mvar|R}} के संबंध में [[न्यूनतम तत्व]] है, अर्थात | गणित में, [[द्विआधारी संबंध]] {{mvar|R}} को वर्ग {{mvar|X}} पर उचित प्रकार से स्थापित (या उचित प्रकार से स्थापित या मूलभूत) कहा जाता है<ref>See Definition 6.21 in {{cite book|last1=Zaring W.M.|first1= G. Takeuti|title=Introduction to axiomatic set theory|date=1971|publisher=Springer-Verlag|location=New York|isbn=0387900241|edition=2nd, rev.}}</ref> यदि प्रत्येक गैर-रिक्त [[सबसेट|उपसमुच्चय]] {{math|''S'' ⊆ ''X''}} में {{mvar|R}} के संबंध में [[न्यूनतम तत्व|न्यूनतम]] अवयव है, अर्थात अवयव {{math|''m'' ∈ ''S''}} किसी भी {{math|''s'' ∈ ''S''}} के लिए {{math|''s'' ''R'' ''m''}} से संबंधित नहीं है (उदाहरण के लिए, {{mvar|s}}, {{mvar|m}} से छोटा नहीं है)। किसी दूसरे शब्दों में, संबंध उचित प्रकार से स्थापित होता है यदि, | ||
<math display="block">(\forall S \subseteq X)\; [S \neq \varnothing \implies (\exists m \in S) (\forall s \in S) \lnot(s \mathrel{R} m)]</math> | <math display="block">(\forall S \subseteq X)\; [S \neq \varnothing \implies (\exists m \in S) (\forall s \in S) \lnot(s \mathrel{R} m)]</math> | ||
कुछ लेखकों ने अतिरिक्त नियम सम्मिलित किया है कि {{mvar|R}} [[ सेट जैसा रिश्ता |समुच्चय के जैसा]] है। अर्थात किसी दिए गए | कुछ लेखकों ने अतिरिक्त नियम सम्मिलित किया है कि {{mvar|R}} [[ सेट जैसा रिश्ता |समुच्चय के जैसा]] है। अर्थात किसी दिए गए अवयव से अल्प अवयव समुच्चय बनाते हैं। | ||
समतुल्य रूप से, निर्भर रूचि के स्वयंसिद्ध को मानते हुए, संबंध उचित प्रकार से स्थापित होता है जब इसमें कोई [[अनंत अवरोही श्रृंखला]] नहीं होती है, जिसे सिद्ध किया जा सकता है जब {{mvar|X}} के | समतुल्य रूप से, निर्भर रूचि के स्वयंसिद्ध को मानते हुए, संबंध उचित प्रकार से स्थापित होता है जब इसमें कोई [[अनंत अवरोही श्रृंखला]] नहीं होती है, जिसे सिद्ध किया जा सकता है जब {{mvar|X}} के अवयवों कोई अनंत अनुक्रम {{math|''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>, ...}} नहीं होता है जैसे कि {{math|''x''<sub>''n''+1</sub> ''R'' ''x''<sub>n</sub>}} प्रत्येक प्राकृतिक संख्या {{mvar|n}} के लिए है।<ref>{{cite web |title=कड़ाई से अच्छी तरह से स्थापित संबंध की अनंत अनुक्रम संपत्ति|url=https://proofwiki.org/wiki/Infinite_Sequence_Property_of_Strictly_Well-Founded_Relation |website=ProofWiki |access-date=10 May 2021}}</ref><ref>{{cite book |last1=Fraisse |first1=R. |title=Theory of Relations, Volume 145 - 1st Edition |date=15 December 2000 |publisher=Elsevier |isbn=9780444505422 |page=46 |edition=1st |url=https://www.elsevier.com/books/theory-of-relations/fraisse/978-0-444-50542-2 |access-date=20 February 2019}}</ref> | ||
[[आदेश सिद्धांत]] में, [[आंशिक आदेश]] को उचित प्रकार से स्थापित कहा जाता है यदि संबंधित [[सख्त आदेश|कठोर आदेश]] उचित प्रकार से स्थापित संबंध है। यदि आदेश [[कुल आदेश]] है तो इसे उत्तम-व्यवस्था कहा जाता है। | [[आदेश सिद्धांत]] में, [[आंशिक आदेश]] को उचित प्रकार से स्थापित कहा जाता है यदि संबंधित [[सख्त आदेश|कठोर आदेश]] उचित प्रकार से स्थापित संबंध है। यदि आदेश [[कुल आदेश]] है तो इसे उत्तम-व्यवस्था कहा जाता है। | ||
Line 17: | Line 17: | ||
== प्रेरण और प्रत्यावर्तन == | == प्रेरण और प्रत्यावर्तन == | ||
महत्वपूर्ण कारण है कि | महत्वपूर्ण कारण है कि उचित प्रकार से स्थापित संबंध रोचक हैं क्योंकि उन पर [[ट्रांसफिनिट इंडक्शन|ट्रांसफिनिट प्रेरण]] का संस्करण उपयोग किया जा सकता है: यदि ({{math|''X'', ''R''}}) सुस्थापित संबंध है, {{math|''P''(''x'')}} {{mvar|X}} के अवयवों की कुछ संपत्ति है, और हम उसे दिखाना चाहते हैं, | ||
:{{math|''P''(''x'')}} | :{{math|''P''(''x'')}} {{mvar|X}} के सभी अवयवों {{mvar|x}} के लिए है, | ||
यह दर्शाने के लिए पर्याप्त है कि: | यह दर्शाने के लिए पर्याप्त है कि: | ||
: यदि {{mvar|x}} | : यदि {{mvar|x}}, {{mvar|X}} का अवयव है और {{math|''P''(''y'')}} सभी {{mvar|y}} के लिए सत्य है, जैसे कि {{math|''y'' ''R'' ''x''}}, तब {{math|''P''(''x'')}} भी सत्य होना चाहिए। | ||
वह है,<math display=block>(\forall x \in X)\;[(\forall y \in X)\;[y\mathrel{R}x \implies P(y)] \implies P(x)]\quad\text{implies}\quad(\forall x \in X)\,P(x).</math> | वह है,<math display=block>(\forall x \in X)\;[(\forall y \in X)\;[y\mathrel{R}x \implies P(y)] \implies P(x)]\quad\text{implies}\quad(\forall x \in X)\,P(x).</math> | ||
उचित प्रकार | उचित प्रकार से स्थापित प्रेरण को कभी-कभी नोथेरियन प्रेरण कहा जाता है,<ref>Bourbaki, N. (1972) ''Elements of mathematics. Commutative algebra'', Addison-Wesley.</ref> [[एमी नोथेर]] के बाद। | ||
प्रेरण के साथ-साथ, उचित प्रकार से स्थापित संबंध भी [[ट्रांसफिनिट रिकर्सन|ट्रांसफिनिट प्रत्यावर्तन]] द्वारा वस्तुओं के निर्माण का समर्थन करते हैं। होने देना {{math|(''X'', ''R'')}} द्विआधारी संबंध होना # समुच्चय पर संबंध | सेट-जैसे उचित प्रकार से स्थापित संबंध और {{mvar|F}} फ़ंक्शन जो किसी ऑब्जेक्ट को असाइन करता है {{math|''F''(''x'', ''g'')}} किसी | प्रेरण के साथ-साथ, उचित प्रकार से स्थापित संबंध भी [[ट्रांसफिनिट रिकर्सन|ट्रांसफिनिट प्रत्यावर्तन]] द्वारा वस्तुओं के निर्माण का समर्थन करते हैं। होने देना {{math|(''X'', ''R'')}} द्विआधारी संबंध होना # समुच्चय पर संबंध | सेट-जैसे उचित प्रकार से स्थापित संबंध और {{mvar|F}} फ़ंक्शन जो किसी ऑब्जेक्ट को असाइन करता है {{math|''F''(''x'', ''g'')}} किसी अवयव के प्रत्येक जोड़े के लिए {{math|''x'' ∈ ''X''}} और समारोह {{mvar|g}} [[प्रारंभिक खंड]] पर {{math|{{(}}''y'': ''y'' ''R'' ''x''{{)}}}} का {{mvar|X}}. फिर अनूठा कार्य है {{mvar|G}} ऐसा है कि हर के लिए {{math|''x'' ∈ ''X''}}, | ||
<math display=block>G(x) = F\left(x, G\vert_{\left\{y:\, y\mathrel{R}x\right\}}\right).</math> | <math display=block>G(x) = F\left(x, G\vert_{\left\{y:\, y\mathrel{R}x\right\}}\right).</math> | ||
अर्थात यदि हम फलन बनाना चाहते हैं {{mvar|G}} पर {{mvar|X}}, हम परिभाषित कर सकते हैं {{math|''G''(''x'')}} के मूल्यों का उपयोग करना {{math|''G''(''y'')}} के लिए {{math|''y'' ''R'' ''x''}}. | अर्थात यदि हम फलन बनाना चाहते हैं {{mvar|G}} पर {{mvar|X}}, हम परिभाषित कर सकते हैं {{math|''G''(''x'')}} के मूल्यों का उपयोग करना {{math|''G''(''y'')}} के लिए {{math|''y'' ''R'' ''x''}}. | ||
Line 45: | Line 46: | ||
* संबंध {{mvar|R}} के साथ किसी भी परिमित निर्देशित एसाइक्लिक आरेख के नोड्स को इस प्रकार परिभाषित किया गया है कि {{math|''a'' ''R'' ''b''}} यदि और केवल {{mvar|a}} से {{mvar|b}} तक कोई किनारा है। | * संबंध {{mvar|R}} के साथ किसी भी परिमित निर्देशित एसाइक्लिक आरेख के नोड्स को इस प्रकार परिभाषित किया गया है कि {{math|''a'' ''R'' ''b''}} यदि और केवल {{mvar|a}} से {{mvar|b}} तक कोई किनारा है। | ||
संबंधों के उदाहरण जो उचित प्रकार से स्थापित नहीं हैं उनमें सम्मिलित हैं: | संबंधों के उदाहरण जो उचित प्रकार से स्थापित नहीं हैं उनमें सम्मिलित हैं: | ||
* ऋणात्मक पूर्णांक {{math|{{(}}−1, −2, −3, ...{{)}}}}, सामान्य क्रम के साथ, चूंकि किसी भी असीमित उपसमुच्चय में अल्प से अल्प | * ऋणात्मक पूर्णांक {{math|{{(}}−1, −2, −3, ...{{)}}}}, सामान्य क्रम के साथ, चूंकि किसी भी असीमित उपसमुच्चय में अल्प से अल्प अवयव नहीं होता है। | ||
* अनुक्रम {{nowrap|"B" > "AB" > "AAB" > "AAAB" > ...}} के पश्चात से सामान्य ([[लेक्सिकोग्राफिक ऑर्डरिंग|लेक्सिकोग्राफिक]]) क्रम के अनुसार एक से अधिक | * अनुक्रम {{nowrap|"B" > "AB" > "AAB" > "AAAB" > ...}} के पश्चात से सामान्य ([[लेक्सिकोग्राफिक ऑर्डरिंग|लेक्सिकोग्राफिक]]) क्रम के अनुसार एक से अधिक अवयवों के साथ परिमित वर्णमाला पर स्ट्रिंग्स का समुच्चय अनंत अवरोही श्रृंखला है। यह संबंध उचित प्रकार से स्थापित होने में विफल रहता है, पूर्ण समुच्चय में न्यूनतम अवयव होता है, अर्थात् रिक्त स्ट्रिंग होता है। | ||
* मानक क्रम के अनुसार गैर-नकारात्मक परिमेय संख्याओं (या [[वास्तविक संख्या|वास्तविक संख्याओं]]) का समुच्चय, उदाहरण के लिए, सकारात्मक परिमेय (या वास्तविक) के उपसमुच्चय में न्यूनतम की अल्पता होती है। | * मानक क्रम के अनुसार गैर-नकारात्मक परिमेय संख्याओं (या [[वास्तविक संख्या|वास्तविक संख्याओं]]) का समुच्चय, उदाहरण के लिए, सकारात्मक परिमेय (या वास्तविक) के उपसमुच्चय में न्यूनतम की अल्पता होती है। | ||
== अन्य गुण == | == अन्य गुण == | ||
यदि {{math|(''X'', <)}} उचित प्रकार से स्थापित संबंध है और {{mvar|x}} का | यदि {{math|(''X'', <)}} उचित प्रकार से स्थापित संबंध है और {{mvar|x}} का अवयव {{mvar|X}} है, तो {{mvar|x}} से प्रारंभ होने वाली अवरोही श्रृंखला सभी परिमित हैं, किन्तु इसका तात्पर्य यह नहीं है कि उनकी लंबाई आवश्यक रूप से परिमित है। निम्नलिखित उदाहरण पर विचार करें: मान लीजिए कि {{mvar|X}} नए अवयव ω के साथ धनात्मक पूर्णांकों का समूह है जो किसी भी पूर्णांक से बड़ा है। तब {{mvar|X}} उचित प्रकार से स्थापित समुच्चय है, किन्तु इच्छानुसार रूप से महान (परिमित) लंबाई के ω से प्रारंभ होने वाली अवरोही श्रृंखलाएं हैं; शृंखला {{math|ω, ''n'' − 1, ''n'' − 2, ..., 2, 1}} की लंबाई {{mvar|n}} किसी भी {{mvar|n}} के लिए है। | ||
[[मोस्टोव्स्की पतन|मोस्टोव्स्की पतन लेम्मा]] का अर्थ है कि समुच्चय सदस्यता विस्तारित सुस्थापित संबंधों के मध्य सार्वभौमिक है: किसी भी समुच्चय-जैसे उचित प्रकार से स्थापित संबंध {{mvar|R}} के लिए वर्ग {{mvar|X}} पर जो कि विस्तारित है, वहां वर्ग {{mvar|C}} उपस्थित है जैसे कि {{math|(''X'', ''R'')}} के लिए आइसोमोर्फिक {{math|(''C'', ∈)}} है। | [[मोस्टोव्स्की पतन|मोस्टोव्स्की पतन लेम्मा]] का अर्थ है कि समुच्चय सदस्यता विस्तारित सुस्थापित संबंधों के मध्य सार्वभौमिक है: किसी भी समुच्चय-जैसे उचित प्रकार से स्थापित संबंध {{mvar|R}} के लिए वर्ग {{mvar|X}} पर जो कि विस्तारित है, वहां वर्ग {{mvar|C}} उपस्थित है जैसे कि {{math|(''X'', ''R'')}} के लिए आइसोमोर्फिक {{math|(''C'', ∈)}} है। |
Revision as of 23:02, 24 May 2023
Transitive binary relations | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
✗ indicates that the property may, or may not hold. All definitions tacitly require the homogeneous relation be transitive: for all if and then and there are additional properties that a homogeneous relation may satisfy. | indicates that the column's property is required by the definition of the row's term (at the very left). For example, the definition of an equivalence relation requires it to be symmetric.
गणित में, द्विआधारी संबंध R को वर्ग X पर उचित प्रकार से स्थापित (या उचित प्रकार से स्थापित या मूलभूत) कहा जाता है[1] यदि प्रत्येक गैर-रिक्त उपसमुच्चय S ⊆ X में R के संबंध में न्यूनतम अवयव है, अर्थात अवयव m ∈ S किसी भी s ∈ S के लिए s R m से संबंधित नहीं है (उदाहरण के लिए, s, m से छोटा नहीं है)। किसी दूसरे शब्दों में, संबंध उचित प्रकार से स्थापित होता है यदि,
समतुल्य रूप से, निर्भर रूचि के स्वयंसिद्ध को मानते हुए, संबंध उचित प्रकार से स्थापित होता है जब इसमें कोई अनंत अवरोही श्रृंखला नहीं होती है, जिसे सिद्ध किया जा सकता है जब X के अवयवों कोई अनंत अनुक्रम x0, x1, x2, ... नहीं होता है जैसे कि xn+1 R xn प्रत्येक प्राकृतिक संख्या n के लिए है।[2][3]
आदेश सिद्धांत में, आंशिक आदेश को उचित प्रकार से स्थापित कहा जाता है यदि संबंधित कठोर आदेश उचित प्रकार से स्थापित संबंध है। यदि आदेश कुल आदेश है तो इसे उत्तम-व्यवस्था कहा जाता है।
समुच्चय सिद्धांत में, समुच्चय x को उचित प्रकार से स्थापित समुच्चय कहा जाता है यदि समुच्चय संबंध x के सकर्मक संवृत होने पर उचित प्रकार से स्थापित होता है। नियमितता का स्वयंसिद्ध, जो ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के स्वयंसिद्धों में से है, यह प्रमाणित करता है कि सभी समुच्चय उचित प्रकार से स्थापित हैं।
संबंध R, X पर विपरीत उचित प्रकार से स्थापित, ऊपर की ओर उचित प्रकार से स्थापित या नोथेरियन है , यदि विपरीत संबंध R−1X पर उचित प्रकार से स्थापित है। इस स्थिति में R को आरोही श्रृंखला की स्थिति को पूर्ण करने के लिए भी कहा जाता है। पुनर्लेखन प्रणालियों के संदर्भ में, नोथेरियन संबंध को समापन भी कहा जाता है।
प्रेरण और प्रत्यावर्तन
महत्वपूर्ण कारण है कि उचित प्रकार से स्थापित संबंध रोचक हैं क्योंकि उन पर ट्रांसफिनिट प्रेरण का संस्करण उपयोग किया जा सकता है: यदि (X, R) सुस्थापित संबंध है, P(x) X के अवयवों की कुछ संपत्ति है, और हम उसे दिखाना चाहते हैं,
- P(x) X के सभी अवयवों x के लिए है,
यह दर्शाने के लिए पर्याप्त है कि:
- यदि x, X का अवयव है और P(y) सभी y के लिए सत्य है, जैसे कि y R x, तब P(x) भी सत्य होना चाहिए।
वह है,
प्रेरण के साथ-साथ, उचित प्रकार से स्थापित संबंध भी ट्रांसफिनिट प्रत्यावर्तन द्वारा वस्तुओं के निर्माण का समर्थन करते हैं। होने देना (X, R) द्विआधारी संबंध होना # समुच्चय पर संबंध | सेट-जैसे उचित प्रकार से स्थापित संबंध और F फ़ंक्शन जो किसी ऑब्जेक्ट को असाइन करता है F(x, g) किसी अवयव के प्रत्येक जोड़े के लिए x ∈ X और समारोह g प्रारंभिक खंड पर {y: y R x} का X. फिर अनूठा कार्य है G ऐसा है कि हर के लिए x ∈ X,
उदाहरण के रूप में, सुस्थापित संबंध पर विचार करें (N, S), कहाँ N सभी प्राकृतिक संख्याओं का समुच्चय है, और S उत्तराधिकारी समारोह का ग्राफ है x ↦ x+1. फिर प्रेरण चालू S सामान्य गणितीय प्रेरण है, और पुनरावर्तन चालू है S आदिम पुनरावर्ती कार्य देता है। यदि हम आदेश संबंध पर विचार करें (N, <), हम पूर्ण प्रेरण और कोर्स-ऑफ़-वैल्यू रिकर्सन प्राप्त करते हैं। बयान है कि (N, <) उचित प्रकार से स्थापित है को सुव्यवस्थित सिद्धांत के रूप में भी जाना जाता है।
उचित प्रकार से स्थापित प्रेरण के अन्य दिलचस्प विशेष स्थिति हैं। जब उचित प्रकार से स्थापित संबंध सभी क्रमिक संख्याओं के वर्ग पर सामान्य क्रम होता है, तो प्रौद्योगिकी को ट्रांसफ़ाइन प्रेरण कहा जाता है। जब उचित प्रकार से स्थापित समुच्चय पुनरावर्ती-परिभाषित डेटा संरचनाओं का समुच्चय होता है, तो प्रौद्योगिकी को संरचनात्मक प्रेरण कहा जाता है। जब उचित प्रकार से स्थापित संबंध सार्वभौमिक वर्ग पर सदस्यता स्थापित करता है, तो प्रौद्योगिकी को ∈-प्रेरण के रूप में जाना जाता है। अधिक विवरण के लिए उन लेखों को देखें।
उदाहरण
उचित प्रकार से स्थापित संबंध जो पूर्ण प्रकार से आदेशित नहीं हैं उनमें सम्मिलित हैं:
- सकारात्मक पूर्णांक {1, 2, 3, ...}, a < b द्वारा परिभाषित क्रम के साथ यदि और केवल a b और a ≠ b को विभाजित करता है।
- निश्चित वर्णमाला पर सभी परिमित स्ट्रिंग का समुच्चय s < t द्वारा परिभाषित क्रम के साथ यदि और केवल s, t का उचित सबस्ट्रिंग है।
- (n1, n2) < (m1, m2) द्वारा क्रमित प्राकृतिक संख्याओं के जोड़े का समुच्चय N × N यदि और केवल n1 < m1 और n2 < m2 है।
- प्रत्येक वर्ग जिसके अवयव समुच्चय हैं, संबंध ∈ (का अवयव है) के साथ है। यह नियमितता का स्वयंसिद्ध है।
- संबंध R के साथ किसी भी परिमित निर्देशित एसाइक्लिक आरेख के नोड्स को इस प्रकार परिभाषित किया गया है कि a R b यदि और केवल a से b तक कोई किनारा है।
संबंधों के उदाहरण जो उचित प्रकार से स्थापित नहीं हैं उनमें सम्मिलित हैं:
- ऋणात्मक पूर्णांक {−1, −2, −3, ...}, सामान्य क्रम के साथ, चूंकि किसी भी असीमित उपसमुच्चय में अल्प से अल्प अवयव नहीं होता है।
- अनुक्रम "B" > "AB" > "AAB" > "AAAB" > ... के पश्चात से सामान्य (लेक्सिकोग्राफिक) क्रम के अनुसार एक से अधिक अवयवों के साथ परिमित वर्णमाला पर स्ट्रिंग्स का समुच्चय अनंत अवरोही श्रृंखला है। यह संबंध उचित प्रकार से स्थापित होने में विफल रहता है, पूर्ण समुच्चय में न्यूनतम अवयव होता है, अर्थात् रिक्त स्ट्रिंग होता है।
- मानक क्रम के अनुसार गैर-नकारात्मक परिमेय संख्याओं (या वास्तविक संख्याओं) का समुच्चय, उदाहरण के लिए, सकारात्मक परिमेय (या वास्तविक) के उपसमुच्चय में न्यूनतम की अल्पता होती है।
अन्य गुण
यदि (X, <) उचित प्रकार से स्थापित संबंध है और x का अवयव X है, तो x से प्रारंभ होने वाली अवरोही श्रृंखला सभी परिमित हैं, किन्तु इसका तात्पर्य यह नहीं है कि उनकी लंबाई आवश्यक रूप से परिमित है। निम्नलिखित उदाहरण पर विचार करें: मान लीजिए कि X नए अवयव ω के साथ धनात्मक पूर्णांकों का समूह है जो किसी भी पूर्णांक से बड़ा है। तब X उचित प्रकार से स्थापित समुच्चय है, किन्तु इच्छानुसार रूप से महान (परिमित) लंबाई के ω से प्रारंभ होने वाली अवरोही श्रृंखलाएं हैं; शृंखला ω, n − 1, n − 2, ..., 2, 1 की लंबाई n किसी भी n के लिए है।
मोस्टोव्स्की पतन लेम्मा का अर्थ है कि समुच्चय सदस्यता विस्तारित सुस्थापित संबंधों के मध्य सार्वभौमिक है: किसी भी समुच्चय-जैसे उचित प्रकार से स्थापित संबंध R के लिए वर्ग X पर जो कि विस्तारित है, वहां वर्ग C उपस्थित है जैसे कि (X, R) के लिए आइसोमोर्फिक (C, ∈) है।
प्रतिवर्तनीयता
संबंध R को प्रतिवर्त संबंध कहा जाता है यदि a R a संबंध के क्षेत्र में प्रत्येक a के लिए धारण करता है। गैर-रिक्त डोमेन पर प्रत्येक प्रतिवर्त संबंध में अनंत अवरोही श्रृंखलाएं होती हैं, क्योंकि कोई निरंतर अनुक्रम अवरोही श्रृंखला है। उदाहरण के लिए, उनके सामान्य क्रम ≤ के साथ प्राकृतिक संख्याओं में, हमारे निकट 1 ≥ 1 ≥ 1 ≥ .... है इन अल्प अवरोही अनुक्रमों से बचने के लिए, आंशिक क्रम ≤ के साथ कार्य करते समय, उचित प्रकार से आधार की परिभाषा को प्रस्तावित करना सामान्य है (संभवतः निहित रूप से) वैकल्पिक संबंध < के लिए इस प्रकार परिभाषित किया गया है कि a < b यदि और केवल a ≤ b और a ≠ b होते है। सामान्यतः, जब पूर्व आदेश ≤ के साथ कार्य करते हैं, तो संबंध < परिभाषित का उपयोग करना सामान्य है a < b यदि और केवल a ≤ b और b ≰ a होते है। प्राकृतिक संख्याओं के संदर्भ में, इसका अर्थ है कि संबंध <, जो उचित प्रकार से स्थापित है, संबंध ≤ के अतिरिक्त प्रयोग किया जाता है, जो नहीं है। कुछ लेखों में, इन सम्मेलनों को सम्मिलित करने के लिए उपरोक्त परिभाषा उचित प्रकार से स्थापित संबंध की परिभाषा में परिवर्तित कर दी गई है।
संदर्भ
- ↑ See Definition 6.21 in Zaring W.M., G. Takeuti (1971). Introduction to axiomatic set theory (2nd, rev. ed.). New York: Springer-Verlag. ISBN 0387900241.
- ↑ "कड़ाई से अच्छी तरह से स्थापित संबंध की अनंत अनुक्रम संपत्ति". ProofWiki. Retrieved 10 May 2021.
- ↑ Fraisse, R. (15 December 2000). Theory of Relations, Volume 145 - 1st Edition (1st ed.). Elsevier. p. 46. ISBN 9780444505422. Retrieved 20 February 2019.
- ↑ Bourbaki, N. (1972) Elements of mathematics. Commutative algebra, Addison-Wesley.
- Just, Winfried and Weese, Martin (1998) Discovering Modern Set Theory. I, American Mathematical Society ISBN 0-8218-0266-6.
- Karel Hrbáček & Thomas Jech (1999) Introduction to Set Theory, 3rd edition, "Well-founded relations", pages 251–5, Marcel Dekker ISBN 0-8247-7915-0