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

Revision as of 00:01, 6 July 2023

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

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

परिभाषाएँ

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

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

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

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

खाली सेट, लिखा $\{\}$ या $\varnothing ,$ किसी भी सेट X का एक उपसमुच्चय है और किसी भी सेट का एक उचित उपसमुच्चय है, सिवाय इसके, समावेश संबंध $\subseteq$ सेट पर एक आंशिक आदेश है ${\mathcal {P}}(S)$ (S का पावर सेट- S के सभी उपसमुच्चय का सेट^[1]) द्वारा परिभाषित $A\leq B\iff A\subseteq B$ ।हम आंशिक रूप से ऑर्डर भी कर सकते हैं ${\mathcal {P}}(S)$ परिभाषित करके रिवर्स सेट समावेश द्वारा $A\leq B{\text{ if and only if }}B\subseteq A.$ जब मात्रा निर्धारित की गई, $A\subseteq B$ के रूप में प्रतिनिधित्व किया जाता है $\forall x\left(x\in A\implies x\in B\right).$ ^[2]

हम कथन सिद्ध करना कर सकते हैं $A\subseteq B$ तत्व तर्क के रूप में जानी जाने वाली एक प्रूफ तकनीक को लागू करके^[3]:

सेट ए और बी दिए जाने दें।सिद्ध करना करने के लिए $A\subseteq B,$
मान लीजिए कि ए एक विशेष किन्तु मनमाने ढंग से चुना गया तत्व है

दिखाएँ कि ए बी का एक तत्व है।

इस तकनीक की वैधता को सार्वभौमिक सामान्यीकरण के परिणाम के रूप में देखा जा सकता है: तकनीक शो $c\in A\implies c\in B$ एक मनमाने ढंग से चुने गए तत्व के लिए c।सार्वभौमिक सामान्यीकरण का अर्थ है $\forall x\left(x\in A\implies x\in B\right),$ जो इसके बराबर है $A\subseteq B,$ जैसा की ऊपर कहा गया है।

गुण

एक सेट A B का एक 'उपसमुच्चय' है यदि और केवल यदि उनका चौराहा A के बराबर है

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

A\subseteq B{\text{ if and only if }}A\cap B=A.

एक सेट A B का एक 'उपसमुच्चय' है यदि और केवल यदि उनका संघ B के बराबर है

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

A\subseteq B{\text{ if and only if }}A\cup B=B.

एक परिमित सेट ए बी का एक उपसमुच्चय है, यदि और केवल यदि उनके चौराहे की कार्डिनलिटी ए के कार्डिनलिटी के बराबर है।

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

A\subseteq B{\text{ if and only if }}|A\cap B|=|A|.

⊂ और ⊃ प्रतीक

कुछ लेखक प्रतीकों का उपयोग करते हैं $\subset$ तथा $\supset$ संकेत करना उप-समूचय तथा सुपरसेट क्रमश;अर्थात्, प्रतीकों के अतिरिक्त एक ही अर्थ के साथ $\subseteq$ तथा $\supseteq .$ ^[4] उदाहरण के लिए, इन लेखकों के लिए, यह हर सेट ए का सच है $A\subset A.$

अन्य लेखक प्रतीकों का उपयोग करना पसंद करते हैं $\subset$ तथा $\supset$ संकेत करना उचित (जिसे सख्त कहा जाता है) उपसमुच्चय और proper क्रमशः सुपरसेट;अर्थात्, प्रतीकों के अतिरिक्त एक ही अर्थ के साथ $\subsetneq$ तथा $\supsetneq .$ ^[5] यह उपयोग करता है $\subseteq$ तथा $\subset$ असमानता प्रतीकों के अनुरूप $\leq$ तथा $<.$ उदाहरण के लिए, यदि $x\leq y,$ तब x y के बराबर हो सकता है या नहीं, किन्तु यदि $x<y,$ तब x निश्चित रूप से y के बराबर नहीं है, और y से कम है।इसी तरह, सम्मेलन का उपयोग करना $\subset$ उचित उपसमुच्चय है, यदि $A\subseteq B,$ तब एक हो सकता है या नहीं हो सकता है, किन्तु यदि $A\subset B,$ फिर ए निश्चित रूप से बी के बराबर नहीं है।

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

नियमित बहुभुज बहुभुज का एक उपसमुच्चय बनाते हैं

सेट a = {1, 2} b = {1, 2, 3} का एक उचित उपसमूह है, इस प्रकार दोनों अभिव्यक्तियाँ $A\subseteq B$ तथा $A\subsetneq B$ सच हैं।
सेट d = {1, 2, 3} एक उपसमुच्चय है (किन्तु not E = {1, 2, 3} का एक उचित उपसमुच्चय), इस प्रकार $D\subseteq E$ सच है, और $D\subsetneq E$ सच नहीं है (गलत)।
कोई भी सेट स्वयं का एक उपसमुच्चय है, किन्तु एक उचित उपसमुच्चय नहीं है।( $X\subseteq X$ सच है, और $X\subsetneq X$ किसी भी सेट एक्स के लिए गलत है।)
सेट {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 का उचित उपसमुच्चय नहीं है

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

A\subseteq B

तथा

B\subseteq C

तात्पर्य

A\subseteq C.

समावेशन विहित आंशिक आदेश है, इस अर्थ में कि प्रत्येक आंशिक रूप से आदेश दिया गया सेट $(X,\preceq )$ समावेश द्वारा आदेशित सेटों के कुछ संग्रह के लिए आइसोमॉर्फिक है।ऑर्डिनल नंबर एक सरल उदाहरण हैं: यदि प्रत्येक क्रमिक n को सेट के साथ पहचाना जाता है $[n]$ सभी अध्यादेशों से कम या उसके बराबर, फिर $a\leq b$ यदि और केवल यदि $[a]\subseteq [b].$ पावर सेट के लिए $\operatorname {\mathcal {P}} (S)$ एक सेट एस की, समावेशी आंशिक आदेश है - एक आदेश के लिए एक समरूपता - कार्टेशियन उत्पाद का $k=|S|$ (एस की कार्डिनैलिटी) आंशिक आदेश की प्रतियां $\{0,1\}$ जिसके लिए $0<1.$ इसे एनमरेट करके सचित्र किया जा सकता है $S=\left\{s_{1},s_{2},\ldots ,s_{k}\right\},$ , और प्रत्येक उपसमुच्चय के साथ जुड़ना $T\subseteq S$ (अर्थात, प्रत्येक तत्व $2^{S}$ ) के-टपल से $\{0,1\}^{k},$ जिनमें से ITH समन्वय 1 है यदि और केवल यदि $s_{i}$ टी का सदस्य है।

यह भी देखें

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

संदर्भ

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

ग्रन्थसूची

Jech, Thomas (2002). Set Theory. Springer-Verlag. ISBN 3-540-44085-2.

बाहरी संबंध

Media related to Subsets at Wikimedia Commons
Weisstein, Eric W. "Subset". MathWorld.

[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

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
 {{short description|Set whose elements all belong to another set}}
-गणित में, समुच्चय A, समुच्चय B का एक उपसमुच्चय है यदि A के सभी अवयव भी B के अवयव हैं; तब B, A का सुपरसेट है। गणित में, सेट ए सेट बी का 'उपसमुच्चय' है यदि ए के सभी तत्व बी के तत्व भी हैं;B तब A का एक 'सुपरसेट' है। यह A और B के लिए समान होना संभव है;यदि वे असमान हैं, तो A B का एक 'उचित उपसमूह' है। एक सेट के दूसरे का संबंध दूसरे का उपसमुच्चय है, जिसे 'समावेश' (या कभी -कभी 'नियंत्रण') कहा जाता है।A B का एक उपसमुच्चय है, जिसे B में शामिल किया जा सकता है (या शामिल किया गया है) A या A शामिल है।
+गणित में, समुच्चय A, समुच्चय B का एक उपसमुच्चय है यदि A के सभी अवयव भी B के अवयव हैं; तब B, A का '''सुपरसेट''' है। A और B का बराबर होना संभव है; यदि वे असमान हैं, तो A, B का '''उचित उपसमुच्चय''' है। एक समुच्चय का दूसरे समुच्चय का उपसमुच्चय होने के संबंध को '''समावेश''' (या कभी-कभी '''रोकथाम''') कहा जाता है। A, B का एक उपसमुच्चय है, इसे इस प्रकार भी व्यक्त किया जा सकता है कि B में A सम्मिलित है (या सम्मिलित है) या B में A सम्मिलित है (या समाहित है)। A '''k-उपसमुच्चय''' k तत्वों वाला एक उपसमुच्चय है।
-उपसमुच्चय संबंध सेट पर एक आंशिक आदेश को परिभाषित करता है।वास्तव में, किसी दिए गए सेट के उपसमुच्चय उपसमुच्चय संबंध के तहत एक बूलियन बीजगणित बनाते हैं, जिसमें ज्वाइन एंड मीट को चौराहे और संघ द्वारा दिया जाता है, और उपसमुच्चय संबंध ही बूलियन समावेश संबंध है।
+उपसमुच्चय संबंध समुच्चयों पर आंशिक क्रम को परिभाषित करता है। वास्तव में, किसी दिए गए सेट के उपसमुच्चय उपसमुच्चय संबंध के अनुसार  एक बूलियन बीजगणित बनाते हैं, जिसमें जुड़ना और मिलना प्रतिच्छेदन और संघ द्वारा दिया जाता है, और उपसमुच्चय संबंध स्वयं बूलियन समावेशन संबंध है।
 == परिभाषाएँ ==
@@ Line 9: / Line 9: @@
 :* बी एक 'सुपरसेट' है, जिसे निरूपित किया गया है <math>B \supseteq A.</math>
-यदि A B का एक उपसमुच्चय है, लेकिन A B के बराबर नहीं है (यानी B का कम से कम एक तत्व मौजूद है जो A का एक तत्व नहीं है), तो: फिर:
+यदि A B का एक उपसमुच्चय है, किन्तु A B के बराबर नहीं है (अर्थात B का कम से कम एक तत्व उपस्तिथ है जो A का एक तत्व नहीं है), तो: फिर:
 :*A B का एक 'उचित' (या 'सख्त') 'उपसमुच्चय' है, जिसे द्वारा निरूपित किया गया है <math>A \subsetneq B</math>, या समकक्ष,
 :* बी एक 'उचित' (या 'सख्त') 'सुपरसेट' है, जो द्वारा निरूपित किया गया है <math>B \supsetneq A</math>।
@@ Line 15: / Line 15: @@
 खाली सेट, लिखा <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> तत्व तर्क के रूप में जानी जाने वाली एक प्रूफ तकनीक को लागू करके<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>
-# मान लीजिए कि '' ए '' एक विशेष लेकिन मनमाने ढंग से चुना गया तत्व है
+# मान लीजिए कि '' ए '' एक विशेष किन्तु मनमाने ढंग से चुना गया तत्व है
 # दिखाएँ कि '' ए '' '' बी '' का एक तत्व है।
 </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>
-* एक सेट 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 \cap B| = |A|.</math>
@@ Line 32: / Line 32: @@
 ⊂ और ⊃ प्रतीक
-कुछ लेखक प्रतीकों का उपयोग करते हैं <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|नियमित बहुभुज बहुभुज का एक उपसमुच्चय बनाते हैं]]
 * सेट 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 से अधिक है}
-* प्राकृतिक संख्याओं का सेट तर्कसंगत संख्याओं के सेट का एक उचित उपसमुच्चय है;इसी तरह, एक लाइन खंड में बिंदुओं का सेट A: INE (गणित) | लाइन में बिंदुओं के सेट का एक उचित उपसमुच्चय है।ये दो उदाहरण हैं जिनमें उपसमुच्चय और पूरे सेट दोनों अनंत हैं, और उपसमुच्चय में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के मामले किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
+* प्राकृतिक संख्याओं का सेट तर्कसंगत संख्याओं के सेट का एक उचित उपसमुच्चय है;इसी तरह, एक लाइन खंड में बिंदुओं का सेट A: INE (गणित) | लाइन में बिंदुओं के सेट का एक उचित उपसमुच्चय है।ये दो उदाहरण हैं जिनमें उपसमुच्चय और पूरे सेट दोनों अनंत हैं, और उपसमुच्चय में एक ही कार्डिनैलिटी (अवधारणा जो आकार से मेल खाती है, अर्थात, तत्वों की संख्या, एक परिमित सेट की) पूरी तरह से है;इस तरह के स्थितियों किसी के प्रारंभिक अंतर्ज्ञान के लिए काउंटर चला सकते हैं।
-* तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित उपसमुच्चय है।इस उदाहरण में, दोनों सेट अनंत हैं, लेकिन बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या {{em|शक्ति}}) पूर्व सेट की तुलना में।
+* तर्कसंगत संख्याओं का सेट वास्तविक संख्याओं के सेट का एक उचित उपसमुच्चय है।इस उदाहरण में, दोनों सेट अनंत हैं, किन्तु बाद वाले सेट में एक बड़ा कार्डिनैलिटी है (या {{em|शक्ति}}) पूर्व सेट की तुलना में।
 एक यूलर आरेख में एक और उदाहरण:
@@ Line 53: / Line 53: @@
 == समावेश के अन्य गुण ==
 [[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> टी का सदस्य है।
 == यह भी देखें ==

v t e समुच्चय सिद्धान्त
अवलोकन	सेट (गणित)
स्वयंसिद्ध	adjunction पसंद गणना योग्य आश्रित ग्लोबल निर्माण (v = l) निर्धारण एक्सटेंशनलिटी अनंत आकार की सीमा जोड़ी पावर सेट नियमितता संघ मार्टिन का स्वयंसिद्ध स्वयंसिद्ध स्कीमा प्रतिस्थापन विनिर्देश
संचालन	कार्तीय गुणन पूरक (यानी सेट अंतर) डे मॉर्गन के कानून असंतुष्ट संघ पहचान चौराहा सत्ता स्थापित सममित अंतर संघ
Concepts Methods	लगभग कार्डिनैलिटी कार्डिनल नंबर ( बड़ा) वर्ग रचनात्मक ब्रह्मांड सातत्य परिकल्पना विकर्ण तर्क तत्व क्रमित युग्म ट्यूपल परिवार फोर्सिंग एक-से-एक पत्राचार क्रमसूचक संख्या सेट-बिल्डर नोटेशन ट्रांसफिनाइट इंडक्शन वेन आरेख
सेट प्रकार	अनाकार काउंट करने योग्य खाली परिमित ( वंशानुगत रूप से) फ़िल्टर आधार सबबेस अल्ट्राफिल्टर फजी अनंत पुनरावर्ती सिंगलटन सबसेट⧼dot-separator⧽सुपरसेट सकर्मक बेशुमार यूनिवर्सल
सिद्धांतों	वैकल्पिक स्वयंसिद्ध भोला कैंटर का प्रमेय* Zermelo** सामान्य* प्रिंसिपिया मैथमेटिक '** नई नींव* Zermelo -fraenkel न्यूमैन से - बर्नेज़ - गोडेल* मोर्स -केली क्रिपे-प्लेटेक टार्स्की -ग्रोथेन्डीक
Paradoxes Problems	रसेल का विरोधाभास सुस्लिन की समस्या Burali-Forti विरोधाभास
सिद्धांतकार सेट	अब्राहम फ्रेंकेल बर्ट्रेंड रसेल अर्नस्ट ज़रमेलो जॉर्ज कैंटर जॉन वॉन न्यूमैन कर्ट गोडेल पॉल बर्नस पॉल कोहेन रिचर्ड डेडेकिंड थॉमस जेक थोरलफ स्कोलेम विलार्ड क्वीन लोरेंज हैलबिसेन

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 00:01, 6 July 2023

Contents

परिभाषाएँ

गुण

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

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

यह भी देखें

संदर्भ

ग्रन्थसूची

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 00:01, 6 July 2023

परिभाषाएँ

गुण

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

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

यह भी देखें

संदर्भ

ग्रन्थसूची

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories