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

From Vigyanwiki
No edit summary
No edit summary
 
(8 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|इंटरसेक्शन (गणित)}}
समुच्चय सिद्धांत में, दो समुच्चय का '''प्रतिच्छेदन''' <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>
समुच्चय सिद्धांत में, दो समुच्चय का प्रतिच्छेदन <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 = इंटरसेक्शन
| image = वेन0001.svg
| caption = दो समुच्चय का इंटरसेक्शन<गणित>A</गणित> and <गणित>B,</गणित> मंडलियों द्वारा दर्शाया गया. <गणित>A ∩B</गणित>लाल रंग में है.
| type = [[समुच्चय (गणित)#आधार संचालन|ऑपरेशन समुच्चय]]
| field = [[समुच्चय (गणित)|समुच्चयलिखित]]
| statement = इंटरसेक्शन उन तत्वों का समूह है जो दोनों समुच्चय में उपस्थित हैं <गणित>A</गणित> एवं समुच्चय <गणित>B</गणित>.
| symbolic statement = <गणित>A \कैप B = \{ x: x \A \ टेक्स्ट { एवं } x \ B में\}</गणित>
}}
== संकेतन एवं शब्दावली ==
== संकेतन एवं शब्दावली ==


Line 23: Line 13:
[[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> के सदस्य होते हैं I
[[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
यह प्रतीकों में इस प्रकार प्रदर्शित हैं 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


उदाहरण के लिए:
उदाहरण के लिए:
Line 31: Line 21:
=== इंटरसेक्टिंग एवं डिसजॉइंट समुच्चय ===
=== इंटरसेक्टिंग एवं डिसजॉइंट समुच्चय ===


कहाँ जाता है कि, {{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 के गुणज में विभक्त करता है।  
कहा जाता है कि, {{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 के गुणज में विभक्त करता है।  


== बीजगणितीय गुण ==
== बीजगणितीय गुण ==
{{See also|समुच्चय पहचान एवं संबंधों की सूची|समुच्चयों का बीजगणित}}
{{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</math>, इस प्रकार है:<math display="block">A \cap \varnothing = \varnothing</math>इसके अतिरिक्त, परस्पर ऑपरेशन निःशक्तता है; अर्थात समुच्चय <math>A</math> संतुष्ट <math>A \cap A = A</math> करता है I ये सभी गुण तार्किक संयोजन के विषय में समान तथ्यों से अनुसरण करते हैं।
बाइनरी परस्पर साहचर्य ऑपरेशन है; अर्थात किसी भी समुच्चय के लिए <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 ये सभी गुण तार्किक संयोजन के विषय में समान तथ्यों का अनुसरण करते हैं।




Line 42: Line 32:
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>विश्व के अंदर <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>
\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>


== इच्छानुसार प्रतिच्छेदन ==
== इच्छानुसार प्रतिच्छेदन ==
{{Further information|पुनरावृत्त बाइनरी ऑपरेशन}}
{{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 यह अंतिम उदाहरण, अनगिनत समुच्चयों का प्रतिच्छेदन, वास्तव में बहुत सामान्य है; उदाहरण के लिए, सिग्मा (σ- ) बीजगणि अलजेब्रा पर लेख देखें।
सामान्य धारणा समुच्चयो के स्वेच्छानुसार अतिरिक्त संग्रह का प्रतिच्छेदन है। यदि <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 यह अंतिम उदाहरण, अनगिनत समुच्चयों का प्रतिच्छेदन, वास्तव में अधिक सामान्य है; उदाहरण के लिए, सिग्मा (σ- ) बीजगणितय पर लेख देखें।


== शून्य प्रतिच्छेदन ==
== शून्य प्रतिच्छेदन ==
[[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>परन्तु मानक (ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत) समुच्चय सिद्धांत में, सार्वभौमिक समुच्चय नहीं है।
[[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>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> हैं |)
प्रकार सिद्धांत में चूँकि, <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> हैं |)


== यह भी देखें ==
== यह भी देखें ==
{{commons category}}
* {{annotated link|समुच्चयों का बीजगणित}}
* {{annotated link|समुच्चयों का बीजगणित}}
* {{annotated link|प्रमुखता}}
* {{annotated link|प्रमुखता}}
Line 81: 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 92: 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.

बाहरी संबंध