---
title: "मानदंडित सदिश समष्टियाँ"
book: "विश्वविद्यालय गणित — स्नातक वर्ष 2"
subject: math
language: hi
chapter: 5
exercises: 12
source: https://one-course.com/books/math/4/hi/chapter/5-normed-vector-spaces
---

# अध्याय 5 — मानदंडित सदिश समष्टियाँ

जब [दूरिक समष्टि](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-def) स्वयं एक सदिश समष्टि हो और दूरी किसी [मानदंड](#def-b2-nvs-norm) से आती हो, तब सांस्थिति और रैखिक बीजगणित आपस में खेलने लगते हैं: रैखिक प्रतिचित्रण ठीक तभी [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) होते हैं जब वे इकाई गोले पर परिबद्ध हों, परिमित विमा सभी मानदंडों को एक-दूसरे से सहमत होने पर बाध्य कर देती है, और पूर्णता निरपेक्ष अभिसारी श्रेणियों को अभिसारी बना देती है। परिमित और अनंत विमा के बीच की खाई — जो रीस की प्रमेय में स्फटिक बन जाती है — इस अध्याय का सबसे गहरा पाठ है।

आगे सर्वत्र $E, F$ $K = \R$ या $\C$ पर सदिश समष्टियाँ हैं।

## 5.1 मानदंड

**परिभाषा 5.1.**

$E$ पर *मानदंड* ऐसा प्रतिचित्रण $\norm{\,\cdot\,} \colon E
\to \R_+$ है कि सभी $x, y \in E$, $\lambda \in K$ के लिए:

$$
\norm x = 0 \iff x = 0,
\qquad
\norm{\lambda x} = \abs\lambda\,\norm x,
\qquad
\norm{x + y} \leq \norm x + \norm y .
$$

तब $d(x, y) = \norm{x - y}$ एक दूरी है, और [अध्याय 4](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#ch-b2-metric) की पूरी सामग्री लागू हो जाती है। विपरीत त्रिभुज असमिका $\bigl|\norm x - \norm y\bigr| \leq \norm{x - y}$ मानदंड को स्वयं $1$-लिप्शिट्स बना देती है; और योग तथा अदिश गुणन [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) होते हैं (आकलन $\norm{(x + y) - (x' + y')} \leq \norm{x -
x'} + \norm{y - y'}$ इत्यादि)।

**उदाहरण 5.2.**

$K^n$ पर:

$$
\norm{x}_1 = \sum_i \abs{x_i},
\qquad
\norm{x}_2 = \Bigl(\sum_i \abs{x_i}^2\Bigr)^{1/2},
\qquad
\norm{x}_\infty = \max_i \abs{x_i}
$$

($\norm\cdot_2$ कोशी–श्वार्ज़ से [मानदंड](#def-b2-nvs-norm) है, प्रथम वर्ष का खंड)। $C(\intcc{a}{b})$ पर:

$$
\norm f_\infty = \sup \abs f,
\qquad
\norm f_1 = \int_a^b \abs f,
\qquad
\norm f_2 = \Bigl(\int_a^b \abs f^2\Bigr)^{1/2},
$$

जिनमें अंतिम दो समाकल की यथार्थ धनात्मकता और समाकल कोशी–श्वार्ज़ (प्रथम वर्ष का खंड) के कारण [मानदंड](#def-b2-nvs-norm) हैं। आव्यूहों पर: $\mathcal M_n(K) \simeq K^{n^2}$ का कोई भी [मानदंड](#def-b2-nvs-norm); और नीचे आने वाले [संकारक मानदंड](#thm-b2-nvs-continuouslinear) संरचनात्मक दृष्टि से महत्त्वपूर्ण हैं।

**परिभाषा 5.3 (तुल्य मानदंड).**

$E$ पर दो [मानदंड](#def-b2-nvs-norm) $N_1, N_2$ *तुल्य* कहलाते हैं जब ऐसे अचर $c, C > 0$ हों कि

$$
c\,N_1 \leq N_2 \leq C\, N_1 .
$$

तुल्य मानदंडों के [विवृत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-topology) समुच्चय एक ही होते हैं, अभिसारी और कोशी अनुक्रम एक ही, [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) और [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) उपसमुच्चय एक ही: अर्थात् वही विश्लेषण।

**उदाहरण 5.4 (अनंत विमा में अतुल्यता).**

$C(\intcc{0}{1})$ पर: $\norm f_1 \leq \norm f_\infty$ सदा, परंतु उलटा कोई परिबंध नहीं टिकता: $f_n(x) = x^n$ के लिए $\norm{f_n}_\infty = 1$ और $\norm{f_n}_1 = \frac{1}{n+1} \to 0$ होते हैं। अतः $\norm\cdot_1$ के लिए $f_n \to 0$ है पर $\norm\cdot_\infty$ के लिए नहीं: दोनों [मानदंड](#def-b2-nvs-norm) अभिसरण के बारे में ही असहमत हैं।

**उदाहरण 5.5 (विमा nnn में स्पष्ट अचर).**

$K^n$ पर तीनों क्लासिक [मानदंड](#def-b2-nvs-norm) तीखे अचरों के साथ [तुल्य](#def-b2-nvs-equivalent) हैं:

$$
\norm x_\infty \leq \norm x_2 \leq \norm x_1
\leq \sqrt n\,\norm x_2 \leq n\,\norm x_\infty ,
$$

जिनमें बीच वाला परिबंध $\norm x_1 \leq \sqrt n\norm x_2$ सर्व-एक सदिश के विरुद्ध कोशी–श्वार्ज़ से आता है। चरम सदिश: $e_1$ पहली दो असमिकाओं को समता बना देता है और $(1, 1,
\dots, 1)$ अंतिम दो को। विमा $n$ अचरों में स्पष्ट दिखाई देती है — यही अनंत विमा में विफलता का परिमाणात्मक बीज है: $n \to \infty$ होने पर कोई एकसमान अचर नहीं बचता, और ठीक यही [उदाहरण 5.4](#ex-b2-nvs-nonequivalent) फलन समष्टियों पर दिखा देता है।

![ℝ2 के तीनों क्लासिक मानदंडों के इकाई गोले, जो की असमिकाओं के अनुसार एक के भीतर एक बैठे हैं: छोटा गोला, बड़ा मानदंड। गोलाई महत्त्वपूर्ण है: हीरे और वर्ग की सपाट भुजाएँ ठीक वे यथार्थ उत्तलता की विफलताएँ हैं जिनका उपयोग की सप्ताहांत समस्या में और इस अध्याय की समस्या (प्रश्न 4) में किया गया है।](https://one-course.com/images/onecourse/chapters/math-4/b2-nvs/fig-89dd87920119.svg)

*$\R^2$ के तीनों क्लासिक मानदंडों के इकाई गोले, जो [उदाहरण 5.5](#ex-b2-nvs-constants) की असमिकाओं के अनुसार एक के भीतर एक बैठे हैं: छोटा गोला, बड़ा [मानदंड](#def-b2-nvs-norm)। गोलाई महत्त्वपूर्ण है: हीरे और वर्ग की सपाट भुजाएँ ठीक वे यथार्थ उत्तलता की विफलताएँ हैं जिनका उपयोग [अध्याय 8](https://one-course.com/books/math/4/hi/chapter/8-functions-of-a-real-variable#ch-b2-realfun) की सप्ताहांत समस्या में और इस अध्याय की समस्या (प्रश्न 4) में किया गया है।*

## 5.2 संतत रैखिक प्रतिचित्रण

**प्रमेय 5.6 (अभिलक्षण).**

मानदंडित समष्टियों के बीच रैखिक प्रतिचित्रण $u \colon E \to F$ के लिए निम्नलिखित [तुल्य](#def-b2-nvs-equivalent) हैं:

1. $u$ [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है;
2. $u$ $0$ पर [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है;
3. $u$ संवृत इकाई गोले पर परिबद्ध है: $\sup_{\norm x \leq  1} \norm{u(x)} < \infty$ ;
4. कोई ऐसा $C \geq 0$ है कि सभी $x$ के लिए $\norm{u(x)} \leq C \norm x$ ;
5. $u$ [लिप्शिट्स](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है।

ऐसा न्यूनतम $C$ *संकारक मानदंड* $\vertiii{u} = \sup_{\norm x \leq 1}\norm{u(x)} = \sup_{x \neq 0}
\frac{\norm{u(x)}}{\norm x}$ कहलाता है; वह [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) रैखिक प्रतिचित्रणों की समष्टि $\mathcal{L}_c(E,
F)$ को मानदंडित समष्टि बना देता है, जहाँ

$$
\vertiii{v \circ u} \leq \vertiii v\, \vertiii u .
$$

**उपपत्ति.** (1 $\Rightarrow$ 2) तुच्छ। (2 $\Rightarrow$ 3): $\varepsilon = 1$ के साथ $0$ पर संततता $\norm x \leq \delta
\Rightarrow \norm{u(x)} \leq 1$ वाला $\delta$ दे देती है; और फिर समघातता $\norm x \leq 1$ वाले किसी भी $x$ को उस गोले में उतारकर वापस ले आती है:

$$
\norm{u(x)} = \frac1\delta\,\norm{u(\delta x)} \leq
\frac1\delta ,
$$

क्योंकि $\norm{\delta x} \leq \delta$। (3 $\Rightarrow$ 4): $x \neq 0$ के लिए परिबंध $\frac{x}{\norm x}$ पर लगाइए। (4 $\Rightarrow$ 5): $\norm{u(x) - u(y)} = \norm{u(x - y)} \leq
C\norm{x - y}$। (5 $\Rightarrow$ 1) ज्ञात है।

$\vertiii\cdot$ के लिए [मानदंड](#def-b2-nvs-norm) अभिगृहीत: समघातता और पृथक्करण स्पष्ट हैं ($\vertiii u = 0$ गोले पर $u = 0$ को बाध्य कर देता है, अतः सर्वत्र); त्रिभुज असमिका $\norm{(u + v)(x)} \leq
\norm{u(x)} + \norm{v(x)}$ से; और उपगुणात्मकता: $\norm{v(u(x))}
\leq \vertiii v\,\norm{u(x)} \leq \vertiii v \vertiii u \norm x$। ∎

**उदाहरण 5.7.**

$\bigl(C(\intcc{0}{1}), \norm\cdot_\infty\bigr)$ पर: मूल्यांकन $f \mapsto f(0)$ का [संकारक मानदंड](#thm-b2-nvs-continuouslinear) $1$ है; समाकलन $f \mapsto
\int_0^1 f$ का [मानदंड](#def-b2-nvs-norm) $1$ है; और प्रतिचित्रण $f \mapsto \int_0^1 t f(t)\dd t$ का [मानदंड](#def-b2-nvs-norm) $\int_0^1 t\,\dd t = \frac12$ (ऊपरी परिबंध समाकलों की त्रिभुज असमिका से; और $f \equiv 1$ पर प्राप्त)। परंतु $(C^1, \norm\cdot_\infty)$ से $(C^0,
\norm\cdot_\infty)$ में अवकलन [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) *नहीं* है: $\norm{\sin(nx)}_\infty
= 1$ जबकि अवकलज का उच्चतम [मानदंड](#def-b2-nvs-norm) $n$ है। अनंत विमा में रैखिक होने से [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) होना नहीं निकलता।

**उदाहरण 5.8 (एक ही अनुक्रम पर दो मानदंड, दो निर्णय).**

$C(\intcc01)$ पर मान लीजिए $g_n(x) = \sqrt{n}\,x^n$। तब

$$
\norm{g_n}_1 = \frac{\sqrt n}{n + 1} \longrightarrow 0,
\qquad
\norm{g_n}_2^2 = \frac{n}{2n + 1} \longrightarrow \frac12,
\qquad
\norm{g_n}_\infty = \sqrt n \longrightarrow \infty :
$$

अर्थात् एक अनुक्रम, तीन [मानदंड](#def-b2-nvs-norm), तीन व्यवहार — शून्य पर अभिसरण, कोई अभिसरण नहीं ([मानदंड](#def-b2-nvs-norm) $\frac1{\sqrt2}$ पर स्थिर हो जाते हैं जबकि बिंदुवार सीमा $0$ है), और विस्फोट। $x = 1$ के पास संकेंद्रित होता द्रव्यमान $\norm\cdot_1$ को दिखाई नहीं देता, $\norm\cdot_2$ को आधा दिखाई देता है, और $\norm\cdot_\infty$ के लिए वही प्रमुख है। अनंत विमा में “क्या यह अभिसरित होता है?” किसी अनुक्रम के बारे में प्रश्न नहीं है: वह अनुक्रम *और* [मानदंड](#def-b2-nvs-norm), दोनों के बारे में प्रश्न है।

**विधि 5.9 (संकारक मानदंड का परिकलन).**

सदा दो चालों में। *ऊपरी परिबंध:* त्रिभुज असमिकाओं, कोशी–श्वार्ज़ अथवा समाकल परिबंधों से $\norm{u(x)}$ का $C\norm x$ के द्वारा आकलन कीजिए — इससे $\vertiii u
\leq C$ सिद्ध होता है। *साक्षी:* या तो $\norm{u(x_0)} = C\norm{x_0}$ वाला कोई विशिष्ट $x_0 \neq 0$ दिखाइए (परिबंध प्राप्त हो जाता है), अथवा इकाई सदिशों का ऐसा अनुक्रम $x_n$ जिसके लिए $\norm{u(x_n)} \to C$ (परिबंध के पास पहुँचा जाता है)। दोनों चालें अनिवार्य हैं: अकेला ऊपरी परिबंध केवल $\vertiii u \leq C$ देता है, और अकेला साक्षी केवल $\vertiii u \geq C$। अनंत विमा में साक्षी को अनुक्रम होना पड़ सकता है — उच्चतम का प्राप्त होना आवश्यक नहीं ([अभ्यास 5.8](#exo-b2-nvs-8))।

**उदाहरण 5.10 (विकर्ण संकारक हर मानदंड को एक-सा देखते हैं).**

$K^n$ पर $\norm\cdot_1, \norm\cdot_2,
\norm\cdot_\infty$ में से *किसी भी* [मानदंड](#def-b2-nvs-norm) के साथ $D = \operatorname{diag}(d_1, \dots, d_n)$ के लिए: निर्देशांक-दर-निर्देशांक $\abs{d_ix_i} \leq
\bigl(\max_j\abs{d_j}\bigr)\abs{x_i}$ से $\norm{Dx} \leq \max_j\abs{d_j}\,\norm x$; और $x = e_{j_0}$ (कोई महत्तम करने वाला सूचकांक) उसे प्राप्त कर लेता है। अतः तीनों स्थितियों में $\vertiii D =
\max_j\abs{d_j}$: विकर्ण प्रतिचित्रणों के लिए सभी उचित [मानदंड](#def-b2-nvs-norm) एक ही कहानी कहते हैं, अर्थात् सबसे बड़ा खिंचाव गुणक। संकारक मानदंडों में जो कुछ कठिन है वह सब *अविकर्ण* व्यवहार के बारे में है — और इसीलिए इस अध्याय की सप्ताहांत समस्या (प्रश्न 22) के अनुकूलित [मानदंड](#def-b2-nvs-norm) पहले आव्यूह को विकर्ण बनाकर ही काम करते हैं।

**उदाहरण 5.11 (स्तंभ-योग: अभ्यास 5.4 का 111-मानदंड वाला जुड़वाँ).**

$(\R^n, \norm\cdot_1)$ पर आव्यूह $A$ का [संकारक मानदंड](#thm-b2-nvs-continuouslinear) सबसे बड़ा निरपेक्ष *स्तंभ*-योग होता है। विधि चलाइए: $\norm x_1 \leq 1$ के लिए

$$
\norm{Ax}_1 = \sum_i\Bigl|\sum_j a_{ij}x_j\Bigr|
\leq \sum_j \abs{x_j}\sum_i\abs{a_{ij}}
\leq \Bigl(\max_j\sum_i\abs{a_{ij}}\Bigr)\norm x_1 ,
$$

और परिबंध किसी महत्तम करने वाले स्तंभ $j_0$ के लिए $x = e_{j_0}$ पर प्राप्त हो जाता है — कल्पना की जा सकने वाली सबसे सुथरी साक्षी। अतः $A =
\left(\begin{smallmatrix}1 & -2\\ 3 & 1\end{smallmatrix}\right)$ के लिए: $\vertiii A_1 = \max(1 + 3,\ 2 + 1) = 4$, जबकि $\vertiii A_\infty = 4$ भी (पंक्तियाँ) — यह यहाँ संयोग है, नियम नहीं: आव्यूह की प्रविष्टियाँ असममित ढंग से बदल दीजिए और दोनों [मानदंड](#def-b2-nvs-norm) अलग हो जाएँगे। $\norm\cdot_\infty$ के लिए पंक्तियाँ, $\norm\cdot_1$ के लिए स्तंभ: स्मरण-सूत्र यह है कि हर [मानदंड](#def-b2-nvs-norm) के इकाई सदिश (क्रमशः चिह्न-प्रतिरूप और आधार सदिश) मेल खाते योग चुन लेते हैं।

**प्रतिज्ञप्ति 5.12 (द्विरैखिक प्रतिचित्रण).**

कोई द्विरैखिक प्रतिचित्रण $b \colon E \times F \to G$ [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है यदि और केवल यदि किसी $C$ के लिए $\norm{b(x,y)} \leq C\norm x\,\norm y$ हो; तब वह परिबद्ध समुच्चयों पर [लिप्शिट्स](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) होता है। (उपपत्ति का ढर्रा वही है; गुणनफल $(u, v) \mapsto v \circ u$ और आव्यूह गुणन मुख्य उदाहरण हैं।)

**उपपत्ति.** यदि परिबंध सत्य है:

$$
b(x,y) - b(x_0,y_0) = b(x - x_0,\, y) + b(x_0,\, y - y_0),
$$

अतः $\norm{b(x,y) - b(x_0,y_0)} \leq C\norm{x - x_0}\norm y +
C\norm{x_0}\norm{y - y_0}$: अर्थात् $(x_0, y_0)$ पर संततता, और जहाँ $\norm x, \norm y \leq R$ वहाँ [लिप्शिट्स](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) परिबंध। विलोमतः $(0,0)$ पर संततता $\norm x, \norm y \leq \delta$ पर $\norm{b(x,y)} \leq 1$ वाला $\delta$ दे देती है; अब दोनों चरों का मापन बदलिए। ∎

## 5.3 परिमित विमा

**प्रमेय 5.13 (परिमित विमा में मानदंडों की तुल्यता).**

परिमित-विमीय समष्टि पर *सभी [मानदंड](#def-b2-nvs-norm) [तुल्य](#def-b2-nvs-equivalent) होते हैं*। फलतः परिमित विमा में: अभिसरण, विवृतता, संहतता और पूर्णता मानदंड-निरपेक्ष धारणाएँ हैं; [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) $=$ संवृत और परिबद्ध; समष्टि [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) होती है; और परिमित-विमीय समष्टि *से* जाने वाला हर रैखिक (अथवा बहुरैखिक) प्रतिचित्रण [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) होता है।

**उपपत्ति.** कोई आधार स्थिर कीजिए और $E \simeq K^n$ से पहचान लीजिए; अब किसी भी [मानदंड](#def-b2-nvs-norm) $N$ की $\norm\cdot_\infty$ से तुलना कर लेना पर्याप्त है।

*एक दिशा बीजगणित है:* $C = \sum N(e_i)$ के साथ $N(x) = N(\sum x_i e_i) \leq
\sum \abs{x_i} N(e_i) \leq C \norm x_\infty$। इससे यह भी दिखता है कि $N$ $(K^n, \norm\cdot_\infty)$ पर [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है (वह $C$-लिप्शिट्स है: $\abs{N(x) - N(y)} \leq N(x - y)$)।

*दूसरी सांस्थिति है:* इकाई गोलक $S = \{x :
\norm{x}_\infty = 1\}$ $(K^n,
\norm\cdot_\infty)$ में संवृत और परिबद्ध है, अतः [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) ([प्रमेय 4.16](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#thm-b2-metric-compactprops) (2), जो $\C^n \simeq
\R^{2n}$ के लिए मान्य है)। [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) फलन $N$ $S$ पर अपना न्यूनतम $c$ प्राप्त कर लेता है; और $c > 0$ क्योंकि $N$ केवल $0 \notin S$ पर लुप्त होता है। समघातता परिबंध को फैला देती है: सभी $x$ के लिए $N(x) \geq c \norm{x}_\infty$।

परिणाम: सारे कथन $(K^n,
\norm\cdot_\infty)$ पर सिमट आते हैं, जहाँ वे ज्ञात हैं ([प्रमेय 4.9](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#thm-b2-metric-rncomplete), [प्रमेय 4.16](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#thm-b2-metric-compactprops)); और परिमित-विमीय $E$ से जाने वाला रैखिक $u$ $\norm{u(x)} \leq \sum\abs{x_i}
\norm{u(e_i)} \leq C'\norm{x}_\infty$ पूरा करता है: अर्थात् [प्रमेय 5.6](#thm-b2-nvs-continuouslinear) का परिबंध (4)। ∎

**उपप्रमेय 5.14.**

किसी भी मानदंडित समष्टि की परिमित-विमीय उपसमष्टि संवृत होती है।

**उपपत्ति.** वह प्रेरित [मानदंड](#def-b2-nvs-norm) के लिए [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) है ([प्रमेय 5.13](#thm-b2-nvs-finitedim)), और [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) उपसमुच्चय संवृत होते हैं ([परिभाषा 4.7](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete))। ∎

**उदाहरण 5.15 (सममिति से परिकलित एक सर्वोत्तम सन्निकटन).**

$\bigl(C(\intcc{-1}{1}), \norm\cdot_\infty\bigr)$ में $f(x) = \abs x$ आनत फलनों $a + bx$ की (संवृत, द्वि-विमीय) उपसमष्टि से कितनी दूर है? सममिति से, $a + bx$ के स्थान पर $a - bx$ रखने पर $\norm{f - (a \pm bx)}_\infty$ अपरिवर्तित रहता है, और मध्यबिंदु $a$ कम से कम उतना ही अच्छा है (औसत पर त्रिभुज असमिका): अतः केवल अचरों पर विचार करना पर्याप्त है। किसी अचर $a$ के लिए:

$$
\norm{\abs x - a}_\infty = \max\,(1 - a,\ a)
\geq \frac12 ,
$$

जो $a = \frac12$ पर न्यूनतम होता है: अतः दूरी $\frac12$ है, जो अचर $\frac12$ पर प्राप्त होती है। त्रुटि-वक्र $\abs x -
\frac12$ पर ध्यान दीजिए: वह $x = -1, 0,
1$ पर बारी-बारी से $\pm\frac12$ तक पहुँचता है — अर्थात् दो-प्राचली कुल से सर्वोत्तम सन्निकटन के लिए बारी-बारी चिह्न वाले तीन चरम मान। यह *समदोलन* प्रतिरूप संयोग नहीं है; वह अनुकूलतम होने का हस्ताक्षर है, जिसे इस अध्याय की सप्ताहांत समस्या चेबिशेव की प्रमेय में बदल देती है।

**उदाहरण 5.16 (संवृत बनाम सघन उपसमष्टियाँ).**

$E = \bigl(C(\intcc{0}{1}), \norm\cdot_\infty\bigr)$ में: हर $\R_n[X]$ ($\intcc01$ तक प्रतिबंधित घात $\leq n$ के बहुपद) परिमित-विमीय है, अतः *संवृत* उपसमष्टि — घात $\leq n$ के बहुपदों की एकसमान सीमा भी वैसी ही होती है। परंतु उन सबका सम्मिलन $\R[X]$ $E$ में *सघन* है (वाइरश्ट्रास सन्निकटन प्रमेय, जो [अध्याय 10](https://one-course.com/books/math/4/hi/chapter/10-sequences-and-series-of-functions#ch-b2-funcseq) में सिद्ध की गई है), और सघन उचित उपसमष्टियाँ जितनी असंवृत हो सकती हैं उतनी होती हैं। सार: उपसमष्टियों की संवृतता परिमित विमा का विशेषाधिकार है; संवृत मंज़िलों को चुनते जाने से सघन गगनचुंबी इमारत बन सकती है।

**प्रमेय 5.17 (रीस).**

किसी मानदंडित समष्टि $E$ का संवृत इकाई गोला [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) है *यदि और केवल यदि* $\dim E < \infty$।

**उपपत्ति.** परिमित विमा: संवृत और परिबद्ध होना पर्याप्त है ([प्रमेय 5.13](#thm-b2-nvs-finitedim))।

विलोमतः मान लीजिए $\dim E = \infty$। *रीस की प्रमेयिका:* प्रत्येक उचित संवृत उपसमष्टि $F \subsetneq E$ तथा $\varepsilon \in
\intoo{0}{1}$ के लिए ऐसा इकाई सदिश $x$ है कि $d(x, F) \geq 1 -
\varepsilon$। उपपत्ति: $y \notin F$ चुनिए, $\delta = d(y, F) > 0$ लीजिए ($F$ संवृत है), $\norm{y - f} \leq
\frac{\delta}{1 - \varepsilon}$ वाला $f \in F$ चुनिए, और $x = \frac{y - f}{\norm{y -
f}}$ रखिए: तब किसी भी $g \in F$ के लिए

$$
\norm{x - g} = \frac{\norm{y - (f + \norm{y-f}\,g)}}{\norm{y - f}}
\geq \frac{\delta}{\norm{y-f}} \geq 1 - \varepsilon ,
$$

जहाँ अंश $y$ से $F$ के किसी बिंदु तक की दूरी है।

अब आगमन से इकाई सदिश $x_1, x_2, \dots$ बनाइए: $F_k =
\operatorname{Vect}(x_1, \dots, x_k)$ परिमित-विमीय है, अतः संवृत ([उपप्रमेय 5.14](#cor-b2-nvs-closedsubspace)) और उचित; और $\varepsilon = \frac12$ के साथ रीस की प्रमेयिका $d(x_{k+1},
F_k) \geq \frac12$ वाला इकाई $x_{k+1}$ दे देती है। यह अनुक्रम $p \neq q$ के लिए $\norm{x_p - x_q} \geq
\frac12$ पूरा करता है: अतः कोई अभिसारी उपअनुक्रम नहीं — अर्थात् इकाई गोला [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) नहीं। ∎

**उदाहरण 5.18 (विमा-संसूचक के रूप में रीस).**

क्या $C(\intcc01)$ परिमित-विमीय है? रीस बिना कोई स्पष्ट अनंत स्वतंत्र कुल दिखाए उत्तर दे देती है: अनुक्रम $f_n(x) = x^n$ संवृत इकाई गोले में है और $m > n$ के लिए उपयुक्त बिंदुओं पर $\norm{f_n - f_m}_\infty \geq f_n(x_0) - f_m(x_0) > 0$ पूरा करता है — जिसे इस अध्याय की सप्ताहांत समस्या (प्रश्न 16) में सफ़ाई से परिमाणित किया गया है, जहाँ कोई उपअनुक्रम परस्पर दूरी $\geq \frac14$ पर बना रहता है। कोई अभिसारी उपअनुक्रम नहीं, अतः गोला [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) नहीं, अतः [प्रमेय 5.17](#thm-b2-nvs-riesz) से $\dim C(\intcc01) = \infty$। इकाई गोले की संहतता एक पूर्ण द्विभाजन है: वह परिमित विमा में सत्य है, अनंत विमा में विफल, और बीच में कुछ नहीं — अकेली ज्यामिति विमा का प्रकार पढ़ लेती है।

## 5.4 बानाख समष्टियाँ

**परिभाषा 5.19.**

*बानाख समष्टि* [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) मानदंडित समष्टि होती है। उदाहरण: हर परिमित-विमीय मानदंडित समष्टि ([प्रमेय 5.13](#thm-b2-nvs-finitedim)); $\bigl(C(\intcc{a}{b}),
\norm\cdot_\infty\bigr)$ ([प्रमेय 4.9](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#thm-b2-metric-rncomplete)); और $\mathcal{L}_c(E, F)$ जब $F$ बानाख हो (उपपत्ति का वही ढर्रा जो [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) फलनों के लिए था)। अनुदाहरण: $\bigl(C(\intcc{0}{1}),
\norm\cdot_1\bigr)$ ([अभ्यास 5.7](#exo-b2-nvs-7))।

**उदाहरण 5.20 (समाकलन का संकारक मानदंड).**

$\bigl(C(\intcc01), \norm\cdot_\infty\bigr)$ पर $T(f)(x) =
\int_0^x f(t)\,\dd t$ लीजिए (यह अंतःरूपांतरण है: $T(f)$ [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है)। [विधि 5.9](#met-b2-nvs-opnorm) चलाइए। ऊपरी परिबंध:

$$
\abs{T(f)(x)} \leq \int_0^x\abs f \leq x\,\norm f_\infty \leq
\norm f_\infty ,
$$

अतः $\vertiii T \leq 1$। साक्षी: $f \equiv 1$ से $T(f)(x) =
x$ और $\norm{T(f)}_\infty = 1 = \norm f_\infty$ मिलता है: अतः प्राप्त, $\vertiii T = 1$। परंतु ध्यान दीजिए कि $\vertiii{T^2} = \frac12 \neq
\vertiii T^2$: वास्तव में $T^2(f)(x) = \int_0^x(x - t)f(t)\dd t$ के लिए $\abs{T^2(f)(x)} \leq \frac{x^2}2\norm f_\infty$, जो फिर $f \equiv 1$ पर प्राप्त होता है; और सामान्यतः $\vertiii{T^n} = \frac1{n!}$ — अर्थात् उपगुणात्मक परिबंध $\vertiii T^n = 1$ एक क्रमगुणित जितना चूक जाता है। यही वह परिघटना है जिसे [अध्याय 4](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#ch-b2-metric) की सप्ताहांत समस्या की पुनरावृत्त-युक्ति रैखिक अवकल समीकरणों की वैश्विक हल्यता में बदल देती है।

**प्रमेय 5.21 (बानाख समष्टियों में निरपेक्ष अभिसरण).**

किसी [बानाख समष्टि](#def-b2-nvs-banach) में यदि $\sum \norm{u_n} < \infty$ हो तो $\sum u_n$ अभिसरित होती है, और $\norm{\sum u_n} \leq \sum\norm{u_n}$। (मानदंडित समष्टियों में श्रेणियों का पूरा सिद्धांत [अध्याय 7](https://one-course.com/books/math/4/hi/chapter/7-sequences-and-series#ch-b2-series) है।)

**उपपत्ति.** आंशिक योग $S_N$: $q > p$ के लिए $\norm{S_q - S_p} \leq
\sum_{n=p+1}^{q}\norm{u_n}$, जो $0$ की ओर जाता है (मानदंडों की वास्तविक श्रेणी के लिए कोशी कसौटी): अतः $(S_N)$ कोशी है, इसलिए अभिसारी। और असमिका परिमित त्रिभुज असमिका से सीमा तक चली जाती है। ∎

**उदाहरण 5.22 (आव्यूह घातांकी, पहला परिचय).**

*आव्यूह घातांकी*: किसी भी उपगुणात्मक [मानदंड](#def-b2-nvs-norm) के साथ $\mathcal{M}_n(K)$ ($\vertiii{AB}
\leq \vertiii A \vertiii B$) बानाख है (परिमित विमा)। तब प्रत्येक $A$ के लिए

$$
\eu^A = \sum_{k=0}^{\infty} \frac{A^k}{k!}
$$

निरपेक्ष रूप से अभिसरित होती है ($\vertiii{A^k/k!} \leq \vertiii A^k /k!$, जो योग्य है): अतः सुपरिभाषित। [अध्याय 16](https://one-course.com/books/math/4/hi/chapter/16-differential-equations#ch-b2-diffeq) इसका क्रमबद्ध उपयोग करता है।

**उदाहरण 5.23 (एक नॉयमान श्रेणी जो समाप्त हो जाती है).**

$A = \left(\begin{smallmatrix}0 & \frac12\\ 0 &
0\end{smallmatrix}\right)$ के लिए: [उदाहरण 5.2](#ex-b2-nvs-examples) के मानदंडों पर बने किसी भी [संकारक मानदंड](#thm-b2-nvs-continuouslinear) में $\vertiii A < 1$, और $A^2 = 0$, अतः गुणोत्तर श्रेणी सिमट जाती है:

$$
(I - A)^{-1} = \sum_{k \geq 0} A^k = I + A =
\begin{pmatrix}1 & \tfrac12\\ 0 & 1\end{pmatrix},
$$

जिसे $(I - A)(I + A) = I - A^2 = I$ से सत्यापित किया जा सकता है। शून्यंभाविता श्रेणी को ठीक वैसे ही काट देती है जैसे उसने [अध्याय 3](https://one-course.com/books/math/4/hi/chapter/3-reduction-of-endomorphisms#ch-b2-reduction) में घातांकी को काटा था; और यह उदाहरण अपेक्षाएँ भी सँवार देता है: नॉयमान प्रतिलोम सामान्यतः अनंत श्रेणी है, और बहुपद ठीक तभी जब विक्षोभ शून्यंभावी हो, तथा $N$ पदों के बाद त्रुटि सदा गुणोत्तर पुच्छ $\vertiii A^{N+1}/(1 - \vertiii A)$ से परिबद्ध रहती है।

**उदाहरण 5.24 (किसी घूर्णन जनक का घातांकी).**

$A = \left(\begin{smallmatrix}0 & -\theta\\ \theta &
0\end{smallmatrix}\right)$ लीजिए। तब $A^2 = -\theta^2 I$, अतः घातें चार के आवर्त में चक्कर लगाती हैं, और श्रेणी सम तथा विषम भागों में बँट जाती है:

$$
\eu^{A} = \sum_{k}\frac{A^k}{k!}
= \Bigl(\sum_{j}\frac{(-1)^j\theta^{2j}}{(2j)!}\Bigr) I
+ \Bigl(\sum_{j}\frac{(-1)^j\theta^{2j+1}}{(2j+1)!}\Bigr)
\frac{A}{\theta}
= \begin{pmatrix}
\cos\theta & -\sin\theta\\
\sin\theta & \cos\theta
\end{pmatrix},
$$

जहाँ सारे पुनर्विन्यास निरपेक्ष अभिसरण से अनुमत हैं। किसी प्रतिसममित जनक का घातांकी एक घूर्णन होता है — और यहाँ वह केवल श्रेणी से परिकलित हुआ है, अवकल समीकरण $x' = Ax$ ([अध्याय 16](https://one-course.com/books/math/4/hi/chapter/16-differential-equations#ch-b2-diffeq)) के यह समझाने से तीन अध्याय पहले कि ऐसा *क्यों* है: $\eu^{tA}$ एकसमान वृत्तीय गति है। समापन दृष्टि: आव्यूह श्रेणियों की सर्वसमिकाएँ ठीक वैसे ही सिद्ध होती हैं जैसे अदिश वाली, बस कोई उपगुणात्मक [मानदंड](#def-b2-nvs-norm) निरपेक्ष अभिसरण प्रमाणित कर दे।

**उदाहरण 5.25 (उच्चतम मानदंड का अर्थ है एकसमान: शब्दकोश).**

कथन $\norm{f_n - f}_\infty \to 0$ *ही* एकसमान अभिसरण है: एक ही संख्या $\sup_x\abs{f_n(x) - f(x)}$ हर बिंदु पर एक साथ त्रुटि को परिबद्ध कर देती है। $\intcc{0}{1}$ पर $f_n(x) = x^n$ के साथ शब्दकोश काम पर: बिंदुवार $\intco{0}{1}$ पर $f_n
\to 0$ और $f_n(1) = 1$; और [मानदंड](#def-b2-nvs-norm) में $\norm{f_n - 0}_\infty = 1 \not\to 0$, तथा वास्तव में बिंदुवार सीमा असंतत है, इसलिए $C(\intcc01)$ में $\norm\cdot_\infty$-सीमा की पहुँच से बाहर (जो एकसमान सीमाओं के अंतर्गत संवृत है, [प्रमेय 4.9](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#thm-b2-metric-rncomplete))। $\intcc{0}{a}$ पर $a < 1$: $\norm{f_n}_\infty = a^n \to 0$ — अर्थात् प्रांत सिकोड़ने से एकसमान अभिसरण लौट आता है। [अध्याय 10](https://one-course.com/books/math/4/hi/chapter/10-sequences-and-series-of-functions#ch-b2-funcseq) का हर अभिसरण कथन इसी एक [मानदंड](#def-b2-nvs-norm) के बारे में कथन है; और यह शब्दकोश ध्यान में रखने से वह अध्याय आधा हो जाता है।

**टिप्पणी 5.26 (सामान्य भूलें).**

(क) [संकारक मानदंड](#thm-b2-nvs-continuouslinear) *दोनों* चुने गए मानदंडों पर निर्भर करता है: उसी आव्यूह का $\vertiii\cdot_\infty$ पंक्ति-योगों से मिलता है ([अभ्यास 5.4](#exo-b2-nvs-4)) और $\vertiii\cdot_1$ उससे भिन्न होता है (स्तंभ-योग); अंतर्निहित मानदंडों का नाम लिए बिना “आव्यूह का” [मानदंड](#def-b2-nvs-norm) कहना निरर्थक है। (ख) $\vertiii{AB} \leq
\vertiii A\,\vertiii B$ एक असमिका है, और प्रायः यथार्थ — घातें परिबंध $\vertiii A^k$ के सुझाव से कहीं तेज़ी से सिकुड़ सकती हैं, और अनुकूलित मानदंडों का पूरा उद्देश्य यही है (इस अध्याय की सप्ताहांत समस्या, प्रश्न 22)। (ग) “रैखिक होने से [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) होना निकलता है” परिमित विमा का विशेषाधिकार है: बहुपदों पर अवकलन रैखिक है और अपरिबद्ध ([उदाहरण 5.7](#ex-b2-nvs-operatornorms))। (घ) $\sum u_n$ का निरपेक्ष अभिसरण तभी काम आता है जब समष्टि [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) हो ([अभ्यास 7.9](https://one-course.com/books/math/4/hi/chapter/7-sequences-and-series#exo-b2-series-9) प्रतिउदाहरण बना देता है)। (ङ) अनंत विमा में इकाई गोले पर उच्चतम सचमुच का उच्चतम होता है: यह मत मान लीजिए कि वह प्राप्त हो जाता है ([अभ्यास 5.8](#exo-b2-nvs-8))।

**टिप्पणी 5.27 (इसी खंड के भीतर के परिप्रेक्ष्य).**

अब तीन मुलाक़ातें तय हो चुकी हैं। [अध्याय 7](https://one-course.com/books/math/4/hi/chapter/7-sequences-and-series#ch-b2-series) के साथ: [बानाख समष्टि](#def-b2-nvs-banach) में निरपेक्ष अभिसारी श्रेणियाँ अभिसरित होती हैं, अतः संकारकों की गुणोत्तर और घातांकी श्रेणियाँ रोज़ के औज़ार बन जाती हैं — $I - A$ का प्रतिलोमन, $\eu^{A}$ की परिभाषा ([उदाहरण 7.2](https://one-course.com/books/math/4/hi/chapter/7-sequences-and-series#ex-b2-series-neumann))। [अध्याय 10](https://one-course.com/books/math/4/hi/chapter/10-sequences-and-series-of-functions#ch-b2-funcseq) और [अध्याय 11](https://one-course.com/books/math/4/hi/chapter/11-power-series#ch-b2-powerseries) के साथ: फलन-अनुक्रमों और घात श्रेणियों का अभिसरण $\bigl(C, \norm\cdot_\infty\bigr)$ में अभिसरण ही है ([उदाहरण 5.25](#ex-b2-nvs-uniformdictionary)), और अभिसरण त्रिज्या इस बारे में कथन है कि कौन-सी गुणोत्तर श्रेणियाँ हावी हैं। [अध्याय 14](https://one-course.com/books/math/4/hi/chapter/14-fourier-series#ch-b2-fourier) के साथ: [मानदंड](#def-b2-nvs-norm) $\norm\cdot_2$ और $\norm\cdot_\infty$ $C(\intcc{0}{1})$ पर सचमुच असहमत हैं ([उदाहरण 5.8](#ex-b2-nvs-sqrtnxn)), और ठीक इसीलिए फूरिये श्रेणियों का माध्य-वर्ग अभिसरण और एकसमान अभिसरण दो भिन्न प्रमेयें हैं जिनकी क़ीमतें भी भिन्न हैं।

**टिप्पणी 5.28 (यह अध्याय कहाँ काम आता है).**

[संकारक मानदंड](#thm-b2-nvs-continuouslinear) और गुणोत्तर श्रेणी [अध्याय 15](https://one-course.com/books/math/4/hi/chapter/15-differential-calculus#ch-b2-diffcalc) (प्रतिलोम फलन प्रमेय) के विक्षोभ तर्कों तथा [अध्याय 16](https://one-course.com/books/math/4/hi/chapter/16-differential-equations#ch-b2-diffeq) के [आव्यूह घातांकी](#ex-b2-nvs-matrixexp) को चलाते हैं; [मानदंडों की तुल्यता](#thm-b2-nvs-finitedim) [अध्याय 10](https://one-course.com/books/math/4/hi/chapter/10-sequences-and-series-of-functions#ch-b2-funcseq) और उससे आगे के हर “अपना मनपसंद [मानदंड](#def-b2-nvs-norm) चुन लीजिए” वाले तर्क को चुपचाप अधिकृत कर देती है; और रीस की प्रमेय की परिमित/अनंत खाई — जिसे इस अध्याय की सप्ताहांत समस्या परिमाणात्मक बना देती है — यही कारण है कि तृतीय वर्ष के खंड को नए औज़ार चाहिए (दुर्बल अभिसरण, आर्ज़ेला–आस्कोली, हिल्बर्ट समष्टि प्रक्षेप) जहाँ यह खंड अभी भी अभिसारी उपअनुक्रम निकाल लेता था।

## 5.5 अभ्यास

**अभ्यास 5.1 ★.**

$\R^2$ पर $\norm\cdot_1$, $\norm\cdot_2$, $\norm\cdot_\infty$ के इकाई गोले खींचिए, और विमा $2$ में सर्वोत्तम अचरों के साथ असमिकाएँ $\norm x_\infty
\leq \norm x_2 \leq \norm x_1 \leq 2\norm x_\infty$ सिद्ध कीजिए।

**हल — अभ्यास 5.1.**

इकाई गोले: एक हीरा ($\norm\cdot_1$), एक चक्रिका ($\norm\cdot_2$), एक वर्ग ($\norm\cdot_\infty$) — इसी क्रम में एक के भीतर एक। असमिकाएँ: $\norm x_\infty \leq \norm x_2$ (एक वर्ग अधिकतम योग जितना होता है); $\norm x_2 \leq \norm x_1$ (वर्ग करने पर: $x_1^2 + x_2^2 \leq (\abs{x_1}
+ \abs{x_2})^2$); $\norm x_1 \leq 2\norm x_\infty$ (दो पद, और हर एक $\leq \max$)। तीक्ष्णता: $(1, 0)$ पहली दो को समता बना देता है; $(1, 1)$ $\norm x_1 = 2\norm x_\infty$ देता है और यह भी दिखाता है कि दूसरी दिशा में चरम अनुपात $\norm x_2 = \sqrt2 \norm x_\infty$ तथा $\norm x_1 = \sqrt2 \norm
x_2$ हैं।

**अभ्यास 5.2 ★.**

क्या $N(f) = \abs{f(0)} + \norm{f'}_\infty$ $C^1(\intcc{0}{1})$ पर [मानदंड](#def-b2-nvs-norm) है? उसकी $\norm{f}_\infty$ से तुलना कीजिए: एक असमिका सत्य है, दूसरी विफल (उदाहरण दीजिए)।

**हल — अभ्यास 5.2.**

[मानदंड](#def-b2-nvs-norm) अभिगृहीत: समघातता और त्रिभुज असमिका पद-दर-पद विरासत में मिलती हैं; पृथक्करण: $N(f) = 0$ $f' = 0$ को बाध्य करता है (अतः $f$ अचर) और $f(0) = 0$: $f = 0$। इसलिए यह [मानदंड](#def-b2-nvs-norm) है।

तुलना: $\norm f_\infty \leq N(f)$, क्योंकि $\abs{f(x)} \leq
\abs{f(0)} + \abs{\int_0^x f'} \leq \abs{f(0)} +
\norm{f'}_\infty$। विलोम विफल है: $f_n(x) = \frac1n
\sin(nx)$ लीजिए: तब $\norm{f_n}_\infty \leq \frac1n \to 0$ जबकि $N(f_n) = 0 + \norm{\cos(nx)}_\infty = 1$। कोई अचर $C$ $N \leq C\norm\cdot_\infty$ नहीं देता।

**अभ्यास 5.3 ★.**

$\bigl(C(\intcc{0}{1}), \norm\cdot_\infty\bigr) \to \R$ पर $u(f) = \int_0^1 f(t)\,\eu^t\,\dd t$ का, और $(K^n, \norm\cdot_\infty)$ पर स्थानांतरण $S(x_1, x_2, \dots, x_n) = (x_2, \dots, x_n, 0)$ का [संकारक मानदंड](#thm-b2-nvs-continuouslinear) परिकलित कीजिए।

**हल — अभ्यास 5.3.**

$\abs{u(f)} \leq \norm f_\infty \int_0^1 \eu^t\,\dd t = (\eu -
1)\norm f_\infty$, जिसमें $f \equiv 1$ के लिए समता: $\vertiii u =
\eu - 1$।

स्थानांतरण: $\norm{S(x)}_\infty = \max(\abs{x_2}, \dots, \abs{x_n}) \leq
\norm x_\infty$, और $x = e_2$ पर समता: $\vertiii S = 1$ ($n
\geq 2$ के लिए)।

**अभ्यास 5.4 ★★.**

$(\R^n, \norm\cdot_\infty)$ पर सिद्ध कीजिए कि आव्यूह $A$ का [संकारक मानदंड](#thm-b2-nvs-continuouslinear) $\vertiii A_\infty = \max_i \sum_j \abs{a_{ij}}$ है (सबसे बड़ा निरपेक्ष पंक्ति-योग)। इसे $\begin{pmatrix} 1 & -2\\
3 & 1\end{pmatrix}$ के लिए परिकलित कीजिए।

**हल — अभ्यास 5.4.**

ऊपरी परिबंध: $\norm x_\infty \leq 1$ के लिए

$$
\abs{(Ax)_i} = \Bigl|\sum_j a_{ij}x_j\Bigr| \leq \sum_j
\abs{a_{ij}},
$$

अतः $\norm{Ax}_\infty \leq \max_i \sum_j \abs{a_{ij}}$। प्राप्ति: महत्तम को साकार करने वाला $i_0$ लीजिए और $x_j = \operatorname{sign}(a_{i_0
j})$ (जिसकी प्रविष्टियों का मापांक $1$ हो): तब $(Ax)_{i_0} = \sum_j \abs{a_{i_0
j}}$। अतः सूत्र सिद्ध। दिए गए आव्यूह के लिए: पंक्ति-योग $3$ और $4$: $\vertiii A_\infty = 4$।

**अभ्यास 5.5 ★★.**

सिद्ध कीजिए कि $GL_n(K)$ $\mathcal{M}_n(K)$ में [विवृत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-topology) है और $A
\mapsto A^{-1}$ उस पर [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है। *संकेत: विवृतता के लिए, यदि $\vertiii H < \frac{1}{\vertiii{A^{-1}}}$ तो $\vertiii{A^{-1}H} < 1$ के साथ $A + H = A(I +
A^{-1}H)$, और $\vertiii B < 1$ के लिए $I + B$ प्रतिलोमनीय है, गुणोत्तर श्रेणी से ([प्रमेय 5.21](#thm-b2-nvs-absoluteconvergence)); और संततता के लिए उसी श्रेणी से $(A+H)^{-1} - A^{-1}$ को परिबद्ध कीजिए।*

**हल — अभ्यास 5.5.**

*गुणोत्तर श्रेणी:* $\vertiii B < 1$ के लिए श्रेणी $\sum
B^k$ बानाख $\mathcal{M}_n(K)$ में निरपेक्ष रूप से अभिसरित होती है ([प्रमेय 5.21](#thm-b2-nvs-absoluteconvergence), $\vertiii{B^k} \leq
\vertiii B^k$), और गुणन की संततता ([प्रतिज्ञप्ति 5.12](#prop-b2-nvs-bilinear)) से

$$
(I - B)\sum_{k=0}^{K} B^k = I - B^{K+1} \longrightarrow I :
$$

अतः $(I - B)\sum_{k\geq0} B^k = I$, इसलिए $I - B$ प्रतिलोमनीय है और उसका प्रतिलोम वही योग है (तथा $\vertiii{(I-B)^{-1}} \leq \frac{1}{1 - \vertiii B}$)।

*विवृतता:* प्रतिलोमनीय $A$ और $\vertiii H <
\frac{1}{\vertiii{A^{-1}}}$ के लिए: $\vertiii{A^{-1}H} \leq \vertiii{A^{-1}}\vertiii H < 1$ सहित $A + H = A(I + A^{-1}H)$: अर्थात् प्रतिलोमनीय। अतः $A$ के चारों ओर का कोई गोला $GL_n$ में ही रहता है।

*प्रतिलोमन की संततता:* $B = -A^{-1}H$ के साथ

$$
(A + H)^{-1} - A^{-1} = \bigl((I - B)^{-1} - I\bigr)A^{-1}
= \Bigl(\sum_{k \geq 1} B^k\Bigr) A^{-1},
$$

जिसका [मानदंड](#def-b2-nvs-norm) $H \to 0$ होने पर $\leq \frac{\vertiii B}{1 - \vertiii B}\vertiii{A^{-1}}
\to 0$ है।

**अभ्यास 5.6 ★★.**

मान लीजिए $\varphi$ किसी मानदंडित समष्टि $E$ पर रैखिक फलनिक है। सिद्ध कीजिए कि $\varphi$ [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है यदि और केवल यदि $\ker\varphi$ संवृत हो। *(यदि $\ker\varphi$ संवृत है और $\varphi \neq 0$, तो $\varphi(a) = 1$ वाला $a$ चुनिए और $B(a, r) \cap \ker\varphi =
\emptyset$ वाला $r > 0$; फिर $a - \frac{h}{\varphi(h)}$ पर मापन-तर्क से $\abs{\varphi(h)} \leq \frac{1}{r}\norm h$ निष्कर्ष निकालिए।)*

**हल — अभ्यास 5.6.**

[संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) $\Rightarrow$ संवृत केंद्रक: संवृत $\{0\}$ का पूर्वप्रतिबिंब ([प्रमेय 4.6](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#thm-b2-metric-globalcontinuity))।

विलोमतः मान लीजिए $\ker\varphi$ संवृत है और $\varphi \neq 0$। $\varphi(a) = 1$ वाला $a$ चुनिए; चूँकि $a \notin \ker\varphi$ और केंद्रक संवृत है, कोई गोला $B(a, r)$ उससे नहीं मिलता। अब $\varphi(h) \neq 0$ के साथ $h \in E$ लीजिए: सदिश $a - \frac{h}{\varphi(h)}$ $\ker\varphi$ में है, अतः $B(a, r)$ के बाहर:

$$
\Bigl\Vert \frac{h}{\varphi(h)} \Bigr\Vert \geq r
\quad\Longrightarrow\quad
\abs{\varphi(h)} \leq \frac{\norm h}{r},
$$

और यह असमिका $\varphi(h) = 0$ होने पर भी तुच्छ रूप से सत्य है: अर्थात् [प्रमेय 5.6](#thm-b2-nvs-continuouslinear) का परिबंध (4): अतः [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity)।

**अभ्यास 5.7 ★★.**

सिद्ध कीजिए कि $\bigl(C(\intcc{0}{1}), \norm\cdot_1\bigr)$ [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) नहीं है: दिखाइए कि फलन $f_n$, जो $\bigl[\frac12 - \frac1n, \frac12\bigr]$ पर $0$ से $1$ तक आनत ढलान हैं (पहले मान $0$, बाद में $1$), ऐसा कोशी अनुक्रम बनाते हैं जिसकी कोई [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) $\norm\cdot_1$-सीमा नहीं।

**हल — अभ्यास 5.7.**

मान लीजिए $f_n$ $\intcc{0}{\frac12 - \frac1n}$ पर $0$ है, फिर $\frac12$ पर मान $1$ तक आनत, और $\intcc{\frac12}{1}$ पर $1$। $m
\geq n$ के लिए $f_m - f_n$ लंबाई $\frac1n$ के किसी अंतराल पर आधारित है और उसके मान $\intcc{-1}{1}$ में हैं: अतः $\norm{f_m - f_n}_1 \leq
\frac1n$: कोशी।

मान लीजिए $\norm\cdot_1$ में $f_n \to f$ है और $f$ [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है। $\intcc{0}{\frac12 - \delta}$ पर (स्थिर $\delta$): $n >
\frac1\delta$ के लिए $\int \abs{f} =
\int\abs{f - f_n} \leq \norm{f - f_n}_1 \to 0$, अतः $\int_0^{1/2 - \delta}\abs f = 0$, और यथार्थ धनात्मकता से वहाँ $f = 0$ — और यह प्रत्येक $\delta$ के लिए: अतः $\intoo{0}{\frac12}$ पर $f = 0$। इसी प्रकार $\intcc{\frac12}{1}$ पर $f = 1$ ($f_n$ वहाँ सब $1$ के बराबर हैं)। $\frac12$ पर संततता से: $0 =
1$, जो असंगत है। कोई सीमा नहीं है: अतः समष्टि [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) नहीं।

**अभ्यास 5.8 ★★★.**

$\norm\cdot_\infty$ सहित $E = C(\intcc{0}{1})$ पर

$$
\varphi(f) = \sum_{n \geq 1} (-1)^n\, 2^{-n} f\bigl(\tfrac1n\bigr).
$$

लीजिए। सिद्ध कीजिए कि $\varphi$ सुपरिभाषित [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) रैखिक फलनिक है और $\vertiii\varphi = 1$, परंतु $\vertiii\varphi$ को परिभाषित करने वाला उच्चतम संवृत इकाई गोले पर *प्राप्त नहीं होता*। *(ऊपरी परिबंध: त्रिभुज असमिका। [मानदंड](#def-b2-nvs-norm) $= 1$: ऐसे [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) $f_K$ बनाइए कि $\norm{f_K}_\infty \leq 1$ और $n \leq K$ के लिए $f_K(\frac1n)
= (-1)^n$ — बिंदु $\frac1n$ एक-दूसरे से अलग-थलग हैं। अप्राप्ति: समता प्रत्येक $n$ के लिए $f(\frac1n) =
(-1)^n$ को बाध्य कर देती, जो $0$ पर $f$ की संततता के साथ असंगत है क्योंकि $\frac1n \to 0$।)*

**हल — अभ्यास 5.8.**

सुपरिभाषित और [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity): $\abs{\varphi(f)} \leq \sum 2^{-n}
\norm f_\infty = \norm f_\infty$, अतः $\varphi$ ऐसा रैखिक फलनिक है कि $\vertiii\varphi \leq 1$ (हर $f$ के लिए श्रेणी निरपेक्ष रूप से अभिसरित होती है)।

[मानदंड](#def-b2-nvs-norm) $1$: $K$ स्थिर कीजिए; बिंदु $1, \frac12, \dots, \frac1K$ परस्पर भिन्न हैं, अतः ऐसा [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) $f_K$, $\norm{f_K}_\infty
\leq 1$ है कि $n \leq K$ के लिए $f_K(\frac1n) = (-1)^n$ (खंडशः आनत अंतर्वेशन, $0$ के पास अचर)। तब

$$
\varphi(f_K) \geq \sum_{n=1}^{K} 2^{-n} - \sum_{n > K} 2^{-n}
= 1 - 2^{-K+1} \xrightarrow[K \to \infty]{} 1 .
$$

प्राप्त नहीं: यदि $\norm f_\infty \leq 1$ और $\varphi(f) = 1$ हो, तो हर पद को अपना महत्तम योगदान देना पड़ेगा: अर्थात् प्रत्येक $n$ के लिए $(-1)^n f(\frac1n) = 1$ (अन्यथा एक पद की यथार्थ कमी की भरपाई नहीं हो सकती, क्योंकि सारे पद $\leq 2^{-n}$ हैं)। अतः $f(\frac1n) = (-1)^n$; परंतु $\frac1n \to 0$ और $f$ $0$ पर [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है, जो $(-1)^n$ के विरोधाभासी अभिसरण को बाध्य कर देता है। अतः उच्चतम महत्तम नहीं है — जो परिमित विमा में असंभव है, जहाँ संवृत इकाई गोला [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) होता है।

**अभ्यास 5.9 ★★★.**

मान लीजिए $E$ ऐसी मानदंडित समष्टि है जिसका संवृत इकाई गोला [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) है। [प्रमेय 5.17](#thm-b2-nvs-riesz) उद्धृत किए बिना पुनः सिद्ध कीजिए कि हर परिबद्ध अनुक्रम का कोई अभिसारी उपअनुक्रम है, और सिद्ध कीजिए कि $E$ पर हर रैखिक फलनिक [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है यदि और केवल यदि $\dim E < \infty$। *(अनंत विमा के लिए, किसी रैखिकतः स्वतंत्र सामान्यीकृत अनुक्रम पर स्वतंत्र रूप से मान देकर और फिर विस्तार करके कोई असंतत फलनिक बनाइए — बीजगणितीय संपूरक का अस्तित्व स्वीकार कर लीजिए।)*

**हल — अभ्यास 5.9.**

*परिबद्ध अनुक्रम:* कोई परिबद्ध अनुक्रम किसी संवृत गोले $\overline B(0, R) = R\,\overline B(0,1)$ में पड़ता है, जो [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) है (समाकृतिकता $x \mapsto Rx$ के अंतर्गत [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) इकाई गोले का प्रतिबिंब): वहीं उपअनुक्रम निकालिए।

*रैखिक फलनिक:* यदि $\dim E < \infty$, तो $E$ से जाने वाला हर रैखिक प्रतिचित्रण [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है ([प्रमेय 5.13](#thm-b2-nvs-finitedim))। विलोमतः मान लीजिए $\dim E = \infty$ (जिसे [प्रमेय 5.17](#thm-b2-nvs-riesz) के अनुसार संहतता वाली परिकल्पना वास्तव में अपवर्जित कर देती है — इस प्रश्न का उद्देश्य सामान्य मानदंडित समष्टियों में दोनों गुणधर्मों के बीच का निहितार्थ है): कोई सामान्यीकृत रैखिकतः स्वतंत्र अनुक्रम $(e_n)$ चुनिए, उसे बीजगणितीय आधार तक पूरा कीजिए (स्वीकृत), और $\varphi(e_n) = n$ परिभाषित कीजिए तथा शेष आधार सदिशों पर $\varphi = 0$, और फिर रैखिक रूप से विस्तार कीजिए। तब $\norm{e_n} = 1$ के साथ $\abs{\varphi(e_n)} = n$: अर्थात् इकाई गोले पर अपरिबद्ध, इसलिए असंतत। अतः “सारे फलनिक [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity)” परिमित विमा को बाध्य कर देता है।

**अभ्यास 5.10 ★★.**

$C(\intcc{0}{1})$ पर $\norm f_1 \leq \norm f_2 \leq \norm
f_\infty$ सिद्ध कीजिए *(पहले के लिए कोशी–श्वार्ज़)*, और कुल $f_n(x) = x^n$ से दिखाइए कि कोई भी असमिका किसी अचर तक भी उलटी नहीं की जा सकती: अर्थात् तीनों [मानदंड](#def-b2-nvs-norm) जोड़े-जोड़े में अतुल्य हैं।

**हल — अभ्यास 5.10.**

अचर फलन $1$ के साथ कोशी–श्वार्ज़: $\norm f_1 =
\int_0^1 \abs f\cdot 1 \leq \bigl(\int_0^1
f^2\bigr)^{1/2}\bigl(\int_0^1 1\bigr)^{1/2} = \norm f_2$। और $\norm f_2^2 = \int f^2 \leq \norm f_\infty^2$। $f_n(x) =
x^n$ के लिए:

$$
\norm{f_n}_1 = \frac1{n+1}, \qquad
\norm{f_n}_2 = \frac1{\sqrt{2n+1}}, \qquad
\norm{f_n}_\infty = 1 .
$$

तब $\norm{f_n}_2/\norm{f_n}_1 = \frac{n+1}{\sqrt{2n+1}} \to
\infty$ और $\norm{f_n}_\infty/\norm{f_n}_2 = \sqrt{2n+1} \to
\infty$: अतः कोई उलटी असमिका नहीं, और कोई भी युग्म [तुल्य](#def-b2-nvs-equivalent) नहीं।

**अभ्यास 5.11 ★★.**

(किसी अधिसमतल से दूरी) मान लीजिए $\varphi$ किसी मानदंडित समष्टि $E$ पर अशून्य [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) रैखिक फलनिक है। सिद्ध कीजिए कि

$$
d\bigl(x, \ker\varphi\bigr) =
\frac{\abs{\varphi(x)}}{\vertiii\varphi}
\qquad (x \in E),
$$

और [अभ्यास 5.8](#exo-b2-nvs-8) पर जाँचिए कि निम्नतम अधिसमतल के किसी बिंदु पर प्राप्त होना आवश्यक नहीं।

**हल — अभ्यास 5.11.**

*दूरी के लिए निचला परिबंध:* $h \in \ker\varphi$ के लिए $\abs{\varphi(x)} = \abs{\varphi(x - h)} \leq
\vertiii\varphi\,\norm{x - h}$; $h$ पर निम्नतम लीजिए: $d(x, \ker\varphi) \geq \abs{\varphi(x)}/\vertiii\varphi$।

*ऊपरी परिबंध:* हम $\varphi(x) \neq 0$ मान सकते हैं। $\varepsilon > 0$ दिया हो तो $\abs{\varphi(u)} \geq
\vertiii\varphi - \varepsilon > 0$ वाला कोई इकाई $u$ चुनिए और $h = x -
\frac{\varphi(x)}{\varphi(u)}\,u$ रखिए: तब $\varphi(h) = 0$ और

$$
\norm{x - h} = \frac{\abs{\varphi(x)}}{\abs{\varphi(u)}}
\leq \frac{\abs{\varphi(x)}}{\vertiii\varphi - \varepsilon}.
$$

$\varepsilon \to 0$ लीजिए: $d(x, \ker\varphi) \leq
\abs{\varphi(x)}/\vertiii\varphi$; अर्थात् समता।

*अप्राप्ति:* [अभ्यास 5.8](#exo-b2-nvs-8) से $\varphi$ लीजिए ($\vertiii\varphi = 1$, जो प्राप्त नहीं होता) और $\varphi(x) \neq 0$ वाला कोई भी $x$। यदि कोई $h \in \ker\varphi$ $\norm{x - h} = \abs{\varphi(x)}$ को साकार करता, तो इकाई सदिश $v = (x -
h)/\norm{x - h}$ $\abs{\varphi(v)} =
\abs{\varphi(x)}/\norm{x - h} = 1 = \vertiii\varphi$ पूरा करता: अर्थात् [संकारक मानदंड](#thm-b2-nvs-continuouslinear) प्राप्त हो जाता — विरोधाभास।

**अभ्यास 5.12 ★★★.**

$E = \R[X]$ (सभी बहुपद) पर $N_1(P) =
\sup_{\intcc{0}{1}}\abs P$ और $N_2(P) =
\sup_{\intcc{0}{2}}\abs P$ लीजिए। दिखाइए कि $N_1 \leq N_2$, परंतु $N_1$ और $N_2$ [तुल्य](#def-b2-nvs-equivalent) *नहीं* हैं; इससे निष्कर्ष निकालिए कि तत्समक $(E, N_2) \to (E, N_1)$ ऐसा [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) रैखिक एकैकी आच्छादक प्रतिचित्रण है जिसका प्रतिलोम असंतत है। अंत में दिखाइए कि $(E, N_1)$ [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) नहीं है *($\eu^x$ के टेलर आंशिक योग)*। तीनों परिघटनाएँ परिमित विमा में असंभव हैं — कारण बताइए।

**हल — अभ्यास 5.12.**

$N_1 \leq N_2$ प्रांत में उच्चतम की एकदिष्टता ही है, अतः तत्समक $(E, N_2) \to (E, N_1)$ $1$-लिप्शिट्स है। $P_n(x) =
(x/2)^n$ के लिए: $N_2(P_n) = 1$ ($x = 2$ पर प्राप्त) जबकि $N_1(P_n) =
2^{-n}$: कोई परिबंध $N_2 \leq CN_1$ सभी $n$ के लिए $1 \leq C2^{-n}$ दे देता: जो असंभव है। अतः [मानदंड](#def-b2-nvs-norm) [तुल्य](#def-b2-nvs-equivalent) नहीं हैं और प्रतिलोम तत्समक असंतत रैखिक एकैकी आच्छादक प्रतिचित्रण है।

*अपूर्णता:* $S_n = \sum_{k=0}^{n}\frac{X^k}{k!}$ लीजिए। $m > n$ के लिए $N_1(S_m - S_n) \leq \sum_{k>n}\frac1{k!} \to 0$: अर्थात् $N_1$ के लिए कोशी। यदि $(E, N_1)$ में $S_n \to P$ हो, तो बिंदुवार $\intcc{0}{1}$ पर $P(x) = \lim S_n(x) = \eu^x$; परंतु घात $d$ का कोई बहुपद किसी अंतराल पर $\eu^x$ के बराबर नहीं हो सकता ($d + 1$ बार अवकलन कीजिए: बायाँ पक्ष मर जाता है, $\eu^x$ नहीं)। $E$ में कोई सीमा नहीं: अतः [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) नहीं।

परिमित विमा में तीनों परिघटनाएँ असंभव हैं: सारे [मानदंड](#def-b2-nvs-norm) [तुल्य](#def-b2-nvs-equivalent) होते हैं, हर मानदंडित समष्टि [पूर्ण](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-complete) होती है, और रैखिक एकैकी आच्छादक प्रतिचित्रण का प्रतिलोम परिमित-विमीय समष्टि से जाने वाला रैखिक प्रतिचित्रण है, अतः [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) ([प्रमेय 5.13](#thm-b2-nvs-finitedim))।

## 5.6 समस्या: सर्वोत्तम सन्निकटन और चेबिशेव की प्रमेय

किसी दी हुई घात के बहुपदों से कोई फलन कितनी अच्छी तरह सन्निकटित किया जा सकता है, और कौन-सा बहुपद उसे सबसे अच्छा करता है? अस्तित्व वाला पक्ष इसी अध्याय का है: परिमित विमा में संहतता सर्वोत्तम सन्निकटनों को विद्यमान बना देती है। और स्पष्ट पक्ष पर, एक अतुच्छ स्थिति नंगे हाथों पूरी तरह हल की जा सकती है — घात $n$ के सभी *एकिक* बहुपदों में से $\intcc{-1}{1}$ पर सबसे छोटे उच्चतम [मानदंड](#def-b2-nvs-norm) वाला बहुपद (सामान्यीकृत) चेबिशेव बहुपद है, जिसका [मानदंड](#def-b2-nvs-norm) $2^{1-n}$ है: यही *चेबिशेव की चरम प्रमेय* है। यह समस्या दोनों पक्ष सिद्ध करती है, और फिर मापती है कि अनंत विमा में संहतता कितनी बुरी तरह विफल होती है: $C(\intcc{0}{1})$ के इकाई गोले में परस्पर दूरी $1$ वाले बिंदुओं के अनंत नक्षत्र बैठे हैं।

**समस्या 5.1.**

सप्ताहांत समस्या — चेबिशेव की चरम प्रमेय और इकाई गोले की ज्यामिति

बिना अधोलेख वाले [मानदंड](#def-b2-nvs-norm) निर्दिष्ट खंड पर उच्चतम [मानदंड](#def-b2-nvs-norm) हैं।

**भाग I — मानदंडित समष्टियों में सर्वोत्तम सन्निकटन।**

1. मान लीजिए $F$ किसी मानदंडित समष्टि $E$ की परिमित-विमीय उपसमष्टि है और $x \in E$ । सिद्ध कीजिए कि दूरी $d(x,  F) = \inf_{f \in F}\norm{x - f}$ *प्राप्त* होती है *($F$ के किसी संवृत परिबद्ध उपसमुच्चय पर लाइए और [प्रमेय 5.13](#thm-b2-nvs-finitedim) का उपयोग कीजिए)* ।
2. कोई [मानदंड](#def-b2-nvs-norm) *यथार्थतः उत्तल* कहलाता है जब $\norm u = \norm v  = 1$ और $u \neq v$ से $\bigl\Vert\frac{u +  v}2\bigr\Vert < 1$ निकले। दिखाइए कि $\R^n$ पर $\norm\cdot_2$ यथार्थतः उत्तल है *(समांतर चतुर्भुज सर्वसमिका)* , और यह कि $n \geq 2$ के लिए $\norm\cdot_1$ तथा $\norm\cdot_\infty$ नहीं हैं।
3. सिद्ध कीजिए कि यथार्थतः उत्तल [मानदंड](#def-b2-nvs-norm) के लिए प्रश्न 1 का सर्वोत्तम सन्निकटन *अद्वितीय* होता है।
4. $(\R^2, \norm\cdot_\infty)$ में रेखा $F =  \operatorname{Vect}\bigl((1,0)\bigr)$ द्वारा $x = (0, 1)$ के सभी सर्वोत्तम सन्निकटन परिकलित कीजिए: न्यूनतमकारियों का एक पूरा अंतराल।
5. $\bigl(C(\intcc{a}{b}), \norm\cdot_\infty\bigr)$ में दिखाइए कि *अचरों* द्वारा $f$ का सर्वोत्तम सन्निकटन अद्वितीय है, $c^* = \frac{\max f  + \min f}{2}$ के बराबर है, और दूरी $\frac{\max f - \min  f}{2}$ ; और $\intcc{0}{1}$ पर $f(x) = x^2$ के लिए दोनों परिकलित कीजिए।

**भाग II — चेबिशेव बहुपद।**

6. दिखाइए कि ठीक एक बहुपद $T_n$ ऐसा है कि सभी $\theta$ के लिए $T_n(\cos\theta) = \cos n\theta$ *(कोसाइन योग-सूत्र से पुनरावृत्ति $T_{n+1} = 2XT_n - T_{n-1}$)* , कि $\deg T_n = n$ , और यह कि $n \geq 1$ के लिए उसका अग्र गुणांक $2^{n-1}$ है।
7. दिखाइए कि $\intcc{-1}{1}$ पर $\abs{T_n} \leq 1$ , जिसमें $n + 1$ बिंदुओं $\eta_k =  \cos\frac{k\pi}{n}$ ( $k = 0, \dots, n$ ) पर $T_n(\eta_k) = (-1)^k$ , और यह कि $T_n$ के मूल $n$ बिंदु $\cos\frac{(2k-1)\pi}{2n}$ हैं, जो $\eta_k$ के बीच-बीच में आते हैं।
8. $T_2, T_3, T_4$ परिकलित कीजिए, और सीधे मान रखकर $\eta_0, \dots, \eta_3 = 1, \frac12, -\frac12,  -1$ पर $T_3$ का एकांतरण सत्यापित कीजिए।
9. $\abs x \geq 1$ के लिए सिद्ध कीजिए $$T_n(x) = \frac{\bigl(x + \sqrt{x^2 - 1}\bigr)^n +  \bigl(x - \sqrt{x^2 - 1}\bigr)^n}{2},$$ और स्थिर $x > 1$ के लिए $T_n(x) \sim \frac12\bigl(x + \sqrt{x^2 -  1}\bigr)^n \to \infty$ ज्यामितीय ढंग से निष्कर्ष रूप में निकालिए।
10. संयोजन नियम $T_m \circ T_n = T_{mn}$ सिद्ध कीजिए *($\intcc{-1}{1}$ पर जाँचिए और बहुपदों की दृढ़ता का सहारा लीजिए)* ।

**भाग III — चेबिशेव की चरम प्रमेय।** $Q_n = 2^{1-n}T_n$ लिखिए (जो प्रश्न 6 के अनुसार एकिक है)।

11. मान लीजिए $P$ $\sup_{\intcc{-1}{1}}\abs P < 2^{1-n}$ के साथ घात $n \geq 1$ का एकिक बहुपद है। $D  = Q_n - P$ का बिंदुओं $\eta_k$ पर मूल्यांकन करके और चिह्न-परिवर्तन गिनकर विरोधाभास निकालिए। निष्कर्ष: $$\sup_{\intcc{-1}{1}}\abs P \;\geq\; 2^{1-n}  \qquad\text{घात } P \text{ के प्रत्येक एकिक } n.$$
12. (समता की स्थिति) मान लीजिए $\sup_{\intcc{-1}{1}}\abs P =  2^{1-n}$ , जहाँ $P$ घात $n$ का एकिक है, और $D = Q_n  - P \neq 0$ लीजिए। दिखाइए कि सभी $k$ के लिए $(-1)^kD(\eta_k) \geq 0$ ; दिखाइए कि $n$ अंतरालों $\intcc{\eta_{k}}{\eta_{k-1}}$ में से हर एक में $D$ का कोई शून्य है, और यह कि दो क्रमागत अंतरालों में साझा शून्य कोई *अभ्यंतरीय* बिंदु $\eta_k$ होता है जहाँ $D' = 0$ भी। निष्कर्ष निकालिए कि $D$ के बहुलता सहित $n$ शून्य हैं, अतः $D = 0$ : अर्थात् न्यूनतमकारी ठीक $Q_n$ है — यही *चेबिशेव की चरम प्रमेय* है।
13. प्रमेय को दूरी के रूप में फिर से कहिए: $\intcc{-1}{1}$ पर $$d_\infty\bigl(X^n,\ \R_{n-1}[X]\bigr) = 2^{1-n},$$ और सर्वोत्तम सन्निकटन $X^n - Q_n$ अद्वितीय है; तथा आनत प्रतिस्थापन $x = \frac{1+t}2$ से दिखाइए कि $\intcc{0}{1}$ पर दूरी $2^{1-2n}$ हो जाती है।
14. (अनुकूलतम अंतर्वेशन नोड) $n$ नोड $x_1, \dots,  x_n \in \intcc{-1}{1}$ के लिए नोड-बहुपद $\omega(x) = \prod_i(x - x_i)$ घात $n$ का एकिक है। प्रश्न 12 से निष्कर्ष निकालिए कि नोडों का कौन-सा चुनाव $\sup_{\intcc{-1}{1}}\abs\omega$ को न्यूनतम करता है — जो क्लासिक अंतर्वेशन त्रुटि-परिबंध का नोड-निर्भर गुणक है — और न्यूनतम मान दीजिए।
15. प्रमेय की $n = 2$ वाली स्थिति हाथ से जाँचिए ( $\inf_c \sup_{\intcc{-1}{1}}\abs{x^2 - c}$ सीधे ज्ञात कीजिए), और $n = 10$ के लिए $\intcc{0}{1}$ पर प्रश्न 13 की दूरी संख्यात्मक रूप से परिकलित कीजिए। उसका आकार $x^{10}$ के आलेख के बारे में क्या कहता है?

**भाग IV — $C(\intcc{0}{1})$ का इकाई गोला।**

16. मान लीजिए $g_k(x) = x^{2^k}$ । दिखाइए कि $\norm{g_k}_\infty = 1$ और $j > k$ के लिए $\norm{g_k - g_j}_\infty \geq \frac14$ *(उस बिंदु पर मूल्यांकन कीजिए जहाँ $x^{2^k} =  \frac12$)* : अर्थात् बिना किसी अभिसारी उपअनुक्रम का एक स्पष्ट परिबद्ध अनुक्रम — संवृत इकाई गोला [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) नहीं, और यह नंगे हाथों दिखा।
17. (रीस की प्रमेयिका, तीखी की हुई) मान लीजिए $F$ किसी मानदंडित समष्टि $E$ की *परिमित-विमीय* उचित उपसमष्टि है। प्रश्न 1 का उपयोग करके ऐसा इकाई सदिश $x$ बनाइए जिसके लिए ठीक $d(x, F) = 1$ हो — केवल [प्रमेय 5.17](#thm-b2-nvs-riesz) की प्रमेयिका वाला $\geq 1 -  \varepsilon$ नहीं।
18. इससे निष्कर्ष निकालिए: प्रत्येक अनंत-विमीय मानदंडित समष्टि में परस्पर दूरी $\geq 1$ वाले इकाई सदिशों का कोई अनुक्रम है, और उसी से रीस की प्रमेय पुनः निकालिए।
19. $C(\intcc{0}{1})$ में ऐसा नक्षत्र स्पष्ट रूप से दिखाइए: $\bigl[\frac1{n+1}, \frac1n\bigr]$ पर आधारित तंबू फलन $h_n$ , जिनका शिखर-मान $1$ हो। $\norm{h_n} = 1$ और $n  \neq m$ के लिए $\norm{h_n - h_m} = 1$ सत्यापित कीजिए, और ध्यान दीजिए कि $h_n \to 0$ बिंदुवार तो है पर एकसमान नहीं।
20. (पूर्ण परिबद्धता विफल) दिखाइए कि $C(\intcc{0}{1})$ का संवृत इकाई गोला त्रिज्या $\frac13$ के परिमित गोलों से आच्छादित नहीं किया जा सकता *(ऐसे हर गोले में अधिकतम एक $h_n$ होता है)* — और इसकी तुलना [प्रमेय 4.20](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#thm-b2-metric-borellebesgue) की उपपत्ति के पूर्ण-परिबद्धता वाले चरण से कीजिए।

**भाग V — आव्यूहों पर [मानदंड](#def-b2-nvs-norm) काम पर, और संश्लेषण।**

21. सिद्ध कीजिए कि $A \in  \mathcal{M}_n(\C)$ का प्रत्येक [अभिलक्षणिक मान](https://one-course.com/books/math/4/hi/chapter/3-reduction-of-endomorphisms#def-b2-reduction-eigen) $\lambda$ हर [संकारक मानदंड](#thm-b2-nvs-continuouslinear) के लिए $\abs\lambda \leq  \vertiii A$ पूरा करता है; [अभ्यास 5.4](#exo-b2-nvs-4) लगाकर $\left(\begin{smallmatrix}1 & -2\\ 3 & 1\end{smallmatrix}\right)$ के अभिलक्षणिक मानों को परिबद्ध कीजिए और उनके सच्चे मापांक से तुलना कीजिए।
22. (अनुकूलित [मानदंड](#def-b2-nvs-norm) ) मान लीजिए $A$ [विकर्णनीय](https://one-course.com/books/math/4/hi/chapter/3-reduction-of-endomorphisms#def-b2-reduction-diag) है, $A =  P\,\mathrm{diag}(\lambda_1, \dots, \lambda_n)\,P^{-1}$ । दिखाइए कि $N_P(x) = \norm{P^{-1}x}_\infty$ ऐसा [मानदंड](#def-b2-nvs-norm) है जिसका [संकारक मानदंड](#thm-b2-nvs-continuouslinear) $\vertiii A_{N_P} =  \max_i\abs{\lambda_i}$ पूरा करता है।
23. इससे निष्कर्ष निकालिए: [विकर्णनीय](https://one-course.com/books/math/4/hi/chapter/3-reduction-of-endomorphisms#def-b2-reduction-diag) $A$ के लिए $A^k \to 0$ यदि और केवल यदि सभी [अभिलक्षणिक मान](https://one-course.com/books/math/4/hi/chapter/3-reduction-of-endomorphisms#def-b2-reduction-eigen) $\abs{\lambda_i} < 1$ पूरा करें — और [मानदंडों की तुल्यता](#thm-b2-nvs-finitedim) निष्कर्ष को मानदंड-निरपेक्ष बना देती है। $A =  \frac14\left(\begin{smallmatrix}1 & 2\\ 2 &  1\end{smallmatrix}\right)$ पर जाँचिए।
24. (तुल्यता के अचर फट जाते हैं) $\R_n[X]$ पर $N_c(P) = \max_k \abs{a_k}$ (गुणांक) और $\norm{P}_{\intcc{0}{1}}$ की तुलना कीजिए: दोनों [मानदंड](#def-b2-nvs-norm) हैं, अतः हर स्थिर $n$ के लिए वे [तुल्य](#def-b2-nvs-equivalent) हैं; परंतु $\intcc{0}{1}$ पर प्रश्न 13 के एकिक न्यूनतमकारी का उपयोग करके दिखाइए कि $N_c \leq  C_n\norm\cdot_{\intcc{0}{1}}$ में सर्वोत्तम अचर $C_n$ $C_n \geq  2^{2n-1}$ पूरा करता है। एक वाक्य में निष्कर्ष निकालिए कि “सभी [मानदंड](#def-b2-nvs-norm) [तुल्य](#def-b2-nvs-equivalent) हैं” अनंत विमा में क्यों मर जाता है।
25. (संश्लेषण) एक-एक वाक्य में: परिमित-विमीय गोलों की संहतता कहाँ काम आई (प्रश्न 1, 12); यथार्थ उत्तलता किस पर शासन करती है; प्रश्न 18–19 का नक्षत्र क्या नष्ट कर देता है; और प्रश्न 24 उस विफलता को कैसे परिमाणित करता है। शिखर का नाम लीजिए (चेबिशेव की चरम प्रमेय) और बताइए कि सर्वोत्तम सन्निकटन को अपना आधुनिक घर कहाँ मिलता है (हिल्बर्ट समष्टियों पर प्रक्षेप प्रमेय, तृतीय वर्ष का खंड, जहाँ संहतता का स्थान पूर्णता ले लेती है)।

**हल — समस्या 5.1.**

**1.** विचार करने योग्य उम्मीदवार $K = \{f \in F
: \norm{x - f} \leq \norm x\}$ बनाते हैं: यह अरिक्त ($0 \in K$), संवृत ([संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) $f \mapsto
\norm{x - f}$ के अंतर्गत किसी संवृत अंतराल का पूर्वप्रतिबिंब, संवृत $F$ से प्रतिच्छेदित, [उपप्रमेय 5.14](#cor-b2-nvs-closedsubspace)) और परिबद्ध ($\norm f \leq
\norm{f - x} + \norm x \leq 2\norm x$) है। परिमित-विमीय $F$ में संवृत और परिबद्ध का अर्थ [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) है ([प्रमेय 5.13](#thm-b2-nvs-finitedim)); और [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) फलन $f
\mapsto \norm{x - f}$ $K$ पर अपना निम्नतम प्राप्त कर लेता है, जो पूरे $F$ पर लिए गए निम्नतम के बराबर है (कोई भी $f \notin K$ $\norm{x -
f} > \norm x \geq \inf$ देता है)।

**2.** $(\R^n,
\norm\cdot_2)$ में समांतर चतुर्भुज सर्वसमिका: $\norm{u + v}^2 + \norm{u - v}^2 = 2\norm u^2 +
2\norm v^2$ (निर्देशांकों के योगों के वर्ग खोलिए)। इकाई $u \neq v$ के लिए:

$$
\Bigl\Vert\frac{u+v}2\Bigr\Vert^2 = 1 - \frac{\norm{u -
v}^2}{4} < 1 .
$$

यथार्थतः उत्तल नहीं: $\norm\cdot_\infty$ के लिए $u = (1, 1, 0,
\dots)$, $v = (1, -1, 0, \dots)$ लीजिए: ये इकाई सदिश हैं जिनका मध्यबिंदु $(1, 0, \dots)$ है और [मानदंड](#def-b2-nvs-norm) $1$; और $\norm\cdot_1$ के लिए $u = (1,
0, \dots)$, $v = (0, 1, 0, \dots)$ लीजिए: मध्यबिंदु $(\frac12,
\frac12, 0, \dots)$, [मानदंड](#def-b2-nvs-norm) $1$।

**3.** मान लीजिए $d = d(x, F)$। यदि $d = 0$: तो $x \in \overline F =
F$ और एकमात्र न्यूनतमकारी $x$ है। और यदि $d > 0$ तथा $f_1 \neq f_2$ दोनों न्यूनतम करें: तो $u = \frac{x - f_1}{d}$ और $v = \frac{x -
f_2}{d}$ भिन्न इकाई सदिश हैं, अतः $\frac{f_1 + f_2}2 \in F$ सहित

$$
\Bigl\Vert x - \frac{f_1 + f_2}2\Bigr\Vert
= d\,\Bigl\Vert\frac{u + v}2\Bigr\Vert < d ,
$$

जो $d$ की परिभाषा के विरुद्ध है। इसलिए न्यूनतमकारी अद्वितीय है।

**4.** $\norm{(0,1) - t(1,0)}_\infty = \max(\abs t, 1)
\geq 1$, जिसमें समता तभी जब $\abs t \leq 1$: अतः न्यूनतमकारी खंड $\{t(1, 0) : t \in \intcc{-1}{1}\}$ बनाते हैं, जो सब दूरी $1$ पर हैं — और अद्वितीयता ठीक इसलिए विफल होती है कि वर्गाकार गोले की भुजाएँ सपाट हैं (प्रश्न 2)।

**5.** $M = \max f$, $m = \min f$ लीजिए (जो संहतता से प्राप्त होते हैं)। किसी अचर $c$ के लिए: $\sup\abs{f - c} \geq
\max(M - c,\, c - m) \geq \frac{M - m}2$, जहाँ अंतिम असमिका इसलिए है कि दोनों राशियों का औसत $\frac{M-m}2$ है; और दोनों में समता $M - c = c - m$ को बाध्य कर देती है, अर्थात् $c = c^* = \frac{M + m}2$। विलोमतः $\sup\abs{f - c^*} = \max(M - c^*, c^* - m) =
\frac{M - m}2$। अतः सर्वोत्तम अचर अद्वितीय है। $\intcc01$ पर $f(x) = x^2$ के लिए: $c^* = \frac12$, दूरी $\frac12$।

**6.** $\cos(n{+}1)\theta + \cos(n{-}1)\theta =
2\cos\theta\cos n\theta$ से: $T_0 = 1$, $T_1 = X$, $T_{n+1} = 2XT_n - T_{n-1}$ से परिभाषित बहुपद आगमन से $T_n(\cos\theta)
= \cos n\theta$ पूरा करते हैं। अद्वितीयता: $\intcc{-1}{1}$ (अपरिमित बिंदुओं) पर सहमत दो बहुपद बराबर होते हैं। फिर आगमन: $n \geq 1$ के लिए अग्र गुणांक $2^{n-1}$ के साथ $\deg T_n = n$ ($T_1$: गुणांक $1 = 2^0$; और पुनरावृत्ति उसे दुगुना कर देती है)।

**7.** हर $x \in \intcc{-1}{1}$ $\cos\theta$ है, और $\abs{\cos n\theta} \leq 1$। $\eta_k = \cos\frac{k\pi}n$ पर: $T_n(\eta_k) = \cos k\pi = (-1)^k$, और $1 = \eta_0 > \eta_1 >
\dots > \eta_n = -1$। मूल: $\cos n\theta = 0$ यदि और केवल यदि $\theta =
\frac{(2k-1)\pi}{2n}$: अर्थात् $n$ भिन्न बिंदु $\cos\frac{(2k-1)\pi}{2n}$, और चूँकि $\frac{(k-1)\pi}n <
\frac{(2k-1)\pi}{2n} < \frac{k\pi}n$, हर मूल दो क्रमागत चरम बिंदुओं के ठीक बीच में पड़ता है।

**8.** $T_2 = 2X^2 - 1$, $T_3 = 4X^3 - 3X$, $T_4 = 8X^4 -
8X^2 + 1$। $T_3$ के लिए: $T_3(1) = 1$, $T_3(\tfrac12) = \tfrac12 -
\tfrac32 = -1$, $T_3(-\tfrac12) = 1$, $T_3(-1) = -1$: अर्थात् पूर्ण एकांतरण।

**9.** $x \geq 1$ के लिए $u_\pm = x \pm \sqrt{x^2 - 1}$ लीजिए: ये $z^2 - 2xz + 1$ के मूल हैं, जहाँ $u_+u_- = 1$। अनुक्रम $s_n = \frac{u_+^n + u_-^n}2$ $s_{n+1} = 2x\,s_n -
s_{n-1}$ पूरा करता है (द्विघात से न्यूटन-प्रकार की पुनरावृत्ति), $s_0 = 1$, $s_1 = x$: अर्थात् $n \mapsto
T_n(x)$ जैसी ही पुनरावृत्ति और आरंभिक मान, अतः सभी $n$ के लिए $s_n = T_n(x)$। चूँकि $x > 1$ के लिए $u_+ > 1$ सहित $0 < u_- \leq 1
\leq u_+$: $T_n(x) \geq
\frac{u_+^n}2 \to \infty$ और $T_n(x) \sim \frac12\bigl(x +
\sqrt{x^2-1}\bigr)^n$। ($x \leq -1$ के लिए सम-विषमता $T_n(-x)
= (-1)^nT_n(x)$ का उपयोग कीजिए, जो पुनरावृत्ति से स्पष्ट है।)

**10.** प्रत्येक $\theta$ के लिए: $T_m\bigl(T_n(\cos\theta)\bigr)
= T_m(\cos n\theta) = \cos mn\theta =
T_{mn}(\cos\theta)$। बहुपद $T_m \circ T_n$ और $T_{mn}$ $\intcc{-1}{1}$ पर सहमत हैं, अतः बराबर हैं।

**11.** $D = Q_n - P$ की घात $\leq n - 1$ है (एकिक अग्र पद कट जाते हैं)। चरम बिंदुओं पर: परिकल्पना से $(-1)^kD(\eta_k) =
2^{1-n} - (-1)^kP(\eta_k) \geq 2^{1-n} - \abs{P(\eta_k)} > 0$। अतः $D$ $n + 1$ ह्रासमान बिंदुओं $\eta_0 > \dots > \eta_n$ पर बारी-बारी चिह्न वाले अशून्य मान लेता है: मध्यमान प्रमेय से उसके कम से कम $n$ भिन्न मूल हैं, प्रत्येक [विवृत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-topology) अंतराल $\intoo{\eta_{k}}{\eta_{k-1}}$ में एक। घात $\leq n - 1$ का अशून्य बहुपद $n$ मूल नहीं रख सकता; और $D = 0$ यथार्थ चिह्नों के विरुद्ध है। अतः विरोधाभास: घात $n$ के प्रत्येक एकिक $P$ के लिए $\sup\abs P \geq 2^{1-n}$।

**12.** अब $\abs{P} \leq 2^{1-n}$ के कारण $(-1)^kD(\eta_k) = 2^{1-n} - (-1)^kP(\eta_k)
\geq 0$। प्रत्येक $\intcc{\eta_k}{\eta_{k-1}}$ ($k = 1, \dots, n$) पर $D$ के अंत्यबिंदु-मानों के दुर्बल चिह्न विपरीत हैं: मध्यमान प्रमेय संवृत अंतराल में कोई शून्य $z_k$ दे देती है। यदि $z_k$ परस्पर भिन्न चुने जा सकें, तो घात $\leq n-1$ वाले $D \neq 0$ के $n$ मूल होंगे: विरोधाभास। दो क्रमागत अंतराल केवल शून्य $z_k = z_{k+1} = \eta_k$ साझा कर सकते हैं, जहाँ $0 < k < n$ (अभ्यंतरीय)। वहाँ $D(\eta_k) = 0$ का अर्थ है $P(\eta_k) =
(-1)^k2^{1-n}$, जो $\intcc{-1}{1}$ पर $P$ का चरम मान है और किसी *अभ्यंतरीय* बिंदु पर प्राप्त: अतः $P'(\eta_k) = 0$; और $\eta_k$ $T_n$ का भी अभ्यंतरीय चरम है: अतः $Q_n'(\eta_k) =
0$। इसलिए $D'(\eta_k) = 0$: $\eta_k$ बहुलता $\geq 2$ का मूल है, जो साझे अंतराल की भरपाई कर देता है। सभी स्थितियों में $D$ के बहुलता सहित कम से कम $n$ मूल हैं जबकि घात $\leq n -
1$ है, अतः $D = 0$: $P = Q_n$। चेबिशेव की चरम प्रमेय सिद्ध हुई: अद्वितीय एकिक न्यूनतमकारी $2^{1-n}T_n$ है, जिसका उच्चतम [मानदंड](#def-b2-nvs-norm) $2^{1-n}$ है।

**13.** घात $n$ के एकिक बहुपद ठीक $R \in \R_{n-1}[X]$ वाले $X^n - R$ हैं, अतः

$$
d_\infty\bigl(X^n, \R_{n-1}[X]\bigr) = \min_{P \text{
एकिक}}\ \sup_{\intcc{-1}{1}}\abs P = 2^{1-n},
$$

जो अद्वितीय रूप से $R^* = X^n - Q_n$ पर होता है। प्रतिस्थापन $x = \frac{1+t}2$: यदि $P$ $\intcc01$ पर घात $n$ का एकिक है, तो $t \mapsto
2^nP\bigl(\frac{1+t}2\bigr)$ $\intcc{-1}{1}$ पर एकिक है और उसका उच्चतम $2^n\sup_{\intcc01}\abs P$ के बराबर है: अतः $\sup_{\intcc01}\abs P \geq 2^{-n}\cdot2^{1-n} = 2^{1-2n}$, जिसमें समता ठीक $P^*(x) = 2^{-n}Q_n(2x - 1)$ के लिए: इसलिए $\intcc{0}{1}$ पर दूरी $2^{1-2n}$ है।

**14.** $\omega$ घात $n$ का एकिक है, अतः $\sup_{\intcc{-1}{1}}\abs\omega \geq 2^{1-n}$, जिसमें समता तभी जब $\omega = Q_n = 2^{1-n}T_n$, अर्थात् तभी जब नोड $T_n$ के $n$ मूल हों: $x_k = \cos\frac{(2k-1)\pi}{2n}$ — अर्थात् *चेबिशेव नोड*। न्यूनतम मान: $2^{1-n}$। समदूरस्थ नोड यथार्थतः बदतर हैं; अंतर्वेशन त्रुटि-गुणक नोडों को अंत्यबिंदुओं के पास गुच्छित करने से न्यूनतम होता है।

**15.** हाथ से $n = 2$: $x^2$ $\intcc01$ पर घूमता है, अतः $\sup_{\intcc{-1}{1}}\abs{x^2 - c} = \max(\abs c, \abs{1 - c})
\geq \frac12$, जो $c = \frac12$ पर न्यूनतम होता है: अर्थात् न्यूनतम एकिक द्विघात $x^2 - \frac12 = \frac12(2x^2 - 1) = Q_2$, मान $\frac12 = 2^{1-2}$। $\intcc{0}{1}$ पर $n = 10$ के लिए: $2^{1-20} =
2^{-19} \approx 1.9\cdot10^{-6}$। घात $9$ का कोई बहुपद पूरे $\intcc01$ पर $x^{10}$ के दो लाखवें भाग के भीतर बना रहता है: इस पैमाने पर दोनों आलेख अभेद्य हैं — $0$ के पास $x^{10}$ का चपटापन कम घातों से ही सारा काम करा लेता है।

**16.** $\norm{g_k}_\infty = g_k(1) = 1$। $j > k$ के लिए $a = 2^k$, $b = 2^j \geq 2a$ रखिए और $x_0 = 2^{-1/a}$ पर मूल्यांकन कीजिए (अतः $x_0^a = \frac12$):

$$
g_k(x_0) - g_j(x_0) = \frac12 - \Bigl(\frac12\Bigr)^{b/a}
\geq \frac12 - \frac14 = \frac14 .
$$

अतः सभी $j \neq k$ के लिए $\norm{g_k - g_j}_\infty \geq \frac14$: कोई उपअनुक्रम कोशी नहीं, इसलिए कोई अभिसरित भी नहीं। $\bigl(C(\intcc01), \norm\cdot_\infty\bigr)$ का संवृत इकाई गोला [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) नहीं है।

**17.** $F$ संवृत ([उपप्रमेय 5.14](#cor-b2-nvs-closedsubspace)) और उचित है: $y \notin F$ चुनिए, अतः $\delta = d(y, F) > 0$। प्रश्न 1 से दूरी किसी $f^* \in F$ पर प्राप्त होती है। $x
= \frac{y - f^*}{\delta}$ रखिए, जो इकाई सदिश है ($\norm{y - f^*} =
\delta$)। प्रत्येक $g \in F$ के लिए:

$$
\norm{x - g} = \frac{\norm{y - (f^* + \delta g)}}{\delta}
\geq \frac{\delta}{\delta} = 1 ,
$$

क्योंकि $f^* + \delta g \in F$। अतः $d(x, F) \geq 1$; और $d(x,
F) \leq \norm{x - 0} = 1$: अर्थात् ठीक $1$।

**18.** अनंत-विमीय $E$ में आगमन से इकाई सदिश बनाइए: $x_1$ स्वेच्छ; और $x_1, \dots, x_k$ दिए हों तो उपसमष्टि $F_k = \operatorname{Vect}(x_1, \dots, x_k)$ परिमित-विमीय है, अतः उचित, और प्रश्न 17 $d(x_{k+1}, F_k) = 1$ वाला इकाई $x_{k+1}$ दे देता है: विशेष रूप से $i \leq k$ के लिए $\norm{x_{k+1} - x_i} \geq 1$। इस अनुक्रम की परस्पर दूरियाँ $\geq 1$ हैं: अतः इकाई गोले में बिना अभिसारी उपअनुक्रम का अनुक्रम है, इसलिए वह [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) नहीं — यही रीस की प्रमेय है, तीखे अचर $1$ के साथ।

**19.** मान लीजिए $h_n$ $\bigl[\frac1{n+1}, \frac1n\bigr]$ के दोनों आधों पर आनत है, $0$ से मध्यबिंदु पर $1$ तक और फिर $0$ तक, और अन्यत्र शून्य: यह [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है और $\norm{h_n}_\infty = 1$। $n \neq m$ के लिए आधार अधिक से अधिक किसी साझे अंत्यबिंदु पर मिलते हैं, जहाँ दोनों लुप्त हैं; और $h_n$ के शिखर पर $h_m = 0$: अतः ठीक $\norm{h_n - h_m}_\infty = 1$। स्थिर $x > 0$ के लिए: $\frac1n < x$ होते ही $h_n(x) = 0$, और सदा $h_n(0) = 0$: अतः बिंदुवार $h_n \to 0$; परंतु $\norm{h_n - 0}_\infty = 1$: एकसमान नहीं। यही इकाई गोले के भीतर परस्पर दूरी $1$ वाला स्पष्ट नक्षत्र है।

**20.** त्रिज्या $\frac13$ के गोले का व्यास $\leq
\frac23 < 1$ है, अतः उसमें $h_n$ में से अधिकतम एक ही आ सकता है (दो की दूरी $1$ है)। ऐसे परिमित गोलों में अपरिमित $h_n$ में से परिमित ही आते हैं: अतः वे इकाई गोले को आच्छादित नहीं कर सकते। पूर्ण परिबद्धता — जो [प्रमेय 4.20](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#thm-b2-metric-borellebesgue) की उपपत्ति के अनुसार [संहत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-compact) दूरिक समष्टियों को प्राप्त है — यहाँ जितनी बुरी तरह विफल हो सकती थी उतनी होती है।

**21.** यदि $x \neq 0$ के साथ $Ax = \lambda x$: तो $\abs\lambda\,\norm x = \norm{Ax} \leq \vertiii A\,\norm x$, अतः $\abs\lambda \leq \vertiii A$। $\left(\begin{smallmatrix}1 & -2\\ 3 & 1\end{smallmatrix}\right)$ के लिए: $\vertiii A_\infty = \max(1 + 2,\ 3 + 1) = 4$ ([अभ्यास 5.4](#exo-b2-nvs-4)), अतः हर [अभिलक्षणिक मान](https://one-course.com/books/math/4/hi/chapter/3-reduction-of-endomorphisms#def-b2-reduction-eigen) का मापांक $\leq
4$ है; वास्तव में $\chi_A = X^2 - 2X + 7$ मापांक $\sqrt7 \approx 2.65$ वाले $\lambda = 1 \pm
\iu\sqrt6$ देता है: अर्थात् परिबंध मान्य है, तीखा नहीं।

**22.** $N_P$ एक [मानदंड](#def-b2-nvs-norm) है: $N_P(x) = 0$ $P^{-1}x = 0$ को बाध्य करता है, अतः $x = 0$; और समघातता तथा त्रिभुज असमिका रैखिक $P^{-1}$ के द्वारा $\norm\cdot_\infty$ से विरासत में मिलती हैं। [संकारक मानदंड](#thm-b2-nvs-continuouslinear): $y = P^{-1}x$ और $D = \mathrm{diag}(\lambda_i)$ के साथ

$$
N_P(Ax) = \norm{P^{-1}AP\,y}_\infty = \norm{Dy}_\infty,
$$

अतः $\vertiii A_{N_P}$ $D$ का $\norm\cdot_\infty$-संकारक [मानदंड](#def-b2-nvs-norm) है, जो उसका सबसे बड़ा निरपेक्ष पंक्ति-योग है ([अभ्यास 5.4](#exo-b2-nvs-4)): $\max_i\abs{\lambda_i}$।

**23.** यदि सभी $\abs{\lambda_i} < 1$: तो $\rho = \max\abs{\lambda_i} < 1$ के साथ $N_P(A^kx) \leq
\rho^kN_P(x)$, अतः प्रत्येक $x$ के लिए $A^kx
\to 0$, और $\mathcal{M}_n$ के किसी भी [मानदंड](#def-b2-nvs-norm) में $A^k \to 0$ (परिमित विमा में सब [तुल्य](#def-b2-nvs-equivalent) हैं, [प्रमेय 5.13](#thm-b2-nvs-finitedim); और हर $j$ के लिए $A^ke_j$ का अभिसरण प्रविष्टि-दर-प्रविष्टि अभिसरण है)। और यदि [अभिलक्षणिक सदिश](https://one-course.com/books/math/4/hi/chapter/3-reduction-of-endomorphisms#def-b2-reduction-eigen) $x$ के साथ कोई $\abs{\lambda} \geq 1$: तो $\norm{A^kx} = \abs\lambda^k\norm x
\not\to 0$। $A = \frac14\left(\begin{smallmatrix}1 & 2\\ 2 &
1\end{smallmatrix}\right)$ के लिए: [अभिलक्षणिक मान](https://one-course.com/books/math/4/hi/chapter/3-reduction-of-endomorphisms#def-b2-reduction-eigen) $\frac14(1 \pm 2) =
\frac34, -\frac14$, दोनों का मापांक $< 1$: अतः $A^k \to 0$।

**24.** दोनों परिमित-विमीय $\R_n[X]$ पर [मानदंड](#def-b2-nvs-norm) हैं, अतः हर $n$ के लिए [तुल्य](#def-b2-nvs-equivalent)। $\intcc01$ पर प्रश्न 13 का न्यूनतम एकिक $P^*_n$ लीजिए: $X^n$ का उसका गुणांक $1$ है, अतः $N_c(P^*_n) \geq 1$, जबकि $\norm{P^*_n}_{\intcc01} = 2^{1-2n}$। इसलिए

$$
C_n \geq \frac{N_c(P^*_n)}{\norm{P^*_n}_{\intcc01}}
\geq 2^{2n-1} .
$$

तुल्यता के अचर विमा के साथ फट जाते हैं: सम्मिलन $\R[X]$ पर कोई एक अचर काम नहीं आता, और यही [अभ्यास 5.12](#exo-b2-nvs-12) में देखी गई अतुल्यता है — “सारे [मानदंड](#def-b2-nvs-norm) [तुल्य](#def-b2-nvs-equivalent) हैं” एक बार में एक ही विमा के बारे में प्रमेय है, और अनंत विमा वह जगह है जहाँ वह मर जाती है।

**25.** परिमित विमा में संवृत परिबद्ध समुच्चयों की संहतता ने सर्वोत्तम सन्निकटनों का अस्तित्व दिया (प्रश्न 1) और $n + 1$ चरम बिंदुओं पर शून्य-गणना को चलाया (प्रश्न 11–12, प्राप्त उच्चतमों के द्वारा)। यथार्थ उत्तलता सर्वोत्तम सन्निकटन की अद्वितीयता पर शासन करती है — गोल गोले एक ही न्यूनतमकारी देते हैं, सपाट भुजाओं वाले गोले उनके पूरे खंड (प्रश्न 2–4)। परस्पर दूरी $1$ वाले इकाई सदिशों का नक्षत्र (प्रश्न 17–19) इकाई गोले की संहतता और उसके साथ पूर्ण परिबद्धता भी नष्ट कर देता है (प्रश्न 20)। प्रश्न 24 उस ढहने को परिमाणित करता है: $\R_n[X]$ पर दो मानदंडों को जोड़ने वाले अचर $4^n$ की तरह बढ़ते हैं, अतः $\R[X]$ तक जाते-जाते कोई एकसमान तुलना नहीं बचती। शिखर चेबिशेव की चरम प्रमेय है (प्रश्न 11–12): अद्वितीय एकिक न्यूनतमकारी $2^{1-n}T_n$। और सर्वोत्तम सन्निकटन को अपना आधुनिक घर हिल्बर्ट समष्टियों में मिलता है, जहाँ प्रक्षेप प्रमेय संहतता के स्थान पर पूर्णता और समांतर चतुर्भुज सर्वसमिका ले आती है — जिसे तृतीय वर्ष के खंड में ईमानदारी से सिद्ध किया गया है।