परिमित, अनंत, गणनीय और अगणनीय समुच्चय
परिमित, अनंत, गणनीय और अगणनीय समुच्चय
अनंत समुच्चयों की "माप" कैसे करें? पूर्णांक $\mathbb{Z}$ प्राकृत संख्याओं $\mathbb{N}$ से "बड़ा" लगता है, परिमेय $\mathbb{Q}$ और घना — फिर भी तीनों की Cardinality समान है। वास्तविक संख्याएँ $\mathbb{R}$ वास्तव में बड़ी हैं। इस पोस्ट में हम Bijection द्वारा Cardinality, Cantor का विकर्ण तर्क और $\aleph_0 < \mathfrak{c}$ की श्रेणी सीखेंगे।
🇬🇧 Read in Englishपरिमित, अनंत, गणनीय, अगणनीय — परिभाषाएँ
दो समुच्चय $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}}$
← 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 update in real time across all devices.
Have a question, doubt, or thought about this post? Choose how you want to join the discussion below.
💬 Comment on Telegram — No account neededRequires a free GitHub account — takes 30 seconds to create with just an email address.