पूर्ण दूरिक समष्टि क्या है?

उदाहरण 4.8 (कोशी, पर बिना सीमा के)

सामान्य दूरी वाले $X = \Q$ में $\sqrt2$ के दशमलव छेदन

$\abs{x_p - x_q} \leq 10^{-\min(p,q)}$ पूरा करते हैं: अर्थात् $\Q$ में कोशी। $\Q$ में कोई सीमा $\R$ में भी सीमा होती, अर्थात् $\sqrt2 \notin \Q$: अतः $X$ में कोई सीमा नहीं है। अपूर्णता ऐसी ही “प्रेत सीमाओं” की उपस्थिति है; और प्रथम वर्ष के खंड में $\R$ की पूर्णता ठीक इसीलिए गढ़ी गई थी कि हर कोशी अनुक्रम को घर मिल जाए।

उदाहरण 4.13 (एक समाकल समीकरण)

$X = C(\intcc{0}{1})$ पर (जो पूर्ण है, प्रमेय 4.9), $T(f)(x) = 1 + \frac12 \int_0^x f(t)\,\dd t$ लीजिए। $f, g \in X$ के लिए:

अतः $T$ एक $\frac12$-संकुचन है: उसका अद्वितीय संतत अचल बिंदु है — अर्थात् $f' = \frac f2$, $f(0) = 1$ का हल, जो $\eu^{x/2}$ है। यही योजना औद्योगिक रूप ले लेने पर अध्याय 16 की कोशी–लिप्शिट्स प्रमेय बन जाती है।

उदाहरण 4.14 (एक संख्यात्मक अचल बिंदु: $x = \cos x$)

पूर्ण $X = \intcc{0}{1}$ पर प्रतिचित्रण $f = \cos$ $X$ को $\intcc{\cos 1}{1} \subseteq X$ में भेजता है और संकुचन है: मध्यमान असमिका से,

बानाख: $\intcc01$ में $x = \cos x$ का अद्वितीय हल (अतः $\R$ में भी: कोई भी वास्तविक अचल बिंदु $\intcc{-1}{1}$ में पड़ता है, और एक बार प्रतिचित्रण लगाने पर $\intcc{\cos 1}{1}$ में), और पुनरावृत्ति $x_{n+1} = \cos x_n$ किसी भी आरंभ से उस पर अभिसरित होती है: $x_\infty \approx 0.739085$, वही प्रसिद्ध संख्या जो परिकलक की कोसाइन कुंजी बार-बार दबाने से मिलती है। त्रुटि-परिबंध $(\sin1)^n/(1 - \sin1)$ क्षय की भविष्यवाणी करता है — अर्थात् लगभग $13$ दबावों में एक अंक; और इस अध्याय की सप्ताहांत समस्या (प्रश्न 14) का पश्चगामी परिबंध हर पग को हाथों-हाथ प्रमाणित कर देता है।

उदाहरण 7.5 (तत्समक का विक्षोभ)

मान लीजिए $g \colon \R^d \to \R^d$ $k < 1$ के साथ $k$-लिप्शिट्ज़ है। तब $\varphi = \mathrm{id} + g$ $\R^d$ की $\R^d$ पर समस्थितिकता है। एकैकीपन, एक मात्रात्मक मापांक सहित:

आच्छादकता स्थिर बिंदु प्रमेय है: $\varphi(x) = y$ हल करने का अर्थ है $x = y - g(x)$, और $x \mapsto y - g(x)$ पूर्ण $\R^d$ का $k$-संकुचन है — अतः प्रत्येक $y$ के लिए एक अद्वितीय हल $x = \psi(y)$ विद्यमान है। प्रदर्शित असमिका प्रतिलोम $\psi$ को नियतांक $\frac1{1-k}$ के साथ लिप्शिट्ज़ बना देती है: अर्थात् एक समस्थितिकता, जिसके दोनों मापांकों पर स्पष्ट परिबंध हैं। यह भोला-सा दिखने वाला कथन प्रतिलोम फलन प्रमेय (अध्याय 20) के भीतर का इंजन है: जिस बिंदु के निकट $Df$ व्युत्क्रमणीय है, वहाँ $f$ वस्तुतः एक व्युत्क्रमणीय रैखिक प्रतिचित्रण और एक छोटा लिप्शिट्ज़ विक्षोभ है, और शेष काम आज का उदाहरण कर देता है। यह सांख्यिक दृढ़ता को भी माप देता है: प्रतिलोम के अंतराल से कम विक्षुब्ध कोई निकाय हल्य बना रहता है, और हल विक्षोभ के अधिकतम $\frac{1}{1-k}$ गुना ही खिसकता है।