पूरक (समुच्चय सिद्धांत)

समुच्चय सिद्धांत में, समुच्चय का पूरक (गणित) $A$, अक्सर द्वारा निरूपित $A^{∁}$ (या $A′$), तत्व (गणित) का सेट नहीं है $A$. जब ब्रह्माण्ड में सभी समुच्चय (समुच्चय सिद्धांत), अर्थात विचाराधीन सभी समुच्चय, किसी दिए गए समुच्चय के तत्व (गणित) माने जाते हैं $A$, का पूर्ण पूरक $A$ में तत्वों का समुच्चय है $U$ जो अंदर नहीं हैं $A$.

के सापेक्ष पूरक $U$ एक सेट के संबंध में $A$, का सेट अंतर भी कहा जाता है $A$ तथा $B$, लिखा हुआ $$B \setminus A,$$ में तत्वों का समुच्चय है $B$ जो अंदर नहीं हैं $A$.

परिभाषा
यदि $B$ एक समुच्चय है, तो का पूर्ण पूरक है $A$ (या बस के पूरक $A$) तत्वों का सेट नहीं है $A$ (एक बड़े सेट के भीतर जो स्पष्ट रूप से परिभाषित है)। दूसरे शब्दों में, चलो $A$ एक ऐसा समुच्चय हो जिसमें अध्ययन के अंतर्गत सभी तत्व शामिल हों; अगर उल्लेख करने की आवश्यकता नहीं है $A$, या तो क्योंकि यह पहले निर्दिष्ट किया गया है, या यह स्पष्ट और अद्वितीय है, तो इसका पूर्ण पूरक $U$ का सापेक्ष पूरक है $U$ में $A$: $$A^\complement = U \setminus A.$$ या औपचारिक रूप से: $$A^\complement = \{ x \in U : x \notin A \}.$$ का पूर्ण पूरक $A$ आमतौर पर द्वारा निरूपित किया जाता है $A^{∁}.$ अन्य नोटेशन शामिल हैं $$\overline A, A',$$ $$\complement_U A, \text{ and } \complement A.$$

उदाहरण

 * मान लें कि ब्रह्मांड पूर्णांकों का समुच्चय है। यदि $U$ विषम संख्याओं का समुच्चय है, तो का पूरक है $A$ सम संख्याओं का समुच्चय है। यदि $A$ 3 के गुणक (गणित) का समुच्चय है, तो का पूरक है $A$ 1 या 2 मॉड्यूल 3 (या, सरल शब्दों में, पूर्णांक जो 3 के गुणक नहीं हैं) के लिए मॉड्यूलर अंकगणितीय संख्याओं का सेट है।
 * मान लें कि ब्रह्मांड मानक 52-कार्ड डेक है। यदि सेट $B$ हुकुम का सूट है, तो का पूरक है $B$ क्लब, हीरे और दिल के सूट का संघ (सेट सिद्धांत) है। यदि सेट $A$ क्लब और हीरे के सूट का मिलन है, फिर का पूरक $A$ दिल और हुकुम के सूट का मिलन है।

गुण
होने देना $B$ तथा $B$ एक ब्रह्मांड में दो सेट हो $A$. निम्नलिखित सर्वसमिका निरपेक्ष पूरक के महत्वपूर्ण गुण ग्रहण करती हैं:

डी मॉर्गन के कानून: * $$\left(A \cup B \right)^\complement = A^\complement \cap B^\complement.$$ पूरक कानून: * $$A \cup A^\complement = U.$$
 * $$\left(A \cap B \right)^\complement = A^\complement \cup B^\complement.$$
 * $$A \cap A^\complement = \varnothing .$$
 * $$\varnothing^\complement = U.$$
 * $$ U^\complement = \varnothing.$$
 * $$\text{If }A\subseteq B\text{, then }B^\complement \subseteq A^\complement.$$
 * (यह इसके गर्भनिरोधक के साथ एक सशर्त की समानता से अनुसरण करता है)।

इन्वोल्यूशन (गणित) या दोहरा पूरक कानून: सापेक्ष और पूर्ण पूरक के बीच संबंध: एक सेट अंतर के साथ संबंध: उपरोक्त पहले दो पूरक कानून बताते हैं कि यदि $A$ का एक गैर-खाली, उचित उपसमुच्चय है $U$, फिर ${A, A^{∁}}|undefined$ के समुच्चय का विभाजन है $U$.
 * $$\left(A^\complement\right)^\complement = A.$$
 * $$A \setminus B = A \cap B^\complement.$$
 * $$(A \setminus B)^\complement = A^\complement \cup B = A^\complement \cup (B \cap A).$$
 * $$ A^\complement \setminus B^\complement = B \setminus A. $$

परिभाषा
यदि $A$ तथा $B$ सेट हैं, फिर के सापेक्ष पूरक $A$ में $B$, का सेट अंतर भी कहा जाता है $B$ तथा $A$, में तत्वों का समुच्चय है $B$ लेकिन अंदर नहीं $A$. के सापेक्ष पूरक $A$ में $B$ निरूपित किया जाता है $$B \setminus A$$ आईएसओ 31-11 # सेट | आईएसओ 31-11 मानक के अनुसार। यह कभी-कभी लिखा जाता है $$B - A,$$ लेकिन यह अंकन अस्पष्ट है, जैसा कि कुछ संदर्भों में (उदाहरण के लिए, कार्यात्मक विश्लेषण में मिन्कोव्स्की जोड़) इसे सभी तत्वों के सेट के रूप में व्याख्या किया जा सकता है $$b - a,$$ कहाँ पे $A$ से लिया गया है $B$ तथा $b$ से $B$.

औपचारिक रूप से: $$B \setminus A = \{ x\in B : x \notin A \}.$$

उदाहरण

 * $$\{ 1, 2, 3\} \setminus \{ 2,3,4\} = \{ 1 \}.$$
 * $$\{ 2, 3, 4 \} \setminus \{ 1,2,3 \} = \{ 4 \} .$$
 * यदि $$\mathbb{R}$$ वास्तविक संख्याओं का समुच्चय है और $$\mathbb{Q}$$ तब परिमेय संख्याओं का समुच्चय है $$\mathbb{R}\setminus\mathbb{Q}$$ अपरिमेय संख्याओं का समुच्चय है।

गुण
होने देना $a$, $A$, तथा $A$ तीन सेट हो। निम्नलिखित पहचान (गणित) सापेक्ष पूरक के उल्लेखनीय गुण प्राप्त करते हैं:


 * $$C \setminus (A \cap B) = (C \setminus A) \cup (C \setminus B).$$
 * $$C \setminus (A \cup B) = (C \setminus A) \cap (C \setminus B).$$
 * $$C \setminus (B \setminus A) = (C \cap A) \cup (C \setminus B),$$
 * *: महत्वपूर्ण विशेष मामले के साथ $$C \setminus (C \setminus A) = (C \cap A)$$ यह दर्शाता है कि प्रतिच्छेदन को केवल सापेक्ष पूरक संक्रिया का उपयोग करके व्यक्त किया जा सकता है।
 * $$(B \setminus A) \cap C = (B \cap C) \setminus A = B \cap (C \setminus A).$$
 * $$(B \setminus A) \cup C = (B \cup C) \setminus (A \setminus C).$$
 * $$A \setminus A = \empty.$$
 * $$\empty \setminus A = \empty.$$
 * $$A \setminus \empty = A.$$
 * $$A \setminus U = \empty.$$
 * यदि $$A\subset B$$, फिर $$C\setminus A\supset C\setminus B$$.
 * $$A \supseteq B \setminus C$$ के बराबर है $$C \supseteq B \setminus A$$.

पूरक संबंध
एक द्विआधारी संबंध $$R$$ सेट के उत्पाद के सबसेट के रूप में परिभाषित किया गया है $$X \times Y.$$ पूरक संबंध $$\bar{R}$$ का समुच्चय पूरक है $$R$$ में $$X \times Y.$$ संबंध का पूरक $$R$$ लिखा जा सकता है $$\bar{R} \ = \ (X \times Y) \setminus R.$$ यहां, $$R$$ अक्सर तत्वों का प्रतिनिधित्व करने वाली पंक्तियों के साथ एक तार्किक मैट्रिक्स के रूप में देखा जाता है $$X,$$ और स्तंभों के तत्व $$Y.$$ का सच $$aRb$$ पंक्ति में 1 से मेल खाता है $$a,$$ कॉलम $$b.$$ के पूरक संबंध का निर्माण $$R$$ फिर पूरक के तार्किक मैट्रिक्स के लिए सभी 1s से 0s, और 0s से 1s स्विच करने के अनुरूप है।

संबंधों की संरचना और विलोम संबंधों के साथ, पूरक संबंध और समुच्चयों का बीजगणित संबंधों की कलन की प्राथमिक संक्रियाएं (गणित) हैं।

लाटेकस नोटेशन
LaTeX टाइपसेटिंग भाषा में, कमांड आमतौर पर एक सेट डिफरेंशियल सिंबल को रेंडर करने के लिए उपयोग किया जाता है, जो बैकस्लैश सिंबल के समान होता है। जब प्रदान किया गया, तो   आदेश समान दिखता है , सिवाय इसके कि इसमें स्लैश के आगे और पीछे थोड़ी अधिक जगह है, LaTeX अनुक्रम के समान. एक प्रकार  amssymb पैकेज में उपलब्ध है। प्रतीक $$\complement$$ (विरोध के रूप में $$C$$) द्वारा निर्मित है. (यह यूनिकोड प्रतीक ∁ से संबंधित है।)

प्रोग्रामिंग भाषाओं में
कुछ प्रोग्रामिंग भाषाओं में उनके अंतर्निहित डेटा संरचनाओं के बीच सेट (कंप्यूटर विज्ञान) होता है। ऐसी डेटा संरचना एक परिमित सेट के रूप में व्यवहार करती है, अर्थात इसमें डेटा की एक सीमित संख्या होती है जो विशेष रूप से आदेशित नहीं होती है, और इस प्रकार इसे एक सेट के तत्व के रूप में माना जा सकता है। कुछ मामलों में, तत्व आवश्यक रूप से अलग नहीं होते हैं, और डेटा संरचना सेट के बजाय multiset को कोड करती है। इन प्रोग्रामिंग भाषाओं में पूरक और सेट अंतर की गणना के लिए ऑपरेटर या फ़ंक्शन होते हैं।

इन ऑपरेटरों को आम तौर पर उन डेटा संरचनाओं पर भी लागू किया जा सकता है जो वास्तव में गणितीय सेट नहीं हैं, जैसे कि सूची (डेटा संरचना) या सरणी डेटा संरचना। यह इस प्रकार है कि कुछ प्रोग्रामिंग भाषाओं में एक फ़ंक्शन हो सकता है जिसे कहा जाता है, भले ही उनके पास सेट के लिए कोई डेटा संरचना न हो।

इस पेज में लापता आंतरिक लिंक की सूची

 * सेट (गणित)
 * समुच्चय सिद्धान्त
 * ब्रह्मांड (सेट सिद्धांत)
 * एकाधिक (गणित)
 * यिद
 * उचित सबसेट
 * एक सेट का विभाजन
 * सेट का उत्पाद
 * विपरीत संबंध
 * संबंधों की गणना
 * ऑपरेशन (गणित)
 * सेट का बीजगणित
 * संबंधों की रचना