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>\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> रिफ्लेक्सिव फ़्रेचेट रिक्त समष्टि के मजबूत दोहरे

===ε-टोपोलॉजी===
लगता है कि <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>




[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 25/07/2023]]
[[Category:Harv and Sfn no-target errors]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]

==संदर्भ==

{{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=}} -->
[[Category: कार्यात्मक विश्लेषण]] [[Category: टोपोलॉजिकल वेक्टर स्पेस]] [[Category: फ़ंक्शन स्पेस की टोपोलॉजी]] 



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