Supremum और Infimum की गणना: मानक विधियाँ

εCharacterisation

3मुख्य विधियाँ

4हल उदाहरण

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

LUBRudin Ch.1 §1.8

Supremum की परिभाषा जानना पर्याप्त नहीं है। CSIR NET, GATE और IIT JAM में वास्तविक चुनौती यह है कि supremum की गणना करें और फिर उसे कठोरता से सिद्ध करें। यह पोस्ट आपको एक सम्पूर्ण, व्यवस्थित toolkit प्रदान करती है — तीन मानक विधियाँ जो real analysis पाठ्यक्रम में आने वाले लगभग हर समुच्चय को कवर करती हैं।

📐

परिभाषाएँ और ε-Characterisation

📌 परिभाषा — Supremum (Least Upper Bound)

माना $S \subseteq \mathbb{R}$, $S \neq \emptyset$, ऊपर से bounded। $M \in \mathbb{R}$ को $S$ का Supremum कहते हैं ($M = \sup S$) यदि:
(i) $s \leq M$ प्रत्येक $s \in S$ के लिए, और
(ii) यदि $\gamma < M$ हो तो कोई $s \in S$ होगा जिसके लिए $\gamma < s$।

📌 परिभाषा — Infimum (Greatest Lower Bound)

$m \in \mathbb{R}$ को $S$ का Infimum कहते हैं ($m = \inf S$) यदि:
(i) $m \leq s$ प्रत्येक $s \in S$ के लिए, और
(ii) यदि $\gamma > m$ हो तो $\gamma$ एक lower bound नहीं है।

मुख्य सम्बन्ध: $\inf S = -\sup(-S)$ जहाँ $-S = \{-s : s \in S\}$।

📌 ε-Characterisation प्रमेय

$M = \sup S$ तब और केवल तब जब:
(i) $s \leq M$ प्रत्येक $s \in S$ के लिए, और
(ii) प्रत्येक $\varepsilon > 0$ के लिए कोई $s_\varepsilon \in S$ होता है जिसके लिए $s_\varepsilon > M - \varepsilon$।

द्वैत रूप से, $m = \inf S$ यदि और केवल यदि $m \leq s$ प्रत्येक $s \in S$ के लिए, और प्रत्येक $\varepsilon > 0$ के लिए कोई $s_\varepsilon \in S$ हो जिसमें $s_\varepsilon < m + \varepsilon$।

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

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

🔗 पूर्वापेक्षित विषय

→ Bounds and Extrema of Sets — upper/lower bounds और sup/inf की औपचारिक परिभाषाएँ
→ Order Relations and Ordered Sets — Ordered Field और Completeness Axiom
→ Foundations of Real Numbers — Archimedean Property का परिचय

💡

तीन मानक विधियाँ और ऐतिहासिक संदर्भ

Supremum और infimum की गणना एवं प्रमाण के लिए तीन मानक रणनीतियाँ हैं। इन तीनों को सीखने से CSIR NET और IIT JAM के लगभग सभी प्रश्न हल हो जाते हैं।

🔧 विधि 1 — बीजगणित से Candidate; ε-Characterisation से प्रमाण

कब उपयोग करें: समुच्चय किसी सूत्र से परिभाषित हो और supremum एक boundary मान हो जो $S$ में न हो।

परिभाषित असमानता को हेरफेर करके candidate $M$ पहचानें।
सत्यापित करें कि $M$ upper bound है ($s \leq M$ सभी $s \in S$ के लिए)।
प्रत्येक $\varepsilon > 0$ के लिए, Archimedean Property से $n_0 > \frac{1}{\varepsilon}$ चुनें और $s_\varepsilon \in S$ बनाएँ जिसके लिए $s_\varepsilon > M - \varepsilon$।

🔧 विधि 2 — Monotone Sequence / Limit तर्क

कब उपयोग करें: $S$ किसी monotone अनुक्रम का परास हो और sup/inf एक limit हो।

दिखाएँ कि अनुक्रम monotone और bounded है।
$n \to \infty$ लेकर candidate limit $L$ ज्ञात करें।
दिखाएँ कि $L$ upper bound है और अनुक्रम के पद $L$ के मनमाने निकट आते हैं।

🔧 विधि 3 — Contrapositive विधि

कब उपयोग करें: सभी upper bounds को स्पष्ट रूप से characterise किया जा सके।

$M$ को upper bound दिखाएँ।
मान लें $M' < M$। $S$ का कोई तत्व $s > M'$ प्रदर्शित करके विरोधाभास निकालें — अतः $M'$ upper bound नहीं।

"अपरिमेय संख्याओं की अवधारणा का निर्माण संख्या रेखा पर परिमेय संख्याओं द्वारा छोड़े गए अंतरालों को भरने के लिए आवश्यक था।"

— Richard Dedekind, Continuity and Irrational Numbers, 1872

🏛️ ऐतिहासिक संदर्भ — Dedekind और Completeness

Dedekind की खोज (1872)। $\mathbb{Q}$ में $S = \{q \in \mathbb{Q} : q^2 < 2\}$ ऊपर से bounded है (उदा. $2$ से), परंतु $\mathbb{Q}$ में उसका supremum नहीं है — क्योंकि वह $\sqrt{2} \notin \mathbb{Q}$ होता। इस अंतर को समझकर Dedekind ने "Dedekind Cuts" के माध्यम से $\mathbb{R}$ का निर्माण किया — एक पूर्ण क्रमित क्षेत्र जहाँ प्रत्येक bounded non-empty समुच्चय का supremum होता है। यही तीनों विधियों का आधार है।

एक bounded समुच्चय $S \subset \mathbb{R}$: $\inf S$ प्राप्त (ठोस बिंदु); $\sup S = M$ प्राप्त नहीं (खुला वृत्त)। बिंदु $s_\varepsilon \in S$ जिसके लिए $s_\varepsilon > M - \varepsilon$ — यही ε-characterisation को दर्शाता है।

✏️

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

1सरल — विधि 1

$S = \left\{\dfrac{n}{n+1} : n \in \mathbb{N}\right\}$ के लिए $\sup S$ और $\inf S$ ज्ञात करें।

चरण 1 — Candidate। $\dfrac{n}{n+1} = 1 - \dfrac{1}{n+1}$। जैसे $n \to \infty$, मान बढ़कर $1$ की ओर जाता है। अतः $\sup S = 1$ का अनुमान। $n=1$ पर न्यूनतम $\frac{1}{2}$, अतः $\inf S = \frac{1}{2}$।

चरण 2 — $\sup S = 1$ सिद्ध। सभी $n \in \mathbb{N}$ के लिए $\frac{n}{n+1} < 1$, अतः $1$ upper bound है। $\varepsilon > 0$ दिया; Archimedean Property से $n_0 > \frac{1}{\varepsilon} - 1$ चुनें। तब $\frac{n_0}{n_0+1} = 1 - \frac{1}{n_0+1} > 1 - \varepsilon$। अतः $\sup S = 1 \notin S$।

चरण 3 — $\inf S = \frac{1}{2}$। अनुक्रम strictly increasing है, अतः $\frac{1}{2} = \min S \in S$।

$\inf S = \dfrac{1}{2} \in S, \quad \sup S = 1 \notin S$

2मध्यम — विधि 1

$S = \{x \in \mathbb{R} : x^2 < 5\}$ के लिए $\sup S$ ज्ञात करें।

चरण 1। $x^2 < 5 \Leftrightarrow -\sqrt{5} < x < \sqrt{5}$, अतः $S = (-\sqrt{5}, \sqrt{5})$। Candidate: $\sup S = \sqrt{5}$।

चरण 2 — Upper bound। सभी $x \in S$ के लिए $x < \sqrt{5}$। ✓

चरण 3 — ε-characterisation। $\varepsilon > 0$ दिया ($\varepsilon < 2\sqrt{5}$), $s_\varepsilon = \sqrt{5} - \frac{\varepsilon}{2}$ रखें। $s_\varepsilon^2 = 5 - \sqrt{5}\,\varepsilon + \frac{\varepsilon^2}{4} < 5$, अतः $s_\varepsilon \in S$ और $s_\varepsilon > \sqrt{5} - \varepsilon$। ✓

$\sup S = \sqrt{5} \notin S, \quad \inf S = -\sqrt{5} \notin S$

3मध्यम-कठिन — विधि 3 (Contrapositive)

सिद्ध करें कि $\sup\!\left\{\dfrac{2n-1}{n} : n \in \mathbb{N}\right\} = 2$।

Upper bound। $\dfrac{2n-1}{n} = 2 - \dfrac{1}{n} < 2$ सभी $n \in \mathbb{N}$ के लिए। अतः $2$ upper bound है।

Contrapositive। मान लें $M' < 2$, अर्थात $M' = 2 - \delta$, $\delta > 0$। Archimedean Property से $n_0 > 1/\delta$ चुनें। तब $\dfrac{2n_0-1}{n_0} = 2 - \dfrac{1}{n_0} > 2 - \delta = M'$। अतः $M'$ upper bound नहीं। इसलिए $2$ से छोटी कोई भी संख्या upper bound नहीं।

$\sup S = 2 \notin S$

4कठिन — CSIR NET / IIT JAM स्तर

माना $A = \left\{\dfrac{(-1)^n \cdot n}{n+2} : n \in \mathbb{N}\right\}$। $\sup A$ और $\inf A$ ज्ञात करें।

चरण 1 — सम और विषम पदों को अलग करें। सम $n=2k$: $a_{2k} = \dfrac{k}{k+1}$। विषम $n=2k-1$: $a_{2k-1} = -\dfrac{2k-1}{2k+1}$।

चरण 2 — सम उपअनुक्रम। $\dfrac{k}{k+1} = 1 - \dfrac{1}{k+1} \nearrow 1$ जैसे $k \to \infty$। उदाहरण 1 की ε-विधि से $\sup\{a_{2k}\} = 1$ (प्राप्त नहीं)।

चरण 3 — विषम उपअनुक्रम। $-\dfrac{2k-1}{2k+1} = -1 + \dfrac{2}{2k+1} \searrow -1$ जैसे $k \to \infty$। $\inf\{a_{2k-1}\} = -1$ (प्राप्त नहीं): $\varepsilon > 0$ के लिए $k_0$ चुनें जैसे $\frac{2}{2k_0+1} < \varepsilon$, तब $a_{2k_0-1} < -1 + \varepsilon$।

$\inf A = -1 \notin A, \quad \sup A = 1 \notin A$

📋

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

A — ε-परीक्षण

$M = \sup S$ यदि $M$ UB है और $\forall\varepsilon>0,\;\exists\,s\in S: s > M-\varepsilon$

$m = \inf S$ यदि $m$ LB है और $\forall\varepsilon>0,\;\exists\,s\in S: s < m+\varepsilon$

$n_0$ के लिए Archimedean Property: $n_0 > \frac{1}{\varepsilon}$

B — बीजगणितीय Candidate

$s_n$ को $L \pm f(n)$ रूप में लिखें, $f(n)\to 0$

$L$ = candidate sup ($-f$) या inf ($+f$)

Monotonicity जाँचें — min/max की पुष्टि के लिए

$\inf S = -\sup(-S)$

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

🔵 CSIR NET: ε-proof अनिवार्य
🟢 GATE: विधि तुरंत पहचानें
🟠 IIT JAM: attained है या नहीं, लिखें
🔴 B.Sc.: sup और max में अंतर

खुले अंतराल: sup/inf $S$ में नहीं
बंद bounded अंतराल: दोनों प्राप्त

⚠️

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

1. Limit को Supremum मानना। अनुक्रम $L$ की ओर जा सकता है, परंतु $L$ उसके परास का supremum नहीं भी हो सकता। Upper bound की शर्त सदैव अलग से सत्यापित करें।

2. Upper bound सत्यापन छोड़ना। केवल ε-शर्त से $M = \sup S$ सिद्ध नहीं होता। यह भी सिद्ध करना होगा कि $s \leq M$ प्रत्येक $s \in S$ के लिए।

3. $\sup S \in S$ मान लेना। Supremum $S$ में नहीं भी हो सकता। हमेशा स्पष्ट करें कि supremum प्राप्त होता है या नहीं।

4. Archimedean चुनाव में गलती। $n_0$ चुनते समय $\frac{1}{n_0} < \varepsilon$ (strict) सुनिश्चित करें — $n_0 > \frac{1}{\varepsilon}$ स्पष्ट रूप से लिखें।

5. $-S$ में चिह्न भूल। $\sup(-S) = -\inf S$ और $\inf(-S) = -\sup S$। यह गलती ε-proof में बहुत सामान्य है।

🌐

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

Optimisation

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

Riemann Integration

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

Functional Analysis

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

Computer Science

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

📊

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

विधि	सर्वोत्तम उपयोग	मुख्य उपकरण	Attainment
1 — ε-Characterisation	बीजगणितीय समुच्चय; खुली boundary	Archimedean; $s_\varepsilon > M-\varepsilon$ हल	सामान्यतः $\notin S$
2 — Monotone Limit	अनुक्रम; monotone function का परास	Monotone Convergence; limit	Limit परास में नहीं
3 — Contrapositive	जहाँ सभी UBs characterise हों	मान लें $M' < M$; $s > M'$ दिखाएँ	समुच्चय पर निर्भर
Direct Minimum	परिमित समुच्चय; बंद अंतराल	$m \in S$ और $m \leq s$ सभी $s$ के लिए	हाँ — $m \in S$

    ε-Characterisation: $\;M = \sup S \iff \bigl[(s \leq M\;\forall s\in S)\;\text{ और }\;(\forall\varepsilon>0,\;\exists\,s_\varepsilon\in S: s_\varepsilon > M-\varepsilon)\bigr]$
  

🔗