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

From Vigyanwiki
No edit summary
No edit summary
 
(14 intermediate revisions by 5 users not shown)
Line 9: Line 9:
| width2 = 250
| width2 = 250
| alt2 = An unfilled circle inside a square. The area inside the square not covered by the circle is filled with red. The borders of both the circle and the square are black.
| alt2 = An unfilled circle inside a square. The area inside the square not covered by the circle is filled with red. The borders of both the circle and the square are black.
| caption2 = …तो{{mvar|A}} का पूरक बाकी सब कुछ है।
| caption2 = …तो{{mvar|A}} का पूरक शेष सब कुछ है।
}}
}}


समुच्चय सिद्धांत में, समुच्चय A का पूरक, जिसे प्रायः {{math|''A''<sup>∁</sup>}} (या {{math|''A''′}}) द्वारा निरूपित किया जाता है,<ref>{{Cite web|title=पूरक और सेट अंतर|url=http://web.mnstate.edu/peil/MDEV102/U1/S6/Complement3.htm|access-date=2020-09-04|website=web.mnstate.edu}}</ref> [[तत्व (गणित)]] का सेट {{mvar|A}} नहीं है .<ref name=":1">{{Cite web|title=पूरक (सेट) परिभाषा (सचित्र गणित शब्दकोश)|url=https://www.mathsisfun.com/definitions/complement-set-.html|access-date=2020-09-04|website=www.mathsisfun.com}}</ref> जब ब्रह्माण्ड में सभी समुच्चय (समुच्चय सिद्धांत), अर्थात विचाराधीन सभी समुच्चय, किसी दिए गए समुच्चय {{mvar|U}} के तत्व (गणित) माने जाते हैं , {{mvar|A}} का पूर्ण पूरक {{mvar|U}} में  तत्वों का समुच्चय है जो  {{mvar|A}} के अंदर नहीं हैं.
समुच्चय सिद्धांत में, समुच्चय A का '''पूरक''', जिसे प्रायः {{math|''A''<sup>∁</sup>}} (या {{math|''A''′}}) द्वारा निरूपित किया जाता है,<ref>{{Cite web|title=पूरक और सेट अंतर|url=http://web.mnstate.edu/peil/MDEV102/U1/S6/Complement3.htm|access-date=2020-09-04|website=web.mnstate.edu}}</ref> [[तत्व (गणित)|तत्व]] का समुच्चय {{mvar|A}} नहीं है<ref name=":1">{{Cite web|title=पूरक (सेट) परिभाषा (सचित्र गणित शब्दकोश)|url=https://www.mathsisfun.com/definitions/complement-set-.html|access-date=2020-09-04|website=www.mathsisfun.com}}</ref>  


एक सेट {{mvar|B}} के संबंध में , {{mvar|A}} के सापेक्ष पूरक है, जिसे {{mvar|B}} और {{mvar|A}} के सेट का अंतर भी कहा जाता है <math>B \setminus A,</math> {{mvar|B}} में तत्वों का समुच्चय है जो {{mvar|A}} के अंदर नहीं हैं .
जब ब्रह्माण्ड में सभी समुच्चय, अर्थात विचाराधीन सभी समुच्चय, किसी दिए गए समुच्चय {{mvar|U}} के तत्व माने जाते हैं, {{mvar|A}} का पूर्ण पूरक {{mvar|U}} में तत्वों का समुच्चय है जो {{mvar|A}} में नहीं हैं।
 
समुच्चय {{mvar|B}} के संबंध में {{mvar|A}} के सापेक्ष पूरक को लिखित रूप में {{mvar|B}} और {{mvar|A}} के समुच्चय का अंतर भी कहा जाता है <math>B \setminus A,</math> {{mvar|B}} में उन तत्वों का समुच्चय है जो {{mvar|A}} में नहीं हैं।


== पूर्ण पूरक ==
== पूर्ण पूरक ==
<!-- This section is linked from [[Bayes' theorem]] and [[absolute set complement]] -->
[[File:Venn10.svg|250px|thumb|सफेद डिस्क का पूर्ण पूरक लाल क्षेत्र है]]
[[File:Venn10.svg|250px|thumb|सफेद डिस्क का पूर्ण पूरक लाल क्षेत्र है]]


=== परिभाषा ===
=== परिभाषा ===
यदि {{mvar|A}} एक समुच्चय है, तो {{mvar|A}} का पूर्ण पूरक (या बस के पूरक {{mvar|A}}) तत्वों का सेट है, जो {{mvar|A}} में नहीं है (एक बड़े सेट के भीतर जो स्पष्ट रूप से परिभाषित है)। दूसरे शब्दों में,{{mvar|U}} को एक ऐसा समुच्चय होने दें जिसमें अध्ययन के अंतर्गत सभी तत्व शामिल हों; यदि {{mvar|U}} का उल्लेख करने की आवश्यकता नहीं है , या तो क्योंकि यह पहले निर्दिष्ट किया गया है, या यह स्पष्ट और अद्वितीय है, तो {{mvar|A}} का पूर्ण पूरक {{mvar|U}} में {{mvar|A}} का सापेक्ष पूरक है :<ref>The set in which the complement is considered is thus implicitly mentioned in an absolute complement, and explicitly mentioned in a relative complement.</ref>
यदि {{mvar|A}} समुच्चय है, तो {{mvar|A}} का पूर्ण पूरक तत्वों का समुच्चय है, जो {{mvar|A}} में नहीं है ( बड़े समुच्चय के अंदर जो स्पष्ट रूप से परिभाषित है)। दूसरे शब्दों में,{{mvar|U}} को ऐसा समुच्चय होने दें जिसमें अध्ययन के अंतर्गत सभी तत्व सम्मलित हों; यदि {{mvar|U}} का उल्लेख करने की कोई आवश्यकता नहीं है, या तो क्योंकि यह पूर्व निर्दिष्ट किया गया है, या यह स्पष्ट और अद्वितीय है, तो {{mvar|A}} का पूर्ण पूरक {{mvar|U}} में {{mvar|A}} का सापेक्ष पूरक है:<ref>The set in which the complement is considered is thus implicitly mentioned in an absolute complement, and explicitly mentioned in a relative complement.</ref>
<math display=block>A^\complement = U \setminus A.</math>
<math display=block>A^\complement = U \setminus A.</math>
औपचारिक रूप से:
औपचारिक रूप से:
<math display=block>A^\complement = \{ x \in U : x \notin A \}.</math>
<math display=block>A^\complement = \{ x \in U : x \notin A \}.</math>
{{mvar|A}} का पूर्ण पूरक सामान्यतः {{math|''A''<sup>∁</sup>.}}द्वारा निरूपित किया जाता है अन्य नोटेशन में सम्मिलित हैं <math>\overline A, A',</math><ref name=":1" /> <math>\complement_U A, \text{ और } \complement A.</math><ref name="Bou">{{harvnb|Bourbaki|1970|p=E II.6}}.</ref>
{{mvar|A}} का पूर्ण पूरक सामान्यतः {{math|''A''<sup>∁</sup>}} द्वारा निरूपित किया जाता है अन्य अंकन में  <math>\overline A, A',</math><ref name=":1" /> <math>\complement_U A, \text{ और } \complement A</math><ref name="Bou">{{harvnb|Bourbaki|1970|p=E II.6}}.</ref> सम्मिलित हैं।
 
 
=== उदाहरण ===
=== उदाहरण ===
* मान लें कि ब्रह्मांड [[पूर्णांक|पूर्णांकों]] का समुच्चय है। यदि {{mvar|A}} विषम संख्याओं का समुच्चय है, तो {{mvar|A}} का पूरक सम संख्याओं का समुच्चय है। यदि {{mvar|B}} 3 के गुणक (गणित) का समुच्चय है, तो {{mvar|B}} का पूरक 1 या 2 मॉड्यूल 3 (या, सरल शब्दों में, पूर्णांक जो 3 के गुणक नहीं हैं) के लिए [[मॉड्यूलर अंकगणित|मॉड्यूलर अंकगणितीय]] संख्याओं का सेट है।
* मान लें कि ब्रह्मांड [[पूर्णांक|पूर्णांकों]] का समुच्चय है। यदि {{mvar|A}} विषम संख्याओं का समुच्चय है, तो {{mvar|A}} का पूरक सम संख्याओं का समुच्चय है। यदि {{mvar|B}} 3 गुणक का समुच्चय है, तो {{mvar|B}} का पूरक 1 या 2 मॉड्यूल 3 में, पूर्णांक जो 3 के गुणक नहीं हैं) के लिए [[मॉड्यूलर अंकगणित|मॉड्यूलर अंकगणितीय]] संख्याओं का समुच्चय है।
* मान लें कि ब्रह्मांड [[मानक 52-कार्ड डेक]] है। यदि सेट {{mvar|A}} हुकुम का सूट है, तो का पूरक है {{mvar|A}} क्लब, हीरे और दिल के सूट का [[संघ (सेट सिद्धांत)]] है। यदि सेट {{mvar|B}} क्लब और हीरे के सूट का मिलन है, फिर का पूरक {{mvar|B}} दिल और हुकुम के सूट का मिलन है।
* मान लें कि ब्रह्मांड [[मानक 52-कार्ड डेक]] है। यदि समुच्चय {{mvar|A}} हुकुम का सूट है, तो {{mvar|A}} का पूरक क्लब, हीरे और दिल के सूट का [[संघ (सेट सिद्धांत)|संघ]] है। यदि समुच्चय {{mvar|B}} क्लब और हीरे के सूट का मिलन है, फिर {{mvar|B}} का पूरक दिल और हुकुम के सूट का मिलन है।


=== गुण ===
=== गुण ===
होने देना {{mvar|A}} तथा {{mvar|B}} एक ब्रह्मांड में दो सेट हो {{mvar|U}}. निम्नलिखित सर्वसमिका निरपेक्ष पूरक के महत्वपूर्ण गुण ग्रहण करती हैं:
मान लीजिए {{mvar|A}} तथा {{mvar|B}} ब्रह्मांड {{mvar|U}} में दो समुच्चय हैं। निम्नलिखित सर्वसमिका निरपेक्ष पूरक के महत्वपूर्ण गुण ग्रहण करती हैं:


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


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


== सापेक्ष पूरक ==
== सापेक्ष पूरक ==
<!-- Many links redirect to this section: [[difference (set theory)]], [[difference of two sets]], [[relative complement]], [[set-theoretic difference]], [[set difference]], [[set minus]], [[set subtraction]], [[set theoretic difference]], [[setminus]] -->
=== परिभाषा ===
=== परिभाषा ===
यदि {{math|''A''}} तथा {{math|''B''}} सेट हैं, फिर के सापेक्ष पूरक {{math|''A''}} में {{math|''B''}},<ref name="Halmos-1960">{{harvnb|Halmos|1960|p=17}}.</ref> का सेट अंतर भी कहा जाता है {{math|''B''}} तथा {{math|''A''}},<ref>{{harvnb|Devlin|1979|p=6}}.</ref> में तत्वों का समुच्चय है {{math|''B''}} लेकिन अंदर नहीं {{math|''A''}}.
यदि {{math|''A''}} तथा {{math|''B''}} समुच्चय हैं, तब {{math|''B''}} में {{math|''A''}} के सापेक्ष पूरक <ref name="Halmos-1960">{{harvnb|Halmos|1960|p=17}}.</ref> को {{math|''B''}} और {{math|''A''}} के समुच्चय अंतर भी कहा जाता है l <ref>{{harvnb|Devlin|1979|p=6}}.</ref> {{math|''B''}} में तत्वों का समुच्चय है किन्तु {{math|''A''}} में नहीं है।
[[File:Relative compliment.svg|thumb|230x230px|के सापेक्ष पूरक {{math|''A''}} में {{math|''B''}}: <math>B \cap A^\complement = B \setminus A</math>]]के सापेक्ष पूरक {{math|''A''}} में {{math|''B''}} निरूपित किया जाता है <math>B \setminus A</math> आईएसओ 31-11 # सेट | आईएसओ 31-11 मानक के अनुसार। यह कभी-कभी लिखा जाता है <math>B - A,</math> लेकिन यह अंकन अस्पष्ट है, जैसा कि कुछ संदर्भों में (उदाहरण के लिए, [[कार्यात्मक विश्लेषण]] में [[मिन्कोव्स्की जोड़]]) इसे सभी तत्वों के सेट के रूप में व्याख्या किया जा सकता है <math>b - a,</math> कहाँ पे {{math|''b''}} से लिया गया है {{math|''B''}} तथा {{math|''a''}} से {{math|''A''}}.
[[File:Relative compliment.svg|thumb|230x230px|{{math|''B''}} में {{math|''A''}} के सापेक्ष पूरक : <math>B \cap A^\complement = B \setminus A</math>]]{{math|''B''}} में {{math|''A''}} के सापेक्ष आईएसओ 31-11  मानक के अनुसार <math>B \setminus A</math> निरूपित किया जाता है । यह कभी-कभी <math>B - A,</math> लिखा जाता है किन्तु यह अंकन अस्पष्ट है, जैसा कि कुछ संदर्भों में (उदाहरण के लिए, [[कार्यात्मक विश्लेषण]] में [[मिन्कोव्स्की जोड़]])इसे सभी तत्वों के सेट के रूप में अध्ययन किया जा सकता है <math>b - a,</math> जहाँ {{math|''b''}} को {{math|''B''}} और {{math|''a''}} को {{math|''A''}} से लिया गया है.


औपचारिक रूप से:
औपचारिक रूप से:
<math display=block>B \setminus A = \{ x\in B : x \notin A \}.</math>
<math display=block>B \setminus A = \{ x\in B : x \notin A \}.</math>
=== उदाहरण ===
=== उदाहरण ===
* <math>\{ 1, 2, 3\} \setminus \{ 2,3,4\} = \{ 1 \}.</math>
* <math>\{ 1, 2, 3\} \setminus \{ 2,3,4\} = \{ 1 \}.</math>
* <math>\{ 2, 3, 4 \} \setminus \{ 1,2,3 \} = \{ 4 \} .</math>
* <math>\{ 2, 3, 4 \} \setminus \{ 1,2,3 \} = \{ 4 \} .</math>
* यदि <math>\mathbb{R}</math> [[वास्तविक संख्या]]ओं का समुच्चय है और <math>\mathbb{Q}</math> तब [[परिमेय संख्या]]ओं का समुच्चय है <math>\mathbb{R}\setminus\mathbb{Q}</math> [[अपरिमेय संख्या]]ओं का समुच्चय है।
* यदि <math>\mathbb{R}</math> [[वास्तविक संख्या]]ओं का समुच्चय है और <math>\mathbb{Q}</math> [[परिमेय संख्या|परिमेय संख्याओं]] का समुच्चय है तो <math>\mathbb{R}\setminus\mathbb{Q}</math> [[अपरिमेय संख्या|अपरिमेय संख्याओं]] का समुच्चय है।


=== गुण ===
=== गुण ===
{{See also|List of set identities and relations|Algebra of sets}}
{{See also|सेट पहचान और संबंधों की सूची| और समुच्चयों का बीजगणित}}
होने देना {{math|''A''}}, {{math|''B''}}, तथा {{math|''C''}} तीन सेट हो। निम्नलिखित [[पहचान (गणित)]] सापेक्ष पूरक के उल्लेखनीय गुण प्राप्त करते हैं:
 
माना {{math|''A''}}, {{math|''B''}}, तथा {{math|''C''}} तीन समुच्चय हैं। निम्नलिखित [[पहचान (गणित)]] सापेक्ष पूरक के उल्लेखनीय गुण प्राप्त करते हैं:


:* <math>C \setminus (A \cap B) = (C \setminus A) \cup (C \setminus B).</math>
:* <math>C \setminus (A \cap B) = (C \setminus A) \cup (C \setminus B).</math>
:* <math>C \setminus (A \cup B) = (C \setminus A) \cap (C \setminus B).</math>
:* <math>C \setminus (A \cup B) = (C \setminus A) \cap (C \setminus B).</math>
:* <math>C \setminus (B \setminus A) = (C \cap A) \cup (C \setminus B),</math>
:* <math>C \setminus (B \setminus A) = (C \cap A) \cup (C \setminus B),</math>
: *: महत्वपूर्ण विशेष मामले के साथ <math>C \setminus (C \setminus A) = (C \cap A)</math> यह दर्शाता है कि प्रतिच्छेदन को केवल सापेक्ष पूरक संक्रिया का उपयोग करके व्यक्त किया जा सकता है।
: *: महत्वपूर्ण विशेष स्थिति के साथ <math>C \setminus (C \setminus A) = (C \cap A)</math> यह दर्शाता है कि प्रतिच्छेदन को केवल सापेक्ष पूरक संक्रिया का उपयोग करके व्यक्त किया जा सकता है।
:* <math>(B \setminus A) \cap C = (B \cap C) \setminus A = B \cap (C \setminus A).</math>
:* <math>(B \setminus A) \cap C = (B \cap C) \setminus A = B \cap (C \setminus A).</math>
:* <math>(B \setminus A) \cup C = (B \cup C) \setminus (A \setminus C).</math>
:* <math>(B \setminus A) \cup C = (B \cup C) \setminus (A \setminus C).</math>
Line 88: Line 83:


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


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


== [[लाटेकस]] नोटेशन ==
== [[लाटेकस|लाटीएक्स]] संकेतन ==
LaTeX टाइपसेटिंग भाषा में, कमांड <code>\setminus</code><ref name="The Comprehensive LaTeX Symbol List">[http://ctan.unsw.edu.au/info/symbols/comprehensive/symbols-a4.pdf] The Comprehensive LaTeX Symbol List</ref> आमतौर पर एक सेट डिफरेंशियल सिंबल को रेंडर करने के लिए उपयोग किया जाता है, जो [[बैकस्लैश]] सिंबल के समान होता है। जब प्रदान किया गया, तो <code>\setminus</code> आदेश समान दिखता है <code>\backslash</code>, सिवाय इसके कि इसमें स्लैश के आगे और पीछे थोड़ी अधिक जगह है, LaTeX अनुक्रम के समान <code>\mathbin{\backslash}</code>. एक प्रकार <code>\smallsetminus</code> amssymb पैकेज में उपलब्ध है। प्रतीक <math>\complement</math> (विरोध के रूप में <math>C</math>) द्वारा निर्मित है <code>\complement</code>. (यह यूनिकोड प्रतीक ∁ से संबंधित है।)
लाटीएक्स टाइपसेटिंग भाषा में, कमांड <code>\setminus</code><ref name="The Comprehensive LaTeX Symbol List">[http://ctan.unsw.edu.au/info/symbols/comprehensive/symbols-a4.pdf] The Comprehensive LaTeX Symbol List</ref> प्रायः समुच्चय डिफरेंशियल सिंबल को रेंडर करने के लिए उपयोग किया जाता है, जो [[बैकस्लैश]] सिंबल के समान होता है। जब प्रदान किया जाता है, तो <code>\setminus</code> आदेश समान दिखता है <code>\backslash</code>, इसके अतिरिक्त कि इसमें स्लैश के आगे और पीछे थोड़ा अधिक स्थान है, लाटीएक्स अनुक्रम के समान <code>\mathbin{\backslash}</code> प्रकार <code>\smallsetminus</code> amssymb पैकेज में उपलब्ध है। प्रतीक <math>\complement</math> (विरोध के रूप में <math>C</math>) द्वारा निर्मित है <code>\complement</code>. (यह यूनिकोड प्रतीक ∁ से संबंधित है।)


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


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


== यह भी देखें ==
== यह भी देखें ==


* {{annotated link|Algebra of sets}}
* {{annotated link|समुच्चयों का बीजगणित}}
* {{annotated link|Intersection (set theory)}}
* {{annotated link|प्रतिच्छेदन (समुच्चय सिद्धांत)}}
* {{annotated link|List of set identities and relations}}
* {{annotated link|सेट पहचान और संबंधों की सूची}}
* {{annotated link|Naive set theory}}
* {{annotated link|सरलमति समुच्चय सिद्धांत}}
* {{annotated link|Symmetric difference}}
* {{annotated link|सममित अंतर}}
* {{annotated link|Union (set theory)}}
* {{annotated link|संघ (समुच्चय सिद्धांत)}}
 
 
== टिप्पणियाँ ==
== टिप्पणियाँ ==


{{reflist}}
{{reflist}}
{{reflist|group=note}}


== संदर्भ ==
== संदर्भ ==
Line 154: Line 145:
  | zbl = 0087.04403
  | zbl = 0087.04403
}}
}}
==इस पेज में लापता आंतरिक लिंक की सूची==
*सेट (गणित)
*समुच्चय सिद्धान्त
*ब्रह्मांड (सेट सिद्धांत)
*एकाधिक (गणित)
*यिद
*उचित सबसेट
*एक सेट का विभाजन
*सेट का उत्पाद
*विपरीत संबंध
*संबंधों की गणना
*ऑपरेशन (गणित)
*सेट का बीजगणित
*संबंधों की रचना
==बाहरी संबंध==
==बाहरी संबंध==
* {{MathWorld |title=Complement |id=Complement }}
* {{MathWorld |title=Complement |id=Complement }}
Line 180: Line 153:


{{DEFAULTSORT:Complement (set theory)}}
{{DEFAULTSORT:Complement (set theory)}}
[[Category: समुच्चय सिद्धांत में मूलभूत अवधारणा]]
[[Category: सेट पर संचालन]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Complement (set theory)]]
[[Category:Created On 25/11/2022]]
[[Category:CS1 français-language sources (fr)|Complement (set theory)]]
[[Category:Collapse templates|Complement (set theory)]]
[[Category:Created On 25/11/2022|Complement (set theory)]]
[[Category:Lua-based templates|Complement (set theory)]]
[[Category:Machine Translated Page|Complement (set theory)]]
[[Category:Mathematics navigational boxes|Complement (set theory)]]
[[Category:Navbox orphans|Complement (set theory)]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Complement (set theory)]]
[[Category:Pages with empty portal template|Complement (set theory)]]
[[Category:Pages with script errors|Complement (set theory)]]
[[Category:Philosophy and thinking navigational boxes|Complement (set theory)]]
[[Category:Portal-inline template with redlinked portals|Complement (set theory)]]
[[Category:Short description with empty Wikidata description|Complement (set theory)]]
[[Category:Sidebars with styles needing conversion|Complement (set theory)]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi|Complement (set theory)]]
[[Category:Templates Vigyan Ready|Complement (set theory)]]
[[Category:Templates generating microformats|Complement (set theory)]]
[[Category:Templates that add a tracking category|Complement (set theory)]]
[[Category:Templates that are not mobile friendly|Complement (set theory)]]
[[Category:Templates that generate short descriptions|Complement (set theory)]]
[[Category:Templates using TemplateData|Complement (set theory)]]
[[Category:Wikipedia metatemplates|Complement (set theory)]]
[[Category:समुच्चय सिद्धांत में मूलभूत अवधारणा|Complement (set theory)]]
[[Category:सेट पर संचालन|Complement (set theory)]]

Latest revision as of 12:19, 27 October 2023

A circle filled with red inside a square. The area outside the circle is unfilled. The borders of both the circle and the square are black.
यदिA इस छवि में लाल रंग का क्षेत्र है ...
An unfilled circle inside a square. The area inside the square not covered by the circle is filled with red. The borders of both the circle and the square are black.
…तोA का पूरक शेष सब कुछ है।

समुच्चय सिद्धांत में, समुच्चय A का पूरक, जिसे प्रायः A (या A) द्वारा निरूपित किया जाता है,[1] तत्व का समुच्चय A नहीं है[2]

जब ब्रह्माण्ड में सभी समुच्चय, अर्थात विचाराधीन सभी समुच्चय, किसी दिए गए समुच्चय U के तत्व माने जाते हैं, A का पूर्ण पूरक U में तत्वों का समुच्चय है जो A में नहीं हैं।

समुच्चय B के संबंध में A के सापेक्ष पूरक को लिखित रूप में B और A के समुच्चय का अंतर भी कहा जाता है B में उन तत्वों का समुच्चय है जो A में नहीं हैं।

पूर्ण पूरक

सफेद डिस्क का पूर्ण पूरक लाल क्षेत्र है

परिभाषा

यदि A समुच्चय है, तो A का पूर्ण पूरक तत्वों का समुच्चय है, जो A में नहीं है ( बड़े समुच्चय के अंदर जो स्पष्ट रूप से परिभाषित है)। दूसरे शब्दों में,U को ऐसा समुच्चय होने दें जिसमें अध्ययन के अंतर्गत सभी तत्व सम्मलित हों; यदि U का उल्लेख करने की कोई आवश्यकता नहीं है, या तो क्योंकि यह पूर्व निर्दिष्ट किया गया है, या यह स्पष्ट और अद्वितीय है, तो A का पूर्ण पूरक U में A का सापेक्ष पूरक है:[3]

औपचारिक रूप से:
A का पूर्ण पूरक सामान्यतः A द्वारा निरूपित किया जाता है अन्य अंकन में [2] [4] सम्मिलित हैं।

उदाहरण

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

गुण

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

डी मॉर्गन के नियम इस प्रकार है:[5]*

पूरक नियम इस प्रकार है:[5]*

  • (यह इसके प्रतिसकारात्मक के साथ नियमानुसार तुल्यता से अनुसरण करता है)।

समावेशन या दोहरा पूरक नियम इस प्रकार है:

सापेक्ष और पूर्ण पूरक के मध्य संबंध है:

समुच्चय अंतर के साथ संबंध है:

उपरोक्त प्रथम दो पूरक नियम बताते हैं कि यदि A का गैर-रिक्त, उचित उपसमुच्चय U है, तब {A, A} के समुच्चय U का विभाजन है।

सापेक्ष पूरक

परिभाषा

यदि A तथा B समुच्चय हैं, तब B में A के सापेक्ष पूरक [5] को B और A के समुच्चय अंतर भी कहा जाता है l [6] B में तत्वों का समुच्चय है किन्तु A में नहीं है।

B में A के सापेक्ष पूरक :

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

औपचारिक रूप से:

उदाहरण

गुण

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

*: महत्वपूर्ण विशेष स्थिति के साथ यह दर्शाता है कि प्रतिच्छेदन को केवल सापेक्ष पूरक संक्रिया का उपयोग करके व्यक्त किया जा सकता है।
  • यदि , फिर .
  • के बराबर है .

पूरक संबंध

द्विआधारी संबंध समुच्चय को उत्पाद के उपसमुच्चय के रूप में परिभाषित किया गया है पूरक संबंध का समुच्चय में का पूरक है जिसे संबंध का पूरक लिखा जा सकता है:

यहां, सामान्यतः तत्वों का प्रतिनिधित्व करने वाली पंक्तियों के साथ तार्किक आव्यूह के रूप में और स्तंभों के तत्व के रूप में देखे जाते है पंक्ति में 1 से युग्मित होता है स्तम्भ के पूरक संबंध का निर्माण पूरक के तार्किक आव्यूह के लिए सभी 1s से 0s, और 0s से 1s स्विच करने के अनुरूप है।

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

लाटीएक्स संकेतन

लाटीएक्स टाइपसेटिंग भाषा में, कमांड \setminus[7] प्रायः समुच्चय डिफरेंशियल सिंबल को रेंडर करने के लिए उपयोग किया जाता है, जो बैकस्लैश सिंबल के समान होता है। जब प्रदान किया जाता है, तो \setminus आदेश समान दिखता है \backslash, इसके अतिरिक्त कि इसमें स्लैश के आगे और पीछे थोड़ा अधिक स्थान है, लाटीएक्स अनुक्रम के समान \mathbin{\backslash} प्रकार \smallsetminus amssymb पैकेज में उपलब्ध है। प्रतीक (विरोध के रूप में ) द्वारा निर्मित है \complement. (यह यूनिकोड प्रतीक ∁ से संबंधित है।)

प्रोग्रामिंग लैंग्वेज में

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

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

यह भी देखें

टिप्पणियाँ

  1. "पूरक और सेट अंतर". web.mnstate.edu. Retrieved 2020-09-04.
  2. 2.0 2.1 "पूरक (सेट) परिभाषा (सचित्र गणित शब्दकोश)". www.mathsisfun.com. Retrieved 2020-09-04.
  3. The set in which the complement is considered is thus implicitly mentioned in an absolute complement, and explicitly mentioned in a relative complement.
  4. Bourbaki 1970, p. E II.6.
  5. 5.0 5.1 5.2 Halmos 1960, p. 17.
  6. Devlin 1979, p. 6.
  7. [1] The Comprehensive LaTeX Symbol List

संदर्भ

बाहरी संबंध