गणित में समुच्चय (Set) की संकल्पना सबसे मौलिक और आधारभूत संकल्पनाओं में से एक है। किसी निश्चित नियम या शर्त के अनुसार सुव्यवस्थित वस्तुओं या पदार्थों के संग्रह को समुच्चय कहते हैं। समुच्चय में सम्मिलित वस्तुओं को उस समुच्चय के अवयव (Elements) या सदस्य कहते हैं। उदाहरण के लिए, स्वरों का समुच्चय {a, e, i, o, u} है। समुच्चय की संकल्पना का श्रेय जर्मन गणितज्ञ जॉर्ज कैंटर (1845-1918) को जाता है। समुच्चय को सामान्यतः अंग्रेजी वर्णमाला के बड़े अक्षरों A, B, C, ... से प्रदर्शित करते हैं तथा अवयवों को छोटे अक्षरों a, b, c, ... से निरूपित करते हैं। यदि a समुच्चय A का अवयव है, तो इसे $a \in A$ लिखते हैं और "a समुच्चय A का सदस्य है" पढ़ते हैं। इसी प्रकार यदि b, A का अवयव नहीं है, तो $b \notin A$ लिखते हैं।
2. समुच्चय को निरूपित करने की विधियाँ
समुच्चय को मुख्यतः दो विधियों से निरूपित किया जाता है:
(क) रोस्टर या सूचीबद्ध रूप (Roster Form)
इस विधि में सभी अवयवों को लिखकर उन्हें अल्पविराम से अलग किया जाता है और घुंघराले कोष्ठक { } में रखा जाता है। उदाहरणार्थ, दो से छोटी सभी अभाज्य संख्याओं का समुच्चय {2} है। अवयवों को किसी भी क्रम में लिखा जा सकता है। रोस्टर रूप में अवयवों की पुनरावृत्ति नहीं होती।
(ख) समुच्चय निर्माण रूप (Set Builder Form)
इस विधि में समुच्चय के सभी अवयवों के लिए एक सार्वभौमिक गुणधर्म या शर्त का वर्णन किया जाता है। उदाहरणार्थ, $A = {x : x \in N,\; x \leq 5}$ का अर्थ है प्राकृत संख्याओं के समुच्चय में 5 से छोटे या बराबर की सभी संख्याएँ। इसे $A = {1, 2, 3, 4, 5}$ के रूप में भी लिख सकते हैं।
3. समुच्चयों के प्रकार
रिक्त समुच्चय (Empty Set): जिस समुच्चय में कोई अवयव न हो उसे रिक्त या शून्य समुच्चय कहते हैं, जिसे $\phi$ या ${}$ से प्रदर्शित करते हैं। उदाहरणार्थ, $x^2 = -1$ के वास्तविक मूलों का समुच्चय रिक्त समुच्चय है।
एकल समुच्चय (Singleton Set): जिस समुच्चय में केवल एक अवयव होता है। जैसे ${2}$।
सीमित समुच्चय (Finite Set): जिस समुच्चय में अवयवों की संख्या सीमित होती है। जैसे ${1, 2, 3}$।
असीमित समुच्चय (Infinite Set): जिसमें अवयवों की संख्या अनंत होती है। जैसे प्राकृत संख्याओं का समुच्चय $N$।
समान समुच्चय (Equal Sets): दो समुच्चय समान कहलाते हैं यदि उनके अवयव बिल्कुल समान हों। जैसे ${1, 2}$ और ${2, 1}$ समान हैं।
तुल्य समुच्चय (Equivalent Sets): दो समुच्चय तुल्य कहलाते हैं यदि उनमें अवयवों की संख्या समान हो, भले ही अवयव भिन्न हों।
उपसमुच्चय (Subset): यदि A के प्रत्येक अवयव B में भी विद्यमान हो, तो A, B का उपसमुच्चय कहलाता है, जिसे $A \subseteq B$ लिखते हैं। प्रत्येक समुच्चय अपना स्वयं का उपसमुच्चय होता है। एक समुच्चय जिसमें n अवयव हों, उसके कुल $2^n$ उपसमुच्चय होते हैं।
समुच्चयों की संख्या: यदि किसी समुच्चय में $n$ अवयव हैं, तो उसके $2^n$ उपसमुच्चय और $2^n - 1$ नैक़ उपसमुच्चय होते हैं। रिक्त समुच्चय $\phi$ प्रत्येक समुच्चय का उपसमुच्चय होता है।
समान समुच्चयों का अंतर: $A = B$ का तात्पर्य है $A \subseteq B$ और $B \subseteq A$ दोनों सत्य हैं। इसे विस्तारित रूप में पहचानना महत्वपूर्ण है।
4. समुच्चयों पर संक्रियाएँ
सम्मिलन (Union): A और B का सम्मिलन $A \cup B = {x : x \in A \text{ या } x \in B}$ है। अर्थात वे सभी अवयव जो A या B दोनों में से कम से कम एक में हों।
प्रतिच्छेदन (Intersection): $A \cap B = {x : x \in A \text{ और } x \in B}$ है। अर्थात वे अवयव जो A और B दोनों में उभयनिष्ठ हों। यदि $A \cap B = \phi$, तो A और B असंयुक्त (Disjoint) समुच्चय कहलाते हैं।
अंतर (Difference): $A - B = {x : x \in A \text{ और } x \notin B}$ है, अर्थात A के वे अवयव जो B में नहीं हैं।
पूरक समुच्चय (Complement): यदि U सार्वत्रिक समुच्चय हो, तो A का पूरक $A' = U - A = {x : x \in U, x \notin A}$ है।
सममित अंतर (Symmetric Difference): $A \Delta B = (A - B) \cup (B - A)$।
5. महत्वपूर्ण गुणधर्म और सूत्र
$$n(A \cup B) = n(A) + n(B) - n(A \cap B)$$
$$n(A \cup B \cup C) = n(A) + n(B) + n(C) - n(A \cap B) - n(B \cap C) - n(C \cap A) + n(A \cap B \cap C)$$
डी-मॉर्गन के नियम:
$$(A \cup B)' = A' \cap B'$$
$$(A \cap B)' = A' \cup B'$$
वितरण नियम: $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$ के पास $n$ अवयव हों और $B$ के पास $m$ अवयव हों, तो $A \times B$ में क्रमित युग्मों की संख्या $n \times m$ होती है।
त्वरित पुनरावृत्ति तालिकाएँ
तालिका 1: समुच्चय संक्रियाएँ
संक्रिया
सूत्र
उदाहरण (A={1,2}, B={2,3})
सम्मिलन
$A \cup B$
{1, 2, 3}
प्रतिच्छेदन
$A \cap B$
{2}
अंतर
$A - B$
{1}
पूरक
$A'$
U से शेष अवयव
तालिका 2: गिनती के सूत्र
शर्त
सूत्र
n अवयव वाले समुच्चय के उपसमुच्चय
$2^n$
नैक (Proper) उपसमुच्चय
$2^n - 1$
दो समुच्चयों का सम्मिलन
$n(A)+n(B)-n(A \cap B)$
तीन समुच्चयों का सम्मिलन
योग - युग्म प्रतिच्छेद + त्रिक प्रतिच्छेद
माइंड मैप
graph TD
A["समुच्चय"] --> B["निरूपण: रोस्टर व समुच्चय निर्माण"]
A --> C["प्रकार: रिक्त, सीमित, असीमित, समान"]
A --> D["उपसमुच्चय: 2^n"]
A --> E["संक्रियाएँ"]
E --> F["सम्मिलन, प्रतिच्छेदन, अंतर, पूरक"]
A --> G["सूत्र: n(A∪B) = n(A)+n(B)-n(A∩B)"]
A --> H["डी-मॉर्गन नियम"]
महत्वपूर्ण आरेख (SVG)
सामान्य गलतियाँ
रोस्टर रूप में समान अवयवों को बार-बार लिखना गलत है; जैसे {1, 1, 2} को {1, 2} ही लिखना चाहिए।
$\phi$ और ${0}$ में भ्रम: $\phi$ रिक्त समुच्चय है जबकि ${0}$ में एक अवयव शून्य है। दोनों भिन्न हैं।
${2}$ और 2 को एक ही मान लेना गलत है; ${2}$ समुच्चय है जबकि 2 अवयव है।
$n(A \cup B)$ में $n(A \cap B)$ जोड़ने के बजाय घटाना भूल जाना।
यह मान लेना कि $A \subset B$ का अर्थ $A = B$ है; वास्तव में नैक उपसमुच्चय में A, B से छोटा होता है।
$x \notin A$ को $x \subset A$ लिखना गलत है; सदस्यता और उपसमुच्चय के चिह्न अलग हैं।
परीक्षा युक्तियाँ
गिनती के प्रश्नों में पहले $n(A \cap B)$ की मात्रा ज्ञात करें, फिर सूत्र में रखें।
डी-मॉर्गन नियमों को याद करें; वे पूरक के प्रश्नों में बार-बार आते हैं।
तीन समुच्चयों के सम्मिलन के प्रश्न में वेन आरेख बनाकर हल करना सरल रहता है।
"केवल A में" के प्रश्न के लिए $n(A - B)$ या $n(A) - n(A \cap B)$ का उपयोग करें।
प्रश्न में यदि "दोनों में" हो, तो वह प्रतिच्छेदन है; "कम से कम एक में" हो, तो वह सम्मिलन है।
उपसमुच्चयों की संख्या के लिए $2^n$ का सीधे प्रयोग करें।
निष्कर्ष
समुच्चय गणित की वह आधारशिला है जिस पर संबंध, फलन और संपूर्ण बीजगणित टिका है। रोस्टर और समुच्चय निर्माण रूप, समुच्चयों की संक्रियाएँ और गिनती के सूत्र इस अध्याय के प्रमुख आधार हैं। वेन आरेख से संक्रियाओं को दृष्टिगत समझना और डी-मॉर्गन नियमों का अभ्यास करना परीक्षा में पूर्ण अंक प्राप्त करने के लिए आवश्यक है। यह अध्याय कक्षा 12 के फलन, संबंध और प्रायिकता के अध्यायों के लिए भी प्रमुख आधार तैयार करता है।