संयोजित संबंध

From Vigyanwiki
Revision as of 08:34, 16 July 2023 by Manidh (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

गणित में, सेट पर किसी समुच्चय संबंध को संयोजित या पूर्ण कहा जाता है यदि यह समुच्चय के अलग-अलग जोड़े को एक या दूसरे दिशा में जोड़ता है (या "तुलना करता है"), जबकि यदि यह तत्वों के सभी युग्मों को जोड़ता है तो इसे दृढ़ता से संयोजित किया जाता है। जैसा कि नीचे शब्दावली में वर्णित है, इन गुणों के लिए शब्दावली एक समान नहीं होती है। "कुल" की इस धारणा को सभी के लिए कुल गुणांक के साथ अस्पष्ट नहीं किया जाना चाहिए में एक है जिससे ( क्रमशः देखें)।

कुल ऑर्डर की परिभाषा में संयोजकता प्रमुखता से दिखाई देती है: कुल (या रैखिक) क्रम एक आंशिक क्रम है जिसमें कोई भी दो तत्व तुलनीय होते हैं; अर्थात् क्रम गुणांक संयोजित होता है। इसी प्रकार, पूर्णतः आंशिक आदेश जो की वह पूर्णतः कुल आदेश होता है। एक संबंध कुल आदेश है यदि यह आंशिक आदेश और दृढ़ता से संयोजित होता है। एक गुणांक पूर्णतः कुल आदेश है तो और अभी संयोजित होता है। एक पूर्णतः योग क्रम को कभी भी मजबूती से नहीं जोड़ा जा सकता (खाली डोमेन को छोड़कर) है।

औपचारिक परिभाषा

एक संबंध समुच्चय पर को को संयोजित तब किया जाता है जब सभी के लिए

या, समकक्ष, जब सभी के लिए
गुण से संबंधित सबके लिए
दृढ़ता से संयोजित संबंध कहा जाता है। [1][2][3]

शब्दावली

जुड़े हुए संबंध की धारणा का मुख्य उपयोग आदेशों के संदर्भ में है, जहां इसका उपयोग कुल, या रैखिक, आदेशों को परिभाषित करने के लिए किया जाता है। इस संदर्भ में, गुण को अधिकांशतः विशेष रूप से नाम नहीं दिया जाता है। जबकि, कुल आदेशों को आंशिक आदेशों के रूप में परिभाषित किया गया है जिसमें कोई भी दो तत्व तुलनीय होता हैं।[4][5] इस प्रकार, योग का उपयोग सामान्यतः उन संबंधों के लिए किया जाता है जो जुड़े हुए हैं या दृढ़ता से संयोजित होते हैं।[6] चूँकि, "कुल संबंध" की इस धारणा को क्रमिक होने की संपत्ति से अलग किया जाना चाहिए, जिसे कुल भी कहा जाता है। इसी तरह, जुड़े हुए संबंधों को कभी-कभी पूर्ण कहा जाता है,[7] चूँकि, इससे भी उत्पन्न हो सकता है: सार्वभौमिक संबंध को पूर्ण भी कहा जाता है,[8] और क्रम सिद्धांत में "पूर्ण" के कई अन्य अर्थ हैं। संयोजित संबंधों को कॉननेक्स भी कहा जाता है[9][10] या संतुष्ट करने के लिए कहा त्रिभाजन[11] (चूँकि ट्राइकोटॉमी ट्राइकोटॉमी की अधिक सामान्य परिभाषा तीन विकल्पों में से एक में अधिक मजबूत होता है अवश्य धारण करना चाहिए)।

जब विचार किए गए संबंध आदेश नहीं हैं, तो संयोजित और मजबूती से जुड़ा होना महत्वपूर्ण रूप से अलग-अलग गुण होते हैं। वे स्रोत जो दोनों को परिभाषित करते हैं, फिर शब्दों के जोड़े का उपयोग करते हैं जैसे कमजोर रूप से जुड़ा हुआ और संयोजित ,[12] पूर्ण और दृढ़ता से पूर्ण,[13] योग और पूर्ण ,[6] सेमीकोनेक्स संबंध और connex,[14] या कॉननेक्स संबंध और पूर्णता से संबंध ,[15] जैसा कि ऊपर परिभाषित किया गया है, क्रमशः जुड़े हुए और दृढ़ता से जुड़े हुए विचारों के लिए वैकल्पिक नाम के रूप में।

विशेषताएँ

होने देना एक सजातीय संबंध हो. निम्नलिखित समतुल्य हैं:[14]* मजबूती से संयोजित होते है;

  • ;
  • ;
  • असममित संबंध होते है,

जहाँ सार्वभौमिक संबंध है और का विपरीत संबंध है

निम्नलिखित समतुल्य हैं:[14]* जुड़ा है;

कहाँ बाइनरी संबंध विशेष सजातीय संबंधों का पूरक (समुच्चय सिद्धांत) होता है और का विपरीत संबंध होता है

प्रगति का परिचय देते हुए, रसेल ने संयोजित सिद्धांत का आह्वान किया:

जब भी कोई श्रृंखला मूल रूप से एक सकर्मक असममित संबंध द्वारा दी जाती है, तो हम इस शर्त से संबंध व्यक्त कर सकते हैं कि हमारी श्रृंखला के किन्हीं दो पदों में उत्पन्न संबंध होना चाहिए।

गुण

  • किनारों } का संबंध[note 1] टूर्नामेंट ग्राफ़ का के समुच्चय पर सदैव युग्मित हुआ होता है 's शीर्ष।
  • यदि दृढ़ता से संयोजित सममित संबंध है, तो यह सार्वभौमिक संबंध होता है।
  • कोई भी संबंध मजबूती से तभी जुड़ा होता है, जब वह संयोजित और प्रतिवर्ती होता है।[proof 1]
  • समुच्चय पर युग्मित संबंध होता है, को , प्रतिसंक्रमणीय नहीं हो सकता मे कम से कम 4 तत्व होते हैं।[16] 3-तत्व समुच्चय पर उदाहरण के लिए, संबंध दोनों गुण होते हैं।
  • यदि पर एक संयोजित संबंध है फिर सभी, या एक को छोड़कर सभी, तत्व रेंज के द्विआधारी संबंधों का सामान्यीकरण [proof 2] इसी तरह, ससभी, या एक को छोड़कर सभी, के तत्व के क्षेत्र में होते है।

टिप्पणियाँ

  1. Defined formally by if a graph edge leads from vertex to vertex
Proofs
  1. For the only if direction, both properties follow trivially. — For the if direction: when then follows from connectedness; when follows from reflexivity.
  2. If then and are impossible, so follows from connectedness.

संदर्भ

  1. Clapham, Christopher; Nicholson, James (2014-09-18). "connected". गणित का संक्षिप्त ऑक्सफोर्ड डिक्शनरी. Oxford University Press. ISBN 978-0-19-967959-1. Retrieved 2021-04-12.
  2. Nievergelt, Yves (2015-10-13). Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications. Springer. p. 182. ISBN 978-1-4939-3223-8.
  3. Causey, Robert L. (1994). तर्क, सेट और पुनरावर्तन. Jones & Bartlett Learning. ISBN 0-86720-463-X., p. 135
  4. 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.
  5. 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. 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
  7. Makinson, David (2012-02-27). कंप्यूटिंग के लिए सेट, तर्क और गणित. Springer. ISBN 978-1-4471-2500-6., p. 50
  8. Whitehead, Alfred North; Russell, Bertrand (1910). गणितीय सिद्धांत (in English). Cambridge: Cambridge University Press.{{cite book}}: CS1 maint: date and year (link)
  9. Wall, Robert E. (1974). गणितीय भाषाविज्ञान का परिचय. Prentice-Hall. page 114.
  10. Carl Pollard. "Relations and Functions" (PDF). Ohio State University. Retrieved 2018-05-28. Page 7.
  11. Kunen, Kenneth (2009). गणित की नींव. College Publications. ISBN 978-1-904987-14-7. p. 24
  12. Fishburn, Peter C. (2015-03-08). सामाजिक चयन का सिद्धांत. Princeton University Press. p. 72. ISBN 978-1-4008-6833-9.
  13. 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. 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.
  15. Ganter, Bernhard; Wille, Rudolf (2012-12-06). Formal Concept Analysis: Mathematical Foundations. Springer Science & Business Media. ISBN 978-3-642-59830-2. p. 86
  16. Jochen Burghardt (Jun 2018). Simple Laws about Nonprominent Properties of Binary Relations (Technical Report). arXiv:1806.05036. Bibcode:2018arXiv180605036B. Lemma 8.2, p.8.