उप-समुच्चय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{short description|Set whose elements all belong to another set}}
{{short description|Set whose elements all belong to another set}}
[[File:Venn A subset B.svg|150px|thumb|right|Euler आरेख <br/> A दिखाते हुए B, & nbsp; a⊂b, & nbsp का एक सबसेट है;और इसके विपरीत B, एक, & nbsp; b⊃a का एक सुपरसेट है।
गणित में, समुच्चय A, समुच्चय B का एक उपसमुच्चय है यदि A के सभी अवयव भी B के अवयव हैं; तब B, A का सुपरसेट है। गणित में, सेट ए सेट बी का 'उपसमुच्चय' है यदि ए के सभी तत्व बी के तत्व भी हैं;B तब A का एक 'सुपरसेट' है। यह A और B के लिए समान होना संभव है;यदि वे असमान हैं, तो A B का एक 'उचित उपसमूह' है। एक सेट के दूसरे का संबंध दूसरे का उपसमुच्चय है, जिसे 'समावेश' (या कभी -कभी 'नियंत्रण') कहा जाता है।A B का एक उपसमुच्चय है, जिसे B में शामिल किया जा सकता है (या शामिल किया गया है) A या A शामिल है।


गणित में, सेट ए सेट बी का 'सबसेट' है यदि ए के सभी तत्व बी के तत्व भी हैं;B तब A का एक 'सुपरसेट' है। यह A और B के लिए समान होना संभव है;यदि वे असमान हैं, तो A B का एक 'उचित उपसमूह' है। एक सेट के दूसरे का संबंध दूसरे का सबसेट है, जिसे 'समावेश' (या कभी -कभी 'नियंत्रण') कहा जाता है।A B का एक सबसेट है, जिसे B में शामिल किया जा सकता है (या शामिल किया गया है) A या A शामिल है।
उपसमुच्चय संबंध सेट पर एक आंशिक आदेश को परिभाषित करता है।वास्तव में, किसी दिए गए सेट के उपसमुच्चय उपसमुच्चय संबंध के तहत एक बूलियन बीजगणित बनाते हैं, जिसमें ज्वाइन एंड मीट को चौराहे और संघ द्वारा दिया जाता है, और उपसमुच्चय संबंध ही बूलियन समावेश संबंध है।
 
सबसेट संबंध सेट पर एक आंशिक आदेश को परिभाषित करता है।वास्तव में, किसी दिए गए सेट के सबसेट सबसेट संबंध के तहत एक बूलियन बीजगणित बनाते हैं, जिसमें ज्वाइन एंड मीट को चौराहे और संघ द्वारा दिया जाता है, और सबसेट संबंध ही बूलियन समावेश संबंध है।


== परिभाषाएँ ==
== परिभाषाएँ ==
यदि A और B सेट हैं और A का प्रत्येक तत्व B का एक तत्व भी है, तो: तो:
यदि A और B सेट हैं और A का प्रत्येक तत्व B का एक तत्व भी है, तो: तो:
:*A B का एक 'सबसेट' है, जिसे निरूपित किया गया है <math>A \subseteq B</math>, या समकक्ष,
:*A B का एक 'उपसमुच्चय' है, जिसे निरूपित किया गया है <math>A \subseteq B</math>, या समकक्ष,
:* बी एक 'सुपरसेट' है, जिसे निरूपित किया गया है <math>B \supseteq A.</math>
:* बी एक 'सुपरसेट' है, जिसे निरूपित किया गया है <math>B \supseteq A.</math>


यदि A B का एक सबसेट है, लेकिन A B के बराबर नहीं है (यानी B का कम से कम एक तत्व मौजूद है जो A का एक तत्व नहीं है), तो: फिर:
यदि A B का एक उपसमुच्चय है, लेकिन A B के बराबर नहीं है (यानी B का कम से कम एक तत्व मौजूद है जो A का एक तत्व नहीं है), तो: फिर:
:*A B का एक 'उचित' (या 'सख्त') 'सबसेट' है, जिसे द्वारा निरूपित किया गया है <math>A \subsetneq B</math>, या समकक्ष,
:*A B का एक 'उचित' (या 'सख्त') 'उपसमुच्चय' है, जिसे द्वारा निरूपित किया गया है <math>A \subsetneq B</math>, या समकक्ष,
:* बी एक 'उचित' (या 'सख्त') 'सुपरसेट' है, जो द्वारा निरूपित किया गया है <math>B \supsetneq A</math>।
:* बी एक 'उचित' (या 'सख्त') 'सुपरसेट' है, जो द्वारा निरूपित किया गया है <math>B \supsetneq A</math>।


खाली सेट, लिखा <math>\{ \}</math> या <math>\varnothing,</math> किसी भी सेट X का एक सबसेट है और किसी भी सेट का एक उचित सबसेट है, सिवाय इसके, समावेश संबंध <math>\subseteq</math> सेट पर एक आंशिक आदेश है <math>\mathcal{P}(S)</math> (S का पावर सेट- S के सभी सबसेट का सेट<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Subset|url=https://mathworld.wolfram.com/Subset.html|access-date=2020-08-23|website=mathworld.wolfram.com|language=en}}</ref>) द्वारा परिभाषित <math>A \leq B \iff A \subseteq B</math>।हम आंशिक रूप से ऑर्डर भी कर सकते हैं <math>\mathcal{P}(S)</math> परिभाषित करके रिवर्स सेट समावेश द्वारा <math>A \leq B  \text{ if and only if }  B \subseteq A.</math>
खाली सेट, लिखा <math>\{ \}</math> या <math>\varnothing,</math> किसी भी सेट X का एक उपसमुच्चय है और किसी भी सेट का एक उचित उपसमुच्चय है, सिवाय इसके, समावेश संबंध <math>\subseteq</math> सेट पर एक आंशिक आदेश है <math>\mathcal{P}(S)</math> (S का पावर सेट- S के सभी उपसमुच्चय का सेट<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Subset|url=https://mathworld.wolfram.com/Subset.html|access-date=2020-08-23|website=mathworld.wolfram.com|language=en}}</ref>) द्वारा परिभाषित <math>A \leq B \iff A \subseteq B</math>।हम आंशिक रूप से ऑर्डर भी कर सकते हैं <math>\mathcal{P}(S)</math> परिभाषित करके रिवर्स सेट समावेश द्वारा <math>A \leq B  \text{ if and only if }  B \subseteq A.</math>
जब मात्रा निर्धारित की गई, <math>A \subseteq B</math> के रूप में प्रतिनिधित्व किया जाता है <math>\forall x \left(x \in A \implies x \in B\right).</math><ref>{{cite book|last=Rosen|first=Kenneth H.|title=Discrete Mathematics and Its Applications|url=https://archive.org/details/discretemathemat00rose_408|url-access=limited|date=2012|publisher=McGraw-Hill|location=New York|isbn=978-0-07-338309-5|page=[https://archive.org/details/discretemathemat00rose_408/page/n139 119]|edition=7th}}</ref>
जब मात्रा निर्धारित की गई, <math>A \subseteq B</math> के रूप में प्रतिनिधित्व किया जाता है <math>\forall x \left(x \in A \implies x \in B\right).</math><ref>{{cite book|last=Rosen|first=Kenneth H.|title=Discrete Mathematics and Its Applications|url=https://archive.org/details/discretemathemat00rose_408|url-access=limited|date=2012|publisher=McGraw-Hill|location=New York|isbn=978-0-07-338309-5|page=[https://archive.org/details/discretemathemat00rose_408/page/n139 119]|edition=7th}}</ref>
हम बयान साबित कर सकते हैं <math>A \subseteq B</math> तत्व तर्क के रूप में जानी जाने वाली एक प्रूफ तकनीक को लागू करके<ref>{{Cite book|last=Epp|first=Susanna S.|title=Discrete Mathematics with Applications|year=2011|isbn=978-0-495-39132-6|edition=Fourth|pages=337}}</ref>: <blockquote> सेट ए और बी दिए जाने दें।साबित करने के लिए <math>A \subseteq B,</math>
हम बयान साबित कर सकते हैं <math>A \subseteq B</math> तत्व तर्क के रूप में जानी जाने वाली एक प्रूफ तकनीक को लागू करके<ref>{{Cite book|last=Epp|first=Susanna S.|title=Discrete Mathematics with Applications|year=2011|isbn=978-0-495-39132-6|edition=Fourth|pages=337}}</ref>: <blockquote> सेट ए और बी दिए जाने दें।साबित करने के लिए <math>A \subseteq B,</math>
Line 22: Line 20:
</blockquote> इस तकनीक की वैधता को सार्वभौमिक सामान्यीकरण के परिणाम के रूप में देखा जा सकता है: तकनीक शो <math>c \in A \implies c \in B</math> एक मनमाने ढंग से चुने गए तत्व के लिए c।सार्वभौमिक सामान्यीकरण का अर्थ है <math>\forall x \left(x \in A \implies x \in B\right),</math> जो इसके बराबर है <math>A \subseteq B,</math> जैसा की ऊपर कहा गया है।<!-- to allow easy linking to this section which contains math in its name -->
</blockquote> इस तकनीक की वैधता को सार्वभौमिक सामान्यीकरण के परिणाम के रूप में देखा जा सकता है: तकनीक शो <math>c \in A \implies c \in B</math> एक मनमाने ढंग से चुने गए तत्व के लिए c।सार्वभौमिक सामान्यीकरण का अर्थ है <math>\forall x \left(x \in A \implies x \in B\right),</math> जो इसके बराबर है <math>A \subseteq B,</math> जैसा की ऊपर कहा गया है।<!-- to allow easy linking to this section which contains math in its name -->
== गुण ==
== गुण ==
* एक सेट A B का एक 'सबसेट' है यदि और केवल अगर उनका चौराहा A के बराबर है
* एक सेट A B का एक 'उपसमुच्चय' है यदि और केवल अगर उनका चौराहा A के बराबर है
: औपचारिक रूप से:
: औपचारिक रूप से:
:<math> A \subseteq B \text{ if and only if } A \cap B = A. </math>
:<math> A \subseteq B \text{ if and only if } A \cap B = A. </math>
* एक सेट A B का एक 'सबसेट' है यदि और केवल अगर उनका संघ B के बराबर है
* एक सेट A B का एक 'उपसमुच्चय' है यदि और केवल अगर उनका संघ B के बराबर है
: औपचारिक रूप से:
: औपचारिक रूप से:
:<math> A \subseteq B \text{ if and only if } A \cup B = B. </math>
:<math> A \subseteq B \text{ if and only if } A \cup B = B. </math>
* एक परिमित सेट '' ए '' '' बी '' का एक सबसेट है, अगर और केवल अगर उनके चौराहे की कार्डिनलिटी ए के कार्डिनलिटी के बराबर है।
* एक परिमित सेट '' ए '' '' बी '' का एक उपसमुच्चय है, अगर और केवल अगर उनके चौराहे की कार्डिनलिटी ए के कार्डिनलिटी के बराबर है।
: औपचारिक रूप से:
: औपचारिक रूप से:
:<math> A \subseteq B \text{ if and only if } |A \cap B| = |A|.</math>
:<math> A \subseteq B \text{ if and only if } |A \cap B| = |A|.</math>
Line 36: Line 34:
कुछ लेखक प्रतीकों का उपयोग करते हैं <math>\subset</math> तथा <math>\supset</math> संकेत करना {{em|उप-समूचय}} तथा {{em|सुपरसेट}}  क्रमश;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ <math>\subseteq</math> तथा <math>\supseteq.</math><ref>{{Citation|last1=Rudin|first1=Walter|author1-link=Walter Rudin|title=Real and complex analysis|publisher=[[McGraw-Hill]]|location=New York|edition=3rd|isbn=978-0-07-054234-1|mr=924157 |year=1987|page=6}}</ref> उदाहरण के लिए, इन लेखकों के लिए, यह हर सेट ए का सच है <math>A \subset A.</math>
कुछ लेखक प्रतीकों का उपयोग करते हैं <math>\subset</math> तथा <math>\supset</math> संकेत करना {{em|उप-समूचय}} तथा {{em|सुपरसेट}}  क्रमश;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ <math>\subseteq</math> तथा <math>\supseteq.</math><ref>{{Citation|last1=Rudin|first1=Walter|author1-link=Walter Rudin|title=Real and complex analysis|publisher=[[McGraw-Hill]]|location=New York|edition=3rd|isbn=978-0-07-054234-1|mr=924157 |year=1987|page=6}}</ref> उदाहरण के लिए, इन लेखकों के लिए, यह हर सेट ए का सच है <math>A \subset A.</math>


अन्य लेखक प्रतीकों का उपयोग करना पसंद करते हैं <math>\subset</math> तथा <math>\supset</math> संकेत करना {{em|उचित}} (जिसे सख्त कहा जाता है) सबसेट और {{em|proper}} क्रमशः सुपरसेट;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ <math>\subsetneq</math> तथा <math>\supsetneq.</math><ref>{{Citation|title=Subsets and Proper Subsets|url=http://it.edgecombe.edu/homepage/killorant/MAT140/Module1/Subsets.pdf|access-date=2012-09-07|archive-url=https://web.archive.org/web/20130123202559/http://it.edgecombe.edu/homepage/killorant/MAT140/Module1/Subsets.pdf|archive-date=2013-01-23|url-status=dead }}</ref> यह उपयोग करता है <math>\subseteq</math> तथा <math>\subset</math> असमानता प्रतीकों के अनुरूप <math>\leq</math> तथा <math><.</math> उदाहरण के लिए, यदि <math>x \leq y,</math> तब x y के बराबर हो सकता है या नहीं, लेकिन अगर <math>x < y,</math> तब x निश्चित रूप से y के बराबर नहीं है, और y से कम है।इसी तरह, सम्मेलन का उपयोग करना <math>\subset</math> उचित सबसेट है, अगर <math>A \subseteq B,</math> तब एक हो सकता है या नहीं हो सकता है, लेकिन अगर <math>A \subset B,</math> फिर ए निश्चित रूप से बी के बराबर नहीं है।
अन्य लेखक प्रतीकों का उपयोग करना पसंद करते हैं <math>\subset</math> तथा <math>\supset</math> संकेत करना {{em|उचित}} (जिसे सख्त कहा जाता है) उपसमुच्चय और {{em|proper}} क्रमशः सुपरसेट;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ <math>\subsetneq</math> तथा <math>\supsetneq.</math><ref>{{Citation|title=Subsets and Proper Subsets|url=http://it.edgecombe.edu/homepage/killorant/MAT140/Module1/Subsets.pdf|access-date=2012-09-07|archive-url=https://web.archive.org/web/20130123202559/http://it.edgecombe.edu/homepage/killorant/MAT140/Module1/Subsets.pdf|archive-date=2013-01-23|url-status=dead }}</ref> यह उपयोग करता है <math>\subseteq</math> तथा <math>\subset</math> असमानता प्रतीकों के अनुरूप <math>\leq</math> तथा <math><.</math> उदाहरण के लिए, यदि <math>x \leq y,</math> तब x y के बराबर हो सकता है या नहीं, लेकिन अगर <math>x < y,</math> तब x निश्चित रूप से y के बराबर नहीं है, और y से कम है।इसी तरह, सम्मेलन का उपयोग करना <math>\subset</math> उचित उपसमुच्चय है, अगर <math>A \subseteq B,</math> तब एक हो सकता है या नहीं हो सकता है, लेकिन अगर <math>A \subset B,</math> फिर ए निश्चित रूप से बी के बराबर नहीं है।


== सबसेट के उदाहरण ==
== उपसमुच्चय के उदाहरण ==
[[File:PolygonsSet EN.svg|thumb|नियमित बहुभुज बहुभुज का एक सबसेट बनाते हैं]]
[[File:PolygonsSet EN.svg|thumb|नियमित बहुभुज बहुभुज का एक उपसमुच्चय बनाते हैं]]
* सेट a = {1, 2} b = {1, 2, 3} का एक उचित उपसमूह है, इस प्रकार दोनों अभिव्यक्तियाँ <math>A \subseteq B</math> तथा <math>A \subsetneq B</math> सच हैं।
* सेट a = {1, 2} b = {1, 2, 3} का एक उचित उपसमूह है, इस प्रकार दोनों अभिव्यक्तियाँ <math>A \subseteq B</math> तथा <math>A \subsetneq B</math> सच हैं।
* सेट d = {1, 2, 3} एक सबसेट है (लेकिन {{em|not}} E = {1, 2, 3} का एक उचित सबसेट), इस प्रकार <math>D \subseteq E</math> सच है, और <math>D \subsetneq E</math> सच नहीं है (गलत)।
* सेट d = {1, 2, 3} एक उपसमुच्चय है (लेकिन {{em|not}} E = {1, 2, 3} का एक उचित उपसमुच्चय), इस प्रकार <math>D \subseteq E</math> सच है, और <math>D \subsetneq E</math> सच नहीं है (गलत)।
* कोई भी सेट स्वयं का एक सबसेट है, लेकिन एक उचित सबसेट नहीं है।(<math>X \subseteq X</math> सच है, और <math>X \subsetneq X</math> किसी भी सेट एक्स के लिए गलत है।)
* कोई भी सेट स्वयं का एक उपसमुच्चय है, लेकिन एक उचित उपसमुच्चय नहीं है।(<math>X \subseteq X</math> सच है, और <math>X \subsetneq X</math> किसी भी सेट एक्स के लिए गलत है।)
* सेट {x: x एक प्रमुख संख्या 10 से अधिक है} {x: x का एक उचित उपसमूह है एक विषम संख्या 10 से अधिक है}
* सेट {x: x एक प्रमुख संख्या 10 से अधिक है} {x: x का एक उचित उपसमूह है एक विषम संख्या 10 से अधिक है}
* प्राकृतिक संख्याओं का सेट तर्कसंगत संख्याओं के सेट का एक उचित सबसेट है;इसी तरह, एक लाइन खंड में बिंदुओं का सेट A: INE (गणित) | लाइन में बिंदुओं के सेट का एक उचित सबसेट है।ये दो उदाहरण हैं जिनमें सबसेट और पूरे सेट दोनों अनंत हैं, और सबसेट में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के मामले किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
* प्राकृतिक संख्याओं का सेट तर्कसंगत संख्याओं के सेट का एक उचित उपसमुच्चय है;इसी तरह, एक लाइन खंड में बिंदुओं का सेट A: INE (गणित) | लाइन में बिंदुओं के सेट का एक उचित उपसमुच्चय है।ये दो उदाहरण हैं जिनमें उपसमुच्चय और पूरे सेट दोनों अनंत हैं, और उपसमुच्चय में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के मामले किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
* तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित सबसेट है।इस उदाहरण में, दोनों सेट अनंत हैं, लेकिन बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या {{em|शक्ति}}) पूर्व सेट की तुलना में।
* तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित उपसमुच्चय है।इस उदाहरण में, दोनों सेट अनंत हैं, लेकिन बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या {{em|शक्ति}}) पूर्व सेट की तुलना में।


एक यूलर आरेख में एक और उदाहरण:
एक यूलर आरेख में एक और उदाहरण:
Line 56: Line 54:
[[File:Subset with expansion.svg|thumb|<math>A \subseteq B</math> तथा <math>B \subseteq C</math> तात्पर्य <math>A \subseteq C.</math>]]
[[File:Subset with expansion.svg|thumb|<math>A \subseteq B</math> तथा <math>B \subseteq C</math> तात्पर्य <math>A \subseteq C.</math>]]
समावेशन विहित आंशिक आदेश है, इस अर्थ में कि प्रत्येक आंशिक रूप से आदेश दिया गया सेट <math>(X, \preceq)</math> समावेश द्वारा आदेशित सेटों के कुछ संग्रह के लिए आइसोमॉर्फिक है।ऑर्डिनल नंबर एक सरल उदाहरण हैं: यदि प्रत्येक क्रमिक n को सेट के साथ पहचाना जाता है <math>[n]</math> सभी अध्यादेशों से कम या उसके बराबर, फिर <math>a \leq b</math> अगर और केवल अगर <math>[a] \subseteq [b].</math>
समावेशन विहित आंशिक आदेश है, इस अर्थ में कि प्रत्येक आंशिक रूप से आदेश दिया गया सेट <math>(X, \preceq)</math> समावेश द्वारा आदेशित सेटों के कुछ संग्रह के लिए आइसोमॉर्फिक है।ऑर्डिनल नंबर एक सरल उदाहरण हैं: यदि प्रत्येक क्रमिक n को सेट के साथ पहचाना जाता है <math>[n]</math> सभी अध्यादेशों से कम या उसके बराबर, फिर <math>a \leq b</math> अगर और केवल अगर <math>[a] \subseteq [b].</math>
पावर सेट के लिए <math>\operatorname{\mathcal{P}}(S)</math> एक सेट एस की, समावेशी आंशिक आदेश है - एक आदेश के लिए एक समरूपता - कार्टेशियन उत्पाद का <math>k = |S|</math> (एस की कार्डिनैलिटी) आंशिक आदेश की प्रतियां <math>\{0, 1\}</math> जिसके लिए <math>0 < 1.</math> इसे एनमरेट करके सचित्र किया जा सकता है <math>S = \left\{ s_1, s_2, \ldots, s_k \right\},</math>, और प्रत्येक सबसेट के साथ जुड़ना <math>T \subseteq S</math> (यानी, प्रत्येक तत्व <math>2^S</math>) के-टपल से <math>\{0, 1\}^k,</math> जिनमें से ITH समन्वय 1 है यदि और केवल अगर <math>s_i</math> टी का सदस्य है।
पावर सेट के लिए <math>\operatorname{\mathcal{P}}(S)</math> एक सेट एस की, समावेशी आंशिक आदेश है - एक आदेश के लिए एक समरूपता - कार्टेशियन उत्पाद का <math>k = |S|</math> (एस की कार्डिनैलिटी) आंशिक आदेश की प्रतियां <math>\{0, 1\}</math> जिसके लिए <math>0 < 1.</math> इसे एनमरेट करके सचित्र किया जा सकता है <math>S = \left\{ s_1, s_2, \ldots, s_k \right\},</math>, और प्रत्येक उपसमुच्चय के साथ जुड़ना <math>T \subseteq S</math> (यानी, प्रत्येक तत्व <math>2^S</math>) के-टपल से <math>\{0, 1\}^k,</math> जिनमें से ITH समन्वय 1 है यदि और केवल अगर <math>s_i</math> टी का सदस्य है।


== यह भी देखें ==
== यह भी देखें ==
* उत्तल सबसेट
* उत्तल उपसमुच्चय
* समावेश आदेश
* समावेश आदेश
* क्षेत्र
* क्षेत्र
* सबसेट योग समस्या
* उपसमुच्चय योग समस्या
* पदानुक्रम#subsumptive_containment_hierarchy | Subsumptive Contactment
* पदानुक्रम#subsumptive_containment_hierarchy | Subsumptive Contactment
* कुल सबसेट
* कुल उपसमुच्चय


==संदर्भ==
==संदर्भ==

Revision as of 23:43, 5 July 2023

गणित में, समुच्चय A, समुच्चय B का एक उपसमुच्चय है यदि A के सभी अवयव भी B के अवयव हैं; तब B, A का सुपरसेट है। गणित में, सेट ए सेट बी का 'उपसमुच्चय' है यदि ए के सभी तत्व बी के तत्व भी हैं;B तब A का एक 'सुपरसेट' है। यह A और B के लिए समान होना संभव है;यदि वे असमान हैं, तो A B का एक 'उचित उपसमूह' है। एक सेट के दूसरे का संबंध दूसरे का उपसमुच्चय है, जिसे 'समावेश' (या कभी -कभी 'नियंत्रण') कहा जाता है।A B का एक उपसमुच्चय है, जिसे B में शामिल किया जा सकता है (या शामिल किया गया है) A या A शामिल है।

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

परिभाषाएँ

यदि A और B सेट हैं और A का प्रत्येक तत्व B का एक तत्व भी है, तो: तो:

  • A B का एक 'उपसमुच्चय' है, जिसे निरूपित किया गया है , या समकक्ष,
  • बी एक 'सुपरसेट' है, जिसे निरूपित किया गया है

यदि A B का एक उपसमुच्चय है, लेकिन A B के बराबर नहीं है (यानी B का कम से कम एक तत्व मौजूद है जो A का एक तत्व नहीं है), तो: फिर:

  • A B का एक 'उचित' (या 'सख्त') 'उपसमुच्चय' है, जिसे द्वारा निरूपित किया गया है , या समकक्ष,
  • बी एक 'उचित' (या 'सख्त') 'सुपरसेट' है, जो द्वारा निरूपित किया गया है

खाली सेट, लिखा या किसी भी सेट X का एक उपसमुच्चय है और किसी भी सेट का एक उचित उपसमुच्चय है, सिवाय इसके, समावेश संबंध सेट पर एक आंशिक आदेश है (S का पावर सेट- S के सभी उपसमुच्चय का सेट[1]) द्वारा परिभाषित ।हम आंशिक रूप से ऑर्डर भी कर सकते हैं परिभाषित करके रिवर्स सेट समावेश द्वारा जब मात्रा निर्धारित की गई, के रूप में प्रतिनिधित्व किया जाता है [2]

हम बयान साबित कर सकते हैं तत्व तर्क के रूप में जानी जाने वाली एक प्रूफ तकनीक को लागू करके[3]:

सेट ए और बी दिए जाने दें।साबित करने के लिए

  1. मान लीजिए कि एक विशेष लेकिन मनमाने ढंग से चुना गया तत्व है
  2. दिखाएँ कि बी का एक तत्व है।

इस तकनीक की वैधता को सार्वभौमिक सामान्यीकरण के परिणाम के रूप में देखा जा सकता है: तकनीक शो एक मनमाने ढंग से चुने गए तत्व के लिए c।सार्वभौमिक सामान्यीकरण का अर्थ है जो इसके बराबर है जैसा की ऊपर कहा गया है।

गुण

  • एक सेट A B का एक 'उपसमुच्चय' है यदि और केवल अगर उनका चौराहा A के बराबर है
औपचारिक रूप से:
  • एक सेट A B का एक 'उपसमुच्चय' है यदि और केवल अगर उनका संघ B के बराबर है
औपचारिक रूप से:
  • एक परिमित सेट बी का एक उपसमुच्चय है, अगर और केवल अगर उनके चौराहे की कार्डिनलिटी ए के कार्डिनलिटी के बराबर है।
औपचारिक रूप से:

⊂ और ⊃ प्रतीक

कुछ लेखक प्रतीकों का उपयोग करते हैं तथा संकेत करना उप-समूचय तथा सुपरसेट क्रमश;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ तथा [4] उदाहरण के लिए, इन लेखकों के लिए, यह हर सेट ए का सच है

अन्य लेखक प्रतीकों का उपयोग करना पसंद करते हैं तथा संकेत करना उचित (जिसे सख्त कहा जाता है) उपसमुच्चय और proper क्रमशः सुपरसेट;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ तथा [5] यह उपयोग करता है तथा असमानता प्रतीकों के अनुरूप तथा उदाहरण के लिए, यदि तब x y के बराबर हो सकता है या नहीं, लेकिन अगर तब x निश्चित रूप से y के बराबर नहीं है, और y से कम है।इसी तरह, सम्मेलन का उपयोग करना उचित उपसमुच्चय है, अगर तब एक हो सकता है या नहीं हो सकता है, लेकिन अगर फिर ए निश्चित रूप से बी के बराबर नहीं है।

उपसमुच्चय के उदाहरण

नियमित बहुभुज बहुभुज का एक उपसमुच्चय बनाते हैं
  • सेट a = {1, 2} b = {1, 2, 3} का एक उचित उपसमूह है, इस प्रकार दोनों अभिव्यक्तियाँ तथा सच हैं।
  • सेट d = {1, 2, 3} एक उपसमुच्चय है (लेकिन not E = {1, 2, 3} का एक उचित उपसमुच्चय), इस प्रकार सच है, और सच नहीं है (गलत)।
  • कोई भी सेट स्वयं का एक उपसमुच्चय है, लेकिन एक उचित उपसमुच्चय नहीं है।( सच है, और किसी भी सेट एक्स के लिए गलत है।)
  • सेट {x: x एक प्रमुख संख्या 10 से अधिक है} {x: x का एक उचित उपसमूह है एक विषम संख्या 10 से अधिक है}
  • प्राकृतिक संख्याओं का सेट तर्कसंगत संख्याओं के सेट का एक उचित उपसमुच्चय है;इसी तरह, एक लाइन खंड में बिंदुओं का सेट A: INE (गणित) | लाइन में बिंदुओं के सेट का एक उचित उपसमुच्चय है।ये दो उदाहरण हैं जिनमें उपसमुच्चय और पूरे सेट दोनों अनंत हैं, और उपसमुच्चय में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के मामले किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
  • तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित उपसमुच्चय है।इस उदाहरण में, दोनों सेट अनंत हैं, लेकिन बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या शक्ति) पूर्व सेट की तुलना में।

एक यूलर आरेख में एक और उदाहरण:

समावेश के अन्य गुण

तथा तात्पर्य

समावेशन विहित आंशिक आदेश है, इस अर्थ में कि प्रत्येक आंशिक रूप से आदेश दिया गया सेट समावेश द्वारा आदेशित सेटों के कुछ संग्रह के लिए आइसोमॉर्फिक है।ऑर्डिनल नंबर एक सरल उदाहरण हैं: यदि प्रत्येक क्रमिक n को सेट के साथ पहचाना जाता है सभी अध्यादेशों से कम या उसके बराबर, फिर अगर और केवल अगर पावर सेट के लिए एक सेट एस की, समावेशी आंशिक आदेश है - एक आदेश के लिए एक समरूपता - कार्टेशियन उत्पाद का (एस की कार्डिनैलिटी) आंशिक आदेश की प्रतियां जिसके लिए इसे एनमरेट करके सचित्र किया जा सकता है , और प्रत्येक उपसमुच्चय के साथ जुड़ना (यानी, प्रत्येक तत्व ) के-टपल से जिनमें से ITH समन्वय 1 है यदि और केवल अगर टी का सदस्य है।

यह भी देखें

  • उत्तल उपसमुच्चय
  • समावेश आदेश
  • क्षेत्र
  • उपसमुच्चय योग समस्या
  • पदानुक्रम#subsumptive_containment_hierarchy | Subsumptive Contactment
  • कुल उपसमुच्चय

संदर्भ

  1. Weisstein, Eric W. "Subset". mathworld.wolfram.com (in English). Retrieved 2020-08-23.
  2. Rosen, Kenneth H. (2012). Discrete Mathematics and Its Applications (7th ed.). New York: McGraw-Hill. p. 119. ISBN 978-0-07-338309-5.
  3. Epp, Susanna S. (2011). Discrete Mathematics with Applications (Fourth ed.). p. 337. ISBN 978-0-495-39132-6.
  4. Rudin, Walter (1987), Real and complex analysis (3rd ed.), New York: McGraw-Hill, p. 6, ISBN 978-0-07-054234-1, MR 0924157
  5. Subsets and Proper Subsets (PDF), archived from the original (PDF) on 2013-01-23, retrieved 2012-09-07

ग्रन्थसूची

बाहरी संबंध