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

From Vigyanwiki
(Created page with "{{Short description|Set of elements common to all of some sets}} {{broader|Intersection (mathematics)}} {{Infobox mathematical statement | name = Intersection | image = Venn00...")
 
No edit summary
 
(39 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Set of elements common to all of some sets}}
{{Short description|Set of elements common to all of some sets}}
{{broader|Intersection (mathematics)}}
समुच्चय सिद्धांत में, दो समुच्चय का '''प्रतिच्छेदन''' <math>A</math> तथा <math>B,</math> द्वारा चिह्नित है<ref>{{Cite web|title=सेट्स का चौराहा|url=http://web.mnstate.edu/peil/MDEV102/U1/S3/Intersection4.htm|access-date=2020-09-04|website=web.mnstate.edu}}</ref> <math>A \cap B,</math> के सभी तत्वों से युक्त समुच्चय है I <math>A</math>, <math>B</math> से संबंधित है या समकक्ष है, <math>B</math> के सभी तत्व <math>A</math> के भी हैI<ref>{{cite web|url=http://people.richland.edu/james/lecture/m170/ch05-rul.html|title=आँकड़े: संभाव्यता नियम|publisher=People.richland.edu|access-date=2012-05-08}}</ref>
{{Infobox mathematical statement
== संकेतन एवं शब्दावली ==
| name = Intersection
| image = Venn0001.svg
| caption = The intersection of two sets <math>A</math> and <math>B,</math> represented by circles. <math>A \cap B</math> is in red.
| type = [[Set (mathematics)#Basic operations|Set operation]]
| field = [[Set (mathematics)|Set theory]]
| statement = The intersection is the set of elements that exists in both set <math>A</math> and set <math>B</math>.
| symbolic statement = <math>A \cap B = \{ x: x \in A \text{ and } x \in B\}</math>
}}
समुच्चय सिद्धांत में, दो समुच्चय का प्रतिच्छेदन (गणित) <math>A</math> तथा <math>B,</math> द्वारा चिह्नित <math>A \cap B,</math><ref>{{Cite web|title=सेट्स का चौराहा|url=http://web.mnstate.edu/peil/MDEV102/U1/S3/Intersection4.htm|access-date=2020-09-04|website=web.mnstate.edu}}</ref> के सभी तत्वों से युक्त सेट है <math>A</math> वह भी संबंधित है <math>B</math> या समकक्ष, के सभी तत्व <math>B</math> वह भी संबंधित है <math>A.</math><ref>{{cite web|url=http://people.richland.edu/james/lecture/m170/ch05-rul.html|title=आँकड़े: संभाव्यता नियम|publisher=People.richland.edu|access-date=2012-05-08}}</ref>


प्रतिच्छेदन प्रतीक <math>\cap</math> का उपयोग करके लिखा गया है, अर्थात् इंफिक्स नोटेशन के, उदाहरण निम्नलिखित है:<math display=block>\{1,2,3\}\cap\{2,3,4\}=\{2,3\}</math><math display=block>\{1,2,3\}\cap\{4,5,6\}=\varnothing</math><math display=block>\Z\cap\N=\N</math><math display=block>\{x\in\R:x^2=1\}\cap\N=\{1\}</math>दो से अधिक समुच्चयो के सामान्यीकृत  प्रतिच्छेदन को इस प्रकार लिखा जा सकता है:<math display=block>\bigcap_{i=1}^n A_i</math>जो कैपिटल-सिग्मा नोटेशन के समान होते है।


== संकेतन और शब्दावली ==


चौराहा प्रतीक का उपयोग करके लिखा गया है<math>\cap</math>शर्तों के बीच; यानी इंफिक्स नोटेशन में। उदाहरण के लिए:
इस लेख में प्रयुक्त प्रतीकों की व्याख्या के लिए, गणितीय प्रतीकों की सारणी देखें।
<math display=block>\{1,2,3\}\cap\{2,3,4\}=\{2,3\}</math>
<math display=block>\{1,2,3\}\cap\{4,5,6\}=\varnothing</math>
<math display=block>\Z\cap\N=\N</math>
<math display=block>\{x\in\R:x^2=1\}\cap\N=\{1\}</math>
दो से अधिक सेटों के प्रतिच्छेदन (सामान्यीकृत प्रतिच्छेदन) को इस प्रकार लिखा जा सकता है:
<math display=block>\bigcap_{i=1}^n A_i</math>
जो कैपिटल-सिग्मा नोटेशन के समान है।
 
इस लेख में प्रयुक्त प्रतीकों की व्याख्या के लिए, गणितीय प्रतीकों की तालिका देखें।


== परिभाषा ==
== परिभाषा ==


[[File:Venn 0000 0001.svg|thumb|तीन सेटों का इंटरसेक्शन:<br><math>~A \cap B \cap C</math>]]
[[File:Venn 0000 0001.svg|thumb|तीन समुच्चय का परस्पर:<br><math>~A \cap B \cap C</math>]]
[[File:Venn diagram gr la ru.svg|thumb|केवल अक्षरों के आकार पर विचार करते हुए और उनके उच्चारण की उपेक्षा करते हुए, बिना उच्चारण वाले आधुनिक ग्रीक वर्णमाला, लैटिन लिपि और सिरिलिक लिपि लिपियों का चौराहा]]
[[File:Venn diagram gr la ru.svg|thumb|केवल अक्षरों के आकार पर विचार करते हुए एवं उनके उच्चारण की उपेक्षा करते हुए, बिना उच्चारण वाले आधुनिक ग्रीक वर्णमाला, लैटिन लिपि एवं सिरिलिक लिपियों का परस्पर ]]
[[File:PolygonsSetIntersection.svg|thumb|सेट के साथ चौराहे का उदाहरण]]दो सेटों का चौराहा <math>A</math> तथा <math>B,</math> द्वारा चिह्नित <math>A \cap B</math>,<ref name=":1">{{Cite web|title=सेट ऑपरेशंस {{!}} यूनियन {{!}} चौराहे {{!}} पूरक {{!}} अंतर {{!}} पारस्परिक रूप से अनन्य {{!}} विभाजन {{!}} डी मॉर्गन का नियम {{! }} वितरण नियम {{!}} कार्तीय उत्पाद|url=https://www.probabilitycourse.com/chapter1/1_2_2_set_operations.php|access-date=2020-09-04|website=www.probabilitycourse.com}}</ref> उन सभी वस्तुओं का समुच्चय है जो दोनों समुच्चयों के सदस्य हैं <math>A</math> तथा <math>B.</math>
[[File:PolygonsSetIntersection.svg|thumb|समुच्चय  के साथ परस्पर का उदाहरण]]दो समुच्चयो का परस्पर <math>A</math> तथा <math>B,</math> द्वारा चिह्नित <math>A \cap B</math>,<ref name=":1">{{Cite web|title=सेट ऑपरेशंस {{!}} यूनियन {{!}} चौराहे {{!}} पूरक {{!}} अंतर {{!}} पारस्परिक रूप से अनन्य {{!}} विभाजन {{!}} डी मॉर्गन का नियम {{! }} वितरण नियम {{!}} कार्तीय उत्पाद|url=https://www.probabilitycourse.com/chapter1/1_2_2_set_operations.php|access-date=2020-09-04|website=www.probabilitycourse.com}}</ref> उन सभी वस्तुओं का समुच्चय है जो दोनों समुच्चयों <math>A</math> तथा <math>B.</math> के सदस्य होते हैं I
प्रतीकों में:
यह प्रतीकों में इस प्रकार प्रदर्शित हैं I<math display=block>A \cap B = \{ x: x \in A \text{ and } x \in B\}.</math><math>x</math> का परस्पर तत्व <math>A \cap B</math> है, एवं <math>x</math> का समान तत्व <math>A</math> एवं <math>B.</math><ref name=":1" /> हैI
<math display=block>A \cap B = \{ x: x \in A \text{ and } x \in B\}.</math>
वह है, <math>x</math> चौराहे का एक तत्व है <math>A \cap B</math> अगर और केवल अगर <math>x</math> दोनों का एक तत्व है <math>A</math> और का एक तत्व <math>B.</math><ref name=":1" />


उदाहरण के लिए:
उदाहरण के लिए:
* समुच्चय {1, 2, 3} और {2, 3, 4} का प्रतिच्छेदन {2, 3} है।
* समुच्चय {1, 2, 3} एवं {2, 3, 4} का प्रतिच्छेदन {2, 3} है।
* अंक 9 है {{em|not}} अभाज्य संख्याओं के समुच्चय {2, 3, 5, 7, 11, ...} और विषम संख्याओं के समुच्चय {1, 3, 5, 7, 9, 11, ...} के प्रतिच्छेदन में, क्योंकि 9 प्रधान नहीं है।
* अंक 9 अभाज्य संख्याओं के समुच्चय {2, 3, 5, 7, 11, ...} एवं विषम संख्याओं के समुच्चय {1, 3, 5, 7, 9, 11, ...} के प्रतिच्छेदन में, 9 प्रधान नहीं है।


=== इंटरसेक्टिंग और डिसजॉइंट सेट ===
=== इंटरसेक्टिंग एवं डिसजॉइंट समुच्चय ===


हम कहते हैं {{em|{{visible anchor|<math>A</math> intersects (meets) <math>B</math>|Intersects|To intersect|Meets|To meet}}}} अगर कुछ मौजूद है <math>x</math> वह दोनों का एक तत्व है <math>A</math> तथा <math>B,</math> ऐसे में हम भी यही कहते हैं {{em|<math>A</math> intersects (meets) <math>B</math> '''at''' <math>x</math>}}. समान रूप से, <math>A</math> काटती है <math>B</math> अगर उनका चौराहा <math>A \cap B</math> एक {{em|[[inhabited set]]}}, जिसका अर्थ है कि कुछ मौजूद है <math>x</math> ऐसा है कि <math>x \in A \cap B.</math> हम कहते हैं {{em|<math>A</math> and <math>B</math> are [[Disjoint sets|disjoint]]}} यदि <math>A</math> प्रतिच्छेद नहीं करता <math>B.</math> सरल भाषा में, उनके पास सामान्य तत्व नहीं हैं। <math>A</math> तथा <math>B</math> असंयुक्त हैं यदि उनका चौराहा खाली सेट है, चिह्नित है <math>A \cap B = \varnothing.</math>
कहा जाता है कि, {{em|यदि {{visible anchor|<math>B</math> उपस्थित हो तो, <math>A</math>|Intersects|To intersect|Meets|To meet}} प्रतिच्छेद करता है}} I <math>x</math> का तत्व <math>A</math> तथा <math>B,</math> है I जिस स्थिति में {{em|<math>A</math> प्रतिच्छेद करता है, <math>B</math> '''at''' <math>x</math> प्राप्त होता है }}, समान रूप से, <math>A</math>, <math>B</math> को प्रतिच्छेद करता हैI यदि उनका परस्पर <math>A \cap B</math> {{em|[[वसित समुच्चय]]}} है, जिसे <math>x</math> द्वारा <math>x \in A \cap B.</math> प्रदर्शित करते हैं I यदि <math>A</math><math>B.</math> को प्रतिच्छेद नहीं करता है, तो इसे सरल भाषा में सामान्य तत्व नहीं मानते हैं। यदि <math>A</math> तथा <math>B</math> असंयुक्त हैं और परस्पर रिक्त समुच्चय है, तो इस प्रकार <math>A \cap B = \varnothing.</math> द्वारा प्रदर्शित करते है, उदाहरण के लिए, समुच्चयो <math>\{1, 2\}</math> तथा <math>\{3, 4\}</math> असम्बद्ध हैं, जबकि सम संख्याओं का समुच्चय 3 के गुणज के समुच्चय को 6 के गुणज में विभक्त करता है।  
उदाहरण के लिए, सेट्स <math>\{1, 2\}</math> तथा <math>\{3, 4\}</math> असम्बद्ध हैं, जबकि सम संख्याओं का समुच्चय 3 के गुणक (गणित) के समुच्चय को 6 के गुणज में काटता है।


== बीजगणितीय गुण ==
== बीजगणितीय गुण ==
{{See also|List of set identities and relations|Algebra of sets}}
{{See also|समुच्चय पहचान एवं संबंधों की सूची|समुच्चयों का बीजगणित}}
बाइनरी चौराहा एक साहचर्य ऑपरेशन है; यानी किसी भी सेट के लिए <math>A, B,</math> तथा <math>C,</math> किसी के पास


<math display=block>A \cap (B \cap C) = (A \cap B) \cap C.</math>इस प्रकार अस्पष्टता के बिना कोष्ठकों को छोड़ा जा सकता है: उपरोक्त में से किसी को भी लिखा जा सकता है <math>A \cap B \cap C</math>. चौराहा भी कम्यूटेटिव संपत्ति है। यानी किसी के लिए <math>A</math> तथा <math>B,</math> किसी के पास<math display=block>A \cap B = B \cap A.</math>
बाइनरी परस्पर साहचर्य ऑपरेशन है; अर्थात किसी भी समुच्चय के लिए <math>A, B,</math> तथा <math>C,</math> निम्नलिखित है:<math display="block">A \cap (B \cap C) = (A \cap B) \cap C.</math>इस प्रकार अस्पष्टता के बिना कोष्ठकों को त्यागा जा सकता है: उपरोक्त में से किसी को भी लिखा जा सकता है <math>A \cap B \cap C</math>. परस्पर  भी कम्यूटेटिव संपत्ति है। अर्थात किसी के लिए <math>A</math> तथा <math>B,</math> निम्नलिखित है:<math display="block">A \cap B = B \cap A.</math>अतिरिक्त  समुच्चय के साथ किसी भी समुच्चय का प्रतिच्छेदन अतिरिक्त समुच्चय में परिणाम देता है; अर्थात किसी भी समुच्चय के लिए <math>A</math>, इस प्रकार है:<math display="block">A \cap \varnothing = \varnothing</math>इसके अतिरिक्त, परस्पर ऑपरेशन निःशक्तता है; अर्थात समुच्चय <math>A</math> संतुष्ट <math>A \cap A = A</math> करता है I ये सभी गुण तार्किक संयोजन के विषय में समान तथ्यों का अनुसरण करते हैं।
खाली सेट के साथ किसी भी सेट का प्रतिच्छेदन खाली सेट में परिणाम देता है; यानी कि किसी भी सेट के लिए <math>A</math>,
<math display=block>A \cap \varnothing = \varnothing</math>
इसके अलावा, चौराहा ऑपरेशन Idempotence है; यानी कोई भी सेट <math>A</math> संतुष्ट करता है <math>A \cap A = A</math>. ये सभी गुण तार्किक संयोजन के बारे में समान तथ्यों से अनुसरण करते हैं।


इंटरसेक्शन डिस्ट्रीब्यूटिव प्रॉपर्टी ओवर यूनियन (सेट थ्योरी) और यूनियन डिस्ट्रीब्यूट ओवर इंटरसेक्शन। यानी किसी भी सेट के लिए <math>A, B,</math> तथा <math>C,</math> किसी के पास
 
<math display=block>\begin{align}
परस्पर संघ पर वितरित करता है एवं संघ प्रतिच्छेदन पर वितरित करता है। अर्थात किसी भी समुच्चय के लिए <math>A, B,</math> तथा <math>C,</math> निम्नलिखित है<math display="block">\begin{align}
A \cap (B \cup C) = (A \cap B) \cup (A \cap C) \\
A \cap (B \cup C) = (A \cap B) \cup (A \cap C) \\
A \cup (B \cap C) = (A \cup B) \cap (A \cup C)
A \cup (B \cap C) = (A \cup B) \cap (A \cup C)
\end{align}</math>
\end{align}</math>विश्व के अंदर <math>U,</math> पूरक (समुच्चय  सिद्धांत) को परिभाषित कर सकता है I <math>A^c</math> को <math>A</math> के सभी तत्वों का समुच्चय होना है, किन्तु  <math>U</math> अंदर नही होना चाहिए I <math>A.</math> का परस्पर <math>A</math> तथा <math>B</math> को उनके पूरक के संघ के रूप में लिखा जा सकता है, जो डी मॉर्गन के नियम द्वारा सरलता से प्राप्त होता है:<math display="block">A \cap B = \left(A^{c} \cup B^{c}\right)^c</math>
एक ब्रह्मांड के अंदर <math>U,</math> कोई पूरक (सेट सिद्धांत) को परिभाषित कर सकता है <math>A^c</math> का <math>A</math> के सभी तत्वों का समुच्चय होना <math>U</math> अंदर नही <math>A.</math> इसके अलावा, का चौराहा <math>A</math> तथा <math>B</math> डी मॉर्गन के कानूनों से आसानी से प्राप्त उनके पूरक के संघ (सेट सिद्धांत) के पूरक के रूप में लिखा जा सकता है:<math display="block">A \cap B = \left(A^{c} \cup B^{c}\right)^c</math>


== इच्छानुसार प्रतिच्छेदन ==
{{Further information|पुनरावृत्त बाइनरी ऑपरेशन}}


== मनमाना चौराहा ==
सामान्य धारणा समुच्चयो के स्वेच्छानुसार अतिरिक्त संग्रह का प्रतिच्छेदन है। यदि <math>M</math> अतिरिक्त समुच्चय है जिसके तत्व स्वयं समुच्चय  होते हैं I <math>x</math> परस्पर का तत्व <math>M</math> है I यदि केवल सार्वभौमिक परिमाणीकरण तत्व <math>A</math> का <math>M,</math> <math>x</math> का तत्व है, <math>A.</math> प्रतीकों में इस प्रकार है:<math display=block>\left( x \in \bigcap_{A \in M} A \right) \Leftrightarrow \left( \forall A \in M, \ x \in A \right).</math>इस अंतिम अवधारणा के लिए नोटेशन अधिक भिन्न हो सकते हैं। समुच्चय सिद्धांत कभी <math>\cap M</math> लिखते है, इसके अतिरिक्त <math>\cap_{A \in M} A</math> भी लिखते है, इसके पश्चात नोटेशन को सामान्यीकृत किया जा सकता है I <math>\cap_{i \in I} A_i</math>, जो संग्रह के प्रतिच्छेदन को संदर्भित करता है I <math>\left\{ A_i : i \in I \right\}.</math>यहां <math>I</math> गैर-अतिरिक्त समुच्चय है, एवं  <math>A_i</math> प्रत्येक के लिए समुच्चय <math>i \in I.</math> है I हानि में सूचकांक समुच्चय  <math>I</math> प्राकृतिक संख्याओं का समुच्चय है, इसमें अनंत गुणनफल के अनुरूप नोटेशन देखा जा सकता है:<math display="block">\bigcap_{i=1}^{\infty} A_i.</math>जब स्वरूपण कठिन हो, तो इसे इस प्रकार <math>A_1 \cap A_2 \cap A_3 \cap \cdots</math> लिखा जा सकता है I यह अंतिम उदाहरण, अनगिनत समुच्चयों का प्रतिच्छेदन, वास्तव में अधिक सामान्य है; उदाहरण के लिए, सिग्मा (σ- ) बीजगणितय पर लेख देखें।
{{Further information|Iterated binary operation}}
सबसे सामान्य धारणा मनमाना का प्रतिच्छेदन है {{em|nonempty}} सेट का संग्रह।
यदि <math>M</math> एक खाली सेट सेट है जिसके तत्व स्वयं सेट होते हैं <math>x</math> का एक तत्व है {{em|intersection}} का <math>M</math> अगर और केवल अगर सार्वभौमिक परिमाणीकरण तत्व <math>A</math> का <math>M,</math> <math>x</math> का एक तत्व है <math>A.</math>
प्रतीकों में:
<math display=block>\left( x \in \bigcap_{A \in M} A \right) \Leftrightarrow \left( \forall A \in M, \ x \in A \right).</math>
इस अंतिम अवधारणा के लिए अंकन काफी भिन्न हो सकते हैं। सेट थ्योरी कभी लिखेंगे<math>\cap M</math>, जबकि अन्य इसके बजाय लिखेंगे<math>\cap_{A \in M} A</math>.
बाद के अंकन को सामान्यीकृत किया जा सकता है<math>\cap_{i \in I} A_i</math>, जो संग्रह के प्रतिच्छेदन को संदर्भित करता है <math>\left\{ A_i : i \in I \right\}.</math>
यहां <math>I</math> एक गैर-खाली सेट है, और <math>A_i</math> प्रत्येक के लिए एक सेट है <math>i \in I.</math>
मामले में कि सूचकांक सेट <math>I</math> प्राकृतिक संख्याओं का समुच्चय है, अनंत गुणनफल के अनुरूप अंकन देखा जा सकता है:
<math display=block>\bigcap_{i=1}^{\infty} A_i.</math>
जब स्वरूपण कठिन हो, तो इसे भी लिखा जा सकता है<math>A_1 \cap A_2 \cap A_3 \cap \cdots</math>. यह अंतिम उदाहरण, अनगिनत सेटों का प्रतिच्छेदन, वास्तव में बहुत सामान्य है; उदाहरण के लिए, सिग्मा बीजगणित|σ-अलजेब्रा पर लेख देखें।


== शून्य चौराहा ==
== शून्य प्रतिच्छेदन ==
[[File:Multigrade operator AND.svg|thumb|कोष्ठकों में तर्कों का तार्किक संयोजन<br><br>बिना किसी तर्क का संयोजन टॉटोलॉजी (तर्क) है (तुलना करें: खाली उत्पाद); तदनुसार बिना सेट का प्रतिच्छेदन ब्रह्मांड (सेट सिद्धांत) है।]]ध्यान दें कि पिछले अनुभाग में, हमने उस मामले को बाहर कर दिया था जहाँ <math>M</math> खाली सेट था (<math>\varnothing</math>). कारण इस प्रकार है: संग्रह का प्रतिच्छेदन <math>M</math> सेट के रूप में परिभाषित किया गया है (सेट-बिल्डर नोटेशन देखें)
[[File:Multigrade operator AND.svg|thumb|कोष्ठकों में तर्कों का तार्किक संयोजन बिना किसी तर्क का संयोजन टॉटोलॉजी है (तुलना करें: अतिरिक्त उत्पाद); तदनुसार बिना समुच्चय का प्रतिच्छेदन ब्रह्मांड (समुच्चय सिद्धांत) है।]]ध्यान दें कि पूर्व अनुभाग में, हमने उस हानि को बाहर कर दिया था जहाँ <math>M</math> रिक्त (<math>\varnothing</math>) समुच्चय था I जिसका कारण इस प्रकार है: संग्रह का प्रतिच्छेदन <math>M</math> समुच्चय  के रूप में परिभाषित किया गया है (समुच्चय -बिल्डर नोटेशन देखें)<math display=block>\bigcap_{A \in M} A = \{x : \text{ for all } A \in M, x \in A\}.</math>यदि <math>M</math> रिक्त समुच्चय है, तो <math>A</math> में <math>M,</math> तो प्रश्न बन जाता है कौन सा <math>x</math> कथित सारणी को पूर्ण करते हैं? {{em| <math>x</math>}}. जब <math>M</math> रिक्त समुच्चय है, ऊपर दी गई सारणी रिक्त समुच्चय का उदाहरण है। रिक्त समुच्चय का परस्पर सार्वभौमिक समुच्चय होना चाहिए,<ref>{{cite book|last=Megginson|first=Robert E.|author-link=Robert Megginson|title=बनच अंतरिक्ष सिद्धांत का परिचय|series=[[Graduate Texts in Mathematics]]|volume=183|publisher=Springer-Verlag|location=New York|year=1998|pages=xx+596|isbn=0-387-98431-3|chapter=Chapter 1}}</ref> परन्तु मानक (ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत) समुच्चय सिद्धांत में, सार्वभौमिक समुच्चय नहीं है।
<math display=block>\bigcap_{A \in M} A = \{x : \text{ for all } A \in M, x \in A\}.</math>
यदि <math>M</math> खाली है, कोई सेट नहीं है <math>A</math> में <math>M,</math> तो सवाल बन जाता है कौन सा <math>x</math><nowiki>'</nowiki>कथित शर्तों को पूरा करते हैं? उत्तर लगता है {{em|every possible <math>x</math>}}. कब <math>M</math> खाली है, ऊपर दी गई शर्त एक खाली सच्चाई का उदाहरण है। तो खाली परिवार का चौराहा सार्वभौमिक सेट होना चाहिए (प्रतिच्छेदन के संचालन के लिए पहचान तत्व),<ref>{{cite book|last=Megginson|first=Robert E.|author-link=Robert Megginson|title=बनच अंतरिक्ष सिद्धांत का परिचय|series=[[Graduate Texts in Mathematics]]|volume=183|publisher=Springer-Verlag|location=New York|year=1998|pages=xx+596|isbn=0-387-98431-3|chapter=Chapter 1}}</ref>
लेकिन मानक (ज़र्मेलो-फ्रेंकेल सेट सिद्धांत) सेट सिद्धांत में, सार्वभौमिक सेट मौजूद नहीं है।


प्रकार सिद्धांत में हालांकि, <math>x</math> निर्धारित प्रकार का है <math>\tau,</math> इसलिए चौराहा प्रकार का समझा जाता है <math>\mathrm{set}\ \tau</math> (सेट का प्रकार जिसके तत्व अंदर हैं <math>\tau</math>), और हम परिभाषित कर सकते हैं <math>\bigcap_{A \in \empty} A</math> का सार्वभौमिक सेट होना <math>\mathrm{set}\ \tau</math> (वह समुच्चय जिसके तत्व सभी प्रकार के पद हैं <math>\tau</math>).
प्रकार सिद्धांत में चूँकि, <math>x</math> निर्धारित प्रकार का है I इसलिए <math>\tau,</math> परस्पर प्रकार का समझा जाता है I <math>\mathrm{set}\ \tau</math> (समुच्चय  का प्रकार जिसके तत्व <math>\tau</math> अंदर हैं ), को हम परिभाषित कर सकते हैं I <math>\bigcap_{A \in \empty} A</math> का सार्वभौमिक समुच्चय  <math>\mathrm{set}\ \tau</math> होना I (वह समुच्चय जिसके तत्व सभी प्रकार के पद <math>\tau</math> हैं |)


== यह भी देखें ==
== यह भी देखें ==
 
* {{annotated link|समुच्चयों का बीजगणित}}
{{commons category}}
* {{annotated link|प्रमुखता}}
* {{annotated link|Algebra of sets}}
* {{annotated link|पूरक (समुच्चय सिद्धांत)|पूरक}}
* {{annotated link|Cardinality}}
* {{annotated link|इंटरसेक्शन (यूक्लिडियन ज्यामिति)}}
* {{annotated link|Complement (set theory)|Complement}}
* {{annotated link|इंटरसेक्शन ग्राफ}}
* {{annotated link|Intersection (Euclidean geometry)}}
* {{annotated link|इंटरसेक्शन सिद्धांत}}
* {{annotated link|Intersection graph}}
* {{annotated link|समुच्चय पहचान एवं संबंधों की सूची}}
* {{annotated link|Intersection theory}}
* {{annotated link|तार्किक संयोजन}}
* {{annotated link|List of set identities and relations}}
* {{annotated link|मिनहाश}}
* {{annotated link|Logical conjunction}}
* {{annotated link| समुच्चय सिद्धांत}}
* {{annotated link|MinHash}}
* {{annotated link|
* {{annotated link|Naive set theory}}
सममित अंतर}}
* {{annotated link|Symmetric difference}}
* {{annotated link|संघ (समुच्चय सिद्धांत)| संघ}}
* {{annotated link|Union (set theory)|Union}}
 
 
==संदर्भ==
==संदर्भ==


Line 109: Line 68:
* {{cite book|last=Munkres|first=James R.|author-link=James Munkres|title=Topology|edition=Second|location=Upper Saddle River|publisher=Prentice Hall|chapter=Set Theory and Logic|year=2000|isbn=0-13-181629-2}}
* {{cite book|last=Munkres|first=James R.|author-link=James Munkres|title=Topology|edition=Second|location=Upper Saddle River|publisher=Prentice Hall|chapter=Set Theory and Logic|year=2000|isbn=0-13-181629-2}}
* {{cite book|title=Discrete Mathematics and Its Applications|first=Kenneth|last=Rosen|location=Boston|publisher=McGraw-Hill|year=2007|edition=Sixth|isbn=978-0-07-322972-0|chapter=Basic Structures: Sets, Functions, Sequences, and Sums}}
* {{cite book|title=Discrete Mathematics and Its Applications|first=Kenneth|last=Rosen|location=Boston|publisher=McGraw-Hill|year=2007|edition=Sixth|isbn=978-0-07-322972-0|chapter=Basic Structures: Sets, Functions, Sequences, and Sums}}
==इस पेज में लापता आंतरिक लिंक की सूची==


==बाहरी संबंध==
==बाहरी संबंध==
Line 120: Line 75:
{{Set theory}}
{{Set theory}}
{{Mathematical logic}}
{{Mathematical logic}}
[[Category: समुच्चय सिद्धांत में मूलभूत अवधारणा]]
[[Category: सेट पर संचालन]]
[[Category: चौराहा]]


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

Latest revision as of 16:24, 12 October 2023

समुच्चय सिद्धांत में, दो समुच्चय का प्रतिच्छेदन तथा द्वारा चिह्नित है[1] के सभी तत्वों से युक्त समुच्चय है I , से संबंधित है या समकक्ष है, के सभी तत्व के भी हैI[2]

संकेतन एवं शब्दावली

प्रतिच्छेदन प्रतीक का उपयोग करके लिखा गया है, अर्थात् इंफिक्स नोटेशन के, उदाहरण निम्नलिखित है:

दो से अधिक समुच्चयो के सामान्यीकृत प्रतिच्छेदन को इस प्रकार लिखा जा सकता है:
जो कैपिटल-सिग्मा नोटेशन के समान होते है।


इस लेख में प्रयुक्त प्रतीकों की व्याख्या के लिए, गणितीय प्रतीकों की सारणी देखें।

परिभाषा

तीन समुच्चय का परस्पर:
केवल अक्षरों के आकार पर विचार करते हुए एवं उनके उच्चारण की उपेक्षा करते हुए, बिना उच्चारण वाले आधुनिक ग्रीक वर्णमाला, लैटिन लिपि एवं सिरिलिक लिपियों का परस्पर
समुच्चय के साथ परस्पर का उदाहरण

दो समुच्चयो का परस्पर तथा द्वारा चिह्नित ,[3] उन सभी वस्तुओं का समुच्चय है जो दोनों समुच्चयों तथा के सदस्य होते हैं I

यह प्रतीकों में इस प्रकार प्रदर्शित हैं I

का परस्पर तत्व है, एवं का समान तत्व एवं [3] हैI

उदाहरण के लिए:

  • समुच्चय {1, 2, 3} एवं {2, 3, 4} का प्रतिच्छेदन {2, 3} है।
  • अंक 9 अभाज्य संख्याओं के समुच्चय {2, 3, 5, 7, 11, ...} एवं विषम संख्याओं के समुच्चय {1, 3, 5, 7, 9, 11, ...} के प्रतिच्छेदन में, 9 प्रधान नहीं है।

इंटरसेक्टिंग एवं डिसजॉइंट समुच्चय

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

बीजगणितीय गुण

बाइनरी परस्पर साहचर्य ऑपरेशन है; अर्थात किसी भी समुच्चय के लिए तथा निम्नलिखित है:

इस प्रकार अस्पष्टता के बिना कोष्ठकों को त्यागा जा सकता है: उपरोक्त में से किसी को भी लिखा जा सकता है . परस्पर भी कम्यूटेटिव संपत्ति है। अर्थात किसी के लिए तथा निम्नलिखित है:
अतिरिक्त समुच्चय के साथ किसी भी समुच्चय का प्रतिच्छेदन अतिरिक्त समुच्चय में परिणाम देता है; अर्थात किसी भी समुच्चय के लिए , इस प्रकार है:
इसके अतिरिक्त, परस्पर ऑपरेशन निःशक्तता है; अर्थात समुच्चय संतुष्ट करता है I ये सभी गुण तार्किक संयोजन के विषय में समान तथ्यों का अनुसरण करते हैं।


परस्पर संघ पर वितरित करता है एवं संघ प्रतिच्छेदन पर वितरित करता है। अर्थात किसी भी समुच्चय के लिए तथा निम्नलिखित है

विश्व के अंदर पूरक (समुच्चय सिद्धांत) को परिभाषित कर सकता है I को के सभी तत्वों का समुच्चय होना है, किन्तु अंदर नही होना चाहिए I का परस्पर तथा को उनके पूरक के संघ के रूप में लिखा जा सकता है, जो डी मॉर्गन के नियम द्वारा सरलता से प्राप्त होता है:

इच्छानुसार प्रतिच्छेदन

सामान्य धारणा समुच्चयो के स्वेच्छानुसार अतिरिक्त संग्रह का प्रतिच्छेदन है। यदि अतिरिक्त समुच्चय है जिसके तत्व स्वयं समुच्चय होते हैं I परस्पर का तत्व है I यदि केवल सार्वभौमिक परिमाणीकरण तत्व का का तत्व है, प्रतीकों में इस प्रकार है:

इस अंतिम अवधारणा के लिए नोटेशन अधिक भिन्न हो सकते हैं। समुच्चय सिद्धांत कभी लिखते है, इसके अतिरिक्त भी लिखते है, इसके पश्चात नोटेशन को सामान्यीकृत किया जा सकता है I , जो संग्रह के प्रतिच्छेदन को संदर्भित करता है I यहां गैर-अतिरिक्त समुच्चय है, एवं प्रत्येक के लिए समुच्चय है I हानि में सूचकांक समुच्चय प्राकृतिक संख्याओं का समुच्चय है, इसमें अनंत गुणनफल के अनुरूप नोटेशन देखा जा सकता है:
जब स्वरूपण कठिन हो, तो इसे इस प्रकार लिखा जा सकता है I यह अंतिम उदाहरण, अनगिनत समुच्चयों का प्रतिच्छेदन, वास्तव में अधिक सामान्य है; उदाहरण के लिए, सिग्मा (σ- ) बीजगणितय पर लेख देखें।

शून्य प्रतिच्छेदन

कोष्ठकों में तर्कों का तार्किक संयोजन बिना किसी तर्क का संयोजन टॉटोलॉजी है (तुलना करें: अतिरिक्त उत्पाद); तदनुसार बिना समुच्चय का प्रतिच्छेदन ब्रह्मांड (समुच्चय सिद्धांत) है।

ध्यान दें कि पूर्व अनुभाग में, हमने उस हानि को बाहर कर दिया था जहाँ रिक्त () समुच्चय था I जिसका कारण इस प्रकार है: संग्रह का प्रतिच्छेदन समुच्चय के रूप में परिभाषित किया गया है (समुच्चय -बिल्डर नोटेशन देखें)

यदि रिक्त समुच्चय है, तो में तो प्रश्न बन जाता है कौन सा कथित सारणी को पूर्ण करते हैं? . जब रिक्त समुच्चय है, ऊपर दी गई सारणी रिक्त समुच्चय का उदाहरण है। रिक्त समुच्चय का परस्पर सार्वभौमिक समुच्चय होना चाहिए,[4] परन्तु मानक (ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत) समुच्चय सिद्धांत में, सार्वभौमिक समुच्चय नहीं है।

प्रकार सिद्धांत में चूँकि, निर्धारित प्रकार का है I इसलिए परस्पर प्रकार का समझा जाता है I (समुच्चय का प्रकार जिसके तत्व अंदर हैं ), को हम परिभाषित कर सकते हैं I का सार्वभौमिक समुच्चय होना I (वह समुच्चय जिसके तत्व सभी प्रकार के पद हैं |)

यह भी देखें

सममित अंतर| सममित अंतर]] – Elements in exactly one of two sets

संदर्भ

  1. "सेट्स का चौराहा". web.mnstate.edu. Retrieved 2020-09-04.
  2. "आँकड़े: संभाव्यता नियम". People.richland.edu. Retrieved 2012-05-08.
  3. 3.0 3.1 "सेट ऑपरेशंस | यूनियन | चौराहे | पूरक | अंतर | पारस्परिक रूप से अनन्य | विभाजन | डी मॉर्गन का नियम | वितरण नियम | कार्तीय उत्पाद". www.probabilitycourse.com. Retrieved 2020-09-04.
  4. Megginson, Robert E. (1998). "Chapter 1". बनच अंतरिक्ष सिद्धांत का परिचय. Graduate Texts in Mathematics. Vol. 183. New York: Springer-Verlag. pp. xx+596. ISBN 0-387-98431-3.


अग्रिम पठन

  • Devlin, K. J. (1993). The Joy of Sets: Fundamentals of Contemporary Set Theory (Second ed.). New York, NY: Springer-Verlag. ISBN 3-540-94094-4.
  • Munkres, James R. (2000). "Set Theory and Logic". Topology (Second ed.). Upper Saddle River: Prentice Hall. ISBN 0-13-181629-2.
  • Rosen, Kenneth (2007). "Basic Structures: Sets, Functions, Sequences, and Sums". Discrete Mathematics and Its Applications (Sixth ed.). Boston: McGraw-Hill. ISBN 978-0-07-322972-0.

बाहरी संबंध