रैखिक मानचित्रों के स्थानों पर टोपोलॉजी: Difference between revisions
(Created page with "गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, दो वेक्टर स्थानों...") |
m (7 revisions imported from alpha:रैखिक_मानचित्रों_के_स्थानों_पर_टोपोलॉजी) |
||
(6 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>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> | <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) := \{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 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 theorem|name= | |||
}} | }} | ||
गुण | '''गुण''' | ||
अब मूल खुले सेटों के गुणों का वर्णन किया जाएगा, इसलिए मान लें <math>G \in \mathcal{G}</math> और <math>N \in \mathcal{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> | ||
समानता | |||
<math>\mathcal{U}(\varnothing, N) = F</math> | |||
इसके अतिरिक्त,{{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> | ||
किसी भी उपसमुच्चय के लिए <math>G, H \subseteq X</math> और कोई भी गैर-रिक्त उपसमुच्चय <math>M, N \subseteq Y,</math>{{sfn|Jarchow|1981|pp=43-55}} | किसी भी उपसमुच्चय के लिए <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> | <math display="block">\mathcal{U}(G \cup H, M \cap N) \subseteq \mathcal{U}(G, M) \cap \mathcal{U}(H, N)</math> | ||
जो ये दर्शाता हे: | जो ये दर्शाता हे: | ||
<ul> | <ul> | ||
Line 55: | Line 41: | ||
</ul> | </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> | ||
Line 62: | Line 48: | ||
किसी के लिए <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 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= | {{Math theorem|name=Theorem{{sfn|Jarchow|1981|pp=43-55}}|math_statement= | ||
Line 76: | Line 62: | ||
स्थानीय उत्तलता | स्थानीय उत्तलता | ||
अगर <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>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 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>G</math> भिन्न-भिन्न होता है <math>\mathcal{G}</math> और <math>i</math> भिन्न-भिन्न होता है <math>I</math>.{{sfn|Schaefer|Wolff|1999|p=81}} | ||
Line 84: | 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>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> हॉसडॉर्फ है. | ||
सीमाबद्धता | सीमाबद्धता | ||
Line 98: | Line 84: | ||
बिंदुवार अभिसरण की टोपोलॉजी पर <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>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>\mathcal{G}</math> के उपसमुच्चय का गैर-रिक्त संग्रह होगा <math>X</math> समावेशन द्वारा निर्देशित सेट. | ||
<math>L(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>\mathcal{G}</math> इसमें बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस)|(वॉन-न्यूमैन) के बाउंडेड उपसमुच्चय <math>X.</math>शामिल हैं | ||
𝒢 पर धारणाएँ | |||
ऐसी मान्यताएँ जो वेक्टर टोपोलॉजी की गारंटी देती हैं | ऐसी मान्यताएँ जो वेक्टर टोपोलॉजी की गारंटी देती हैं | ||
*(<math>\mathcal{G}</math> निर्देश दिया गया है): <math>\mathcal{G}</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 है जिसमें संतुलित सेट शामिल हैं इसलिए यह धारणा बोझिल नहीं है। | ||
Line 147: | Line 134: | ||
कुछ लेखक (जैसे ट्रेव्स)। {{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>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>\mathcal{G}</math> बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) के सबसेट का [[संतृप्त परिवार|संतृप्त सदस्य]] है <math>X</math> तब ये सिद्धांत भी संतुष्ट होते हैं। | ||
===गुण=== | ===गुण=== | ||
Line 154: | Line 141: | ||
हॉसडॉर्फनेस | हॉसडॉर्फनेस | ||
टीवीएस का | टीवीएस का उपसमुच्चय <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>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>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> [[पूर्ण टोपोलॉजिकल वेक्टर स्पेस]] है यदि | ||
Line 167: | Line 154: | ||
|<math>Y</math> is complete, and | |<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, | |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> तो यह | <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>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> | <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>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>; | |||
<ली><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>\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> | ||
<li>यदि <math>H</math> में घिरा हुआ है <math>L_{\sigma}(X; Y)</math> (अर्थात, बिंदुवार परिबद्ध या केवल परिबद्ध) तो यह उत्तल, संतुलित, परिबद्ध, पूर्ण उपसमुच्चय पर एकसमान अभिसरण की टोपोलॉजी में परिबद्ध है <math>X.</math>{{sfn|Schaefer|Wolff|1999|p=82}}</li> | <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> के परिबद्ध उपसमुच्चय का कोई | <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> | <li></li> | ||
</ul> | </ul> | ||
Line 232: | Line 219: | ||
दुर्भाग्य से, इस टोपोलॉजी को कभी-कभी मजबूत ऑपरेटर टोपोलॉजी भी कहा जाता है, जिससे अस्पष्टता हो सकती है;{{sfn|Narici|Beckenstein|2011|pp=371-423}} इस कारण से, यह लेख इस टोपोलॉजी को इस नाम से संदर्भित करने से बच जाएगा। | दुर्भाग्य से, इस टोपोलॉजी को कभी-कभी मजबूत ऑपरेटर टोपोलॉजी भी कहा जाता है, जिससे अस्पष्टता हो सकती है;{{sfn|Narici|Beckenstein|2011|pp=371-423}} इस कारण से, यह लेख इस टोपोलॉजी को इस नाम से संदर्भित करने से बच जाएगा। | ||
का | का उपसमुच्चय <math>L(X; Y)</math> यदि यह घिरा हुआ है तो इसे सरल रूप से घिरा हुआ या कमजोर रूप से घिरा हुआ कहा जाता है <math>L_{\sigma}(X; Y)</math>. | ||
कमजोर-टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं: | कमजोर-टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं: | ||
<ul> | <ul> | ||
<li>यदि <math>X</math> वियोज्य स्थान है (अर्थात इसमें गणनीय सघन उपसमुच्चय है) और यदि <math>Y</math> प्रत्येक समविरंतर रेखीय | <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> बिंदुवार अभिसरण की टोपोलॉजी दी गई है फिर सभी रैखिक | <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>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> के परिबद्ध उपसमुच्चय के | <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 246: | Line 233: | ||
<ul> | <ul> | ||
<li> | <li>समविराम रेखीय माप का कमजोर समापन <math>L(X; Y)</math> समसतत् है.</li> | ||
<li>यदि <math>Y</math> स्थानीय रूप से उत्तल है, तो | <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> | <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> | <li>समविराम उपसमुच्चय पर <math>H</math> का <math>L(X; Y),</math> निम्नलिखित टोपोलॉजी समान हैं: (1) कुल उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी <math>X</math>; (2) बिंदुवार अभिसरण की टोपोलॉजी; (3) प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।{{sfn|Schaefer|Wolff|1999|p=83}}</li> | ||
</ul> | </ul> | ||
Line 258: | Line 245: | ||
कॉम्पैक्ट अभिसरण की टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं: | कॉम्पैक्ट अभिसरण की टोपोलॉजी पर <math>L(X; Y)</math> निम्नलिखित गुण हैं: | ||
<ul> | <ul> | ||
<li>यदि <math>X</math> | <li>यदि <math>X</math> फ़्रेचेट स्पेस या [[एलएफ-स्पेस]] है और यदि <math>Y</math> तब यह पूर्ण टोपोलॉजिकल वेक्टर स्पेस है जो स्थानीय रूप से उत्तल हॉसडॉर्फ स्पेस है <math>L_c(X; Y)</math> पूरा हो गया है.</li> | ||
<li>समविराम रेखीय | <li>समविराम रेखीय मापों पर <math>L(X; Y),</math> निम्नलिखित टोपोलॉजी मेल खाती हैं: | ||
* के सघन उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी <math>X,</math> | * के सघन उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी <math>X,</math> | ||
* बिंदुवार अभिसरण की टोपोलॉजी <math>X,</math> | * बिंदुवार अभिसरण की टोपोलॉजी <math>X,</math> | ||
*कॉम्पैक्ट अभिसरण की टोपोलॉजी। | *कॉम्पैक्ट अभिसरण की टोपोलॉजी। | ||
* प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।</li> | * प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।</li> | ||
<li>यदि <math>X</math> | <li>यदि <math>X</math> [[मॉन्टेल स्पेस]] है और <math>Y</math> तो, टोपोलॉजिकल वेक्टर स्पेस है <math>L_c(X; Y)</math> और <math>L_b(X; Y)</math> समान टोपोलॉजी है.</li> | ||
</ul> | </ul> | ||
Line 273: | Line 260: | ||
परिबद्ध अभिसरण की टोपोलॉजी <math>L(X; Y)</math> निम्नलिखित गुण हैं: | परिबद्ध अभिसरण की टोपोलॉजी <math>L(X; Y)</math> निम्नलिखित गुण हैं: | ||
<ul> | <ul> | ||
<li>यदि <math>X</math> | <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</math> मानक स्थान है तो निरंतर दोहरे स्थान पर सामान्य मानक टोपोलॉजी <math>X^{\prime}</math> परिबद्ध अभिसरण की टोपोलॉजी के समान है <math>X^{\prime}</math>.</li> | ||
<li>प्रत्येक समसतत् उपसमुच्चय <math>L(X; Y)</math> में घिरा हुआ है <math>L_b(X; Y)</math>.</li> | <li>प्रत्येक समसतत् उपसमुच्चय <math>L(X; Y)</math> में घिरा हुआ है <math>L_b(X; Y)</math>.</li> | ||
</ul> | </ul> | ||
Line 282: | Line 269: | ||
{{Main|Polar topology}} | {{Main|Polar topology}} | ||
कुल मिलाकर, हम यही मानते हैं <math>X</math> | कुल मिलाकर, हम यही मानते हैं <math>X</math> टीवीएस है. | ||
===𝒢-टोपोलॉजी बनाम ध्रुवीय टोपोलॉजी=== | ===𝒢-टोपोलॉजी बनाम ध्रुवीय टोपोलॉजी=== | ||
अगर <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> | हालांकि, यदि <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>-टोपोलॉजी की आवश्यकता नहीं है. | |||
इस लेख में वर्णित समान अभिसरण की अधिक सामान्य टोपोलॉजी की तुलना में ध्रुवीय टोपोलॉजी के मजबूत परिणाम हैं और हम मुख्य लेख को पढ़ते हैं: ध्रुवीय टोपोलॉजी। | इस लेख में वर्णित समान अभिसरण की अधिक सामान्य टोपोलॉजी की तुलना में ध्रुवीय टोपोलॉजी के मजबूत परिणाम हैं और हम मुख्य लेख को पढ़ते हैं: ध्रुवीय टोपोलॉजी। | ||
Line 297: | Line 284: | ||
===ध्रुवीय टोपोलॉजी की सूची=== | ===ध्रुवीय टोपोलॉजी की सूची=== | ||
लगता है कि <math>X</math> | लगता है कि <math>X</math> टीवीएस है जिसके परिबद्ध उपसमुच्चय उसके कमजोर रूप से परिबद्ध उपसमुच्चय के समान हैं। | ||
संकेतन: यदि <math>\Delta(Y, 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" | {| class="wikitable" | ||
Line 335: | Line 322: | ||
==𝒢-ℋ द्विरेखीय | ==𝒢-ℋ द्विरेखीय मापों के स्थानों पर टोपोलॉजी== | ||
हम जाने देंगे <math>\mathcal{B}(X, Y; 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>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{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>X</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> रिफ्लेक्सिव फ़्रेचेट रिक्त स्थान के मजबूत दोहरे | ||
===ε-टोपोलॉजी=== | ===ε-टोपोलॉजी=== | ||
Line 354: | Line 341: | ||
लगता है कि <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>Z</math> इन सदिश स्थानों का क्षेत्र है, <math>\mathcal{B}\left(X^{\prime}_{\sigma}, Y^{\prime}_{\sigma}\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> पूर्ण हैं. |
Latest revision as of 07:42, 8 August 2023
गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, दो वेक्टर स्थानों के बीच रैखिक मापों के स्थानों को विभिन्न प्रकार की टोपोलॉजी (संरचना) से संपन्न किया जा सकता है। रैखिक मापों और इन टोपोलॉजी के स्थान का अध्ययन करने से स्वयं रिक्त स्थान के बारे में जानकारी मिल सकती है।
लेख संचालक टोपोलॉजी मानक स्थानों के बीच रैखिक मापों के स्थानों ऑपरेटर टोपोलॉजी पर चर्चा करता है, जबकि यह लेख टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) की अधिक सामान्य सेटिंग में ऐसे स्थानों पर टोपोलॉजी पर चर्चा करता है।
मापों के मनमाने स्थानों पर एकसमान अभिसरण की टोपोलॉजी
कुल मिलाकर, निम्नलिखित मान लिया गया है:
- कोई भी गैर-रिक्त सेट है और सबसेट समावेशन द्वारा निर्देशित सेट के सबसेट का एक गैर-रिक्त संग्रह (अर्थात् किसी भी के लिए कुछ उपस्थित हैं जैसे कि ) है।
- टोपोलॉजिकल वेक्टर स्पेस है (जरूरी नहीं कि हॉसडॉर्फ या स्थानीय रूप से उत्तल हो) है।
- में 0 के पड़ोस का आधार है।
- , का एक वेक्टर उप-स्थान है,[note 1] जो डोमेन के साथ सभी -मूल्य वाले फ़ंक्शन के सेट को दर्शाता है।
- यदि तब [6]
- यदि तब
- किसी के लिए और उपसमुच्चय का अगर तब
- ( निर्देश दिया गया है): के उपसमुच्चय का गैर-रिक्त संग्रह होगा (उपसमुच्चय) समावेशन द्वारा निर्देशित। अर्थात् किसी के लिए भी वहां उपस्थित ऐसा है कि .
- ( संतुलित हैं): में उत्पत्ति का पड़ोस आधार है जिसमें पूरी तरह से संतुलित सेट सेट शामिल हैं।
- ( परिबद्ध हैं): यह माना जाता है कि इसमें पूरी तरह से बंधे हुए उपसमुच्चय शामिल हैं
- all subsets of all finite unions of sets in ;
- all scalar multiples of all sets in ;
- all finite Minkowski sums of sets in ;
- the balanced hull of every set in ;
- the closure of every set in ;
- the closed convex balanced hull of every set in
- सेटों के परिमित संघों के सबसेट के गठन के संबंध में बंद माना जाता है (अर्थात् समुच्चयों के प्रत्येक परिमित संघ का प्रत्येक उपसमुच्चय से संबंधित ).
- अगर और अदिश राशि है तो वहां उपस्थित है ऐसा है कि अगर पर जन्मविज्ञान है जो अक्सर होता है, तब ये सिद्धांत संतुष्ट होते हैं।
- is locally convex and Hausdorff,
- is complete, and
- whenever is a linear map then restricted to every set is continuous implies that is continuous,
- यदि तो यह मैके स्थान है पूर्ण है यदि और केवल यदि दोनों और पूर्ण हैं.
- यदि तो बैरल वाली जगह है हॉसडॉर्फ और अर्ध-पूर्ण है।
- चलिए और टीवीएस के साथ रहें अर्ध-पूर्ण और मान लें कि (1) बैरल वाली जगह है, वरना (2) बेयर स्थान है और और स्थानीय रूप से उत्तल हैं। अगर कवर फिर प्रत्येक बंद समविरंतर रेखीय माप में पूर्ण है और अर्ध-पूर्ण है.[11] <ली>लेट जन्मजात स्थान बनें, स्थानीय रूप से उत्तल स्थान, और के परिबद्ध उपसमुच्चय का सदस्य इस प्रकार कि प्रत्येक अशक्त अनुक्रम की सीमा कुछ में निहित है अगर अर्ध-पूर्ण है (क्रमशः, पूर्ण टोपोलॉजिकल वेक्टर स्पेस) तो ऐसा है .[12] सीमाबद्धता मान लीजिए और टोपोलॉजिकल वेक्टर स्पेस बनें और का उपसमुच्चय हो उसके बाद निम्न बराबर हैं:[8] <द> <ली> में बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) है ;
- प्रत्येक के लिए में घिरा हुआ है ;[8]
- हर पड़ोस के लिए में उत्पत्ति का सेट प्रत्येक को अवशोषक सेट करें
𝒢-टोपोलॉजी
निम्नलिखित सेट रैखिक मापों के स्थानों पर टोपोलॉजी के मूल खुले उपसमुच्चय का गठन करेंगे। किसी भी उपसमुच्चय और के लिए, मान लीजिए
पर एक अद्वितीय अनुवाद-अपरिवर्तनीय टोपोलॉजी के लिए मूल में एक पड़ोस आधार[1] बनाता है, जहां यह टोपोलॉजी आवश्यक रूप से एक वेक्टर टोपोलॉजी नहीं है (अर्थात, यह को टीवीएस नहीं बना सकता है)। यह टोपोलॉजी पड़ोस के आधार पर निर्भर नहीं करती है जिसे चुना गया था और इसे में सेट पर समान अभिसरण की टोपोलॉजी या -टोपोलॉजी के रूप में जाना जाता है।[2] चूँकि, यह नाम अक्सर बनाने वाले सेट के प्रकार के अनुसार बदला जाता है (उदाहरण के लिए "कॉम्पैक्ट सेट पर एकसमान अभिसरण की टोपोलॉजी" या "कॉम्पैक्ट कन्वर्जेंस की टोपोलॉजी", अधिक विवरण के लिए फ़ुटनोट देखें[3])।
के एक उपसमुच्चय को के संबंध में मौलिक कहा जाता है यदि प्रत्येक में तत्व का उपसमुच्चय हो। इस स्थिति में, संग्रह को एफ पर टोपोलॉजी को बदले बिना द्वारा प्रतिस्थापित किया जा सकता है।[2] कोई भी पर परिणामी -टोपोलॉजी को बदले बिना के तत्वों के सभी परिमित संघों के सभी उपसमूहों के संग्रह के साथ प्रतिस्थापित कर सकता है।[4] यदि प्रत्येक के लिए का एक परिबद्ध उपसमुच्चय है, तो -बाउंडेड के उपसमुच्चय को कॉल करें।[5]
प्रमेय[2][5] — पर -टोपोलॉजी की वेक्टर स्पेस संरचना के साथ संगत है यदि और केवल तभी जब प्रत्येक -बाउंड हो; अर्थात्, यदि और केवल यदि प्रत्येक और प्रत्येक के लिए में परिबद्ध है।
गुण
अब मूल खुले सेटों के गुणों का वर्णन किया जाएगा, इसलिए मान लें कि और । तब GN, F का एक अवशोषक सेट उपसमुच्चय है यदि और केवल यदि सभी , को अवशोषित करता है।[6] यदि संतुलित सेट है[6] (क्रमशः, उत्तल) तो भी संतुलित है। समानता सदैव धारण रहती है। यदि एक अदिश राशि है तो जिससे विशेष रूप से हो।[6] इसके अतिरिक्त,[4]
जो ये दर्शाता हे:
किसी भी सदस्य के लिए के उपसमुच्चय और कोई भी सदस्य मूल के आस-पड़ोस के [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 है जिसमें संतुलित सेट शामिल हैं इसलिए यह धारणा बोझिल नहीं है।
निम्नलिखित धारणा बहुत आम तौर पर बनाई जाती है क्योंकि यह गारंटी देगी कि प्रत्येक सेट में समाहित हो रहा है
अगला प्रमेय ऐसे तरीके बताता है परिणाम को बदले बिना संशोधित किया जा सकता है -टोपोलॉजी चालू
Theorem[6] — Let be a non-empty collection of bounded subsets of Then the -topology on is not altered if is replaced by any of the following collections of (also bounded) subsets of :
and if and are locally convex, then we may add to this list:
सामान्य धारणाएँ
कुछ लेखकों (जैसे नारिसी) को इसकी आवश्यकता होती है निम्नलिखित शर्त को पूरा करें, जिसका तात्पर्य, विशेष रूप से, वह है उपसमुच्चय समावेशन द्वारा निर्धारित निर्देशित है:
कुछ लेखक (जैसे ट्रेव्स)। [9]) उसकी आवश्यकता है उप-समावेश के तहत निर्देशित किया जाना चाहिए और यह निम्नलिखित शर्तों को पूरा करता है:
अगर बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) के सबसेट का संतृप्त सदस्य है तब ये सिद्धांत भी संतुष्ट होते हैं।
गुण
हॉसडॉर्फनेस
टीवीएस का उपसमुच्चय जिसका रैखिक विस्तार सघन समुच्चय है का कुल समुच्चय कहा जाता है अगर टीवीएस के उपसमुच्चय का सदस्य है तब टोटल सेट|टोटल इन कहा जाता है यदि का रैखिक विस्तार में सघन है [10]
अगर का सदिश उपस्थान है इसमें सभी सतत रेखीय माप शामिल हैं जो प्रत्येक पर बंधे हैं फिर -टोपोलॉजी चालू हॉसडॉर्फ़ है यदि हॉसडॉर्फ़ है और में कुल है [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 |
𝒢-ℋ द्विरेखीय मापों के स्थानों पर टोपोलॉजी
हम जाने देंगे अलग-अलग निरंतर द्विरेखीय मापों के स्थान को निरूपित करें और सतत द्विरेखीय मापों के स्थान को निरूपित करें, जहाँ और ही क्षेत्र पर टोपोलॉजिकल वेक्टर स्पेस हैं (या तो वास्तविक या जटिल संख्याएं)। हमने टोपोलॉजी को जिस तरह से रखा है, उसी तरह से हम टोपोलॉजी रख सकते हैं और .
मान लीजिए (क्रमश, ) के उपसमुच्चय का सदस्य बनें (क्रमश, ) जिसमें कम से कम गैर-रिक्त सेट हो। मान लीजिए सभी सेटों के संग्रह को निरूपित करें कहाँ हम लगा सकते हैं -टोपोलॉजी, और फलस्वरूप इसके किसी भी उपसमुच्चय पर, विशेष रूप से और पर . इस टोपोलॉजी को के नाम से जाना जाता है-टोपोलॉजी या उत्पादों पर समान अभिसरण की टोपोलॉजी के रूप में का .
चूँकि, पहले की तरह, यह टोपोलॉजी वेक्टर स्पेस संरचना के साथ आवश्यक रूप से संगत नहीं है या का सभी द्विरेखीय मापों के लिए अतिरिक्त आवश्यकता के बिना, इस स्थान में (अर्थात्, में या में ) और सभी के लिए और सेट में घिरा हुआ है अगर दोनों और यदि हम टोपोलॉजीज़िंग कर रहे हैं तो यह बाध्य सेटों से मिलकर बनता है तो यह आवश्यकता स्वचालित रूप से संतुष्ट हो जाती है लेकिन अगर हम टोपोलॉजी बनाने की कोशिश कर रहे हैं तो यह मामला नहीं हो सकता है . वें>-टोपोलॉजी पर के वेक्टर अंतरिक्ष संरचना के साथ संगत होगा अगर दोनों और इसमें परिबद्ध सेट शामिल हैं और निम्नलिखित में से कोई भी शर्त लागू होती है:
- और बैरल वाली जगहें हैं और स्थानीय रूप से उत्तल है.
- एफ-स्पेस है, मेट्रिज़ेबल है, और इस मामले में हॉसडॉर्फ है
- और रिफ्लेक्सिव फ़्रेचेट रिक्त स्थान के मजबूत दोहरे हैं।
- मानकीकृत है और और रिफ्लेक्सिव फ़्रेचेट रिक्त स्थान के मजबूत दोहरे
ε-टोपोलॉजी
लगता है कि और स्थानीय रूप से उत्तल स्थान हैं और चलो और के समसतत् रैखिक कार्यात्मकताओं का संग्रह हो और , क्रमश। फिर -टोपोलॉजी चालू टोपोलॉजिकल वेक्टर स्पेस टोपोलॉजी होगी। इस टोपोलॉजी को ε-टोपोलॉजी कहा जाता है इस टोपोलॉजी से इसे दर्शाया जाता है या बस द्वारा इस वेक्टर स्पेस और इस टोपोलॉजी के महत्व का हिस्सा यह है कि इसमें कई उप-स्पेस शामिल हैं, जैसे जिसे हम निरूपित करते हैं जब इस उप-स्थान को उप-स्थान टोपोलॉजी दी जाती है इसे निरूपित किया जाता है उदाहरण में जहां इन सदिश स्थानों का क्षेत्र है, का टेंसर उत्पाद है और वास्तव में, यदि और तब स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान हैं वेक्टर स्पेस-आइसोमोर्फिक है जो बदले में बराबर है इन स्थानों में निम्नलिखित गुण हैं:
- अगर और तब स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान हैं पूर्ण है यदि और केवल यदि दोनों और पूर्ण हैं.
- अगर और दोनों मानक हैं (क्रमशः, दोनों बानाच) तो ऐसा ही है
यह भी देखें
- Bornological space
- Bounded linear operator
- Dual system
- Dual topology
- List of topologies
- Modes of convergence
- Operator norm
- Polar topology
- Strong dual space
- Topologies on the set of operators on a Hilbert space
- Uniform convergence
- Uniform space
- Weak topology
संदर्भ
- ↑ 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.
- ↑ 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.0 2.1 2.2 Schaefer & Wolff 1999, pp. 79–88.
- ↑ 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.0 4.1 4.2 Narici & Beckenstein 2011, pp. 19–45.
- ↑ 5.0 5.1 5.2 5.3 5.4 5.5 5.6 5.7 Jarchow 1981, pp. 43–55.
- ↑ 6.0 6.1 6.2 6.3 6.4 6.5 6.6 6.7 6.8 Narici & Beckenstein 2011, pp. 371–423.
- ↑ 7.0 7.1 Grothendieck 1973, pp. 1–13.
- ↑ 8.0 8.1 8.2 8.3 Schaefer & Wolff 1999, p. 81.
- ↑ Trèves, 2006 & Chapter 32.
- ↑ Schaefer & Wolff 1999, p. 80.
- ↑ 11.0 11.1 11.2 11.3 Schaefer & Wolff 1999, p. 83.
- ↑ Schaefer & Wolff 1999, p. 117.
- ↑ 13.0 13.1 13.2 Schaefer & Wolff 1999, p. 82.
- ↑ 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.