समुच्चय और मूल संकेतन

गणित की प्रत्येक शाखा — कलन, रैखिक बीजगणित, प्रायिकता — समुच्चय सिद्धांत की भाषा पर आधारित है। इस पोस्ट में हम समुच्चय की परिभाषा, संकेतन, संक्रियाएँ, घात-समुच्चय, डी मॉर्गन के नियम और चार क्रमिक कठिनाई के हल उदाहरण सीखेंगे।

∈ ∪ ∩मुख्य संकेत

5समुच्चय संक्रियाएँ

2ⁿघात-समुच्चय का आकार

4हल किए गए उदाहरण

CSIR/GATE/JAMपरीक्षा उपयोगिता

𝔼

समुच्चय क्या है? — परिभाषा एवं संकेतन

📐 मूल परिभाषा

एक समुच्चय (Set) एक सुपरिभाषित संग्रह है जिसमें विशिष्ट वस्तुएँ होती हैं, जिन्हें उसके अवयव (Elements) कहते हैं। $a \in A$ का अर्थ है "$a$, समुच्चय $A$ का अवयव है"; $a \notin A$ का अर्थ है "$a$, समुच्चय $A$ का अवयव नहीं है।"

समुच्चय को व्यक्त करने के दो तरीके:

सूचीबद्ध रूप (Roster Form) — अवयवों को कोष्ठक में लिखें:
$$A = \{1,\,2,\,3,\,4,\,5\}, \qquad B = \{a,\,e,\,i,\,o,\,u\}.$$

समुच्चय-निर्माण रूप (Set-Builder Form) — नियम से वर्णन करें:
$$C = \{x \in \mathbb{Z} : x^2 < 10\} = \{-3,-2,-1,0,1,2,3\}.$$

मानक संख्या-समुच्चय:
$\mathbb{N} = \{1,2,3,\ldots\}$ | $\mathbb{Z}$ (पूर्णांक) | $\mathbb{Q}$ (परिमेय) | $\mathbb{R}$ (वास्तविक) | $\emptyset$ (रिक्त समुच्चय)

📖 सन्दर्भ: Rudin, W., Principles of Mathematical Analysis, 3rd ed., Ch. 1, §1.1–1.2. तथा Apostol, T.M., Mathematical Analysis, 2nd ed., Ch. 1, §1.1–1.2.

📐 उपसमुच्चय, समानता और घात-समुच्चय

उपसमुच्चय (Subset): $A \subseteq B$ का अर्थ है $A$ का प्रत्येक अवयव $B$ में भी है। सांकेतिक रूप: $x \in A \Rightarrow x \in B$।

उचित उपसमुच्चय (Proper Subset): $A \subset B$ का अर्थ है $A \subseteq B$ और $A \neq B$।

समानता (Equality): $A = B$ तभी जब $A \subseteq B$ और $B \subseteq A$ — दोनों दिशाएँ आवश्यक हैं।

घात-समुच्चय (Power Set): $\mathcal{P}(A)$, $A$ के सभी उपसमुच्चयों का समुच्चय है। यदि $|A| = n$ (परिमित), तो $|\mathcal{P}(A)| = 2^n$।

उदाहरण: $A = \{1,2\}$ $\Rightarrow$ $\mathcal{P}(A) = \bigl\{\emptyset,\{1\},\{2\},\{1,2\}\bigr\}$, $|\mathcal{P}(A)| = 4 = 2^2$।

महत्त्वपूर्ण: $\emptyset \subseteq A$ — रिक्त समुच्चय प्रत्येक समुच्चय का उपसमुच्चय है।

⊕

समुच्चय संक्रियाएँ (Set Operations)

∪ संघ (Union)

$A \cup B = \{x : x \in A$ या $x \in B\}$

दोनों समुच्चयों के सभी अवयव

∩ सर्वनिष्ठ (Intersection)

$A \cap B = \{x : x \in A$ और $x \in B\}$

केवल उभयनिष्ठ अवयव

∁ पूरक (Complement)

$A^c = U \setminus A = \{x \in U : x \notin A\}$

$U$ में $A$ के बाहर के अवयव

∖ अंतर (Set Difference)

$A \setminus B = \{x : x \in A,\, x \notin B\}$

$A$ में पर $B$ में नहीं

⨯ कार्तीय गुणन (Cartesian Product)

$A \times B = \{(a,b) : a \in A,\; b \in B\}$ — $|A \times B| = |A| \cdot |B|$ (परिमित के लिए)

📐 डी मॉर्गन के नियम (De Morgan's Laws)

किन्हीं भी समुच्चयों $A, B \subseteq U$ के लिए:

$$(A \cup B)^c = A^c \cap B^c \qquad \text{तथा} \qquad (A \cap B)^c = A^c \cup B^c.$$

अनुक्रमित परिवार के लिए व्यापक रूप:

$$\left(\bigcup_{\alpha} A_{\alpha}\right)^c = \bigcap_{\alpha} A_{\alpha}^c, \qquad \left(\bigcap_{\alpha} A_{\alpha}\right)^c = \bigcup_{\alpha} A_{\alpha}^c.$$

💡

सरल स्पष्टीकरण — समुच्चय एक थैले जैसा है

समुच्चय को एक थैले (bag) की तरह सोचें। आप वस्तुएँ थैले में डालते हैं (अवयव), दो थैले मिलाते हैं (संघ), केवल वह रखते हैं जो दोनों में हो (सर्वनिष्ठ), या एक थैले से वह निकाल देते हैं जो दूसरे में भी हो (अंतर)।

🔍 डी मॉर्गन का अंतर्ज्ञान

"न $A$ और न $B$" का अर्थ है "$A$ नहीं और $B$ नहीं।" यदि वर्षा नहीं हो और बर्फ नहीं पड़े, तो वर्षा नहीं है और बर्फ नहीं है — यही $(A \cup B)^c = A^c \cap B^c$ है। यह दैनिक तर्क को गणितीय भाषा में व्यक्त करता है।

घात-समुच्चय $\mathcal{P}(A)$ में प्रत्येक अवयव को सम्मिलित करने या न करने के 2 विकल्प हैं, इसलिए $n$ अवयवों के समुच्चय के लिए कुल $2^n$ उपसमुच्चय होते हैं।

✏️

हल किए गए उदाहरण (Solved Examples)

अत्यन्त सरल | सीधा अनुप्रयोग

सूचीबद्ध रूप और सभी उपसमुच्चय

$A = \{x \in \mathbb{N} : x \leq 5\}$ को सूचीबद्ध रूप में लिखें। फिर $B = \{p, q\}$ के सभी उपसमुच्चय सूचीबद्ध करें और $|\mathcal{P}(B)| = 2^2$ सत्यापित करें।

हल। सूचीबद्ध रूप: $A = \{1, 2, 3, 4, 5\}$।

$B = \{p, q\}$ के सभी उपसमुच्चय:

$$\mathcal{P}(B) = \bigl\{\emptyset,\;\{p\},\;\{q\},\;\{p,q\}\bigr\}.$$

$|\mathcal{P}(B)| = 4 = 2^2$. $\checkmark$ $\blacksquare$

सरल-मध्यम | समुच्चय संक्रियाएँ

संघ, प्रतिच्छेदन, पूरक, अंतर, डी मॉर्गन सत्यापन

$U = \{1,2,3,4,5,6,7,8\}$, $A = \{1,2,3,4\}$, $B = \{3,4,5,6\}$ हों। ज्ञात कीजिए: (i) $A \cup B$, (ii) $A \cap B$, (iii) $A^c$, (iv) $A \setminus B$, (v) $(A \cup B)^c = A^c \cap B^c$ सत्यापित करें।

(i) $A \cup B = \{1,2,3,4,5,6\}$

(ii) $A \cap B = \{3,4\}$

(iii) $A^c = U \setminus A = \{5,6,7,8\}$

(iv) $A \setminus B = \{1,2\}$ ($A$ में पर $B$ में नहीं)

(v) $(A \cup B)^c = U \setminus \{1,2,3,4,5,6\} = \{7,8\}$।
$B^c = \{1,2,7,8\}$।
$A^c \cap B^c = \{5,6,7,8\} \cap \{1,2,7,8\} = \{7,8\}$। $\checkmark$ $\blacksquare$

मध्यम-कठिन | घात-समुच्चय एवं कार्तीय गुणन

$\mathcal{P}(\{0,1\})$; $A \times B$; क्रमित युग्म की समानता

$A = \{0,1\}$ और $B = \{a,b,c\}$ हों। (i) $\mathcal{P}(A)$ सूचीबद्ध करें। (ii) $A \times B$ और उसकी सामर्थ्य ज्ञात करें। (iii) क्या $(0,a) = (a,0)$? औचित्य सिद्ध करें।

(i) $\mathcal{P}(A) = \bigl\{\emptyset,\;\{0\},\;\{1\},\;\{0,1\}\bigr\}$; $|\mathcal{P}(A)| = 4 = 2^2$। $\checkmark$

(ii) $A \times B = \{(0,a),(0,b),(0,c),(1,a),(1,b),(1,c)\}$; $|A \times B| = 2 \times 3 = 6$।

(iii) $(0,a) \in A \times B$ किन्तु $(a,0) \notin A \times B$ क्योंकि $a \notin A$। मौलिक रूप से: क्रमित युग्मों में $(x_1,y_1) = (x_2,y_2) \Leftrightarrow x_1=x_2$ एवं $y_1=y_2$। चूँकि $0 \neq a$, अतः $(0,a) \neq (a,0)$। $\blacksquare$

कठिन | CSIR NET / GATE / IIT JAM स्तर

$A_n = (-1/n,\,1/n)$ का संघ, प्रतिच्छेदन और डी मॉर्गन

प्रत्येक $n \in \mathbb{N}$ के लिए $A_n = \left(-\dfrac{1}{n},\dfrac{1}{n}\right) \subseteq \mathbb{R}$। ज्ञात करें: (i) $\displaystyle\bigcup_{n=1}^{\infty} A_n$, (ii) $\displaystyle\bigcap_{n=1}^{\infty} A_n$। (iii) डी मॉर्गन से $\left(\displaystyle\bigcap_{n=1}^{\infty} A_n\right)^c$ ज्ञात करें।

(i) संघ। $A_1 = (-1,1)$ सबसे बड़ा अंतराल है और $A_n \subseteq A_{n-1}$ ($1/n$ घटता है), इसलिए:

$$\bigcup_{n=1}^{\infty} A_n = A_1 = (-1,1).$$

(ii) प्रतिच्छेदन। $x \in \bigcap_{n=1}^{\infty} A_n$ तभी जब $|x| < 1/n$ प्रत्येक $n$ के लिए। आर्किमिडीयन गुण से: किसी भी $x \neq 0$ के लिए $\exists\, N$ ऐसा कि $1/N < |x|$, अतः $x \notin A_N$। केवल $x=0$ ही सभी $n$ के लिए टिकता है:

$$\bigcap_{n=1}^{\infty} A_n = \{0\}.$$

(iii) डी मॉर्गन। अनुक्रमित परिवार के लिए:

$$\left(\bigcap_{n=1}^{\infty} A_n\right)^c = \bigcup_{n=1}^{\infty} A_n^c = \mathbb{R} \setminus \{0\}. \quad \blacksquare$$

⚡

त्वरित पुनरावृत्ति कार्ड (Quick Revision Cards)

📊 A — मुख्य संकेत एवं सूत्र

$a \in A$: अवयविता
$A \subseteq B$: उपसमुच्चय
$A \cup B$, $A \cap B$, $A^c$, $A \setminus B$
$|\mathcal{P}(A)| = 2^{|A|}$
$|A \times B| = |A| \cdot |B|$
डी मॉर्गन: $(A \cup B)^c = A^c \cap B^c$
$(A \cap B)^c = A^c \cup B^c$

⚙️ B — शर्तें एवं विशेष स्थितियाँ

$\emptyset \subseteq A$ हर $A$ के लिए
$\emptyset \in \mathcal{P}(A)$ सदा
$\mathcal{P}(\emptyset) = \{\emptyset\}$ (1 अवयव)
$A \times B \neq B \times A$ सामान्यतः
$A \times \emptyset = \emptyset$
$A = B$ के लिए $\subseteq$ दोनों दिशाओं में
पूरक के लिए $U$ निर्दिष्ट करें

🎯 C — परीक्षा युक्तियाँ

🔵 CSIR NET: अनंत परिवारों पर डी मॉर्गन का व्यापक रूप
🟢 GATE: समुच्चय-समानता: दोनों दिशाओं में $\subseteq$ सिद्ध करें
🟠 IIT JAM: $\mathcal{P}(\emptyset)=\{\emptyset\}$ में 1 अवयव है, 0 नहीं
🔴 B.Sc. Raj.: $\in$ और $\subseteq$ को सावधानी से अलग रखें

⚠️

सामान्य त्रुटियाँ (Common Mistakes)

❌ इन भूलों से बचें

त्रुटि 1: $\in$ और $\subseteq$ में भ्रम

गलत: "$\{1\} \in \{1,2,3\}$" | सही: $\{1\} \subseteq \{1,2,3\}$ (उपसमुच्चय) और $1 \in \{1,2,3\}$ (अवयविता)। $\{1\}$ और $1$ अलग-अलग वस्तुएँ हैं।

त्रुटि 2: $\emptyset \notin \mathcal{P}(A)$ मानना

गलत: "घात-समुच्चय में केवल अरिक्त उपसमुच्चय होते हैं।" | सही: $\emptyset \subseteq A$ सदा, अतः $\emptyset \in \mathcal{P}(A)$ सदा।

त्रुटि 3: क्रमित युग्मों को अक्रमित मानना

गलत: "$(1,2) = (2,1)$।" | सही: $(a,b)=(c,d) \Leftrightarrow a=c$ और $b=d$। कार्तीय गुणन में क्रम अनिवार्य है।

त्रुटि 4: पूरक में सार्वत्रिक समुच्चय न बताना

गलत: $A^c = \{x : x \notin A\}$ बिना $U$ के। | सही: $A^c = \{x \in U : x \notin A\}$। पूरक $U$ पर निर्भर करता है।

🌐

वास्तविक अनुप्रयोग (Real-World Applications)

🗄️

डेटाबेस (SQL)

SQL में UNION, INTERSECT और EXCEPT क्रमशः $\cup$, $\cap$ और $\setminus$ के प्रत्यक्ष कार्यान्वयन हैं। JOIN कार्तीय गुणन पर आधारित है।

🎲

प्रायिकता सिद्धांत

प्रतिदर्श समष्टि $\Omega$ सार्वत्रिक समुच्चय है। घटनाएँ उपसमुच्चय हैं। $P(A^c) = 1-P(A)$ डी मॉर्गन का सीधा अनुप्रयोग है।

💻

कम्प्यूटर विज्ञान

टपल (tuples) कार्तीय गुणन हैं। $\mathcal{P}(A)$ किसी प्रकार पर सभी Predicates को निरूपित करता है। Python का set इन संक्रियाओं को सीधे लागू करता है।

⚡

डिजिटल तर्क (Digital Logic)

बूलियन बीजगणित (AND, OR, NOT) समुच्चय बीजगणित ($\cap$, $\cup$, पूरक) के तुल्यरूपी है। डी मॉर्गन के नियम लॉजिक गेट सरलीकरण में प्रतिदिन प्रयुक्त होते हैं।

📋

सारांश सारणी एवं मुख्य परिणाम

अवधारणा	कथन / सूत्र	शर्त	सन्दर्भ
समुच्चय	सुपरिभाषित विशिष्ट वस्तुओं का संग्रह	अवयव सुपरिभाषित हों	Rudin Ch. 1, §1.1
उपसमुच्चय	$A \subseteq B \Leftrightarrow (x \in A \Rightarrow x \in B)$	कोई भी $A,B$	Rudin Ch. 1, §1.1
घात-समुच्चय	$\|\mathcal{P}(A)\| = 2^n$	$\|A\|=n$ परिमित	मानक
संघ	$A \cup B = \{x : x \in A$ या $x \in B\}$	$A,B \subseteq U$	Rudin Ch. 1, §1.1
डी मॉर्गन	$(A \cup B)^c = A^c \cap B^c$	$A,B \subseteq U$	Apostol Ch. 1, §1.2
कार्तीय गुणन	$\|A \times B\| = \|A\| \cdot \|B\|$	$A,B$ परिमित	मानक

केंद्रीय परिणाम — डी मॉर्गन के नियम (व्यापक रूप):

$$\left(\bigcup_{\alpha \in I} A_{\alpha}\right)^c = \bigcap_{\alpha \in I} A_{\alpha}^c \qquad \text{तथा} \qquad \left(\bigcap_{\alpha \in I} A_{\alpha}\right)^c = \bigcup_{\alpha \in I} A_{\alpha}^c$$

समुच्चय संक्रियाएँ क्रमविनिमेयता, साहचर्यता, वितरणीयता और पूरक नियमों को संतुष्ट करती हैं — एक बूलियन बीजगणित (Boolean Algebra) बनाती हैं।

🔗

सम्बंधित पोस्ट एवं आगे का अध्ययन

📚 पूर्वापेक्षा एवं अगले चरण

← पूर्वापेक्षाएँ: यह श्रृंखला की पहली पोस्ट है। केवल माध्यमिक स्तर की गणित की जानकारी पर्याप्त है।

→ अगला विषय: Logic and Proof Methods — The Language of Mathematics

📖 अतिरिक्त पाठन: Rudin, Ch. 1, §§1.1–1.12; Apostol, Ch. 1, §§1.1–1.4; Bartle & Sherbert, Ch. 1.

📖 PDF नोट्स डाउनलोड करें समुच्चय और मूल संकेतन — Fractal Frontier Maths

▦ पूरी वीडियो प्लेलिस्ट समुच्चय सिद्धान्त — Fractal Frontier Maths समुच्चय सिद्धान्त पर विस्तृत वीडियो लेक्चर देखें →

समुच्चय और मूल संकेतन — गणित की नींव