सामान्य ऑपरेटर

गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, एक जटिल हिल्बर्ट स्थान  पर एक सामान्य ऑपरेटर एच एक सतत फ़ंक्शन (टोपोलॉजी) रैखिक ऑपरेटर एन है: एच → एच जो इसके साथ कम्यूटेटर है हर्मिटियन सहायक एन*, वह है: एनएन* = एन*एन। सामान्य ऑपरेटर महत्वपूर्ण हैं क्योंकि वर्णक्रमीय प्रमेय उनके लिए मान्य है। सामान्य ऑपरेटरों का वर्ग अच्छी तरह से समझा जाता है। सामान्य ऑपरेटरों के उदाहरण हैं
 * एकात्मक संचालक: एन* = एन−1
 * हर्मिटियन ऑपरेटर्स (यानी, स्व-सहायक ऑपरेटर्स): एन* = एन
 * तिरछा-Hermitian ऑपरेटर: एन* = −एन
 * सकारात्मक ऑपरेटर: कुछ एम के लिए एन = एमएम* (इसलिए एन स्व-सहायक है)।

एक सामान्य मैट्रिक्स हिल्बर्ट स्पेस 'सी' पर एक सामान्य ऑपरेटर की मैट्रिक्स अभिव्यक्ति हैn.

गुण
सामान्य ऑपरेटरों को वर्णक्रमीय प्रमेय द्वारा चित्रित किया जाता है। हिल्बर्ट स्पेस पर एक कॉम्पैक्ट ऑपरेटर (विशेष रूप से, एक परिमित-आयामी रैखिक स्थान पर एक सामान्य ऑपरेटर) इकाई रूप से विकर्ण योग्य है।

होने देना $$T$$ एक बाध्य ऑपरेटर बनें। निम्नलिखित समतुल्य हैं. अगर $$N$$ तो फिर, यह एक सामान्य ऑपरेटर है $$N$$ और $$N^*$$ एक ही कर्नेल और एक ही रेंज है। नतीजतन, की सीमा $$N$$ सघन है यदि और केवल यदि $$N$$ इंजेक्शन है. दूसरे तरीके से कहें तो, एक सामान्य ऑपरेटर का कर्नेल उसकी सीमा का ऑर्थोगोनल पूरक है। यह इस प्रकार है कि ऑपरेटर का कर्नेल $$N^k$$ के साथ मेल खाता है $$N$$ किसी के लिए $$k.$$ इस प्रकार एक सामान्य ऑपरेटर का प्रत्येक सामान्यीकृत eigenvalue वास्तविक होता है। $$\lambda$$ एक सामान्य ऑपरेटर का एक eigenvalue है $$N$$ यदि और केवल यदि यह जटिल संयुग्म है $$\overline{\lambda}$$ का एक प्रतिरूप है $$N^*.$$ विभिन्न eigenvalues ​​​​के अनुरूप एक सामान्य ऑपरेटर के eigenvectors ऑर्थोगोनल होते हैं, और एक सामान्य ऑपरेटर अपने प्रत्येक eigenspaces के ऑर्थोगोनल पूरक को स्थिर करता है। इसका तात्पर्य सामान्य वर्णक्रमीय प्रमेय से है: परिमित-आयामी स्थान पर प्रत्येक सामान्य ऑपरेटर एक एकात्मक ऑपरेटर द्वारा विकर्णीय होता है। प्रक्षेपण-मूल्य मापों के संदर्भ में व्यक्त वर्णक्रमीय प्रमेय का एक अनंत-आयामी संस्करण भी है। एक सामान्य ऑपरेटर का अवशिष्ट स्पेक्ट्रम खाली होता है।
 * $$T$$ यह सामान्य है।
 * $$T^*$$ यह सामान्य है।
 * $$\|T x\| = \|T^* x\|$$ सभी के लिए $$x$$ (उपयोग $$\|Tx\|^2 = \langle T^* Tx, x \rangle = \langle T T^*x, x \rangle = \|T^*x\|^2$$).
 * स्व-संयुक्त और विरोधी-स्व-सहायक भाग $$T$$ आना-जाना। अर्थात यदि $$T$$ के रूप में लिखा गया है $$T = T_1 + i T_2$$ साथ $$T_1 := \frac{T+T^*}{2}$$ और $$i\,T_2 := \frac{T-T^*}{2},$$ तब $$T_1 T_2 = T_2 T_1.$$

आवागमन करने वाले सामान्य ऑपरेटरों का उत्पाद फिर से सामान्य है; यह गैर-तुच्छ है, लेकिन सीधे फुगलेडे के प्रमेय से अनुसरण करता है, जो बताता है (पुतनम द्वारा सामान्यीकृत रूप में):


 * अगर $$N_1$$ और $$N_2$$ सामान्य ऑपरेटर हैं और यदि $$A$$ एक परिबद्ध रैखिक संचालिका है जैसे कि $$N_1 A = A N_2,$$ तब $$N_1^* A = A N_2^*$$.

एक सामान्य ऑपरेटर का ऑपरेटर मानदंड उसके संख्यात्मक त्रिज्या के बराबर होता है और वर्णक्रमीय त्रिज्या।

एक सामान्य ऑपरेटर अपने अलुथगे परिवर्तन के साथ मेल खाता है।

परिमित-आयामी मामले में गुण
यदि एक परिमित-आयामी वास्तविक पर एक सामान्य ऑपरेटर टी या जटिल हिल्बर्ट स्पेस (आंतरिक उत्पाद स्थान) एच एक उपस्पेस वी को स्थिर करता है, फिर यह इसके ऑर्थोगोनल पूरक वी को भी स्थिर करता है⊥. (यह कथन उस मामले में तुच्छ है जहां टी स्व-सहायक है।)

सबूत। चलो पीVV पर ओर्थोगोनल प्रक्षेपण हो। फिर V पर ओर्थोगोनल प्रक्षेपण⊥ 1 हैH-पीV. तथ्य यह है कि T, V को स्थिर करता है, इसे ('1') के रूप में व्यक्त किया जा सकता हैH-पीV)टीपीV= 0, या टीपीV= पीVटी.पीV. लक्ष्य यह दिखाना है कि पीVटी('1'H-पीV) = 0.

माना X = PVटी('1'H-पीV). चूँकि (A, B) ↦ tr(AB*) H के एंडोमोर्फिज्म के स्थान पर एक आंतरिक उत्पाद है, यह दिखाने के लिए पर्याप्त है कि tr(XX*) = 0. सबसे पहले हम ध्यान दें कि
 * $$\begin{align}

XX^* &= P_V T(\boldsymbol{1}_H - P_V)^2 T^* P_V \\ &= P_V T(\boldsymbol{1}_H - P_V) T^* P_V \\ &= P_V T T^* P_V - P_V T P_V T^* P_V. \end {align}$$ अब ट्रेस (रैखिक बीजगणित) और ऑर्थोगोनल अनुमानों के गुणों का उपयोग करते हुए हमारे पास है:


 * $$\begin{align}

\operatorname{tr}(XX^*) &= \operatorname{tr} \left ( P_VTT^*P_V - P_VTP_VT^*P_V \right ) \\ &= \operatorname{tr}(P_VTT^*P_V) - \operatorname{tr}(P_VTP_VT^*P_V) \\ &= \operatorname{tr}(P_V^2TT^*) - \operatorname{tr}(P_V^2TP_VT^*) \\ &= \operatorname{tr}(P_VTT^*) - \operatorname{tr}(P_VTP_VT^*) \\ &= \operatorname{tr}(P_VTT^*) - \operatorname{tr}(TP_VT^*) && \text{using the hypothesis that } T \text{ stabilizes } V\\ &= \operatorname{tr}(P_VTT^*) - \operatorname{tr}(P_VT^*T) \\ &= \operatorname{tr}(P_V(TT^*-T^*T)) \\ &= 0. \end{align}$$ अनंत आयामी हिल्बर्ट स्थानों में कॉम्पैक्ट सामान्य ऑपरेटरों के लिए भी यही तर्क लागू होता है, जहां कोई हिल्बर्ट-श्मिट आंतरिक उत्पाद का उपयोग करता है, जिसे tr(AB*) द्वारा परिभाषित किया गया है, जिसकी उपयुक्त व्याख्या की गई है। हालाँकि, बंधे हुए सामान्य ऑपरेटरों के लिए, एक स्थिर उप-स्थान के लिए ऑर्थोगोनल पूरक स्थिर नहीं हो सकता है। इसका तात्पर्य यह है कि हिल्बर्ट स्पेस को सामान्य रूप से सामान्य ऑपरेटर के आइजनवेक्टर द्वारा विस्तारित नहीं किया जा सकता है। उदाहरण के लिए, द्विपक्षीय बदलाव (या दोतरफा बदलाव) पर विचार करें $$\ell^2$$, जो सामान्य है, लेकिन इसका कोई स्वदेशी मान नहीं है।

हार्डी स्पेस पर अभिनय करने वाले शिफ्ट के अपरिवर्तनीय उप-स्थानों को बर्लिंग के प्रमेय द्वारा चित्रित किया गया है।

बीजगणित के सामान्य तत्व
सामान्य ऑपरेटरों की धारणा एक अनैच्छिक बीजगणित के लिए सामान्यीकरण करती है:

एक अव्यवस्थित बीजगणित का एक तत्व x सामान्य कहा जाता है यदि xx* = x*x।

स्वसंयुक्त एवं एकात्मक तत्व सामान्य हैं।

सबसे महत्वपूर्ण मामला तब होता है जब ऐसा बीजगणित C*-बीजगणित होता है।

असंबद्ध सामान्य ऑपरेटर
सामान्य ऑपरेटरों की परिभाषा स्वाभाविक रूप से अनबाउंड ऑपरेटरों के कुछ वर्ग के लिए सामान्यीकृत होती है। स्पष्ट रूप से, एक बंद ऑपरेटर एन को सामान्य कहा जाता है यदि
 * $$N^*N = NN^*.$$

यहां, सहायक N* के अस्तित्व के लिए आवश्यक है कि N का डोमेन सघन हो, और समानता में यह दावा शामिल है कि N*N का डोमेन NN* के डोमेन के बराबर है, जो सामान्य रूप से जरूरी नहीं है।

समान रूप से सामान्य ऑपरेटर बिल्कुल वही होते हैं जिनके लिए
 * $$\|Nx\|=\|N^*x\|\qquad$$ साथ
 * $$\mathcal{D}(N)=\mathcal{D}(N^*).$$

वर्णक्रमीय प्रमेय अभी भी असीमित (सामान्य) ऑपरेटरों के लिए लागू है। प्रूफ़ बाउंडेड (सामान्य) ऑपरेटरों में कमी करके काम करते हैं।

सामान्यीकरण
सामान्य ऑपरेटरों के सिद्धांत की सफलता ने क्रमपरिवर्तन की आवश्यकता को कमजोर करके सामान्यीकरण के कई प्रयासों को जन्म दिया। ऑपरेटरों की श्रेणियाँ जिनमें सामान्य ऑपरेटर शामिल हैं (शामिल करने के क्रम में)
 * हाइपोनॉर्मल ऑपरेटर्स
 * नॉर्मलॉयड
 * अपसामान्य संचालिका
 * अर्धसामान्य ऑपरेटर
 * असामान्य ऑपरेटर