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

From Vigyanwiki
(Created page with "{{Short description|Weak topology on function spaces}} {{unreferenced|date=June 2008}} कार्यात्मक विश्लेषण में, कमजोर...")
 
No edit summary
Line 1: Line 1:
{{Short description|Weak topology on function spaces}}
{{Short description|Weak topology on function spaces}}
{{unreferenced|date=June 2008}}
{{unreferenced|date=June 2008}}
[[कार्यात्मक विश्लेषण]] में, कमजोर ऑपरेटर [[टोपोलॉजी]], अक्सर संक्षिप्त WOT, [[ हिल्बर्ट अंतरिक्ष ]] पर बंधे ऑपरेटरों के सेट पर सबसे कमजोर टोपोलॉजी है। <math>H</math>, जैसे कि [[कार्यात्मक (गणित)]] एक ऑपरेटर भेज रहा है <math>T</math> जटिल संख्या के लिए <math>\langle Tx, y\rangle</math> किसी भी सदिश के लिए सतत फलन है <math>x</math> और <math>y</math> हिल्बर्ट अंतरिक्ष में।
[[कार्यात्मक विश्लेषण]] में, कमजोर ऑपरेटर [[टोपोलॉजी]], अधिकांशतः संक्षिप्त डब्लूओटी, [[ हिल्बर्ट अंतरिक्ष ]] पर बंधे ऑपरेटरों के सेट पर सबसे कमजोर टोपोलॉजी है। <math>H</math>, जैसे कि [[कार्यात्मक (गणित)]] एक ऑपरेटर भेज रहा है <math>T</math> जटिल संख्या के लिए <math>\langle Tx, y\rangle</math> किसी भी सदिश के लिए सतत फलन है <math>x</math> और <math>y</math> हिल्बर्ट अंतरिक्ष में।


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


समतुल्य, एक [[नेट (गणित)]] <math>T_i \subseteq B(H)</math> बाउंडेड ऑपरेटर्स का अभिसरण होता है <math>T \in B(H)</math> WOT में अगर सभी के लिए <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>.


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


हिल्बर्ट स्पेस | टोपोलॉजी पर ऑपरेटरों के सेट पर WOT सभी सामान्य टोपोलॉजी में सबसे कमजोर है <math>B(H)</math>, हिल्बर्ट स्पेस पर बंधे हुए ऑपरेटर <math>H</math>.
हिल्बर्ट स्पेस | टोपोलॉजी पर ऑपरेटरों के सेट पर डब्लूओटी सभी सामान्य टोपोलॉजी में सबसे कमजोर है <math>B(H)</math>, हिल्बर्ट स्पेस पर बंधे हुए ऑपरेटर <math>H</math>.


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


मजबूत ऑपरेटर टोपोलॉजी, या एसओटी, ऑन <math>B(H)</math> बिंदुवार अभिसरण की टोपोलॉजी है। क्योंकि आंतरिक उत्पाद एक सतत कार्य है, SOT WOT से अधिक मजबूत है। निम्नलिखित उदाहरण से पता चलता है कि यह समावेश सख्त है। होने देना <math>H = \ell^2(\mathbb N)</math> और क्रम पर विचार करें <math>\{T^n\}</math> एकतरफा पारियों की। कौशी-श्वार्ज़ के एक प्रयोग से यह पता चलता है <math>T^n \to 0</math> WOT में। लेकिन स्पष्ट रूप से <math>T^n</math> में नहीं मिलता है <math>0</math> एसओटी में।
मजबूत ऑपरेटर टोपोलॉजी, या एसओटी, ऑन <math>B(H)</math> बिंदुवार अभिसरण की टोपोलॉजी है। क्योंकि आंतरिक उत्पाद एक सतत कार्य है, SOT डब्लूओटी से अधिक मजबूत है। निम्नलिखित उदाहरण से पता चलता है कि यह समावेश सख्त है। होने देना <math>H = \ell^2(\mathbb N)</math> और क्रम पर विचार करें <math>\{T^n\}</math> एकतरफा पारियों की। कौशी-श्वार्ज़ के एक प्रयोग से यह पता चलता है <math>T^n \to 0</math> डब्लूओटी में। लेकिन स्पष्ट रूप से <math>T^n</math> में नहीं मिलता है <math>0</math> एसओटी में।


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


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


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


एक जाल {टी<sub>&alpha;</sub>} ⊂ B(H) WOT में T में परिवर्तित होता है यदि और केवल Tr(T<sub>&alpha;</sub>F) सभी [[परिमित-रैंक ऑपरेटर]] F के लिए Tr(TF) में परिवर्तित होता है। चूंकि प्रत्येक परिमित-रैंक ऑपरेटर ट्रेस-क्लास है, इसका तात्पर्य है कि WOT σ-कमजोर टोपोलॉजी से कमजोर है। यह देखने के लिए कि दावा सत्य क्यों है, याद रखें कि प्रत्येक परिमित-रैंक ऑपरेटर F एक परिमित योग है
एक जाल {टी<sub>&alpha;</sub>} ⊂ B(H) डब्लूओटी में T में परिवर्तित होता है यदि और केवल Tr(T<sub>&alpha;</sub>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>
तो {टी<sub>&alpha;</sub>} WOT साधन में T में परिवर्तित होता है
तो {टी<sub>&alpha;</sub>} डब्लूओटी साधन में T में परिवर्तित होता है


:<math> \text{Tr} \left ( T_{\alpha} F \right )  =  \sum_{i=1}^n \lambda_i v_i^* \left ( T_{\alpha} u_i \right ) \longrightarrow \sum_{i=1}^n \lambda_i v_i^* \left ( T u_i \right ) = \text{Tr} (TF).</math>
:<math> \text{Tr} \left ( T_{\alpha} F \right )  =  \sum_{i=1}^n \lambda_i v_i^* \left ( T_{\alpha} u_i \right ) \longrightarrow \sum_{i=1}^n \lambda_i v_i^* \left ( T u_i \right ) = \text{Tr} (TF).</math>
Line 32: Line 32:


:<math> S = \sum_i \lambda_i u_i v_i^*,</math>
:<math> S = \sum_i \lambda_i u_i v_i^*,</math>
जहां श्रृंखला <math>\sum\nolimits_i \lambda_i</math> अभिसरण। कल्पना करना <math>\sup\nolimits_{\alpha} \|T_{\alpha} \| = k < \infty,</math> और <math>T_{\alpha} \to T</math> WOT में। हर ट्रेस-क्लास S के लिए,
जहां श्रृंखला <math>\sum\nolimits_i \lambda_i</math> अभिसरण। कल्पना करना <math>\sup\nolimits_{\alpha} \|T_{\alpha} \| = k < \infty,</math> और <math>T_{\alpha} \to T</math> डब्लूओटी में। हर ट्रेस-क्लास S के लिए,


:<math> \text{Tr} \left ( T_{\alpha} S \right )  =  \sum_i \lambda_i v_i^* \left ( T_{\alpha} u_i \right ) \longrightarrow \sum_i \lambda_i v_i^* \left ( T u_i \right ) = \text{Tr} (TS),</math>
:<math> \text{Tr} \left ( T_{\alpha} S \right )  =  \sum_i \lambda_i v_i^* \left ( T_{\alpha} u_i \right ) \longrightarrow \sum_i \lambda_i v_i^* \left ( T u_i \right ) = \text{Tr} (TS),</math>
उदाहरण के लिए, वर्चस्व वाले अभिसरण प्रमेय का आह्वान करके।
उदाहरण के लिए, वर्चस्व वाले अभिसरण प्रमेय का आह्वान करके।


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


== अन्य गुण ==
== अन्य गुण ==


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


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


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


== एसओटी और डब्ल्यूओटी बी (एक्स, वाई) पर जब एक्स और वाई मानक स्थान हैं ==
== एसओटी और डब्ल्यूओटी बी (एक्स, वाई) पर जब एक्स और वाई मानक स्थान हैं ==


हम SOT और WOT की परिभाषाओं को अधिक सामान्य सेटिंग तक बढ़ा सकते हैं जहां 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>. समान रूप से, WOT ऑन <math>B(X,Y)</math> फॉर्म के उन सेटों को [[आधार (टोपोलॉजी)]] मानकर बनाया जाता है
हम SOT और डब्लूओटी की परिभाषाओं को अधिक सामान्य सेटिंग तक बढ़ा सकते हैं जहां 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>\Lambda\subseteq Y^*</math> एक परिमित समुच्चय भी है, और <math>\epsilon>0</math>. अंतरिक्ष <math>B(X,Y)</math> WOT से संपन्न होने पर स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस होता है।
कहाँ <math>T\in B(X,Y), F\subseteq X</math> एक परिमित समुच्चय है, <math>\Lambda\subseteq Y^*</math> एक परिमित समुच्चय भी है, और <math>\epsilon>0</math>. अंतरिक्ष <math>B(X,Y)</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>\|T\|_x=\|Tx\|</math>. इस प्रकार, एसओटी के लिए एक सांस्थितिकीय आधार फॉर्म के खुले पड़ोस द्वारा दिया जाता है
Line 61: Line 61:
=== बी (एक्स, वाई) === पर विभिन्न टोपोलॉजी के बीच संबंध
=== बी (एक्स, वाई) === पर विभिन्न टोपोलॉजी के बीच संबंध


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


सामान्य तौर पर, निम्नलिखित समावेशन धारण करते हैं:
सामान्य तौर पर, निम्नलिखित समावेशन धारण करते हैं:
Line 67: Line 67:
:<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>.


WOT चालू है <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>

Revision as of 09:51, 17 March 2023

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

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

समतुल्य, एक नेट (गणित) बाउंडेड ऑपरेटर्स का अभिसरण होता है डब्लूओटी में अगर सभी के लिए और , जाल में विलीन हो जाता है .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

अन्य गुण

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

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

हालाँकि, एक कमजोर दावा किया जा सकता है: डब्लूओटी में गुणा अलग से निरंतर है। अगर नेट टीi→ डब्लूओटी में T, फिर STi→ एसटी और टीiडब्लूओटी में S → TS।

एसओटी और डब्ल्यूओटी बी (एक्स, वाई) पर जब एक्स और वाई मानक स्थान हैं

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

कहाँ एक परिमित समुच्चय है, एक परिमित समुच्चय भी है, और . अंतरिक्ष डब्लूओटी से संपन्न होने पर स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस होता है।

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

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


=== बी (एक्स, वाई) === पर विभिन्न टोपोलॉजी के बीच संबंध

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

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

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

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

नतीजतन, अगर तब उत्तल है

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

यह भी देखें

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