परिमित, अनंत, गणनीय और अगणनीय समुच्चय
परिमित, अनंत, गणनीय और अगणनीय समुच्चय
अनंत समुच्चयों की “माप” कैसे करें? पूर्णांक $\mathbb{Z}$ प्राकृत संख्याओं $\mathbb{N}$ से “बड़ा” लगता है, परिमेय $\mathbb{Q}$ और घना — फिर भी तीनों की Cardinality समान है। वास्तविक संख्याएँ $\mathbb{R}$ वास्तव में बड़ी हैं। इस पोस्ट में हम Bijection द्वारा Cardinality, Cantor का विकर्ण तर्क और $\aleph_0 < \mathfrak{c}$ की श्रेणी सीखेंगे।
परिमित, अनंत, गणनीय, अगणनीय — परिभाषाएँ
दो समुच्चय $A$ और $B$ समसांख्य (Equinumerous) हैं ($A \sim B$) यदि उनके बीच कोई Bijection $f\colon A\to B$ हो। यही अनंत समुच्चयों की “माप” का सटीक आधार है।
परिमित (Finite): $A=\emptyset$ हो या किसी $n\in\mathbb{N}$ के लिए $A\sim{1,2,\ldots,n}$। $|A|=n$।
अनंत (Infinite): परिमित नहीं। (Dedekind: $A$ किसी अपने उचित उपसमुच्चय के समसांख्य हो।)
गणनीय अनंत (Countably Infinite / Denumerable): $A\sim\mathbb{N}$। $|A|=\aleph_0$।
गणनीय (Countable): परिमित या गणनीय अनंत।
अगणनीय (Uncountable): अनंत पर $\mathbb{N}$ से समसांख्य नहीं।
परिमित
$\emptyset$, $\{1,2,3\}$
$|A|=n$
गणनीय ∞
$\mathbb{N},\mathbb{Z},\mathbb{Q}$
$|A|=\aleph_0$
अगणनीय
$\mathbb{R},(0,1)$
$|A|=\mathfrak{c}$
और बड़े
$\mathcal{P}(\mathbb{R})$
$|A|=2^{\mathfrak{c}}$
📖 Reference: Rudin, W., Principles of Mathematical Analysis, 3rd ed., Ch. 2, §§2.1–2.14. Also: Apostol, T.M., Mathematical Analysis, 2nd ed., Ch. 1, §§1.14–1.16.
← Sets and Basic Notation — समुच्चय भाषा और घात-समुच्चय।
← Functions and Relations — Bijection ही Cardinality का मुख्य उपकरण है।
← Logic and Proof Methods — Cantor के विकर्ण तर्क में Contradiction Proof प्रयुक्त होता है।
सरल स्पष्टीकरण — ℕ, ℤ, ℚ समान क्यों हैं, पर ℝ बड़ा क्यों है
मुख्य अंतर्दृष्टि यह है कि अनंत समुच्चयों की माप Bijection से होती है, Inclusion या घनत्व (Density) से नहीं। यद्यपि $\mathbb{N}\subsetneq\mathbb{Z}\subsetneq\mathbb{Q}$, फिर भी प्रत्येक पूर्णांक को एक अद्वितीय प्राकृत संख्या से जोड़ा जा सकता है।
मान लें आपने $(0,1)$ की सभी वास्तविक संख्याएँ सूचीबद्ध की हैं: $x_1, x_2, x_3, \ldots$ Cantor की विकर्ण युक्ति से एक वास्तविक संख्या $y$ बनाएँ जो $x_1$ से पहले दशमलव स्थान पर, $x_2$ से दूसरे पर, $x_3$ से तीसरे पर भिन्न हो। यह $y\in(0,1)$ है पर सूची में कहीं नहीं है — विरोधाभास! चाहे जैसे भी सूची बनाएँ, हमेशा और अधिक वास्तविक संख्याएँ बची रहती हैं।
गणनीयता के परिणाम (Rudin, Thm. 2.12–2.13):
- गणनीय समुच्चय का प्रत्येक अनंत उपसमुच्चय गणनीय है।
- $\mathbb{Z}$ गणनीय अनंत है (स्पष्ट Bijection)।
- $\mathbb{Q}$ गणनीय अनंत है (Cantor की प्रथम विकर्ण गणना)।
- गणनीय समुच्चयों का गणनीय संघ गणनीय है: यदि प्रत्येक $A_n$ गणनीय है तो $\bigcup_{n=1}^{\infty} A_n$ गणनीय है।
अगणनीयता (Rudin, Thm. 2.14): $(0,1)$ अगणनीय है, अतः $\mathbb{R}$ अगणनीय है; $|\mathbb{R}|=\mathfrak{c}>\aleph_0$।
Schroeder–Bernstein Theorem: यदि $f\colon A\to B$ और $g\colon B\to A$ दोनों Injective हों, तो $A\to B$ Bijection अस्तित्व में है।
Cantor का Power Set Theorem: किसी भी $A$ के लिए $|A|<|\mathcal{P}(A)|$।
हल किए गए उदाहरण (Solved Examples)
परिभाषा: $f(n)=\begin{cases}0 & n=1\\ n/2 & n \text{ सम}\\ -(n-1)/2 & n \text{ विषम}, n\geq3\end{cases}$
अनुक्रम: $f(1),f(2),f(3),f(4),f(5),\ldots=0,1,-1,2,-2,\ldots$ — प्रत्येक पूर्णांक ठीक एक बार।
Injective: भिन्न $n$ के भिन्न चिह्न/परिमाण। $\checkmark$ Surjective: प्रत्येक पूर्णांक प्रकट होता है। $\checkmark$
$f$ Bijection है, अतः $|\mathbb{Z}|=|\mathbb{N}|=\aleph_0$। $\blacksquare$
परिभाषा: $f\colon\mathbb{N}\to E$, $f(n)=2n$।
Injective: $f(m)=f(n)\Rightarrow 2m=2n\Rightarrow m=n$। $\checkmark$
Surjective: हर सम पूर्णांक $2k=f(k)$। $\checkmark$
$|E|=\aleph_0$। यह अनंत समुच्चयों का विशेष गुण है — उचित उपसमुच्चय सम्पूर्ण समुच्चय के समसांख्य हो सकता है। यही Dedekind की अनंतता की परिभाषा है। $\blacksquare$
परिभाषा: $f\colon(0,1)\to\mathbb{R}$, $f(x)=\tan\!\left(\pi\!\left(x-\tfrac{1}{2}\right)\right)$।
सुपरिभाषित: $x\in(0,1)$ के लिए $\pi(x-\tfrac{1}{2})\in(-\tfrac{\pi}{2},\tfrac{\pi}{2})$, जहाँ $\tan$ परिभाषित है। $\checkmark$
Injective: $\tan$ कड़ाई से वर्धमान है, अतः $f(x_1)=f(x_2)\Rightarrow x_1=x_2$। $\checkmark$
Surjective: $x\to0^+$ पर $f\to-\infty$; $x\to1^-$ पर $f\to+\infty$। Intermediate Value Theorem से प्रत्येक $y\in\mathbb{R}$ प्राप्त होता है। $\checkmark$
$|(0,1)|=|\mathbb{R}|=\mathfrak{c}$ — एक परिबद्ध अंतराल और सम्पूर्ण वास्तविक रेखा समसांख्य हैं। $\blacksquare$
भाग 1 — $\mathbb{Q}$ गणनीय है।
सभी धनात्मक परिमेय संख्याओं $p/q$ ($p,q\in\mathbb{N}$) को एक अनंत सारणी में व्यवस्थित करें। विकर्णों के साथ पढ़ें: $\frac{1}{1}, \frac{1}{2}, \frac{2}{1}, \frac{1}{3}, \frac{2}{2}, \frac{3}{1}, \ldots$ — पुनरावृत्ति हटाएँ, $0$ और ऋण परिमेय जोड़ें। यह $\mathbb{N}\twoheadrightarrow\mathbb{Q}$ सर्जेक्शन देता है, अतः Bijection भी मिलता है। $|\mathbb{Q}|=\aleph_0$। $\checkmark$
भाग 2 — $\mathbb{R}\setminus\mathbb{Q}$ अगणनीय है।
विरोधाभास मान लें कि $\mathbb{R}\setminus\mathbb{Q}$ गणनीय है। तब $\mathbb{R}=\mathbb{Q}\cup(\mathbb{R}\setminus\mathbb{Q})$ दो गणनीय समुच्चयों का संघ होगा, अतः गणनीय होगा। किन्तु $\mathbb{R}$ अगणनीय है — विरोधाभास। अतः $\mathbb{R}\setminus\mathbb{Q}$ अगणनीय है। $\blacksquare$
त्वरित पुनरावृत्ति कार्ड (Quick Revision Cards)
📊 A — Cardinalities एवं मुख्य तथ्य
- $|\mathbb{N}|=|\mathbb{Z}|=|\mathbb{Q}|=\aleph_0$
- $|\mathbb{R}|=|(0,1)|=\mathfrak{c}>\aleph_0$
- $|\mathcal{P}(\mathbb{N})|=\mathfrak{c}$
- गणनीय ∪ गणनीय = गणनीय
- $\mathbb{R}\setminus\mathbb{Q}$ अगणनीय
- $|A|<|\mathcal{P}(A)|$ सभी $A$ के लिए
⚙️ B — शर्तें एवं विशेष स्थितियाँ
- गणनीय का उपसमुच्चय = गणनीय
- $\mathbb{Q}$ $\mathbb{R}$ में घना पर गणनीय
- $(0,1)\subsetneq\mathbb{R}$ पर $|(0,1)|=|\mathbb{R}|$
- Dedekind: अनंत ↔ उचित उपसमुच्चय के समसांख्य
- Schroeder–Bernstein: दोनों ओर Injection → Bijection
- विकर्ण तर्क केवल $(0,1)$ के दशमलव पर
🎯 C — परीक्षा युक्तियाँ
- 🔵 CSIR NET: गणनीय दिखाने के लिए Bijection या गणनीय समुच्चय का उपसमुच्चय/संघ
- 🟢 GATE: अगणनीय दिखाने के लिए विकर्ण तर्क या $(0,1)$ की Copy
- 🟠 IIT JAM: $\mathbb{R}\setminus\mathbb{Q}$ अगणनीय — Contradiction via countable union
- 🔴 B.Sc. Raj.: Bijection में Injective + Surjective दोनों स्पष्ट सत्यापित करें
सामान्य त्रुटियाँ (Common Mistakes)
❌ इन भूलों से बचें
गलत: "$\mathbb{Z}$ में अधिक अवयव हैं इसलिए $|\mathbb{Z}|>|\mathbb{N}|$।" | सही: Bijection $\mathbb{N}\leftrightarrow\mathbb{Z}$ दिखाता है $|\mathbb{N}|=|\mathbb{Z}|=\aleph_0$। अनंत समुच्चयों के लिए अंतर्विष्टता Cardinality की असमानता नहीं देती।
गलत: "$\mathbb{Q}$ $\mathbb{R}$ में घना है, इसलिए अगणनीय होगा।" | सही: $\mathbb{Q}$ गणनीय है। Density और Cardinality स्वतंत्र गुण हैं।
गलत: "$(0,1)\subsetneq\mathbb{R}$, इसलिए $|(0,1)|<|\mathbb{R}|$।" | सही: $\tan(\pi(x-\frac{1}{2}))$ Bijection है $(0,1)\to\mathbb{R}$, अतः $|(0,1)|=|\mathbb{R}|=\mathfrak{c}$।
गलत: "Cantor के विकर्ण तर्क से $\mathbb{N}$ अगणनीय सिद्ध करना।" | सही: विकर्ण तर्क दशमलव प्रसार से $(0,1)$ में एक वास्तविक संख्या बनाता है — यह प्राकृत संख्या नहीं है। $\mathbb{N}$ पर यह लागू नहीं होता।
वास्तविक अनुप्रयोग (Real-World Applications)
Computability Theory
Programs परिमित strings हैं — गणनीय। Real-valued functions अगणनीय हैं। अतः अधिकांश फलन Computable नहीं — Turing की आधारभूत अंतर्दृष्टि।
Information Theory
गणनीय अनंत Alphabet को Binary में Encode किया जा सकता है। अगणनीय समुच्चयों को परिमित Binary Strings से Encode नहीं किया जा सकता — Data Compression की सीमा का आधार।
Measure Theory
गणनीय समुच्चयों का Lebesgue Measure शून्य होता है। $\mathbb{Q}$ का $\mathbb{R}$ में Measure शून्य है, यद्यपि $\mathbb{Q}$ घना है — Lebesgue Integration का आधार।
Cryptography — Randomness
वास्तविक यादृच्छिकता (True Randomness) के लिए अगणनीय समुच्चय से Sampling चाहिए। Pseudo-random Generators गणनीय समुच्चय से अनुक्रम उत्पन्न करते हैं, अतः आवर्ती (Periodic) होते हैं।
सारांश सारणी एवं मुख्य परिणाम
| समुच्चय | Cardinality | कैसे सिद्ध | Reference |
|---|---|---|---|
| $\mathbb{N}$ | $\aleph_0$ | परिभाषा | Rudin §2.4 |
| $\mathbb{Z}$ | $\aleph_0$ | स्पष्ट Bijection $\mathbb{N}\to\mathbb{Z}$ | Rudin §2.12 |
| $\mathbb{Q}$ | $\aleph_0$ | विकर्ण गणना | Rudin §2.13 |
| $(0,1)$, $\mathbb{R}$ | $\mathfrak{c}$ | Cantor का विकर्ण तर्क | Rudin §2.14 |
| $\mathcal{P}(\mathbb{N})$ | $\mathfrak{c}$ | Binary प्रसार | Cantor's Thm |
| $\mathbb{R}\setminus\mathbb{Q}$ | $\mathfrak{c}$ | Contradiction via गणनीय संघ | उदाहरण 4 |
Cardinality की श्रेणी:
\(0 \;<\; 1 \;<\; 2 \;<\; \cdots \;<\; \aleph_0 \;<\; \mathfrak{c} \;<\; 2^{\mathfrak{c}} \;<\; \cdots\)
$\mathbb{N}\sim\mathbb{Z}\sim\mathbb{Q}$ (सभी $\aleph_0$) $\qquad\qquad$ $\mathbb{R}\sim(0,1)\sim\mathcal{P}(\mathbb{N})$ (सभी $\mathfrak{c}$)
गणनीय समुच्चयों का गणनीय संघ गणनीय होता है।
सम्बंधित पोस्ट एवं आगे का अध्ययन
← पूर्वापेक्षाएँ: Sets and Basic Notation — समुच्चय भाषा | Functions and Relations — Bijections | Logic and Proof Methods — Contradiction Proof।
→ Next Topic: Algebraic Structures — Fields.
📖 अतिरिक्त पाठन: Rudin, Ch. 2, §§2.1–2.14; Apostol, Ch. 1, §§1.14–1.16; Bartle & Sherbert, Ch. 1, §1.3.
How did you find this post?
Tap a reaction — counts are saved permanently on our server.
क्या यह लेख उपयोगी लगा?
यह वेबसाइट पूरी तरह मुफ़्त है और हमेशा रहेगी। अगर इस लेख ने आपको कोई अवधारणा समझने में या परीक्षा की तैयारी में मदद की, तो एक छोटा-सा सहयोग इस काम को अगले छात्र तक पहुँचाने में मदद करता है।
Have a question, doubt, or thought about this post? Choose how you want to join the discussion below.
💬 Comment on Telegram — No account needed