असंयुक्त समुच्चय

गणित में, दो समुच्चय (गणित) को असंयुक्त समुच्चय कहा जाता है यदि उनमें कोई तत्व (गणित) उभयनिष्ठ न हो। समान रूप से, दो असम्बद्ध समुच्चय ऐसे समुच्चय होते हैं जिनका प्रतिच्छेदन (समुच्चय सिद्धांत) रिक्त समुच्चय होता है। उदाहरण के लिए, {1, 2, 3} और {4, 5, 6} असंयुक्त समुच्चय हैं, जबकि {1, 2, 3} और {3, 4, 5} असंयुक्त समुच्चय नहीं हैं। दो या दो से अधिक सेटों के संग्रह को डिसजॉइंट कहा जाता है यदि संग्रह के कोई भी दो अलग-अलग सेट डिसजॉइंट होते हैं।

सामान्यीकरण
असम्बद्ध समुच्चयों की इस परिभाषा को समुच्चयों के परिवार तक बढ़ाया जा सकता है $$\left(A_i\right)_{i \in I}$$: परिवार जोड़ियों में अलग है, या पारस्परिक रूप से अलग है यदि $$A_i \cap A_j = \varnothing$$ जब कभी भी $$i \neq j$$. वैकल्पिक रूप से, कुछ लेखक इस धारणा को भी संदर्भित करने के लिए असंयुक्त शब्द का उपयोग करते हैं।

परिवारों के लिए जोड़ीदार संबंध विच्छेद या परस्पर संबंध विच्छेद की धारणा को कभी-कभी सूक्ष्म रूप से अलग विधि से परिभाषित किया जाता है, जिसमें दोहराए गए समान सदस्यों की अनुमति होती है: परिवार जोड़ीदार रूप से अलग होता है यदि $$A_i \cap A_j = \varnothing$$ जब कभी भी $$A_i \neq A_j$$ (परिवार में प्रत्येक दो अलग-अलग सेट असंयुक्त हैं)। उदाहरण के लिए, सेट का संग्रह { {0, 1, 2}, {3, 4, 5}, {6, 7, 8}, ... } असंयुक्त है, जैसा कि सेट है {{nowrap|1={ {..., −2, 0, 2, 4, ...}, {..., −3, −1, 1, 3, 5} } }पूर्णांकों के दो समता वर्गों में से }; परिवार $$(\{n + 2k \mid k\in\mathbb{Z}\})_{n \in \{0, 1, \ldots, 9\}}$$ 10 सदस्यों के साथ असम्बद्ध नहीं है (क्योंकि सम और विषम संख्याओं की कक्षाएं प्रत्येक पांच बार उपस्थित होती हैं), किंतु यह इस परिभाषा के अनुसार जोड़ीदार रूप से अलग है (चूंकि एक को केवल दो सदस्यों का गैर-खाली प्रतिच्छेदन मिलता है जब दोनों एक ही वर्ग के होते हैं)।

दो समुच्चय लगभग असम्बद्ध समुच्चय कहलाते हैं यदि उनका प्रतिच्छेदन किसी अर्थ में छोटा है। उदाहरण के लिए, दो अनंत समुच्चय जिनका प्रतिच्छेदन परिमित समुच्चय है, लगभग असम्बद्ध कहा जा सकता है।

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

चौराहों
दो समुच्चयों, या समुच्चयों के परिवार की असहयोगता को उनके जोड़ियों के प्रतिच्छेदन (समुच्चय सिद्धांत) के संदर्भ में व्यक्त किया जा सकता है।

दो समुच्चय A और B असंयुक्त हैं यदि और केवल यदि उनका प्रतिच्छेदन $$A\cap B$$ खाली सेट है। इस परिभाषा से यह पता चलता है कि हर सेट खाली सेट से अलग है, और यह कि रिक्त समुच्चय ही एकमात्र ऐसा समुच्चय है जो स्वयं से अलग है।

यदि किसी संग्रह में कम से कम दो सेट होते हैं, तो संग्रह के अलग होने की स्थिति का अर्थ है कि पूरे संग्रह का प्रतिच्छेदन खाली है। चूँकि, सेट के संग्रह में बिना असंबद्ध हुए खाली चौराहा हो सकता है। इसके अतिरिक्त, जबकि दो सेट से कम का संग्रह तुच्छ रूप से अलग है, क्योंकि तुलना करने के लिए कोई जोड़े नहीं हैं, सेट के संग्रह का प्रतिच्छेदन उस सेट के बराबर है, जो गैर-खाली हो सकता है। उदाहरण के लिए, तीन सेट { {1, 2}, {2, 3}, {1, 3} } खाली चौराहा है किंतु अलग नहीं हैं। वास्तव में, इस संग्रह में दो असंयुक्त समुच्चय नहीं हैं। साथ ही समुच्चयों का खाली परिवार जोड़ीदार असंयुक्त है।

एक हेली परिवार सेट की प्रणाली है, जिसके अन्दर खाली चौराहों के साथ केवल उप-परिवार हैं जो जोड़ीदार असंबद्ध हैं। उदाहरण के लिए, वास्तविक संख्याओं के बंद अंतराल हेली परिवार बनाते हैं: यदि बंद अंतराल के परिवार में खाली चौराहा है और न्यूनतम है (अर्थात परिवार के किसी भी उपपरिवार के पास खाली चौराहा नहीं है), तो इसे जोड़ीदार असंबद्ध होना चाहिए।

संघों और विभाजनों को अलग करें
एक सेट एक्स का विभाजन पारस्परिक रूप से असंबद्ध गैर-खाली सेटों का संग्रह है जिसका संघ (सेट सिद्धांत) एक्स है। प्रत्येक विभाजन को समान रूप से तुल्यता संबंध द्वारा वर्णित किया जा सकता है, द्विआधारी संबंध जो वर्णन करता है कि विभाजन में दो तत्व एक ही सेट से संबंधित हैं या नहीं। असंयुक्त-सेट डेटा संरचनाएं और विभाजन शोधन सेट विषय के विभाजन को कुशलतापूर्वक बनाए रखने के लिए कंप्यूटर विज्ञान में दो विधियाँ हैं, क्रमशः संघ संचालन जो दो सेटों को मर्ज करते हैं या शोधन संचालन जो सेट को दो में विभाजित करते हैं।

एक अलग संघ का मतलब दो चीजों में से एक हो सकता है। सबसे सरल रूप से, इसका मतलब उन सेटों का मिलन हो सकता है जो असंबद्ध हैं। किंतु यदि दो या दो से अधिक सेट पहले से ही अलग नहीं हुए हैं, तो संशोधित सेटों के संघ बनाने से पहले उन्हें अलग करने के लिए सेटों को संशोधित करके उनके अलग संघ का गठन किया जा सकता है। उदाहरण के लिए, दो सेटों को अलग किया जा सकता है, प्रत्येक तत्व को तत्व की आदेशित जोड़ी द्वारा प्रतिस्थापित किया जा सकता है और बाइनरी मान यह दर्शाता है कि यह पहले या दूसरे सेट से संबंधित है या नहीं। दो से अधिक सेट के परिवारों के लिए, इसी तरह प्रत्येक तत्व को तत्व की आदेशित जोड़ी और उस सेट के सूचकांक द्वारा प्रतिस्थापित किया जा सकता है जिसमें यह सम्मिलित है।

यह भी देखें

 * असंयुक्त उत्तल सेट के लिए हाइपरप्लेन पृथक्करण प्रमेय
 * परस्पर अनन्य कार्यक्रम
 * अपेक्षाकृत अभाज्य, अभाज्य विभाजक के असंयुक्त सेट वाली संख्याएँ
 * सेपरॉयड
 * पैकिंग सेट करें, सेट के परिवार के सबसे बड़े असंबद्ध उपपरिवार को खोजने की समस्या