संयोजित संबंध: Difference between revisions
(Created page with "{{short description|Property of a relation on a set}} {{redirect|Connexity|the comparison shopping company|Connexity Inc.}} {{stack|{{Binary relations}}}} गणित मे...") |
No edit summary |
||
Line 2: | Line 2: | ||
{{redirect|Connexity|the comparison shopping company|Connexity Inc.}} | {{redirect|Connexity|the comparison shopping company|Connexity Inc.}} | ||
{{stack|{{Binary relations}}}} | {{stack|{{Binary relations}}}} | ||
गणित में, | गणित में, समुच्चय पर किसी संबंध को संयोजित या पूर्ण कहा जाता है यदि यह समुच्चय के तत्वों के सभी अलग-अलग युग्मों को एक या दूसरे दिशा में जोड़ता है (या "तुलना करता है"), जबकि यदि यह तत्वों के सभी युग्मों को जोड़ता है तो इसे दृढ़ता से जुड़ा हुआ कहा जाता है। जैसा कि नीचे शब्दावली अनुभाग में वर्णित है, इन गुणों के लिए शब्दावली एक समान नहीं है। "योग " की इस धारणा को सभी के लिए योग संबंध के साथ अस्पष्ट नहीं किया जाना चाहिए <math>x \in X</math> में एक है <math>y \in X</math> जिससे <math>x \mathrel{R} y</math> ( क्रमशः संबंध देखें)। | ||
[[कुल ऑर्डर]] की परिभाषा में कनेक्टिविटी प्रमुखता से दिखाई देती है: कुल (या रैखिक) | [[कुल ऑर्डर]] की परिभाषा में कनेक्टिविटी प्रमुखता से दिखाई देती है: कुल (या रैखिक) क्रम एक आंशिक क्रम है जिसमें कोई भी दो तत्व तुलनीय होते हैं; अर्थात् क्रम संबंध जुड़ा हुआ है। इसी प्रकार, पूर्णतः [[आंशिक आदेश]] जो जुड़ा हुआ है वह [[सख्त कुल आदेश|पूर्णतः कुल आदेश]] होता है। एक संबंध कुल आदेश है यदि यह आंशिक आदेश और दृढ़ता से जुड़ा हुआ दोनों होता है। एक संबंध पूर्णतः कुल आदेश है यदि, यह आंशिक आदेश है और अभी जुड़ा हुआ है। एक पूर्णतः योग क्रम को कभी भी मजबूती से नहीं जोड़ा जा सकता (खाली डोमेन को छोड़कर)। | ||
एक संबंध | |||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
Line 46: | Line 45: | ||
== गुण == | == गुण == | ||
* {{em|edge}जीई}} संबंध<ref group=note>Defined formally by <math>v E w</math> if a graph edge leads from vertex <math>v</math> to vertex <math>w</math></ref> <math>E</math> एक टूर्नामेंट (ग्राफ़ सिद्धांत) ग्राफ़ का <math>G</math> के सेट पर हमेशा एक जुड़ा हुआ रिश्ता होता है <math>G</math>{{'}}s शीर्ष. | * {{em|edge}जीई}} संबंध<ref group="note">Defined formally by <math>v E w</math> if a graph edge leads from vertex <math>v</math> to vertex <math>w</math></ref> <math>E</math> एक टूर्नामेंट (ग्राफ़ सिद्धांत) ग्राफ़ का <math>G</math> के सेट पर हमेशा एक जुड़ा हुआ रिश्ता होता है <math>G</math>{{'}}s शीर्ष. | ||
* यदि कोई मजबूती से जुड़ा हुआ संबंध [[सममित संबंध]] है, तो यह सार्वभौमिक संबंध है। | * यदि कोई मजबूती से जुड़ा हुआ संबंध [[सममित संबंध]] है, तो यह सार्वभौमिक संबंध है। | ||
* कोई भी रिश्ता मजबूती से तभी जुड़ा होता है, जब वह जुड़ा हुआ और प्रतिवर्ती हो।<ref group=proof>For the {{em|only if}} direction, both properties follow trivially. — For the {{em|if}} direction: when <math>x \neq y,</math> then <math>x\mathrel{R}y \lor y\mathrel{R}x</math> follows from connectedness; when <math>x = y,</math> <math>x \mathrel{R} y</math> follows from reflexivity.</ref> | * कोई भी रिश्ता मजबूती से तभी जुड़ा होता है, जब वह जुड़ा हुआ और प्रतिवर्ती हो।<ref group="proof">For the {{em|only if}} direction, both properties follow trivially. — For the {{em|if}} direction: when <math>x \neq y,</math> then <math>x\mathrel{R}y \lor y\mathrel{R}x</math> follows from connectedness; when <math>x = y,</math> <math>x \mathrel{R} y</math> follows from reflexivity.</ref> | ||
* सेट पर जुड़ा हुआ रिश्ता <math>X</math> बशर्ते, [[प्रतिसंक्रमणीय]] नहीं हो सकता <math>X</math> कम से कम 4 तत्व हैं।<ref> | * सेट पर जुड़ा हुआ रिश्ता <math>X</math> बशर्ते, [[प्रतिसंक्रमणीय]] नहीं हो सकता <math>X</math> कम से कम 4 तत्व हैं।<ref> | ||
{{cite report|arxiv=1806.05036|author=Jochen Burghardt|title=Simple Laws about Nonprominent Properties of Binary Relations|type=Technical Report|date=Jun 2018|bibcode=2018arXiv180605036B}} Lemma 8.2, p.8.</ref> 3-तत्व सेट पर <math>\{ a, b, c \},</math> उदाहरण के लिए, संबंध <math>\{ (a, b), (b, c), (c, a) \}</math> दोनों गुण हैं. | {{cite report|arxiv=1806.05036|author=Jochen Burghardt|title=Simple Laws about Nonprominent Properties of Binary Relations|type=Technical Report|date=Jun 2018|bibcode=2018arXiv180605036B}} Lemma 8.2, p.8.</ref> 3-तत्व सेट पर <math>\{ a, b, c \},</math> उदाहरण के लिए, संबंध <math>\{ (a, b), (b, c), (c, a) \}</math> दोनों गुण हैं. | ||
* अगर <math>R</math> पर एक जुड़ा हुआ रिश्ता है <math>X,</math> फिर सभी, या एक को छोड़कर सभी, के तत्व <math>X</math> छवि में हैं (गणित)#के द्विआधारी संबंधों का सामान्यीकरण <math>R.</math><ref group=proof>If <math>x, y \in X \setminus \operatorname{ran}(R),</math> then <math>x \mathrel{R} y</math> and <math>y \mathrel{R} x</math> are impossible, so <math>x = y</math> follows from connectedness.</ref> इसी तरह, सभी, या एक को छोड़कर सभी, के तत्व <math>X</math> के क्षेत्र में हैं <math>R.</math> | * अगर <math>R</math> पर एक जुड़ा हुआ रिश्ता है <math>X,</math> फिर सभी, या एक को छोड़कर सभी, के तत्व <math>X</math> छवि में हैं (गणित)#के द्विआधारी संबंधों का सामान्यीकरण <math>R.</math><ref group="proof">If <math>x, y \in X \setminus \operatorname{ran}(R),</math> then <math>x \mathrel{R} y</math> and <math>y \mathrel{R} x</math> are impossible, so <math>x = y</math> follows from connectedness.</ref> इसी तरह, सभी, या एक को छोड़कर सभी, के तत्व <math>X</math> के क्षेत्र में हैं <math>R.</math> | ||
Revision as of 13:00, 5 July 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.
गणित में, समुच्चय पर किसी संबंध को संयोजित या पूर्ण कहा जाता है यदि यह समुच्चय के तत्वों के सभी अलग-अलग युग्मों को एक या दूसरे दिशा में जोड़ता है (या "तुलना करता है"), जबकि यदि यह तत्वों के सभी युग्मों को जोड़ता है तो इसे दृढ़ता से जुड़ा हुआ कहा जाता है। जैसा कि नीचे शब्दावली अनुभाग में वर्णित है, इन गुणों के लिए शब्दावली एक समान नहीं है। "योग " की इस धारणा को सभी के लिए योग संबंध के साथ अस्पष्ट नहीं किया जाना चाहिए में एक है जिससे ( क्रमशः संबंध देखें)।
कुल ऑर्डर की परिभाषा में कनेक्टिविटी प्रमुखता से दिखाई देती है: कुल (या रैखिक) क्रम एक आंशिक क्रम है जिसमें कोई भी दो तत्व तुलनीय होते हैं; अर्थात् क्रम संबंध जुड़ा हुआ है। इसी प्रकार, पूर्णतः आंशिक आदेश जो जुड़ा हुआ है वह पूर्णतः कुल आदेश होता है। एक संबंध कुल आदेश है यदि यह आंशिक आदेश और दृढ़ता से जुड़ा हुआ दोनों होता है। एक संबंध पूर्णतः कुल आदेश है यदि, यह आंशिक आदेश है और अभी जुड़ा हुआ है। एक पूर्णतः योग क्रम को कभी भी मजबूती से नहीं जोड़ा जा सकता (खाली डोमेन को छोड़कर)।
औपचारिक परिभाषा
एक रिश्ता एक सेट पर कहा जाता हैconnectedजब सभी के लिए
शब्दावली
जुड़े हुए संबंध की धारणा का मुख्य उपयोग आदेशों के संदर्भ में है, जहां इसका उपयोग कुल, या रैखिक, आदेशों को परिभाषित करने के लिए किया जाता है। इस संदर्भ में, संपत्ति का अक्सर विशेष रूप से नाम नहीं दिया जाता है। बल्कि, कुल आदेशों को आंशिक आदेशों के रूप में परिभाषित किया गया है जिसमें कोई भी दो तत्व तुलनीय हैं।[4][5] इस प्रकार, total का उपयोग आम तौर पर उन संबंधों के लिए किया जाता है जो जुड़े हुए हैं या मजबूती से जुड़े हुए हैं।[6] हालाँकि, कुल संबंध की इस धारणा को क्रमिक संबंध होने की संपत्ति से अलग किया जाना चाहिए, जिसे कुल भी कहा जाता है। इसी तरह, कभी-कभी जुड़े हुए रिश्ते भी कहलाते हैं complete,[7] हालाँकि इससे भी भ्रम पैदा हो सकता है: सार्वभौमिक संबंध को पूर्ण भी कहा जाता है,[8] और [[पूर्णता (आदेश सिद्धांत)]] के क्रम सिद्धांत में कई अन्य अर्थ हैं। जुड़े हुए रिश्ते भी कहलाते हैं connex[9][10] या संतुष्ट करने के लिए कहा trichotomy[11] (हालांकि ट्राइकोटॉमी (गणित) की अधिक सामान्य परिभाषा उसमें अधिक मजबूत है exactly oneतीन विकल्पों में से अवश्य होल्ड करें)।
जब विचार किए गए संबंध आदेश नहीं हैं, तो जुड़ा होना और मजबूती से जुड़ा होना महत्वपूर्ण रूप से अलग-अलग गुण हैं। वे स्रोत जो दोनों को परिभाषित करते हैं, फिर शब्दों के जोड़े का उपयोग करते हैं जैसे weakly connected और connected,[12] complete और strongly complete,[13] total और complete,[6] semiconnex और connex,[14] या connex और strictly connex,[15] जैसा कि ऊपर परिभाषित किया गया है, क्रमशः जुड़े हुए और दृढ़ता से जुड़े हुए विचारों के लिए वैकल्पिक नाम के रूप में।
विशेषताएँ
होने देना एक सजातीय संबंध हो. निम्नलिखित समतुल्य हैं:[14]* मजबूती से जुड़ा हुआ है;
- ;
- ;
- असममित संबंध है,
कहाँ सार्वभौमिक संबंध है और का विपरीत संबंध है निम्नलिखित समतुल्य हैं:[14]* जुड़ा है;
- ;
- ;
- एंटीसिमेट्रिक संबंध है,
कहाँ बाइनरी संबंध#विशेष सजातीय संबंधों का पूरक (सेट सिद्धांत) है और का विपरीत संबंध है प्रगति का परिचय देते हुए, रसेल ने कनेक्शन के सिद्धांत का आह्वान किया:
Whenever a series is originally given by a transitive asymmetrical relation, we can express connection by the condition that any two terms of our series are to have the generating relation.
— Bertrand Russell, The Principles of Mathematics, page 239
गुण
- edge}जीई संबंध[note 1] एक टूर्नामेंट (ग्राफ़ सिद्धांत) ग्राफ़ का के सेट पर हमेशा एक जुड़ा हुआ रिश्ता होता है 's शीर्ष.
- यदि कोई मजबूती से जुड़ा हुआ संबंध सममित संबंध है, तो यह सार्वभौमिक संबंध है।
- कोई भी रिश्ता मजबूती से तभी जुड़ा होता है, जब वह जुड़ा हुआ और प्रतिवर्ती हो।[proof 1]
- सेट पर जुड़ा हुआ रिश्ता बशर्ते, प्रतिसंक्रमणीय नहीं हो सकता कम से कम 4 तत्व हैं।[16] 3-तत्व सेट पर उदाहरण के लिए, संबंध दोनों गुण हैं.
- अगर पर एक जुड़ा हुआ रिश्ता है फिर सभी, या एक को छोड़कर सभी, के तत्व छवि में हैं (गणित)#के द्विआधारी संबंधों का सामान्यीकरण [proof 2] इसी तरह, सभी, या एक को छोड़कर सभी, के तत्व के क्षेत्र में हैं
टिप्पणियाँ
- ↑ Defined formally by if a graph edge leads from vertex to vertex
- Proofs
संदर्भ
- ↑ Clapham, Christopher; Nicholson, James (2014-09-18). "connected". गणित का संक्षिप्त ऑक्सफोर्ड डिक्शनरी. Oxford University Press. ISBN 978-0-19-967959-1. Retrieved 2021-04-12.
- ↑ Nievergelt, Yves (2015-10-13). Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications. Springer. p. 182. ISBN 978-1-4939-3223-8.
- ↑ Causey, Robert L. (1994). तर्क, सेट और पुनरावर्तन. Jones & Bartlett Learning. ISBN 0-86720-463-X., p. 135
- ↑ Paul R. Halmos (1968). Naive Set Theory. Princeton: Nostrand. Here: Ch.14. Halmos gives the names of reflexivity, anti-symmetry, and transitivity, but not of connectedness.
- ↑ Patrick Cousot (1990). "Methods and Logics for Proving Programs". In Jan van Leeuwen (ed.). Formal Models and Semantics. Handbook of Theoretical Computer Science. Vol. B. Elsevier. pp. 841–993. ISBN 0-444-88074-7. Here: Sect.6.3, p.878
- ↑ 6.0 6.1 Aliprantis, Charalambos D.; Border, Kim C. (2007-05-02). Infinite Dimensional Analysis: A Hitchhiker's Guide. Springer. ISBN 978-3-540-32696-0., p. 6
- ↑ Makinson, David (2012-02-27). कंप्यूटिंग के लिए सेट, तर्क और गणित. Springer. ISBN 978-1-4471-2500-6., p. 50
- ↑ Whitehead, Alfred North; Russell, Bertrand (1910). गणितीय सिद्धांत (in English). Cambridge: Cambridge University Press.
{{cite book}}
: CS1 maint: date and year (link) - ↑ Wall, Robert E. (1974). गणितीय भाषाविज्ञान का परिचय. Prentice-Hall. page 114.
- ↑ Carl Pollard. "Relations and Functions" (PDF). Ohio State University. Retrieved 2018-05-28. Page 7.
- ↑ Kunen, Kenneth (2009). गणित की नींव. College Publications. ISBN 978-1-904987-14-7. p. 24
- ↑ Fishburn, Peter C. (2015-03-08). सामाजिक चयन का सिद्धांत. Princeton University Press. p. 72. ISBN 978-1-4008-6833-9.
- ↑ Roberts, Fred S. (2009-03-12). Measurement Theory: Volume 7: With Applications to Decisionmaking, Utility, and the Social Sciences. Cambridge University Press. ISBN 978-0-521-10243-8. page 29
- ↑ 14.0 14.1 14.2 Schmidt, Gunther; Ströhlein, Thomas (1993). Relations and Graphs: Discrete Mathematics for Computer Scientists. Berlin: Springer. ISBN 978-3-642-77970-1.
- ↑ Ganter, Bernhard; Wille, Rudolf (2012-12-06). Formal Concept Analysis: Mathematical Foundations. Springer Science & Business Media. ISBN 978-3-642-59830-2. p. 86
- ↑ Jochen Burghardt (Jun 2018). Simple Laws about Nonprominent Properties of Binary Relations (Technical Report). arXiv:1806.05036. Bibcode:2018arXiv180605036B. Lemma 8.2, p.8.