View source for रैखिक मानचित्रों के स्थानों पर टोपोलॉजी



गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, दो वेक्टर स्थानों के बीच रैखिक मापों के स्थानों को विभिन्न प्रकार की [[टोपोलॉजी (संरचना)]] से संपन्न किया जा सकता है। रैखिक मापों और इन टोपोलॉजी के स्थान का अध्ययन करने से स्वयं रिक्त स्थान के बारे में जानकारी मिल सकती है।

लेख संचालक टोपोलॉजी [[मानक स्थान|मानक स्थानों]] के बीच रैखिक मापों के स्थानों [[ऑपरेटर टोपोलॉजी]] पर चर्चा करता है, जबकि यह लेख टोपोलॉजिकल [[ सदिश स्थल | वेक्टर स्पेस]] (टीवीएस) की अधिक सामान्य सेटिंग में ऐसे स्थानों पर टोपोलॉजी पर चर्चा करता है।

==मापों के मनमाने स्थानों पर एकसमान अभिसरण की टोपोलॉजी==

कुल मिलाकर, निम्नलिखित मान लिया गया है:

# <math>T</math> कोई भी गैर-रिक्त सेट है और <math>\mathcal{G}</math> सबसेट समावेशन द्वारा [[निर्देशित सेट]] <math>T</math> के सबसेट का एक गैर-रिक्त संग्रह (अर्थात् किसी भी <math>G, H \in \mathcal{G}</math> के लिए कुछ <math>K \in \mathcal{G}</math> उपस्थित हैं जैसे कि <math>G \cup H \subseteq K</math>) है।
# <math>Y</math> टोपोलॉजिकल वेक्टर स्पेस है (जरूरी नहीं कि हॉसडॉर्फ या स्थानीय रूप से उत्तल हो) है।
# <math>\mathcal{N}</math> <math>Y</math> में 0 के पड़ोस का आधार है।
# <math>F</math>, <math>Y^T = \prod_{t \in T} Y,</math> का एक वेक्टर उप-स्थान है,<ref group="note">Because <math>T</math> is just a set that is not yet assumed to be endowed with any vector space structure, <math>F \subseteq Y^T</math> should not yet be assumed to consist of linear maps, which is a notation that currently can not be defined.</ref> जो डोमेन <math>T</math> के साथ सभी <math>Y</math>-मूल्य वाले फ़ंक्शन <math>f : T \to Y</math> के सेट को दर्शाता है।
<ol>
===𝒢-टोपोलॉजी===

निम्नलिखित सेट रैखिक मापों के स्थानों पर टोपोलॉजी के मूल खुले उपसमुच्चय का गठन करेंगे। किसी भी उपसमुच्चय <math>G \subseteq T</math> और <math>N \subseteq Y</math> के लिए, मान लीजिए
<math display="block">\mathcal{U}(G, N) := \{f \in F : f(G) \subseteq N\}.</math>
सदस्य
 <math display="block">\{ \mathcal{U}(G, N) : G \in \mathcal{G}, N \in \mathcal{N} \}</math><math>F,</math> पर एक अद्वितीय अनुवाद-अपरिवर्तनीय टोपोलॉजी के लिए मूल में एक पड़ोस आधार<ref>Note that each set <math>\mathcal{U}(G, N)</math> is a neighborhood of the origin for this topology, but it is not necessarily an ''open'' neighborhood of the origin.</ref> बनाता है, जहां यह टोपोलॉजी आवश्यक रूप से एक वेक्टर टोपोलॉजी नहीं है (अर्थात, यह <math>F</math> को टीवीएस नहीं बना सकता है)। यह टोपोलॉजी पड़ोस के आधार <math>\mathcal{N}</math> पर निर्भर नहीं करती है जिसे चुना गया था और इसे <math>\mathcal{G}</math> में सेट पर समान अभिसरण की टोपोलॉजी या <math>\mathcal{G}</math>-टोपोलॉजी के रूप में जाना जाता है।{{sfn|Schaefer|Wolff|1999|pp=79-88}} चूँकि, यह नाम अक्सर <math>\mathcal{G}</math> बनाने वाले सेट के प्रकार के अनुसार बदला जाता है (उदाहरण के लिए "कॉम्पैक्ट सेट पर एकसमान अभिसरण की टोपोलॉजी" या "कॉम्पैक्ट कन्वर्जेंस की टोपोलॉजी", अधिक विवरण के लिए फ़ुटनोट देखें<ref>In practice, <math>\mathcal{G}</math> usually consists of a collection of sets with certain properties and this name is changed appropriately to reflect this set so that if, for instance, <math>\mathcal{G}</math> is the collection of compact subsets of <math>T</math> (and <math>T</math> is a topological space), then this topology is called the topology of uniform convergence on the compact subsets of <math>T.</math></ref>)। 

<math>\mathcal{G}</math> के एक उपसमुच्चय <math>\mathcal{G}_1</math> को <math>\mathcal{G}</math> के संबंध में मौलिक कहा जाता है यदि प्रत्येक <math>G \in \mathcal{G}</math> में <math>\mathcal{G}_1</math> तत्व का उपसमुच्चय हो। इस स्थिति में, संग्रह <math>\mathcal{G}</math> को एफ पर टोपोलॉजी को बदले बिना <math>\mathcal{G}_1</math> द्वारा प्रतिस्थापित किया जा सकता है।{{sfn|Schaefer|Wolff|1999|pp=79-88}} कोई भी <math>F.</math> पर परिणामी <math>\mathcal{G}</math>-टोपोलॉजी को बदले बिना <math>\mathcal{G}</math> के तत्वों के सभी परिमित संघों के सभी उपसमूहों के संग्रह के साथ प्रतिस्थापित कर सकता है।{{sfn|Narici|Beckenstein|2011|pp=19-45}}    यदि <math>f(B)</math> प्रत्येक <math>f \in F</math> के लिए <math>Y</math> का एक परिबद्ध उपसमुच्चय है, तो <math>T</math> <math>F</math>-बाउंडेड के उपसमुच्चय <math>B</math> को कॉल करें।{{sfn|Jarchow|1981|pp=43-55}}                                                                                                                                                                                                                                         

{{Math theorem|name=प्रमेय{{sfn|Schaefer|Wolff|1999|pp=79-88}}{{sfn|Jarchow|1981|pp=43-55}}|math_statement=
<math>F</math> पर <math>\mathcal{G}</math>-टोपोलॉजी <math>F</math> की वेक्टर स्पेस संरचना के साथ संगत है यदि और केवल तभी जब प्रत्येक <math>G \in \mathcal{G}</math> <math>F</math>-बाउंड हो; अर्थात्, यदि और केवल यदि प्रत्येक <math>G \in \mathcal{G}</math> और प्रत्येक <math>f \in F,</math> <math>f(G)</math> के लिए <math>Y</math> में परिबद्ध है।
}}

'''गुण'''

अब मूल खुले सेटों के गुणों का वर्णन किया जाएगा, इसलिए मान लें कि <math>G \in \mathcal{G}</math> और <math>N \in \mathcal{N}.</math>। तब GN, F का एक [[अवशोषक सेट]] उपसमुच्चय है यदि और केवल यदि सभी <math>f \in F,</math> <math>N</math>, <math>f(G)</math> को अवशोषित करता है।{{sfn|Narici|Beckenstein|2011|pp=371-423}} यदि <math>N</math> [[संतुलित सेट]] है{{sfn|Narici|Beckenstein|2011|pp=371-423}} (क्रमशः, उत्तल) तो <math>\mathcal{U}(G, N).</math> भी संतुलित है।                                                                                                                                                                                                                                                    समानता <math>\mathcal{U}(\varnothing, N) = F</math> सदैव धारण रहती है। यदि <math>s</math> एक अदिश राशि है तो <math>s \mathcal{U}(G, N) = \mathcal{U}(G, s N),</math> जिससे विशेष रूप से <math>- \mathcal{U}(G, N) = \mathcal{U}(G, - N)</math> हो।{{sfn|Narici|Beckenstein|2011|pp=371-423}} इसके अतिरिक्त,{{sfn|Narici|Beckenstein|2011|pp=19-45}}<math display="block">\mathcal{U}(G, N) - \mathcal{U}(G, N) \subseteq \mathcal{U}(G, N - N)</math>
और इसी तरह{{sfn|Jarchow|1981|pp=43-55}}
<math display="block">\mathcal{U}(G, M) + \mathcal{U}(G, N) \subseteq \mathcal{U}(G, M + N).</math>
किसी भी उपसमुच्चय के लिए <math>G, H \subseteq X</math> और कोई भी गैर-रिक्त उपसमुच्चय <math>M, N \subseteq Y,</math>{{sfn|Jarchow|1981|pp=43-55}}
 <math display="block">\mathcal{U}(G \cup H, M \cap N) \subseteq \mathcal{U}(G, M) \cap \mathcal{U}(H, N)</math>
जो ये दर्शाता हे:
<ul>
<li>यदि <math>M \subseteq N</math> तब <math>\mathcal{U}(G, M) \subseteq \mathcal{U}(G, N).</math>{{sfn|Narici|Beckenstein|2011|pp=371-423}}</li>
<li>यदि <math>G \subseteq H</math> तब <math>\mathcal{U}(H, N) \subseteq \mathcal{U}(G, N).</math></li>
<li>किसी के लिए <math>M, N \in \mathcal{N}</math> और उपसमुच्चय <math>G, H, K</math> का <math>T,</math> अगर <math>G \cup H \subseteq K</math> तब <math>\mathcal{U}(K, M \cap N) \subseteq \mathcal{U}(G, M) \cap \mathcal{U}(H, N).</math></li>
</ul>

किसी भी सदस्य के लिए <math>\mathcal{S}</math> के उपसमुच्चय <math>T</math> और कोई भी सदस्य <math>\mathcal{M}</math> मूल के आस-पड़ोस <math>Y,</math> के {{sfn|Narici|Beckenstein|2011|pp=19-45}}  <math display="block">\mathcal{U}\left(\bigcup_{S \in \mathcal{S}} S, N\right) = \bigcap_{S \in \mathcal{S}} \mathcal{U}(S, N) \qquad \text{ and } \qquad \mathcal{U}\left(G, \bigcap_{M \in \mathcal{M}} M\right) = \bigcap_{M \in \mathcal{M}} \mathcal{U}(G, M).</math>


===समान संरचना===
{{See also|Uniform space}}

किसी के लिए <math>G \subseteq T</math> और <math>U \subseteq Y \times Y</math> का कोई [[एकसमान स्थान]] हो <math>Y</math> (कहाँ <math>Y</math> अपने संपूर्ण टोपोलॉजिकल वेक्टर स्पेस#कैनोनिकल एकरूपता से संपन्न है), आइए
 <math display="block">\mathcal{W}(G, U) ~:=~ \left\{(u, v) \in Y^T \times Y^T ~:~ (u(g), v(g)) \in U \; \text{ for every } g \in G\right\}.</math> दिया गया <math>G \subseteq T,</math> सभी सेटों का सदस्य <math>\mathcal{W}(G, U)</math> जैसा <math>U</math> प्रतिवेशों की किसी भी मौलिक प्रणाली पर आधारित है <math>Y</math> समान संरचना के लिए प्रतिवेशों की मौलिक प्रणाली बनाता है <math>Y^T</math> बुलाया {{em|the uniformity of uniform converges on <math>G</math>}} या केवल {{em|the <math>G</math>-convergence uniform structure}}.{{sfn|Grothendieck|1973|pp=1-13}} वह {{em|<math>\mathcal{G}</math>-convergence uniform structure}} सभी में सबसे निचली ऊपरी सीमा है <math>G</math>-अभिसरण समान संरचनाओं के रूप में <math>G \in \mathcal{G}</math> तक फैली हुई है <math>\mathcal{G}.</math>{{sfn|Grothendieck|1973|pp=1-13}}

जाल और एकसमान अभिसरण

मान लीजिए <math>f \in F</math> और जाने <math>f_{\bull} = \left(f_i\right)_{i \in I}</math> [[नेट (गणित)]] में हो <math>F.</math> फिर किसी भी उपसमुच्चय के लिए <math>G</math> का <math>T,</math> कहते हैं कि <math>f_{\bull}</math> समान रूप से अभिसरित होता है <math>f</math> पर <math>G</math>यदि प्रत्येक के लिए <math>N \in \mathcal{N}</math> वहाँ कुछ उपस्थित है <math>i_0 \in I</math> ऐसा कि हर किसी के लिए <math>i \in I</math> संतुष्टि देने वाला <math>i \geq i_0,I</math> <math>f_i - f \in \mathcal{U}(G, N)</math> (या समकक्ष, <math>f_i(g) - f(g) \in N</math> हरके लिए <math>g \in G</math>).{{sfn|Jarchow|1981|pp=43-55}}

{{Math theorem|name=Theorem{{sfn|Jarchow|1981|pp=43-55}}|math_statement=
If <math>f \in F</math> and if <math>f_{\bull} = \left(f_i\right)_{i \in I}</math> is a net in <math>F,</math> then <math>f_{\bull} \to f</math> in the <math>\mathcal{G}</math>-topology on <math>F</math> if and only if for every <math>G \in \mathcal{G},</math> <math>f_{\bull}</math> converges uniformly to <math>f</math> on <math>G.</math>
}}

===विरासत में मिली संपत्तियाँ===

स्थानीय उत्तलता

अगर <math>Y</math> [[स्थानीय रूप से उत्तल]] है तो वैसा ही है <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>F</math> और अगर <math>\left(p_i\right)_{i \in I}</math> इस टोपोलॉजी को उत्पन्न करने वाले निरंतर सेमीनॉर्म्स का सदस्य है <math>Y</math> फिर <math>\mathcal{G}</math>-टोपोलॉजी सेमीनॉर्म्स के निम्नलिखित सदस्य से प्रेरित है:
 <math display="block">p_{G,i}(f) := \sup_{x \in G} p_i(f(x)),</math>
जैसा <math>G</math> भिन्न-भिन्न होता है <math>\mathcal{G}</math> और <math>i</math> भिन्न-भिन्न होता है <math>I</math>.{{sfn|Schaefer|Wolff|1999|p=81}}

हॉसडॉर्फनेस

अगर <math>Y</math> [[हॉसडॉर्फ़ स्थान]] है और <math>T = \bigcup_{G \in \mathcal{G}} G</math> फिर <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>F</math> हॉसडॉर्फ है.{{sfn|Jarchow|1981|pp=43-55}}

लगता है कि <math>T</math> टोपोलॉजिकल स्पेस है.
अगर <math>Y</math> हॉसडॉर्फ़ स्थान है और <math>F</math> का सदिश उपस्थान है <math>Y^T</math> इसमें सभी सतत माप शामिल हैं जो प्रत्येक पर बंधे हैं <math>G \in \mathcal{G}</math> और अगर <math>\bigcup_{G \in \mathcal{G}} G</math> में सघन है <math>T</math> फिर <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>F</math> हॉसडॉर्फ है.

सीमाबद्धता

उपसमुच्चय <math>H</math> का <math>F</math> में बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) है <math>\mathcal{G}</math>-टोपोलॉजी यदि और केवल यदि प्रत्येक के लिए <math>G \in \mathcal{G},</math> <math>H(G) = \bigcup_{h \in H} h(G)</math> में घिरा हुआ है <math>Y.</math>{{sfn|Schaefer|Wolff|1999|p=81}}

===𝒢-टोपोलॉजी के उदाहरण===

बिंदुवार अभिसरण

अगर हम जाने देंगे <math>\mathcal{G}</math> के सभी परिमित उपसमुच्चयों का समुच्चय हो <math>T</math> फिर <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>F</math> बिन्दुवार अभिसरण की टोपोलॉजी कहलाती है।
बिंदुवार अभिसरण की टोपोलॉजी पर <math>F</math> सबस्पेस टोपोलॉजी के समान है <math>F</math> से विरासत में मिला है <math>Y^T</math> कब <math>Y^T</math> सामान्य [[उत्पाद टोपोलॉजी]] से संपन्न है।

अगर <math>X</math> गैर-तुच्छ [[पूरी तरह से नियमित स्थान]] हॉसडॉर्फ टोपोलॉजिकल स्पेस और है <math>C(X)</math> सभी वास्तविक (या जटिल) मूल्यवान निरंतर कार्यों का स्थान है <math>X,</math> बिंदुवार अभिसरण की टोपोलॉजी पर <math>C(X)</math> [[मेट्रिज़ेबल टीवीएस]] है यदि और केवल यदि <math>X</math> गणनीय है.{{sfn|Jarchow|1981|pp=43-55}}

==𝒢-निरंतर रैखिक मापों के स्थानों पर टोपोलॉजी==

इस पूरे खंड में हम यही मानेंगे <math>X</math> और <math>Y</math> टोपोलॉजिकल वेक्टर स्पेस हैं।
 <math>\mathcal{G}</math> के उपसमुच्चय का गैर-रिक्त संग्रह होगा <math>X</math> समावेशन द्वारा निर्देशित सेट.
 <math>L(X; Y)</math> से सभी सतत रैखिक मापों के सदिश समष्टि को निरूपित करेगा <math>X</math> में <math>Y.</math> अगर <math>L(X; Y)</math> दिया गया है <math>\mathcal{G}</math>-टोपोलॉजी विरासत में मिली है <math>Y^X</math> फिर इस टोपोलॉजी के साथ इस स्थान को दर्शाया जाता है <math>L_{\mathcal{G}}(X; Y)</math>.
टोपोलॉजिकल वेक्टर स्पेस का दोहरा स्थान#सतत दोहरा स्थान <math>X</math> मैदान के ऊपर <math>\mathbb{F}</math> (जिसे हम [[वास्तविक संख्या]]एँ या सम्मिश्र संख्याएँ मानेंगे) सदिश समष्टि है <math>L(X; \mathbb{F})</math> और द्वारा दर्शाया गया है <math>X^{\prime}</math>. <math>\mathcal{G}</math>वें>-टोपोलॉजी पर <math>L(X; Y)</math> की वेक्टर अंतरिक्ष संरचना के साथ संगत है <math>L(X; Y)</math> यदि और केवल यदि सभी के लिए <math>G \in \mathcal{G}</math> और सभी <math>f \in L(X; Y)</math> सेट <math>f(G)</math> में घिरा हुआ है <math>Y,</math> जिसे हम शेष लेख के लिए भी यही मानेंगे।
विशेष रूप से ध्यान दें कि यह मामला है यदि <math>\mathcal{G}</math> इसमें बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस)|(वॉन-न्यूमैन) के बाउंडेड उपसमुच्चय <math>X.</math>शामिल हैं 



 𝒢 पर धारणाएँ

ऐसी मान्यताएँ जो वेक्टर टोपोलॉजी की गारंटी देती हैं

*(<math>\mathcal{G}</math> निर्देश दिया गया है): <math>\mathcal{G}</math> के उपसमुच्चय का गैर-रिक्त संग्रह होगा <math>X</math> (उपसमुच्चय) समावेशन द्वारा निर्देशित। अर्थात् किसी के लिए भी <math>G, H \in \mathcal{G},</math> वहां उपस्थित <math>K \in \mathcal{G}</math> ऐसा है कि <math>G \cup H \subseteq K</math>.

उपरोक्त धारणा सेटों के संग्रह की गारंटी देती है <math>\mathcal{U}(G, N)</math> [[फ़िल्टर आधार]] बनाता है.
अगली धारणा यह गारंटी देगी कि सेट <math>\mathcal{U}(G, N)</math> संतुलित सेट हैं.
प्रत्येक टीवीएस का पड़ोस आधार 0 है जिसमें संतुलित सेट शामिल हैं इसलिए यह धारणा बोझिल नहीं है।

*(<math>N \in \mathcal{N}</math> संतुलित हैं): <math>\mathcal{N}</math> में उत्पत्ति का पड़ोस आधार है <math>Y</math> जिसमें पूरी तरह से संतुलित सेट सेट शामिल हैं।

निम्नलिखित धारणा बहुत आम तौर पर बनाई जाती है क्योंकि यह गारंटी देगी कि प्रत्येक सेट <math>\mathcal{U}(G, N)</math> में समाहित हो रहा है <math>L(X; Y).</math>
* (<math>G \in \mathcal{G}</math> परिबद्ध हैं): <math>\mathcal{G}</math> यह माना जाता है कि इसमें पूरी तरह से बंधे हुए उपसमुच्चय शामिल हैं <math>X.</math>
अगला प्रमेय ऐसे तरीके बताता है <math>\mathcal{G}</math> परिणाम को बदले बिना संशोधित किया जा सकता है <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>Y.</math>

{{Math theorem|name=Theorem{{sfn|Narici|Beckenstein|2011|pp=371-423}}|math_statement=
Let <math>\mathcal{G}</math> be a non-empty collection of bounded subsets of <math>X.</math> Then the <math>\mathcal{G}</math>-topology on <math>L(X; Y)</math> is not altered if <math>\mathcal{G}</math> is replaced by any of the following collections of (also bounded) subsets of <math>X</math>:
<ol>
<li>all subsets of all finite unions of sets in <math>\mathcal{G}</math>;</li>
<li>all scalar multiples of all sets in <math>\mathcal{G}</math>;</li>
<li>all finite [[Minkowski sum]]s of sets in <math>\mathcal{G}</math>;</li>
<li>the [[Balanced set|balanced hull]] of every set in <math>\mathcal{G}</math>;</li>
<li>the closure of every set in <math>\mathcal{G}</math>;</li>
</ol>

and if <math>X</math> and <math>Y</math> are locally convex, then we may add to this list:
<ol start=6>
<li>the closed [[Absolutely convex|convex balanced hull]] of every set in <math>\mathcal{G}.</math></li>
</ol>
}}

सामान्य धारणाएँ

कुछ लेखकों (जैसे नारिसी) को इसकी आवश्यकता होती है <math>\mathcal{G}</math> निम्नलिखित शर्त को पूरा करें, जिसका तात्पर्य, विशेष रूप से, वह है <math>\mathcal{G}</math> उपसमुच्चय समावेशन द्वारा निर्धारित निर्देशित है:
:<math>\mathcal{G}</math> सेटों के परिमित संघों के सबसेट के गठन के संबंध में बंद माना जाता है <math>\mathcal{G}</math> (अर्थात् समुच्चयों के प्रत्येक परिमित संघ का प्रत्येक उपसमुच्चय <math>\mathcal{G}</math> से संबंधित <math>\mathcal{G}</math>).

कुछ लेखक (जैसे ट्रेव्स)।  {{sfn|Trèves|2006|Chapter 32}}) उसकी आवश्यकता है <math>\mathcal{G}</math> उप-समावेश के तहत निर्देशित किया जाना चाहिए और यह निम्नलिखित शर्तों को पूरा करता है:
:अगर <math>G \in \mathcal{G}</math> और <math>s</math> अदिश राशि है तो वहां उपस्थित है <math>H \in \mathcal{G}</math> ऐसा है कि <math>s G \subseteq H.</math> अगर <math>\mathcal{G}</math> पर जन्मविज्ञान है <math>X,</math> जो अक्सर होता है, तब ये सिद्धांत संतुष्ट होते हैं।
अगर <math>\mathcal{G}</math> बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) के सबसेट का [[संतृप्त परिवार|संतृप्त सदस्य]] है <math>X</math> तब ये सिद्धांत भी संतुष्ट होते हैं।

===गुण===

हॉसडॉर्फनेस

टीवीएस का उपसमुच्चय <math>X</math> जिसका [[रैखिक विस्तार]] सघन समुच्चय है <math>X</math> का कुल समुच्चय कहा जाता है <math>X.</math> अगर <math>\mathcal{G}</math> टीवीएस के उपसमुच्चय का सदस्य है <math>T</math> तब <math>\mathcal{G}</math> टोटल सेट|टोटल इन कहा जाता है <math>T</math>यदि का रैखिक विस्तार <math>\bigcup_{G \in \mathcal{G}} G</math> में सघन है <math>T.</math>{{sfn|Schaefer|Wolff|1999|p=80}}

अगर <math>F</math> का सदिश उपस्थान है <math>Y^T</math> इसमें सभी सतत रेखीय माप शामिल हैं जो प्रत्येक पर बंधे हैं <math>G \in \mathcal{G},</math> फिर <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>F</math> हॉसडॉर्फ़ है यदि <math>Y</math> हॉसडॉर्फ़ है और <math>\mathcal{G}</math> में कुल है <math>T.</math>{{sfn|Narici|Beckenstein|2011|pp=371-423}}

संपूर्णता

निम्नलिखित प्रमेयों के लिए, मान लीजिए <math>X</math> टोपोलॉजिकल वेक्टर स्पेस है और <math>Y</math> स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान है और <math>\mathcal{G}</math> के परिबद्ध उपसमुच्चय का संग्रह है <math>X</math> वह कवर करता है <math>X,</math> उपसमुच्चय समावेशन द्वारा निर्देशित है, और निम्नलिखित शर्त को पूरा करता है: यदि <math>G \in \mathcal{G}</math> और <math>s</math> अदिश राशि है तो वहां उपस्थित है <math>H \in \mathcal{G}</math> ऐसा है कि <math>s G \subseteq H.</math>
<सड़क>
<ली><math>L_{\mathcal{G}}(X; Y)</math> [[पूर्ण टोपोलॉजिकल वेक्टर स्पेस]] है यदि
{{ordered list|
|<math>X</math> is locally convex and Hausdorff,
|<math>Y</math> is complete, and
|whenever <math>u : X \to Y</math> is a linear map then <math>u</math> restricted to every set <math>G \in \mathcal{G}</math> is continuous implies that <math>u</math> is continuous,
}}
<li>यदि <math>X</math> तो यह मैके स्थान है <math>L_{\mathcal{G}}(X; Y)</math>पूर्ण है यदि और केवल यदि दोनों <math>X^{\prime}_{\mathcal{G}}</math> और <math>Y</math> पूर्ण हैं.</li>
<li>यदि <math>X</math> तो [[बैरल वाली जगह]] है <math>L_{\mathcal{G}}(X; Y)</math> हॉसडॉर्फ और अर्ध-पूर्ण है।</li>
<li>चलिए <math>X</math> और <math>Y</math> टीवीएस के साथ रहें <math>Y</math> अर्ध-पूर्ण और मान लें कि (1) <math>X</math> [[बैरल वाली जगह]] है, वरना (2) <math>X</math> बेयर स्थान है और <math>X</math> और <math>Y</math> स्थानीय रूप से उत्तल हैं। अगर <math>\mathcal{G}</math> कवर <math>X</math> फिर प्रत्येक बंद समविरंतर रेखीय माप <math>L(X; Y)</math> में पूर्ण है <math>L_{\mathcal{G}}(X; Y)</math> और <math>L_{\mathcal{G}}(X; Y)</math> अर्ध-पूर्ण है.{{sfn|Schaefer|Wolff|1999|p=83}}</li>
<ली>लेट <math>X</math> [[जन्मजात स्थान]] बनें, <math>Y</math> स्थानीय रूप से उत्तल स्थान, और <math>\mathcal{G}</math> के परिबद्ध उपसमुच्चय का सदस्य <math>X</math> इस प्रकार कि प्रत्येक अशक्त अनुक्रम की सीमा <math>X</math> कुछ में निहित है <math>G \in \mathcal{G}.</math> अगर <math>Y</math> अर्ध-पूर्ण है (क्रमशः, पूर्ण टोपोलॉजिकल वेक्टर स्पेस) तो ऐसा है <math>L_{\mathcal{G}}(X; Y)</math>.{{sfn|Schaefer|Wolff|1999|p=117}}

सीमाबद्धता

मान लीजिए <math>X</math> और <math>Y</math> टोपोलॉजिकल वेक्टर स्पेस बनें और <math>H</math> का उपसमुच्चय हो <math>L(X; Y).</math> उसके बाद निम्न बराबर हैं:{{sfn|Schaefer|Wolff|1999|p=81}}
<द>

<ली><math>H</math> में बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) है <math>L_{\mathcal{G}}(X; Y)</math>;
<li>प्रत्येक के लिए <math>G \in \mathcal{G},</math> <math>H(G) := \bigcup_{h \in H} h(G)</math> में घिरा हुआ है <math>Y</math>;{{sfn|Schaefer|Wolff|1999|p=81}}</li>
<li>हर पड़ोस के लिए <math>V</math> में उत्पत्ति का <math>Y</math> सेट <math>\bigcap_{h \in H} h^{-1}(V)</math> प्रत्येक को अवशोषक सेट करें <math>G \in \mathcal{G}.</math></li>
</ol>

अगर <math>\mathcal{G}</math> के परिबद्ध उपसमुच्चय का संग्रह है <math>X</math> जिसका मिलन टोटल सेट इन है <math>X</math> फिर प्रत्येक समविरंतर रेखीय माप <math>L(X; Y)</math> में घिरा हुआ है <math>\mathcal{G}</math>-टोपोलॉजी.{{sfn|Schaefer|Wolff|1999|p=83}}
इसके अलावा, यदि <math>X</math> और <math>Y</math> तब स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान हैं
<ul>
<li>यदि <math>H</math> में घिरा हुआ है <math>L_{\sigma}(X; Y)</math> (अर्थात, बिंदुवार परिबद्ध या केवल परिबद्ध) तो यह उत्तल, संतुलित, परिबद्ध, पूर्ण उपसमुच्चय पर एकसमान अभिसरण की टोपोलॉजी में परिबद्ध है <math>X.</math>{{sfn|Schaefer|Wolff|1999|p=82}}</li>
<li>यदि <math>X</math> [[अर्ध-पूर्ण स्थान]] है | अर्ध-पूर्ण (जिसका अर्थ है कि बंद और परिबद्ध उपसमुच्चय पूर्ण हैं), तो परिबद्ध उपसमुच्चय <math>L(X; Y)</math> सभी के लिए समान हैं <math>\mathcal{G}</math>-टोपोलॉजीज कहां <math>\mathcal{G}</math> के परिबद्ध उपसमुच्चय का कोई सदस्य है <math>X</math> कवर <math>X.</math>{{sfn|Schaefer|Wolff|1999|p=82}}</li>
<li></li>
</ul>

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

{| class="wikitable"
|-
! <math>\mathcal{G} \subseteq \wp(X)</math> ("topology of uniform convergence on ...")
! Notation
! Name ("topology of...")
! Alternative name
|-
| finite subsets of <math>X</math>
| <math>L_{\sigma}(X; Y)</math>
| pointwise/simple convergence
| topology of simple convergence
|-
| precompact subsets of <math>X</math>
| 
| precompact convergence
| 
|- 
| compact convex subsets of <math>X</math>
| <math>L_{\gamma}(X; Y)</math>
| compact convex convergence
| 
|- 
| compact subsets of <math>X</math>
| <math>L_c(X; Y)</math>
| compact convergence
| 
|- 
| bounded subsets of <math>X</math>
| <math>L_b(X; Y)</math>
| bounded convergence
| strong topology
|}


====बिंदुवार अभिसरण की टोपोलॉजी====

जैसे भी हो <math>\mathcal{G}</math> के सभी परिमित उपसमुच्चयों का समुच्चय हो <math>X,</math> <math>L(X; Y)</math> कमजोर टोपोलॉजी चालू होगी <math>L(X; Y)</math>या बिंदुवार अभिसरण की टोपोलॉजी या सरल अभिसरण की टोपोलॉजी और <math>L(X; Y)</math> इसके साथ टोपोलॉजी को दर्शाया जाता है <math>L_{\sigma}(X; Y)</math>.
दुर्भाग्य से, इस टोपोलॉजी को कभी-कभी मजबूत ऑपरेटर टोपोलॉजी भी कहा जाता है, जिससे अस्पष्टता हो सकती है;{{sfn|Narici|Beckenstein|2011|pp=371-423}} इस कारण से, यह लेख इस टोपोलॉजी को इस नाम से संदर्भित करने से बच जाएगा।

का उपसमुच्चय <math>L(X; Y)</math> यदि यह घिरा हुआ है तो इसे सरल रूप से घिरा हुआ या कमजोर रूप से घिरा हुआ कहा जाता है <math>L_{\sigma}(X; Y)</math>.

कमजोर-टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं:
<ul>
<li>यदि <math>X</math> वियोज्य स्थान है (अर्थात इसमें गणनीय सघन उपसमुच्चय है) और यदि <math>Y</math> प्रत्येक समविरंतर रेखीय माप की तुलना में मेट्रिज़ेबल टोपोलॉजिकल वेक्टर स्पेस है <math>H</math> का <math>L_{\sigma}(X; Y)</math> मेट्रिज़ेबल है; यदि इसके अतिरिक्त <math>Y</math> वियोज्य है तो वैसा है <math>H.</math>{{sfn|Schaefer|Wolff|1999|p=87}}
* तो विशेष रूप से, प्रत्येक समविराम उपसमुच्चय पर <math>L(X; Y),</math> बिंदुवार अभिसरण की टोपोलॉजी मेट्रिज़ेबल है।</li>
<li>चलिए <math>Y^X</math> से सभी कार्यों के स्थान को निरूपित करें <math>X</math> में <math>Y.</math> अगर <math>L(X; Y)</math> बिंदुवार अभिसरण की टोपोलॉजी दी गई है फिर सभी रैखिक मापों का स्थान (निरंतर या नहीं) <math>X</math> में <math>Y</math> में बंद है <math>Y^X</math>.
* इसके साथ ही, <math>L(X; Y)</math> सभी रैखिक मापों के स्थान में सघन है (निरंतर या नहीं) <math>X</math> में <math>Y.</math></li>
<li>मान लीजिए <math>X</math> और <math>Y</math> स्थानीय रूप से उत्तल हैं। का कोई भी सरल रूप से परिबद्ध उपसमुच्चय <math>L(X; Y)</math> कब बाध्य है <math>L(X; Y)</math> उत्तल, संतुलित सेट, परिबद्ध, पूर्ण उपसमुच्चय पर एकसमान अभिसरण की टोपोलॉजी है <math>X.</math> यदि इसके अतिरिक्त <math>X</math> के परिबद्ध उपसमुच्चय के सदस्यों से अर्ध-पूर्ण है <math>L(X; Y)</math> सभी के लिए समान हैं <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>L(X; Y)</math> ऐसा है कि <math>\mathcal{G}</math> बाउंडेड सेट कवरिंग का सदस्य है <math>X.</math>{{sfn|Schaefer|Wolff|1999|p=82}}</li>
</ul>

समसतत् उपसमुच्चय

<ul>
<li>समविराम रेखीय माप का कमजोर समापन <math>L(X; Y)</math> समसतत् है.</li>
<li>यदि <math>Y</math> स्थानीय रूप से उत्तल है, तो समविराम उपसमुच्चय का उत्तल संतुलित पतवार <math>L(X; Y)</math> समसतत् है.</li>
<li>चलिए <math>X</math> और <math>Y</math> टीवीएस बनें और मान लें कि (1) <math>X</math> बैरल वाली जगह है, वरना (2) <math>X</math> बेयर स्थान है और <math>X</math> और <math>Y</math> स्थानीय रूप से उत्तल हैं। फिर प्रत्येक सरल रूप से परिबद्ध उपसमुच्चय <math>L(X; Y)</math> समविराम है.{{sfn|Schaefer|Wolff|1999|p=83}}</li>
<li>समविराम उपसमुच्चय पर <math>H</math> का <math>L(X; Y),</math> निम्नलिखित टोपोलॉजी समान हैं: (1) कुल उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी <math>X</math>; (2) बिंदुवार अभिसरण की टोपोलॉजी; (3) प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।{{sfn|Schaefer|Wolff|1999|p=83}}</li>
</ul>

====संक्षिप्त अभिसरण====

जैसे भी हो <math>\mathcal{G}</math> के सभी संहत उपसमुच्चयों का समुच्चय हो <math>X,</math> <math>L(X; Y)</math> कॉम्पैक्ट अभिसरण की टोपोलॉजी या कॉम्पैक्ट सेट पर समान अभिसरण की टोपोलॉजी होगी और <math>L(X; Y)</math> इसके साथ टोपोलॉजी को दर्शाया जाता है <math>L_c(X; Y)</math>.

कॉम्पैक्ट अभिसरण की टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं:
<ul>
<li>यदि <math>X</math> फ़्रेचेट स्पेस या [[एलएफ-स्पेस]] है और यदि <math>Y</math> तब यह पूर्ण टोपोलॉजिकल वेक्टर स्पेस है जो स्थानीय रूप से उत्तल हॉसडॉर्फ स्पेस है <math>L_c(X; Y)</math> पूरा हो गया है.</li>
<li>समविराम रेखीय मापों पर <math>L(X; Y),</math> निम्नलिखित टोपोलॉजी मेल खाती हैं:
* के सघन उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी <math>X,</math>
* बिंदुवार अभिसरण की टोपोलॉजी <math>X,</math>
*कॉम्पैक्ट अभिसरण की टोपोलॉजी।
* प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।</li>
<li>यदि <math>X</math> [[मॉन्टेल स्पेस]] है और <math>Y</math> तो, टोपोलॉजिकल वेक्टर स्पेस है <math>L_c(X; Y)</math> और <math>L_b(X; Y)</math> समान टोपोलॉजी है.</li>
</ul>

====परिबद्ध अभिसरण की टोपोलॉजी====

जैसे भी हो <math>\mathcal{G}</math> के सभी परिबद्ध उपसमुच्चयों का समुच्चय हो <math>X,</math> <math>L(X; Y)</math> पर परिबद्ध अभिसरण की टोपोलॉजी होगी <math>X</math>या परिबद्ध सेटों पर एकसमान अभिसरण की टोपोलॉजी और <math>L(X; Y)</math> इसके साथ टोपोलॉजी को दर्शाया जाता है <math>L_b(X; Y)</math>.{{sfn|Narici|Beckenstein|2011|pp=371-423}}

परिबद्ध अभिसरण की टोपोलॉजी <math>L(X; Y)</math> निम्नलिखित गुण हैं:
<ul>
<li>यदि <math>X</math> जन्मजात स्थान है और यदि <math>Y</math> तब यह पूर्ण टोपोलॉजिकल वेक्टर स्पेस है जो स्थानीय रूप से उत्तल हॉसडॉर्फ स्पेस है <math>L_b(X; Y)</math> पूरा हो गया है.</li>
<li>यदि <math>X</math> और <math>Y</math> टोपोलॉजी के बाद दोनों मानक स्थान हैं <math>L(X; Y)</math> सामान्य ऑपरेटर मानदंड से प्रेरित टोपोलॉजी के समान है <math>L_b(X; Y)</math>.{{sfn|Narici|Beckenstein|2011|pp=371-423}}
* विशेष रूप से, यदि <math>X</math> मानक स्थान है तो निरंतर दोहरे स्थान पर सामान्य मानक टोपोलॉजी <math>X^{\prime}</math> परिबद्ध अभिसरण की टोपोलॉजी के समान है <math>X^{\prime}</math>.</li>
<li>प्रत्येक समसतत् उपसमुच्चय <math>L(X; Y)</math> में घिरा हुआ है <math>L_b(X; Y)</math>.</li>
</ul>

==ध्रुवीय टोपोलॉजी==
{{Main|Polar topology}}

कुल मिलाकर, हम यही मानते हैं <math>X</math> टीवीएस है.

===𝒢-टोपोलॉजी बनाम ध्रुवीय टोपोलॉजी===

अगर <math>X</math> टीवीएस है जिसका बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) सबसेट बिल्कुल इसके जैसा ही है {{em|weakly}} परिबद्ध उपसमुच्चय (उदा. यदि <math>X</math> हॉसडॉर्फ स्थानीय रूप से उत्तल स्थान है), फिर ए <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>X^{\prime}</math> (जैसा कि इस आलेख में परिभाषित किया गया है) [[ध्रुवीय टोपोलॉजी]] है और इसके विपरीत, प्रत्येक ध्रुवीय टोपोलॉजी यदि ए <math>\mathcal{G}</math>-टोपोलॉजी.
नतीजतन, इस मामले में इस लेख में उल्लिखित परिणामों को ध्रुवीय टोपोलॉजी पर लागू किया जा सकता है।

हालांकि, यदि <math>X</math> टीवीएस है जिसके परिबद्ध उपसमुच्चय हैं {{em|not}}बिल्कुल वैसा ही है {{em|weakly}} परिबद्ध उपसमुच्चय, फिर परिबद्ध की धारणा <math>X</math>की धारणा से अधिक मजबूत है<math>\sigma\left(X, X^{\prime}\right)</math>-में बंधा हुआ <math>X</math>(अर्थात घिरा हुआ <math>X</math> तात्पर्य <math>\sigma\left(X, X^{\prime}\right)</math>-में बंधा हुआ <math>X</math>) जिससे ए <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>X^{\prime}</math> (जैसा कि इस आलेख में परिभाषित किया गया है) है {{em|not}} आवश्यक रूप से ध्रुवीय टोपोलॉजी।
महत्वपूर्ण अंतर यह है कि ध्रुवीय टोपोलॉजी हमेशा स्थानीय रूप से उत्तल होती हैं <math>\mathcal{G}</math>-टोपोलॉजी की आवश्यकता नहीं है.

इस लेख में वर्णित समान अभिसरण की अधिक सामान्य टोपोलॉजी की तुलना में ध्रुवीय टोपोलॉजी के मजबूत परिणाम हैं और हम मुख्य लेख को पढ़ते हैं: ध्रुवीय टोपोलॉजी।
हम यहां कुछ सबसे सामान्य ध्रुवीय टोपोलॉजी की सूची बनाते हैं।

===ध्रुवीय टोपोलॉजी की सूची===

लगता है कि <math>X</math> टीवीएस है जिसके परिबद्ध उपसमुच्चय उसके कमजोर रूप से परिबद्ध उपसमुच्चय के समान हैं।

संकेतन: यदि <math>\Delta(Y, X)</math> ध्रुवीय टोपोलॉजी को दर्शाता है <math>Y</math> तब <math>Y</math> इस टोपोलॉजी से संपन्न को निरूपित किया जाएगा <math>Y_{\Delta(Y, X)}</math> या केवल <math>Y_{\Delta}</math> (उदाहरण के लिए <math>\sigma(Y, X)</math> हमारे पास होगा <math>\Delta = \sigma</math> जिससे <math>Y_{\sigma(Y, X)}</math> और <math>Y_{\sigma}</math> सभी निरूपित करते हैं <math>Y</math> के साथ संपन्न <math>\sigma(Y, X)</math>).

{| class="wikitable"
|-
! ><math>\mathcal{G} \subseteq \wp(X)</math><br/>("topology of uniform convergence on ...")
! Notation 
! Name ("topology of...")
! Alternative name
|-
| finite subsets of <math>X</math>
| <math>\sigma(Y, X)</math><br/><math>s(Y, X)</math>
| pointwise/simple convergence
| [[Weak topology|weak/weak* topology]]
|- 
| <math>\sigma(X, Y)</math>-compact [[Absolutely convex set|disk]]s
| <math>\tau(Y, X)</math>
| 
| [[Mackey topology]]
|- 
| <math>\sigma(X, Y)</math>-compact convex subsets
| <math>\gamma(Y, X)</math>
| compact convex convergence
| 
|- 
| <math>\sigma(X, Y)</math>-compact subsets<br/>(or balanced <math>\sigma(X, Y)</math>-compact subsets) 
| <math>c(Y, X)</math>
| compact convergence
| 
|- 
| <math>\sigma(X, Y)</math>-bounded subsets
| <math>b(Y, X)</math><br/><math>\beta(Y, X)</math>
| bounded convergence
| [[Strong dual space|strong topology]]
|}


==𝒢-ℋ द्विरेखीय मापों के स्थानों पर टोपोलॉजी==

हम जाने देंगे <math>\mathcal{B}(X, Y; Z)</math> अलग-अलग निरंतर द्विरेखीय मापों के स्थान को निरूपित करें और <math>B(X, Y; Z)</math>सतत द्विरेखीय मापों के स्थान को निरूपित करें, जहाँ <math>X, Y,</math> और <math>Z</math> ही क्षेत्र पर टोपोलॉजिकल वेक्टर स्पेस हैं (या तो वास्तविक या जटिल संख्याएं)।
हमने टोपोलॉजी को जिस तरह से रखा है, उसी तरह से <math>L(X; Y)</math> हम टोपोलॉजी रख सकते हैं <math>\mathcal{B}(X, Y; Z)</math> और <math>B(X, Y; Z)</math>.

मान लीजिए <math>\mathcal{G}</math> (क्रमश, <math>\mathcal{H}</math>) के उपसमुच्चय का सदस्य बनें <math>X</math> (क्रमश, <math>Y</math>) जिसमें कम से कम गैर-रिक्त सेट हो।
मान लीजिए <math>\mathcal{G} \times \mathcal{H}</math> सभी सेटों के संग्रह को निरूपित करें <math>G \times H</math> कहाँ <math>G \in \mathcal{G},</math> <math>H \in \mathcal{H}.</math> हम लगा सकते हैं <math>Z^{X \times Y}</math>  <math>\mathcal{G} \times \mathcal{H}</math>-टोपोलॉजी, और फलस्वरूप इसके किसी भी उपसमुच्चय पर, विशेष रूप से <math>B(X, Y; Z)</math>और पर <math>\mathcal{B}(X, Y; Z)</math>.
इस टोपोलॉजी को के नाम से जाना जाता है<math>\mathcal{G}-\mathcal{H}</math>-टोपोलॉजी या उत्पादों पर समान अभिसरण की टोपोलॉजी के रूप में <math>G \times H</math> का <math>\mathcal{G} \times \mathcal{H}</math>.

चूँकि, पहले की तरह, यह टोपोलॉजी वेक्टर स्पेस संरचना के साथ आवश्यक रूप से संगत नहीं है <math>\mathcal{B}(X, Y; Z)</math> या का <math>B(X, Y; Z)</math>सभी द्विरेखीय मापों के लिए अतिरिक्त आवश्यकता के बिना, <math>b</math> इस स्थान में (अर्थात्, में <math>\mathcal{B}(X, Y; Z)</math> या में <math>B(X, Y; Z)</math>) और सभी के लिए <math>G \in \mathcal{G}</math> और <math>H \in \mathcal{H},</math> सेट <math>b(G, H)</math> में घिरा हुआ है <math>X.</math> अगर दोनों <math>\mathcal{G}</math> और <math>\mathcal{H}</math> यदि हम टोपोलॉजीज़िंग कर रहे हैं तो यह बाध्य सेटों से मिलकर बनता है तो यह आवश्यकता स्वचालित रूप से संतुष्ट हो जाती है <math>B(X, Y; Z)</math>लेकिन अगर हम टोपोलॉजी बनाने की कोशिश कर रहे हैं तो यह मामला नहीं हो सकता है <math>\mathcal{B}(X, Y; Z)</math>. <math>\mathcal{G}-\mathcal{H}</math>वें>-टोपोलॉजी पर <math>\mathcal{B}(X, Y; Z)</math> के वेक्टर अंतरिक्ष संरचना के साथ संगत होगा <math>\mathcal{B}(X, Y; Z)</math> अगर दोनों <math>\mathcal{G}</math> और <math>\mathcal{H}</math> इसमें परिबद्ध सेट शामिल हैं और निम्नलिखित में से कोई भी शर्त लागू होती है:
* <math>X</math> और <math>Y</math> बैरल वाली जगहें हैं और <math>Z</math> स्थानीय रूप से उत्तल है.
* <math>X</math> [[एफ-स्पेस]] है, <math>Y</math> मेट्रिज़ेबल है, और <math>Z</math> इस मामले में हॉसडॉर्फ है <math>\mathcal{B}(X, Y; Z) = B(X, Y; Z).</math>
* <math>X, Y,</math> और <math>Z</math> रिफ्लेक्सिव फ़्रेचेट रिक्त स्थान के मजबूत दोहरे हैं।
* <math>X</math> मानकीकृत है और <math>Y</math> और <math>Z</math> रिफ्लेक्सिव फ़्रेचेट रिक्त स्थान के मजबूत दोहरे।

===ε-टोपोलॉजी===
{{Main|Injective tensor product}}

लगता है कि <math>X, Y,</math> और <math>Z</math> स्थानीय रूप से उत्तल स्थान हैं और चलो <math>\mathcal{G}^{\prime}</math> और <math>\mathcal{H}^{\prime}</math> के समसतत् रैखिक कार्यात्मकताओं का संग्रह हो <math>X^{\prime}</math> और <math>X^{\prime}</math>, क्रमश।
फिर <math>\mathcal{G}^{\prime}-\mathcal{H}^{\prime}</math>-टोपोलॉजी चालू <math>\mathcal{B}\left(X^{\prime}_{b\left(X^{\prime}, X\right)}, Y^{\prime}_{b\left(X^{\prime}, X\right)}; Z\right)</math> टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजी होगी।
इस टोपोलॉजी को ε-टोपोलॉजी कहा जाता है <math>\mathcal{B}\left(X^{\prime}_{b\left(X^{\prime}, X\right)}, Y_{b\left(X^{\prime}, X\right)}; Z\right)</math> इस टोपोलॉजी से इसे दर्शाया जाता है <math>\mathcal{B}_{\epsilon}\left(X^{\prime}_{b\left(X^{\prime}, X\right)}, Y^{\prime}_{b\left(X^{\prime}, X\right)}; Z\right)</math> या बस द्वारा <math>\mathcal{B}_{\epsilon}\left(X^{\prime}_{b}, Y^{\prime}_{b}; Z\right).</math>
इस वेक्टर स्पेस और इस टोपोलॉजी के महत्व का हिस्सा यह है कि इसमें कई उप-स्पेस शामिल हैं, जैसे <math>\mathcal{B}\left(X^{\prime}_{\sigma\left(X^{\prime}, X\right)}, Y^{\prime}_{\sigma\left(X^{\prime}, X\right)}; Z\right),</math> जिसे हम निरूपित करते हैं <math>\mathcal{B}\left(X^{\prime}_{\sigma}, Y^{\prime}_{\sigma}; Z\right).</math> जब इस उप-स्थान को उप-स्थान टोपोलॉजी दी जाती है <math>\mathcal{B}_{\epsilon}\left(X^{\prime}_{b}, Y^{\prime}_{b}; Z\right)</math> इसे निरूपित किया जाता है <math>\mathcal{B}_{\epsilon}\left(X^{\prime}_{\sigma}, Y^{\prime}_{\sigma}; Z\right).</math>
उदाहरण में जहां <math>Z</math> इन सदिश स्थानों का क्षेत्र है, <math>\mathcal{B}\left(X^{\prime}_{\sigma}, Y^{\prime}_{\sigma}\right)</math> का [[टेंसर उत्पाद]] है <math>X</math> और <math>Y.</math> वास्तव में, यदि <math>X</math> और <math>Y</math> तब स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान हैं <math>\mathcal{B}\left(X^{\prime}_{\sigma}, Y^{\prime}_{\sigma}\right)</math> वेक्टर स्पेस-आइसोमोर्फिक है <math>L\left(X^{\prime}_{\sigma\left(X^{\prime}, X\right)}; Y_{\sigma(Y^{\prime}, Y)}\right),</math> जो बदले में बराबर है <math>L\left(X^{\prime}_{\tau\left(X^{\prime}, X\right)}; Y\right).</math>
इन स्थानों में निम्नलिखित गुण हैं:
* अगर <math>X</math> और <math>Y</math> तब स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान हैं <math>\mathcal{B}_{\varepsilon}\left(X^{\prime}_{\sigma}, Y^{\prime}_{\sigma}\right)</math> पूर्ण है यदि और केवल यदि दोनों <math>X</math> और <math>Y</math> पूर्ण हैं.
* अगर <math>X</math> और <math>Y</math> दोनों मानक हैं (क्रमशः, दोनों बानाच) तो ऐसा ही है <math>\mathcal{B}_{\epsilon}\left(X^{\prime}_{\sigma}, Y^{\prime}_{\sigma}\right)</math>


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

* {{annotated link|Bornological space}}
* {{annotated link|Bounded linear operator}}
* {{annotated link|Dual system}}
* {{annotated link|Dual topology}}
* {{annotated link|List of topologies}}
* {{annotated link|Modes of convergence}}
* {{annotated link|Operator norm}}
* {{annotated link|Polar topology}}
* {{annotated link|Strong dual space}}
* {{annotated link|Topologies on the set of operators on a Hilbert space}}
* {{annotated link|Uniform convergence}}
* {{annotated link|Uniform space}}
* {{annotated link|Weak topology}}
** {{annotated link|Vague topology}}

==संदर्भ==

{{reflist|group=note}}
{{reflist|group=proof}}
{{reflist}}


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

* {{Grothendieck Topological Vector Spaces}} <!--{{sfn|Grothendieck|1973|p=}}-->
* {{Hogbe-Nlend Bornologies and Functional Analysis}} <!-- {{sfn|Hogbe-Nlend|1977|p=}} -->
* {{Jarchow Locally Convex Spaces}} <!--{{sfn|Jarchow|1981|p=}}-->
* {{Khaleelulla Counterexamples in Topological Vector Spaces}} <!-- {{sfn|Khaleelulla|1982|p=}} --> 
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn|Schaefer|Wolff|1999|p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} -->

{{Functional analysis}}
{{Duality and spaces of linear maps}}
{{Topological vector spaces}}
[[Category: कार्यात्मक विश्लेषण]] [[Category: टोपोलॉजिकल वेक्टर स्पेस]] [[Category: फ़ंक्शन स्पेस की टोपोलॉजी]] 



[[Category: Machine Translated Page]]
[[Category:Created On 25/07/2023]]