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

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

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

औपचारिक परिभाषा
एक संबंध समुच्चय पर $$R$$ को $$X$$ को संयोजित तब किया जाता है जब सभी के लिए $$x, y \in X,$$ $$\text{ if } x \neq y \text{ then } x \mathrel{R} y \quad \text{or} \quad y \mathrel{R} x,$$ या, समकक्ष, जब सभी के लिए $$x, y \in X,$$ $$x \mathrel{R} y \quad \text{or} \quad y \mathrel{R} x \quad \text{or} \quad x = y.$$ गुण से संबंधित सबके लिए $$x, y \in X,$$ $$x \mathrel{R} y \quad \text{or} \quad y \mathrel{R} x$$ कहा जाता है।

शब्दावली
जुड़े हुए संबंध की धारणा का मुख्य उपयोग आदेशों के संदर्भ में है, जहां इसका उपयोग कुल, या रैखिक, आदेशों को परिभाषित करने के लिए किया जाता है। इस संदर्भ में, गुण को अधिकांशतः विशेष रूप से नाम नहीं दिया जाता है। जबकि, कुल आदेशों को आंशिक आदेशों के रूप में परिभाषित किया गया है जिसमें कोई भी दो तत्व तुलनीय होता हैं। इस प्रकार,  का उपयोग सामान्यतः उन संबंधों के लिए किया जाता है जो जुड़े हुए हैं या दृढ़ता से संयोजित होते हैं। चूँकि, "कुल संबंध" की इस धारणा को क्रमिक होने की संपत्ति से अलग किया जाना चाहिए, जिसे कुल भी कहा जाता है। इसी तरह, जुड़े हुए संबंधों को कभी-कभी पूर्ण कहा जाता है, चूँकि, इससे भी उत्पन्न हो सकता है: सार्वभौमिक संबंध को पूर्ण भी कहा जाता है, और क्रम सिद्धांत में "पूर्ण" के कई अन्य अर्थ हैं। संयोजित संबंधों को   भी कहा जाता है  या संतुष्ट करने के लिए कहा  (चूँकि ट्राइकोटॉमी ट्राइकोटॉमी की अधिक सामान्य परिभाषा  में से एक में अधिक मजबूत होता है  $$x \mathrel{R} y, y \mathrel{R} x, x = y$$ अवश्य धारण करना चाहिए)।

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

विशेषताएँ
होने देना $$R$$ एक सजातीय संबंध हो. निम्नलिखित समतुल्य हैं: * $$R$$ मजबूती से संयोजित होते है; जहाँ $$U$$ सार्वभौमिक संबंध है और $$R^\top$$ का विपरीत संबंध है $$R.$$
 * $$U \subseteq R \cup R^\top$$;
 * $$\overline{R} \subseteq R^\top$$;
 * $$\overline{R}$$ असममित संबंध होते है,

निम्नलिखित समतुल्य हैं: * $$R$$ जुड़ा है; कहाँ $$\overline{I}$$ बाइनरी संबंध विशेष सजातीय संबंधों का पूरक (समुच्चय सिद्धांत) है $$I$$ और $$R^\top$$ का विपरीत संबंध है $$R.$$
 * $$\overline{I} \subseteq R \cup R^\top$$;
 * $$\overline{R} \subseteq R^\top \cup I$$;
 * $$\overline{R}$$ एंटीसिमेट्रिक संबंध है,

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

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

गुण

 * {{em|किनारों } का }} संबंध $$E$$ टूर्नामेंट ग्राफ़ का $$G$$ के समुच्चय पर सदैव युग्मित हुआ होता है $$G$$'s शीर्ष।
 * यदि दृढ़ता से संयोजित सममित संबंध है, तो यह सार्वभौमिक संबंध है।
 * कोई भी संबंध मजबूती से तभी जुड़ा होता है, जब वह संयोजित और प्रतिवर्ती होता है।
 * समुच्चय पर युग्मित संबंध होता है, $$X$$ को, प्रतिसंक्रमणीय नहीं हो सकता $$X$$ मे कम से कम 4 तत्व होते हैं। 3-तत्व समुच्चय पर $$\{ a, b, c \},$$ उदाहरण के लिए, संबंध $$\{ (a, b), (b, c), (c, a) \}$$ दोनों गुण होते हैं।
 * यदि $$R$$ पर एक संयोजित संबंध है $$X,$$ फिर सभी, या एक को छोड़कर सभी, तत्व $$X$$ रेंज के द्विआधारी संबंधों का सामान्यीकरण $$R.$$ इसी तरह, ससभी, या एक को छोड़कर सभी, $$R$$ के तत्व $$X$$ के क्षेत्र में होते है।

टिप्पणियाँ

 * Proofs