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

From Vigyanwiki
(Created page with "{{short description|Set whose elements all belong to another set}} {{redirect|Superset}} {{redirect|⊃|the logic symbol|horseshoe (symbol)|other uses|horseshoe (disambiguatio...")
 
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}}
{{redirect|Superset}}
{{redirect|⊃|the logic symbol|horseshoe (symbol)|other uses|horseshoe (disambiguation)}}
[[File:Venn A subset B.svg|150px|thumb|right|Euler आरेख <br/> A दिखाते हुए B, & nbsp; a⊂b, & nbsp का एक सबसेट है;और इसके विपरीत B, एक, & nbsp; b⊃a का एक सुपरसेट है।
[[File:Venn A subset B.svg|150px|thumb|right|Euler आरेख <br/> A दिखाते हुए B, & nbsp; a⊂b, & nbsp का एक सबसेट है;और इसके विपरीत B, एक, & nbsp; b⊃a का एक सुपरसेट है।


Line 13: Line 11:
:* बी एक 'सुपरसेट' है, जिसे निरूपित किया गया है <math>B \supseteq A.</math>
:* बी एक 'सुपरसेट' है, जिसे निरूपित किया गया है <math>B \supseteq A.</math>


{{anchor|proper subset}}
यदि 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>, या समकक्ष,
Line 24: Line 21:
# दिखाएँ कि '' ए '' '' बी '' का एक तत्व है।
# दिखाएँ कि '' ए '' '' बी '' का एक तत्व है।
</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 के बराबर है
Line 37: Line 32:
:<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>


⊂ और ⊃ प्रतीक


== ⊂ और ⊃ प्रतीक ==
कुछ लेखक प्रतीकों का उपयोग करते हैं <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|subset}} तथा {{em|superset}} क्रमश;अर्थात्, प्रतीकों के बजाय एक ही अर्थ के साथ <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|proper}} (जिसे सख्त कहा जाता है) सबसेट और {{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> फिर ए निश्चित रूप से बी के बराबर नहीं है।


== सबसेट के उदाहरण ==
== सबसेट के उदाहरण ==
Line 49: Line 45:
* सेट {x: x एक प्रमुख संख्या 10 से अधिक है} {x: x का एक उचित उपसमूह है एक विषम संख्या 10 से अधिक है}
* सेट {x: x एक प्रमुख संख्या 10 से अधिक है} {x: x का एक उचित उपसमूह है एक विषम संख्या 10 से अधिक है}
* प्राकृतिक संख्याओं का सेट तर्कसंगत संख्याओं के सेट का एक उचित सबसेट है;इसी तरह, एक लाइन खंड में बिंदुओं का सेट A: INE (गणित) | लाइन में बिंदुओं के सेट का एक उचित सबसेट है।ये दो उदाहरण हैं जिनमें सबसेट और पूरे सेट दोनों अनंत हैं, और सबसेट में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के मामले किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
* प्राकृतिक संख्याओं का सेट तर्कसंगत संख्याओं के सेट का एक उचित सबसेट है;इसी तरह, एक लाइन खंड में बिंदुओं का सेट A: INE (गणित) | लाइन में बिंदुओं के सेट का एक उचित सबसेट है।ये दो उदाहरण हैं जिनमें सबसेट और पूरे सेट दोनों अनंत हैं, और सबसेट में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के मामले किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
* तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित सबसेट है।इस उदाहरण में, दोनों सेट अनंत हैं, लेकिन बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या {{em|power}}) पूर्व सेट की तुलना में।
* तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित सबसेट है।इस उदाहरण में, दोनों सेट अनंत हैं, लेकिन बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या {{em|शक्ति}}) पूर्व सेट की तुलना में।


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


<gallery widths="270">
<gallery widths="270">
File:Example of A is a proper subset of B.svg|A is a proper subset of B
File:Index.php?title=File:Example of A is a proper subset of B.svg|A, B का उचित उपसमुच्चय है
File:Example of C is no proper subset of B.svg|C is a subset but not a proper subset of B
File:Index.php?title=File:Example of C is no proper subset of B.svg|C एक उपसमुच्चय है लेकिन B का उचित उपसमुच्चय नहीं है
</gallery>
</gallery>
== समावेश के अन्य गुण ==
== समावेश के अन्य गुण ==
[[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>]]
Line 74: Line 68:
==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}
== ग्रन्थसूची ==
== ग्रन्थसूची ==
* {{cite book|author-link=Thomas Jech|author=Jech, Thomas|title=Set Theory|publisher=Springer-Verlag|year=2002|isbn=3-540-44085-2}}
* {{cite book|author-link=Thomas Jech|author=Jech, Thomas|title=Set Theory|publisher=Springer-Verlag|year=2002|isbn=3-540-44085-2}}
==बाहरी संबंध==
==बाहरी संबंध==
*{{Commons category-inline|Subsets}}
*{{Commons category-inline|Subsets}}

Revision as of 22:14, 5 July 2023

[[File:Venn A subset B.svg|150px|thumb|right|Euler आरेख
A दिखाते हुए B, & nbsp; a⊂b, & nbsp का एक सबसेट है;और इसके विपरीत B, एक, & nbsp; 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 (गणित) | लाइन में बिंदुओं के सेट का एक उचित सबसेट है।ये दो उदाहरण हैं जिनमें सबसेट और पूरे सेट दोनों अनंत हैं, और सबसेट में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के मामले किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
  • तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित सबसेट है।इस उदाहरण में, दोनों सेट अनंत हैं, लेकिन बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या शक्ति) पूर्व सेट की तुलना में।

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

  • Index.php?title=File:Example of A is a proper subset of B.svg

    A, B का उचित उपसमुच्चय है

  • Index.php?title=File:Example of C is no proper subset of B.svg

    C एक उपसमुच्चय है लेकिन B का उचित उपसमुच्चय नहीं है

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

Error creating thumbnail:
तथा तात्पर्य

समावेशन विहित आंशिक आदेश है, इस अर्थ में कि प्रत्येक आंशिक रूप से आदेश दिया गया सेट समावेश द्वारा आदेशित सेटों के कुछ संग्रह के लिए आइसोमॉर्फिक है।ऑर्डिनल नंबर एक सरल उदाहरण हैं: यदि प्रत्येक क्रमिक 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

ग्रन्थसूची

बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=उप-समुच्चय&oldid=210159’