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

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

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

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

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

<ली>$T$ क्या कोई गैर-रिक्त सेट है और ${\mathcal {G}}$ के उपसमुच्चय का गैर-रिक्त संग्रह है $T$ सबसेट समावेशन द्वारा निर्देशित सेट (यानी किसी के लिए)। $G,H\in {\mathcal {G}}$ वहाँ कुछ मौजूद है $K\in {\mathcal {G}}$ ऐसा है कि $G\cup H\subseteq K$). <ली>$Y$ टोपोलॉजिकल वेक्टर स्पेस है (जरूरी नहीं कि हॉसडॉर्फ या स्थानीय रूप से उत्तल हो)। <ली>${\mathcal {N}}$ 0 इंच के पड़ोस का आधार है $Y.$ <ली>$F$ का सदिश उपसमष्टि है $Y^{T}=\prod _{t\in T}Y,$ जो सभी के समुच्चय को दर्शाता है $Y$-मूल्यवान कार्य $f:T\to Y$ डोमेन के साथ $T.$ </al>

𝒢-टोपोलॉजी

निम्नलिखित सेट रैखिक मानचित्रों के स्थानों पर टोपोलॉजी के बुनियादी खुले उपसमुच्चय का गठन करेंगे। किसी भी उपसमुच्चय के लिए $G\subseteq T$ और $N\subseteq Y,$ होने देना

$${\mathcal {U}}(G,N):=\{f\in F:f(G)\subseteq N\}.$$
परिवार

$$\{{\mathcal {U}}(G,N):G\in {\mathcal {G}},N\in {\mathcal {N}}\}$$

पड़ोस प्रणाली बनाता है अद्वितीय अनुवाद-अपरिवर्तनीय टोपोलॉजी के मूल में $F,$ यह टोपोलॉजी कहां है not आवश्यक रूप से वेक्टर टोपोलॉजी (अर्थात, यह नहीं बन सकती है $F$ टीवीएस में)। यह टोपोलॉजी पड़ोस के आधार पर निर्भर नहीं करती है ${\mathcal {N}}$ इसे चुना गया और इसे सेट पर एकसमान अभिसरण की टोपोलॉजी के रूप में जाना जाता है ${\mathcal {G}}$या के रूप में${\mathcal {G}}$-टोपोलॉजी. हालाँकि, सेट के प्रकार के अनुसार यह नाम बार-बार बदला जाता है ${\mathcal {G}}$ (उदाहरण के लिए कॉम्पैक्ट सेट पर समान अभिसरण की टोपोलॉजी या कॉम्पैक्ट अभिसरण की टोपोलॉजी, अधिक विवरण के लिए फ़ुटनोट देखें).

उपसमुच्चय ${\mathcal {G}}_{1}$ का ${\mathcal {G}}$ के संबंध में मौलिक कहा गया है ${\mathcal {G}}$यदि प्रत्येक $G\in {\mathcal {G}}$ में कुछ तत्व का उपसमुच्चय है ${\mathcal {G}}_{1}.$ इस मामले में, संग्रह ${\mathcal {G}}$ द्वारा प्रतिस्थापित किया जा सकता है ${\mathcal {G}}_{1}$ टोपोलॉजी को बदले बिना $F.$ कोई प्रतिस्थापित भी कर सकता है ${\mathcal {G}}$ तत्वों के सभी परिमित संघों के सभी उपसमूहों के संग्रह के साथ ${\mathcal {G}}$ परिणाम को बदले बिना ${\mathcal {G}}$-टोपोलॉजी चालू $F.$

उपसमुच्चय को कॉल करें $B$ का $T$ $F$-बाउंड अगर $f(B)$ का परिबद्ध उपसमुच्चय है $Y$ हरके लिए $f\in F.$

Theorem — The ${\mathcal {G}}$-topology on $F$ is compatible with the vector space structure of $F$ if and only if every $G\in {\mathcal {G}}$ is $F$-bounded; that is, if and only if for every $G\in {\mathcal {G}}$ and every $f\in F,$ $f(G)$ is bounded in $Y.$

गुण

अब मूल खुले सेटों के गुणों का वर्णन किया जाएगा, इसलिए मान लें $G\in {\mathcal {G}}$ और $N\in {\mathcal {N}}.$ तब ${\mathcal {U}}(G,N)$ का अवशोषक सेट उपसमुच्चय है $F$ यदि और केवल यदि सभी के लिए $f\in F,$ $N$ अवशोषण $f(G)$. अगर $N$ संतुलित सेट है (क्रमशः, उत्तल समुच्चय) तो ऐसा ही है ${\mathcal {U}}(G,N).$ समानता ${\mathcal {U}}(\varnothing ,N)=F$ हमेशा धारण करता है. अगर $s$ तब अदिश राशि है $s{\mathcal {U}}(G,N)={\mathcal {U}}(G,sN),$ ताकि विशेष रूप से, $-{\mathcal {U}}(G,N)={\mathcal {U}}(G,-N).$ इसके अतिरिक्त,

$${\mathcal {U}}(G,N)-{\mathcal {U}}(G,N)\subseteq {\mathcal {U}}(G,N-N)$$
और इसी तरह
$${\mathcal {U}}(G,M)+{\mathcal {U}}(G,N)\subseteq {\mathcal {U}}(G,M+N).$$
किसी भी उपसमुच्चय के लिए $G,H\subseteq X$ और कोई भी गैर-रिक्त उपसमुच्चय $M,N\subseteq Y,$

$${\mathcal {U}}(G\cup H,M\cap N)\subseteq {\mathcal {U}}(G,M)\cap {\mathcal {U}}(H,N)$$

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

• यदि $M\subseteq N$ तब ${\mathcal {U}}(G,M)\subseteq {\mathcal {U}}(G,N).$
• यदि $G\subseteq H$ तब ${\mathcal {U}}(H,N)\subseteq {\mathcal {U}}(G,N).$
• किसी के लिए $M,N\in {\mathcal {N}}$ और उपसमुच्चय $G,H,K$ का $T,$ अगर $G\cup H\subseteq K$ तब ${\mathcal {U}}(K,M\cap N)\subseteq {\mathcal {U}}(G,M)\cap {\mathcal {U}}(H,N).$

किसी भी परिवार के लिए ${\mathcal {S}}$ के उपसमुच्चय $T$ और कोई भी परिवार ${\mathcal {M}}$ मूल के आस-पड़ोस के $Y,$

$${\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).$$




समान संरचना

See also: Uniform space

किसी के लिए $G\subseteq T$ और $U\subseteq Y\times Y$ का कोई एकसमान स्थान हो $Y$ (कहाँ $Y$ अपने संपूर्ण टोपोलॉजिकल वेक्टर स्पेस#कैनोनिकल एकरूपता से संपन्न है), आइए

$${\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\}.$$
 दिया गया $G\subseteq T,$ सभी सेटों का परिवार ${\mathcal {W}}(G,U)$ जैसा $U$ प्रतिवेशों की किसी भी मौलिक प्रणाली पर आधारित है $Y$ समान संरचना के लिए प्रतिवेशों की मौलिक प्रणाली बनाता है $Y^{T}$ बुलाया the uniformity of uniform converges on $G$ या केवल the $G$-convergence uniform structure. वह ${\mathcal {G}}$-convergence uniform structure सभी में सबसे निचली ऊपरी सीमा है $G$-अभिसरण समान संरचनाओं के रूप में $G\in {\mathcal {G}}$ तक फैली हुई है ${\mathcal {G}}.$

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

होने देना $f\in F$ और जाने $f_{\bullet }=\left(f_{i}\right)_{i\in I}$ नेट (गणित) में हो $F.$ फिर किसी भी उपसमुच्चय के लिए $G$ का $T,$ कहते हैं कि $f_{\bullet }$ समान रूप से अभिसरित होता है $f$ पर $G$यदि प्रत्येक के लिए $N\in {\mathcal {N}}$ वहाँ कुछ मौजूद है $i_{0}\in I$ ऐसा कि हर किसी के लिए $i\in I$ संतुष्टि देने वाला $i\geq i_{0},I$ $f_{i}-f\in {\mathcal {U}}(G,N)$ (या समकक्ष, $f_{i}(g)-f(g)\in N$ हरके लिए $g\in G$).

Theorem — If $f\in F$ and if $f_{\bullet }=\left(f_{i}\right)_{i\in I}$ is a net in $F,$ then $f_{\bullet }\to f$ in the ${\mathcal {G}}$-topology on $F$ if and only if for every $G\in {\mathcal {G}},$ $f_{\bullet }$ converges uniformly to $f$ on $G.$

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

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

अगर $Y$ स्थानीय रूप से उत्तल है तो वैसा ही है ${\mathcal {G}}$-टोपोलॉजी चालू $F$ और अगर $\left(p_{i}\right)_{i\in I}$ इस टोपोलॉजी को उत्पन्न करने वाले निरंतर सेमीनॉर्म्स का परिवार है $Y$ फिर ${\mathcal {G}}$-टोपोलॉजी सेमीनॉर्म्स के निम्नलिखित परिवार से प्रेरित है:

$$p_{G,i}(f):=\sup _{x\in G}p_{i}(f(x)),$$

जैसा $G$ भिन्न-भिन्न होता है ${\mathcal {G}}$ और $i$ भिन्न-भिन्न होता है $I$.

हॉसडॉर्फनेस

अगर $Y$ हॉसडॉर्फ़ स्थान है और $T=\bigcup _{G\in {\mathcal {G}}}G$ फिर ${\mathcal {G}}$-टोपोलॉजी चालू $F$ हॉसडॉर्फ है.

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

सीमाबद्धता

उपसमुच्चय $H$ का $F$ में बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) है ${\mathcal {G}}$-टोपोलॉजी यदि और केवल यदि प्रत्येक के लिए $G\in {\mathcal {G}},$ $H(G)=\bigcup _{h\in H}h(G)$ में घिरा हुआ है $Y.$

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

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

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

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

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

इस पूरे खंड में हम यही मानेंगे $X$ और $Y$ टोपोलॉजिकल वेक्टर स्पेस हैं।

${\mathcal {G}}$ के उपसमुच्चय का गैर-रिक्त संग्रह होगा $X$ समावेशन द्वारा निर्देशित सेट.
$L(X;Y)$ से सभी सतत रैखिक मानचित्रों के सदिश समष्टि को निरूपित करेगा $X$ में $Y.$ अगर $L(X;Y)$ दिया गया है ${\mathcal {G}}$-टोपोलॉजी विरासत में मिली है $Y^{X}$ फिर इस टोपोलॉजी के साथ इस स्थान को दर्शाया जाता है $L_{\mathcal {G}}(X;Y)$.

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


=== 𝒢=== पर धारणाएँ

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

• (${\mathcal {G}}$ निर्देश दिया गया है): ${\mathcal {G}}$ के उपसमुच्चय का गैर-रिक्त संग्रह होगा $X$ (उपसमुच्चय) समावेशन द्वारा निर्देशित। यानी किसी के लिए भी $G,H\in {\mathcal {G}},$ वहां मौजूद $K\in {\mathcal {G}}$ ऐसा है कि $G\cup H\subseteq K$.

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

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

निम्नलिखित धारणा बहुत आम तौर पर बनाई जाती है क्योंकि यह गारंटी देगी कि प्रत्येक सेट ${\mathcal {U}}(G,N)$ में समाहित हो रहा है $L(X;Y).$

• ($G\in {\mathcal {G}}$ परिबद्ध हैं): ${\mathcal {G}}$ यह माना जाता है कि इसमें पूरी तरह से बंधे हुए उपसमुच्चय शामिल हैं $X.$

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

Theorem — Let ${\mathcal {G}}$ be a non-empty collection of bounded subsets of $X.$ Then the ${\mathcal {G}}$-topology on $L(X;Y)$ is not altered if ${\mathcal {G}}$ is replaced by any of the following collections of (also bounded) subsets of $X$:

1. all subsets of all finite unions of sets in ${\mathcal {G}}$;
2. all scalar multiples of all sets in ${\mathcal {G}}$;
3. all finite Minkowski sums of sets in ${\mathcal {G}}$;
4. the balanced hull of every set in ${\mathcal {G}}$;
5. the closure of every set in ${\mathcal {G}}$;

and if $X$ and $Y$ are locally convex, then we may add to this list:

6. the closed convex balanced hull of every set in ${\mathcal {G}}.$

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

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

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

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

अगर $G\in {\mathcal {G}}$ और $s$ अदिश राशि है तो वहां मौजूद है $H\in {\mathcal {G}}$ ऐसा है कि $sG\subseteq H.$ अगर ${\mathcal {G}}$ पर जन्मविज्ञान है $X,$ जो अक्सर होता है, तब ये सिद्धांत संतुष्ट होते हैं।

अगर ${\mathcal {G}}$ बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) के सबसेट का संतृप्त परिवार है $X$ तब ये सिद्धांत भी संतुष्ट होते हैं।

गुण

हॉसडॉर्फनेस

टीवीएस का उपसमुच्चय $X$ जिसका रैखिक विस्तार सघन समुच्चय है $X$ का कुल समुच्चय कहा जाता है $X.$ अगर ${\mathcal {G}}$ टीवीएस के उपसमुच्चय का परिवार है $T$ तब ${\mathcal {G}}$ टोटल सेट|टोटल इन कहा जाता है $T$यदि का रैखिक विस्तार $\bigcup _{G\in {\mathcal {G}}}G$ में सघन है $T.$

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

संपूर्णता

निम्नलिखित प्रमेयों के लिए, मान लीजिए $X$ टोपोलॉजिकल वेक्टर स्पेस है और $Y$ स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान है और ${\mathcal {G}}$ के परिबद्ध उपसमुच्चय का संग्रह है $X$ वह कवर करता है $X,$ उपसमुच्चय समावेशन द्वारा निर्देशित है, और निम्नलिखित शर्त को पूरा करता है: यदि $G\in {\mathcal {G}}$ और $s$ अदिश राशि है तो वहां मौजूद है $H\in {\mathcal {G}}$ ऐसा है कि $sG\subseteq H.$ <सड़क> <ली>$L_{\mathcal {G}}(X;Y)$ पूर्ण टोपोलॉजिकल वेक्टर स्पेस है यदि

1. $X$ is locally convex and Hausdorff,
2. $Y$ is complete, and
3. whenever $u:X\to Y$ is a linear map then $u$ restricted to every set $G\in {\mathcal {G}}$ is continuous implies that $u$ is continuous,
1. यदि $X$ तो यह मैके स्थान है $L_{\mathcal {G}}(X;Y)$पूर्ण है यदि और केवल यदि दोनों $X_{\mathcal {G}}^{\prime }$ और $Y$ पूर्ण हैं.
2. यदि $X$ तो बैरल वाली जगह है $L_{\mathcal {G}}(X;Y)$ हॉसडॉर्फ और अर्ध-पूर्ण है।
3. चलिए $X$ और $Y$ टीवीएस के साथ रहें $Y$ अर्ध-पूर्ण और मान लें कि (1) $X$ बैरल वाली जगह है, वरना (2) $X$ बेयर स्थान है और $X$ और $Y$ स्थानीय रूप से उत्तल हैं। अगर ${\mathcal {G}}$ कवर $X$ फिर प्रत्येक बंद समविरंतर रेखीय मानचित्र $L(X;Y)$ में पूर्ण है $L_{\mathcal {G}}(X;Y)$ और $L_{\mathcal {G}}(X;Y)$ अर्ध-पूर्ण है.
<ली>लेट $X$ जन्मजात स्थान बनें, $Y$ स्थानीय रूप से उत्तल स्थान, और ${\mathcal {G}}$ के परिबद्ध उपसमुच्चय का परिवार $X$ इस प्रकार कि प्रत्येक अशक्त अनुक्रम की सीमा $X$ कुछ में निहित है $G\in {\mathcal {G}}.$ अगर $Y$ अर्ध-पूर्ण है (क्रमशः, पूर्ण टोपोलॉजिकल वेक्टर स्पेस) तो ऐसा है $L_{\mathcal {G}}(X;Y)$. सीमाबद्धता होने देना $X$ और $Y$ टोपोलॉजिकल वेक्टर स्पेस बनें और $H$ का उपसमुच्चय हो $L(X;Y).$ उसके बाद निम्न बराबर हैं: <द> <ली>$H$ में बाउंडेड सेट (टोपोलॉजिकल वेक्टर स्पेस) है $L_{\mathcal {G}}(X;Y)$;
4. प्रत्येक के लिए $G\in {\mathcal {G}},$ $H(G):=\bigcup _{h\in H}h(G)$ में घिरा हुआ है $Y$;
5. हर पड़ोस के लिए $V$ में उत्पत्ति का $Y$ सेट $\bigcap _{h\in H}h^{-1}(V)$ प्रत्येक को अवशोषक सेट करें $G\in {\mathcal {G}}.$

अगर ${\mathcal {G}}$ के परिबद्ध उपसमुच्चय का संग्रह है $X$ जिसका मिलन टोटल सेट इन है $X$ फिर प्रत्येक समविरंतर रेखीय मानचित्र $L(X;Y)$ में घिरा हुआ है ${\mathcal {G}}$-टोपोलॉजी. इसके अलावा, यदि $X$ और $Y$ तब स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान हैं

• यदि $H$ में घिरा हुआ है $L_{\sigma }(X;Y)$ (अर्थात, बिंदुवार परिबद्ध या केवल परिबद्ध) तो यह उत्तल, संतुलित, परिबद्ध, पूर्ण उपसमुच्चय पर एकसमान अभिसरण की टोपोलॉजी में परिबद्ध है $X.$
• यदि $X$ अर्ध-पूर्ण स्थान है | अर्ध-पूर्ण (जिसका अर्थ है कि बंद और परिबद्ध उपसमुच्चय पूर्ण हैं), तो परिबद्ध उपसमुच्चय $L(X;Y)$ सभी के लिए समान हैं ${\mathcal {G}}$-टोपोलॉजीज कहां ${\mathcal {G}}$ के परिबद्ध उपसमुच्चय का कोई परिवार है $X$ कवर $X.$

उदाहरण

${\mathcal {G}}\subseteq \wp (X)$ ("topology of uniform convergence on ...")	Notation	Name ("topology of...")	Alternative name
finite subsets of $X$	$L_{\sigma }(X;Y)$	pointwise/simple convergence	topology of simple convergence
precompact subsets of $X$		precompact convergence
compact convex subsets of $X$	$L_{\gamma }(X;Y)$	compact convex convergence
compact subsets of $X$	$L_{c}(X;Y)$	compact convergence
bounded subsets of $X$	$L_{b}(X;Y)$	bounded convergence	strong topology

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

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

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

कमजोर-टोपोलॉजी पर $L(X;Y)$ निम्नलिखित गुण हैं:

• यदि $X$ वियोज्य स्थान है (अर्थात इसमें गणनीय सघन उपसमुच्चय है) और यदि $Y$ प्रत्येक समविरंतर रेखीय मानचित्र की तुलना में मेट्रिज़ेबल टोपोलॉजिकल वेक्टर स्पेस है $H$ का $L_{\sigma }(X;Y)$ मेट्रिज़ेबल है; यदि इसके अतिरिक्त $Y$ वियोज्य है तो वैसा है $H.$
  • तो विशेष रूप से, प्रत्येक समविराम उपसमुच्चय पर $L(X;Y),$ बिंदुवार अभिसरण की टोपोलॉजी मेट्रिज़ेबल है।
• चलिए $Y^{X}$ से सभी कार्यों के स्थान को निरूपित करें $X$ में $Y.$ अगर $L(X;Y)$ बिंदुवार अभिसरण की टोपोलॉजी दी गई है फिर सभी रैखिक मानचित्रों का स्थान (निरंतर या नहीं) $X$ में $Y$ में बंद है $Y^{X}$.
  • इसके साथ ही, $L(X;Y)$ सभी रैखिक मानचित्रों के स्थान में सघन है (निरंतर या नहीं) $X$ में $Y.$
• मान लीजिए $X$ और $Y$ स्थानीय रूप से उत्तल हैं। का कोई भी सरल रूप से परिबद्ध उपसमुच्चय $L(X;Y)$ कब बाध्य है $L(X;Y)$ उत्तल, संतुलित सेट, परिबद्ध, पूर्ण उपसमुच्चय पर एकसमान अभिसरण की टोपोलॉजी है $X.$ यदि इसके अतिरिक्त $X$ के परिबद्ध उपसमुच्चय के परिवारों से अर्ध-पूर्ण है $L(X;Y)$ सभी के लिए समान हैं ${\mathcal {G}}$-टोपोलॉजी चालू $L(X;Y)$ ऐसा है कि ${\mathcal {G}}$ बाउंडेड सेट कवरिंग का परिवार है $X.$

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

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

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

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

कॉम्पैक्ट अभिसरण की टोपोलॉजी पर $L(X;Y)$ निम्नलिखित गुण हैं:

• यदि $X$ फ़्रेचेट स्पेस या एलएफ-स्पेस है और यदि $Y$ तब यह पूर्ण टोपोलॉजिकल वेक्टर स्पेस है जो स्थानीय रूप से उत्तल हॉसडॉर्फ स्पेस है $L_{c}(X;Y)$ पूरा हो गया है.
• समविराम रेखीय मानचित्रों पर $L(X;Y),$ निम्नलिखित टोपोलॉजी मेल खाती हैं:
  • के सघन उपसमुच्चय पर बिंदुवार अभिसरण की टोपोलॉजी $X,$
  • बिंदुवार अभिसरण की टोपोलॉजी $X,$
  • कॉम्पैक्ट अभिसरण की टोपोलॉजी।
  • प्रीकॉम्पैक्ट अभिसरण की टोपोलॉजी।
• यदि $X$ मॉन्टेल स्पेस है और $Y$ तो, टोपोलॉजिकल वेक्टर स्पेस है $L_{c}(X;Y)$ और $L_{b}(X;Y)$ समान टोपोलॉजी है.

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

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

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

• यदि $X$ जन्मजात स्थान है और यदि $Y$ तब यह पूर्ण टोपोलॉजिकल वेक्टर स्पेस है जो स्थानीय रूप से उत्तल हॉसडॉर्फ स्पेस है $L_{b}(X;Y)$ पूरा हो गया है.
• यदि $X$ और $Y$ टोपोलॉजी के बाद दोनों मानक स्थान हैं $L(X;Y)$ सामान्य ऑपरेटर मानदंड से प्रेरित टोपोलॉजी के समान है $L_{b}(X;Y)$.
  • विशेष रूप से, यदि $X$ मानक स्थान है तो निरंतर दोहरे स्थान पर सामान्य मानक टोपोलॉजी $X^{\prime }$ परिबद्ध अभिसरण की टोपोलॉजी के समान है $X^{\prime }$.
• प्रत्येक समसतत् उपसमुच्चय $L(X;Y)$ में घिरा हुआ है $L_{b}(X;Y)$.

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

Main article: Polar topology

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

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

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

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

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

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

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

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

>${\mathcal {G}}\subseteq \wp (X)$ ("topology of uniform convergence on ...")	Notation	Name ("topology of...")	Alternative name
finite subsets of $X$	$\sigma (Y,X)$ $s(Y,X)$	pointwise/simple convergence	weak/weak* topology
$\sigma (X,Y)$-compact disks	$\tau (Y,X)$		Mackey topology
$\sigma (X,Y)$-compact convex subsets	$\gamma (Y,X)$	compact convex convergence
$\sigma (X,Y)$-compact subsets (or balanced $\sigma (X,Y)$-compact subsets)	$c(Y,X)$	compact convergence
$\sigma (X,Y)$-bounded subsets	$b(Y,X)$ $\beta (Y,X)$	bounded convergence	strong topology

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

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

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

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

• $X$ और $Y$ बैरल वाली जगहें हैं और $Z$ स्थानीय रूप से उत्तल है.
• $X$ एफ-स्पेस है, $Y$ मेट्रिज़ेबल है, और $Z$ इस मामले में हॉसडॉर्फ है ${\mathcal {B}}(X,Y;Z)=B(X,Y;Z).$
• $X,Y,$ और $Z$ रिफ्लेक्सिव फ़्रेचेट रिक्त स्थान के मजबूत दोहरे हैं।
• $X$ मानकीकृत है और $Y$ और $Z$ रिफ्लेक्सिव फ़्रेचेट रिक्त स्थान के मजबूत दोहरे।

ε-टोपोलॉजी

Main article: Injective tensor product

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

• अगर $X$ और $Y$ तब स्थानीय रूप से उत्तल हॉसडॉर्फ स्थान हैं ${\mathcal {B}}_{\varepsilon }\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)$ पूर्ण है यदि और केवल यदि दोनों $X$ और $Y$ पूर्ण हैं.
• अगर $X$ और $Y$ दोनों मानक हैं (क्रमशः, दोनों बानाच) तो ऐसा ही है ${\mathcal {B}}_{\epsilon }\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)$

यह भी देखें

• 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
  • Vague topology

ग्रन्थसूची

• 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.