वीक ऑपरेटर टोपोलॉजी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
[[कार्यात्मक विश्लेषण]] में कमजोर ऑपरेटर [[टोपोलॉजी]], अधिकांशतः संक्षिप्त डब्लूओटी [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्पेस]] पर परिबद्ध प्रचालकों के समूह की सबसे कमज़ोर टोपोलॉजी है। <math>H</math>, जैसे कि [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्पेस]] में किसी भी सदिश <math>x</math> और <math>y</math> के लिए जटिल संख्या <math>\langle Tx, y\rangle</math> में एक ऑपरेटर <math>T</math> भेजने वाला [[कार्यात्मक (गणित)]] निरंतर है।
[[कार्यात्मक विश्लेषण]] में कमजोर ऑपरेटर [[टोपोलॉजी]], अधिकांशतः संक्षिप्त डब्लूओटी [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्पेस]] पर परिबद्ध प्रचालकों के समूह की सबसे कमज़ोर टोपोलॉजी है। <math>H</math>, जैसे कि [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्पेस]] में किसी भी सदिश <math>x</math> और <math>y</math> के लिए जटिल संख्या <math>\langle Tx, y\rangle</math> में एक ऑपरेटर <math>T</math> भेजने वाला [[कार्यात्मक (गणित)]] निरंतर है।


स्पष्ट रूप से, एक ऑपरेटर <math>T</math> के लिए निम्न प्रकार के पड़ोस का आधार है: एक ही परिमित समूह <math>I</math> द्वारा अनुक्रमित सदिश <math>x_i</math>, निरंतर कार्यात्मक <math>y_i</math>, और सकारात्मक वास्तविक स्थिरांक <math>\varepsilon_i</math> की एक परिमित संख्या चुनी गयी है। अगर और केवल अगर <math>| y_i(T(x_i) - S(x_i))| < \varepsilon_i</math> सभी <math>i \in I</math> के लिए, एक ऑपरेटर <math>S</math> पड़ोस में स्थित है।  
स्पष्ट रूप से, एक ऑपरेटर <math>T</math> के लिए निम्न प्रकार के प्रतिवेश का आधार है: एक ही परिमित समूह <math>I</math> द्वारा अनुक्रमित सदिश <math>x_i</math>, निरंतर कार्यात्मक <math>y_i</math>, और सकारात्मक वास्तविक स्थिरांक <math>\varepsilon_i</math> की एक परिमित संख्या चुनी गयी है। यदि और सिर्फ यदि <math>| y_i(T(x_i) - S(x_i))| < \varepsilon_i</math> सभी <math>i \in I</math> के लिए, एक ऑपरेटर <math>S</math> प्रतिवेश में स्थित है।  


समतुल्य रूप से, बाध्य ऑपरेटरों का शुद्ध <math>T_i \subseteq B(H)</math> डब्लूओटी में <math>T \in B(H)</math> में परिवर्तित हो जाता है यदि सभी <math> y \in H^*</math> और <math>x \in H</math> के लिए, <math>y(T_i x)</math> जाल , <math> y(T x)</math> में परिवर्तित हो जाता है।
समतुल्य रूप से, बाध्य ऑपरेटरों का शुद्ध <math>T_i \subseteq B(H)</math> डब्लूओटी में <math>T \in B(H)</math> में परिवर्तित हो जाता है यदि सभी <math> y \in H^*</math> और <math>x \in H</math> के लिए, <math>y(T_i x)</math> जाल , <math> y(T x)</math> में परिवर्तित हो जाता है।
Line 15: Line 15:
मजबूत ऑपरेटर टोपोलॉजी में निरंतर हिल्बर्ट स्पेस पर बंधे ऑपरेटरों के समूह पर रैखिक कार्यात्मक ठीक वही हैं जो डब्ल्यूओटी में निरंतर हैं (वास्तव में, डब्ल्यूओटी सबसे कमजोर ऑपरेटर टोपोलॉजी है, हिल्बर्ट स्पेस एच पर बंधे ऑपरेटरों के समूह <math>B(H)</math> जो निरंतर सभी दृढ़ता से निरंतर रैखिक कार्यात्मक छोड़ देता है। इस तथ्य के कारण, डब्लूओटी में ऑपरेटरों के एक [[उत्तल सेट|उत्तल समूह]] का बंद होना, एसओटी में उस समूह के बंद होने के समान है।
मजबूत ऑपरेटर टोपोलॉजी में निरंतर हिल्बर्ट स्पेस पर बंधे ऑपरेटरों के समूह पर रैखिक कार्यात्मक ठीक वही हैं जो डब्ल्यूओटी में निरंतर हैं (वास्तव में, डब्ल्यूओटी सबसे कमजोर ऑपरेटर टोपोलॉजी है, हिल्बर्ट स्पेस एच पर बंधे ऑपरेटरों के समूह <math>B(H)</math> जो निरंतर सभी दृढ़ता से निरंतर रैखिक कार्यात्मक छोड़ देता है। इस तथ्य के कारण, डब्लूओटी में ऑपरेटरों के एक [[उत्तल सेट|उत्तल समूह]] का बंद होना, एसओटी में उस समूह के बंद होने के समान है।


यह [[ध्रुवीकरण पहचान]] के अनुसार होता है कि यदि और केवल यदि <math>T_\alpha^* T_\alpha \to 0</math> डब्लूओटी में एक शुद्ध <math>\{T_\alpha\}</math> एसओटी में <math>0</math> में अभिसरण करता है।
यह [[ध्रुवीकरण पहचान]] के अनुसार होता है कि यदि और सिर्फ यदि <math>T_\alpha^* T_\alpha \to 0</math> डब्लूओटी में एक शुद्ध <math>\{T_\alpha\}</math> एसओटी में <math>0</math> में अभिसरण करता है।


=== कमजोर-स्टार ऑपरेटर टोपोलॉजी ===
=== कमजोर-स्टार ऑपरेटर टोपोलॉजी ===


B(H) का पूर्ववर्ती [[ट्रेस क्लास]] ऑपरेटर्स C1(H) है, और यह B(H) पर w* -टोपोलॉजी उत्पन्न करता है, जिसे [[कमजोर-स्टार ऑपरेटर टोपोलॉजी]] या σ-कमजोर टोपोलॉजी कहा जाता है। कमजोर-ऑपरेटर और σ-कमजोर टोपोलॉजी B(H) में मानदंड-बद्ध समूह पर सहमत हैं।
<math>B(H)</math> का पूर्ववर्ती [[ट्रेस क्लास]] ऑपरेटर्स C1(H) है, और यह <math>B(H)</math> पर w* -टोपोलॉजी उत्पन्न करता है, जिसे [[कमजोर-स्टार ऑपरेटर टोपोलॉजी]] या σ-कमजोर टोपोलॉजी कहा जाता है। कमजोर-ऑपरेटर और σ-कमजोर टोपोलॉजी <math>B(H)</math> में मानदंड-बद्ध समूह पर सहमत हैं।


एक शुद्ध {Tα} ⊂ B(H) डब्लूओटी में T में परिवर्तित होता है यदि और केवल Tr(TαF) सभी [[परिमित-रैंक ऑपरेटर]] F के लिए Tr(TF) में परिवर्तित होता है। चूंकि प्रत्येक परिमित-रैंक ऑपरेटर ट्रेस-क्लास है, इसका तात्पर्य है कि डब्लूओटी σ-कमजोर टोपोलॉजी से कमजोर है। यह देखने के लिए कि दावा सत्य क्यों है, याद रखें कि प्रत्येक परिमित-रैंक ऑपरेटर F एक परिमित योग है
एक शुद्ध {Tα} ⊂ <math>B(H)</math> डब्लूओटी में T में परिवर्तित होता है यदि और सिर्फ Tr(TαF) सभी [[परिमित-रैंक ऑपरेटर]] F के लिए Tr(TF) में परिवर्तित होता है। चूंकि प्रत्येक परिमित-रैंक ऑपरेटर ट्रेस-क्लास है, इसका तात्पर्य है कि डब्लूओटी σ-कमजोर टोपोलॉजी से कमजोर है। यह देखने के लिए कि प्रमाणित सत्य क्यों है, याद रखें कि प्रत्येक परिमित-रैंक ऑपरेटर F एक परिमित योग है


:<math> F = \sum_{i=1}^n \lambda_i u_i v_i^*.</math>
:<math> F = \sum_{i=1}^n \lambda_i u_i v_i^*.</math>
Line 41: Line 41:
आसन्न ऑपरेशन T → T*, इसकी परिभाषा के तत्काल परिणाम के रूप में, डब्लूओटी में निरंतर है।
आसन्न ऑपरेशन T → T*, इसकी परिभाषा के तत्काल परिणाम के रूप में, डब्लूओटी में निरंतर है।


गुणन डब्लूओटी में संयुक्त रूप से निरंतर नहीं है: फिर से <math>T</math> को एकतरफा बदलाव होने दें। कॉची-श्वार्ज़ से अपील करते हुए, एक ने कहा कि <math>Tn</math> और <math>T*n</math> दोनों डब्लूओटी में 0 में परिवर्तित हो जाते हैं, लेकिन <math>T*nTn</math> सभी <math>n</math> के लिए आइडेंटिटी ऑपरेटर है। (क्योंकि डब्लूओटी बंधे हुए समूह पर σ-कमजोर टोपोलॉजी के साथ मेल खाता है, गुणन σ-कमजोर टोपोलॉजी में संयुक्त रूप से निरंतर नहीं है।)
गुणन डब्लूओटी में संयुक्त रूप से निरंतर नहीं है: फिर से <math>T</math> को एकतरफा बदलाव होने दें कॉची-श्वार्ज़ से अपील करते हुए, एक ने कहा कि <math>Tn</math> और <math>T*n</math> दोनों डब्लूओटी में 0 में परिवर्तित हो जाते हैं, लेकिन <math>T*nTn</math> सभी <math>n</math> के लिए आइडेंटिटी ऑपरेटर है। (क्योंकि डब्लूओटी बंधे हुए समूह पर σ-कमजोर टोपोलॉजी के साथ मेल खाता है, गुणन σ-कमजोर टोपोलॉजी में संयुक्त रूप से निरंतर नहीं है।)


हालाँकि, एक कमजोर दावा किया जा सकता है: यदि डब्लूओटी में एक शुद्ध ''T<sub>i</sub>'' → ''T'', तो डब्लूओटी में ''ST<sub>i</sub>'' → ''ST'' और ''T<sub>i</sub>S'' → ''TS'', गुणा अलग से निरंतर है।  
चूंकि, एक कमजोर प्रमाणित किया जा सकता है: यदि डब्लूओटी में एक शुद्ध ''T<sub>i</sub>'' → ''T'', तो डब्लूओटी में ''ST<sub>i</sub>'' → ''ST'' और ''T<sub>i</sub>S'' → ''TS'', गुणा भिन्न से निरंतर है।  


== B(X,Y) पर एसओटी और डब्लूओटी जब X और Y आदर्श स्थान हैं ==
== B(X,Y) पर एसओटी और डब्लूओटी जब X और Y आदर्श स्थान हैं ==


हम एसओटी और डब्ल्यूओटी की परिभाषाओं को और अधिक सामान्य सेटिंग तक बढ़ा सकते हैं जहां X और Y मानक स्थान हैं और <math>B(X,Y)</math> प्रपत्र के सीमित रैखिक ऑपरेटरों <math>T:X\to Y</math> का स्थान है, इस मामले में, प्रत्येक जोड़ी <math>x\in X</math> और <math>y^*\in Y^*</math> नियम <math>\|\cdot\|_{x,y^*}</math> के माध्यम से <math>B(X,Y)</math> पर एक सेमीनॉर्मा <math>\|T\|_{x,y^*}=|y^*(Tx)|</math> परिभाषित करती है। सेमीनॉर्म्स का परिणामी परिवार <math>B(X,Y)</math> पर कमजोर ऑपरेटर टोपोलॉजी उत्पन्न करता है। समान रूप से, <math>B(X,Y)</math> पर डब्लूओटी फॉर्म के उन समूहों को [[आधार (टोपोलॉजी)]] मानकर बनाया जाता है
हम एसओटी और डब्ल्यूओटी की परिभाषाओं को और अधिक सामान्य सेटिंग तक बढ़ा सकते हैं जहां X और Y मानक स्थान हैं और <math>B(X,Y)</math> प्रपत्र के सीमित रैखिक ऑपरेटरों <math>T:X\to Y</math> का स्थान है, इस स्थितिे में, प्रत्येक जोड़ी <math>x\in X</math> और <math>y^*\in Y^*</math> नियम <math>\|\cdot\|_{x,y^*}</math> के माध्यम से <math>B(X,Y)</math> पर एक सेमीनॉर्मा <math>\|T\|_{x,y^*}=|y^*(Tx)|</math> परिभाषित करती है। सेमीनॉर्म्स का परिणामी परिवार <math>B(X,Y)</math> पर कमजोर ऑपरेटर टोपोलॉजी उत्पन्न करता है। समान रूप से, <math>B(X,Y)</math> पर डब्लूओटी फॉर्म के उन समूहों को [[आधार (टोपोलॉजी)]] मानकर बनाया जाता है


:<math>N(T,F,\Lambda,\epsilon):= \left \{S\in B(X,Y): \left |y^*((S-T)x) \right |<\epsilon,x\in F,y^*\in\Lambda \right \},</math>
:<math>N(T,F,\Lambda,\epsilon):= \left \{S\in B(X,Y): \left |y^*((S-T)x) \right |<\epsilon,x\in F,y^*\in\Lambda \right \},</math>
जहां <math>T\in B(X,Y), F\subseteq X</math> एक सीमित समूह है और <math>\epsilon>0</math>, <math>\Lambda\subseteq Y^*</math> भी एक सीमित समूह है, स्पेस <math>B(X,Y)</math> एक स्थानीय रूप से उत्तल स्थलीय सदिश स्पेस है जब डब्ल्यूओटी के साथ संपन्न होता है।
जहां <math>T\in B(X,Y), F\subseteq X</math> एक सीमित समूह है और <math>\epsilon>0</math>, <math>\Lambda\subseteq Y^*</math> भी एक सीमित समूह है, स्पेस <math>B(X,Y)</math> एक स्थानीय रूप से उत्तल स्थलीय सदिश स्पेस है जब डब्ल्यूओटी के साथ संपन्न होता है।


नियमों के माध्यम से <math>\|T\|_x=\|Tx\|</math>, <math>B(X,Y)</math> पर मजबूत ऑपरेटर टोपोलॉजी सेमीनॉर्म्स के परिवार द्वारा उत्पन्न होती है, <math>\|\cdot\|_x, x\in X,</math> इस प्रकार, एसओटी के लिए एक सांस्थितिकीय आधार फॉर्म के ओपन पड़ोस द्वारा दिया जाता है
नियमों के माध्यम से <math>\|T\|_x=\|Tx\|</math>, <math>B(X,Y)</math> पर मजबूत ऑपरेटर टोपोलॉजी सेमीनॉर्म्स के परिवार द्वारा उत्पन्न होती है, <math>\|\cdot\|_x, x\in X,</math> इस प्रकार, एसओटी के लिए एक सांस्थितिकीय आधार फॉर्म के ओपन प्रतिवेश द्वारा दिया जाता है


:<math>N(T,F,\epsilon):=\{S\in B(X,Y):\|(S-T)x\|<\epsilon,x\in F\},</math> जहां पहले की तरह <math>T\in B(X,Y), F\subseteq X</math> एक परिमित समूह है, और <math>\epsilon>0.</math>
:<math>N(T,F,\epsilon):=\{S\in B(X,Y):\|(S-T)x\|<\epsilon,x\in F\},</math> जहां पहले का प्रकार <math>T\in B(X,Y), F\subseteq X</math> एक परिमित समूह है, और <math>\epsilon>0.</math>
:
:


=== B(X,Y) पर विभिन्न टोपोलॉजी के बीच संबंध ===
=== B(X,Y) पर विभिन्न टोपोलॉजी के बीच संबंध ===
विभिन्न टोपोलॉजी के लिए अलग-अलग शब्दावली <math>B(X,Y)</math> कभी-कभी भ्रमित हो सकती है। उदाहरण के लिए, एक मानक स्थान में सदिश के लिए मजबूत अभिसरण कभी-कभी मानदंड-अभिसरण को संदर्भित करता है, जो एसओटी-अभिसरण की तुलना में अधिकांशतः अलग (और इससे अधिक मजबूत) होता है जब प्रश्न में <math>B(X,Y)</math> मानक स्थान होता है, एक आदर्श स्थान पर [[कमजोर टोपोलॉजी]] <math>X</math> सबसे मोटी टोपोलॉजी है जो रैखिक कार्यों को बनाता है <math>X^*</math> निरंतर; जब हम लेते हैं <math>B(X,Y)</math> की जगह <math>X</math>, कमजोर टोपोलॉजी कमजोर ऑपरेटर टोपोलॉजी से बहुत अलग हो सकती है, और जबकि डब्लूओटी औपचारिक रूप से एसओटी से कमजोर है, और एसओटी ऑपरेटर मानक टोपोलॉजी से कमजोर होती है।
विभिन्न टोपोलॉजी के लिए भिन्न-भिन्न शब्दावली <math>B(X,Y)</math> कभी-कभी भ्रमित हो सकती है। उदाहरण के लिए, एक मानक स्थान में सदिश के लिए मजबूत अभिसरण कभी-कभी मानदंड-अभिसरण को संदर्भित करता है, जो एसओटी-अभिसरण की तुलना में अधिकांशतः भिन्न (और इससे अधिक मजबूत) होता है जब प्रश्न में <math>B(X,Y)</math> मानक स्थान होता है, एक आदर्श स्थान पर [[कमजोर टोपोलॉजी]] <math>X</math> सबसे मोटी टोपोलॉजी है जो रैखिक कार्यों को बनाता है <math>X^*</math> निरंतर; जब हम लेते हैं <math>B(X,Y)</math> की जगह <math>X</math>, कमजोर टोपोलॉजी कमजोर ऑपरेटर टोपोलॉजी से बहुत भिन्न हो सकती है, और जबकि डब्लूओटी औपचारिक रूप से एसओटी से कमजोर है, और एसओटी ऑपरेटर मानक टोपोलॉजी से कमजोर होती है।


सामान्य तौर पर, निम्नलिखित समावेशन धारण करते हैं:
सामान्यतः, निम्नलिखित समावेशन धारण करते हैं:


:<math>\{ \text{WOT-open sets in } B(X,Y)\} \subseteq \{\text{SOT-open sets in }B(X,Y)\} \subseteq \{\text{operator-norm-open sets in }B(X,Y)\},</math> और ये <math>X</math> और <math>Y</math> समावेशन विकल्पों के आधार पर सख्त हो सकते हैं या नहीं भी हो सकते हैं।
:<math>\{ \text{WOT-open sets in } B(X,Y)\} \subseteq \{\text{SOT-open sets in }B(X,Y)\} \subseteq \{\text{operator-norm-open sets in }B(X,Y)\},</math> और ये <math>X</math> और <math>Y</math> समावेशन विकल्पों के आधार पर सख्त हो सकते हैं या नहीं भी हो सकते हैं।
डब्लूओटी चालू है <math>B(X,Y)</math> एसओटी की तुलना में औपचारिक रूप से कमजोर टोपोलॉजी है, लेकिन फिर भी वे कुछ महत्वपूर्ण गुणों को साझा करते हैं। उदाहरण के लिए,


<math>B(X,Y)</math> पर डब्लूओटी औपचारिक रूप से एसओटी की तुलना में कमजोर टोपोलॉजी है, लेकिन फिर भी वे कुछ महत्वपूर्ण गुणों को साझा करते हैं। उदाहरण के लिए,
<math>B(X,Y)</math> पर डब्लूओटी औपचारिक रूप से एसओटी की तुलना में कमजोर टोपोलॉजी है, लेकिन फिर भी वे कुछ महत्वपूर्ण गुणों को साझा करते हैं। उदाहरण के लिए,


:<math>(B(X,Y),\text{SOT})^*=(B(X,Y),\text{WOT})^*.</math>
:<math>(B(X,Y),\text{SOT})^*=(B(X,Y),\text{WOT})^*.</math>
नतीजतन, अगर <math>S \subseteq B(X,Y)</math> तब उत्तल है
परिणाम स्वरुप, यदि <math>S \subseteq B(X,Y)</math> तब उत्तल है


<math>\overline{S}^\text{SOT}=\overline{S}^\text{WOT},</math>
<math>\overline{S}^\text{SOT}=\overline{S}^\text{WOT},</math>

Revision as of 23:54, 20 March 2023

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

स्पष्ट रूप से, एक ऑपरेटर के लिए निम्न प्रकार के प्रतिवेश का आधार है: एक ही परिमित समूह द्वारा अनुक्रमित सदिश , निरंतर कार्यात्मक , और सकारात्मक वास्तविक स्थिरांक की एक परिमित संख्या चुनी गयी है। यदि और सिर्फ यदि सभी के लिए, एक ऑपरेटर प्रतिवेश में स्थित है।

समतुल्य रूप से, बाध्य ऑपरेटरों का शुद्ध डब्लूओटी में में परिवर्तित हो जाता है यदि सभी और के लिए, जाल , में परिवर्तित हो जाता है।

पर अन्य टोपोलॉजी के साथ संबंध

हिल्बर्ट स्पेस पर बंधे हुए ऑपरेटर, डब्लूओटी पर सभी सामान्य टोपोलॉजी में सबसे कमजोर है।

मजबूत ऑपरेटर टोपोलॉजी

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

मजबूत ऑपरेटर टोपोलॉजी में निरंतर हिल्बर्ट स्पेस पर बंधे ऑपरेटरों के समूह पर रैखिक कार्यात्मक ठीक वही हैं जो डब्ल्यूओटी में निरंतर हैं (वास्तव में, डब्ल्यूओटी सबसे कमजोर ऑपरेटर टोपोलॉजी है, हिल्बर्ट स्पेस एच पर बंधे ऑपरेटरों के समूह जो निरंतर सभी दृढ़ता से निरंतर रैखिक कार्यात्मक छोड़ देता है। इस तथ्य के कारण, डब्लूओटी में ऑपरेटरों के एक उत्तल समूह का बंद होना, एसओटी में उस समूह के बंद होने के समान है।

यह ध्रुवीकरण पहचान के अनुसार होता है कि यदि और सिर्फ यदि डब्लूओटी में एक शुद्ध एसओटी में में अभिसरण करता है।

कमजोर-स्टार ऑपरेटर टोपोलॉजी

का पूर्ववर्ती ट्रेस क्लास ऑपरेटर्स C1(H) है, और यह पर w* -टोपोलॉजी उत्पन्न करता है, जिसे कमजोर-स्टार ऑपरेटर टोपोलॉजी या σ-कमजोर टोपोलॉजी कहा जाता है। कमजोर-ऑपरेटर और σ-कमजोर टोपोलॉजी में मानदंड-बद्ध समूह पर सहमत हैं।

एक शुद्ध {Tα} ⊂ डब्लूओटी में T में परिवर्तित होता है यदि और सिर्फ Tr(TαF) सभी परिमित-रैंक ऑपरेटर F के लिए Tr(TF) में परिवर्तित होता है। चूंकि प्रत्येक परिमित-रैंक ऑपरेटर ट्रेस-क्लास है, इसका तात्पर्य है कि डब्लूओटी σ-कमजोर टोपोलॉजी से कमजोर है। यह देखने के लिए कि प्रमाणित सत्य क्यों है, याद रखें कि प्रत्येक परिमित-रैंक ऑपरेटर F एक परिमित योग है

तो {Tα} डब्लूओटी में T में परिवर्तित हो जाता है

थोड़ा विस्तार करते हुए, कोई कह सकता है कि कमजोर-संचालक और σ-कमजोर टोपोलॉजी बी (एच) में मानक-बद्ध समूह पर सहमत हैं: प्रत्येक ट्रेस-क्लास ऑपरेटर का रूप है

जहाँ श्रृंखला अभिसरित होती है। मान लीजिए और डब्लूओटी में हर ट्रेस-क्लास S के लिए,

उदाहरण के लिए, वर्चस्व वाले अभिसरण प्रमेय का आह्वान करते है।

इसलिए बानाच-अलाग्लु प्रमेय द्वारा डब्लूओटी में प्रत्येक मानदंड-बद्ध सेट कॉम्पैक्ट है।

अन्य गुण

आसन्न ऑपरेशन T → T*, इसकी परिभाषा के तत्काल परिणाम के रूप में, डब्लूओटी में निरंतर है।

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

चूंकि, एक कमजोर प्रमाणित किया जा सकता है: यदि डब्लूओटी में एक शुद्ध TiT, तो डब्लूओटी में STiST और TiSTS, गुणा भिन्न से निरंतर है।

B(X,Y) पर एसओटी और डब्लूओटी जब X और Y आदर्श स्थान हैं

हम एसओटी और डब्ल्यूओटी की परिभाषाओं को और अधिक सामान्य सेटिंग तक बढ़ा सकते हैं जहां X और Y मानक स्थान हैं और प्रपत्र के सीमित रैखिक ऑपरेटरों का स्थान है, इस स्थितिे में, प्रत्येक जोड़ी और नियम के माध्यम से पर एक सेमीनॉर्मा परिभाषित करती है। सेमीनॉर्म्स का परिणामी परिवार पर कमजोर ऑपरेटर टोपोलॉजी उत्पन्न करता है। समान रूप से, पर डब्लूओटी फॉर्म के उन समूहों को आधार (टोपोलॉजी) मानकर बनाया जाता है

जहां एक सीमित समूह है और , भी एक सीमित समूह है, स्पेस एक स्थानीय रूप से उत्तल स्थलीय सदिश स्पेस है जब डब्ल्यूओटी के साथ संपन्न होता है।

नियमों के माध्यम से , पर मजबूत ऑपरेटर टोपोलॉजी सेमीनॉर्म्स के परिवार द्वारा उत्पन्न होती है, इस प्रकार, एसओटी के लिए एक सांस्थितिकीय आधार फॉर्म के ओपन प्रतिवेश द्वारा दिया जाता है

जहां पहले का प्रकार एक परिमित समूह है, और

B(X,Y) पर विभिन्न टोपोलॉजी के बीच संबंध

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

सामान्यतः, निम्नलिखित समावेशन धारण करते हैं:

और ये और समावेशन विकल्पों के आधार पर सख्त हो सकते हैं या नहीं भी हो सकते हैं।

पर डब्लूओटी औपचारिक रूप से एसओटी की तुलना में कमजोर टोपोलॉजी है, लेकिन फिर भी वे कुछ महत्वपूर्ण गुणों को साझा करते हैं। उदाहरण के लिए,

परिणाम स्वरुप, यदि तब उत्तल है

दूसरे शब्दों में, एसओटी-क्लोजर और डब्ल्यूओटी-क्लोजर उत्तल समूह के लिए मेल खाते हैं।

यह भी देखें

श्रेणी:टोपोलॉजिकल सदिश स्पेस श्रेणी:फ़ंक्शन स्पेस की टोपोलॉजी