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

For broader coverage of this topic, see इंटरसेक्शन (गणित).

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

इंटरसेक्शन

File:वेन0001.svg दो समुच्चय का इंटरसेक्शन<गणित>A</गणित> and <गणित>B,</गणित> मंडलियों द्वारा दर्शाया गया. <गणित>A ∩B</गणित>लाल रंग में है.
Type	ऑपरेशन समुच्चय
Field	समुच्चयलिखित
Statement	इंटरसेक्शन उन तत्वों का समूह है जो दोनों समुच्चय में उपस्थित हैं <गणित>A</गणित> एवं समुच्चय <गणित>B</गणित>.
Symbolic statement	<गणित>A \कैप B = \{ x: x \A \ टेक्स्ट { एवं } x \ B में\}</गणित>

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

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

$$\{1,2,3\}\cap \{2,3,4\}=\{2,3\}$$

$$\{1,2,3\}\cap \{4,5,6\}=\varnothing$$

$$\mathbb {Z} \cap \mathbb {N} =\mathbb {N}$$

$$\{x\in \mathbb {R} :x^{2}=1\}\cap \mathbb {N} =\{1\}$$

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

$$\bigcap _{i=1}^{n}A_{i}$$

जो कैपिटल-सिग्मा नोटेशन के समान है।

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

परिभाषा

तीन समुच्चय का परस्पर:
$~A\cap B\cap C$

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

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

दो समुच्चयो का परस्पर $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 प्रधान नहीं है।

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

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

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

See also: समुच्चय पहचान एवं संबंधों की सूची and समुच्चयों का बीजगणित

बाइनरी परस्पर साहचर्य ऑपरेशन है; अर्थात किसी भी समुच्चय के लिए $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$. ये सभी गुण तार्किक संयोजन के विषय में समान तथ्यों से अनुसरण करते हैं।

परस्पर संघ पर वितरित करता है एवं संघ चौराहे पर वितरित करता है। अर्थात किसी भी समुच्चय के लिए $A,B,$ तथा $C,$ किसी के पास

$${\begin{aligned}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{aligned}}$$

ब्रह्मांड के अंदर $U,$ कोई पूरक (समुच्चय सिद्धांत) को परिभाषित कर सकता है $A^{c}$ का $A$ के सभी तत्वों का समुच्चय होना है $U$ अंदर नही हो, $A.$ इसके अतिरिक्त, का परस्पर $A$ तथा $B$ को उनके पूरक के संघ के रूप में लिखा जा सकता है, जो डी मॉर्गन के कानूनों से सरलता से प्राप्त होता है

$$A\cap B=\left(A^{c}\cup B^{c}\right)^{c}$$

इच्छानुसार परस्पर

Further information: पुनरावृत्त बाइनरी ऑपरेशन

सबसे सामान्य धारणा समुच्चयो के इच्छानुसार अन्य अतिरिक्त संग्रह का प्रतिच्छेदन है। यदि $M$ अतिरिक्त समुच्चय है जिसके तत्व स्वयं समुच्चय होते हैं $x$ का तत्व है परस्पर का $M$ यदि केवल सार्वभौमिक परिमाणीकरण तत्व $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$ के पश्चात अंकन को सामान्यीकृत किया जा सकता है$\cap _{i\in I}A_{i}$, जो संग्रह के प्रतिच्छेदन को संदर्भित करता है $\left\{A_{i}:i\in I\right\}.$यहां $I$ गैर-अतिरिक्त समुच्चय है, एवं $A_{i}$ प्रत्येक के लिए समुच्चय है $i\in I.$ हानि में कि सूचकांक समुच्चय $I$ प्राकृतिक संख्याओं का समुच्चय है, अनंत गुणनफल के अनुरूप अंकन देखा जा सकता है:

$$\bigcap _{i=1}^{\infty }A_{i}.$$

जब स्वरूपण कठिन हो, तो इसे भी लिखा जा सकता है $A_{1}\cap A_{2}\cap A_{3}\cap \cdots$. यह अंतिम उदाहरण, अनगिनत समुच्चयों का प्रतिच्छेदन, वास्तव में बहुत सामान्य है; उदाहरण के लिए, सिग्मा बीजगणि σ-अलजेब्रा पर लेख देखें।

शून्य परस्पर

कोष्ठकों में तर्कों का तार्किक संयोजन

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

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

$$\bigcap _{A\in M}A=\{x:{\text{ for all }}A\in M,x\in A\}.$$

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

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

यह भी देखें

• समुच्चयों का बीजगणित – Identities and relationships involving sets
• प्रमुखता
• पूरक – Set of the elements not in a given subset
• इंटरसेक्शन (यूक्लिडियन ज्यामिति)
• इंटरसेक्शन ग्राफ
• इंटरसेक्शन सिद्धांत
• समुच्चय पहचान एवं संबंधों की सूची
• तार्किक संयोजन – Logical connective AND
• मिनहाश
• समुच्चय सिद्धांत
• [[

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

• संघ

अग्रिम पठन

• 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.

बाहरी संबंध

• Weisstein, Eric W. "Intersection". MathWorld.