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

{{Short description|Set of the elements not in a given subset}}
{{multiple image
| align = right
| image1 = Venn01.svg
| width1 = 250
| alt1 = 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.
| caption1 = यदि{{mvar|A}} इस छवि में लाल रंग का क्षेत्र है ...
| image2 = Venn10.svg
| 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.
| 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}} में नहीं हैं।

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

== पूर्ण पूरक ==
[[File:Venn10.svg|250px|thumb|सफेद डिस्क का पूर्ण पूरक लाल क्षेत्र है]]

=== परिभाषा ===
यदि {{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 = \{ 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}} विषम संख्याओं का समुच्चय है, तो {{mvar|A}} का पूरक सम संख्याओं का समुच्चय है। यदि {{mvar|B}} 3 गुणक का समुच्चय है, तो {{mvar|B}} का पूरक 1 या 2 मॉड्यूल 3 में, पूर्णांक जो 3 के गुणक नहीं हैं) के लिए [[मॉड्यूलर अंकगणित|मॉड्यूलर अंकगणितीय]] संख्याओं का समुच्चय है।
* मान लें कि ब्रह्मांड [[मानक 52-कार्ड डेक]] है। यदि समुच्चय {{mvar|A}} हुकुम का सूट है, तो {{mvar|A}} का पूरक क्लब, हीरे और दिल के सूट का [[संघ (सेट सिद्धांत)|संघ]] है। यदि समुच्चय {{mvar|B}} क्लब और हीरे के सूट का मिलन है, फिर {{mvar|B}} का पूरक दिल और हुकुम के सूट का मिलन है।

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

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

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

== सापेक्ष पूरक ==
=== परिभाषा ===
यदि {{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|''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>\{ 1, 2, 3\} \setminus \{ 2,3,4\} = \{ 1 \}.</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> [[अपरिमेय संख्या|अपरिमेय संख्याओं]] का समुच्चय है।

=== गुण ===
{{See also|सेट पहचान और संबंधों की सूची|  और समुच्चयों का बीजगणित}}

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

:* <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 (B \setminus A) = (C \cap A) \cup (C \setminus B),</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) \cup C = (B \cup C) \setminus (A \setminus C).</math>
:* <math>A \setminus A = \empty.</math>
:* <math>\empty \setminus A = \empty.</math>
:* <math>A \setminus \empty = A.</math>
:* <math>A \setminus U = \empty.</math>
:* यदि <math>A\subset B</math>, फिर <math>C\setminus A\supset C\setminus B</math>.
:* <math>A \supseteq B \setminus C</math> के बराबर है <math>C \supseteq B \setminus A</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>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 स्विच करने के अनुरूप है।

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

== [[लाटेकस|लाटीएक्स]] संकेतन ==
लाटीएक्स टाइपसेटिंग भाषा में, कमांड <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|बहुत सारे समुच्चय]] को कोड करती है। इन प्रोग्रामिंग लैंग्वेज में पूरक और समुच्चय अंतर की गणना के लिए ऑपरेटर या फलन होते हैं।

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

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

* {{annotated link|समुच्चयों का बीजगणित}}
* {{annotated link|प्रतिच्छेदन (समुच्चय सिद्धांत)}}
* {{annotated link|सेट पहचान और संबंधों की सूची}}
* {{annotated link|सरलमति समुच्चय सिद्धांत}}
* {{annotated link|सममित अंतर}}
* {{annotated link|संघ (समुच्चय सिद्धांत)}}
== टिप्पणियाँ ==

{{reflist}}

== संदर्भ ==

* {{cite book 
 | last = Bourbaki
 | first = N.
 | author-link = Nicolas Bourbaki
 | title = Théorie des ensembles
 | publisher = Hermann
 | place = Paris
 | year = 1970
 | isbn = 978-3-540-34034-8
 | language = fr
}}
* {{cite book
 | last = Devlin
 | first = Keith J.
 | author-link = Keith Devlin
 | title = Fundamentals of contemporary set theory
 | series = Universitext
 | publisher = [[Springer-Verlag|Springer]]
 | year = 1979
 | isbn = 0-387-90441-7
 | zbl = 0407.04003
}}
* {{cite book
 | last = Halmos
 | first = Paul R.
 | author-link = Paul Halmos
 | title = Naive set theory
 | url = https://archive.org/details/naivesettheory0000halm
 | url-access = registration
 | series = The University Series in Undergraduate Mathematics
 | publisher = van Nostrand Company
 | year = 1960
 | zbl = 0087.04403
}}
==बाहरी संबंध==
* {{MathWorld |title=Complement |id=Complement }}
* {{MathWorld |title=Complement Set |id=ComplementSet }}

{{Set theory}}
{{Mathematical logic}}

{{DEFAULTSORT:Complement (set theory)}}

[[Category:Articles with hatnote templates targeting a nonexistent page|Complement (set theory)]]
[[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)]]