सुस्थापित संबंध: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Type of binary relation}}
{{Short description|Type of binary relation}}गणित में, '''सुस्थापित संबंध''' {{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}} से छोटा नहीं है)। किसी  दूसरे शब्दों में, संबंध उचित प्रकार से स्थापित होता है यदि,  
{{Redirect|नोथेरियन प्रेरण|सांस्थिति में उपयोग|नोथेरियन संस्थानिक स्थान }}
{{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}} के संबंध में [[न्यूनतम तत्व|न्यूनतम]] अवयव है, अर्थात  अवयव {{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}} [[ सेट जैसा रिश्ता |समुच्चय के जैसा]] है। अर्थात किसी दिए गए अवयव से अल्प अवयव समुच्चय बनाते हैं।
Line 29: Line 25:
उचित प्रकार से स्थापित प्रेरण को<ref>Bourbaki, N. (1972) ''Elements of mathematics. Commutative algebra'', Addison-Wesley.</ref> [[एमी नोथेर]] के पश्चात कभी-कभी नोथेरियन प्रेरण कहा जाता है।
उचित प्रकार से स्थापित प्रेरण को<ref>Bourbaki, N. (1972) ''Elements of mathematics. Commutative algebra'', Addison-Wesley.</ref> [[एमी नोथेर]] के पश्चात कभी-कभी नोथेरियन प्रेरण कहा जाता है।


प्रेरण के साथ-साथ, उचित प्रकार से स्थापित संबंध भी [[ट्रांसफिनिट रिकर्सन|ट्रांसफिनिट प्रत्यावर्तन]] द्वारा वस्तुओं के निर्माण का समर्थन करते हैं। मान लीजिये {{math|(''X'', ''R'')}} समुच्चय-जैसे उचित प्रकार से स्थापित संबंध और {{mvar|F}} फलन है जो [[प्रारंभिक खंड]] {{math|{{(}}''y'': ''y'' ''R'' ''x''{{)}}}} पर अवयव {{math|''x'' ∈ ''X''}}  और फलन {{mvar|g}} के प्रत्येक जोड़े के लिए ऑब्जेक्ट {{math|''F''(''x'', ''g'')}} असाइन करता है। तब अद्वितीय फलन {{mvar|G}} ऐसा होता है कि प्रत्येक {{math|''x'' ∈ ''X''}}  के लिए होता है।
प्रेरण के साथ-साथ, उचित प्रकार से स्थापित संबंध भी ट्रांसफिनिट प्रत्यावर्तन द्वारा वस्तुओं के निर्माण का समर्थन करते हैं। मान लीजिये {{math|(''X'', ''R'')}} समुच्चय-जैसे उचित प्रकार से स्थापित संबंध और {{mvar|F}} फलन है जो [[प्रारंभिक खंड]] {{math|{{(}}''y'': ''y'' ''R'' ''x''{{)}}}} पर अवयव {{math|''x'' ∈ ''X''}}  और फलन {{mvar|g}} के प्रत्येक जोड़े के लिए ऑब्जेक्ट {{math|''F''(''x'', ''g'')}} असाइन करता है। तब अद्वितीय फलन {{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|X}} पर फलन {{mvar|G}} बनाना चाहते हैं, तो हम {{math|''y'' ''R'' ''x''}} के लिए {{math|''G''(''y'')}} के मानों का उपयोग करके {{math|''G''(''x'')}} को परिभाषित कर सकते हैं।


उदाहरण के रूप में, सुस्थापित संबंध पर विचार करें {{math|('''N''', ''S'')}}, कहाँ {{math|'''N'''}} सभी [[प्राकृतिक संख्या]]ओं का समुच्चय है, और {{mvar|S}} उत्तराधिकारी समारोह का ग्राफ है {{math|''x'' ↦ ''x''+1}}. फिर प्रेरण चालू {{mvar|S}} सामान्य [[गणितीय प्रेरण]] है, और पुनरावर्तन चालू है {{mvar|S}} [[आदिम पुनरावर्ती कार्य]] देता है। यदि हम आदेश संबंध पर विचार करें {{math|('''N''', <)}}, हम पूर्ण प्रेरण और [[कोर्स-ऑफ़-वैल्यू रिकर्सन]] प्राप्त करते हैं। बयान है कि {{math|('''N''', <)}} उचित प्रकार से स्थापित है को [[सुव्यवस्थित सिद्धांत]] के रूप में भी जाना जाता है।
उदाहरण के रूप में, सुस्थापित संबंध {{math|('''N''', ''S'')}} पर विचार करें, जहां {{math|'''N'''}} सभी [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] का समुच्चय है, और {{mvar|S}} उत्तराधिकारी फलन {{math|''x'' ↦ ''x''+1}} का आरेख है, तब {{mvar|S}} पर प्रेरण सामान्य [[गणितीय प्रेरण]] है, और {{mvar|S}} पर पुनरावर्तन [[आदिम पुनरावर्ती कार्य|प्रिमिटिव पुनरावर्ती]] देता है। यदि हम क्रम संबंध {{math|('''N''', <)}} पर विचार करते हैं, तो हम पूर्ण प्रेरण और [[कोर्स-ऑफ़-वैल्यू रिकर्सन|पाठ्यक्रम-की-मूल्य पुनरावर्तन]] प्राप्त करते हैं। यह कथन कि {{math|('''N''', <)}} उचित प्रकार से स्थापित है को [[सुव्यवस्थित सिद्धांत]] के रूप में भी जाना जाता है।


उचित प्रकार से स्थापित प्रेरण के अन्य दिलचस्प विशेष स्थिति हैं। जब उचित प्रकार से स्थापित संबंध सभी क्रमिक संख्याओं के वर्ग पर सामान्य क्रम होता है, तो प्रौद्योगिकी को ट्रांसफ़ाइन प्रेरण कहा जाता है। जब उचित प्रकार से स्थापित समुच्चय पुनरावर्ती-परिभाषित डेटा संरचनाओं का समुच्चय होता है, तो प्रौद्योगिकी को [[संरचनात्मक प्रेरण]] कहा जाता है। जब उचित प्रकार से स्थापित संबंध सार्वभौमिक वर्ग पर सदस्यता स्थापित करता है, तो प्रौद्योगिकी को ∈-प्रेरण के रूप में जाना जाता है। अधिक विवरण के लिए उन लेखों को देखें।
उचित प्रकार से स्थापित प्रेरण के अन्य रोचक विशेष स्थिति हैं। जब उचित प्रकार से स्थापित संबंध सभी क्रमिक संख्याओं के वर्ग पर सामान्य क्रम होता है, तो प्रौद्योगिकी को ट्रांसफ़ाइन प्रेरण कहा जाता है। जब उचित प्रकार से स्थापित समुच्चय पुनरावर्ती-परिभाषित डेटा संरचनाओं का समुच्चय होता है, तो प्रौद्योगिकी को [[संरचनात्मक प्रेरण]] कहा जाता है। जब उचित प्रकार से स्थापित संबंध सार्वभौमिक वर्ग पर सदस्यता स्थापित करता है, तो प्रौद्योगिकी को ∈-प्रेरण के रूप में जाना जाता है। अधिक विवरण के लिए उन लेखों को देखें।


== उदाहरण ==
== उदाहरण ==


उचित प्रकार से स्थापित संबंध जो पूर्ण प्रकार से आदेशित नहीं हैं उनमें सम्मिलित हैं:
उचित प्रकार से स्थापित संबंध जो पूर्ण प्रकार से आदेशित नहीं हैं उनमें सम्मिलित हैं:
* सकारात्मक [[पूर्णांक]] {{math|{{(}}1, 2, 3, ...{{)}}}}, {{math|''a'' < ''b''}} द्वारा परिभाषित क्रम के साथ [[अगर और केवल अगर|यदि और केवल]] {{mvar|a}} {{mvar|b}} और {{math|''a'' ≠ ''b''}} को विभाजित करता है।
* धनात्मक [[पूर्णांक]] {{math|{{(}}1, 2, 3, ...{{)}}}}, {{math|''a'' < ''b''}} द्वारा परिभाषित क्रम के साथ [[अगर और केवल अगर|यदि और केवल]] {{mvar|a}} {{mvar|b}} और {{math|''a'' ≠ ''b''}} को विभाजित करता है।
* निश्चित वर्णमाला पर सभी परिमित [[स्ट्रिंग (कंप्यूटर विज्ञान)|स्ट्रिंग]] का समुच्चय {{math|''s'' < ''t''}} द्वारा परिभाषित क्रम के साथ यदि  और केवल {{mvar|s}}, {{mvar|t}} का उचित सबस्ट्रिंग है।
* निश्चित वर्णमाला पर सभी परिमित [[स्ट्रिंग (कंप्यूटर विज्ञान)|स्ट्रिंग]] का समुच्चय {{math|''s'' < ''t''}} द्वारा परिभाषित क्रम के साथ यदि  और केवल {{mvar|s}}, {{mvar|t}} का उचित सबस्ट्रिंग है।
* {{math|(''n''<sub>1</sub>, ''n''<sub>2</sub>) < (''m''<sub>1</sub>, ''m''<sub>2</sub>)}} द्वारा क्रमित [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] के जोड़े का समुच्चय '''N''' × '''N''' यदि और केवल  {{math|''n''<sub>1</sub> < ''m''<sub>1</sub>}} और {{math|''n''<sub>2</sub> < ''m''<sub>2</sub>}} है।
* {{math|(''n''<sub>1</sub>, ''n''<sub>2</sub>) < (''m''<sub>1</sub>, ''m''<sub>2</sub>)}} द्वारा क्रमित [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] के जोड़े का समुच्चय '''N''' × '''N''' यदि और केवल  {{math|''n''<sub>1</sub> < ''m''<sub>1</sub>}} और {{math|''n''<sub>2</sub> < ''m''<sub>2</sub>}} है।
Line 48: Line 44:
* ऋणात्मक पूर्णांक {{math|{{(}}−1, −2, −3, ...{{)}}}}, सामान्य क्रम के साथ, चूंकि किसी भी असीमित उपसमुच्चय में अल्प से अल्प अवयव नहीं होता है।
* ऋणात्मक पूर्णांक {{math|{{(}}−1, −2, −3, ...{{)}}}}, सामान्य क्रम के साथ, चूंकि किसी भी असीमित उपसमुच्चय में अल्प से अल्प अवयव नहीं होता है।
* अनुक्रम {{nowrap|"B" > "AB" > "AAB" > "AAAB" > ...}} के पश्चात से सामान्य ([[लेक्सिकोग्राफिक ऑर्डरिंग|लेक्सिकोग्राफिक]]) क्रम के अनुसार एक से अधिक अवयवों के साथ परिमित वर्णमाला पर स्ट्रिंग्स का समुच्चय अनंत अवरोही श्रृंखला है। यह संबंध उचित प्रकार से स्थापित होने में विफल रहता है, पूर्ण समुच्चय में न्यूनतम अवयव होता है, अर्थात् रिक्त स्ट्रिंग होता है।
* अनुक्रम {{nowrap|"B" > "AB" > "AAB" > "AAAB" > ...}} के पश्चात से सामान्य ([[लेक्सिकोग्राफिक ऑर्डरिंग|लेक्सिकोग्राफिक]]) क्रम के अनुसार एक से अधिक अवयवों के साथ परिमित वर्णमाला पर स्ट्रिंग्स का समुच्चय अनंत अवरोही श्रृंखला है। यह संबंध उचित प्रकार से स्थापित होने में विफल रहता है, पूर्ण समुच्चय में न्यूनतम अवयव होता है, अर्थात् रिक्त स्ट्रिंग होता है।
* मानक क्रम के अनुसार गैर-नकारात्मक परिमेय संख्याओं (या [[वास्तविक संख्या|वास्तविक संख्याओं]]) का समुच्चय, उदाहरण के लिए, सकारात्मक परिमेय (या वास्तविक) के उपसमुच्चय में न्यूनतम की अल्पता होती है।
* मानक क्रम के अनुसार गैर-ऋणात्मक परिमेय संख्याओं (या [[वास्तविक संख्या|वास्तविक संख्याओं]]) का समुच्चय, उदाहरण के लिए, धनात्मक परिमेय (या वास्तविक) के उपसमुच्चय में न्यूनतम की अल्पता होती है।


== अन्य गुण ==
== अन्य गुण ==
Line 67: Line 63:
* [[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}}
* [[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}}


{{Mathematical logic}}
[[Category:Articles with hatnote templates targeting a nonexistent page]]
{{Order theory}}
[[Category:Collapse templates]]
[[Category: द्विआधारी संबंध]] [[Category: वेलफाउंडेडनेस| वेलफाउंडेडनेस]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 18/05/2023]]
[[Category:Created On 18/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Mathematics sidebar templates]]
[[Category:Missing redirects]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]

Latest revision as of 16:22, 30 October 2023

गणित में, सुस्थापित संबंध R को वर्ग X पर उचित प्रकार से स्थापित (या उचित प्रकार से स्थापित या मूलभूत) कहा जाता है[1] यदि प्रत्येक गैर-रिक्त उपसमुच्चय SX में R के संबंध में न्यूनतम अवयव है, अर्थात अवयव mS किसी भी sS के लिए s R m से संबंधित नहीं है (उदाहरण के लिए, s, m से छोटा नहीं है)। किसी दूसरे शब्दों में, संबंध उचित प्रकार से स्थापित होता है यदि,

कुछ लेखकों ने अतिरिक्त नियम सम्मिलित किया है कि R समुच्चय के जैसा है। अर्थात किसी दिए गए अवयव से अल्प अवयव समुच्चय बनाते हैं।

समतुल्य रूप से, निर्भर रूचि के स्वयंसिद्ध को मानते हुए, संबंध उचित प्रकार से स्थापित होता है जब इसमें कोई अनंत अवरोही श्रृंखला नहीं होती है, जिसे सिद्ध किया जा सकता है जब 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) भी सत्य होना चाहिए।


वह है,

उचित प्रकार से स्थापित प्रेरण को[4] एमी नोथेर के पश्चात कभी-कभी नोथेरियन प्रेरण कहा जाता है।

प्रेरण के साथ-साथ, उचित प्रकार से स्थापित संबंध भी ट्रांसफिनिट प्रत्यावर्तन द्वारा वस्तुओं के निर्माण का समर्थन करते हैं। मान लीजिये (X, R) समुच्चय-जैसे उचित प्रकार से स्थापित संबंध और F फलन है जो प्रारंभिक खंड {y: y R x} पर अवयव xX और फलन g के प्रत्येक जोड़े के लिए ऑब्जेक्ट F(x, g) असाइन करता है। तब अद्वितीय फलन G ऐसा होता है कि प्रत्येक xX के लिए होता है।

अर्थात यदि हम X पर फलन G बनाना चाहते हैं, तो हम y R x के लिए G(y) के मानों का उपयोग करके G(x) को परिभाषित कर सकते हैं।

उदाहरण के रूप में, सुस्थापित संबंध (N, S) पर विचार करें, जहां N सभी प्राकृतिक संख्याओं का समुच्चय है, और S उत्तराधिकारी फलन xx+1 का आरेख है, तब S पर प्रेरण सामान्य गणितीय प्रेरण है, और S पर पुनरावर्तन प्रिमिटिव पुनरावर्ती देता है। यदि हम क्रम संबंध (N, <) पर विचार करते हैं, तो हम पूर्ण प्रेरण और पाठ्यक्रम-की-मूल्य पुनरावर्तन प्राप्त करते हैं। यह कथन कि (N, <) उचित प्रकार से स्थापित है को सुव्यवस्थित सिद्धांत के रूप में भी जाना जाता है।

उचित प्रकार से स्थापित प्रेरण के अन्य रोचक विशेष स्थिति हैं। जब उचित प्रकार से स्थापित संबंध सभी क्रमिक संख्याओं के वर्ग पर सामान्य क्रम होता है, तो प्रौद्योगिकी को ट्रांसफ़ाइन प्रेरण कहा जाता है। जब उचित प्रकार से स्थापित समुच्चय पुनरावर्ती-परिभाषित डेटा संरचनाओं का समुच्चय होता है, तो प्रौद्योगिकी को संरचनात्मक प्रेरण कहा जाता है। जब उचित प्रकार से स्थापित संबंध सार्वभौमिक वर्ग पर सदस्यता स्थापित करता है, तो प्रौद्योगिकी को ∈-प्रेरण के रूप में जाना जाता है। अधिक विवरण के लिए उन लेखों को देखें।

उदाहरण

उचित प्रकार से स्थापित संबंध जो पूर्ण प्रकार से आदेशित नहीं हैं उनमें सम्मिलित हैं:

  • धनात्मक पूर्णांक {1, 2, 3, ...}, a < b द्वारा परिभाषित क्रम के साथ यदि और केवल a b और ab को विभाजित करता है।
  • निश्चित वर्णमाला पर सभी परिमित स्ट्रिंग का समुच्चय 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 यदि और केवल ab और ab होते है। सामान्यतः, जब पूर्व आदेश ≤ के साथ कार्य करते हैं, तो संबंध < परिभाषित का उपयोग करना सामान्य है a < b यदि और केवल ab और ba होते है। प्राकृतिक संख्याओं के संदर्भ में, इसका अर्थ है कि संबंध <, जो उचित प्रकार से स्थापित है, संबंध ≤ के अतिरिक्त प्रयोग किया जाता है, जो नहीं है। कुछ लेखों में, इन सम्मेलनों को सम्मिलित करने के लिए उपरोक्त परिभाषा उचित प्रकार से स्थापित संबंध की परिभाषा में परिवर्तित कर दी गई है।

संदर्भ

  1. 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.
  2. "कड़ाई से अच्छी तरह से स्थापित संबंध की अनंत अनुक्रम संपत्ति". ProofWiki. Retrieved 10 May 2021.
  3. Fraisse, R. (15 December 2000). Theory of Relations, Volume 145 - 1st Edition (1st ed.). Elsevier. p. 46. ISBN 9780444505422. Retrieved 20 February 2019.
  4. Bourbaki, N. (1972) Elements of mathematics. Commutative algebra, Addison-Wesley.