View source for वीक ऑपरेटर टोपोलॉजी

{{Short description|Weak topology on function spaces}}
[[कार्यात्मक विश्लेषण]] में कमजोर ऑपरेटर [[टोपोलॉजी]], अधिकांशतः संक्षिप्त डब्लूओटी [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्पेस]] पर परिबद्ध प्रचालकों के समूह की सबसे कमज़ोर टोपोलॉजी है। <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_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>B(H)</math> पर अन्य टोपोलॉजी के साथ संबंध ==
हिल्बर्ट स्पेस <math>H</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> पर मजबूत ऑपरेटर टोपोलॉजी, या एसओटी, बिंदुवार अभिसरण की टोपोलॉजी है।''' 

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

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

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

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

एक जाल {टी<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>
तो {टी<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> 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> डब्लूओटी में। हर ट्रेस-क्लास 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>
उदाहरण के लिए, वर्चस्व वाले अभिसरण प्रमेय का आह्वान करके।

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

== अन्य गुण ==

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

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

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

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

हम 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>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>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>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 ऑपरेटर मानक टोपोलॉजी से कमजोर है।

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

:<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),\text{SOT})^*=(B(X,Y),\text{WOT})^*.</math>
नतीजतन, अगर <math>S \subseteq B(X,Y)</math> तब उत्तल है

:<math>\overline{S}^\text{SOT}=\overline{S}^\text{WOT},</math> दूसरे शब्दों में, एसओटी-क्लोजर और डब्ल्यूओटी-क्लोजर उत्तल सेट के लिए मेल खाते हैं।

== यह भी देखें ==

* {{annotated link|Topologies on the set of operators on a Hilbert space}}
* {{annotated link|Weak topology}}
* {{annotated link|Weak-star operator topology}}

{{Functional analysis}}
{{Banach spaces}}
{{Hilbert space}}
{{Duality and spaces of linear maps}}

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


[[Category: Machine Translated Page]]
[[Category:Created On 01/03/2023]]