View source for बानाच समष्टि

{{short description|Normed vector space that is complete}}
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, '''बानाख समष्टि''' (उच्चारण {{IPA-pl|ˈbanax|}}) एक [[पूर्ण मीट्रिक स्थान|पूर्ण मीट्रिक समष्टि]] मानक सदिश समष्टि है। इस प्रकार, बानाख समष्टि [[मीट्रिक (गणित)]] मीट्रिक के साथ एक सदिश समष्टि है जो सदिश लंबाई और सदिशों के बीच की दूरी की गणना की स्वीकृति देता है और इस अर्थ में पूर्ण है कि सदिशों का कॉची अनुक्रम सदैव एक अच्छी तरह से परिभाषित सीमा में अभिसरण करता है जो समष्टि के अंदर है।

बानाख समष्टि का नाम पोलिश गणितज्ञ [[स्टीफन बानाच]] के नाम पर रखा गया है, जिन्होंने इस अवधारणा को प्रस्तुत किया और 1920-1922 में [[हंस हैन (गणितज्ञ)]] और [[एडुआर्ड हेली]] के साथ व्यवस्थित रूप से इसका अध्ययन किया।<ref>{{harvnb|Bourbaki|1987|loc=V.86}}<!--From French edition. Please check the "Historical Note" in the English edition.--></ref> मौरिस रेने फ्रेचेट शब्द बानाख समष्टि का उपयोग करने वाले पहले व्यक्ति थे और बदले में बानाख ने फ्रेचेट समष्टि शब्द नियत किया।{{sfn|Narici|Beckenstein| 2011|p=93}} बानाख समष्टि मूल रूप से [[डेविड हिल्बर्ट]], मौरिस रेने फ्रेचेट, और [[फ्रिगियस रिज्ज़]] द्वारा शताब्दी में पहले फलन समष्टि के अध्ययन से बाहर हो गए थे। कार्यात्मक विश्लेषण में बानाख समष्टि एक केंद्रीय भूमिका निभाते हैं। विश्लेषण के अन्य क्षेत्रों (गणित) में, अध्ययन के अंतर्गत रिक्त समष्टि प्रायः बानाख समष्टि होते हैं।

== परिभाषा ==

एक बानाख समष्टि एक पूर्ण मीट्रिक समष्टि [[नॉर्म्ड स्पेस|मानक समष्टि]] है और <math>(X, \| \cdot \|)</math> मानक समष्टि युग्म है<ref group="note">It is common to read "<math>X</math> is a normed space" instead of the more technically correct but (usually) pedantic "<math>(X, \| \cdot \|)</math> is a normed space," especially if the norm is well known (for example, such as with [[Lp space|<math>L^p</math> spaces]]) or when there is no particular need to choose any one (equivalent) norm over any other (especially in the more abstract theory of [[topological vector space]]s), in which case this norm (if needed) is often automatically assumed to be denoted by <math>\| \cdot \|.</math> However, in situations where emphasis is placed on the norm, it is common to see <math>(X, \| \cdot \|)</math> written instead of <math>X.</math> The technically correct definition of normed spaces as pairs <math>(X, \| \cdot \|)</math> may also become important in the context of [[category theory]] where the distinction between the categories of normed spaces, [[normable space]]s, [[metric space]]s, [[topological vector space|TVS]]s, [[topological space]]s, etc. is usually important.</ref> जिसमे <math>(X, \| \cdot \|)</math> [[सदिश स्थल|सदिश क्षेत्र]]   <math>X</math> पर <math>\mathbb{K}</math> (जहाँ <math>\mathbb{K}</math> सामान्यतः है <math>\R</math> या <math>\Complex</math>) विशिष्ट वेक्टर समष्टि सम्मिलित है।<ref group="note">This means that if the norm <math>\| \cdot \|</math> is replaced with a different norm <math>\|\,\cdot\,\|^{\prime} \text{ on } X,</math> then <math>(X, \| \cdot \|)</math> is {{em|not}} the same normed space as <math>\left(X, \| \cdot \|^{\prime}\right),</math> even if the norms are equivalent. However, equivalence of norms on a given vector space does form an [[equivalence relation]].</ref> सामान्य (गणित) <math>\| \cdot \| : X \to \R</math> मानदंडों की तरह, यह मानक [[अनुवाद अपरिवर्तनीय]] और दूरी फलन<ref group="note" name="translation invariant metric">A metric <math>D</math> on a vector space <math>X</math> is said to be '''translation invariant''' if <math>D(x, y) = D(x + z, y + z)</math> for all vectors <math>x, y, z \in X.</math> This happens if and only if <math>D(x, y) = D(x - y, 0)</math> for all vectors <math>x, y \in X.</math> A metric that is induced by a norm is always translation invariant.</ref> मीट्रिक (गणित) को प्रेरित करता है, जिसे प्रामाणिक या मानक प्रेरित मीट्रिक कहा जाता है। जिसे इसके द्वारा परिभाषित किया गया है।<ref group="note">Because <math>\|- z\| = \|z\|</math> for all <math>z \in X,</math> it is always true that <math>d(x, y) := \|y - x\| = \|x - y\|</math> for all <math>x, y \in X.</math> So the order of <math>x</math> and <math>y</math> in this definition does not matter.</ref>
<math display=block>d(x, y) := \|y - x\| = \|x - y\|</math>
सभी वैक्टर के लिए <math>x, y \in X.</math> यह है <math>X</math> एक मीट्रिक समष्टि में <math>(X, d).</math> अनुक्रम <math>x_{\bull} = \left(x_n\right)_{n=1}^{\infty}</math> बनाता है। {{nowrap|'''{{em|[[Cauchy sequence|<math>d</math>-कॉची]]}}'''}} को {{nowrap|'''{{em|कॉची मे}} <math>(X, d)</math>'''}} या {{nowrap|'''{{em|<math>\| \cdot \|</math>-कॉची}}'''}} में यदि प्रत्येक वास्तविक <math>r > 0,</math> वहाँ कुछ सूचकांक <math>N</math> सम्मिलित है जैसे कि
<math display=block>d\left(x_n, x_m\right) = \left\|x_n - x_m\right\| < r</math>
जब भी <math>m</math> और <math>n</math> से <math>N</math> अधिक हैं तो प्रामाणिक मीट्रिक <math>d</math> को पूर्ण मेट्रिक कहा जाता है यदि युग्म <math>(X, d)</math> पूर्ण मेट्रिक समष्टि है, जो परिभाषा के अनुसार प्रत्येक {{nowrap|<math>d</math>-[[कॉची अनुक्रम]]}} <math>x_{\bull} = \left(x_n\right)_{n=1}^{\infty}</math> में <math>(X, d)</math> के लिए <math>x \in X</math> सम्मिलित है जैसे कि
<math display=block>\lim_{n \to \infty} \left\|x_n - x\right\| = 0</math>
जहाँ क्योंकि <math>\left\|x_n - x\right\| = d\left(x_n, x\right),</math> इस क्रम का अभिसरण <math>x</math> समान रूप से व्यक्त किया जा सकता है:
<math display=block>\lim_{n \to \infty} x_n = x \; \text{ in } (X, d).</math>
परिभाषा के अनुसार, मानक समष्टि <math>(X, \| \cdot \|)</math> बनच समष्टि है, यदि मानक प्रेरित मीट्रिक <math>d</math> एक [[पूर्ण मीट्रिक]] है, या अलग तरीके से कहा जाता है, यदि <math>(X, d)</math> एक पूर्ण मीट्रिक समष्टि है। नियम <math>\| \cdot \|</math> मानक समष्टि का <math>(X, \| \cdot \|)</math> को एक पूर्ण मानक कहा जाता है यदि <math>(X, \| \cdot \|)</math> बानाख समष्टि है।

==== L-अर्ध-आंतरिक गुणनफल ====
किसी भी सामान्य समष्टि के लिए <math>(X, \| \cdot \|),</math> एक L-अर्ध-आंतरिक गुणनफल <math>\langle \cdot, \cdot \rangle</math> पर <math>X</math> सम्मिलित है जैसे कि <math display="inline">\|x\| = \sqrt{\langle x, x \rangle}</math> सभी <math>x \in X</math>; के लिए सामान्य रूप से, असीम रूप से कई L-अर्ध-आंतरिक गुणनफल हो सकते हैं जो इस शर्त को पूरा करते हैं। L-अर्ध-आंतरिक गुणनफल का एक सामान्यीकरण है, जो मूल रूप से हिल्बर्ट रिक्त समष्टि को अन्य सभी बानाच समष्टि से अलग करते हैं। इससे पता चलता है कि सभी मानक समष्टि (और इसलिए सभी बानाख समष्टि) को (पूर्व-) हिल्बर्ट रिक्त समष्टि के सामान्यीकरण के रूप में माना जा सकता है।

===== श्रृंखला के संदर्भ में विशेषता =====
सदिश समष्टि संरचना हमें कॉशी अनुक्रमों के व्यवहार को अभिसरण श्रृंखला (गणित) सामान्यीकरण के व्यवहार से संबंधित करने की स्वीकृति देती है। एक मानक समष्टि <math>X</math> एक बानाख समष्टि है यदि और केवल यदि <math>X</math> प्रत्येक निरपेक्ष अभिसरण श्रृंखला <math>X</math> में अभिसरित हो जाता है <ref>see Theorem&nbsp;1.3.9, p.&nbsp;20 in {{harvtxt|Megginson|1998}}.</ref>
<math display="block">\sum_{n=1}^{\infty} \|v_n\| < \infty \quad \text{ implies that } \quad \sum_{n=1}^{\infty} v_n\ \ \text{ converges in } \ \ X.</math>


=== सांस्थिति ===

प्रामाणिक मीट्रिक <math>d</math> एक मानक समष्टि का <math>(X, \|\cdot\|)</math> सामान्य [[मीट्रिक टोपोलॉजी|मीट्रिक सांस्थिति]] <math>\tau_d</math> पर <math>X</math> को प्रेरित करता है, जिसे प्रामाणिक या मानक प्रेरित [[टोपोलॉजी|सांस्थिति]] कहा जाता है। जब तक अन्यथा इंगित नहीं किया जाता है, तब तक प्रत्येक मानक समष्टि स्वचालित रूप से इस [[हॉसडॉर्फ स्पेस|हॉसडॉर्फ समष्टि]] सांस्थिति को ले जाने के लिए मान लिया जाता है। इस सांस्थिति के साथ, प्रत्येक बानाख समष्टि एक बायर समष्टि है, हालांकि ऐसे मानक समष्टि सम्मिलित हैं जो बेयर हैं लेकिन बानाख नहीं हैं।{{sfn|Wilansky|2013|p=29}} नियम <math>\|\,\cdot\,\| : \left(X, \tau_d\right) \to \R</math> सांस्थिति के संबंध में सदैव एक सतत फलन होता है जो इसे प्रेरित करता है।

त्रिज्या की विवृत और संवृत गोले <math>r > 0</math> बिंदु पर केंद्रित <math>x \in X</math> क्रमशः समुच्चय हैं
<math display=block>B_r(x) := \{z \in X : \|z - x\| < r\} \qquad \text{ and } \qquad C_r(x) := \{z \in X : \|z - x\| \leq r\}.</math> ऐसी कोई भी गोले <math>X</math> का एक उत्तल और परिबद्ध उपसमुच्चय है (सांंस्थितिक वेक्टर समष्टि) है लेकिन एक [[ कॉम्पैक्ट जगह |सुसंहत समष्टि]] गोले/प्रतिवेश (सांस्थिति) सम्मिलित है यदि और केवल तभी <math>X</math> एक [[परिमित-आयामी वेक्टर अंतरिक्ष|परिमित-आयामी वेक्टर समष्टि]] है।
विशेष रूप से, कोई अनंत-आयामी मानक समष्टि [[स्थानीय रूप से कॉम्पैक्ट स्थान|स्थानीय रूप से सुसंहत समष्टि]] नहीं हो सकता है या हेइन-बोरेल गुण हो सकती है। यदि <math>x_0</math> वेक्टर है और <math>s \neq 0</math> तब एक अदिश है 

तब 
<math display="block">x_0 + s B_r(x) = B_{|s| r}\left(x_0 + s x\right) \qquad \text{ and } \qquad x_0 + s C_r(x) = C_{|s| r}\left(x_0 + s x\right).</math> <math>s := 1</math> का उपयोग करते हुए दिखाता है कि यह मानक-प्रेरित सांस्थिति [[अनुवाद अपरिवर्तनीय टोपोलॉजी|अनुवाद अपरिवर्तनीय सांस्थिति]] है, जिसका अर्थ है कि किसी <math>x \in X</math> और <math>S \subseteq X</math> के लिए उप-समुच्चय <math>S</math> [[खुला सेट|विवृत समुच्चय]] (क्रमशः, [[बंद सेट|संवृत समुच्चय]])   <math>X</math> में है यदि और केवल यदि यह इसके अनुवाद <math>x + S := \{x + s : s \in S\}</math> के लिए सही है। परिणामस्वरूप, मानक प्रेरित सांस्थिति मूल रूप से किसी भी [[पड़ोस व्यवस्था|प्रतिवेश व्यवस्था]] द्वारा मूल रूप से निर्धारित की जाती है। मूल में कुछ सामान्य प्रतिवेश के आधारों में सम्मिलित हैं:
<math display="block">\left\{B_r(0) : r > 0\right\}, \qquad \left\{C_r(0) : r > 0\right\}, \qquad \left\{B_{r_n}(0) : n \in \N\right\}, \qquad \text{ or } \qquad \left\{C_{r_n}(0) : n \in \N\right\}</math>
जहाँ <math>\left(r_n\right)_{n=1}^{\infty}</math> धनात्मक वास्तविक संख्याओं का एक क्रम है जो <math>0</math> में <math>\R</math> (जैसे कि <math>r_n := 1/n</math> या <math>r_n := 1/2^n</math> के लिए) अभिसरण करता है। तो उदाहरण के लिए, प्रत्येक विवृत उपसमुच्चय <math>U</math> का <math>X</math> समूह के रूप में लिखा जा सकता है
<math display="block">U = \bigcup_{x \in I} B_{r_x}(x) = \bigcup_{x \in I} x + B_{r_x}(0) = \bigcup_{x \in I} x + r_x B_1(0)</math>
कुछ उपसमुच्चय द्वारा अनुक्रमित <math>I \subseteq U,</math> जहां प्रत्येक <math>r_x</math> किसी पूर्णांक <math>r_x = \tfrac{1}{n_x}</math> कुछ पूर्णांक के लिए <math>n_x > 0</math> स्वरूप का है (संवृत गोले का उपयोग विवृत गोले के अतिरिक्त भी किया जा सकता है, हालांकि अनुक्रमणिका समुच्चय <math>I</math> और त्रिज्या <math>r_x</math> बदलने की आवश्यकता हो सकती है)। इसके अतिरिक्त, <math>I</math> [[ गणनीय सेट |गणनीय समुच्चय]] होने के लिए सदैव चयन किया जा सकता है यदि <math>X</math> {{em|[[वियोज्य समष्टि]]}} है, जिसका परिभाषा के अनुसार तात्पर्य है कि <math>X</math> कुछ गणनीय सघन समुच्चय सम्मिलित हैं। एंडरसन-केडेक प्रमेय कहता है कि प्रत्येक अनंत-आयामी वियोज्य फ्रेचेट समष्टि [[उत्पाद स्थान|गुणनफल समष्टि]] के लिए <math display="inline">\prod_{i \in \N} \R</math> की अनगिनत प्रतियाँ <math>\R</math> (इस होमियोमॉर्फिज़्म को एक रेखीय मानचित्र नहीं होना चाहिए) [[होमोमोर्फिज्म]] है।<ref>{{harvnb|Bessaga|Pełczyński|1975|p=189}}</ref> चूँकि प्रत्येक बानाख समष्टि एक फ्रेचेट समष्टि है, यह सभी अनंत-आयामी वियोज्य बानाख समष्टि के लिए भी सही है, जिसमें वियोज्य हिल्बर्ट समष्टि L2-समष्टि <math>\ell</math><sup>2</sup> अनुक्रम समष्टि <math>\ell^2(\N)</math> भी सम्मिलित है। इसका सामान्य मानक <math>\|\cdot\|_2,</math> जहां (परिमित-आयामी रिक्त समष्टि के विपरीत) <math>\ell^2(\N)</math> इसकी इकाई क्षेत्र <math>\left\{x \in \ell^2(\N) : \|x\|_2 = 1\right\}</math>होमोमोर्फिज्म भी है।

===== सघन और उत्तल उपसमुच्चय =====
<math>S</math> का <math>\ell^2(\N)</math> सुसंहत उपसमुच्चय है जिसका उत्तल हल <math>\operatorname{co}(S)</math> संवृत {{em|not}} है और इस प्रकार भी सुसंहत {{em|not}} है (उदाहरण के लिए यह फुटनोट देखें।<ref group="note" name="ExampleCompactButHullIsNotCompact">Let <math>H</math> be the separable [[Hilbert space]] [[Lp space|<math>\ell^2(\N)</math>]] of square-summable sequences with the usual norm <math>\|\cdot\|_2</math> and let <math>e_n = (0, \ldots, 0, 1, 0, \ldots)</math> be the standard [[orthonormal basis]] (that is <math>1</math> at the <math>n^{\text{th}}</math>-coordinate). The closed set <math>S = \{0\} \cup \left\{\tfrac{1}{n} e_n : n = 1, 2, \ldots\right\}</math> is compact (because it is [[Sequentially compact space|sequentially compact]]) but its convex hull <math>\operatorname{co} S</math> is {{em|not}} a closed set because <math>h := \sum_{n=1}^{\infty} \tfrac{1}{2^n} \tfrac{1}{n} e_n</math> belongs to the closure of <math>\operatorname{co} S</math> in <math>H</math> but <math>h \not\in\operatorname{co} S</math> (since every sequence <math>\left(z_n\right)_{n=1}^\infty \in \operatorname{co} S</math> is a finite [[convex combination]] of elements of <math>S</math> and so <math>z_n = 0</math> for all but finitely many coordinates, which is not true of <math>h</math>). However, like in all [[Complete topological vector space|complete]] Hausdorff locally convex spaces, the {{em|closed}} convex hull <math>K := \overline{\operatorname{co}} S</math> of this compact subset is compact. The vector subspace <math>X := \operatorname{span} S = \operatorname{span} \left\{e_1, e_2, \ldots\right\}</math> is a [[pre-Hilbert space]] when endowed with the substructure that the Hilbert space <math>H</math> induces on it but <math>X</math> is not complete and <math>h \not\in C := K \cap X</math> (since <math>h \not\in X</math>). The closed convex hull of <math>S</math> in <math>X</math> (here, "closed" means with respect to <math>X,</math> and not to <math>H</math> as before) is equal to <math>K \cap X,</math> which is not compact (because it is not a complete subset). This shows that in a Hausdorff locally convex space that is not complete, the closed convex hull of compact subset might {{em|fail}} to be compact (although it will be [[Totally bounded space|precompact/totally bounded]]).</ref>{{sfn|Aliprantis|Border|2006|p=185}} हालाँकि, सभी बानाख समष्टि की तरह, संवृत उत्तल हल   <math>\overline{\operatorname{co}} S</math> उप-समुच्चय सुसंहत होगा।{{sfn|Trèves|2006|p=145}} लेकिन यदि एक मानक समष्टि पूर्ण नहीं है तो यह सामान्य रूप से {{em|not}} प्रत्याभूति है कि <math>\overline{\operatorname{co}} S</math> सुसंहत होगा जब भी <math>S</math> होगा; उदाहरण<ref group="note" name="ExampleCompactButHullIsNotCompact" /> के लिए (गैर-पूर्ण) पूर्व-हिल्बर्ट वेक्टर <math>\ell^2(\N)</math> उपसमष्टि में भी पाया जा सकता है

==== सांंस्थितिक वेक्टर समष्टि ====
यह मानक-प्रेरित सांस्थिति <math>\left(X, \tau_d\right)</math> को [[टोपोलॉजिकल वेक्टर स्पेस|सांंस्थितिक वेक्टर समष्टि]] (टीवीएस) के रूप में जाना जाता है, जो परिभाषा के अनुसार एक सांस्थिति के साथ संपन्न एक वेक्टर समष्टि है जो अतिरिक्त और अदिश गुणन के संक्रिया को निरंतर बनाता है। इस बात पर जोर दिया जाता है कि टीवीएस <math>\left(X, \tau_d\right)</math> है केवल एक निश्चित प्रकार की सांस्थिति के साथ एक सदिश समष्टि है; अर्थात जब टीवीएस के रूप में माना जाता है, तो यह है {{em|not}} के साथ जुड़े कोई भी विशेष मानक या मीट्रिक (जिनमें से दोनों विस्मृत हैं)। यह हॉसडॉर्फ टीवीएस <math>\left(X, \tau_d\right)</math> [[स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस|स्थानीय रूप से उत्तल सांंस्थितिक वेक्टर समष्टि]] भी है क्योंकि मूल पर केंद्रित सभी विवृत गेंदों का समुच्चय मूल रूप से उत्तल [[संतुलित सेट|संतुलित समुच्चय]] विवृत समुच्चय से मिलकर [[पड़ोस का आधार|प्रतिवेश का आधार]] बनाता है। यह टीवीएस भी मानकीय है, जो परिभाषा के अनुसार किसी भी टीवीएस को संदर्भित करता है जिसका सांस्थिति कुछ (संभवतः अज्ञात) मानक (गणित) से प्रेरित है। मानकीय टीवीएस को हॉसडॉर्फ होने और मूल के एक घिरे हुए उत्तल प्रतिवेश के रूप में चित्रित किया गया है।

==== पूर्ण मेट्रिजेबल (दूरीकनीय) वेक्टर सांस्थिति की तुलना ====
[[ओपन मैपिंग प्रमेय (कार्यात्मक विश्लेषण)|विवृत प्रतिचित्रण प्रमेय (कार्यात्मक विश्लेषण)]] का तात्पर्य है कि यदि <math>\tau \text{ and } \tau_2</math> सांस्थिति <math>X</math> है जो <math>(X, \tau)</math> और <math>\left(X, \tau_2\right)</math> दोनों बनाते हैं। पूर्ण मेट्रिजेबल TVS में (उदाहरण के लिए, बानाच या फ्रेचेट समष्टि) और यदि एक सांस्थिति दूसरे की तुलना में [[टोपोलॉजी की तुलना|सांस्थिति की तुलना]] है तो उन्हें (अर्थात, यदि <math>\tau \subseteq \tau_2 \text{ or } \tau_2 \subseteq \tau \text{ then } \tau = \tau_2</math>) समान होना चाहिए।{{sfn|Trèves|2006|pp=166–173}} तो उदाहरण के लिए, यदि <math>(X, p) \text{ and } (X, q)</math> सांस्थिति के साथ <math>\tau_p \text{ and } \tau_q</math> बानाख समष्टि हैं यदि इन समष्टि में से एक में कुछ विवृत गोले है जो कि अन्य समष्टि का भी विवृत उपसमुच्चय है (या समकक्ष, यदि इनमें से एक <math>p : \left(X, \tau_q\right) \to \R</math> या <math>q : \left(X, \tau_p\right) \to \R</math> नियतांक है) तो उनकी सांस्थिति समान हैं और उनके [[समतुल्य मानदंड|समतुल्य मानक]] हैं।

=== पूर्णता ===

==== पूर्ण मानक और समकक्ष मानक ====
दो मानक, <math>p</math> और <math>q,</math> सदिश समष्टि पर मानक (गणित) समतुल्य मानक कहा जाता है यदि वे एक ही सांस्थिति प्रेरित करते हैं;<ref name="Conrad Equiv norms">{{cite web|url=https://kconrad.math.uconn.edu/blurbs/gradnumthy/equivnorms.pdf |archive-url=https://ghostarchive.org/archive/20221009/https://kconrad.math.uconn.edu/blurbs/gradnumthy/equivnorms.pdf |archive-date=2022-10-09 |url-status=live|title=मानदंडों की समानता|last=Conrad|first=Keith|website=kconrad.math.uconn.edu|access-date=September 7, 2020}}</ref> ऐसा तब होता है जब और केवल तभी होता है जब धनात्मक वास्तविक संख्याएं <math>c, C > 0</math> जैसे कि <math display="inline">c q(x) \leq p(x) \leq C q(x)</math> सभी के लिए <math> x \in X</math> सम्मिलित हों यदि <math>p</math> और <math>q</math> वेक्टर <math>X</math> समष्टि पर दो समान मानक हैं तब <math>(X, p)</math> एक बानाख समष्टि है यदि और केवल यदि <math>(X, q)</math> एक बानाख समष्टि है। इस फ़ुटनोट को बानाच समष्टि पर एक सतत मानक के उदाहरण के लिए देखें जो उस बानाख समष्टि के दिए गए NOT मानक के बराबर है।<ref group="note">Let <math>\left(C([0, 1]), \|\cdot\|_{\infty}\right)</math> denote the [[Continuous functions on a compact Hausdorff space|Banach space of continuous functions]] with the supremum norm and let <math>\tau_{\infty}</math> denote the topology on <math>C([0, 1])</math> induced by <math>\|\cdot\|_{\infty}.</math> The vector space <math>C([0, 1])</math> can be identified (via the [[inclusion map]]) as a proper [[Dense set|dense]] vector subspace <math>X</math> of the [[Lp-space|<math>L^1</math> space]] <math>\left(L^1([0, 1]), \|\cdot\|_1\right),</math> which satisfies <math>\|f\|_1 \leq \|f\|_{\infty}</math> for all <math>f \in X.</math> Let <math>p</math> denote the restriction of the [[Lp space|L<sup>1</sup>-norm]] to <math>X,</math> which makes this map <math>p : X \to \R</math> a norm on <math>X</math> (in general, the restriction of any norm to any vector subspace will necessarily again be a norm). The normed space <math>(X, p)</math> is {{em|not}} a Banach space since its completion is the proper superset <math>\left(L^1([0, 1]), \|\cdot\|_1\right).</math> Because <math>p \leq \|\cdot\|_{\infty}</math> holds on <math>X,</math> the map <math>p : \left(X, \tau_{\infty}\right) \to \R</math> is continuous. Despite this, the norm <math>p</math> is {{em|not}} equivalent to the norm <math>\|\cdot\|_{\infty}</math> (because <math>\left(X, \|\cdot\|_{\infty}\right)</math> is complete but <math>(X, p)</math> is not).</ref><ref name="Conrad Equiv norms" /> परिमित-आयामी सदिश समष्टि पर सभी मानक समतुल्य हैं और प्रत्येक परिमित-आयामी मानक समष्टि एक बानाख समष्टि है।<ref>see Corollary&nbsp;1.4.18, p.&nbsp;32 in {{harvtxt|Megginson|1998}}.</ref>

===== पूर्ण मानक बनाम पूर्ण मेट्रिक्स =====
वेक्टर समष्टि पर <math>X</math> पर एक मीट्रिक <math>D</math>, <math>X</math> मानक से प्रेरित है यदि और केवल यदि <math>D</math> अनुवाद अपरिवर्तनीय है<ref group="note" name="translation invariant metric" /> और बिल्कुल सजातीय है जिसका अर्थ है कि <math>D(sx, sy) = |s| D(x, y)</math> सभी सदिश <math>s</math> और सभी <math>x, y \in X,</math> के लिए जिस स्थिति में फलन <math>\|x\| := D(x, 0)</math> पर मानक परिभाषित करता है <math>X</math> और प्रामाणिक मीट्रिक द्वारा प्रेरित <math>\|\cdot\|</math> के <math>D</math> बराबर है।

मान लीजिए कि <math>(X, \|\cdot\|)</math> मानक समष्टि है और <math>\tau</math> मानक सांस्थिति पर प्रेरित है मान लीजिए कि <math>D,</math> <math>X</math> मीट्रिक (गणित) पर <math>X</math> है जैसे कि सांस्थिति कि <math>D</math> को <math>X</math>पर प्रवृत्त करता है जो   <math>\tau</math> के बराबर है यदि <math>D</math> अनुवाद अपरिवर्तनीय है<ref group="note" name="translation invariant metric" /> तब <math>(X, \|\cdot\|)</math> एक बानाख समष्टि है यदि और केवल यदि <math>(X, D)</math> एक पूर्ण मीट्रिक समष्टि है।{{sfn|Narici|Beckenstein|2011|pp=47-66}} यदि <math>D</math>, {{em|not}} अनुवाद अपरिवर्तनीय है, तो इसके लिए संभव हो सकता है कि <math>(X, \|\cdot\|)</math> एक बानाख समष्टि होने के लिए लेकिन के लिए <math>(X, D)</math> को {{em|not}} एक पूर्ण मीट्रिक समष्टि हो{{sfn|Narici|Beckenstein|2011|pp=47-51}} (उदाहरण के लिए यह फुटनोट देखें<ref group="note">The [[normed space]] <math>(\R,|\cdot |)</math> is a Banach space where the absolute value is a [[Norm (mathematics)|norm]] on the real line <math>\R</math> that induces the usual [[Euclidean topology]] on <math>\R.</math> Define a metric <math>D : \R \times \R \to \R</math> on <math>\R</math> by <math>D(x, y) =|\arctan(x) - \arctan(y)|</math> for all <math>x, y \in \R.</math> Just like {{nowrap|<math>|\cdot|</math>{{hsp}}'s}} induced metric, the metric <math>D</math> also induces the usual Euclidean topology on <math>\R.</math> However, <math>D</math> is not a complete metric because the sequence <math>x_{\bull} = \left(x_i\right)_{i=1}^{\infty}</math> defined by <math>x_i := i</math> is a [[Cauchy sequence|{{nowrap|<math>D</math>-Cauchy}} sequence]] but it does not converge to any point of <math>\R.</math> As a consequence of not converging, this {{nowrap|<math>D</math>-Cauchy}} sequence cannot be a Cauchy sequence in <math>(\R,|\cdot |)</math> (that is, it is not a Cauchy sequence with respect to the norm <math>|\cdot|</math>) because if it was {{nowrap|<math>|\cdot|</math>-Cauchy,}} then the fact that <math>(\R,|\cdot |)</math> is a Banach space would imply that it converges (a contradiction).{{harvnb|Narici|Beckenstein|2011|pp=47–51}}</ref>)। इसके विपरीत, क्ले का एक प्रमेय,{{sfn|Schaefer|Wolff|1999|p=35}}<ref name="Klee Inv metrics">{{Cite journal|last1=Klee|first1=V. L.|title=समूहों में अपरिवर्तनीय मेट्रिक्स (बानाच की समस्या का समाधान)|year=1952|journal=Proc. Amer. Math. Soc.|volume=3|issue=3|pages=484–487|url=https://www.ams.org/journals/proc/1952-003-03/S0002-9939-1952-0047250-4/S0002-9939-1952-0047250-4.pdf |archive-url=https://ghostarchive.org/archive/20221009/https://www.ams.org/journals/proc/1952-003-03/S0002-9939-1952-0047250-4/S0002-9939-1952-0047250-4.pdf |archive-date=2022-10-09 |url-status=live|doi=10.1090/s0002-9939-1952-0047250-4|doi-access=free}}</ref><ref group="note">The statement of the theorem is: Let <math>d</math> be {{em|any}} metric on a vector space <math>X</math> such that the topology <math>\tau</math> induced by <math>d</math> on <math>X</math> makes <math>(X, \tau)</math> into a topological vector space. If <math>(X, d)</math> is a [[complete metric space]] then <math>(X, \tau)</math> is a [[complete topological vector space]].</ref> जो सभी [[मेट्रिजेबल टोपोलॉजिकल वेक्टर स्पेस|दूरीकनीय सांंस्थितिक वेक्टर समष्टि]] पर भी प्रयुक्त होता है, इसका तात्पर्य है कि यदि <ref group="note">This metric <math>D</math> is {{em|not}} assumed to be translation-invariant. So in particular, this metric <math>D</math> does {{em|not}} even have to be induced by a norm.</ref> पूर्ण मीट्रिक <math>D</math> पर <math>X</math> सम्मिलित है जो मानक सांस्थिति <math>\tau</math> पर <math>X</math> को प्रेरित करता है तब <math>(X, \|\cdot\|)</math> बानाख समष्टि है।

एक फ्रेचेट समष्टि स्थानीय रूप से उत्तल सांंस्थितिक वेक्टर समष्टि है जिसका सांस्थिति कुछ अनुवाद अपरिवर्तनीय पूर्ण मीट्रिक द्वारा प्रेरित होता है। प्रत्येक बानाख समष्टि एक फ्रेचेट समष्टि है लेकिन इसके विपरीत नहीं; वास्तव में, वहाँ भी फ्रेचेट समष्टि सम्मिलित हैं, जिस पर कोई मानक एक सतत फलन नहीं है (जैसे कि [[वास्तविक अनुक्रमों का स्थान|वास्तविक अनुक्रमों का समष्टि]] <math display="inline">\R^{\N} = \prod_{i \in \N} \R</math> [[उत्पाद टोपोलॉजी|गुणनफल सांस्थिति]] के साथ)। हालांकि, प्रत्येक फ्रेचेट समष्टि की सांस्थिति वास्तविक-मूल्यवान (आवश्यक रूप से निरंतर) प्रतिचित्रों के कुछ गणनीय समुच्चय वर्ग से प्रेरित होती है, जिन्हें [[सेमिनोर्म|अर्ध-मानक]] कहा जाता है, जो मानक (गणित) के सामान्यीकरण हैं। एक फ्रेचेट समष्टि के लिए एक सांस्थिति होना भी संभव है जो मानक गणनीय वर्ग द्वारा प्रेरित है (ऐसे मानक आवश्यक रूप से नियत होंगे)<ref group="note" name="CharacterizationOfContinuityOfANorm">A norm (or [[seminorm]]) <math>p</math> on a topological vector space <math>(X, \tau)</math> is continuous if and only if the topology <math>\tau_p</math> that <math>p</math> induces on <math>X</math> is [[Comparison of topologies|coarser]] than <math>\tau</math> (meaning, <math>\tau_p \subseteq \tau</math>), which happens if and only if there exists some open ball <math>B</math> in <math>(X, p)</math> (such as maybe <math>\{x \in X : p(x) < 1\}</math> for example) that is open in <math>(X, \tau).</math></ref>{{sfn|Trèves|2006|pp=57–69}} लेकिन एक बानाख / [[सामान्य स्थान|सामान्य समष्टि]] NOT होने के कारण इसकी सांस्थिति को किसी एकल मानक के द्वारा परिभाषित नहीं किया जा सकता है। ऐसी समष्टि का एक उदाहरण फ्रेचेट समष्टि <math>C^{\infty}(K)</math> है जिसकी परिभाषा लेख में परीक्षण फलनों और वितरण के रिक्त समष्टि पर पाई जा सकती है।

==== पूर्ण मानक बनाम पूर्ण सांंस्थितिक वेक्टर समष्टि ====
मीट्रिक पूर्णता के अतिरिक्त पूर्णता की अन्य धारणा है और वह एक पूर्ण सांंस्थितिक वेक्टर समष्टि (टीवीएस) या टीवीएस-पूर्णता की धारणा है, जो समान समष्टि के सिद्धांत का उपयोग करती है। विशेष रूप से, टीवीएस-पूर्णता की धारणा एक अद्वितीय अनुवाद-अपरिवर्तनीय [[एकरूपता (टोपोलॉजी)|एकरूपता (सांस्थिति)]] का उपयोग करती है, जिसे पूर्ण सांंस्थितिक वेक्टर समष्टि प्रामाणिक एकरूपता कहा जाता है, जो निर्भर करता है जो केवल वेक्टर घटाव और सांस्थिति पर <math>\tau</math> सदिश समष्टि के साथ संपन्न है, और इसलिए विशेष रूप से, टीवीएस पूर्णता की यह धारणा सांस्थिति को प्रेरित करने वाले किसी भी मानक <math>\tau</math> से स्वतंत्र है (और यहां तक कि टीवीएस पर भी {{em|not}} प्रयुक्त होता है जो कि दूरीकनीय पर नहीं है)। प्रत्येक बानाख समष्टि एक संपूर्ण टीवीएस है। इसके अतिरिक्त, एक मानक समष्टि एक बानाख समष्टि है (अर्थात, इसका मानक-प्रेरित मीट्रिक पूर्ण है) यदि और केवल यदि यह एक सांंस्थितिक वेक्टर समष्टि के रूप में पूर्ण है। यदि <math>(X, \tau)</math> एक दूरीकनीय सांंस्थितिक वेक्टर समष्टि है (जैसे कि कोई मानक प्रेरित सांस्थिति, उदाहरण के लिए), फिर <math>(X, \tau)</math> एक पूर्ण TVS है यदि और केवल यदि यह क्रमिक रूप से पूर्ण टीवीएस, जिसका अर्थ है कि यह यह जाँचने के लिए पर्याप्त है कि <math>(X, \tau)</math> में प्रत्येक कॉची अनुक्रम <math>(X, \tau)</math> में <math>X</math> के किसी बिंदु पर अभिसरण करता है (अर्थात्, एकपक्षीय कॉची [[नेट (गणित)|मान (गणित)]] की अधिक सामान्य धारणा पर विचार करने की कोई आवश्यकता नहीं है)।

यदि <math>(X, \tau)</math> एक सांंस्थितिक वेक्टर समष्टि है जिसकी कुछ (संभवत: अज्ञात) मानक सांस्थिति प्रेरित होती है (ऐसे मानकनीय समष्टि कहलाते हैं), तब <math>(X, \tau)</math> एक पूर्ण सांंस्थितिक वेक्टर समष्टि है यदि और केवल यदि <math>X</math> एक मानक सौंपा जा सकता है (गणित) <math>\|\cdot\|</math> जो <math>X</math> पर सांस्थिति <math>\tau</math> प्रेरित करता है और एक बानाख समष्टि में <math>(X, \|\cdot\|)</math> बनाता भी है। हॉउसडॉर्फ समष्टि स्थानीय रूप से उत्तल सांंस्थितिक वेक्टर समष्टि <math>X</math> सामान्य समष्टि है यदि और केवल यदि इसकी [[मजबूत दोहरी जगह|प्रबल द्विक समष्टि]] <math>X^{\prime}_b</math> सामान्य है,{{sfn|Trèves|2006|p=201}} जिस स्थिति में <math>X^{\prime}_b</math> एक बानाख समष्टि है (<math>X^{\prime}_b</math> के <math>X</math> प्रबल द्विक समष्टि को दर्शाता है जिसका सांस्थिति निरंतर द्विक समष्टि पर द्विक मानक-प्रेरित सांस्थिति <math>X^{\prime}</math> का सामान्यीकरण है; अधिक जानकारी के लिए यह फुटनोट देखें<ref group="note"><math>X^{\prime}</math> denotes the [[continuous dual space]] of <math>X.</math> When <math>X^{\prime}</math> is endowed with the [[Strong topology (polar topology)|strong dual space topology]], also called the [[topology of uniform convergence]] on [[Bounded set (functional analysis)|bounded subsets]] of <math>X,</math> then this is indicated by writing <math>X^{\prime}_b</math> (sometimes, the subscript <math>\beta</math> is used instead of <math>b</math>). When <math>X</math> is a normed space with norm <math>\|\cdot\|</math> then this topology is equal to the topology on <math>X^{\prime}</math> induced by the [[dual norm]]. In this way, the [[Strong topology (polar topology)|strong topology]] is a generalization of the usual dual norm-induced topology on <math>X^{\prime}.</math></ref>)। यदि <math>X</math> स्थानीय रूप से उत्तल TVS, तब एक दूरीकनीय सांंस्थितिक वेक्टर समष्टि <math>X</math> सामान्य है यदि और केवल यदि <math>X^{\prime}_b</math> एक फ्रेचेट-उरीसोहन समष्टि है।<ref name="Gabriyelyan 2014">Gabriyelyan, S.S. [https://arxiv.org/pdf/1412.1497.pdf "On topological spaces and topological groups with certain local countable networks] (2014)</ref> इससे पता चलता है कि स्थानीय रूप से उत्तल सांंस्थितिक वेक्टर समष्टि की श्रेणी में, बानाख समष्टि वास्तव में वे पूर्ण समष्टि हैं जो मेट्रिज़ेबल सांंस्थितिक वेक्टर समष्टि दोनों हैं और मेट्रिज़ेबल प्रबल द्विक रिक्त समष्टि हैं।

==== समापन ====
प्रत्येक मानक समष्टि को कुछ बनच समष्टि के सघन सदिश उप-समष्टि पर सममितीय रूप से अंत:स्थापित किया जा सकता है, जहाँ इस बनच समष्टि को मानक समष्टि का पूरा होना कहा जाता है। यह हॉसडॉर्फ समापन सममितीय समाकृतिकता तक अद्वितीय है।

अधिक परिशुद्ध रूप से, प्रत्येक मानक समष्टि <math>X</math> के लिए जहाँ <math>Y</math> और एक मानचित्रण <math>T : X \to Y</math> एक बानाख समष्टि सम्मिलित है जैसे कि <math>T</math> एक सममितीय है और <math>T(X)</math> में सघन <math>Y</math> है यदि <math>Z</math> और बानाख समष्टि है जैसे कि एक <math>X</math> सममितीय समाकृतिकता के सघन उपसमुच्चय पर <math>Z</math> है, तब <math>Z</math> सममितीय रूप से समाकृतिक <math>Y</math> है, यह बानाख समष्टि <math>Y</math> हौसडॉर्फ पूर्ण मेट्रिक मानक समष्टि का <math>X</math> के लिए अंतर्निहित मीट्रिक समष्टि <math>Y</math> की मीट्रिक पूर्णता <math>X</math> से विस्तारित वेक्टर समष्टि संक्रिया के साथ <math>X</math> और <math>Y</math> के समान है मान लीजिए <math>X</math> कभी-कभी <math>\widehat{X}</math> द्वारा दर्शाया जाता है।


== सामान्य सिद्धांत ==

=== रैखिक संकारक, समरूपता ===

{{main|परिबद्ध संक्रिया}}
यदि <math>X</math> और <math>Y</math> एक ही जमीनी क्षेत्र में मानक समष्टि हैं <math>\mathbb{K},</math> सभी सतत फलन (सांस्थिति) रैखिक परिवर्तन का समुच्चय<math>\mathbb{K}</math>-रैखिक नक्शे <math>T : X \to Y</math> द्वारा निरूपित किया जाता है <math>B(X, Y).</math> अनंत-आयामी समष्टि में, सभी रेखीय मानचित्र निरंतर नहीं होते हैं। एक मानक समष्टि से एक रेखीय मानचित्रण <math>X</math> किसी अन्य मानक समष्टि के लिए निरंतर है यदि और केवल यदि यह संवृत [[ इकाई क्षेत्र |इकाई क्षेत्र]] पर परिबद्ध ऑपरेटर है <math>X.</math> इस प्रकार, वेक्टर समष्टि <math>B(X, Y)</math> [[ऑपरेटर मानदंड|ऑपरेटर मानक]] दिया जा सकता है
<math display=block>\|T\| = \sup \left\{\|Tx\|_Y \mid x\in X,\ \|x\|_X \leq 1 \right\}.</math>
बानाख समष्टि <math>Y</math> के लिए, समष्टि <math>B(X, Y)</math> इस मानक के संबंध में एक बानाच समष्टि है। स्पष्ट संदर्भों में, कभी-कभी [[होम स्पेस|फलन समष्टि]] को दो बानाख रिक्त समष्टि के बीच केवल छोटे मानचित्रों तक सीमित करना सुविधाजनक होता है; उस स्थिति में समष्टि <math>B(X,Y)</math> एक प्राकृतिक द्विभाजक के रूप में फिर से प्रकट होता है।<ref name=Ban1Cat>{{cite web|website=Annoying Precision|title=Banach रिक्त स्थान (और Lawvere मेट्रिक्स, और बंद श्रेणियां)|date=June 23, 2012|author=Qiaochu Yuan|url=https://qchu.wordpress.com/2012/06/23/banach-spaces-and-lawvere-metrics-and-closed-categories/}}</ref>

यदि <math>X</math> बानाख समष्टि है, समष्टि <math>B(X) = B(X, X)</math> एक इकाई [[बनच बीजगणित|बानाख बीजगणित]] बनाता है; गुणन संक्रिया रेखीय प्रतिचित्रों के संघटन द्वारा दी जाती है।

यदि <math>X</math> और <math>Y</math> मानक समष्टि हैं, यदि एक रेखीय आक्षेप सम्मिलित है तो वे समरूपी मानक समष्टि <math>T : X \to Y</math> हैंज ैसे कि <math>T</math> और इसका प्रतिवर्त <math>T^{-1}</math> नियतांक हैं। यदि दो में से एक समष्टि <math>X</math> या <math>Y</math> पूर्ण है (या प्रतिवर्त समष्टि, [[वियोज्य स्थान|वियोज्य समष्टि]], आदि) तो अन्य समष्टि भी है। दो मानक समष्टि <math>X</math> और <math>Y</math> सममितीय रूप से समाकृतिकता हैं यदि इसके अतिरिक्त, <math>T</math> सममितीय है, अर्थात <math>\|T(x)\| = \|x\|</math> प्रत्येक के लिए <math>x</math> में <math>X</math> बानाख दूरी <math>d(X, Y)</math> दो समाकृतिकता लेकिन सममितीय समष्टि के बीच <math>X</math> और <math>Y</math> माप देता है कि दो समष्टि <math>X</math> और <math>Y</math> में कितना अंतर है।

====सतत और परिबद्ध रेखीय फलन और अर्ध-मानक ====
प्रत्येक निरंतर रैखिक संकारक एक परिबद्ध रैखिक संकारक होता है और यदि केवल मानक समष्टि के साथ व्यवहार किया जाता है तो इसका व्युत्क्रम भी सत्य होता है। अर्थात्, दो मानक समष्टि के बीच एक रैखिक संकारक परिबद्ध रैखिक संकारक है यदि और केवल यदि यह एक सतत फलन है। तो विशेष रूप से, क्योंकि अदिश क्षेत्र (जो है <math>\R</math> या <math>\Complex</math>) एक मानक समष्टि है, मानक समष्टि पर [[परिबद्ध रैखिक कार्यात्मक]] है यदि और केवल यदि यह एक सतत रैखिक कार्यात्मक है। यह निरंतरता से संबंधित परिणामों (जैसे नीचे दिए गए) को बानाख समष्टि पर प्रयुक्त करने की स्वीकृति देता है। यद्यपि सीमाबद्धता मानक समष्टि के बीच रैखिक मानचित्रों के लिए निरंतरता के समान है, मुख्य रूप से बानाख रिक्त समष्टि के साथ व्यवहार करते समय बाध्य पदों का अधिक उपयोग किया जाता है।

यदि <math>f : X \to \R</math> एक उप-योगात्मक फलन है (जैसे कि एक मानक, एक उप-रैखिक फलन, या वास्तविक रैखिक कार्यात्मक), तब{{sfn|Narici|Beckenstein|2011|pp=192-193}} <math>f</math> [[एक बिंदु पर निरंतरता]] है यदि और केवल यदि <math>f</math> सभी पर <math>X</math> [[समान रूप से निरंतर]] है; और यदि इसके अतिरिक्त <math>f(0) = 0</math> तब <math>f</math> निरंतर है यदि और केवल यदि इसका पूर्ण मूल्य <math>|f| : X \to [0, \infty)</math> निरंतर है, जो होता है यदि और केवल यदि <math>\{x \in X : |f(x)| < 1\}</math> का विवृत उपसमुच्चय<math>X</math> है।{{sfn|Narici|Beckenstein|2011|pp=192-193}}<ref group="note">The fact that <math>\{x \in X : |f(x)| < 1\}</math> being open implies that <math>f : X \to \R</math> is continuous simplifies proving continuity because this means that it suffices to show that <math>\{x \in X : \left|f(x) - f\left(x_0\right)\right| < r\}</math> is open for <math>r := 1</math> and at <math>x_0 := 0</math> (where <math>f(0) = 0</math>) rather than showing this for {{em|all}} real <math>r > 0</math> and {{em|all}} <math>x_0 \in X.</math></ref> और हन-बनाक प्रमेय, एक रैखिक कार्यात्मक को प्रयुक्त करने के लिए बहुत महत्वपूर्ण <math>f</math> नियतांक है यदि और केवल यदि यह इसके [[वास्तविक भाग]] के लिए सत्य है और इसके अतिरिक्त, <math>\|\operatorname{Re} f\| = \|f\|</math> रैखिक कार्यात्मक के वास्तविक और काल्पनिक भाग <math>\operatorname{Re} f</math> पूर्णतः निर्धारित करता है यही कारण है कि हैन-बनाक प्रमेय को <math>f,</math> प्रायः केवल वास्तविक रैखिक कार्यात्मकताओं के लिए ही कहा जाता है। इसके अतिरिक्त, एक रैखिक कार्यात्मक <math>f</math> पर <math>X</math> नियत है यदि और केवल यदि अर्ध-मानक <math>|f|</math> निरंतर है, जो तभी होता है जब निरंतर अर्ध-मानक <math>p : X \to \R</math> सम्मिलित होता हैज ैसे कि <math>|f| \leq p</math>; यह अंतिम कथन रैखिक कार्यात्मक <math>f</math> और अर्ध-मानक <math>p</math> को सम्मिलित करता है हैन-बनाक प्रमेय के कई संस्करणों में इसका सामना करना पड़ता है।

=== मूलभूत धारणाएं ===

कार्तीय गुणनफल <math>X \times Y</math> दो मानक समष्टि प्रामाणिक रूप से एक मानक से सुसज्जित नहीं हैं। हालाँकि, कई समान मानक सामान्य रूप से उपयोग किए जाते हैं,<ref>{{harvtxt|Banach|1932|p=182}}</ref> जैसे कि
<math display=block>\|(x, y)\|_1 = \|x\| + \|y\|, \qquad \|(x, y)\|_\infty = \max (\|x\|, \|y\|)</math>
जो (क्रमशः) बानाख समष्टि और लघु मानचित्र (ऊपर चर्चा की गई) की श्रेणी में प्रतिगुणनफल और [[उत्पाद (श्रेणी सिद्धांत)|गुणनफल (श्रेणी सिद्धांत)]] के अनुरूप हैं।<ref name=Ban1Cat /> परिमित (सह) गुणनफलों के लिए, ये मानक समाकृतिकता मानक समष्टि <math>X \times Y</math> (या प्रत्यक्ष योग <math>X \oplus Y</math>) और गुणनफल को उत्पन्न करते है जो पूर्ण है यदि और केवल यदि दो कारक पूर्ण हैं।

यदि <math>M</math> मानक समष्टि का एक संवृत समुच्चय रैखिक उपसमष्टि <math>X</math> है, भागफल समष्टि पर एक प्राकृतिक मानक <math>X / M</math> है,
<math display=block>\|x + M\| = \inf\limits_{m \in M} \|x + m\|.</math>
भागफल <math>X / M</math> एक बानाख समष्टि है जब <math>X</math> पूर्ण है।<ref name="Caro17">see pp.&nbsp;17–19 in {{harvtxt|Carothers|2005}}.</ref> भागफल मानचित्र से <math>X</math> पर <math>X / M,</math> देता है इसके वर्ग <math>x \in X</math> के लिए <math>x + M</math> रैखिक है, और आच्छादक है और इसका मानक <math>1</math> है इसके अतिरिक्त जब <math>M = X,</math> जिस स्थिति में भागफल रिक्त समष्टि होता है।

संवृत रैखिक उप-समष्टि <math>M</math> का <math>X</math> की पूरक उपसमष्टि कहा जाता है <math>X</math> यदि <math>M</math> एक प्रक्षेपण परिबद्ध रैखिक [[प्रक्षेपण (रैखिक बीजगणित)]] <math>P : X \to M</math> के [[एक समारोह की सीमा|फलन की सीमा]] है इस स्थिति में समष्टि <math>X</math> के प्रत्यक्ष योग के लिए <math>M</math> और <math>\ker P,</math> प्रक्षेपण <math>P</math> समाकृतिकता है मान लीजिए कि <math>X</math> और <math>Y</math> बानाख समष्टि हैं और यह <math>T \in B(X, Y)</math> का एक प्रामाणिक गुणनखंड सम्मिलित है जैसे <math>T</math> <ref name="Caro17" />
<math display=block>T = T_1 \circ \pi, \ \ \ T : X \ \overset{\pi}{\longrightarrow}\ X / ker(T) \ \overset{T_1}{\longrightarrow} \ Y</math>
जहां पहला मानचित्र <math>\pi</math> भागफल मानचित्र है, और दूसरा मानचित्र <math>T_1</math> है प्रत्येक वर्ग <math>x + \ker T</math> छवि के भागफल में <math>T(x)</math> में <math>Y</math> प्राप्त है, यह अच्छी तरह से परिभाषित है क्योंकि एक ही वर्ग के सभी तत्वों की एक ही छवि होती है। मानचित्रण <math>T_1</math> से एक रैखिक <math>X / \ker T</math> सीमा पर <math>T(X)</math> आक्षेप है जिनके व्युत्क्रम को बाध्य करने की आवश्यकता नहीं है।

=== उत्कृष्ट समष्टि ===

मूलभूत उदाहरण<ref>see {{harvtxt|Banach|1932}}, pp.&nbsp;11-12.</ref> बानाख समष्टि में सम्मिलित हैं: एलपी रिक्त समष्टि <math>L^p</math> और उनके विशेष स्थिति <math>\ell^p</math> [[अनुक्रम स्थान (गणित)|अनुक्रम समष्टि (गणित)]] जिसमें [[प्राकृतिक संख्या]]ओं द्वारा अनुक्रमित अदिश अनुक्रम <math>\N</math> सम्मिलित हैं; उनमें से, समष्टि <math>\ell^1</math> निरपेक्ष अभिसरण अनुक्रम और समष्टि <math>\ell^2</math> वर्ग योग्‍य अनुक्रम; समष्टि <math>c_0</math> शून्य और समष्टि की ओर जाने वाले अनुक्रमों की <math>\ell^{\infty}</math> परिबद्ध अनुक्रमों की; समष्टि <math>C(K)</math> सुसंहत हौसडॉर्फ समष्टि पर नियत अदिश फलन <math>K,</math> अधिकतम मानक से कम,
<math display=block>\|f\|_{C(K)} = \max \{ |f(x)| : x \in K \}, \quad f \in C(K).</math>
बनच-मजूर प्रमेय के अनुसार, प्रत्येक बानाख समष्टि कुछ के एक उप-समष्टि के लिए सममितीय <math>C(K)</math> रूप से समाकृतिकता है।<ref>see {{harvtxt|Banach|1932}}, Th.&nbsp;9 p.&nbsp;185.</ref> प्रत्येक वियोज्य बानाख समष्टि <math>X</math> के लिए संवृत उप-समष्टि <math>M</math> का <math>\ell^1</math> है जैसे कि <math>X := \ell^1 / M.</math><ref>see Theorem&nbsp;6.1, p.&nbsp;55 in {{harvtxt|Carothers|2005}}</ref> कोई भी हिल्बर्ट समष्टि बानाख समष्टि के उदाहरण के रूप में फलन करता है। हिल्बर्ट समष्टि <math>H</math> पर <math>\mathbb{K} = \Reals, \Complex</math> प्रपत्र के एक मानक के लिए पूर्ण है
<math display=block>\|x\|_H = \sqrt{\langle x, x \rangle},</math>
जहाँ
<math display=block>\langle \cdot, \cdot \rangle : H \times H \to \mathbb{K}</math>
[[आंतरिक उत्पाद स्थान|आंतरिक गुणनफल समष्टि]] है, इसके पहले तर्क में रैखिक है जो निम्नलिखित को पूरा करता है:
<math display=block>\begin{align}
\langle y, x \rangle &= \overline{\langle x, y \rangle}, \quad \text{ for all } x, y \in H \\
\langle x, x \rangle & \geq 0, \quad \text{ for all } x \in H \\
\langle x,x \rangle = 0 \text{ if and only if } x &= 0.
\end{align}</math>
उदाहरण के लिए, समष्टि <math>L^2</math> एक हिल्बर्ट समष्टि है।

[[हार्डी स्पेस|हार्डी समष्टि]], [[सोबोलेव स्पेस|सोबोलेव समष्टि]], बानाख समष्टि के उदाहरण हैं जो <math>L^p</math> इससे संबंधित हैं रिक्त समष्टि और अतिरिक्त संरचना है। वे विश्लेषण की विभिन्न शाखाओं, [[हार्मोनिक विश्लेषण]] और दूसरों के बीच आंशिक अंतर समीकरणों में महत्वपूर्ण हैं।

===बानाख बीजगणित ===

बानाख बीजगणित <math>A</math> बानाख समष्टि है उपरोक्त <math>\mathbb{K} = \R</math> या <math>\Complex,</math> साथ में एक क्षेत्र के ऊपर बीजगणित की एक संरचना <math>\mathbb{K}</math>, जैसे कि गुणनफल का मानचित्र <math>A \times A \ni (a, b) \mapsto ab \in A</math> सतत है। एक समकक्ष मानक <math>A</math> पाया जा सकता है ताकि <math>\|ab\| \leq \|a\| \|b\|</math> सभी के लिए <math>a, b \in A.</math>


==== उदाहरण ====

* बानाख समष्टि <math>C(K)</math> बिंदुवार गुणनफल के साथ, बैनाच बीजगणित है।
* [[डिस्क बीजगणित]] <math>A(\mathbf{D})</math> विवृत इकाई डिस्क में [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] के फलन होते हैं <math>D \subseteq \Complex</math> और इसके [[क्लोजर (टोपोलॉजी)|संवरक (सांस्थिति)]] पर निरंतर: <math>\overline{\mathbf{D}}.</math> अधिकतम मानक से कम <math>\overline{\mathbf{D}},</math> डिस्क बीजगणित <math>A(\mathbf{D})</math> का एक संवृत उपबीजीय <math>C\left(\overline{\mathbf{D}}\right)</math>है।
*वीनर बीजगणित <math>A(\mathbf{T})</math> इकाई वृत्त पर फलनों का <math>\mathbf{T}</math> अभिसरण फूरियर श्रृंखला के साथ बीजगणित है। किसी फलन को जोड़ने वाले मानचित्र के माध्यम से <math>\mathbf{T}</math> इसके फूरियर गुणांकों के अनुक्रम के अनुसार, यह बीजगणित बानाख बीजगणित <math>\ell^1(Z)</math> के लिए समरूप है जहां गुणनफल अनुक्रमों का असतत संवलन है।
* प्रत्येक बानाख समष्टि के लिए <math>X,</math> समष्टि <math>B(X)</math> परिबद्ध रैखिक संक्रिया <math>X,</math> गुणनफल के रूप में प्रतिचित्रों की संरचना के साथ, बानाख बीजगणित है।
*A C*-बीजगणित एक जटिल बानाच बीजगणित <math>A</math> है [[एंटीलाइनर नक्शा|गैर-रैखिक मानचित्र]] अंतर्वलन (गणित) के साथ <math>a \mapsto a^*</math> जैसे कि <math>\left\|a^* a\right\| = \|a\|^2</math> समष्टि <math>B(H)</math> हिल्बर्ट समष्टि पर परिबद्ध रैखिक संक्रिया की संख्या <math>H</math> C*-बीजगणित का एक मूलभूत उदाहरण है। गेलफैंड-नैमार्क प्रमेय कहता है कि प्रत्येक C*-बीजगणित कुछ के C*-उप-बीजीय के लिए <math>B(H)</math> सममितीय रूप से समाकृतिकता है। समष्टि <math>C(K)</math> सुसंहत हौसडॉर्फ समष्टि पर जटिल सतत फलनों का <math>K</math> क्रमविनिमेय C*-बीजगणित का एक उदाहरण है, जहां प्रत्येक क्रिया के साथ <math>f</math> जुड़ा हुआ है जो इसका <math>\overline{f}</math> जटिल संयुग्म है।


=== द्विक समष्टि ===
{{main|दोहरी समष्टि}}
यदि <math>X</math> एक मानक समष्टि है और <math>\mathbb{K}</math> अंतर्निहित [[क्षेत्र (गणित)]] (या तो [[वास्तविक संख्या]] या [[जटिल संख्या]]), सतत द्विक समष्टि निरंतर रैखिक मानचित्र <math>X</math> में <math>\mathbb{K},</math> या सतत रैखिक फलन का समष्टि है। इस लेख में नियतांक द्विक समष्टि के लिए संकेत<math>X^{\prime} = B(X, \mathbb{K})</math> समष्टि है।<ref>Several books about functional analysis use the notation <math>X^*</math> for the continuous dual, for example {{harvtxt|Carothers|2005}}, {{harvtxt|Lindenstrauss|Tzafriri|1977}}, {{harvtxt|Megginson|1998}}, {{harvtxt|Ryan|2002}}, {{harvtxt|Wojtaszczyk|1991}}.</ref> तब से <math>\mathbb{K}</math> एक बानाख समष्टि है (मानक के रूप में पूर्ण मूल्य का उपयोग करके), द्विक <math>X^{\prime}</math> प्रत्येक मानक समष्टि के लिए <math>X</math> बानाख समष्टि है।

निरंतर रैखिक क्रियाओं की स्थिति को सिद्ध करने का मुख्य उपकरण हैन-बनाक प्रमेय है।

{{math theorem|name=Hahn–Banach theorem|math_statement=Let <math>X</math> be a [[vector space]] over the field <math>\mathbb{K} = \R, \Complex.</math> Let further
* <math>Y \subseteq X</math> be a [[linear subspace]],
* <math>p : X \to \R</math> be a [[sublinear function]] and
* <math>f : Y \to \mathbb{K}</math> be a [[linear functional]] so that <math>\operatorname{Re}(f(y)) \leq p(y)</math> for all <math>y \in Y.</math> 
Then, there exists a linear functional <math>F : X \to \mathbb{K}</math> so that <math display=block>F\big\vert_Y = f, \quad \text{ and } \quad \text{ for all } x \in X, \ \ \operatorname{Re}(F(x)) \leq p(x).</math>}}

विशेष रूप से, कार्यात्मक के मानक को बढ़ाए बिना, मानक समष्टि के उप-समष्टि पर प्रत्येक निरंतर रैखिक कार्यात्मक को निरंतर पूरे समष्टि तक बढ़ाया जा सकता है।<ref>Theorem&nbsp;1.9.6, p.&nbsp;75 in {{harvtxt|Megginson|1998}}</ref> एक महत्वपूर्ण विशेष स्थिति निम्नलिखित है: प्रत्येक सदिश के लिए <math>x</math> मानक समष्टि में <math>X,</math> वहाँ <math>f</math> पर <math>X</math> सतत रैखिक कार्यात्मक सम्मिलित है जैसे कि
<math display=block>f(x) = \|x\|_X, \quad \|f\|_{X^{\prime}} \leq 1.</math>
जब <math>x</math> के बराबर <math>\mathbf{0}</math> वेक्टर नहीं है कार्यात्मक <math>f</math> मानक एक होना चाहिए, और इसके लिए एक मानक कार्यात्मक <math>x</math> कहा जाता हैह ैन-बनाक पृथक्करण प्रमेय कहता है कि दो असंयुक्त गैर-रिक्त उत्तल समुच्चय एक वास्तविक बानाच समष्टि में, उनमें से एक विवृत है, एक संवृत [[एफ़िन स्पेस|एफ़िन समष्टि]] द्वारा अलग किया जा सकता है। विवृत उत्तल समुच्चय अधिसमतलके एक तरफ दृढ़ता से स्थित है, दूसरा उत्तल समुच्चय दूसरी तरफ स्थित है लेकिन अधिसमतल को स्पर्श कर सकता है।<ref>see also Theorem&nbsp;2.2.26, p.&nbsp;179 in {{harvtxt|Megginson|1998}}</ref> उपसमुच्चय <math>S</math> एक बानाख समष्टि में <math>X</math> पूर्ण है यदि की [[रैखिक अवधि]] <math>S</math> सघन रूप से <math>X</math> स्थापित है उपसमुच्चय <math>S</math> में पूर्ण <math>X</math> ैय दि और केवल यदि एकमात्र निरंतर रैखिक कार्यात्मक जो <math>S</math> पर कार्यात्मक <math>\mathbf{0}</math> है: यह तुल्यता हन-बनाक प्रमेय से आती है।

यदि <math>X</math> दो संवृत <math>M</math> और <math>N</math> रैखिक उपसमष्टियों का प्रत्यक्ष योग है फिर द्वि-द्वैत <math>X^{\prime}</math> का <math>X</math> के <math>M</math> और<math>N</math> द्वि-द्वैत के प्रत्यक्ष योग के लिए समरूप है।<ref name="Caro19">see p.&nbsp;19 in {{harvtxt|Carothers|2005}}.</ref> यदि <math>M</math> में एक संवृत <math>X</math> रैखिक उपसमष्टि है लम्बवत <math>M</math> समष्टि जोड़ सकता है,
<math display=block>M^{bot} = \left\{ x^{\prime} \in X : x^{\prime}(m) = 0, \ \text{ for all } m \in M \right\}.</math>
लम्बवत<math>M^{\bot}</math> द्वि-द्वैत की एक संवृत रेखीय उपसमष्टि है। <math>M</math> का द्वि-द्वैत <math>X' / M^{\bot}</math> सममितीय रूप से समाकृतिक है   <math>X / M</math> का द्वि-द्वैत सममितीय रूप से <math>M^{\bot}</math> समाकृतिक है।<ref>Theorems&nbsp;1.10.16, 1.10.17 pp.94–95 in {{harvtxt|Megginson|1998}}</ref> 

वियोज्य बानाख समष्टि के द्विक को वियोज्य होने की आवश्यकता नहीं है, लेकिन:

{{math theorem|name=Theorem<ref>Theorem&nbsp;1.12.11, p.&nbsp;112 in {{harvtxt|Megginson|1998}}</ref>|math_statement= Let <math>X</math> be a normed space. If <math>X'</math> is [[Separable space|separable]], then <math>X</math> is separable.}}

जब <math>X'</math> वियोज्य है, समग्रता के लिए उपरोक्त मानक का उपयोग गणना योग्य <math>X</math> कुल उपसमुच्चय की स्थिति को प्रमाणित करने के लिए किया जा सकता है।


==== [[कमजोर टोपोलॉजी|दुर्बल सांस्थिति]] ====

बानाख समष्टि पर दुर्बल सांस्थिति <math>X</math> पर सांस्थिति की तुलना है <math>X</math> जिसके लिए सभी तत्व <math>x^{\prime}</math> निरंतर द्विक समष्टि में <math>X^{\prime}</math> निरंतर हैं। मानक सांस्थिति इसलिए दुर्बल सांस्थिति की तुलना में सांस्थिति की तुलना है। यह हैन-बनाक पृथक्करण प्रमेय से अनुसरण करता है कि दुर्बल सांस्थिति हौसडॉर्फ समष्टि है, और यह कि बानाख समष्टि का एक मानक-संवृत उत्तल समुच्चय भी दुर्बल रूप से संवृत है।<ref>Theorem&nbsp;2.5.16, p.&nbsp;216 in {{harvtxt|Megginson|1998}}.</ref> दो बानाख समष्टि के बीच एक मानक-सतत रेखीय मानचित्र <math>X</math> और <math>Y</math> भी दुर्बल रूप से निरंतर है, अर्थात <math>X</math> और <math>Y</math> के लिए दुर्बल सांस्थिति से निरंतर है <ref>see II.A.8, p.&nbsp;29 in {{harvtxt|Wojtaszczyk|1991}}</ref> यदि <math>X</math> अनंत-आयामी है, ऐसे रैखिक मानचित्र सम्मिलित हैं जो निरंतर नहीं हैं। समष्टि <math>X^*</math> से सभी रैखिक मानचित्रों का <math>X</math> अंतर्निहित क्षेत्र के लिए <math>\mathbb{K}</math> (यह समष्टि <math>X^*</math> इसे अलग करने के लिए इसे <math>X^{\prime}</math> बीजगणितीय द्विक समष्टि कहा जाता है सांस्थिति <math>X</math> को भी प्रेरित करता है जो दुर्बल सांस्थिति की तुलना में [[बेहतर टोपोलॉजी|अधिकतम सांस्थिति]] है, और कार्यात्मक विश्लेषण में बहुत कम प्रयोग किया जाता है।

द्विक समष्टि पर <math>X^{\prime},</math> की दुर्बल सांस्थिति की तुलना में दुर्बल सांस्थिति <math>X^{\prime}</math>कहा जाता है। यह सबसे सामान्य सांस्थिति <math>X^{\prime}</math>है जिसके लिए सभी मूल्यांकन मानचित्र <math>x^{\prime} \in X^{\prime} \mapsto x^{\prime}(x),</math> जहाँ <math>x</math> से अधिक <math>X</math> नियतांक हैं। इसका महत्व बानाख-अलाग्लू प्रमेय से आता है।

{{math theorem|name=[[Banach–Alaoglu theorem]]|math_statement=Let <math>X</math> be a [[normed vector space]]. Then the [[Closed set|closed]] [[Ball (mathematics)|unit ball]] <math>B = \left\{ x \in X : \|x\| \leq 1 \right\}</math> of the dual space is [[Compact space|compact]] in the weak* topology.}}

सुसंहत हौसडॉर्फ रिक्त समष्टि के अनंत गुणनफलों के बारे में टायकोनॉफ़ के प्रमेय का उपयोग करके बानाच-अलाग्लु प्रमेय को सिद्ध किया जा सकता है। जब <math>X</math> वियोज्य है, इकाई <math>B^{\prime}</math> द्विक दुर्बल * सांस्थिति में [[मेट्रिजेबल स्पेस|दूरीकनीय समष्टि]] सुसंहत है।<ref name="DualBall">see Theorem&nbsp;2.6.23, p.&nbsp;231 in {{harvtxt|Megginson|1998}}.</ref>


==== द्विक समष्टि के उदाहरण ====

<math>c_0</math> का द्वि-द्वैत सममितीय रूप से <math>\ell^1</math> समाकृतिक है: प्रत्येक परिबद्ध रैखिक कार्यात्मक के लिए <math>f</math> पर <math>c_0,</math> अद्वितीय तत्व <math>y = \left\{ y_n \right\} \in \ell^1</math> है जैसे कि
<math display=block>f(x) = \sum_{n \in \N} x_n y_n, \qquad x = \{x_n\} \in c_0, \ \ \text{and} \ \ \|f\|_{(c_0)'} = \|y\|_{\ell_1}. </math>
<math>\ell^1</math> का द्वि-द्वैत सममितीय रूप से <math>\ell^{\infty}</math>समाकृतिक है लेबेस्ग्यू समष्टि <math>L^p([0, 1])</math> सममितीय रूप से <math>L^q([0, 1])</math> समाकृतिक है जब <math>1 \leq p < \infty</math> और <math>\frac{1}{p} + \frac{1}{q} = 1</math> प्रत्येक वेक्टर के लिए <math>y</math> एक हिल्बर्ट समष्टि में <math>H,</math> मानचित्रण
<math display=block>x \in H \to f_y(x) = \langle x, y \rangle</math>
<math>H</math> पर सतत <math>f_y</math> रैखिक कार्यात्मक परिभाषित करता है रिज़ प्रतिनिधित्व प्रमेय के अनुसार प्रत्येक निरंतर रैखिक कार्यात्मक पर <math>H</math> का स्वरूप <math>f_y</math> है। विशिष्ट रूप से परिभाषित वेक्टर के लिए <math>y</math> में <math>H</math> मानचित्रण <math>y \in H \to f_y</math> एक गैर-रैखिक मानचित्र सममितीय द्विअंत:क्षेपण है <math>H</math> इसके द्विक पर <math>H'.</math> जब अदिश वास्तविक होते हैं, तो यह मानचित्र एक सममितीय समाकृतिकता है।

जब <math>K</math> सुसंहत हॉउसडॉर्फ सांंस्थितिक समष्टि है, द्विक <math>M(K)</math> का <math>C(K)</math> बॉरबाकी के अर्थ में रेडॉन माप का समष्टि है।<ref>see N. Bourbaki, (2004), "Integration I", Springer Verlag, {{ISBN|3-540-41129-1}}.</ref> उपसमुच्चय <math>P(K)</math> का <math>M(K)</math> बड़ी संख्या 1 (संभाव्यता माप) के गैर-ऋणात्मक मापों से मिलकर इकाई का उत्तल w*-संवृत <math>M(K)</math> के [[चरम बिंदु|अधिकतम बिंदु]] <math>P(K)</math> डिराक माप <math>K</math> उपसमुच्चय है डिराक का समुच्चय <math>K,</math> w * - सांस्थिति से कम <math>K</math> समरूप है।

{{math theorem|name=[[Banach–Stone theorem|Banach–Stone Theorem]]|math_statement=If <math>K</math> and <math>L</math> are compact Hausdorff spaces and if <math>C(K)</math> and <math>C(L)</math> are isometrically isomorphic, then the topological spaces <math>K</math> and <math>L</math> are [[homeomorphic]].<ref name= Eilenberg /><ref>see also {{harvtxt|Banach|1932}}, p.&nbsp;170 for metrizable <math>K</math> and <math>L.</math></ref>}}

परिणाम को अमीर<ref>{{cite journal |first=Dan |last=Amir |title=निरंतर कार्य स्थान के समरूपता पर|journal=[[Israel Journal of Mathematics]] |volume=3 |year=1965 |issue=4 |pages=205–210 |doi=10.1007/bf03008398 |doi-access=free |s2cid=122294213 }}</ref> और कैम्बरन<ref>{{cite journal |first=M. |last=Cambern |title=A generalized Banach–Stone theorem |journal=Proc. Amer. Math. Soc. |volume=17 |year=1966 |issue=2 |pages=396–400 |doi=10.1090/s0002-9939-1966-0196471-9|doi-access=free}} And {{cite journal |first=M. |last=Cambern |title=On isomorphisms with small bound |journal=Proc. Amer. Math. Soc. |volume=18 |year=1967 |issue=6 |pages=1062–1066 |doi=10.1090/s0002-9939-1967-0217580-2|doi-access=free}}</ref> द्वारा स्थिति में विस्तारित किया गया है जब <math>C(K)</math> और <math>C(L)</math> के बीच गुणक बनच-मजूर की दूरी <math>< 2</math> प्रमेय है अब सत्य नहीं है जब दूरी <math> = 2</math><ref>{{cite journal |first=H. B. |last=Cohen |title=A bound-two isomorphism between <math>C(X)</math> Banach spaces |journal=Proc. Amer. Math. Soc. |volume=50 |year=1975 |pages=215–217 |doi=10.1090/s0002-9939-1975-0380379-5|doi-access=free }}</ref> है क्रमविनिमेय बानाख बीजगणित में <math>C(K),</math> में अधिक से अधिक मानक <math>K</math> पर डिराक मापों के परिशुद्ध रूप से कर्नेल हैं
<math display=block>I_x = \ker \delta_x = \{f \in C(K) : f(x) = 0\}, \quad x \in K.</math>
अधिक सामान्य रूप से, गेलफैंड-मजूर प्रमेय द्वारा, एकल क्रमविनिमेय बानाख बीजगणित के अधिकतम मानकों को इसके बानाख बीजगणित मानकों और पात्रों के साथ पहचाना जा सकता है - न केवल समुच्चय के रूप में बल्कि सांंस्थितिक रिक्त समष्टि के रूप में: [[हल-कर्नेल टोपोलॉजी|हल-कर्नेल सांस्थिति]] के साथ पूर्व और w*-सांस्थिति के साथ बाद वाला सम्मिलित है। इस सर्वसमिका में, अधिकतम मानक समष्टि को द्विक गोले में इकाई गोले के w*-सुसंहत उपसमुच्चय <math>A'</math> के रूप में देखा जा सकता है।

{{math theorem|math_statement= If <math>K</math> is a compact Hausdorff space, then the maximal ideal space <math>\Xi</math> of the Banach algebra <math>C(K)</math> is [[homeomorphic]] to <math>K.</math><ref name=Eilenberg>{{cite journal |last=Eilenberg |first=Samuel |title=Banach Space Methods in Topology |journal=[[Annals of Mathematics]] |date=1942 |volume=43 |issue=3 |pages=568–579 |doi=10.2307/1968812|jstor=1968812 }}</ref>}}

प्रत्येक इकाई क्रमविनिमेय बानाख बीजगणित <math>C(K)</math> का रूप नहीं है सुसंहत हौसडॉर्फ समष्टि के लिए <math>K</math> है। हालाँकि, यह <math>C(K)</math> कथन यदि एक समष्टि पर है क्रमविनिमेय C*-बीजगणित की छोटी श्रेणी में सम्मिलित है। [[गेलफैंड प्रतिनिधित्व]] क्रमविनिमेय C*-बीजगणित के लिए बताता है कि प्रत्येक क्रमविनिमेय इकाई C*-बीजगणित <math>A</math> सममितीय रूप से समाकृतिक <math>C(K)</math> समष्टि है।<ref>See for example {{cite book |first=W. |last=Arveson |year=1976 |title=An Invitation to C*-Algebra |publisher=Springer-Verlag |isbn=0-387-90176-0 }}</ref> हॉउसडॉर्फ सुसंहत समष्टि <math>K</math> यहाँ फिर से अधिकतम मानक समष्टि है, जिसे <math>A</math> के उदाहरण C*-बीजगणित संदर्भ में विस्तृत श्रेणी भी कहा जाता है।

==== द्वैत ====
{{See also|द्वैत, प्रतिवर्ती समष्टि और अर्ध-प्रतिवर्ती समष्टि }}

यदि <math>X</math> एक मानक समष्टि है, (निरंतर) दोहरा <math>X''</math> द्वि-द्वैत का <math>X'</math> कहा जाता है प्रत्येक सामान्य समष्टि के लिए <math>X,</math> एक प्राकृतिक मानचित्र है,
<math display="block>\begin{cases}
F_X : X \to X'' \\
F_X(x) (f) = f(x) & \text{ for all } x \in X, \text{ and for all } f \in X'
\end{cases}</math>
यह परिभाषित करता है कि <math>F_X(x)</math> एक सतत रैखिक कार्यात्मक के रूप में <math>X^{\prime}</math> है, का एक तत्व वो मानचित्र <math>F_X : x \to F_X(x)</math> से एक रेखीय मानचित्र <math>X</math> को <math>X^{\prime\prime}</math> बानाख समष्टि है द्विक समष्टि की स्थिति के परिणामस्वरूप <math>f</math> प्रत्येक के लिए <math>x \in X,</math> यह मानचित्र <math>F_X</math> सममितीय है, इस प्रकार [[इंजेक्शन|अंतःक्षेपक]] है।

उदाहरण के लिए, <math>X = c_0</math> की द्विक समष्टि और द्विक <math>\ell^1</math> से पहचाना जाता है परिबद्ध अदिश अनुक्रमों <math>\ell^{\infty},</math>का समष्टि है। इन सर्वसमिका के अंतर्गत <math>F_X</math> से <math>c_0</math> को <math>\ell^{\infty}</math> समावेशन मानचित्र है यह वास्तव में सममितीय है, लेकिन आच्छादक नहीं है।

यदि <math>F_X</math> आच्छादन है, तो मानक समष्टि <math>X</math> प्रतिवर्ती कहा जाता है (बानाख समष्टि प्रतिवर्ती देखें)। एक मानक समष्टि के द्विक होने के परिणाम स्वरूप, द्वि-द्वैत <math>X''</math> पूर्ण है, इसलिए, प्रत्येक प्रतिवर्ती मानक समष्टि एक बानाख समष्टि है।

<math>F_X</math> सममितीय अंत:स्थापन का उपयोग करना यह एक मानक समष्टि पर विचार करने के लिए अभ्यास है और   <math>X</math> के उप-समुच्चय के रूप में है। जब <math>X</math> एक बानाख समष्टि है, इसे <math>X^{\prime\prime}</math> एक संवृत रेखीय उप-समष्टि के रूप में देखा जाता है यदि <math>X</math> प्रतिवर्ती नहीं है, की इकाई गेंद <math>X</math> की इकाई गोले का एक उपयुक्त उपसमुच्चय <math>X^{\prime\prime}</math> है [[गोल्डस्टाइन प्रमेय]] में कहा गया है कि एक मानक समष्टि की इकाई गोले की इकाई गोले में दुर्बल*-सघन होती है। दूसरे शब्दों में, प्रत्येक <math>x''</math> के लिए द्वि-द्वैत में <math>\left(x_i\right)_{i \in I}</math> '''शून्य (गणित)''' सम्मिलित है <math>X</math> ताकि
<math display="block>\sup_{i \in I} \left\|x_i\right\| \leq \|x''\|, \ \ x''(f) = \lim_i f\left(x_i\right), \quad f \in X'.</math>
द्विक होने पर मूल्य को दुर्बल *-अभिसरण अनुक्रम द्वारा प्रतिस्थापित किया जा सकता है <math>X'</math> वियोज्य है। दूसरी ओर, <math>\ell^1</math> के तत्व जो अंदर नहीं हैं <math>\ell^1</math> दुर्बल नहीं हो सकता* - अनुक्रमों की सीमा <math>\ell^1,</math> तब से <math>\ell^1</math> बानाच समष्टि है अनुक्रम दुर्बल रूप से क्रमिक रूप से पूर्ण है।

=== बानाख के प्रमेय ===

यहां बनच समष्टि के बारे में मुख्य सामान्य परिणाम दिए गए हैं जो बनच की पुस्तक (बनच (1932)) के समय तक वापस जाते हैं और बेयर श्रेणी प्रमेय से संबंधित हैं। इस प्रमेय के अनुसार, एक पूर्ण मीट्रिक समष्टि (जैसे कि एक बानाच समष्टि, एक फ़्रेचेट समष्टि या एक एफ-समष्टि) रिक्त आंतरिक स्थिति के साथ चयन किए कई संवृत उपसमुच्चयों के समूह के बराबर नहीं हो सकता है। इसलिए, एक बनच समष्टि गणनीयत: के कई संवृत उप-समष्टि का समूह नहीं हो सकता है, जब तक कि यह पहले से ही उनमें से एक के बराबर न हो; एक गणनीय हामेल आधार वाला एक बनच समष्टि परिमित-आयामी है।

{{math theorem|name=[[Uniform boundedness principle|Banach–Steinhaus Theorem]]|math_statement=Let <math>X</math> be a Banach space and <math>Y</math> be a [[normed vector space]]. Suppose that <math>F</math> is a collection of continuous linear operators from <math>X</math> to <math>Y.</math> The uniform boundedness principle states that if for all <math>x</math> in <math>X</math> we have <math>\sup_{T \in F} \|T(x)\|_Y < \infty,</math> then <math>\sup_{T \in F} \|T\|_Y < \infty.</math>}}

बानाख-स्टाइनहॉस प्रमेय बानाख समष्टि तक सीमित नहीं है। इसे उदाहरण के लिए उस स्थिति में बढ़ाया जा सकता है जहां <math>X</math> एक फ्रेचेट समष्टि है, बशर्ते निष्कर्ष को निम्नानुसार संशोधित किया जाए: एक ही परिकल्पना के अंतर्गत, <math>U</math> का <math>\mathbf{0}</math> में <math>X</math> एक प्रतिवेश सम्मिलित है जैसे कि सभी <math>T</math> में <math>F</math> समान रूप से <math>U</math> से सीमित है।
<math display=block>\sup_{T \in F} \sup_{x \in U} \; \|T(x)\|_Y < \infty.</math>

{{math theorem|name=[[Open mapping theorem (functional analysis)|The Open Mapping Theorem]]|math_statement=Let <math>X</math> and <math>Y</math> be Banach spaces and <math>T : X \to Y</math> be a surjective continuous linear operator, then <math>T</math> is an open map.}}

{{math theorem|name=Corollary | math_statement = Every one-to-one bounded linear operator from a Banach space onto a Banach space is an isomorphism.}}

{{math theorem|name=The First Isomorphism Theorem for Banach spaces | math_statement= Suppose that <math>X</math> and <math>Y</math> are Banach spaces and that <math>T \in B(X, Y).</math> Suppose further that the range of <math>T</math> is closed in <math>Y.</math> Then <math>X / \ker T</math> is isomorphic to <math>T(X).</math>}}

यह परिणाम पूर्ववर्ती बानाख समरूपता प्रमेय और सीमित हुए रैखिक मानचित्रों के प्रामाणिक गुणनखंड का प्रत्यक्ष परिणाम है।

{{math theorem|name=Corollary|math_statement=If a Banach space <math>X</math> is the internal direct sum of closed subspaces <math>M_1, \ldots, M_n,</math> then <math>X</math> is isomorphic to <math>M_1 \oplus \cdots \oplus M_n.</math>}}

यह बानाच के समरूपता प्रमेय का एक और परिणाम है, जो <math>M_1 \oplus \cdots \oplus M_n</math> पर <math>X</math> के <math>m_1, \cdots, m_n</math> परिणाम के लिए <math>m_1 + \cdots + m_n</math> निरंतर आक्षेप पर प्रयुक्त होता है।

{{math theorem|name=[[Closed graph theorem|The Closed Graph Theorem]]|math_statement= Let <math>T : X \to Y</math> be a linear mapping between Banach spaces. The graph of <math>T</math> is closed in <math>X \times Y</math> if and only if <math>T</math> is continuous.}}

=== स्वतुल्यता ===
{{main|स्वतुल्यता समष्टि}}

मानक समष्टि <math>X</math> प्राकृतिक मानचित्र होने पर प्रतिवर्ती समष्टि कहा जाता है
<math display=block>\begin{cases} F_X : X \to X'' \\ F_X(x) (f) = f(x) & \text{ for all } x \in X, \text{ and for all } f \in X'\end{cases}</math>
विशेषण है। प्रतिवर्ती मानक समष्टि बानाख समष्टि हैं।

{{math theorem| math_statement = If <math>X</math> is a reflexive Banach space, every closed subspace of <math>X</math> and every quotient space of <math>X</math> are reflexive.}}

यह हैन-बनाक प्रमेय का परिणाम है। इसके अतिरिक्त, विवृत प्रतिचित्रण प्रमेय द्वारा, यदि बानाख समष्टि से एक परिबद्ध रैखिक संक्रिया है जो <math>X</math> बानाख समष्टि पर <math>Y,</math> तब <math>Y</math> प्रतिवर्त है।

{{math theorem| math_statement = If <math>X</math> is a Banach space, then <math>X</math> is reflexive if and only if <math>X^{\prime}</math> is reflexive.}}

{{math theorem|name=Corollary | math_statement = Let <math>X</math> be a reflexive Banach space. Then <math>X</math> is [[Separable space|separable]] if and only if <math>X^{\prime}</math> is separable.}}

वास्तव में, यदि द्विक <math>Y^{\prime}</math> एक बानाख समष्टि का <math>Y</math> वियोज्य है, तो <math>Y</math> वियोज्य है। यदि <math>X</math> प्रतिवर्त और वियोज्य है, फिर <math>X^{\prime}</math> का दोहरा वियोज्य है, इसलिए <math>X^{\prime}</math> वियोज्य है।

{{math theorem| math_statement = Suppose that <math>X_1, \ldots, X_n</math> are normed spaces and that <math>X = X_1 \oplus \cdots \oplus X_n.</math> Then <math>X</math> is reflexive if and only if each <math>X_j</math> is reflexive.}}

हिल्बर्ट समष्टि प्रतिवर्ती हैं। <math>L^p</math> h> समष्टि प्रतिवर्ती होते हैं जब <math>1 < p < \infty</math> अधिक सामान्य रूप से, मिलमैन-पेटिस प्रमेय द्वारा समान रूप से उत्तल रिक्त समष्टि प्रतिवर्ती होते हैं। रिक्त समष्टि <math>c_0, \ell^1, L^1([0, 1]), C([0, 1])</math> परावर्तक नहीं हैं। गैर-प्रतिवर्ती समष्टि <math>X</math> के इन उदाहरणों में <math>X,</math> और <math>X''</math> से बहुत बड़ा है अर्थात्, प्राकृतिक सममितीय अन्तः स्थापन के अंतर्गत <math>X</math> में <math>X''</math> हन-बानाख प्रमेय द्वारा दिया गया भागफल <math>X^{\prime\prime} / X</math> अनंत-आयामी है, और अविभाज्य भी है।हालाँकि, रॉबर्ट सी जेम्स ने एक उदाहरण का निर्माण किया है<ref>{{cite journal|author = R. C. James|title=एक नॉन-रिफ्लेक्सिव बैनच स्पेस आइसोमेट्रिक अपने दूसरे कंजुगेट स्पेस के साथ|journal=Proc. Natl. Acad. Sci. U.S.A.|volume=37|pages=174–177|year=1951|issue=3 | doi=10.1073/pnas.37.3.174 | pmc=1063327|pmid=16588998|bibcode=1951PNAS...37..174J |doi-access=free}}</ref> गैर-प्रतिवर्ती समष्टि, जिसे सामान्य रूप से जेम्स समष्टि कहा जाता है और इसके<math>J</math> द्वारा निरूपित किया जाता है।<ref>see {{harvtxt|Lindenstrauss|Tzafriri|1977}}, p.&nbsp;25.</ref> ऐसा भागफल <math>J^{\prime\prime} / J</math> आयामी है। इसके अतिरिक्त, यह समष्टि <math>J</math> सममितीय रूप से समाकृतिक है जो कि इसका द्वि-द्वैत है।

{{math theorem| math_statement = A Banach space <math>X</math> is reflexive if and only if its unit ball is [[Compact space|compact]] in the [[weak topology]].}}

जब <math>X</math> स्वतुल्य है, यह इस प्रकार है कि सभी संवृत और परिबद्ध उत्तल समुच्चय <math>X</math> दुर्बल रूप से संकुचित हैं। हिल्बर्ट समष्टि में <math>H,</math> इकाई गोले की दुर्बल सघनता का उपयोग प्रायः निम्नलिखित तरीके से किया जाता है: प्रत्येक सीमित क्रम में <math>H</math> दुर्बल रूप से अभिसारी परिणाम हैं।

इकाई गोले की दुर्बल सघनता कुछ [[अनंत-आयामी अनुकूलन]] के लिए प्रतिवर्ती समष्टि में समाधान खोजने के लिए उपकरण प्रदान करती है। उदाहरण के लिए, प्रत्येक उत्तल इकाई गोले <math>B</math> पर सतत फलन <math>B</math> मे प्रतिवर्ती समष्टि किसी बिंदु पर न्यूनतम हो जाता है 

पूर्ववर्ती परिणाम के एक विशेष स्थिति के रूप में, जब <math>X</math> एक प्रतिवर्ती समष्टि पर <math>\R</math> है प्रत्येक सतत रैखिक कार्यात्मक <math>f</math> में <math>X^{\prime}</math> , <math>\|f\|</math> इकाई गोले पर <math>X</math> अधिकतम प्राप्त करता है निम्नलिखित रॉबर्ट सी. जेम्स का प्रमेय विपरीत कथन प्रदान करता है

{{math theorem| name = James' Theorem | math_statement = For a Banach space the following two properties are equivalent:
* <math>X</math> is reflexive.
* for all <math>f</math> in <math>X^{\prime}</math> there exists <math>x \in X</math> with <math>\|x\| \leq 1,</math> so that <math>f(x) = \|f\|.</math>}}

प्रमेय को दुर्बल रूप से सघन उत्तल समुच्चय का विवरण देने के लिए बढ़ाया जा सकता है।

प्रत्येक गैर-प्रतिवर्ती बानाख समष्टि पर <math>X,</math> सतत रेखीय फलन सम्मिलित हैं जो मानक-प्राप्ति नहीं कर रहे हैं। हालांकि, [[ बिशप बचाओ |बिशप बचाओ]] -[[रॉबर्ट फेल्प्स]] प्रमेय<ref>{{cite journal|last1=bishop|first1=See E.|last2=Phelps|first2=R.|year=1961|title=एक सबूत है कि हर बनच स्पेस सबरेफ्लेक्सिव है|journal=Bull. Amer. Math. Soc.|volume=67|pages=97–98|doi=10.1090/s0002-9904-1961-10514-4|doi-access=free }}</ref> बताता है कि मानक-प्राप्त करने वाले कार्यात्मक <math>X^{\prime}</math> का <math>X</math> द्विक सघन मानक हैं।


=== अनुक्रमों के दुर्बल अभिसरण ===

क्रम <math>\left\{ x_n \right\}</math> बानाख समष्टि में <math>X</math> वेक्टर के लिए दुर्बल रूप से अभिसरण <math>x \in X</math> है यदि <math>\left\{ f\left(x_n\right) \right\}</math> में संयोजन हो जाता है <math>f(x)</math> प्रत्येक निरंतर रैखिक कार्यात्मक के लिए <math>f</math> द्विक में <math>X^{\prime}</math> क्रम <math>\left\{ x_n \right\}</math> दुर्बल कॉची अनुक्रम है यदि <math>\left\{ f\left(x_n\right) \right\}</math> अदिश सीमा में <math>L(f)</math> अभिसरण करता है प्रत्येक के लिए <math>f</math> में <math>X^{\prime}</math> क्रम <math>\left\{ f_n \right\}</math> द्विक में <math>X^{\prime}</math> दुर्बल रूप से कार्यात्मक के लिए अभिसरण <math>f \in X^{\prime}</math>है यदि <math>f_n(x)</math> में संयोजन हो जाता है <math>f(x)</math> प्रत्येक के लिए <math>x</math> में <math>X</math> समरूप बाउंडेडनेस सिद्धांत और बानाच-स्टाइनहॉस प्रमेय के परिणामस्वरूप दुर्बल कॉची अनुक्रम, दुर्बल रूप से अभिसरण और दुर्बल रूप से अभिसरण अनुक्रम मानक से परिबद्ध हैं।

जब क्रम <math>\left\{ x_n \right\}</math> में <math>X</math> एक दुर्बल कॉशी अनुक्रम है, सीमा <math>L</math> उपरोक्त द्विक पर एक बाध्य रैखिक <math>X^{\prime}</math> कार्यात्मक परिभाषित करता है तत्व <math>L</math> की द्वि-द्वैत का <math>X,</math> और <math>L</math> की सीमा है <math>\left\{ x_n \right\}</math> दुर्बल * में - द्वि-द्वैत की सांस्थिति बानाख समष्टि <math>X</math> दुर्बल रूप से क्रमिक रूप से पूर्ण होता है यदि प्रत्येक दुर्बल कॉची अनुक्रम में दुर्बल रूप से <math>X</math> अभिसरण होता है यह पूर्ववर्ती चर्चा से अनुसरण करता है कि प्रतिवर्ती समष्टि दुर्बल रूप से क्रमिक रूप से पूर्ण होते हैं।

{{math theorem| name = प्रमेय <ref>see III.C.14, p.&nbsp;140 in {{harvtxt|Wojtaszczyk|1991}}.</ref> | math_statement = प्रत्येक माप के लिए <math>\mu,</math> समष्टि <math>L^1(\mu)</math> दुर्बल रूप से क्रमिक रूप से पूर्ण है।}}

हिल्बर्ट समष्टि में एक प्रसामान्य लांबिक अनुक्रम एक दुर्बल रूप से अभिसरण अनुक्रम का एक सरल उदाहरण है, जिसकी सीमा <math>\mathbf{0}</math> वेक्टर के बराबर है। उदाहरण <math>\ell^p</math> के लिए <math>1 < p < \infty,</math> या का <math>c_0,</math> दुर्बल अशक्त अनुक्रम का एक और उदाहरण है, जो कि एक ऐसा क्रम है जो दुर्बल रूप से <math>\mathbf{0}</math> अभिसरण करता है बानाच समष्टि में प्रत्येक दुर्बल अशक्त अनुक्रम के लिए, दिए गए अनुक्रम से वैक्टरों के उत्तल संयोजनों का एक क्रम सम्मिलित है जो मानक-अभिसरण <math>\mathbf{0}</math> है। <ref>see Corollary&nbsp;2, p.&nbsp;11 in {{harvtxt|Diestel|1984}}.</ref>

इकाई वेक्टर आधार <math>\ell^1</math> दुर्बल कॉची नहीं है। दुर्बल कॉची क्रम में <math>\ell^1</math> दुर्बल रूप से अभिसरण हैं, चूंकि <math>L^1</math>-समष्टि दुर्बल रूप से क्रमिक रूप से पूर्ण हैं। वास्तव में, दुर्बल रूप से अभिसारी अनुक्रम <math>\ell^1</math> मानक अभिसरण हैं।<ref>see p.&nbsp;85 in {{harvtxt|Diestel|1984}}.</ref> इस का तात्पर्य है कि <math>\ell^1</math> शूर की गुण को पूरा करता है।

====<math>\ell^1</math> आधार से जुड़े परिणाम ====

दुर्बल कॉची अनुक्रम और <math>\ell^1</math> आधार H. P. रोसेन्थल के निम्नलिखित गहन परिणाम में स्थापित द्विभाजन के विपरीत स्थिति हैं।<ref>{{cite journal|last1=Rosenthal|first1=Haskell P|year=1974|title=A characterization of Banach spaces containing ℓ<sup>1</sup>|journal=Proc. Natl. Acad. Sci. U.S.A.|volume=71|issue=6| pages=2411–2413 | doi=10.1073/pnas.71.6.2411|pmid=16592162|pmc=388466|arxiv=math.FA/9210205|bibcode=1974PNAS...71.2411R|doi-access=free}} Rosenthal's proof is for real scalars. The complex version of the result is due to L. Dor, in {{cite journal| last1=Dor|first1=Leonard E|year=1975|title=On sequences spanning a complex ℓ<sup>1</sup> space|journal=Proc. Amer. Math. Soc. | volume=47|pages=515–516|doi=10.1090/s0002-9939-1975-0358308-x|doi-access=free}}</ref>

{{math theorem| name = प्रमेय<ref>see p.&nbsp;201 in {{harvtxt|Diestel|1984}}.</ref> | math_statement = मान लीजिए<math>\left\{x_n\right\}_{n \in \N}</math> बनच स्पेस में एक सीमित अनुक्रम हो। दोनों में से एक<math>\left\{ x_n \right\}_{n \in \N}</math> में दुर्बल कॉची या यह [[Schauder basis#Definitions|समकक्ष]] के मानक इकाई सदिश<math>\ell^1</math>आधार के समतुल्य परवर्ती को स्वीकार करता है}}

इस परिणाम का पूरक ओडेल और रोसेन्थल (1975) के कारण है।

{{math theorem| name = प्रमेय<ref>{{citation|last1=Odell|first1=Edward W.|last2=Rosenthal|first2=Haskell P.|title=A double-dual characterization of separable Banach spaces containing ℓ<sup>1</sup>|journal=[[Israel Journal of Mathematics]]|volume=20|year=1975|issue=3–4 |pages=375–384|doi=10.1007/bf02760341|doi-access=free|s2cid=122391702|url=http://dml.cz/bitstream/handle/10338.dmlcz/133414/CommentatMathUnivCarolRetro_50-2009-1_5.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://dml.cz/bitstream/handle/10338.dmlcz/133414/CommentatMathUnivCarolRetro_50-2009-1_5.pdf |archive-date=2022-10-09 |url-status=live}}.</ref> | math_statement = मान लीजिए <math>X</math> एक वियोज्य बानाख-समष्‍टि हो।निम्नलिखित समतुल्य हैं:
*समष्टि <math>X</math> में <math>\ell^1</math> संवृत उपसमष्टि समरूपी नहीं है 
*द्वि-द्वैत का प्रत्येक तत्व <math>X''</math> में अनुक्रम <math>\left\{x_n\right\}</math> की <math>X</math> दुर्बल*-सीमा है।}}

गोल्डस्टाइन प्रमेय द्वारा, इकाई गोले का प्रत्येक तत्व <math>B^{\prime\prime}</math> का <math>X^{\prime\prime}</math> दुर्बल है*-<math>X</math> की इकाई गोले में नेट की सीमा जब <math>X</math> सम्मिलित नहीं है तब <math>\ell^1</math> का प्रत्येक तत्व <math>B^{\prime\prime}</math> दुर्बल है* -<math>X</math> अनुक्रम की सीमा की इकाई गोले में सम्मिलित है।<ref>Odell and Rosenthal, Sublemma p.&nbsp;378 and Remark p.&nbsp;379.</ref>

जब बानाख समष्टि <math>X</math> वियोज्य है, द्विक की इकाई गोले <math>X^{\prime},</math> दुर्बल *-सांस्थिति से कम, एक दूरीकनीय सुसंहत <math>K</math> समष्टि है<ref name="DualBall" /> और प्रत्येक तत्व <math>x^{\prime\prime}</math> द्वि-द्वैत में <math>X^{\prime\prime}</math> परिबद्ध फलन <math>K</math> को परिभाषित करता है :
<math display="block">x' \in K \mapsto x''(x'), \quad \left |x''(x')\right| \leq \left \|x''\right \|.</math>
यह फलन सुसंहत सांस्थिति <math>K</math> के लिए निरंतर है यदि और केवल यदि <math>x^{\prime\prime}</math> वास्तव में है तब <math>X,</math> का उपसमुच्चय <math>X^{\prime\prime}</math> माना जाता है शेष पैराग्राफ<math>X</math> के लिए अतिरिक्त मान लें कि <math>\ell^1</math> सम्मिलित नहीं है ओडेल और रोसेन्थल के पूर्ववर्ती परिणाम से, फलन <math>x^{\prime\prime}</math> बिन्दुवार अभिसरण <math>K</math> है क्रम का <math>\left\{x_n\right\} \subseteq X</math> सतत फलनों पर <math>K,</math> इसलिए यह एक [[बाहरी समारोह|बाहरी फलन]] <math>K</math> है। द्वि-द्वैत की इकाई गोले <math>K</math> पहले बायर वर्ग का बिंदुवार सुसंहत उपसमुच्चय है।<ref>for more on pointwise compact subsets of the Baire class, see {{citation|last1=Bourgain|first1=Jean|author1-link=Jean Bourgain|last2=Fremlin|first2=D. H.|last3=Talagrand |first3=Michel|title=Pointwise Compact Sets of Baire-Measurable Functions|journal=Am. J. Math.|volume=100|year=1978|issue=4|pages=845–886|jstor=2373913|doi=10.2307/2373913}}.</ref>



==== अनुक्रम, दुर्बल और दुर्बल * सघनता ====

जब <math>X</math> वियोज्य है, द्विक की इकाई गोले दुर्बल है * - बानाख-अलाग्लु प्रमेय द्वारा सुसंहत और दुर्बल * सांस्थिति के लिए दूरीकनीय,<ref name="DualBall" /> इसलिए द्विक में प्रत्येक परिबद्ध क्रम में दुर्बल रूप से अभिसारी अनुक्रम होते हैं। यह वियोज्य प्रतिवर्ती रिक्त समष्टि पर प्रयुक्त होता है, लेकिन इस स्थिति में अधिक सत्य है, जैसा कि नीचे बताया गया है।

बानाख समष्टि की दुर्बल सांस्थिति <math>X</math> दूरीकनीय है यदि और केवल यदि <math>X</math> परिमित-आयामी है।<ref>see Proposition&nbsp;2.5.14, p.&nbsp;215 in {{harvtxt|Megginson|1998}}.</ref> यदि द्वि <math>X'</math> वियोज्य है, इकाई गोले की दुर्बल सांस्थिति <math>X</math> दूरीकनीय है। यह विशेष रूप से अलग करने योग्य प्रतिवर्ती बैनच रिक्त समष्टि पर प्रयुक्त होता है। हालांकि इकाई गोले की दुर्बल सांस्थिति सामान्य रूप से दूरीकनीय नहीं है, लेकिन अनुक्रमों का उपयोग करके दुर्बल सघनता को चिह्नित किया जा सकता है।

{{math theorem| name = [[एबरलीन-एसमुलियन प्रमेय]]<ref>see for example p.&nbsp;49, II.C.3 in {{harvtxt|Wojtaszczyk|1991}}.</ref> | math_statement = समुच्चय <math>A</math> बानाख-समष्‍टि में अपेक्षाकृत दुर्बल रूप से संहत है यदि और केवल यदि प्रत्येक क्रम<math>\left\{ a_n \right\}</math> में <math>A</math> दुर्बल रूप से अभिसरण अनुक्रम है।}}

बानाख समष्टि <math>X</math> प्रतिवर्ती है यदि और केवल यदि प्रत्येक बंधे अनुक्रम में <math>X</math> एक दुर्बल अभिसारी परिणाम है।<ref>see Corollary&nbsp;2.8.9, p.&nbsp;251 in {{harvtxt|Megginson|1998}}.</ref> दुर्बल सुसंहत उप-समुच्चय <math>A</math> में <math>\ell^1</math> मानक-सुसंहत है। विशेष रूप से, प्रत्येक क्रम में <math>A</math> एबरलीन-स्मुलियन द्वारा दुर्बल रूप से अभिसारी परिणाम हैं, जो <math>\ell^1</math> कि शूर गुण द्वारा मानक अभिसरण हैं।


== शाउडर प्रमेय के आधार पर ==
{{main|शाउडर आधार}}

बानाख क्षेत्र में एक शाउडर का आधार <math>X</math> एक क्रम है <math>\left\{ e_n \right\}_{n \geq 0}</math> वैक्टर में <math>X</math> गुण के साथ कि प्रत्येक वेक्टर के लिए <math>x \in X,</math> है विशिष्ट रूप से परिभाषित अदिश <math>\left\{ x_n \right\}_{n \geq 0}</math> इस पर निर्भर करते हुए <math>x,</math> जैसे कि
<math display=block>x = \sum_{n=0}^{\infty} x_n e_n, \quad \textit{i.e.,} \quad x = \lim_n P_n(x), \ P_n(x) := \sum_{k=0}^n x_k e_k.</math>
शाउडर आधार के साथ बैनच रिक्त समष्टि आवश्यक रूप से वियोज्य समष्टि हैं, क्योंकि तर्कसंगत गुणांक (कहते हैं) के साथ परिमित रैखिक संयोजनों का गणनीय समुच्चय घना है।

यह बानाच-स्टाइनहॉस प्रमेय से आता है जो कि रैखिक मानचित्रण <math>\left\{P_n\right\}</math> है समान रूप से कुछ स्थिरांक <math>C</math> से बंधे होते हैं मान लीजिए <math>\left\{ e_n^* \right\}</math> उन समन्वय फलनों को निरूपित करें जो <math>x</math> में <math>X</math> समन्वय <math>x_n</math> का <math>x</math> उपरोक्त विस्तार में प्रत्येक को निर्धारित करते हैं। उन्हें द्विलांबिक फलन कहा जाता है। जब <math>1</math> आधार वैक्टर का मानक होता है तब <math>\left\{e_n^*\right\}</math> मानक <math>\,\leq 2 C</math> के द्विक में <math>X</math> समन्वय फलन करता है।

अधिकांश उत्कृष्ट वियोज्य समष्टि में स्पष्ट आधार होते हैं। [[ उसकी तरंगिका |हार प्रणाली]] <math>\left\{ h_n \right\}</math> का आधार <math>L^p([0, 1]), 1 \leq p < \infty</math> के लिए है त्रिकोणमितीय प्रणाली एक आधार <math>L^p(\mathbf{T})</math> जब <math>1 < p < \infty</math> है। इकाई अंतराल और संबंधित प्रणालियों पर स्कॉडर प्रणाली समष्टि में एक आधार <math>C([0, 1])</math> है।<ref>see {{harvtxt|Lindenstrauss|Tzafriri|1977}} p.&nbsp;3.</ref> सवाल है कि क्या डिस्क बीजगणित <math>A(\mathbf{D})</math> का एक आधार है।<ref>the question appears p.&nbsp;238, §3 in Banach's book, {{harvtxt|Banach|1932}}.</ref> चालीस से अधिक वर्षों तक खुला रहा, जब तक कि जब तक कि बोकारेव ने 1974 में दिखाया कि <math>A(\mathbf{D})</math> फ्रैंकलिन प्रणाली से निर्मित एक आधार को स्वीकार करता है।<ref>see S. V. Bočkarev, "Existence of a basis in the space of functions analytic in the disc, and some properties of Franklin's system". (Russian) Mat. Sb. (N.S.) 95(137) (1974), 3–18, 159.</ref>

चूंकि प्रत्येक वेक्टर <math>x</math> बानाख समष्टि में <math>X</math> आधार के साथ की सीमा <math>P_n(x)</math> साथ <math>P_n</math> है, परिमित श्रेणी और समान रूप से परिबद्ध समष्टि <math>X</math> [[सन्निकटन संपत्ति|सन्निकटन गुण]] को संतुष्ट करता है। सन्निकटन गुण को विफल करने वाले समष्टि के [[प्रति एंफ्लो]] द्वारा पहला उदाहरण एक ही समय में अलग करने योग्य बनच समष्टि का पहला उदाहरण था, जो कि शाउडर आधार के बिना था।<ref>see {{cite journal|last1=Enflo|first1=P.|year=1973|title=A counterexample to the approximation property in Banach spaces|journal=Acta Math.|volume=130|pages=309–317| doi=10.1007/bf02392270| s2cid=120530273 | doi-access=free}}</ref>

रॉबर्ट सी. जेम्स ने बैनाच समष्टि में एक आधार के साथ स्वतुल्यता की विशेषता बताई: समष्टि <math>X</math> एक शाउडर आधार के साथ प्रतिवर्ती है यदि और केवल यदि आधार शाउडर आधार और द्वि-द्वैत दोनों है।<ref>see R.C. James, "Bases and reflexivity of Banach spaces". Ann. of Math. (2) 52, (1950). 518–527. See also {{harvtxt|Lindenstrauss|Tzafriri|1977}} p.&nbsp;9.</ref> इस स्थिति में, द्विलांबिक कार्यात्मकता द्विक <math>X</math> के आधार का निर्माण करती है। 



== टेंसर गुणनफल ==
{{main|टेन्सर गुणनफल और सांंस्थितिक टेंसर गुणनफल}}
[[File:Tensor-diagramB.jpg|thumb]]मान लीजिए <math>X</math> और <math>Y</math> दो <math>\mathbb{K}</math>-वेक्टर रिक्त समष्टि हो। [[टेंसर उत्पाद|टेंसर गुणनफल]] <math>X \otimes Y</math> का <math>X</math> और <math>Y</math> एक है <math>\mathbb{K}</math>-सदिश क्षेत्र <math>Z</math> द्वि-रैखिक प्रतिचित्रण के साथ <math>T : X \times Y \to Z</math> जिसके पास निम्नलिखित [[सार्वभौमिक संपत्ति|सार्वभौमिक गुण]] है:

:यदि <math>T_1 : X \times Y \to Z_1</math> क्या कोई द्वि-रैखिक प्रतिचित्रण A में है <math>\mathbb{K}</math>-सदिश क्षेत्र <math>Z_1,</math> तो वहाँ एक अद्वितीय रेखीय मानचित्रण <math>f : Z \to Z_1</math> सम्मिलित है जैसे कि <math>T_1 = f \circ T.</math>
नीचे की छवि <math>T</math> युग्म का <math>(x, y)</math> में <math>X \times Y</math> द्वारा <math>x \otimes y</math> निरूपित किया जाता है और एक साधारण टेन्सर कहा जाता है। प्रत्येक तत्व <math>z</math> में <math>X \otimes Y</math> ऐसे सरल टेंसरों का परिमित योग है।

1955 में ए. ग्रोथेंडिक द्वारा प्रस्तुत किए गए प्रक्षेपीय गुणन-मानक और अंतःक्षेपक गुणन-मानक के बीच, अंतर्निहित वेक्टर स्पेस के टेंसर गुणनफल पर कई मानदंड रखे जा सकते हैं।<ref>see A. Grothendieck, "Produits tensoriels topologiques et espaces nucléaires". Mem. Amer. Math. Soc. 1955 (1955), no. 16, 140 pp., and A. Grothendieck, "Résumé de la théorie métrique des produits tensoriels topologiques". Bol. Soc. Mat. São Paulo 8 1953 1–79.</ref>

सामान्य रूप से, पूर्ण रिक्त समष्टि का टेन्सर गुणनफल फिर से पूर्ण नहीं होता है। बानाख रिक्त समष्टि के साथ काम करते समय, यह कहने की प्रथागत है कि प्रक्षेपी टेंसर गुणनफल<ref>see chap.&nbsp;2, p.&nbsp;15 in {{harvtxt|Ryan|2002}}.</ref> दो बानाख समष्टि में से <math>X</math> और <math>Y</math> पूर्णता <math>X \widehat{\otimes}_\pi Y</math> बीजगणितीय टेंसर गुणनफल का <math>X \otimes Y</math> प्रक्षेपीय टेंसर मानक से कम है, और इसी तरह अंतःक्षेपक टेंसर गुणनफल के लिए<ref>see chap.&nbsp;3, p.&nbsp;45 in {{harvtxt|Ryan|2002}}.</ref> <math>X \widehat{\otimes}_\varepsilon Y</math> ग्रोथेंडिक ने विशेष रूप से प्रमाणित किया<ref>see Example.&nbsp;2.19, p.&nbsp;29, and pp.&nbsp;49–50 in {{harvtxt|Ryan|2002}}.</ref>

<math display="block">\begin{align}
C(K) \widehat{\otimes}_\varepsilon Y &\simeq C(K, Y), \\
L^1([0, 1]) \widehat{\otimes}_\pi Y &\simeq L^1([0, 1], Y),
\end{align}</math>
जहाँ <math>K</math> सुसंहत हौसडॉर्फ समष्टि <math>C(K, Y)</math> से सतत फलनों की बानाख समष्टि <math>K</math> को <math>Y</math> और <math>L^1([0, 1], Y)</math> बोचनर-मापने योग्य और पूर्णांक फलनों का समष्टि <math>[0, 1]</math> को <math>Y,</math> और जहां समरूपताएं सममितीय हैं। उपरोक्त दो समाकृतिकता टेंसर भेजने वाले मानचित्र <math>f \otimes y</math> के संबंधित विस्तार हैं और वेक्टर-मान फलन के लिए <math>s \in K \to f(s) y \in Y</math> है।



=== टेंसर गुणनफल और सन्निकटन गुण ===

मान लीजिए <math>X</math> बानाख समष्टि है। टेंसर गुणनफल <math>X' \widehat \otimes_\varepsilon X</math> में संवृत होने के साथ सममितीय रूप से पहचाना जाता है और <math>B(X)</math> परिमित क्रम संक्रिया के समुच्चय का समरूप है। जब <math>X</math> सन्निकटन गुण है, यह संवरक [[कॉम्पैक्ट ऑपरेटर|सुसंहत]] संक्रिया के समष्टि के साथ <math>X</math> समरूप है प्रत्येक बानाख समष्टि के लिए <math>Y,</math> एक प्राकृतिक <math>1</math> रैखिक मानचित्र मानक है
<math display=block>Y \widehat\otimes_\pi X \to Y \widehat\otimes_\varepsilon X</math>
बीजगणितीय टेन्सर गुणनफल के सर्वसमिका मानचित्र को विस्तारित करके प्राप्त किया गया। ग्रोथेंडिक ने सन्निकटन गुण को इस सवाल से संबंधित किया कि क्या यह मानचित्र एक-से-एक जब <math>Y</math> का द्वि-द्वैत <math>X</math> है। परिशुद्ध रूप से, प्रत्येक बानाख समष्टि के लिए <math>X,</math> वो मानचित्र
<math display=block>X' \widehat \otimes_\pi X \ \longrightarrow X' \widehat \otimes_\varepsilon X</math>
एक-से-एक है यदि और केवल यदि <math>X</math> सन्निकटन गुण है।<ref>see Proposition&nbsp;4.6, p.&nbsp;74 in {{harvtxt|Ryan|2002}}.</ref>

ग्रोथेंडिक ने अनुमान लगाया था कि <math>X \widehat{\otimes}_\pi Y</math> और <math>X \widehat{\otimes}_\varepsilon Y</math> जब भी अलग होना चाहिए तब <math>X</math> और <math>Y</math> अनंत-आयामी बानाख समष्टि हैं। यह 1983 में [[गाइल्स पिसिएर]] द्वारा अस्वीकृत किया गया था।<ref>see Pisier, Gilles (1983), "Counterexamples to a conjecture of Grothendieck", Acta Math. '''151''':181–208.</ref> पिसिएर ने एक अनंत-आयामी बानाख समष्टि <math>X</math> का निर्माण किया। जैसे कि <math>X \widehat{\otimes}_\pi X</math> और <math>X \widehat{\otimes}_\varepsilon X</math> बराबर हैं। इसके अतिरिक्त, एंफ्लो के उदाहरण के रूप में, यह समष्टि <math>X</math> एक हाथ से बनाया गया समष्टि है जो सन्निकटन गुण रखने में विफल रहता है। दूसरी ओर, सज़ांकोव्स्की ने सिद्ध किया कि उत्कृष्ट समष्टि <math>B\left(\ell^2\right)</math> सन्निकटन गुण नहीं है।<ref>see Szankowski, Andrzej (1981), "<math>B(H)</math> does not have the approximation property", Acta Math. '''147''': 89–108. Ryan claims that this result is due to [[Per Enflo]], p.&nbsp;74 in {{harvtxt|Ryan|2002}}.</ref>



== कुछ वर्गीकरण परिणाम ==

=== बानाच समष्टि के बीच हिल्बर्ट समष्टि की विशेषताएं ===

बानाख समष्टि के मानक के लिए एक आवश्यक और पर्याप्त शर्त <math>X</math> एक आंतरिक गुणनफल से जुड़ा होना [[समांतर चतुर्भुज पहचान|समांतर चतुर्भुज सर्वसमिका]] है:

{{math theorem| name = Parallelogram identity | math_statement = for all <math>x, y \in X : \qquad \|x+y\|^2 + \|x-y\|^2 = 2 \left(\|x\|^2 + \|y\|^2\right).</math>}}

यह इस प्रकार है, उदाहरण के लिए, कि Lp समष्टि <math>L^p([0, 1])</math> हिल्बर्ट समष्टि तभी है जब <math>p = 2</math> यदि यह सर्वसमिका पूर्ण होती है, तो संबंधित आंतरिक गुणनफल [[ध्रुवीकरण पहचान|ध्रुवीकरण सर्वसमिका]] द्वारा दिया जाता है। वास्तविक अदिशों के स्थिति में, यह देता है:
<math display=block>\langle x, y\rangle = \tfrac{1}{4} \left(\|x+y\|^2 - \|x-y\|^2 \right).</math>
जटिल सदिश के लिए, आंतरिक गुणनफल समष्टि को परिभाषित करना ताकि हो सके <math>\Complex</math>-रैखिक में <math>x,</math> गैर-रैखिक मानचित्र में <math>y,</math> ध्रुवीकरण सर्वसमिका देता है:
<math display=block>\langle x,y\rangle = \tfrac{1}{4} \left(\|x+y\|^2 - \|x-y\|^2 + i \left(\|x+iy\|^2 - \|x-iy\|^2\right)\right).</math>
यह देखने के लिए कि समांतर चतुर्भुज नियम पर्याप्त है, कोई वास्तविक स्थिति में देखता है कि <math>\langle x, y \rangle</math> सममित है, और जटिल स्थिति में, कि यह [[हर्मिटियन समरूपता]] गुण को पूर्ण करता है और <math>\langle i x, y \rangle = i \langle x, y \rangle</math> समांतर चतुर्भुज नियम का तात्पर्य <math>\langle x, y \rangle</math> में योगात्मक <math>x</math> है। यह इस प्रकार है कि यह परिमेय पर रैखिक है, इस प्रकार निरंतरता से रैखिक है।

हिल्बर्ट रिक्त समष्टि के लिए समाकृतिकता (सममितीय के अतिरिक्त) रिक्त समष्टि के कई लक्षण उपलब्ध हैं। समांतर चतुर्भुज नियम को दो से अधिक वेक्टरों तक बढ़ाया जा सकता है, और एक स्थिर <math>c \geq 1</math> के साथ दो तरफा असमानता के प्रारंभ से दुर्बल हो सकता है: क्वापियन ने प्रमाणित कर दिया कि यदि
<math display=block>c^{-2} \sum_{k=1}^n \left\|x_k\right\|^2 \leq \operatorname{Ave}_{\pm} \left\|\sum_{k=1}^n \pm x_k\right\|^2 \leq c^2 \sum_{k=1}^n \left\|x_k\right\|^2</math>
प्रत्येक पूर्णांक के लिए <math>n</math> और वैक्टर के सभी वर्ग<math>\left\{ x_1, \ldots, x_n \right\} \subseteq X,</math> फिर बानाख समष्टि <math>X</math> हिल्बर्ट समष्टि के लिए समाकृतिकता है।<ref>see Kwapień, S. (1970), "A linear topological characterization of inner-product spaces", Studia Math. '''38''':277–278.</ref> यहाँ, <math>\operatorname{Ave}_{\pm}</math> से अधिक औसत दर्शाता <math>2^n</math> संकेतों के संभावित विकल्प <math>\pm 1</math> है उसी लेख में, क्वापियन ने प्रमाणित किया कि फूरियर रूपांतरण के लिए बैनच-मान पारसेवल के प्रमेय की वैधता बानाख समष्टि समाकृतिकता को हिल्बर्ट समष्टि की विशेषता बताती है।

लिंडेनस्ट्रॉस और ज़फ़रीरी ने प्रमाणित किया कि एक बानाख समष्टि जिसमें प्रत्येक संवृत रैखिक उप-समष्टि पूरक है (अर्थात, एक परिबद्ध रैखिक प्रक्षेपण की सीमा है) एक हिल्बर्ट समष्टि के लिए समाकृतिकता है।<ref>{{cite journal
|last1=Lindenstrauss|first1=Joram
|last2=Tzafriri|first2=Lior
|year=1971
|title=On the complemented subspaces problem
|journal=[[Israel Journal of Mathematics]]
|volume=9
|issue=2
|pages=263–269
|doi=10.1007/BF02771592 | doi-access=free}}</ref> प्रमाण उच्च-आयामी केंद्रीय सममित उत्तल पिंडों के यूक्लिडियन वर्गों के बारे में ड्वोरेट्स्की के प्रमेय पर आधारित है। दूसरे शब्दों में, ड्वोरेट्स्की के प्रमेय में कहा गया है कि प्रत्येक पूर्णांक के लिए <math>n,</math> किसी भी परिमित-आयामी मानक समष्टि की तुलना में पर्याप्त रूप से बड़े आयाम के साथ <math>n,</math> से लगभग सममितीय उपसमष्टि <math>n</math>-आयामी यूक्लिडियन समष्टि समाहित करता है।

अगला परिणाम तथाकथित सजातीय समष्टि समस्या का समाधान देता है। अनंत-आयामी बानाख समष्टि <math>X</math> सजातीय कहा जाता है यदि यह अपने सभी अनंत-आयामी संवृत उप-समष्टि के लिए समाकृतिकता है। एक बैनच समष्टि समाकृतिकता से <math>\ell^2</math> सजातीय है, और बनच ने इसके विपरीत के लिए कहा है।<ref>see p.&nbsp;245 in {{harvtxt|Banach|1932}}. The homogeneity property is called "propriété&nbsp;(15)" there. Banach writes: "on ne connaît aucun exemple d'espace à une infinité de dimensions qui, sans être isomorphe avec <math>(L^2).</math> possède la propriété&nbsp;(15)".</ref>

{{math theorem| name = प्रमेय<ref name="Gowers">Gowers, W. T. (1996), "A new dichotomy for Banach spaces", Geom. Funct. Anal. '''6''':1083–1093.</ref> | math_statement = एक बैनच समष्टि अपने सभी अनंत-आयामी संवृत उप-समष्टि के लिए समरूपी  वियोज्य हिल्बर्ट समष्टि के लिए समरूपी है।}}

अनंत-आयामी बैनच समष्टि आनुवंशिक रूप से अपघटनीय है, जब इसका कोई उपस्थान दो अनंत-आयामी बैनच रिक्त समष्टि के प्रत्यक्ष योग के लिए समरूप नहीं हो सकता है। [[टिमोथी गोवर्स]] द्विभाजन प्रमेय<ref name="Gowers" />दावा करता है कि प्रत्येक अनंत-आयामी बानाख समष्टि <math>X</math> सम्मिलित है, या तो एक उप-समष्टि <math>Y</math> शाउडरआधार के साथ बिना शर्त, या वंशानुगत रूप से अविभाज्य उप-समष्टि <math>Z,</math> विशेष तरीके से, <math>Z</math> अपने संवृत अधिसमतल के लिए समाकृतिकता नहीं है।<ref>see {{cite journal|last1=Gowers|first1=W. T.|year=1994|title=A solution to Banach's hyperplane problem|journal=Bull. London Math. Soc.|volume=26|issue=6|pages=523–530|doi=10.1112/blms/26.6.523}}</ref> यदि <math>X</math> सजातीय है, इसलिए इसका बिना शर्त आधार होना चाहिए। इसके बाद कोमोरोव्स्की और निकोल टोम्ज़ाक-जेगेर्मन द्वारा प्राप्त आंशिक समाधान से अनुसरण किया जाता है।<ref>see {{cite journal|last1=Komorowski|first1=Ryszard A.|last2=Tomczak-Jaegermann|first2=Nicole|year=1995|title=Banach spaces without local unconditional structure|journal=[[Israel Journal of Mathematics]]|volume=89|issue=1–3|pages=205–226|arxiv=math/9306211|doi=10.1007/bf02808201|doi-access=free|s2cid=5220304}} and also {{cite journal|last1=Komorowski|first1=Ryszard A.|last2=Tomczak-Jaegermann|first2=Nicole|year=1998|title=Erratum to: Banach spaces without local unconditional structure|journal=[[Israel Journal of Mathematics]]|volume=105|pages=85–92|arxiv=math/9607205|doi=10.1007/bf02780323|doi-access=free|s2cid=18565676}}</ref> जब <math>X</math> के लिए <math>\ell^2</math> समाकृतिकता है।


=== मीट्रिक वर्गीकरण ===

यदि <math>T : X \to Y</math> बानाख समष्टि से एक सममितीय है <math>X</math> बानाख समष्टि पर <math>Y</math> (जहां दोनों <math>X</math> और <math>Y</math> सदिश समष्टि <math>\R</math> समाप्त हो गए हैं ), तो मजूर-उलम प्रमेय कहता है कि <math>T</math> एक एफीन परिवर्तन होना चाहिए। विशेष रूप से, यदि <math>T(0_X) = 0_Y,</math> यह है <math>T</math> के शून्य को मानचित्र करता है <math>X</math> के शून्य तक <math>Y,</math> तब <math>T</math> रैखिक होना चाहिए। इस परिणाम का अर्थ है कि बानाख रिक्त समष्टि में मीट्रिक, और अधिक सामान्य रूप से मानक समष्टि में, उनकी रैखिक संरचना को पूरी तरह से प्रग्रहण करता है।

=== सांस्थितिक वर्गीकरण ===

परिमित आयामी बानाख रिक्त समष्टि स्थलीय रिक्त समष्टि के रूप में होमोमॉर्फिक हैं, यदि और केवल यदि उनके पास वास्तविक वेक्टर रिक्त समष्टि के समान आयाम हैं।

एंडरसन-केडेक प्रमेय (1965-66) प्रमाणित करता है<ref>{{cite book|author=C. Bessaga, A. Pełczyński|title=अनंत-आयामी टोपोलॉजी में चयनित विषय|url=https://books.google.com/books?id=7n9sAAAAMAAJ|year=1975|publisher=Panstwowe wyd. naukowe|pages=177–230}}</ref> कि कोई भी दो अनंत-आयामी वियोज्य समष्टि बानाख रिक्त समष्टि सामयिक समष्टि के रूप में होमियोमॉर्फिक हैं। कैडेक के प्रमेय को टोरुनज़िक द्वारा बढ़ाया गया था, जो प्रमाणित हुआ<ref>{{cite book|author=H. Torunczyk|title=हिल्बर्ट स्पेस टोपोलॉजी की विशेषता|year=1981|publisher=Fundamenta MAthematicae|pages=247–262}}</ref> कि कोई भी दो बानाख समष्टि होमोमॉर्फिक हैं यदि और केवल यदि उनके पास समान समुच्चय-सैद्धांतिक सांस्थिति प्रमुख फलन हैं, तो सघन उपसमुच्चय की न्यूनतम मूलता होती है।

=== सतत फलनों के समष्टि ===

जब दो सुसंहत हॉउसडॉर्फ रिक्त समष्टि <math>K_1</math> और <math>K_2</math> होमोमोर्फिज्म हैं, बानाख समष्टि <math>C\left(K_1\right)</math> और <math>C\left(K_2\right)</math> सममितीय हैं। इसके विपरीत जब <math>K_1</math> के लिए होमियोमॉर्फिक नहीं है <math>K_2,</math> (गुणक) बानाख-मजूर के बीच की दूरी <math>C\left(K_1\right)</math> और <math>C\left(K_2\right)</math> से अधिक या <math>2</math> बराबर होना चाहिए अमीर और कैम्बरन द्वारा ऊपर दिए गए परिणाम देखें। यद्यपि अनंत सुसंहत मीट्रिक रिक्त समष्टि में अलग-अलग होमियोमॉर्फी प्रकार हो सकते हैं, मिलुटिन के कारण निम्नलिखित परिणाम होते हैं:<ref>Milyutin, Alekseĭ A. (1966), "Isomorphism of the spaces of continuous functions over compact sets of the cardinality of the continuum". (Russian) Teor. Funkciĭ Funkcional. Anal. i Priložen. Vyp. '''2''':150–156.</ref>

{{math theorem| name = प्रमेय<ref>Milutin. See also Rosenthal, Haskell P., "The Banach spaces C(K)" in Handbook of the geometry of Banach spaces, Vol. 2, 1547–1602, North-Holland, Amsterdam, 2003.</ref> | math_statement =मान लीजिए <math>K</math> अनंत संहत मीट्रिक समष्टि हो तब  <math>C(K)</math> के लिए तुल्याकारी   <math>C([0, 1])</math> है।}}

गणनीय समुच्चय सुसंहत हौसडॉर्फ समष्टि के लिए स्थिति अलग है। प्रत्येक गणनीयत: अनंत सुसंहत <math>K</math> क्रमिक संख्याओं के कुछ संवृत अंतराल के लिए होमोमोर्फिक है
<math display=block>\langle 1, \alpha \rangle = \{ \gamma \ :\ 1 \leq \gamma \leq \alpha\}</math>
[[ आदेश टोपोलॉजी | क्रम सांस्थिति]] से लैस है, जहां <math>\alpha</math> एक गणनीय अनंत क्रमसूचक है।<ref>One can take {{math|1=''α'' = ''ω''{{i sup|''βn''}}}}, where <math>\beta + 1</math> is the [[Derived set (mathematics)#Cantor–Bendixson rank|Cantor–Bendixson rank]] of <math>K,</math> and <math>n > 0</math> is the finite number of points in the <math>\beta</math>-th [[Derived set (mathematics)|derived set]] <math>K(\beta)</math> of <math>K.</math> See [[Stefan Mazurkiewicz|Mazurkiewicz, Stefan]]; [[Wacław Sierpiński|Sierpiński, Wacław]] (1920), "Contribution à la topologie des ensembles dénombrables", Fundamenta Mathematicae 1: 17–27.</ref> बानाख समष्टि <math>C(K)</math> तो {{math|''C''(⟨1, ''α''⟩)}} सममितीय है जब <math>\alpha, \beta</math> दो अनगिनत अनंत क्रमसूचक हैं, और मानते हैं कि <math>\alpha \leq \beta,</math> रिक्त समष्टि {{math|''C''(⟨1, ''α''⟩)}} और {{math|''C''(⟨1, ''β''⟩)}} समाकृतिकता हैं यदि और केवल यदि {{math|''β'' < ''α<sup>ω</sup>''}}<ref>Bessaga, Czesław; Pełczyński, Aleksander (1960), "Spaces of continuous functions. IV. On isomorphical classification of spaces of continuous functions", Studia Math. '''19''':53–62.</ref> समष्टि है। उदाहरण के लिए, बानाख रिक्त समष्टि
<math display=block>C(\langle 1, \omega\rangle), \ C(\langle 1, \omega^{\omega} \rangle), \ C(\langle 1, \omega^{\omega^2}\rangle), \ C(\langle 1, \omega^{\omega^3} \rangle), \cdots, C(\langle 1, \omega^{\omega^\omega} \rangle), \cdots</math>
परस्पर गैर-समरूपी हैं।

== उदाहरण ==

{{main|बनच समष्टि की सूची}}
नीचे दी गई तालिका के लिए प्रतीकों की शब्दावली:{{ListOfBanachSpaces}}









== डेरिवेटिव्स ==







अवकलज की कई अवधारणाओं को बानाच समष्टि पर परिभाषित किया जा सकता है। विवरण के लिए फ्रेचेट अवकलज और [[ व्युत्पन्न केक |गेटॉक्स अवकलज]] पर लेख देखें। फ़्रेचेट अवकलज बानाख समष्टि के [[कुल व्युत्पन्न|कुल अवकलज]] की अवधारणा के विस्तार के लिए स्वीकृति देता है। गेटॉक्स अवकलज [[स्थानीय रूप से उत्तल]] सांंस्थितिक वेक्टर रिक्त समष्टि के लिए एक [[दिशात्मक व्युत्पन्न|दिशात्मक अवकलज]] के विस्तार की स्वीकृति देता है। गैटॉक्स अवकलन की तुलना में फ्रेचेट अवकलन एक प्रबल स्थिति है। [[अर्ध-व्युत्पन्न|अर्ध-अवकलज]] दिशात्मक व्युत्पत्ति का एक और सामान्यीकरण है जो गेटॉक्स विभेदीकरण की तुलना में एक प्रबल स्थिति का तात्पर्य है, लेकिन फ्रेचेट अवकलन की तुलना में दुर्बल स्थिति है।

== सामान्यीकरण ==

कार्यात्मक विश्लेषण में कई महत्वपूर्ण समष्टि, उदाहरण के लिए सभी अधिकतम रूप से अलग-अलग फलनों का समष्टि <math>\R \to \R,</math> या सभी [[वितरण (गणित)]] का समष्टि <math>\R,</math> पूर्ण हैं लेकिन मानक सदिश समष्टि नहीं हैं और इसलिए बानाख समष्टि नहीं हैं। फ्रेचेट समष्टि में अभी भी एक पूर्ण मेट्रिक समष्टि है, जबकि [[ वामो-अंतरिक्ष |वामो-समष्टि]] पूर्ण एकसमान समष्टि वेक्टर समष्टि हैं जो फ्रेचेट समष्टि की सीमा के रूप में उत्पन्न होते हैं।

== यह भी देखें ==

* [[समष्टि (गणित) –]] कुछ अतिरिक्त संरचना के साथ गणितीय समुच्चय
** [[फ्रेचेट समष्टि -]] स्थानीय रूप से उत्तल सांंस्थितिक वेक्टर समष्टि जो कि एक पूर्ण मीट्रिक समष्टि भी है
** [[हार्डी समष्टि]] - जटिल विश्लेषण के अंदर अवधारणा
** [[हिल्बर्ट सम|हिल्बर्ट]] [[हार्डी समष्टि|समष्टि]] - सांंस्थितिक वेक्टर समष्टि का प्रकार
** {{annotated link|L-अर्द्ध-आंतरिक उत्पाद - }}आंतरिक गुणनफलों का सामान्यीकरण जो सभी मानक समष्टि पर प्रयुक्त होता है
** {{annotated link|Lp समष्टि|<math>L^p</math> समष्टि}}-परिमित-आयामी p मानक समष्टि को सामान्य बनाने वाले फलन समष्टि
** [[हार्डी समष्टि|सोबोलेव समष्टि]] - गणित में फलन का वेक्टर समष्टि
** बनच लैटिस - लैटिस की संगत संरचना के साथ बनच समष्टि
* बानाच डिस्क
* {{annotated link|बानाच बहुरूपता-}}बनच समष्टि पर कई गुना मॉडलिंग
** बनच बंडल - वेक्टर बंडल जिसके तन्तु बनच समष्टि बनाते हैं
* विरूपण समस्या
* प्रक्षेप समष्टि
* स्थानीय रूप से उत्तल सांंस्थितिक वेक्टर समष्टि - उत्तल विवृत समुच्चय द्वारा परिभाषित सांंस्थिति के साथ एक वेक्टर समष्टि
* उत्तलता का मापांक और विशेषता
* स्मिथ समष्टि - एक सार्वभौमिक सुसंहत समुच्चय के साथ पूरी तरह से स्थानीय रूप से उत्पन्न उत्तल समष्टि
* सांस्थितिक सदिश समष्टि - निकटता की धारणा के साथ सदिश समष्टि

==टिप्पणियाँ==
{{reflist|group=note}}


==संदर्भ==
{{reflist|30em}}


==ग्रन्थसूची==

* {{Aliprantis Border Infinite Dimensional Analysis A Hitchhiker's Guide Third Edition}} <!--{{sfn|Aliprantis|Border|2006|p=}}-->
* {{Bachman Narici Functional Analysis 2nd Edition}} <!--{{sfn|Bachman|Narici|2000|p=}}-->
* {{Banach Théorie des Opérations Linéaires}} <!-- {{sfn|Banach|1932|p=}} -->
* {{citation|author=Beauzamy, Bernard|title=Introduction to Banach Spaces and their Geometry|year=1985|orig-year=1982|edition=Second revised|publisher=North-Holland}}.* {{Bourbaki Topological Vector Spaces}} <!-- {{sfn|Bourbaki|1987|p=}} -->
* {{citation|last1=Bessaga|first1=C.|last2=Pełczyński|first2=A.|title=Selected Topics in Infinite-Dimensional Topology|series=Monografie Matematyczne|publisher=Panstwowe wyd. naukowe|location=Warszawa|year=1975|url=https://books.google.com/books?id=7n9sAAAAMAAJ}}.
* {{citation|last=Carothers|first=Neal L.|title=A short course on Banach space theory|series=London Mathematical Society Student Texts|volume=64|publisher=Cambridge University Press|location=Cambridge|year=2005|pages=xii+184|isbn=0-521-84283-2}}.
* {{Conway A Course in Functional Analysis}} <!-- {{sfn|Conway|1990|p=}} -->
* {{citation|last=Diestel|first=Joseph|title=Sequences and series in Banach spaces|series=Graduate Texts in Mathematics|volume=92|publisher=Springer-Verlag|location=New York|year=1984|pages=[https://archive.org/details/sequencesseriesi0000dies/page/ xii+261]|isbn=0-387-90859-5|url=https://archive.org/details/sequencesseriesi0000dies/page/ }}.
* {{Citation|last1=Dunford|first1=Nelson|last2=Schwartz|first2=Jacob T. with the assistance of W. G. Bade and R. G. Bartle|title=Linear Operators. I. General Theory|publisher=Interscience Publishers, Inc.|location=New York|series=Pure and Applied Mathematics|volume=7|mr=0117523|year=1958}}
* {{Edwards Functional Analysis Theory and Applications}} <!-- {{sfn|Edwards|1995|p=}} -->
* {{Grothendieck Topological Vector Spaces}} <!-- {{sfn|Grothendieck|1973|p=}} -->
* {{Khaleelulla Counterexamples in Topological Vector Spaces}} <!-- {{sfn|Khaleelulla|1982|p=}} -->
* {{citation|last1=Lindenstrauss|first1=Joram|author1-link=Joram Lindenstrauss|last2=Tzafriri|first2=Lior|isbn=3-540-08072-4|location=Berlin|publisher=Springer-Verlag|series=Ergebnisse der Mathematik und ihrer Grenzgebiete|title=Classical Banach Spaces I, Sequence Spaces|volume=92|year=1977}}.
* {{citation|last=Megginson|first=Robert E.|author-link=Robert Megginson|title=An introduction to Banach space theory|series=Graduate Texts in Mathematics|volume=183|publisher=Springer-Verlag|location=New York|year=1998|pages=xx+596|isbn=0-387-98431-3}}.
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
* {{Riesz Szőkefalvi-Nagy Functional Analysis Dover 1990}} <!--{{sfn|Riesz|Sz.-Nagy|1990|p=}}-->
* {{Rudin Walter Functional Analysis|edition=2}} <!-- {{sfn|Rudin|1991|p=}} -->
* {{citation|last=Ryan|first=Raymond A.|year=2002|title=Introduction to Tensor Products of Banach Spaces|publisher=Springer-Verlag|series=Springer Monographs in Mathematics|location=London|isbn=1-85233-437-1|pages=xiv+225}}.
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn|Schaefer|Wolff|1999|p=}} -->
* {{Swartz An Introduction to Functional Analysis}} <!-- {{sfn|Swartz|1992|p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} -->
* {{Wilansky Modern Methods in Topological Vector Spaces}} <!-- {{sfn|Wilansky|2013|p=}} -->
* {{citation|last=Wojtaszczyk|first=Przemysław|title=Banach spaces for analysts|series=Cambridge Studies in Advanced Mathematics|volume=25|publisher=Cambridge University Press|location=Cambridge|year=1991|pages=xiv+382|isbn=0-521-35618-0}}.


==बाहरी संबंध==

{{Commons category|Banach spaces}}
* {{springer|title=Banach space|id=p/b015190}}
* {{MathWorld|BanachSpace|Banach Space}}

{{Banach spaces}}
{{Functional Analysis}}
{{Authority control}}
[[Category: बनच स्पेस | बनच स्पेस ]] [[Category: ]] [[Category: नॉर्म्ड स्पेस| नॉर्म्ड स्पेस]] [[Category: पोलैंड में विज्ञान और प्रौद्योगिकी]] 



[[Category: Machine Translated Page]]
[[Category:Created On 28/02/2023]]
[[Category:Vigyan Ready]]