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

From Vigyanwiki
(Created page with "{{Short description|Type of binary relation}} {{Redirect|Noetherian induction|the use in topology|Noetherian topological space}} {{stack|{{Binary relations}}}} गणित...")
 
No edit summary
 
(29 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|Noetherian induction|the use in topology|Noetherian topological space}}
<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>
{{stack|{{Binary relations}}}}
कुछ लेखकों ने अतिरिक्त नियम सम्मिलित किया है कि {{mvar|R}} [[ सेट जैसा रिश्ता |समुच्चय के जैसा]] है। अर्थात किसी दिए गए अवयव से अल्प अवयव समुच्चय बनाते हैं।


गणित में, एक [[द्विआधारी संबंध]] {{mvar|R}} को अच्छी तरह से स्थापित (या अच्छी तरह से स्थापित या मूलभूत) कहा जाता है<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>) एक वर्ग पर (सेट सिद्धांत) {{mvar|X}} यदि प्रत्येक गैर-खाली [[सबसेट]] {{math|''S'' ⊆ ''X''}} के संबंध में [[न्यूनतम तत्व]] है {{mvar|R}}, यानी एक [[तत्व (गणित)]] {{math|''m'' ∈ ''S''}} से संबंधित नहीं है {{math|''s'' ''R'' ''m''}} (उदाहरण के लिए,{{mvar|s}} से छोटा नहीं है {{mvar|m}} ) किसी के लिए {{math|''s'' ∈ ''S''}}. दूसरे शब्दों में, एक रिश्ता अच्छी तरह से स्थापित होता है अगर
समतुल्य रूप से, निर्भर रूचि के स्वयंसिद्ध को मानते हुए, संबंध उचित प्रकार से स्थापित होता है जब इसमें कोई [[अनंत अवरोही श्रृंखला]] नहीं होती है, जिसे सिद्ध किया जा सकता है जब {{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>
<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}} [[ सेट जैसा रिश्ता ]] है | सेट-लाइक, यानी कि किसी दिए गए एलिमेंट से कम एलिमेंट्स एक सेट बनाते हैं।


समान रूप से, निर्भर पसंद के स्वयंसिद्ध को मानते हुए, एक संबंध अच्छी तरह से स्थापित होता है जब इसमें कोई [[अनंत अवरोही श्रृंखला]] नहीं होती है, जिसे सिद्ध किया जा सकता है जब कोई अनंत अनुक्रम नहीं होता है {{math|''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>, ...}} के तत्वों की {{mvar|X}} ऐसा है कि {{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>
[[आदेश सिद्धांत]] में, [[आंशिक आदेश]] को उचित प्रकार से स्थापित कहा जाता है यदि संबंधित [[सख्त आदेश|कठोर आदेश]] उचित प्रकार से स्थापित संबंध है। यदि आदेश [[कुल आदेश]] है तो इसे उत्तम-व्यवस्था कहा जाता है।
[[आदेश सिद्धांत]] में, एक [[आंशिक आदेश]] को अच्छी तरह से स्थापित कहा जाता है यदि संबंधित [[सख्त आदेश]] एक अच्छी तरह से स्थापित संबंध है। यदि आदेश [[कुल आदेश]] है तो इसे एक अच्छी-व्यवस्था कहा जाता है।


सेट सिद्धांत में, एक सेट {{mvar|x}} को एक अच्छी तरह से स्थापित सेट कहा जाता है यदि तत्व (गणित) संबंध [[सकर्मक बंद (सेट)]] पर अच्छी तरह से स्थापित है {{mvar|x}}. [[नियमितता का स्वयंसिद्ध]], जो ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के स्वयंसिद्धों में से एक है, यह दावा करता है कि सभी सेट अच्छी तरह से स्थापित हैं।
समुच्चय सिद्धांत में, समुच्चय {{mvar|x}} को उचित प्रकार से स्थापित समुच्चय कहा जाता है यदि समुच्चय संबंध {{mvar|x}} के [[सकर्मक बंद (सेट)|सकर्मक संवृत]] होने पर उचित प्रकार से स्थापित होता है। [[नियमितता का स्वयंसिद्ध]], जो ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के स्वयंसिद्धों में से है, यह प्रमाणित करता है कि सभी समुच्चय उचित प्रकार से स्थापित हैं।


एक रिश्ता {{mvar|R}} इसके विपरीत अच्छी तरह से स्थापित, ऊपर की ओर अच्छी तरह से स्थापित या नोथेरियन है {{mvar|X}}, यदि विलोम संबंध {{math|''R''<sup>−1</sup>}} पर अच्छी तरह से स्थापित है {{mvar|X}}. इस मामले में {{mvar|R}} को आरोही श्रृंखला स्थिति को संतुष्ट करने के लिए भी कहा जाता है। [[पुनर्लेखन]] प्रणालियों के संदर्भ में, एक नोथेरियन संबंध को समापन भी कहा जाता है।
संबंध {{mvar|R}}, {{mvar|X}}  पर विपरीत उचित प्रकार से स्थापित, ऊपर की ओर उचित प्रकार से स्थापित या नोथेरियन है , यदि विपरीत संबंध {{math|''R''<sup>−1</sup>}}{{mvar|X}} पर उचित प्रकार से स्थापित है। इस स्थिति में {{mvar|R}} को आरोही श्रृंखला की स्थिति को पूर्ण करने के लिए भी कहा जाता है। [[पुनर्लेखन]] प्रणालियों के संदर्भ में, नोथेरियन संबंध को समापन भी कहा जाता है।


== इंडक्शन और रिकर्सन ==
== प्रेरण और प्रत्यावर्तन ==


एक महत्वपूर्ण कारण है कि अच्छी तरह से स्थापित संबंध दिलचस्प हैं क्योंकि उन पर [[ट्रांसफिनिट इंडक्शन]] का एक संस्करण इस्तेमाल किया जा सकता है: यदि ({{math|''X'', ''R''}}) एक सुस्थापित संबंध है, {{math|''P''(''x'')}} के तत्वों की कुछ संपत्ति है {{mvar|X}}, और हम उसे दिखाना चाहते हैं
महत्वपूर्ण कारण है कि उचित प्रकार से स्थापित संबंध रोचक हैं क्योंकि उन पर [[ट्रांसफिनिट इंडक्शन|ट्रांसफिनिट प्रेरण]] का संस्करण उपयोग किया जा सकता है: यदि ({{math|''X'', ''R''}}) सुस्थापित संबंध है, {{math|''P''(''x'')}} {{mvar|X}} के अवयवों की कुछ संपत्ति है, और हम उसे दिखाना चाहते हैं,


:{{math|''P''(''x'')}} सभी तत्वों के लिए धारण करता है {{mvar|x}} का {{mvar|X}},
:{{math|''P''(''x'')}} {{mvar|X}} के सभी अवयवों {{mvar|x}} के लिए है,


यह दर्शाने के लिए पर्याप्त है कि:
यह दर्शाने के लिए पर्याप्त है कि:


: अगर {{mvar|x}} का एक तत्व है {{mvar|X}} और {{math|''P''(''y'')}} सभी के लिए सत्य है {{mvar|y}} ऐसा है कि {{math|''y'' ''R'' ''x''}}, तब {{math|''P''(''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>
अच्छी तरह से स्थापित प्रेरण को कभी-कभी नोथेरियन प्रेरण कहा जाता है,<ref>Bourbaki, N. (1972) ''Elements of mathematics. Commutative algebra'', Addison-Wesley.</ref> [[एमी नोथेर]] के बाद।


प्रेरण के साथ-साथ, अच्छी तरह से स्थापित संबंध भी [[ट्रांसफिनिट रिकर्सन]] द्वारा वस्तुओं के निर्माण का समर्थन करते हैं। होने देना {{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>(\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>G(x) = F\left(x, G\vert_{\left\{y:\, y\mathrel{R}x\right\}}\right).</math>
उचित प्रकार से स्थापित प्रेरण को<ref>Bourbaki, N. (1972) ''Elements of mathematics. Commutative algebra'', Addison-Wesley.</ref> [[एमी नोथेर]] के पश्चात कभी-कभी नोथेरियन प्रेरण कहा जाता है।
यानी अगर हम एक फंक्शन बनाना चाहते हैं {{mvar|G}} पर {{mvar|X}}, हम परिभाषित कर सकते हैं {{math|''G''(''x'')}} के मूल्यों का उपयोग करना {{math|''G''(''y'')}} के लिए {{math|''y'' ''R'' ''x''}}.


एक उदाहरण के रूप में, सुस्थापित संबंध पर विचार करें {{math|('''N''', ''S'')}}, कहाँ {{math|'''N'''}} सभी [[प्राकृतिक संख्या]]ओं का समुच्चय है, और {{mvar|S}} उत्तराधिकारी समारोह का ग्राफ है {{math|''x'' ↦ ''x''+1}}. फिर इंडक्शन चालू {{mvar|S}} सामान्य [[गणितीय प्रेरण]] है, और पुनरावर्तन चालू है {{mvar|S}} [[आदिम पुनरावर्ती कार्य]] देता है। यदि हम आदेश संबंध पर विचार करें {{math|('''N''', <)}}, हम पूर्ण इंडक्शन और [[कोर्स-ऑफ़-वैल्यू रिकर्सन]] प्राप्त करते हैं। बयान है कि {{math|('''N''', <)}} अच्छी तरह से स्थापित है को [[सुव्यवस्थित सिद्धांत]] के रूप में भी जाना जाता है।
प्रेरण के साथ-साथ, उचित प्रकार से स्थापित संबंध भी ट्रांसफिनिट प्रत्यावर्तन द्वारा वस्तुओं के निर्माण का समर्थन करते हैं। मान लीजिये {{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>
अर्थात यदि हम {{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|{{(}}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''' × '''N'''}[[प्राकृतिक संख्या]]ओं के कार्टेशियन उत्पाद का }, द्वारा आदेश दिया गया {{math|(''n''<sub>1</sub>, ''n''<sub>2</sub>) < (''m''<sub>1</sub>, ''m''<sub>2</sub>)}} अगर और केवल अगर {{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>}} है।
* प्रत्येक वर्ग जिसके अवयव समुच्चय हैं, संबंध ∈ ( का एक अवयव है)। यह नियमितता का स्वयंसिद्ध है।
* प्रत्येक वर्ग जिसके अवयव समुच्चय हैं, संबंध ∈ (का अवयव है) के साथ है। यह नियमितता का स्वयंसिद्ध है।
* संबंध के साथ किसी भी परिमित निर्देशित विश्वकोश ग्राफ के नोड्स {{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}} का एक तत्व है {{mvar|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|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'', ∈)}} है।


== रिफ्लेक्सिविटी ==
== प्रतिवर्तनीयता ==


एक रिश्ता {{mvar|R}} को [[ प्रतिवर्त संबंध ]] कहा जाता है अगर {{math|''a'' ''R'' ''a''}} प्रत्येक के लिए धारण करता है {{mvar|a}} संबंध के क्षेत्र में। एक गैर-खाली डोमेन पर प्रत्येक रिफ्लेक्सिव संबंध में अनंत अवरोही श्रृंखलाएं होती हैं, क्योंकि कोई निरंतर अनुक्रम एक अवरोही श्रृंखला है। उदाहरण के लिए, प्राकृतिक संख्या में उनके सामान्य क्रम ≤ के साथ, हमारे पास है {{nowrap|1 ≥ 1 ≥ 1 ≥ ...}}. इन तुच्छ अवरोही अनुक्रमों से बचने के लिए, आंशिक क्रम ≤ के साथ काम करते समय, अच्छी तरह से नींव की परिभाषा (शायद निहित रूप से) को वैकल्पिक संबंध < परिभाषित करने के लिए लागू करना आम है {{math|''a'' < ''b''}} अगर और केवल अगर {{math|''a'' ≤ ''b''}} और {{math|''a'' ≠ ''b''}}. अधिक आम तौर पर, जब एक [[पूर्व आदेश]] ≤ के साथ काम करते हैं, तो संबंध <परिभाषित का उपयोग करना आम है {{math|''a'' < ''b''}} अगर और केवल अगर {{math|''a'' ≤ ''b''}} और {{math|''b'' ≰  ''a''}}. प्राकृतिक संख्याओं के संदर्भ में, इसका अर्थ है कि संबंध <, जो अच्छी तरह से स्थापित है, संबंध ≤ के बजाय प्रयोग किया जाता है, जो नहीं है। कुछ ग्रंथों में, इन सम्मेलनों को शामिल करने के लिए उपरोक्त परिभाषा से एक अच्छी तरह से स्थापित संबंध की परिभाषा बदल दी गई है।
संबंध {{mvar|R}} को [[ प्रतिवर्त संबंध |प्रतिवर्त संबंध]] कहा जाता है यदि {{math|''a'' ''R'' ''a''}} संबंध के क्षेत्र में प्रत्येक {{mvar|a}} के लिए धारण करता है। गैर-रिक्त डोमेन पर प्रत्येक प्रतिवर्त संबंध में अनंत अवरोही श्रृंखलाएं होती हैं, क्योंकि कोई निरंतर अनुक्रम अवरोही श्रृंखला है। उदाहरण के लिए, उनके सामान्य क्रम ≤ के साथ प्राकृतिक संख्याओं में, हमारे निकट {{nowrap|1 ≥ 1 ≥ 1 ≥ ...}}. है इन अल्प अवरोही अनुक्रमों से बचने के लिए, आंशिक क्रम ≤ के साथ कार्य करते समय, उचित प्रकार से आधार की परिभाषा को प्रस्तावित करना सामान्य है (संभवतः निहित रूप से) वैकल्पिक संबंध < के लिए इस प्रकार परिभाषित किया गया है कि {{math|''a'' < ''b''}} यदि और केवल {{math|''a'' ≤ ''b''}} और {{math|''a'' ≠ ''b''}} होते है। सामान्यतः, जब [[पूर्व आदेश]] ≤ के साथ कार्य करते हैं, तो संबंध < परिभाषित का उपयोग करना सामान्य है {{math|''a'' < ''b''}} यदि और केवल {{math|''a'' ≤ ''b''}} और {{math|''b'' ≰  ''a''}} होते है। प्राकृतिक संख्याओं के संदर्भ में, इसका अर्थ है कि संबंध <, जो उचित प्रकार से स्थापित है, संबंध ≤ के अतिरिक्त प्रयोग किया जाता है, जो नहीं है। कुछ लेखों में, इन सम्मेलनों को सम्मिलित करने के लिए उपरोक्त परिभाषा उचित प्रकार से स्थापित संबंध की परिभाषा में परिवर्तित कर दी गई है।


==संदर्भ==
==संदर्भ==
Line 69: 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] यदि प्रत्येक गैर-रिक्त उपसमुच्चय S ⊆ X में R के संबंध में न्यूनतम अवयव है, अर्थात अवयव m ∈ S किसी भी s ∈ S के लिए 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} पर अवयव x ∈ X और फलन g के प्रत्येक जोड़े के लिए ऑब्जेक्ट F(x, g) असाइन करता है। तब अद्वितीय फलन G ऐसा होता है कि प्रत्येक x ∈ X के लिए होता है।

अर्थात यदि हम X पर फलन G बनाना चाहते हैं, तो हम y R x के लिए G(y) के मानों का उपयोग करके G(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 होते है। प्राकृतिक संख्याओं के संदर्भ में, इसका अर्थ है कि संबंध <, जो उचित प्रकार से स्थापित है, संबंध ≤ के अतिरिक्त प्रयोग किया जाता है, जो नहीं है। कुछ लेखों में, इन सम्मेलनों को सम्मिलित करने के लिए उपरोक्त परिभाषा उचित प्रकार से स्थापित संबंध की परिभाषा में परिवर्तित कर दी गई है।

संदर्भ

  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.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=सुस्थापित_संबंध&oldid=271694’