सकर्मक संबंध: Difference between revisions
From Vigyanwiki
(Created page with "{{Short description|Type of binary relation}} {{more citations needed|date=October 2013}} {{Infobox mathematical statement | name = Transitive relation | type = Binary relat...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Type of binary relation}} | {{Short description|Type of binary relation}} | ||
{{Infobox mathematical statement | {{Infobox mathematical statement | ||
| name = Transitive relation | | name = Transitive relation | ||
| Line 8: | Line 7: | ||
| symbolic statement = <math>\forall a,b,c \in X: (aRb \wedge bRc) \Rightarrow aRc</math> | | symbolic statement = <math>\forall a,b,c \in X: (aRb \wedge bRc) \Rightarrow aRc</math> | ||
}} | }} | ||
गणित में, समुच्चय पर संबंध | संबंध {{math|''R''}} | गणित में, समुच्चय पर संबंध | संबंध {{math|''R''}} सेट पर {{math|''X''}}सकर्मक है अगर, सभी तत्वों के लिए {{math|''a''}}, {{math|''b''}}, {{math|''c''}} में {{math|''X''}}, जब भी {{math|''R''}} संबंधित {{math|''a''}} को {{math|''b''}} और {{math|''b''}} को {{math|''c''}}, तब {{math|''R''}} संबंध भी रखता है {{math|''a''}} को {{math|''c''}}. प्रत्येक आंशिक क्रम के साथ-साथ प्रत्येक [[ तुल्यता संबंध ]] को सकर्मक होना चाहिए। | ||
== परिभाषा == | == परिभाषा == | ||
| Line 21: | Line 20: | ||
एक गैर-गणितीय उदाहरण के रूप में, संबंध सकर्मक का पूर्वज है। उदाहरण के लिए, यदि एमी बेकी की पूर्वज है, और बेकी कैरी की पूर्वज है, तो एमी भी कैरी की पूर्वज है। | एक गैर-गणितीय उदाहरण के रूप में, संबंध सकर्मक का पूर्वज है। उदाहरण के लिए, यदि एमी बेकी की पूर्वज है, और बेकी कैरी की पूर्वज है, तो एमी भी कैरी की पूर्वज है। | ||
दूसरी ओर, का जन्म माता-पिता | दूसरी ओर, का जन्म माता-पिता सकर्मक संबंध नहीं है, क्योंकि यदि ऐलिस ब्रेंडा का जन्म माता-पिता है, और ब्रेंडा क्लेयर का जन्म माता-पिता है, तो इसका अर्थ यह नहीं है कि ऐलिस क्लेयर का जन्म माता-पिता है। क्या अधिक है, यह [[ संक्रमणरोधी ]] है: ऐलिस कभी भी क्लेयर की जन्म माता-पिता नहीं हो सकती। | ||
से बड़ा है, कम से कम उतना बड़ा है, और बराबर है ([[ समानता (गणित) ]]) विभिन्न [[ सबसेट ]]ों पर सकर्मक संबंध हैं, उदाहरण के लिए, वास्तविक संख्याओं का सेट या प्राकृतिक संख्याओं का सेट: | से बड़ा है, कम से कम उतना बड़ा है, और बराबर है ([[ समानता (गणित) ]]) विभिन्न [[ सबसेट ]]ों पर सकर्मक संबंध हैं, उदाहरण के लिए, वास्तविक संख्याओं का सेट या प्राकृतिक संख्याओं का सेट: | ||
| Line 30: | Line 29: | ||
सकर्मक संबंधों के अधिक उदाहरण: | सकर्मक संबंधों के अधिक उदाहरण: | ||
* का | * का उपसमुच्चय है (सेट समावेशन, सेट पर संबंध) | ||
* भाग ([[ भाजक ]], प्राकृतिक संख्या पर | * भाग ([[ भाजक ]], प्राकृतिक संख्या पर संबंध) | ||
* तात्पर्य (भौतिक सशर्त, ⇒ द्वारा प्रतीक, [[ प्रस्ताव ]]ों पर | * तात्पर्य (भौतिक सशर्त, ⇒ द्वारा प्रतीक, [[ प्रस्ताव ]]ों पर संबंध) | ||
गैर-सकर्मक संबंधों के उदाहरण: | गैर-सकर्मक संबंधों के उदाहरण: | ||
* का उत्तराधिकारी कार्य है (प्राकृतिक संख्याओं पर संबंध) | * का उत्तराधिकारी कार्य है (प्राकृतिक संख्याओं पर संबंध) | ||
* सेट का | * सेट का सदस्य है (∈ के रूप में चिन्हित)<ref>However, the class of [[von Neumann ordinal]]s is constructed in a way such that ∈ ''is'' transitive when restricted to that class.</ref> | ||
* लंबवत है ([[ यूक्लिडियन ज्यामिति ]] में रेखाओं पर संबंध) | * लंबवत है ([[ यूक्लिडियन ज्यामिति ]] में रेखाओं पर संबंध) | ||
किसी भी सेट पर खाली रिश्ता <math>X</math> सकर्मक है<ref>{{harvnb|Smith|Eggen|St. Andre|2006|loc=p. 146}}</ref><ref>https://courses.engr.illinois.edu/cs173/sp2011/Lectures/relations.pdf {{Bare URL PDF|date=March 2022}}</ref> क्योंकि कोई तत्व नहीं है <math>a,b,c \in X</math> ऐसा है कि <math>aRb</math> और <math>bRc</math>, और इसलिए ट्रांज़िटिविटी की स्थिति रिक्त सत्य है। | किसी भी सेट पर खाली रिश्ता <math>X</math> सकर्मक है<ref>{{harvnb|Smith|Eggen|St. Andre|2006|loc=p. 146}}</ref><ref>https://courses.engr.illinois.edu/cs173/sp2011/Lectures/relations.pdf {{Bare URL PDF|date=March 2022}}</ref> क्योंकि कोई तत्व नहीं है <math>a,b,c \in X</math> ऐसा है कि <math>aRb</math> और <math>bRc</math>, और इसलिए ट्रांज़िटिविटी की स्थिति रिक्त सत्य है। रिश्ता {{math|''R''}} केवल एक [[ क्रमित युग्म ]] युक्त होना भी सकर्मक है: यदि क्रमित युग्म रूप का है <math>(x, x)</math> कुछ के लिए <math>x \in X</math> केवल ऐसे तत्व <math>a,b,c \in X</math> हैं <math>a=b=c=x</math>, और वास्तव में इस मामले में <math>aRc</math>, जबकि यदि क्रमित युग्म रूप का नहीं है <math>(x, x)</math> तो ऐसे कोई तत्व नहीं हैं <math>a,b,c \in X</math> और इसलिए <math>R</math> निर्वात रूप से सकर्मक है। | ||
== गुण == | == गुण == | ||
| Line 47: | Line 46: | ||
* दो सकर्मक संबंधों का प्रतिच्छेदन सदैव सकर्मक होता है।<ref>{{Cite journal |last=Bianchi |first=Mariagrazia |last2=Mauri |first2=Anna Gillio Berta |last3=Herzog |first3=Marcel |last4=Verardi |first4=Libero |date=2000-01-12 |title=On finite solvable groups in which normality is a transitive relation |url=https://www.degruyter.com/document/doi/10.1515/jgth.2000.012/html |journal=Journal of Group Theory |volume=3 |issue=2 |doi=10.1515/jgth.2000.012 |issn=1433-5883}}</ref> उदाहरण के लिए, यह जानकर कि पहले पैदा हुआ था और उसका वही पहला नाम है जो सकर्मक है, कोई यह निष्कर्ष निकाल सकता है कि वह पहले पैदा हुआ था और उसका पहला नाम भी वही है जो सकर्मक भी है। | * दो सकर्मक संबंधों का प्रतिच्छेदन सदैव सकर्मक होता है।<ref>{{Cite journal |last=Bianchi |first=Mariagrazia |last2=Mauri |first2=Anna Gillio Berta |last3=Herzog |first3=Marcel |last4=Verardi |first4=Libero |date=2000-01-12 |title=On finite solvable groups in which normality is a transitive relation |url=https://www.degruyter.com/document/doi/10.1515/jgth.2000.012/html |journal=Journal of Group Theory |volume=3 |issue=2 |doi=10.1515/jgth.2000.012 |issn=1433-5883}}</ref> उदाहरण के लिए, यह जानकर कि पहले पैदा हुआ था और उसका वही पहला नाम है जो सकर्मक है, कोई यह निष्कर्ष निकाल सकता है कि वह पहले पैदा हुआ था और उसका पहला नाम भी वही है जो सकर्मक भी है। | ||
* दो सकर्मक संबंधों का मिलन सकर्मक नहीं होना चाहिए। उदाहरण के लिए, पहले पैदा हुआ था या उसका पहला नाम वही है जो सकर्मक संबंध नहीं है, क्योंकि उदा। [[ हर्बर्ट हूवर ]] फ्रैंकलिन डी. रूजवेल्ट से संबंधित है, जो बदले में [[ फ्रैंकलिन पियर्स ]] से संबंधित है, जबकि हूवर फ्रैंकलिन पियर्स से संबंधित नहीं है। | * दो सकर्मक संबंधों का मिलन सकर्मक नहीं होना चाहिए। उदाहरण के लिए, पहले पैदा हुआ था या उसका पहला नाम वही है जो सकर्मक संबंध नहीं है, क्योंकि उदा। [[ हर्बर्ट हूवर ]] फ्रैंकलिन डी. रूजवेल्ट से संबंधित है, जो बदले में [[ फ्रैंकलिन पियर्स ]] से संबंधित है, जबकि हूवर फ्रैंकलिन पियर्स से संबंधित नहीं है। | ||
* एक सकर्मक संबंध के पूरक को सकर्मक होने की आवश्यकता नहीं है।<ref name="Derek.1964">{{Cite journal |last=Robinson |first=Derek J. S. |date=January 1964 |title=Groups in which normality is a transitive relation |url=https://www.cambridge.org/core/product/identifier/S0305004100037403/type/journal_article |journal=Mathematical Proceedings of the Cambridge Philosophical Society |language=en |volume=60 |issue=1 |pages=21–38 |doi=10.1017/S0305004100037403 |issn=0305-0041}}</ref> उदाहरण के लिए, जबकि बराबर सकर्मक है, बराबर नहीं है केवल | * एक सकर्मक संबंध के पूरक को सकर्मक होने की आवश्यकता नहीं है।<ref name="Derek.1964">{{Cite journal |last=Robinson |first=Derek J. S. |date=January 1964 |title=Groups in which normality is a transitive relation |url=https://www.cambridge.org/core/product/identifier/S0305004100037403/type/journal_article |journal=Mathematical Proceedings of the Cambridge Philosophical Society |language=en |volume=60 |issue=1 |pages=21–38 |doi=10.1017/S0305004100037403 |issn=0305-0041}}</ref> उदाहरण के लिए, जबकि बराबर सकर्मक है, बराबर नहीं है केवल तत्व के साथ सेट पर संक्रमणीय है। | ||
=== अन्य गुण === | === अन्य गुण === | ||
| Line 53: | Line 52: | ||
सकर्मक संबंध को रिफ्लेक्सिव संबंध नहीं होना चाहिए। जब यह होता है, इसे [[ पूर्व आदेश ]] कहा जाता है। उदाहरण के लिए, सेट X = {1,2,3} पर: | सकर्मक संबंध को रिफ्लेक्सिव संबंध नहीं होना चाहिए। जब यह होता है, इसे [[ पूर्व आदेश ]] कहा जाता है। उदाहरण के लिए, सेट X = {1,2,3} पर: | ||
* आर = { | * आर = {(1,1), (2,2), (3,3), (1,3), (3,2)} रिफ्लेक्सिव है, लेकिन सकर्मक नहीं है, क्योंकि जोड़ी (1,2) अनुपस्थित है, | ||
* आर = { | * आर = {(1,1), (2,2), (3,3), (1,3)} सकर्मक होने के साथ-साथ सकर्मक भी है, इसलिए यह पूर्व-आदेश है, | ||
* आर = { | * आर = {(1,1), (2,2), (3,3)} रिफ्लेक्सिव होने के साथ-साथ सकर्मक भी है, और प्रीऑर्डर। | ||
== सकर्मक विस्तार और सकर्मक बंद == | == सकर्मक विस्तार और सकर्मक बंद == | ||
{{main|Transitive closure}} | {{main|Transitive closure}} | ||
होने देना {{mvar|R}} सेट पर | होने देना {{mvar|R}} सेट पर द्विआधारी संबंध हो {{mvar|X}}. का सकर्मक विस्तार {{mvar|R}}, निरूपित {{math|''R''<sub>1</sub>}}, पर सबसे छोटा बाइनरी संबंध है {{mvar|X}} ऐसा है कि {{math|''R''<sub>1</sub>}} रोकना {{mvar|R}}, और अगर {{math|(''a'', ''b'') ∈ ''R''}} और {{math|(''b'', ''c'') ∈ ''R''}} तब {{math|(''a'', ''c'') ∈ ''R''<sub>1</sub>}}.<ref>{{harvnb|Liu|1985|loc=p. 111}}</ref> उदाहरण के लिए मान लीजिए {{mvar|X}} कस्बों का समूह है, जिनमें से कुछ सड़कों से जुड़े हुए हैं। होने देना {{mvar|R}} कस्बों पर संबंध हो जहां {{math|(''A'', ''B'') ∈ ''R''}} अगर शहर को सीधे जोड़ने वाली कोई सड़क है {{mvar|A}} और शहर {{mvar|B}}. यह संबंध सकर्मक नहीं होना चाहिए। इस संबंध के सकर्मक विस्तार को इसके द्वारा परिभाषित किया जा सकता है {{math|(''A'', ''C'') ∈ ''R''<sub>1</sub>}} यदि आप कस्बों के बीच यात्रा कर सकते हैं {{mvar|A}} और {{mvar|C}} अधिकतम दो सड़कों का उपयोग करके। | ||
यदि कोई संबंध सकर्मक है तो उसका सकर्मक विस्तार स्वयं है, अर्थात यदि {{mvar|R}} तब | यदि कोई संबंध सकर्मक है तो उसका सकर्मक विस्तार स्वयं है, अर्थात यदि {{mvar|R}} तब सकर्मक संबंध है {{math|1=''R''<sub>1</sub> = ''R''}}. | ||
का सकर्मक विस्तार {{math|''R''<sub>1</sub>}} द्वारा दर्शाया जाएगा {{math|''R''<sub>2</sub>}}, और इस तरह से जारी है, सामान्य तौर पर, सकर्मक विस्तार {{math|''R''<sub>''i''</sub>}} होने वाला {{math|''R''<sub>''i'' + 1</sub>}}. का सकर्मक समापन {{mvar|R}}, द्वारा चिह्नित {{math|''R''*}} या {{math|''R''<sup>∞</sup>}} का निर्धारित संघ है {{mvar|R}}, {{math|''R''<sub>1</sub>}}, {{math|''R''<sub>2</sub>}}, ... .<ref name=Liu112>{{harvnb|Liu|1985|loc=p. 112}}</ref> | का सकर्मक विस्तार {{math|''R''<sub>1</sub>}} द्वारा दर्शाया जाएगा {{math|''R''<sub>2</sub>}}, और इस तरह से जारी है, सामान्य तौर पर, सकर्मक विस्तार {{math|''R''<sub>''i''</sub>}} होने वाला {{math|''R''<sub>''i'' + 1</sub>}}. का सकर्मक समापन {{mvar|R}}, द्वारा चिह्नित {{math|''R''*}} या {{math|''R''<sup>∞</sup>}} का निर्धारित संघ है {{mvar|R}}, {{math|''R''<sub>1</sub>}}, {{math|''R''<sub>2</sub>}}, ... .<ref name=Liu112>{{harvnb|Liu|1985|loc=p. 112}}</ref> | ||
किसी संबंध का सकर्मक समापन | किसी संबंध का सकर्मक समापन सकर्मक संबंध है।<ref name=Liu112 /> | ||
संबंध लोगों के | संबंध लोगों के समूह का जन्म माता-पिता है, यह सकर्मक संबंध नहीं है। हालांकि, जीव विज्ञान में अक्सर पीढ़ियों की मनमानी संख्या पर जन्म के पितृत्व पर विचार करने की आवश्यकता उत्पन्न होती है: संबंध सकर्मक संबंध का जन्म पूर्वज है और यह संबंध का सकर्मक समापन है जो जन्म का माता-पिता है। | ||
उपरोक्त कस्बों और सड़कों के उदाहरण के लिए, {{math|(''A'', ''C'') ∈ ''R''*}} बशर्ते आप कस्बों के बीच यात्रा कर सकें {{mvar|A}} और {{mvar|C}} कितनी भी सड़कों का उपयोग करना। | उपरोक्त कस्बों और सड़कों के उदाहरण के लिए, {{math|(''A'', ''C'') ∈ ''R''*}} बशर्ते आप कस्बों के बीच यात्रा कर सकें {{mvar|A}} और {{mvar|C}} कितनी भी सड़कों का उपयोग करना। | ||
== संबंध प्रकार जिनमें ट्रांज़िटिविटी की आवश्यकता होती है == | == संबंध प्रकार जिनमें ट्रांज़िटिविटी की आवश्यकता होती है == | ||
* प्रीऑर्डर - | * प्रीऑर्डर - रिफ्लेक्सिव रिलेशन और सकर्मक रिलेशन | ||
* [[ आंशिक रूप से आदेशित सेट ]] - एक [[ विषम संबंध ]] प्रीऑर्डर | * [[ आंशिक रूप से आदेशित सेट ]] - एक [[ विषम संबंध ]] प्रीऑर्डर | ||
* [[ कुल अग्रिम आदेश ]] - एक [[ जुड़ा हुआ संबंध ]] (जिसे पहले टोटल कहा जाता था) प्रीऑर्डर | * [[ कुल अग्रिम आदेश ]] - एक [[ जुड़ा हुआ संबंध ]] (जिसे पहले टोटल कहा जाता था) प्रीऑर्डर | ||
* तुल्यता संबंध - एक [[ सममित संबंध ]] पूर्वक्रम | * तुल्यता संबंध - एक [[ सममित संबंध ]] पूर्वक्रम | ||
* सख्त कमजोर क्रम - | * सख्त कमजोर क्रम - सख्त आंशिक क्रम जिसमें अतुलनीयता तुल्यता संबंध है | ||
* [[ कुल आदेश ]] - | * [[ कुल आदेश ]] - कनेक्टेड (कुल), एंटीसिमेट्रिक और सकर्मक संबंध | ||
== सकर्मक संबंधों की गिनती == | == सकर्मक संबंधों की गिनती == | ||
कोई सामान्य सूत्र नहीं है जो परिमित समुच्चय पर सकर्मक संबंधों की संख्या की गणना करता है {{OEIS|id=A006905}} ज्ञात है।<ref>Steven R. Finch, [http://www.people.fas.harvard.edu/~sfinch/csolve/posets.pdf "Transitive relations, topologies and partial orders"], 2003.</ref> हालाँकि, | कोई सामान्य सूत्र नहीं है जो परिमित समुच्चय पर सकर्मक संबंधों की संख्या की गणना करता है {{OEIS|id=A006905}} ज्ञात है।<ref>Steven R. Finch, [http://www.people.fas.harvard.edu/~sfinch/csolve/posets.pdf "Transitive relations, topologies and partial orders"], 2003.</ref> हालाँकि, साथ रिफ्लेक्सिव, सममित और सकर्मक संबंधों की संख्या ज्ञात करने का सूत्र है - दूसरे शब्दों में, तुल्यता संबंध - {{OEIS|id=A000110}}, वे जो सममित और सकर्मक हैं, वे जो सममित, सकर्मक और विषम हैं, और वे जो कुल, सकर्मक और विषम हैं। फीफर<ref>Götz Pfeiffer, "[http://www.cs.uwaterloo.ca/journals/JIS/VOL7/Pfeiffer/pfeiffer6.html Counting Transitive Relations]", ''Journal of Integer Sequences'', Vol. 7 (2004), Article 04.3.2.</ref> इस दिशा में कुछ प्रगति की है, इन गुणों के संयोजन के साथ संबंधों को दूसरे के संदर्भ में व्यक्त किया है, लेकिन फिर भी किसी की गणना करना मुश्किल है। ब्रिंकमैन और मैके (2005) को भी देखें।<ref>Gunnar Brinkmann and Brendan D. McKay,"[http://cs.anu.edu.au/~bdm/papers/topologies.pdf Counting unlabelled topologies and transitive relations]"</ref> माला ने दिखाया कि पूर्णांक गुणांक वाला कोई भी बहुपद सेट पर सकर्मक संबंधों की संख्या के लिए सूत्र का प्रतिनिधित्व नहीं कर सकता है,<ref>{{Cite journal|last=Mala|first=Firdous Ahmad|date=2021-06-14|title=On the number of transitive relations on a set|url=https://doi.org/10.1007/s13226-021-00100-0|journal=Indian Journal of Pure and Applied Mathematics|language=en|doi=10.1007/s13226-021-00100-0|issn=0975-7465}}</ref> और कुछ पुनरावर्ती संबंध पाए जो उस संख्या के लिए निचली सीमा प्रदान करते हैं। उन्होंने यह भी दिखाया कि वह संख्या डिग्री दो का बहुपद है यदि {{clarify span|the set|reason=Should be 'the relation'? The relation consists of ordered pairs, the set usually does not.|date=December 2021}} ठीक दो क्रमित जोड़े शामिल हैं।<ref>{{Cite journal|last=Mala|first=Firdous Ahmad|date=2021-10-13|title=Counting Transitive Relations with Two Ordered Pairs|url=https://doi.org/10.26855/jamc.2021.12.002|journal=Journal of Applied Mathematics and Computation|volume=5|issue=4|pages=247–251|doi=10.26855/jamc.2021.12.002|issn=2576-0645}}</ref> | ||
{{number of relations}} | {{number of relations}} | ||
| Line 86: | Line 85: | ||
== संबंधित गुण == | == संबंधित गुण == | ||
[[File:Rock-paper-scissors.svg|alt=Cycle diagram|thumb|रॉक-पेपर-कैंची खेल | [[File:Rock-paper-scissors.svg|alt=Cycle diagram|thumb|रॉक-पेपर-कैंची खेल अकर्मक और प्रतिसंक्रमणीय संबंध x बीट्स y पर आधारित है।]]एक संबंध R को [[ अकर्मण्यता ]] कहा जाता है यदि यह सकर्मक नहीं है, अर्थात, यदि xRy और yRz है, लेकिन xRz नहीं है, कुछ x, y, z के लिए। | ||
इसके विपरीत, | इसके विपरीत, संबंध R को एंटीट्रांसिटिव कहा जाता है यदि xRy और yRz हमेशा यह दर्शाता है कि xRz धारण नहीं करता है। | ||
उदाहरण के लिए, यदि xy एक [[ सम संख्या ]] है तो xRy द्वारा परिभाषित संबंध अकर्मक है,<ref>since e.g. 3''R''4 and 4''R''5, but not 3''R''5</ref> लेकिन प्रतिसंक्रमणीय नहीं।<ref>since e.g. 2''R''3 and 3''R''4 and 2''R''4</ref> xRy द्वारा परिभाषित संबंध यदि x सम है और y [[ विषम संख्या ]] है तो सकर्मक और प्रतिसंक्रमणीय दोनों है।<ref>since ''xRy'' and ''yRz'' can never happen</ref> xRy द्वारा परिभाषित संबंध यदि x, y की उत्तराधिकारी फलन संख्या है, दोनों अकर्मक है<ref>since e.g. 3''R''2 and 2''R''1, but not 3''R''1</ref> और संक्रमणरोधी।<ref>since, more generally, ''xRy'' and ''yRz'' implies ''x''=''y''+1=''z''+2≠''z''+1, i.e. not ''xRz'', for all ''x'', ''y'', ''z''</ref> राजनीतिक प्रश्नों या समूह प्राथमिकताओं जैसी स्थितियों में अकर्मण्यता के अप्रत्याशित उदाहरण उत्पन्न होते हैं।<ref>{{Cite news|url=https://www.motherjones.com/kevin-drum/2018/11/preferences-are-not-transitive/|title=Preferences are not transitive|last=Drum|first=Kevin|date=November 2018|work=Mother Jones|access-date=2018-11-29}}</ref> | उदाहरण के लिए, यदि xy एक [[ सम संख्या ]] है तो xRy द्वारा परिभाषित संबंध अकर्मक है,<ref>since e.g. 3''R''4 and 4''R''5, but not 3''R''5</ref> लेकिन प्रतिसंक्रमणीय नहीं।<ref>since e.g. 2''R''3 and 3''R''4 and 2''R''4</ref> xRy द्वारा परिभाषित संबंध यदि x सम है और y [[ विषम संख्या ]] है तो सकर्मक और प्रतिसंक्रमणीय दोनों है।<ref>since ''xRy'' and ''yRz'' can never happen</ref> xRy द्वारा परिभाषित संबंध यदि x, y की उत्तराधिकारी फलन संख्या है, दोनों अकर्मक है<ref>since e.g. 3''R''2 and 2''R''1, but not 3''R''1</ref> और संक्रमणरोधी।<ref>since, more generally, ''xRy'' and ''yRz'' implies ''x''=''y''+1=''z''+2≠''z''+1, i.e. not ''xRz'', for all ''x'', ''y'', ''z''</ref> राजनीतिक प्रश्नों या समूह प्राथमिकताओं जैसी स्थितियों में अकर्मण्यता के अप्रत्याशित उदाहरण उत्पन्न होते हैं।<ref>{{Cite news|url=https://www.motherjones.com/kevin-drum/2018/11/preferences-are-not-transitive/|title=Preferences are not transitive|last=Drum|first=Kevin|date=November 2018|work=Mother Jones|access-date=2018-11-29}}</ref> | ||
स्टोचैस्टिक संस्करणों ([[ स्टोकेस्टिक ट्रांज़िटिविटी ]]) के लिए सामान्यीकृत, ट्रांज़िटिविटी के अध्ययन में [[ निर्णय सिद्धांत ]], [[ साइकोमेट्रिक्स ]] और [[ उपयोगीता ]] के अनुप्रयोग मिलते हैं।<ref>{{Cite journal|last=Oliveira|first=I.F.D.|last2=Zehavi|first2=S.|last3=Davidov|first3=O.|date=August 2018|title=Stochastic transitivity: Axioms and models|journal=Journal of Mathematical Psychology|volume=85|pages=25–35|doi=10.1016/j.jmp.2018.06.002|issn=0022-2496}}</ref> | स्टोचैस्टिक संस्करणों ([[ स्टोकेस्टिक ट्रांज़िटिविटी ]]) के लिए सामान्यीकृत, ट्रांज़िटिविटी के अध्ययन में [[ निर्णय सिद्धांत ]], [[ साइकोमेट्रिक्स ]] और [[ उपयोगीता ]] के अनुप्रयोग मिलते हैं।<ref>{{Cite journal|last=Oliveira|first=I.F.D.|last2=Zehavi|first2=S.|last3=Davidov|first3=O.|date=August 2018|title=Stochastic transitivity: Axioms and models|journal=Journal of Mathematical Psychology|volume=85|pages=25–35|doi=10.1016/j.jmp.2018.06.002|issn=0022-2496}}</ref> | ||
एक सकर्मक संबंध | एक सकर्मक संबंध और सामान्यीकरण है;<ref name="Derek.1964"/>इसके गैर-सममित भाग पर ही सकर्मक होना आवश्यक है। ऐसे संबंधों का उपयोग [[ सामाजिक पसंद सिद्धांत ]] या सूक्ष्मअर्थशास्त्र में किया जाता है।<ref>{{cite journal | last=Sen | first=A. | author-link=Amartya Sen | title=Quasi-transitivity, rational choice and collective decisions | zbl=0181.47302 | journal=Rev. Econ. Stud. | volume=36 | issue=3 | pages=381–393 | year=1969 | doi=10.2307/2296434 | jstor=2296434 }}</ref> | ||
प्रस्ताव: यदि ''आर'' एक [[ असमान संबंध ]] है, तो आर;आर<sup>T</sup> सकर्मक है। | प्रस्ताव: यदि ''आर'' एक [[ असमान संबंध ]] है, तो आर;आर<sup>T</sup> सकर्मक है। | ||
: प्रमाण: मान लीजिए <math>x R;R^T y R;R^T z.</math> फिर ए और बी ऐसे हैं <math>x R a R^T y R b R^T z .</math> चूँकि R एकसंयोजक है, yRb और aR<sup>T</sup>y का अर्थ a=b है। इसलिए एक्सआरएआर<sup>T</sup>z, इसलिए xR;R<sup>टी</sup>जेड और आर; आर<sup>T</sup> सकर्मक है। | : प्रमाण: मान लीजिए <math>x R;R^T y R;R^T z.</math> फिर ए और बी ऐसे हैं <math>x R a R^T y R b R^T z .</math> चूँकि R एकसंयोजक है, yRb और aR<sup>T</sup>y का अर्थ a=b है। इसलिए एक्सआरएआर<sup>T</sup>z, इसलिए xR;R<sup>टी</sup>जेड और आर; आर<sup>T</sup> सकर्मक है। | ||
उपप्रमेय: यदि ''आर'' असंबद्ध है, तो आर;आर<sup>T</sup> R के प्रांत पर | उपप्रमेय: यदि ''आर'' असंबद्ध है, तो आर;आर<sup>T</sup> R के प्रांत पर तुल्यता संबंध है। | ||
: प्रमाण: आर; आर<sup>T</sup> अपने डोमेन पर सममित और स्वतुल्य है। R की एकरूपता के साथ, तुल्यता के लिए सकर्मक आवश्यकता पूरी हो जाती है। | : प्रमाण: आर; आर<sup>T</sup> अपने डोमेन पर सममित और स्वतुल्य है। R की एकरूपता के साथ, तुल्यता के लिए सकर्मक आवश्यकता पूरी हो जाती है। | ||
Revision as of 10:09, 5 July 2023
| Type | Binary relation |
|---|---|
| Field | Elementary algebra |
| Statement | A relation on a set is transitive if, for all elements , , in , whenever relates to and to , then also relates to . |
| Symbolic statement |
गणित में, समुच्चय पर संबंध | संबंध R सेट पर Xसकर्मक है अगर, सभी तत्वों के लिए a, b, c में X, जब भी R संबंधित a को b और b को c, तब R संबंध भी रखता है a को c. प्रत्येक आंशिक क्रम के साथ-साथ प्रत्येक तुल्यता संबंध को सकर्मक होना चाहिए।
परिभाषा
| Transitive binary relations | |||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
