असंयुक्त संघ

This article is about समुच्चय पर संचालन. For कंप्यूटर विज्ञान शब्द का अर्थ, see टैग यूनियन. For ग्राफ़ पर संचालन, see disjoint union of graphs.

Not to be confused with विच्छेदनात्मक यूनियन.

असंयुक्त यूनियन

Type	समुच्चय संचालन
Field	समुच्चय सिद्धांत
Statement	असंयुक्त यूनियन $A\sqcup B$ समुच्चय का A और B के तत्वों से निर्मित समुच्चय है A और B जिस समुच्चय से वे आते हैं उसके नाम के साथ लेबल (अनुक्रमित) किया जाता है। तो, दोनों से संबंधित एक तत्व A और B असंयुक्त संघ में दो अलग-अलग लेबलों के साथ दो बार प्रकट होता है.
Symbolic statement	$$\bigsqcup _{i\in I}A_{i}=\bigcup _{i\in I}\left\{(x,i):x\in A_{i}\right\}$$

गणित में समुच्चयों के एक समूह का एक असंयुक्त यूनियन (या विभेदित यूनियन) एक समुच्चय $A$ है जिसे अधिकांशतः ${\textstyle \bigsqcup _{i\in I}A_{i},}$ द्वारा दर्शाया जाता है $(A_{i}:i\in I)$ प्रत्येक $A_{i}$ के $A,$ में एक इंजेक्शन के साथ, जैसे कि इन इंजेक्शनों की छवियां $A$ का एक विभाजन (समुच्चय सिद्धांत) बनाती हैं इस प्रकार (अर्थात् $A$ का प्रत्येक तत्व इन छवियों में से पुर्णतः एक से संबंधित है)। इस प्रकार जोड़ीवार असंयुक्त समुच्चयों के समूह का असंयुक्त यूनियन ही उनका यूनियन है।

श्रेणी सिद्धांत में, असंयुक्त यूनियन समुच्चयों की श्रेणी का सहउत्पाद है, और इस प्रकार आक्षेप तक परिभाषित किया गया है। इस संदर्भ में, संकेतन ${\textstyle \coprod _{i\in I}A_{i}}$ अधिकांशतः प्रयोग किया जाता है.

दो समुच्चयों का असंयुक्त यूनियन $A$ और $B$ इन्फिक्स संकेतन $A\sqcup B$ के साथ लिखा गया है कुछ लेखक वैकल्पिक संकेतन का उपयोग करते हैं इस प्रकार $A\uplus B$ या $A\operatorname {{\cup }\!\!\!{\cdot }\,} B$ (संबंधित के साथ ${\textstyle \biguplus _{i\in I}A_{i}}$ या ${\textstyle \operatorname {{\bigcup }\!\!\!{\cdot }\,} _{i\in I}A_{i}}$) का उपयोग किया जाता है

असंबद्ध यूनियन के निर्माण का मानक विधि परिभाषित करना है क्रमित युग्म $A$ के समुच्चय के रूप में $(x,i)$ ऐसा है कि $x\in A_{i},$ और इंजेक्शन $A_{i}\to A$ है जैसा $x\mapsto (x,i).$ है

उदाहरण

समुच्चय $A_{0}=\{5,6,7\}$ और $A_{1}=\{5,6\}.$ पर विचार करें संबंधित समुच्चय ${\begin{aligned}A_{0}^{*}&=\{(5,0),(6,0),(7,0)\}\\A_{1}^{*}&=\{(5,1),(6,1)\},\\\end{aligned}}$ बनाकर समुच्चय तत्वों को समुच्चय मूल के अनुसार अनुक्रमित करना संभव है जहां प्रत्येक जोड़ी में दूसरा तत्व मूल समुच्चय की सबस्क्रिप्ट से मेल खाता है (उदाहरण के लिए,)। इस प्रकार $0$ में $(5,0)$ में सबस्क्रिप्ट से मेल खाता है जिससे $A_{0},$ असंयुक्त यूनियन $A_{0}\sqcup A_{1}$ फिर इसकी गणना इस प्रकार की जा सकती है:

$$A_{0}\sqcup A_{1}=A_{0}^{*}\cup A_{1}^{*}=\{(5,0),(6,0),(7,0),(5,1),(6,1)\}.$$

सिद्धांत की परिभाषा निर्धारित करें

औपचारिक रूप से, माना $\left\{A_{i}:i\in I\right\}$ द्वारा अनुक्रमित समुच्चयों $I.$ का समूह बनते है इस समूह का विघटित यूनियन ही समुच्चय है

$$\bigsqcup _{i\in I}A_{i}=\bigcup _{i\in I}\left\{(x,i):x\in A_{i}\right\}.$$

असंयुक्त यूनियन $(x,i).$ के तत्वों को क्रमित जोड़े कहा जाता है इस प्रकार यहाँ $i$ सहायक सूचकांक के रूप में कार्य करता है जो इंगित करता है कि कौन $A_{i}$ तत्व $x$ है।

प्रत्येक समुच्चय $A_{i}$ समुच्चय के लिए विहित रूप से समरूपी है

$$A_{i}^{*}=\left\{(x,i):x\in A_{i}\right\}.$$

इस समरूपता के माध्यम से, कोई इस $A_{i}$ पर विचार कर सकता है विहित यूनियन में विहित रूप से अंतर्निहित है। इस प्रकार $i\neq j,$के लिए समुच्चय $A_{i}^{*}$ और $A_{j}^{*}$ समुच्चय तथापि असंयुक्त हों $A_{i}$ और $A_{j}$ नहीं हैं।

चरम स्थिति में जहां प्रत्येक $A_{i}$ कुछ निश्चित समुच्चय के समान है प्रत्येक $A$ के लिए $i\in I,$ असंयुक्त यूनियन कार्तीय गुणनफल $A$ और $I$ है:

$$\bigsqcup _{i\in I}A_{i}=A\times I.$$

कभी-कभी, संकेतन

$$\sum _{i\in I}A_{i}$$

समुच्चयों के समूह के असंयुक्त यूनियन या संकेतन $A+B$ के लिए उपयोग किया जाता है दो समुच्चयों के असंयुक्त यूनियन के लिए. यह संकेतन इस तथ्य का सूचक है कि असंयुक्त यूनियन की प्रमुखता समूह में नियमो की प्रमुखताओं का योग है। इसकी तुलना समुच्चयों के समूह के कार्टेशियन उत्पाद के संकेतन से करते है।

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

कई उद्देश्यों के लिए, सहायक सूचकांक की विशेष पसंद महत्वहीन है, और अंकन के सरलीकृत दुरुपयोग में, अनुक्रमित समूह को केवल समुच्चयों के संग्रह के रूप में माना जा सकता है। इस स्थिति में $A_{i}^{*}$ a के रूप में जाना जाता है इस प्रकार कॉपी का $A_{i}$ और संकेतन ${\underset {A\in C}{\,\,\bigcup \nolimits ^{*}\!}}A$ कभी-कभी प्रयोग किया जाता है।

श्रेणी सिद्धांत दृष्टिकोण

श्रेणी सिद्धांत में असंयुक्त यूनियन को समुच्चय की श्रेणी में सहउत्पाद के रूप में परिभाषित किया गया है।

इस प्रकार, असंयुक्त यूनियन को समरूपता तक परिभाषित किया गया है, और उपरोक्त परिभाषा दूसरों के बीच सह-उत्पाद की सिर्फ प्राप्ति है। इस प्रकार जब समुच्चय जोड़ीदार रूप से असंयुक्त होते हैं, जिससे सामान्य यूनियन सह-उत्पाद का और अनुभव होता है। यह लीड में दूसरी परिभाषा को सही स्थिर करता है।

असंयुक्त संघ का यह स्पष्ट कथन बताता है कि सहउत्पाद को दर्शाने के लिए $\coprod$ के अतिरिक्त $\bigsqcup ,$ का अधिकांशतः उपयोग क्यों किया जाता है।

यह भी देखें

• सहउत्पाद – Category-theoretic construction
• प्रत्यक्ष सीमा – Special case of colimit in category theory
• असंयुक्त यूनियन (टोपोलॉजी)
• रेखांकन का असंयुक्त यूनियन
• प्रतिच्छेदन (समुच्चय सिद्धांत) – Set of elements common to all of some sets
• निर्धारित पहचान और संबंधों की सूची – Equalities for combinations of sets
• किसी समुच्चय का विभाजन
• जोड़ प्रकार
• सममित अंतर – Elements in exactly one of two sets
• टैग की गई यूनियन – Data structure used to hold a value that could take on several different, but fixed, types
• यूनियन (कंप्यूटर साइंस)

संदर्भ

• Lang, Serge (2004), Algebra, Graduate Texts in Mathematics, vol. 211 (Corrected fourth printing, revised third ed.), New York: Springer-Verlag, p. 60, ISBN 978-0-387-95385-4
• Weisstein, Eric W. "Disjoint Union". MathWorld.