रैखिक मानचित्रों के समष्टि पर टोपोलॉजी: Difference between revisions

From Vigyanwiki
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:




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


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


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


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


# <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>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>Y</math> टोपोलॉजिकल सदिश समष्टि है (जरूरी नहीं कि हॉसडॉर्फ या समष्टिीय रूप से उत्तल हो) है।
# <math>\mathcal{N}</math> <math>Y</math> में 0 के पड़ोस का आधार है।
# <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> के सेट को दर्शाता है।
# <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>
<ol>
===𝒢-टोपोलॉजी===
===𝒢-टोपोलॉजी===


निम्नलिखित सेट रैखिक मापों के समष्टिों पर टोपोलॉजी के मूल खुले उपसमुच्चय का गठन करेंगे। किसी भी उपसमुच्चय <math>G \subseteq T</math> और <math>N \subseteq Y</math> के लिए, मान लीजिए
निम्नलिखित समुच्चय रैखिक मापों के समष्टि पर टोपोलॉजी के मूल खुले उपसमुच्चय का गठन करेंगे। किसी भी उपसमुच्चय <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) := \{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 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>\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}}                                                                                                                                                                                                                                         
Line 29: Line 29:
'''गुण'''
'''गुण'''


अब मूल खुले सेटों के गुणों का वर्णन किया जाएगा, इसलिए मान लें कि <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>
अब मूल खुले समुच्चयों के गुणों का वर्णन किया जाएगा, इसलिए मान लें कि <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}}
और इसी तरह{{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 display="block">\mathcal{U}(G, M) + \mathcal{U}(G, N) \subseteq \mathcal{U}(G, M + N).</math>
Line 47: Line 47:
{{See also|Uniform space}}
{{See also|Uniform space}}


किसी के लिए <math>G \subseteq T</math> और <math>U \subseteq Y \times Y</math> का कोई [[एकसमान स्थान|एकसमान समष्टि]] हो <math>Y</math> (कहाँ <math>Y</math> अपने संपूर्ण टोपोलॉजिकल वेक्टर स्पेस#कैनोनिकल एकरूपता से संपन्न है), आइए
किसी के लिए <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 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}}


जाल और एकसमान अभिसरण
जाल और एकसमान अभिसरण
Line 70: Line 70:
अगर <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>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>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>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>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}}


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


अगर हम जाने देंगे <math>\mathcal{G}</math> के सभी परिमित उपसमुच्चयों का समुच्चय हो <math>T</math> फिर <math>\mathcal{G}</math>-टोपोलॉजी चालू <math>F</math> बिन्दुवार अभिसरण की टोपोलॉजी कहलाती है।
अगर हम जाने देंगे <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>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>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>X</math> और <math>Y</math> टोपोलॉजिकल सदिश समष्टि हैं।
  <math>\mathcal{G}</math> के उपसमुच्चय का गैर-रिक्त संग्रह होगा <math>X</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>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>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>X.</math>शामिल हैं  




Line 98: Line 98:
  𝒢 पर धारणाएँ
  𝒢 पर धारणाएँ


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


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


*(<math>N \in \mathcal{N}</math> संतुलित हैं): <math>\mathcal{N}</math> में उत्पत्ति का पड़ोस आधार है <math>Y</math> जिसमें पूरी तरह से संतुलित सेट सेट शामिल हैं।
*(<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>\mathcal{U}(G, N)</math> में समाहित हो रहा है <math>L(X; Y).</math>
* (<math>G \in \mathcal{G}</math> परिबद्ध हैं): <math>\mathcal{G}</math> यह माना जाता है कि इसमें पूरी तरह से बंधे हुए उपसमुच्चय शामिल हैं <math>X.</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>Y.</math>
Line 115: Line 115:


कुछ लेखकों (जैसे नारिसी) को इसकी आवश्यकता होती है <math>\mathcal{G}</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> से संबंधित <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> उप-समावेश के तहत निर्देशित किया जाना चाहिए और यह निम्नलिखित शर्तों को पूरा करता है:
कुछ लेखक (जैसे ट्रेव्स)।  {{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>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>\mathcal{G}</math> बाउंडेड समुच्चय (टोपोलॉजिकल सदिश समष्टि) के उपसमुच्चय का [[संतृप्त परिवार|संतृप्त सदस्य]] है <math>X</math> तब ये सिद्धांत भी संतुष्ट होते हैं।


===गुण===
===गुण===
Line 125: Line 125:
हॉसडॉर्फनेस
हॉसडॉर्फनेस


टीवीएस का उपसमुच्चय <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>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>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}}
Line 131: Line 131:
संपूर्णता
संपूर्णता


निम्नलिखित प्रमेयों के लिए, मान लीजिए <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>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> [[पूर्ण टोपोलॉजिकल वेक्टर स्पेस]] है यदि
<ली><math>L_{\mathcal{G}}(X; Y)</math> [[पूर्ण टोपोलॉजिकल वेक्टर स्पेस|पूर्ण टोपोलॉजिकल सदिश समष्टि]] है यदि
{{ordered list|
{{ordered list|
|<math>X</math> is locally convex and Hausdorff,
|<math>X</math> is locally convex and Hausdorff,
Line 142: Line 142:
<li>यदि <math>X</math> तो [[बैरल वाली जगह]] है <math>L_{\mathcal{G}}(X; 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>
<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>\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>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>;
<ली><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>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>
<li>हर पड़ोस के लिए <math>V</math> में उत्पत्ति का <math>Y</math> समुच्चय <math>\bigcap_{h \in H} h^{-1}(V)</math> प्रत्येक को अवशोषक समुच्चय करें <math>G \in \mathcal{G}.</math></li>
</ol>
</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>\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> तब समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि हैं
इसके अलावा, यदि <math>X</math> और <math>Y</math> तब समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि हैं
<ul>
<ul>
Line 207: Line 207:
कमजोर-टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं:
कमजोर-टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं:
<ul>
<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}}
<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>
* तो विशेष रूप से, प्रत्येक समविराम उपसमुच्चय पर <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>.
<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>
* इसके साथ ही, <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>
<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>


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


जैसे भी हो <math>\mathcal{G}</math> के सभी संहत उपसमुच्चयों का समुच्चय हो <math>X,</math> <math>L(X; Y)</math> कॉम्पैक्ट अभिसरण की टोपोलॉजी या कॉम्पैक्ट सेट पर समान अभिसरण की टोपोलॉजी होगी और <math>L(X; Y)</math> इसके साथ टोपोलॉजी को दर्शाया जाता है <math>L_c(X; Y)</math>.
जैसे भी हो <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> निम्नलिखित गुण हैं:
कॉम्पैक्ट अभिसरण की टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं:
<ul>
<ul>
<li>यदि <math>X</math> फ़्रेचेट स्पेस या [[एलएफ-स्पेस]] है और यदि <math>Y</math> तब यह पूर्ण टोपोलॉजिकल वेक्टर स्पेस है जो समष्टिीय रूप से उत्तल हॉसडॉर्फ स्पेस है <math>L_c(X; Y)</math> पूरा हो गया है.</li>
<li>यदि <math>X</math> फ़्रेचेट समष्टि या [[एलएफ-स्पेस|एलएफ-समष्टि]] है और यदि <math>Y</math> तब यह पूर्ण टोपोलॉजिकल सदिश समष्टि है जो समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि है <math>L_c(X; Y)</math> पूरा हो गया है.</li>
<li>समविराम रेखीय मापों पर <math>L(X; Y),</math> निम्नलिखित टोपोलॉजी मेल खाती हैं:
<li>समविराम रेखीय मापों पर <math>L(X; Y),</math> निम्नलिखित टोपोलॉजी मेल खाती हैं:
* के सघन उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी <math>X,</math>
* के सघन उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी <math>X,</math>
Line 235: Line 235:
*कॉम्पैक्ट अभिसरण की टोपोलॉजी।
*कॉम्पैक्ट अभिसरण की टोपोलॉजी।
* प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।</li>
* प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।</li>
<li>यदि <math>X</math> [[मॉन्टेल स्पेस]] है और <math>Y</math> तो, टोपोलॉजिकल वेक्टर स्पेस है <math>L_c(X; Y)</math> और <math>L_b(X; Y)</math> समान टोपोलॉजी है.</li>
<li>यदि <math>X</math> [[मॉन्टेल स्पेस|मॉन्टेल समष्टि]] है और <math>Y</math> तो, टोपोलॉजिकल सदिश समष्टि है <math>L_c(X; Y)</math> और <math>L_b(X; Y)</math> समान टोपोलॉजी है.</li>
</ul>
</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>\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> निम्नलिखित गुण हैं:
परिबद्ध अभिसरण की टोपोलॉजी <math>L(X; Y)</math> निम्नलिखित गुण हैं:
<ul>
<ul>
<li>यदि <math>X</math> जन्मजात समष्टि है और यदि <math>Y</math> तब यह पूर्ण टोपोलॉजिकल वेक्टर स्पेस है जो समष्टिीय रूप से उत्तल हॉसडॉर्फ स्पेस है <math>L_b(X; Y)</math> पूरा हो गया है.</li>
<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}}
<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>
* विशेष रूप से, यदि <math>X</math> मानक समष्टि है तो निरंतर दोहरे समष्टि पर सामान्य मानक टोपोलॉजी <math>X^{\prime}</math> परिबद्ध अभिसरण की टोपोलॉजी के समान है <math>X^{\prime}</math>.</li>
Line 257: Line 257:
===𝒢-टोपोलॉजी बनाम ध्रुवीय टोपोलॉजी===
===𝒢-टोपोलॉजी बनाम ध्रुवीय टोपोलॉजी===


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


Line 264: Line 264:


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


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




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


हम जाने देंगे <math>\mathcal{B}(X, Y; Z)</math> अलग-अलग निरंतर द्विरेखीय मापों के समष्टि को निरूपित करें और <math>B(X, Y; Z)</math>सतत द्विरेखीय मापों के समष्टि को निरूपित करें, जहाँ <math>X, Y,</math> और <math>Z</math> ही क्षेत्र पर टोपोलॉजिकल वेक्टर स्पेस हैं (या तो वास्तविक या जटिल संख्याएं)।
हम जाने देंगे <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>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}</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} \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{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>\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>X</math> [[एफ-स्पेस]] है, <math>Y</math> मेट्रिज़ेबल है, और <math>Z</math> इस मामले में हॉसडॉर्फ है <math>\mathcal{B}(X, Y; Z) = B(X, Y; 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, Y,</math> और <math>Z</math> रिफ्लेक्सिव फ़्रेचेट रिक्त समष्टि के मजबूत दोहरे हैं।
* <math>X</math> मानकीकृत है और <math>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>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{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}_{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>\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>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}_{\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>
* अगर <math>X</math> और <math>Y</math> दोनों मानक हैं (क्रमशः, दोनों बानाच) तो ऐसा ही है <math>\mathcal{B}_{\epsilon}\left(X^{\prime}_{\sigma}, Y^{\prime}_{\sigma}\right)</math>
Line 367: Line 367:
[[Category: Machine Translated Page]]
[[Category: Machine Translated Page]]
[[Category:Created On 25/07/2023]]
[[Category:Created On 25/07/2023]]
[[Category:Vigyan Ready]]

Latest revision as of 22:43, 5 December 2023


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

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

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

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

  1. कोई भी गैर-रिक्त समुच्चय है और उपसमुच्चय समावेशन द्वारा निर्देशित समुच्चय के उपसमुच्चय का एक गैर-रिक्त संग्रह (अर्थात् किसी भी के लिए कुछ उपस्थित हैं जैसे कि ) है।
  2. टोपोलॉजिकल सदिश समष्टि है (जरूरी नहीं कि हॉसडॉर्फ या समष्टिीय रूप से उत्तल हो) है।
  3. में 0 के पड़ोस का आधार है।
  4. , का एक सदिश उप-समष्टि है,[note 1] जो डोमेन के साथ सभी -मूल्य वाले फ़ंक्शन के समुच्चय को दर्शाता है।

    𝒢-टोपोलॉजी

    निम्नलिखित समुच्चय रैखिक मापों के समष्टि पर टोपोलॉजी के मूल खुले उपसमुच्चय का गठन करेंगे। किसी भी उपसमुच्चय और के लिए, मान लीजिए

    सदस्य

    पर एक अद्वितीय अनुवाद-अपरिवर्तनीय टोपोलॉजी के लिए मूल में एक पड़ोस आधार[1] बनाता है, जहां यह टोपोलॉजी आवश्यक रूप से एक सदिश टोपोलॉजी नहीं है (अर्थात, यह को टीवीएस नहीं बना सकता है)। यह टोपोलॉजी पड़ोस के आधार पर निर्भर नहीं करती है जिसे चुना गया था और इसे में समुच्चय पर समान अभिसरण की टोपोलॉजी या -टोपोलॉजी के रूप में जाना जाता है।[2] चूँकि, यह नाम अक्सर बनाने वाले समुच्चय के प्रकार के अनुसार बदला जाता है (उदाहरण के लिए "कॉम्पैक्ट समुच्चय पर एकसमान अभिसरण की टोपोलॉजी" या "कॉम्पैक्ट कन्वर्जेंस की टोपोलॉजी", अधिक विवरण के लिए फ़ुटनोट देखें[3])।

    के एक उपसमुच्चय को के संबंध में मौलिक कहा जाता है यदि प्रत्येक में तत्व का उपसमुच्चय हो। इस स्थिति में, संग्रह को एफ पर टोपोलॉजी को बदले बिना द्वारा प्रतिस्थापित किया जा सकता है।[2] कोई भी पर परिणामी -टोपोलॉजी को बदले बिना के तत्वों के सभी परिमित संघों के सभी उपसमूहों के संग्रह के साथ प्रतिस्थापित कर सकता है।[4] यदि प्रत्येक के लिए का एक परिबद्ध उपसमुच्चय है, तो -बाउंडेड के उपसमुच्चय को कॉल करें।[5]

    प्रमेय[2][5] —  पर -टोपोलॉजी की वेक्टर स्पेस संरचना के साथ संगत है यदि और केवल तभी जब प्रत्येक -बाउंड हो; अर्थात्, यदि और केवल यदि प्रत्येक और प्रत्येक के लिए में परिबद्ध है।

    गुण

    अब मूल खुले समुच्चयों के गुणों का वर्णन किया जाएगा, इसलिए मान लें कि और । तब GN, F का एक अवशोषक समुच्चय उपसमुच्चय है यदि और केवल यदि सभी , को अवशोषित करता है।[6] यदि संतुलित समुच्चय है[6] (क्रमशः, उत्तल) तो भी संतुलित है। समानता सदैव धारण रहती है। यदि एक अदिश राशि है तो जिससे विशेष रूप से हो।[6] इसके अतिरिक्त,[4]

    और इसी तरह[5]
    किसी भी उपसमुच्चय के लिए और कोई भी गैर-रिक्त उपसमुच्चय [5]

    जो ये दर्शाता हे:

    • यदि तब [6]
    • यदि तब
    • किसी के लिए और उपसमुच्चय का अगर तब

    किसी भी सदस्य के लिए के उपसमुच्चय और कोई भी सदस्य मूल के आस-पड़ोस के [4]


    समान संरचना

    किसी के लिए और का कोई एकसमान समष्टि हो (कहाँ अपने संपूर्ण टोपोलॉजिकल सदिश समष्टि#कैनोनिकल एकरूपता से संपन्न है), आइए

    दिया गया सभी समुच्चयों का सदस्य जैसा प्रतिवेशों की किसी भी मौलिक प्रणाली पर आधारित है समान संरचना के लिए प्रतिवेशों की मौलिक प्रणाली बनाता है बुलाया the uniformity of uniform converges on या केवल the -convergence uniform structure.[7] वह -convergence uniform structure सभी में उपसे निचली ऊपरी सीमा है -अभिसरण समान संरचनाओं के रूप में तक फैली हुई है [7]

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

    मान लीजिए और जाने नेट (गणित) में हो फिर किसी भी उपसमुच्चय के लिए का कहते हैं कि समान रूप से अभिसरित होता है पर यदि प्रत्येक के लिए वहाँ कुछ उपस्थित है ऐसा कि हर किसी के लिए संतुष्टि देने वाला (या समकक्ष, हरके लिए ).[5]

    Theorem[5] — If and if is a net in then in the -topology on if and only if for every converges uniformly to on

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

    समष्टिीय उत्तलता

    अगर समष्टिीय रूप से उत्तल है तो वैसा ही है -टोपोलॉजी चालू और अगर इस टोपोलॉजी को उत्पन्न करने वाले निरंतर सेमीनॉर्म्स का सदस्य है फिर -टोपोलॉजी सेमीनॉर्म्स के निम्नलिखित सदस्य से प्रेरित है:

    जैसा भिन्न-भिन्न होता है और भिन्न-भिन्न होता है .[8]

    हॉसडॉर्फनेस

    अगर हॉसडॉर्फ़ समष्टि है और फिर -टोपोलॉजी चालू हॉसडॉर्फ है.[5]

    लगता है कि टोपोलॉजिकल समष्टि है. अगर हॉसडॉर्फ़ समष्टि है और का सदिश उपसमष्टि है इसमें सभी सतत माप शामिल हैं जो प्रत्येक पर बंधे हैं और अगर में सघन है फिर -टोपोलॉजी चालू हॉसडॉर्फ है.

    सीमाबद्धता

    उपसमुच्चय का में बाउंडेड समुच्चय (टोपोलॉजिकल सदिश समष्टि) है -टोपोलॉजी यदि और केवल यदि प्रत्येक के लिए में घिरा हुआ है [8]

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

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

    अगर हम जाने देंगे के सभी परिमित उपसमुच्चयों का समुच्चय हो फिर -टोपोलॉजी चालू बिन्दुवार अभिसरण की टोपोलॉजी कहलाती है। बिंदुवार अभिसरण की टोपोलॉजी पर उपसमष्टि टोपोलॉजी के समान है से विरासत में मिला है कब सामान्य उत्पाद टोपोलॉजी से संपन्न है।

    अगर गैर-तुच्छ पूरी तरह से नियमित समष्टि हॉसडॉर्फ टोपोलॉजिकल समष्टि और है सभी वास्तविक (या जटिल) मूल्यवान निरंतर कार्यों का समष्टि है बिंदुवार अभिसरण की टोपोलॉजी पर मेट्रिज़ेबल टीवीएस है यदि और केवल यदि गणनीय है.[5]

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

    इस पूरे खंड में हम यही मानेंगे और टोपोलॉजिकल सदिश समष्टि हैं।

     के उपसमुच्चय का गैर-रिक्त संग्रह होगा  समावेशन द्वारा निर्देशित समुच्चय.
     से सभी सतत रैखिक मापों के सदिश समष्टि को निरूपित करेगा  में  अगर  दिया गया है -टोपोलॉजी विरासत में मिली है  फिर इस टोपोलॉजी के साथ इस समष्टि को दर्शाया जाता है .
    

    टोपोलॉजिकल सदिश समष्टि का दोहरा समष्टि#सतत दोहरा समष्टि मैदान के ऊपर (जिसे हम वास्तविक संख्याएँ या सम्मिश्र संख्याएँ मानेंगे) सदिश समष्टि है और द्वारा दर्शाया गया है . वें>-टोपोलॉजी पर की सदिश अंतरिक्ष संरचना के साथ संगत है यदि और केवल यदि सभी के लिए और सभी समुच्चय में घिरा हुआ है जिसे हम शेष लेख के लिए भी यही मानेंगे। विशेष रूप से ध्यान दें कि यह मामला है यदि इसमें बाउंडेड समुच्चय (टोपोलॉजिकल सदिश समष्टि)|(वॉन-न्यूमैन) के बाउंडेड उपसमुच्चय शामिल हैं


    𝒢 पर धारणाएँ
    

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

    • ( निर्देश दिया गया है): के उपसमुच्चय का गैर-रिक्त संग्रह होगा (उपसमुच्चय) समावेशन द्वारा निर्देशित। अर्थात् किसी के लिए भी वहां उपस्थित ऐसा है कि .

    उपरोक्त धारणा समुच्चयों के संग्रह की गारंटी देती है फ़िल्टर आधार बनाता है. अगली धारणा यह गारंटी देगी कि समुच्चय संतुलित समुच्चय हैं. प्रत्येक टीवीएस का पड़ोस आधार 0 है जिसमें संतुलित समुच्चय शामिल हैं इसलिए यह धारणा बोझिल नहीं है।

    • ( संतुलित हैं): में उत्पत्ति का पड़ोस आधार है जिसमें पूरी तरह से संतुलित समुच्चय समुच्चय शामिल हैं।

    निम्नलिखित धारणा बहुत आम तौर पर बनाई जाती है क्योंकि यह गारंटी देगी कि प्रत्येक समुच्चय में समाहित हो रहा है

    • ( परिबद्ध हैं): यह माना जाता है कि इसमें पूरी तरह से बंधे हुए उपसमुच्चय शामिल हैं

    अगला प्रमेय ऐसे तरीके बताता है परिणाम को बदले बिना संशोधित किया जा सकता है -टोपोलॉजी चालू

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

    कुछ लेखकों (जैसे नारिसी) को इसकी आवश्यकता होती है निम्नलिखित शर्त को पूरा करें, जिसका तात्पर्य, विशेष रूप से, वह है उपसमुच्चय समावेशन द्वारा निर्धारित निर्देशित है:

    समुच्चयों के परिमित संघों के उपसमुच्चय के गठन के संबंध में बंद माना जाता है (अर्थात् समुच्चयों के प्रत्येक परिमित संघ का प्रत्येक उपसमुच्चय से संबंधित ).

    कुछ लेखक (जैसे ट्रेव्स)। [9]) उसकी आवश्यकता है उप-समावेश के तहत निर्देशित किया जाना चाहिए और यह निम्नलिखित शर्तों को पूरा करता है:

    अगर और अदिश राशि है तो वहां उपस्थित है ऐसा है कि अगर पर जन्मविज्ञान है जो अक्सर होता है, तब ये सिद्धांत संतुष्ट होते हैं।

    अगर बाउंडेड समुच्चय (टोपोलॉजिकल सदिश समष्टि) के उपसमुच्चय का संतृप्त सदस्य है तब ये सिद्धांत भी संतुष्ट होते हैं।

    गुण

    हॉसडॉर्फनेस

    टीवीएस का उपसमुच्चय जिसका रैखिक विस्तार सघन समुच्चय है का कुल समुच्चय कहा जाता है अगर टीवीएस के उपसमुच्चय का सदस्य है तब टोटल समुच्चय|टोटल इन कहा जाता है यदि का रैखिक विस्तार में सघन है [10]

    अगर का सदिश उपसमष्टि है इसमें सभी सतत रेखीय माप शामिल हैं जो प्रत्येक पर बंधे हैं फिर -टोपोलॉजी चालू हॉसडॉर्फ़ है यदि हॉसडॉर्फ़ है और में कुल है [6]

    संपूर्णता

    निम्नलिखित प्रमेयों के लिए, मान लीजिए टोपोलॉजिकल सदिश समष्टि है और समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि है और के परिबद्ध उपसमुच्चय का संग्रह है वह कवर करता है उपसमुच्चय समावेशन द्वारा निर्देशित है, और निम्नलिखित शर्त को पूरा करता है: यदि और अदिश राशि है तो वहां उपस्थित है ऐसा है कि <सड़क> <ली> पूर्ण टोपोलॉजिकल सदिश समष्टि है यदि

    1. is locally convex and Hausdorff,
    2. is complete, and
    3. whenever is a linear map then restricted to every set is continuous implies that is continuous,
  1. यदि तो यह मैके समष्टि है पूर्ण है यदि और केवल यदि दोनों और पूर्ण हैं.
  2. यदि तो बैरल वाली जगह है हॉसडॉर्फ और अर्ध-पूर्ण है।
  3. चलिए और टीवीएस के साथ रहें अर्ध-पूर्ण और मान लें कि (1) बैरल वाली जगह है, वरना (2) बेयर समष्टि है और और समष्टिीय रूप से उत्तल हैं। अगर कवर फिर प्रत्येक बंद समविरंतर रेखीय माप में पूर्ण है और अर्ध-पूर्ण है.[11]
  4. <ली>लेट जन्मजात समष्टि बनें, समष्टिीय रूप से उत्तल समष्टि, और के परिबद्ध उपसमुच्चय का सदस्य इस प्रकार कि प्रत्येक अशक्त अनुक्रम की सीमा कुछ में निहित है अगर अर्ध-पूर्ण है (क्रमशः, पूर्ण टोपोलॉजिकल सदिश समष्टि) तो ऐसा है .[12] सीमाबद्धता मान लीजिए और टोपोलॉजिकल सदिश समष्टि बनें और का उपसमुच्चय हो उसके बाद निम्न बराबर हैं:[8] <द> <ली> में बाउंडेड समुच्चय (टोपोलॉजिकल सदिश समष्टि) है ;
  5. प्रत्येक के लिए में घिरा हुआ है ;[8]
  6. हर पड़ोस के लिए में उत्पत्ति का समुच्चय प्रत्येक को अवशोषक समुच्चय करें

अगर के परिबद्ध उपसमुच्चय का संग्रह है जिसका मिलन टोटल समुच्चय इन है फिर प्रत्येक समविरंतर रेखीय माप में घिरा हुआ है -टोपोलॉजी.[11] इसके अलावा, यदि और तब समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि हैं

  • यदि में घिरा हुआ है (अर्थात, बिंदुवार परिबद्ध या केवल परिबद्ध) तो यह उत्तल, संतुलित, परिबद्ध, पूर्ण उपसमुच्चय पर एकसमान अभिसरण की टोपोलॉजी में परिबद्ध है [13]
  • यदि अर्ध-पूर्ण समष्टि है | अर्ध-पूर्ण (जिसका अर्थ है कि बंद और परिबद्ध उपसमुच्चय पूर्ण हैं), तो परिबद्ध उपसमुच्चय सभी के लिए समान हैं -टोपोलॉजीज कहां के परिबद्ध उपसमुच्चय का कोई सदस्य है कवर [13]

उदाहरण

("topology of uniform convergence on ...") Notation Name ("topology of...") Alternative name
finite subsets of pointwise/simple convergence topology of simple convergence
precompact subsets of precompact convergence
compact convex subsets of compact convex convergence
compact subsets of compact convergence
bounded subsets of bounded convergence strong topology


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

जैसे भी हो के सभी परिमित उपसमुच्चयों का समुच्चय हो कमजोर टोपोलॉजी चालू होगी या बिंदुवार अभिसरण की टोपोलॉजी या सरल अभिसरण की टोपोलॉजी और इसके साथ टोपोलॉजी को दर्शाया जाता है . दुर्भाग्य से, इस टोपोलॉजी को कभी-कभी मजबूत ऑपरेटर टोपोलॉजी भी कहा जाता है, जिससे अस्पष्टता हो सकती है;[6] इस कारण से, यह लेख इस टोपोलॉजी को इस नाम से संदर्भित करने से बच जाएगा।

का उपसमुच्चय यदि यह घिरा हुआ है तो इसे सरल रूप से घिरा हुआ या कमजोर रूप से घिरा हुआ कहा जाता है .

कमजोर-टोपोलॉजी पर निम्नलिखित गुण हैं:

  • यदि वियोज्य समष्टि है (अर्थात इसमें गणनीय सघन उपसमुच्चय है) और यदि प्रत्येक समविरंतर रेखीय माप की तुलना में मेट्रिज़ेबल टोपोलॉजिकल सदिश समष्टि है का मेट्रिज़ेबल है; यदि इसके अतिरिक्त वियोज्य है तो वैसा है [14]
    • तो विशेष रूप से, प्रत्येक समविराम उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी मेट्रिज़ेबल है।
  • चलिए से सभी कार्यों के समष्टि को निरूपित करें में अगर बिंदुवार अभिसरण की टोपोलॉजी दी गई है फिर सभी रैखिक मापों का समष्टि (निरंतर या नहीं) में में बंद है .
    • इसके साथ ही, सभी रैखिक मापों के समष्टि में सघन है (निरंतर या नहीं) में
  • मान लीजिए और समष्टिीय रूप से उत्तल हैं। का कोई भी सरल रूप से परिबद्ध उपसमुच्चय कब बाध्य है उत्तल, संतुलित समुच्चय, परिबद्ध, पूर्ण उपसमुच्चय पर एकसमान अभिसरण की टोपोलॉजी है यदि इसके अतिरिक्त के परिबद्ध उपसमुच्चय के सदस्यों से अर्ध-पूर्ण है सभी के लिए समान हैं -टोपोलॉजी चालू ऐसा है कि बाउंडेड समुच्चय कवरिंग का सदस्य है [13]

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

  • समविराम रेखीय माप का कमजोर समापन समसतत् है.
  • यदि समष्टिीय रूप से उत्तल है, तो समविराम उपसमुच्चय का उत्तल संतुलित पतवार समसतत् है.
  • चलिए और टीवीएस बनें और मान लें कि (1) बैरल वाली जगह है, वरना (2) बेयर समष्टि है और और समष्टिीय रूप से उत्तल हैं। फिर प्रत्येक सरल रूप से परिबद्ध उपसमुच्चय समविराम है.[11]
  • समविराम उपसमुच्चय पर का निम्नलिखित टोपोलॉजी समान हैं: (1) कुल उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी ; (2) बिंदुवार अभिसरण की टोपोलॉजी; (3) प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।[11]

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

जैसे भी हो के सभी संहत उपसमुच्चयों का समुच्चय हो कॉम्पैक्ट अभिसरण की टोपोलॉजी या कॉम्पैक्ट समुच्चय पर समान अभिसरण की टोपोलॉजी होगी और इसके साथ टोपोलॉजी को दर्शाया जाता है .

कॉम्पैक्ट अभिसरण की टोपोलॉजी पर निम्नलिखित गुण हैं:

  • यदि फ़्रेचेट समष्टि या एलएफ-समष्टि है और यदि तब यह पूर्ण टोपोलॉजिकल सदिश समष्टि है जो समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि है पूरा हो गया है.
  • समविराम रेखीय मापों पर निम्नलिखित टोपोलॉजी मेल खाती हैं:
    • के सघन उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी
    • बिंदुवार अभिसरण की टोपोलॉजी
    • कॉम्पैक्ट अभिसरण की टोपोलॉजी।
    • प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।
  • यदि मॉन्टेल समष्टि है और तो, टोपोलॉजिकल सदिश समष्टि है और समान टोपोलॉजी है.

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

जैसे भी हो के सभी परिबद्ध उपसमुच्चयों का समुच्चय हो पर परिबद्ध अभिसरण की टोपोलॉजी होगी या परिबद्ध समुच्चयों पर एकसमान अभिसरण की टोपोलॉजी और इसके साथ टोपोलॉजी को दर्शाया जाता है .[6]

परिबद्ध अभिसरण की टोपोलॉजी निम्नलिखित गुण हैं:

  • यदि जन्मजात समष्टि है और यदि तब यह पूर्ण टोपोलॉजिकल सदिश समष्टि है जो समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि है पूरा हो गया है.
  • यदि और टोपोलॉजी के बाद दोनों मानक समष्टि हैं सामान्य ऑपरेटर मानदंड से प्रेरित टोपोलॉजी के समान है .[6]
    • विशेष रूप से, यदि मानक समष्टि है तो निरंतर दोहरे समष्टि पर सामान्य मानक टोपोलॉजी परिबद्ध अभिसरण की टोपोलॉजी के समान है .
  • प्रत्येक समसतत् उपसमुच्चय में घिरा हुआ है .

ध्रुवीय टोपोलॉजी

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

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

अगर टीवीएस है जिसका बाउंडेड समुच्चय (टोपोलॉजिकल सदिश समष्टि) उपसमुच्चय बिल्कुल इसके जैसा ही है weakly परिबद्ध उपसमुच्चय (उदा. यदि हॉसडॉर्फ समष्टिीय रूप से उत्तल समष्टि है), फिर ए -टोपोलॉजी चालू (जैसा कि इस आलेख में परिभाषित किया गया है) ध्रुवीय टोपोलॉजी है और इसके विपरीत, प्रत्येक ध्रुवीय टोपोलॉजी यदि ए -टोपोलॉजी. नतीजतन, इस मामले में इस लेख में उल्लिखित परिणामों को ध्रुवीय टोपोलॉजी पर लागू किया जा सकता है।

हालांकि, यदि टीवीएस है जिसके परिबद्ध उपसमुच्चय हैं notबिल्कुल वैसा ही है weakly परिबद्ध उपसमुच्चय, फिर परिबद्ध की धारणा की धारणा से अधिक मजबूत है-में बंधा हुआ (अर्थात घिरा हुआ तात्पर्य -में बंधा हुआ ) जिससे ए -टोपोलॉजी चालू (जैसा कि इस आलेख में परिभाषित किया गया है) है not आवश्यक रूप से ध्रुवीय टोपोलॉजी। महत्वपूर्ण अंतर यह है कि ध्रुवीय टोपोलॉजी हमेशा समष्टिीय रूप से उत्तल होती हैं -टोपोलॉजी की आवश्यकता नहीं है.

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

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

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

संकेतन: यदि ध्रुवीय टोपोलॉजी को दर्शाता है तब इस टोपोलॉजी से संपन्न को निरूपित किया जाएगा या केवल (उदाहरण के लिए हमारे पास होगा जिससे और सभी निरूपित करते हैं के साथ संपन्न ).

>
("topology of uniform convergence on ...")
Notation Name ("topology of...") Alternative name
finite subsets of
pointwise/simple convergence weak/weak* topology
-compact disks Mackey topology
-compact convex subsets compact convex convergence
-compact subsets
(or balanced -compact subsets)
compact convergence
-bounded subsets
bounded convergence strong topology


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

हम जाने देंगे अलग-अलग निरंतर द्विरेखीय मापों के समष्टि को निरूपित करें और सतत द्विरेखीय मापों के समष्टि को निरूपित करें, जहाँ और ही क्षेत्र पर टोपोलॉजिकल सदिश समष्टि हैं (या तो वास्तविक या जटिल संख्याएं)। हमने टोपोलॉजी को जिस तरह से रखा है, उसी तरह से हम टोपोलॉजी रख सकते हैं और .

मान लीजिए (क्रमश, ) के उपसमुच्चय का सदस्य बनें (क्रमश, ) जिसमें कम से कम गैर-रिक्त समुच्चय हो। मान लीजिए सभी समुच्चयों के संग्रह को निरूपित करें कहाँ हम लगा सकते हैं -टोपोलॉजी, और फलस्वरूप इसके किसी भी उपसमुच्चय पर, विशेष रूप से और पर . इस टोपोलॉजी को के नाम से जाना जाता है-टोपोलॉजी या उत्पादों पर समान अभिसरण की टोपोलॉजी के रूप में का .

चूँकि, पहले की तरह, यह टोपोलॉजी सदिश समष्टि संरचना के साथ आवश्यक रूप से संगत नहीं है या का सभी द्विरेखीय मापों के लिए अतिरिक्त आवश्यकता के बिना, इस समष्टि में (अर्थात्, में या में ) और सभी के लिए और समुच्चय में घिरा हुआ है अगर दोनों और यदि हम टोपोलॉजीज़िंग कर रहे हैं तो यह बाध्य समुच्चयों से मिलकर बनता है तो यह आवश्यकता स्वचालित रूप से संतुष्ट हो जाती है लेकिन अगर हम टोपोलॉजी बनाने की कोशिश कर रहे हैं तो यह मामला नहीं हो सकता है . वें>-टोपोलॉजी पर के सदिश अंतरिक्ष संरचना के साथ संगत होगा अगर दोनों और इसमें परिबद्ध समुच्चय शामिल हैं और निम्नलिखित में से कोई भी शर्त लागू होती है:

  • और बैरल वाली जगहें हैं और समष्टिीय रूप से उत्तल है.
  • एफ-समष्टि है, मेट्रिज़ेबल है, और इस मामले में हॉसडॉर्फ है
  • और रिफ्लेक्सिव फ़्रेचेट रिक्त समष्टि के मजबूत दोहरे हैं।
  • मानकीकृत है और और रिफ्लेक्सिव फ़्रेचेट रिक्त समष्टि के मजबूत दोहरे

ε-टोपोलॉजी

लगता है कि और समष्टिीय रूप से उत्तल समष्टि हैं और चलो और के समसतत् रैखिक फलनात्मकताओं का संग्रह हो और , क्रमश। फिर -टोपोलॉजी चालू टोपोलॉजिकल सदिश समष्टि टोपोलॉजी होगी। इस टोपोलॉजी को ε-टोपोलॉजी कहा जाता है इस टोपोलॉजी से इसे दर्शाया जाता है या बस द्वारा इस सदिश समष्टि और इस टोपोलॉजी के महत्व का हिस्सा यह है कि इसमें कई उप-समष्टि शामिल हैं, जैसे जिसे हम निरूपित करते हैं जब इस उप-समष्टि को उप-समष्टि टोपोलॉजी दी जाती है इसे निरूपित किया जाता है उदाहरण में जहां इन सदिश समष्टि का क्षेत्र है, का टेंसर उत्पाद है और वास्तव में, यदि और तब समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि हैं सदिश समष्टि-आइसोमोर्फिक है जो बदले में बराबर है इन समष्टि में निम्नलिखित गुण हैं:

  • अगर और तब समष्टिीय रूप से उत्तल हॉसडॉर्फ समष्टि हैं पूर्ण है यदि और केवल यदि दोनों और पूर्ण हैं.
  • अगर और दोनों मानक हैं (क्रमशः, दोनों बानाच) तो ऐसा ही है

संदर्भ

  1. Because is just a set that is not yet assumed to be endowed with any vector space structure, should not yet be assumed to consist of linear maps, which is a notation that currently can not be defined.
  1. Note that each set is a neighborhood of the origin for this topology, but it is not necessarily an open neighborhood of the origin.
  2. 2.0 2.1 2.2 Schaefer & Wolff 1999, pp. 79–88.
  3. In practice, 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, is the collection of compact subsets of (and is a topological space), then this topology is called the topology of uniform convergence on the compact subsets of
  4. 4.0 4.1 4.2 Narici & Beckenstein 2011, pp. 19–45.
  5. 5.0 5.1 5.2 5.3 5.4 5.5 5.6 5.7 Jarchow 1981, pp. 43–55.
  6. 6.0 6.1 6.2 6.3 6.4 6.5 6.6 6.7 Narici & Beckenstein 2011, pp. 371–423.
  7. 7.0 7.1 Grothendieck 1973, pp. 1–13.
  8. 8.0 8.1 8.2 8.3 Schaefer & Wolff 1999, p. 81.
  9. Trèves, 2006 & Chapter 32.
  10. Schaefer & Wolff 1999, p. 80.
  11. 11.0 11.1 11.2 11.3 Schaefer & Wolff 1999, p. 83.
  12. Schaefer & Wolff 1999, p. 117.
  13. 13.0 13.1 13.2 Schaefer & Wolff 1999, p. 82.
  14. Schaefer & Wolff 1999, p. 87.


ग्रन्थसूची

  • Grothendieck, Alexander (1973). Topological Vector Spaces. Translated by Chaljub, Orlando. New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
  • Hogbe-Nlend, Henri (1977). Bornologies and Functional Analysis: Introductory Course on the Theory of Duality Topology-Bornology and its use in Functional Analysis. North-Holland Mathematics Studies. Vol. 26. Amsterdam New York New York: North Holland. ISBN 978-0-08-087137-0. MR 0500064. OCLC 316549583.
  • Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
  • Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics. Vol. 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370.
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
  • Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.