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

समुच्चय सिद्धांत में, दो समुच्चय का प्रतिच्छेदन $$A$$ तथा $$B,$$ द्वारा चिह्नित है $$A \cap B,$$ के सभी तत्वों से युक्त समुच्चय है I $$A$$, $$B$$ से संबंधित है या समकक्ष है, $$B$$ के सभी तत्व $$A$$ के भी हैI

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

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

परिभाषा
दो समुच्चयो का परस्पर $$A$$ तथा $$B,$$ द्वारा चिह्नित $$A \cap B$$, उन सभी वस्तुओं का समुच्चय है जो दोनों समुच्चयों $$A$$ तथा $$B.$$ के सदस्य होते हैं I यह प्रतीकों में इस प्रकार प्रदर्शित हैं I$$A \cap B = \{ x: x \in A \text{ and } x \in B\}.$$$$x$$ का परस्पर तत्व $$A \cap B$$ है, और यदि $$x$$ दोनों का समान तत्व $$A$$ एवं $$B.$$ हैI

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

इंटरसेक्टिंग एवं डिसजॉइंट समुच्चय
कहाँ जाता है कि, I $$x$$ का तत्व $$A$$ तथा $$B,$$ है I जिस स्थिति में, समान रूप से, $$A$$, $$B$$ को प्रतिच्छेद करता है I यदि उनका परस्पर $$A \cap B$$  है, जिसे $$x$$ द्वारा $$x \in A \cap B.$$ प्रदर्शित करते हैं I यदि $$A$$,  $$B.$$ को प्रतिच्छेद नहीं करता है, तो इसे सरल भाषा में सामान्य तत्व नहीं मानते हैं। यदि $$A$$ तथा $$B$$ असंयुक्त हैं और परस्पर रिक्त समुच्चय है, तो प्रकार$$A \cap B = \varnothing.$$ प्रदर्शित करते है, उदाहरण के लिए, समुच्चयो $$\{1, 2\}$$ तथा $$\{3, 4\}$$ असम्बद्ध हैं, जबकि सम संख्याओं का समुच्चय 3 के गुणज के समुच्चय को 6 के गुणज में विभक्त करता है।

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

परस्पर संघ पर वितरित करता है एवं संघ प्रतिच्छेदन पर वितरित करता है। अर्थात किसी भी समुच्चय के लिए $$A, B,$$ तथा $$C,$$ निम्नलिखित है$$\begin{align} A \cap (B \cup C) = (A \cap B) \cup (A \cap C) \\ A \cup (B \cap C) = (A \cup B) \cap (A \cup C) \end{align}$$विश्व के अंदर $$U,$$ पूरक (समुच्चय सिद्धांत) को परिभाषित कर सकता है I $$A^c$$ को $$A$$ के सभी तत्वों का समुच्चय होना है, लेकिन $$U$$ अंदर नही होना चाहिए I $$A.$$ का परस्पर $$A$$ तथा $$B$$ को उनके पूरक के संघ के रूप में लिखा जा सकता है, जो डी मॉर्गन के नियमों से सरलता से प्राप्त होता है:$$A \cap B = \left(A^{c} \cup B^{c}\right)^c$$

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

शून्य प्रतिच्छेदन
ध्यान दें कि पूर्व अनुभाग में, हमने उस हानि को बाहर कर दिया था जहाँ $$M$$ रिक्त ($$\varnothing$$) समुच्चय था I जिसका कारण इस प्रकार है: संग्रह का प्रतिच्छेदन $$M$$ समुच्चय के रूप में परिभाषित किया गया है (समुच्चय -बिल्डर नोटेशन देखें)$$\bigcap_{A \in M} A = \{x : \text{ for all } A \in M, x \in A\}.$$यदि $$M$$ रिक्त समुच्चय है, तो $$A$$ में $$M,$$ तो प्रश्न बन जाता है कौन सा  $$x$$ कथित पणित को पूरा करते हैं? उत्तर लगता है. जब $$M$$ रिक्त समुच्चय है, ऊपर दी गई पणित रिक्त समुच्चय का उदाहरण है। रिक्त समुच्चय का परस्पर सार्वभौमिक समुच्चय होना चाहिए, परन्तु मानक (ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत) समुच्चय सिद्धांत में, सार्वभौमिक समुच्चय नहीं है।

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