समुच्चयों की सीमाएँ और चरम मान: क्रमित क्षेत्र में उपसमुच्चयों की परिबद्धता

∞Ordered Field

1872Dedekind

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

~18 मिनटपठन समय

Ch.1Rudin §1.7–1.8

📐

परिभाषाएँ (Definitions)

📌 परिभाषा — Ordered Field (क्रमित क्षेत्र)

एक Field $F$ जिस पर एक order relation $<$ परिभाषित हो और वह Trichotomy, Transitivity, तथा Addition और Multiplication के साथ संगत हो, उसे Ordered Field (क्रमित क्षेत्र) कहते हैं। $\mathbb{R}$ और $\mathbb{Q}$ इसके मुख्य उदाहरण हैं।

📌 परिभाषा — Upper Bound (ऊपरी परिबंध)

माना $F$ एक ordered field है और $E \subseteq F$, $E \neq \emptyset$। एक अवयव $b \in F$ को $E$ का upper bound (ऊपरी परिबंध) कहते हैं यदि $x \leq b \quad$ प्रत्येक $ x \in E $ के लिए। यदि ऐसा $b$ अस्तित्व में है, तो $E$ को bounded above (ऊपर से परिबद्ध) कहते हैं।

📌 परिभाषा — Lower Bound (निचला परिबंध) और Bounded

एक अवयव $a \in F$ को $E$ का lower bound (निचला परिबंध) कहते हैं यदि $a \leq x$ प्रत्येक $x \in E$ के लिए। $E$ bounded (परिबद्ध) है यदि $\exists\, M > 0$ जैसे $\lvert x \rvert \leq M$ प्रत्येक $ x \in E $ के लिए।

📌 परिभाषा — Supremum (न्यूनतम ऊपरी परिबंध)

$\alpha \in F$ को $E$ का supremum कहते हैं, लिखते हैं $\alpha = \sup E$, यदि:
(i) $x \leq \alpha$ प्रत्येक $x \in E$ के लिए (upper bound है), और
(ii) यदि $\gamma < \alpha$ तो $\exists\, x \in E$ जैसे $\gamma < x$.

$\varepsilon$-रूप: प्रत्येक $\varepsilon > 0$ के लिए $\exists\, x \in E$ जैसे $\alpha - \varepsilon < x \leq \alpha$।

📌 परिभाषा — Infimum (महत्तम निचला परिबंध)

$\beta \in F$ को $E$ का infimum कहते हैं, लिखते हैं $\beta = \inf E$, यदि $\beta$ lower bound है और सबसे बड़ा ऐसा lower bound है।
महत्त्वपूर्ण: $\inf E = -\sup(-E)$, जहाँ $-E = \{-x : x \in E\}$।

📖 पाठ्यपुस्तक संदर्भ

Rudin, Principles of Mathematical Analysis, 3rd Ed., Ch. 1, §1.7–§1.8
Bartle & Sherbert, Introduction to Real Analysis, 4th Ed., Ch. 2, §2.3

🔗 पूर्वापेक्षाएँ

→ Intervals and the Real Line
→ Order Relations and Ordered Sets
→ Algebraic Structures and Field Axioms
→ Absolute Value and the Real Line

💡

सहजबोध और ऐतिहासिक पृष्ठभूमि

कल्पना कीजिए कि गणित का एक छात्र ऐसे अंकों का समुच्चय $E$ देख रहा है जो बार-बार 1 के पास जाते हैं पर कभी 1 नहीं छूते। क्या 1 इस समुच्चय की "छत" है? और क्या उस छत से भी छोटी कोई वैध छत है? इन्हीं प्रश्नों का उत्तर supremum देता है — वह सबसे तंग छत जो हर अवयव के ऊपर हो, चाहे वह $E$ में हो या न हो।

"The greatest rigor is achievable only when one first comprehends the very nature of the infinite."

(हिंदी: "सर्वोच्च कठोरता तभी संभव है जब हम अनंत की प्रकृति को पहले समझें।")

— Richard Dedekind

🏛️ ऐतिहासिक पृष्ठभूमि और प्रेरणा

उत्पत्ति। Richard Dedekind (1831–1916) ने 1872 में Stetigkeit und irrationale Zahlen में bounds की अवधारणा को औपचारिक रूप दिया। उनका लक्ष्य था Calculus को एक कठोर नींव देना, क्योंकि उस समय के प्रमाण "continuity" की अस्पष्ट धारणा पर आधारित थे।

जो समस्या इसने सुलझाई। $S = \{x \in \mathbb{Q} : x > 0,\ x^2 < 2\}$ समुच्चय $\mathbb{Q}$ में ऊपर से परिबद्ध है, परंतु उसका supremum $\mathbb{Q}$ में नहीं है — वह $\sqrt{2}$ है, जो अपरिमेय है। यही वह रिक्तता है जिसे Completeness Axiom भरता है।

रोचक तथ्य।
• Cauchy ने बिना स्पष्ट किए Completeness Axiom का उपयोग दशकों तक किया — Dedekind पहले व्यक्ति थे जिन्होंने इसे पहचाना।
• $\sup\left\{\tfrac{n}{n+1} : n \in \mathbb{N}\right\} = 1$, परंतु $1$ कभी नहीं आता।

आधुनिक महत्त्व। Supremum और infimum Riemann Integral, Functional Analysis, और Optimisation के आधार हैं — और CSIR NET real analysis के प्रश्नों में सबसे अधिक प्रकट होते हैं।

परिबद्ध समुच्चय $E$: inf E के बाएँ सभी lower bounds; sup E के दाएँ सभी upper bounds।

✏️

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

1अत्यंत सरल

माना $E = [2, 5]$। $\sup E$ और $\inf E$ ज्ञात कीजिए।

• प्रत्येक $x \in E$ के लिए $x \leq 5$ और $5 \in E$, अतः $\sup E = \max E = 5$।

• प्रत्येक $x \in E$ के लिए $x \geq 2$ और $2 \in E$, अतः $\inf E = \min E = 2$।

• $M = 5$ लेने पर $\lvert x\rvert \leq 5$ प्रत्येक $x \in E$ के लिए — $E$ bounded है।

2सरल-मध्यम

माना $E = (0, 3)$। $\sup E$ और $\inf E$ ज्ञात कीजिए।

• $x < 3$ प्रत्येक $x \in E$ के लिए, अतः $3$ upper bound है। $\gamma < 3$ के लिए $x_0 = \frac{\gamma+3}{2} \in E$ और $x_0 > \gamma$, अतः $\sup E = 3$।

• इसी प्रकार $\inf E = 0$। दोनों $E$ में नहीं — न maximum, न minimum।

3मध्यम-कठिन

माना $E = \left\{\dfrac{1}{n} : n \in \mathbb{N}\right\}$। $\sup E$ और $\inf E$ ज्ञात कीजिए।

• $1 \in E$ और $\frac{1}{n} \leq 1$ प्रत्येक $n$ के लिए, अतः $\sup E = \max E = 1$ (प्राप्त)।

• सभी पद धनात्मक, अतः $0$ lower bound है। $\varepsilon > 0$ दिया; Archimedean Property से $n_0$ चुनें जैसे $\frac{1}{n_0} < \varepsilon$। तब $\frac{1}{n_0} \in E$ — अतः $\inf E = 0$, प्राप्त नहीं ($0 \notin E$)।

4कठिन — CSIR NET / IIT JAM

माना $A = \left\{\dfrac{m}{n} : m, n \in \mathbb{N},\ m < n\right\}$। $\sup A$ और $\inf A$ ज्ञात कीजिए।

चरण 1. $m < n$ से $0 < m/n < 1$ — $A$ सभी $0$ और $1$ के बीच के धनात्मक परिमेयों का समुच्चय है।

Supremum. $1$ upper bound है। $\mathbb{Q}$ की सघनता से $\gamma < 1$ के लिए $m/n \in A$ मिलता है जैसे $\gamma < m/n < 1$, अतः $\sup A = 1$, प्राप्त नहीं ($1 \notin A$)।

Infimum. $0$ lower bound है। Archimedean Property से $1/n_0 \in A$ और $1/n_0 < \varepsilon$, अतः $\inf A = 0$, प्राप्त नहीं।

📋

त्वरित पुनरावृत्ति कार्ड

A — मुख्य परिभाषाएँ

Upper bound: $x\leq b\ \forall x\in E$
Lower bound: $a\leq x\ \forall x\in E$
Bounded: $\exists M>0$, $|x|\leq M$
$\sup E$ = न्यूनतम upper bound
$\inf E$ = महत्तम lower bound
$\inf E=-\sup(-E)$

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

• $\sup E\in E \Rightarrow$ max अस्तित्व में
• सीमित समुच्चय में max और min दोनों
• $\mathbb{Q}$ में $\{x:x^2<2\}$ का sup नहीं
• $\varepsilon$-रूप: $\exists x\in E: x>\sup E-\varepsilon$

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

🔵 CSIR NET: $\varepsilon$-proof सीखें
🟢 GATE: bounded $\Leftrightarrow$ $|x|\leq M$
🟠 IIT JAM: attained है या नहीं
🔴 Raj B.Sc.: sup और max में अंतर

⚠️

सामान्य भूलें

1. $\sup E$ और $\max E$ में भ्रम। $\mathbb{R}$ में bounded above समुच्चय का sup हमेशा होता है; max तभी होता है जब $\sup E \in E$। $(0,1)$ का sup = 1 है पर max नहीं।

2. हर ordered field में sup मानना। $\mathbb{Q}$ में $\{x:x^2<2\}$ bounded above है पर sup $\mathbb{Q}$ में नहीं — यही Completeness Axiom है।

3. $\varepsilon$-argument में weak inequality। $x > \sup E - \varepsilon$ (strict) चाहिए, केवल $x \geq \sup E - \varepsilon$ पर्याप्त नहीं।

4. $-E$ में चिह्न भूल। $\sup(-E) = -\inf E$, $\inf(-E) = -\sup E$।

🌐

वास्तविक जीवन में उपयोग

Optimisation

प्रत्येक numerical solver किसी function का sup या inf ढूँढता है। Extreme Value Theorem से $[a,b]$ पर continuous function अपना sup प्राप्त करता है।

Riemann Integration

Darboux upper और lower sums subintervals पर $f$ के sup और inf हैं। Riemann integral इन्हीं से परिभाषित होता है।

Functional Analysis

Operator norm $\|T\| = \sup\{\|Tx\| : \|x\|=1\}$ एक sup construction है — Banach space theory का आधार।

Computer Science

IEEE 754 overflow तब होता है जब value representable range के sup से अधिक हो जाती है।

📊

सारांश तालिका

अवधारणा	परिभाषा / कथन	शर्त	संदर्भ
Upper bound	$b\in F$: $x\leq b\ \forall x\in E$	$E\neq\emptyset$	Rudin §1.7
Lower bound	$a\in F$: $a\leq x\ \forall x\in E$	$E\neq\emptyset$	Rudin §1.7
Bounded	$\exists M>0$: $\|x\|\leq M\ \forall x\in E$	दोनों परिबंध	Bartle §2.3
$\sup E$	न्यूनतम upper bound	Bounded above	Rudin §1.8
$\inf E$	महत्तम lower bound	Bounded below	Rudin §1.8

    Completeness Axiom: $\quad \emptyset \neq E \subseteq \mathbb{R},\ E$ bounded above $\implies \sup E \in \mathbb{R}$
  

🔗