View source for हिल्बर्ट स्पेस पर कॉम्पैक्ट ऑपरेटर

[[कार्यात्मक विश्लेषण]] के गणितीय अनुशासन में, [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट अंतरिक्ष]] पर एक [[कॉम्पैक्ट ऑपरेटर]] की अवधारणा परिमित-आयामी वेक्टर स्पेस पर अभिनय करने वाले मैट्रिक्स की अवधारणा का विस्तार है; हिल्बर्ट स्पेस में, कॉम्पैक्ट ऑपरेटर [[ऑपरेटर मानदंड]] से प्रेरित [[टोपोलॉजी]] में [[परिमित-रैंक ऑपरेटर]]ों (परिमित-आयामी मैट्रिसेस द्वारा प्रतिनिधित्व योग्य) के ठीक से बंद होते हैं। जैसे, मैट्रिक्स सिद्धांत के परिणाम कभी-कभी समान तर्कों का उपयोग करके कॉम्पैक्ट ऑपरेटरों तक बढ़ाए जा सकते हैं। इसके विपरीत, अनंत-आयामी स्थानों पर सामान्य संचालकों के अध्ययन के लिए अक्सर वास्तव में अलग दृष्टिकोण की आवश्यकता होती है।

उदाहरण के लिए, बनच रिक्त स्थान पर [[कॉम्पैक्ट ऑपरेटरों के वर्णक्रमीय सिद्धांत]] एक ऐसा रूप लेता है जो मैट्रिसेस के [[जॉर्डन विहित रूप]] के समान है। हिल्बर्ट रिक्त स्थान के संदर्भ में, एक वर्ग मैट्रिक्स एकात्मक रूप से विकर्णीय है यदि और एकमात्र यदि यह [[सामान्य ऑपरेटर]] है। हिल्बर्ट रिक्त स्थान पर सामान्य कॉम्पैक्ट ऑपरेटरों के लिए एक समान परिणाम होता है। अधिक आम तौर पर, कॉम्पैक्टनेस धारणा को छोड़ा जा सकता है। जैसा कि ऊपर कहा गया है, परिणामों को साबित करने के लिए इस्तेमाल की जाने वाली तकनीकें, उदाहरण के लिए, गैर-कॉम्पैक्ट मामले में [[वर्णक्रमीय प्रमेय]], आमतौर पर भिन्न होती हैं, जिसमें [[स्पेक्ट्रम (कार्यात्मक विश्लेषण)]] पर ऑपरेटर-मूल्यवान माप (गणित) शामिल होते हैं।

हिल्बर्ट स्पेस पर कॉम्पैक्ट ऑपरेटरों के कुछ परिणामों पर चर्चा की जाएगी, कॉम्पैक्ट ऑपरेटरों के उपवर्गों पर विचार करने से पहले सामान्य गुणों के साथ शुरू करना।

== परिभाषा ==
होने देना <math>H</math> हिल्बर्ट स्पेस बनें और <math>L(H)</math> बंधे हुए ऑपरेटरों का सेट हो<math>H</math>. फिर, एक ऑपरेटर <math>T\in L(H)</math> एक कॉम्पैक्ट ऑपरेटर कहा जाता है यदि प्रत्येक बाउंड की छवि के तहत सेट किया गया हो <math>T</math> [[अपेक्षाकृत कॉम्पैक्ट सबस्पेस]] है।

== कुछ सामान्य गुण ==
हम इस खंड में कॉम्पैक्ट ऑपरेटरों के कुछ सामान्य गुण सूचीबद्ध करते हैं।

यदि X और Y वियोज्य हिल्बर्ट रिक्त स्थान हैं (वास्तव में, X Banach और Y मानक पर्याप्त होंगे), तो T : X → Y कॉम्पैक्ट है यदि और एकमात्र यदि यह [[क्रमिक रूप से निरंतर]] है जब इसे कमजोर अभिसरण के साथ X से मानचित्र के रूप में देखा जाता है (हिल्बर्ट अंतरिक्ष) से वाई (मानक टोपोलॉजी के साथ)। (देखना {{harv|Zhu|2007|loc=Theorem 1.14, p.11}}, और इस संदर्भ में ध्यान दें कि समान सीमा उस स्थिति में लागू होगी जहां F ⊆ X संतुष्ट करता है (∀φ ∈ Hom(X, K)) sup{x**(φ) = φ(x) : x} < ∞ , जहां K अंतर्निहित क्षेत्र है। समरूप सीमा सिद्धांत लागू होता है क्योंकि होम (एक्स, के) आदर्श टोपोलॉजी के साथ एक बैनाच स्पेस होगा, और मानचित्र x **: होम (एक्स, के) → के इस टोपोलॉजी के संबंध में निरंतर होमोमोर्फिज्म हैं।)

कॉम्पैक्ट ऑपरेटरों का परिवार एक मानक-बंद, दो-तरफा, *-एल (एच) में आदर्श है। नतीजतन, यदि एच अनंत-आयामी है तो एक कॉम्पैक्ट ऑपरेटर टी में एक बाध्य उलटा नहीं हो सकता है। यदि ST = TS = I, तो पहचान संकारक कॉम्पैक्ट होगा, एक विरोधाभास।

यदि परिबद्ध संकारकों का अनुक्रम B<sub>n</sub>→ बी, सी<sub>n</sub>→ C [[मजबूत ऑपरेटर टोपोलॉजी]] में और T कॉम्पैक्ट है, फिर <math>B_nTC_n^*</math> में विलीन हो जाता है <math>BTC^*</math> आदर्श रूप में।<ref>{{cite journal| last1=Widom| first1=H.| title= ब्लॉक टोप्लिट्ज मैट्रिसेस और निर्धारकों का स्पर्शोन्मुख व्यवहार। द्वितीय|journal=[[Advances in Mathematics]]| date=1976| volume=21| issue=1| pages=1–29|doi=10.1016/0001-8708(76)90113-4|doi-access=free}}</ref> उदाहरण के लिए, हिल्बर्ट स्पेस पर विचार करें <math>\ell^2(\mathbf{N}),</math> मानक आधार के साथ {ई<sub>n</sub>}. चलो पी<sub>m</sub>{ई के रैखिक विस्तार पर ओर्थोगोनल प्रक्षेपण हो<sub>1</sub>, ..., यह है<sub>m</sub>}. अनुक्रम {पी<sub>m</sub>} आइडेंटिटी ऑपरेटर I में दृढ़ता से परिवर्तित होता है किन्तु समान रूप से नहीं। T को परिभाषित कीजिए <math>Te_n = \tfrac{1}{n^2} e_n.</math> टी कॉम्पैक्ट है, और, जैसा कि ऊपर दावा किया गया है, पी<sub>m</sub>टी → आईटी = टी यूनिफॉर्म ऑपरेटर टोपोलॉजी में: सभी एक्स के लिए,
<math display="block">\left\| P_m T x - T x \right \| \leq \left( \frac{1}{m+1}\right)^2 \| x \|.</math>
प्रत्येक पी पर ध्यान दें<sub>m</sub>एक परिमित-रैंक ऑपरेटर है। इसी तरह के तर्क से पता चलता है कि यदि टी कॉम्पैक्ट है, तो टी परिमित-रैंक ऑपरेटरों के कुछ अनुक्रमों की एक समान सीमा है।

कॉम्पैक्ट ऑपरेटरों के आदर्श के मानदंड-निकटता से, इसका विलोम भी सत्य है।

कॉम्पैक्ट ऑपरेटरों के एल (एच) मॉड्यूलो के अंश सी * - बीजगणित को कैल्किन बीजगणित कहा जाता है, जिसमें एक ऑपरेटर के गुणों को कॉम्पैक्ट गड़बड़ी तक माना जा सकता है।

== कॉम्पैक्ट [[स्व-आसन्न ऑपरेटर]] ==
एक हिल्बर्ट स्पेस एच पर एक परिबद्ध ऑपरेटर टी को स्व-संबद्ध ऑपरेटर कहा जाता है | स्व-संयोजित यदि टी = टी *, या समकक्ष,

<math display="block">\langle T x, y \rangle = \langle x, T y \rangle, \quad x, y \in H.</math>
यह इस प्रकार है कि ⟨Tx, x⟩ प्रत्येक x ∈ H के लिए वास्तविक है, इस प्रकार T के इगेनवैल्यूज़ , जब वे मौजूद हैं, वास्तविक हैं। जब H का एक बंद रेखीय उप-स्थान T के अंतर्गत अपरिवर्तनीय होता है, तो T से L का प्रतिबंध L पर एक स्व-आसन्न ऑपरेटर होता है, और इसके अलावा, [[ऑर्थोगोनल पूरक]] L<sup>एल का ⊥</sup> भी टी के तहत अपरिवर्तनीय है। उदाहरण के लिए, स्थान एच को दो टी-इनवेरिएंट बंद रैखिक उप-स्थानों के ऑर्थोगोनल [[प्रत्यक्ष योग]] के रूप में विघटित किया जा सकता है: टी का [[कर्नेल (रैखिक ऑपरेटर)]], और ऑर्थोगोनल पूरक {{math|(ker ''T'')<sup>⊥</sup>}कर्नेल का } (जो कि किसी भी बंधे स्व-आसन्न ऑपरेटर के लिए टी की सीमा के बंद होने के बराबर है)। ये मूल तथ्य नीचे वर्णक्रमीय प्रमेय के प्रमाण में महत्वपूर्ण भूमिका निभाते हैं।

हर्मिटियन के लिए वर्गीकरण परिणाम {{math|''n'' × ''n''}} मेट्रिसेस स्पेक्ट्रल प्रमेय है: यदि एम = एम *, तो एम एकात्मक रूप से विकर्ण है, और एम के विकर्ण में वास्तविक प्रविष्टियाँ हैं। टी को एक हिल्बर्ट स्पेस एच पर एक कॉम्पैक्ट स्व-आसन्न ऑपरेटर होने दें। हम टी के लिए एक ही कथन साबित करेंगे: ऑपरेटर टी को ईजेनवेक्टरों के एक ऑर्थोनॉर्मल सेट द्वारा विकर्ण किया जा सकता है, जिनमें से प्रत्येक एक वास्तविक ईजेनवेल्यू से मेल खाता है।

=== स्पेक्ट्रल प्रमेय ===
प्रमेय एक वास्तविक या जटिल हिल्बर्ट स्पेस ''H'' पर प्रत्येक कॉम्पैक्ट स्व-आसन्न ऑपरेटर ''T'' के लिए, ''T'' के इगेनवेक्टर्स से मिलकर ''H'' का एक असामान्य आधार मौजूद है। अधिक विशेष रूप से, 'टी' के कर्नेल का ऑर्थोगोनल पूरक या तो ''टी'' के ईजेनवेक्टरों के परिमित ऑर्थोनॉर्मल आधार को स्वीकार करता है, या एक [[गणनीय सेट]] ऑर्थोनॉर्मल आधार {''e<sub>n</sub>} T के eigenvectors, इसी eigenvalues के साथ {{math|{''λ<sub>n</sub>''} ⊂ '''R'''}}, ऐसा है कि {{math|''λ<sub>n</sub>'' → 0}}.

दूसरे शब्दों में, एक कॉम्पैक्ट स्व-आसन्न ऑपरेटर को एकात्मक रूप से विकर्ण किया जा सकता है। यह वर्णक्रमीय प्रमेय है।

जब एच [[वियोज्य स्थान]] है, तो कोई आधार {ई को मिला सकता है<sub>n</sub>} टी के कर्नेल के लिए एक गणनीय सेट ऑर्थोनॉर्मल आधार के साथ, और एक ऑर्थोनॉर्मल आधार प्राप्त करें {f<sub>n</sub>} H के लिए, T के इगेनवेक्टर्स से मिलकर वास्तविक इगेनवैल्यूज़ {μ<sub>n</sub>} ऐसा है कि {{math|''μ<sub>n</sub>'' → 0}}.

कोरोलरी एक वास्तविक या जटिल वियोज्य अनंत-आयामी हिल्बर्ट स्पेस ''एच'' पर प्रत्येक कॉम्पैक्ट स्व-आसन्न ऑपरेटर ''टी'' के लिए, एक अनगिनत अनंत ऑर्थोनॉर्मल आधार मौजूद है {''एफ<sub>n</sub>} का H, T के eigenvectors से मिलकर बना है, इसी eigenvalues के साथ {{math|{''μ<sub>n</sub>''} ⊂ '''R'''}}, ऐसा है कि {{math|''μ<sub>n</sub>'' → 0}}.

==== विचार ====
आइए पहले हम परिमित-विम उपपत्ति पर चर्चा करें। यह एक हर्मिटियन n × n मैट्रिक्स T के लिए वर्णक्रमीय प्रमेय को साबित करता है जो एक ईजेनवेक्टर x के अस्तित्व को दर्शाता है। एक बार यह हो जाने के बाद, हर्मिटिसिटी का अर्थ है कि एक्स (आयाम n-1 के) के रैखिक विस्तार और ऑर्थोगोनल पूरक दोनों टी के अपरिवर्तनीय उप-स्थान हैं। वांछित परिणाम तब के लिए प्रेरण द्वारा प्राप्त किया जाता है <math>T_{x^\perp}</math>.

एक ईजेनवेक्टर के अस्तित्व को (कम से कम) दो वैकल्पिक तरीकों से दिखाया जा सकता है:

# कोई बीजगणितीय रूप से बहस कर सकता है: T की विशेषता बहुपद की एक जटिल जड़ है, इसलिए T का एक संबंधित ईजेनवेक्टर के साथ एक eigenvalue है।
# आइगेनवैल्यू को भिन्न रूप से चित्रित किया जा सकता है: सबसे बड़ा आइगेनवैल्यू फ़ंक्शन के बंद इकाई क्षेत्र पर अधिकतम है {{math|''f'': '''R'''<sup>2''n''</sup> → '''R'''}} द्वारा परिभाषित {{math|1=''f''(''x'') = ''x*Tx'' = ⟨''Tx'', ''x''⟩}}.

टिप्पणी। परिमित-आयामी मामले में, पहले दृष्टिकोण का हिस्सा बहुत अधिक सामान्यता में काम करता है; किसी भी वर्ग मैट्रिक्स, जरूरी नहीं कि हर्मिटियन, में एक ईजेनवेक्टर हो। हिल्बर्ट स्पेस पर सामान्य ऑपरेटरों के लिए यह बिल्कुल सच नहीं है। अनंत आयामों में, यह भी तत्काल नहीं है कि विशिष्ट बहुपद की अवधारणा को सामान्य कैसे किया जाए।

कॉम्पैक्ट स्व-आसन्न मामले के लिए वर्णक्रमीय प्रमेय समान रूप से प्राप्त किया जा सकता है: ऊपर दूसरे परिमित-आयामी तर्क का विस्तार करके एक ईजेनवेक्टर पाता है, फिर प्रेरण लागू करें। हम पहले मेट्रिसेस के लिए तर्क को स्केच करते हैं।

चूंकि बंद इकाई क्षेत्र आर में ''एस'' है<sup>2n</sup> कॉम्पैक्ट है, और f निरंतर है, f(S) वास्तविक रेखा पर कॉम्पैक्ट है, इसलिए f किसी इकाई वेक्टर y पर S पर अधिकतम प्राप्त करता है। लैग्रेंज गुणक द्वारा | लैग्रेंज गुणक प्रमेय, y संतुष्ट करता है
<math display="block">\nabla f = \nabla y^* T y = \lambda \cdot \nabla y^* y</math>
कुछ λ के लिए। हर्मिटिसिटी द्वारा, {{math|1=''Ty'' = λ''y''}}.

वैकल्पिक रूप से, मान लीजिए z ∈ 'C'<sup>n</sup> कोई सदिश हो। ध्यान दें कि यदि एक इकाई सदिश y अधिकतम ⟨Tx, x⟩ इकाई क्षेत्र (या इकाई गेंद पर) पर है, तो यह [[रेले भागफल]] को भी अधिकतम करता है:
<math display="block">g(x) = \frac{\langle Tx, x \rangle}{\|x\|^2}, \qquad 0 \ne x \in \mathbf{C}^n.</math>
समारोह पर विचार करें:
<math display="block">\begin{cases} h : \mathbf{R} \to \mathbf{R} \\ h(t) = g(y+tz) \end{cases}</math>
कलन द्वारा, {{math|1=''h''′(0) = 0}}, अर्थात।,
<math display="block">\begin{align}
h'(0) &= \lim_{t \to 0} \frac{h(t)-h(0)}{t - 0} \\
&= \lim_{t \to 0} \frac{g(y+tz)-g(y)}{t} \\
&= \lim_{t \to 0} \frac{1}{t} \left (\frac{\langle T(y+tz), y+tz \rangle}{\|y+tz\|^2}-\frac{\langle Ty, y \rangle}{\|y\|^2} \right ) \\
&= \lim_{t \to 0} \frac{1}{t} \left (\frac{\langle T(y+tz), y+tz \rangle - \langle Ty, y \rangle}{\|y\|^2} \right ) \\
&= \frac{1}{\|y\|^2} \lim_{t \to 0} \frac{\langle T(y+tz), y+tz \rangle - \langle Ty, y \rangle}{t} \\
&= \frac{1}{\|y\|^2} \left (\frac{d}{dt} \frac{\langle T (y + t z), y + tz \rangle}{\langle y + tz, y + tz \rangle} \right)(0) \\
&= 0.
\end{align}</math>
परिभाषित करना:
<math display="block">m=\frac{\langle Ty, y \rangle}{\langle y, y \rangle}</math>
कुछ बीजगणित के बाद उपरोक्त व्यंजक बन जाता है ({{math|Re}} एक जटिल संख्या के वास्तविक भाग को दर्शाता है)
<math display="block">\operatorname{Re}(\langle T y - m y, z \rangle) = 0.</math>
किन्तु z मनमाना है, इसलिए {{math|1=''Ty'' − ''my'' = 0}}. यह मैट्रिक मामले में वर्णक्रमीय प्रमेय के लिए प्रमाण का सार है।

ध्यान दें कि जबकि लैग्रेंज गुणक अनंत-आयामी मामले के लिए सामान्यीकरण करते हैं, इकाई क्षेत्र की कॉम्पैक्टनेस खो जाती है। यह वह जगह है जहां ऑपरेटर 'टी' कॉम्पैक्ट होना उपयोगी है।

==== विवरण ====
दावा यदि ''टी'' गैर-शून्य हिल्बर्ट स्पेस ''एच'' पर एक कॉम्पैक्ट सेल्फ़-एडज्वाइंट ऑपरेटर है और
<math display="block">m(T) := \sup \bigl\{ |\langle T x, x \rangle| : x \in H, \, \|x\| \le 1 \bigr\},</math>
तब m(T) या −m(T) T का एक eigenvalue है।

यदि {{math|1=''m''(''T'') = 0}}, तब T = 0 [[ध्रुवीकरण पहचान]] द्वारा, और यह मामला स्पष्ट है। समारोह पर विचार करें
<math display="block">\begin{cases} f : H \to \mathbf{R} \\ f(x) = \langle T x, x \rangle \end{cases}</math>
यदि आवश्यक हो तो T को −T से बदलना, कोई यह मान सकता है कि बंद यूनिट बॉल B ⊂ H पर f का सर्वोच्च बराबर है {{math|''m''(''T'') > 0}}. यदि f किसी इकाई सदिश y पर B पर अपना अधिकतम m(T) प्राप्त करता है, तो, मैट्रिक्स के लिए उपयोग किए जाने वाले समान तर्क द्वारा, y, T का एक आइगेनवेक्टर है, जिसके संगत आइगेनवैल्यू है {{math|1=λ = ⟨''λy'', ''y''⟩}} = {{math|1=⟨''Ty'', ''y''⟩ = ''f''(''y'') = ''m''(''T'')}}.

बनच-अलाग्लू प्रमेय और एच की रिफ्लेक्सीविटी द्वारा, बंद यूनिट बॉल बी कमजोर रूप से कॉम्पैक्ट है। साथ ही, T की सघनता का अर्थ है (ऊपर देखें) कि T: X कमजोर टोपोलॉजी के साथ → X मानक टोपोलॉजी के साथ निरंतर है। इन दो तथ्यों का अर्थ है कि कमजोर टोपोलॉजी से लैस बी पर एफ निरंतर है, और एफ कुछ पर बी पर अधिकतम एम प्राप्त करता है {{math|''y'' ∈ ''B''}}. अधिकतमता से, <math>\|y\|=1,</math> जो बदले में यह दर्शाता है कि y रेले भागफल g(x) (ऊपर देखें) को भी अधिकतम करता है। इससे पता चलता है कि y, T का आइजनवेक्टर है, और दावे के प्रमाण को समाप्त करता है।

'टिप्पणी।' टी की कॉम्पैक्टनेस महत्वपूर्ण है। सामान्य तौर पर, यूनिट बॉल बी पर कमजोर टोपोलॉजी के लिए एफ को निरंतर होने की आवश्यकता नहीं है। उदाहरण के लिए, टी को पहचान ऑपरेटर होने दें, जो एच अनंत-आयामी होने पर कॉम्पैक्ट नहीं है। कोई भी असामान्य अनुक्रम लें {y<sub>n</sub>}. फिर वाई<sub>n</sub>0 पर कमजोर रूप से परिवर्तित होता है, किन्तु lim f(y<sub>n</sub>) = 1 ≠ 0 = f(0)।

बता दें कि टी हिल्बर्ट स्पेस एच पर एक कॉम्पैक्ट ऑपरेटर है। एक परिमित (संभवतः खाली) या अनगिनत अनंत ऑर्थोनॉर्मल अनुक्रम<sub>n</sub>T के इगेनवेक्टर्स का }, गैर-शून्य इगेनवैल्यूज़ के साथ, निम्नानुसार प्रेरण द्वारा निर्मित किया गया है। चलो एच<sub>0</sub> = एच और टी<sub>0</sub> = टी। यदि एम (टी<sub>0</sub>) = 0, फिर T = 0 और निर्माण किसी भी ईजेनवेक्टर ई के उत्पादन के बिना रुक जाता है<sub>n</sub>. मान लीजिए कि ऑर्थोनॉर्मल ईजेनवेक्टर {{math|''e''<sub>0</sub>, ..., ''e''<sub>''n'' − 1</sub>}} का टी पाया गया है। तब {{math|1=''E<sub>n</sub>'' := span(''e''<sub>0</sub>, ..., ''e''<sub>''n'' − 1</sub>)}} टी के तहत अपरिवर्तनीय है, और स्व-आसन्नता से, ऑर्थोगोनल पूरक एच<sub>n</sub>ई. का<sub>''n''</sub> T की एक अपरिवर्तनीय उपसमष्टि है। मान लीजिए T<sub>n</sub>T से H के प्रतिबंध को निरूपित करें<sub>n</sub>. यदि एम (टी<sub>n</sub>) = 0, फिर टी<sub>n</sub>= 0, और निर्माण बंद हो जाता है। अन्यथा, टी पर लागू दावे से<sub>n</sub>, एक आदर्श एक ईजेनवेक्टर ई है<sub>n</sub>टी में एच<sub>n</sub>, इसी गैर-शून्य eigenvalue λ के साथ<sub>''n''</sub> = {{math|± ''m''(''T<sub>n</sub>'')}}.

चलो एफ = (अवधि {ई<sub>n</sub>})<sup>⊥</sup>, जहां {ई<sub>n</sub>} आगमनात्मक प्रक्रिया द्वारा निर्मित परिमित या अनंत अनुक्रम है; स्व-आसन्नता द्वारा, F, T के अंतर्गत अपरिवर्तनीय है। मान लीजिए कि S, T से F के प्रतिबंध को निरूपित करता है। यदि अंतिम सदिश e के साथ, अंतिम रूप से कई चरणों के बाद प्रक्रिया को रोक दिया गया था<sub>''m''−1</sub>, फिर एफ = एच<sub>m</sub>और एस = टी<sub>m</sub>= 0 निर्माण द्वारा। अनंत मामले में, T की सघनता और e का कमजोर-अभिसरण<sub>n</sub>0 से इसका मतलब है {{math|1=''Te<sub>n</sub>'' = ''λ<sub>n</sub>e<sub>n</sub>'' → 0}}, इसलिए {{math|''λ<sub>n</sub>'' → 0}}. चूँकि F, H में समाहित है<sub>n</sub>प्रत्येक n के लिए, यह अनुसरण करता है कि m(S) ≤ m({T<sub>n</sub>}) = |एल<sub>n</sub>| प्रत्येक n के लिए, इसलिए m(S) = 0. इसका तात्पर्य यह है कि {{math|1=''S'' = 0}}.

तथ्य यह है कि S = 0 का अर्थ है कि F, T के कर्नेल में समाहित है। इसके विपरीत, यदि x ∈ ker(T) तो आत्म-संलग्नता से, x प्रत्येक eigenvector {e के लिए ओर्थोगोनल है<sub>n</sub>} गैर-शून्य eigenvalue के साथ। यह इस प्रकार है कि {{math|1=''F'' = ker(''T'')}}, और वह {ई<sub>n</sub>} टी के कर्नेल के ऑर्थोगोनल पूरक के लिए एक ऑर्थोनॉर्मल आधार है। कोई कर्नेल के ऑर्थोनॉर्मल आधार का चयन करके टी के विकर्णकरण को पूरा कर सकता है। यह वर्णक्रमीय प्रमेय सिद्ध करता है।

एक छोटा किन्तु अधिक सार प्रमाण इस प्रकार है: ज़ोर्न के लेम्मा द्वारा, निम्नलिखित तीन गुणों के साथ एच का अधिकतम उपसमुच्चय होने के लिए यू का चयन करें: यू के सभी तत्व टी के ईजेनवेक्टर हैं, उनके पास मानक एक है, और यू के दो अलग-अलग तत्व हैं। ओर्थोगोनल हैं। F को U के रैखिक विस्तार का ऑर्थोगोनल पूरक होने दें। यदि F ≠ {0} है, तो यह T का एक गैर-तुच्छ अपरिवर्तनीय उपस्थान है, और प्रारंभिक दावे से, F में T का एक आदर्श एक eigenvector y मौजूद होना चाहिए। किन्तु तब U ∪ {y}, U की अधिकतमता का खंडन करता है। यह F = {0} का अनुसरण करता है, इसलिए H में स्पैन (U) सघन है। इससे पता चलता है कि U, T के इगेनवेक्टर्स से मिलकर H का एक ऑर्थोनॉर्मल आधार है।

=== कार्यात्मक पथरी ===
यदि टी एक अनंत-आयामी हिल्बर्ट स्पेस एच पर कॉम्पैक्ट है, तो टी उलटा नहीं है, इसलिए σ(T), टी के स्पेक्ट्रम में हमेशा 0 होता है। वर्णक्रमीय प्रमेय से पता चलता है कि σ(T) में इगेनवैल्यूज़ {λ<sub>n</sub>T का } और 0 का (यदि 0 पहले से ही एक eigenvalue नहीं है)। सेट σ(T) जटिल संख्याओं का एक कॉम्पैक्ट उपसमुच्चय है, और σ(T) में इगेनवैल्यूज़ सघन हैं।

किसी भी वर्णक्रमीय प्रमेय को क्रियात्मक कलन के रूप में पुनः निरूपित किया जा सकता है। वर्तमान संदर्भ में, हमारे पास:

'प्रमेय।' चलो C(σ(T)) σ(T) पर निरंतर कार्यों के C*-बीजगणित को दर्शाता है। एक अद्वितीय आइसोमेट्रिक समरूपता मौजूद है {{math|Φ : ''C''(σ(''T'')) → ''L''(''H'')}} जैसे कि Φ(1) = I और, यदि f पहचान फलन है {{math|1=''f''(''λ'') = ''λ''}}, तब {{math|1=Φ(''f'') = ''T''}}. इसके अतिरिक्त, {{math|1=σ(''f''(''T'')) = ''f''(σ(''T''))}}.

कार्यात्मक कैलकुस मानचित्र Φ को प्राकृतिक तरीके से परिभाषित किया गया है: {ई<sub>n</sub>} H के लिए इगेनवेक्टर्स का एक सामान्य आधार हो, इसी इगेनवैल्यूज़ {λ के साथ<sub>n</sub>}; के लिए {{math|''f'' ∈ ''C''(σ(''T''))}}, ऑपरेटर Φ(f), ऑर्थोनॉर्मल आधार के संबंध में विकर्ण {e<sub>n</sub>}, सेटिंग द्वारा परिभाषित किया गया है
<math display="block">\Phi(f)(e_n) = f(\lambda_n) e_n</math>
हर एन के लिए चूँकि Φ(f) ऑर्थोनॉर्मल आधार के संबंध में विकर्ण है, इसका मानदंड विकर्ण गुणांकों के मापांक के सर्वोच्च के बराबर है,
<math display="block">\|\Phi(f)\| = \sup_{\lambda_n \in \sigma(T)} |f(\lambda_n)| = \|f\|_{C(\sigma(T))}.</math>
Φ के अन्य गुणों को आसानी से सत्यापित किया जा सकता है। इसके विपरीत, प्रमेय की आवश्यकताओं को पूरा करने वाली किसी भी समरूपता Ψ को Φ के साथ मेल खाना चाहिए जब f एक बहुपद है। स्टोन-वीयरस्ट्रास प्रमेय के अनुसार, C(σ(T)) में बहुपद फलन सघन होते हैं, और यह इस प्रकार है {{math|1=Ψ = Φ}}. इससे पता चलता है कि Φ अद्वितीय है।

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

=== एक साथ विकर्णकरण ===
हिल्बर्ट स्पेस एच पर विचार करें (उदाहरण के लिए परिमित-आयामी 'सी'<sup>n</sup>), और एक आने-जाने वाला सेट <math>\mathcal{F}\subseteq\operatorname{Hom}(H,H)</math> स्व-आसन्न ऑपरेटरों की। फिर उपयुक्त परिस्थितियों में, यह एक साथ (एकात्मक रूप से) विकर्ण हो सकता है। अर्थात, ऑपरेटरों के लिए सामान्य ईजेनवेक्टरों से मिलकर एक ऑर्थोनॉर्मल आधार क्यू मौजूद है - यानी,
<math display="block">(\forall{q\in Q,T\in\mathcal{F}})(\exists{\sigma\in\mathbf{C}})(T-\sigma)q=0</math>

{{math theorem | name = Lemma | math_statement = Suppose all the operators in <math>\mathcal{F}</math> are compact. Then every closed non-zero <math>\mathcal{F}</math>-invariant sub-space <math>S\subseteq H</math> has a common eigenvector for <math>\mathcal{F}</math>.}}
{{math proof | proof = ''Case I:'' all the operators have each exactly one eigenvalue on <math>S</math>. 
Take any <math>s\in S</math> of unit length. It is a common eigenvector.

''Case II:'' there is some operator <math>T\in\mathcal{F}</math> with at least 2 eigenvalues on <math>S</math> and let <math>0 \neq \alpha \in \sigma(T\upharpoonright S)</math>. Since ''T'' is compact and α is non-zero, we have <math>S' := \ker(T \upharpoonright S - \alpha)</math> is a finite-dimensional (and therefore closed) non-zero <math>\mathcal{F}</math>-invariant sub-space (because the operators all commute with ''T'', we have for <math>T'\in\mathcal{F}</math> and <math>x\in\ker(T\upharpoonright S - \alpha)</math>, that <math>(T-\alpha)(T'x)=(T'(T~x)-\alpha T'x)=0</math>). In particular, since α is just one of the eigenvalues of <math>T</math> on <math>S</math>, we definitely have <math>\dim S' < \dim S</math>. Thus we could in principle argue by induction over dimension, yielding that <math>S'\subseteq S</math> has a common eigenvector for <math>\mathcal{F}</math>.}}

{{math theorem | name = Theorem 1 | math_statement = If all the operators in <math>\mathcal{F}</math> are compact then the operators can be simultaneously (unitarily) diagonalized.}}
{{math proof | proof = The following set
<math display="block">\mathbf{P}=\{ A \subseteq H : A \text{ is an orthonormal set of common eigenvectors for } \mathcal{F}\},</math>
is partially ordered by inclusion. This clearly has the Zorn property. So taking ''Q'' a maximal member, if ''Q'' is a basis for the whole Hilbert space ''H'', we are done. If this were not the case, then letting <math>S=\langle Q\rangle^{\bot}</math>, it is easy to see that this would be an <math>\mathcal{F}</math>-invariant non-trivial closed subspace; and thus by the lemma above, therein would lie a common eigenvector for the operators (necessarily orthogonal to ''Q''). But then there would then be a proper extension of ''Q'' within '''P'''; a contradiction to its maximality.}}

{{math theorem | name = Theorem 2 | math_statement = If there is an injective compact operator in <math>\mathcal{F}</math>; then the operators can be simultaneously (unitarily) diagonalized.}}
{{math proof | proof = Fix <math>T_0\in\mathcal{F}</math> compact injective. Then we have, by the spectral theory of compact symmetric operators on Hilbert spaces:
<math display="block">H=\overline{\bigoplus_{\lambda\in\sigma(T_0)} \ker(T_0-\sigma)},</math>
where <math>\sigma(T_0)</math> is a discrete, countable subset of positive real numbers, and all the eigenspaces are finite-dimensional. Since <math>\mathcal{F}</math> a commuting set, we have all the eigenspaces are invariant. Since the operators restricted to the eigenspaces (which are finite-dimensional) are automatically all compact, we can apply Theorem 1 to each of these, and find orthonormal bases ''Q''<sub>σ</sub> for the <math>\ker(T_0-\sigma)</math>. Since ''T''<sub>0</sub> is symmetric, we have that
<math display="block">Q:=\bigcup_{\sigma\in\sigma(T_0)} Q_{\sigma}</math>
is a (countable) orthonormal set. It is also, by the decomposition we first stated, a basis for ''H''.}}

{{math theorem | name = Theorem 3 | math_statement = If ''H'' a finite-dimensional Hilbert space, and <math>\mathcal{F}\subseteq\operatorname{Hom}(H,H)</math> a commutative set of operators, each of which is diagonalisable; then the operators can be simultaneously diagonalized.}}
{{math proof | proof = ''Case I:'' all operators have exactly one eigenvalue. Then any basis for ''H'' will do.

''Case II:'' Fix <math>T_0\in\mathcal{F}</math> an operator with at least two eigenvalues, and let <math>P\in\operatorname{Hom}(H,H)^{\times}</math> so that <math>P^{-1}T_0P</math> is a symmetric operator. Now let α be an eigenvalue of <math>P^{-1}T_0P</math>. Then it is easy to see that both:
<math display="block">\ker\left(P^{-1}~T_0(P-\alpha)\right), \quad \ker\left(P^{-1}~T_0(P-\alpha) \right)^{\bot}</math>
are non-trivial <math>P^{-1}\mathcal{F}P</math>-invariant subspaces. By induction over dimension we have that there are linearly independent bases ''Q''<sub>1</sub>, ''Q''<sub>2</sub> for the subspaces, which demonstrate that the operators in <math>P^{-1}\mathcal{F}P</math> can be simultaneously diagonalisable on the subspaces. Clearly then <math>P(Q_1\cup Q_2)</math> demonstrates that the operators in <math>\mathcal{F}</math> can be simultaneously diagonalised.}}

ध्यान दें कि हमें इस प्रमाण में मेट्रिसेस की मशीनरी का सीधे तौर पर उपयोग नहीं करना था। अन्य संस्करण हैं जो करते हैं।

हम उपरोक्त मामले को मजबूत कर सकते हैं जहां सभी ऑपरेटर एकमात्र अपने आस-पास के साथ यात्रा करते हैं; इस मामले में हम विकर्णीकरण से ओर्थोगोनल शब्द को हटा देते हैं। वेइल-पीटर के कारण अभ्यावेदन से उत्पन्न होने वाले ऑपरेटरों के लिए कमजोर परिणाम हैं। G को एक निश्चित स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ समूह होने दें, और <math>H=L^2(G)</math> (जी पर अद्वितीय-अप-टू-स्केल हार माप के संबंध में स्क्वायर इंटीग्रेबल मापने योग्य कार्यों का स्थान)। निरंतर बदलाव की कार्रवाई पर विचार करें:
<math display="block">\begin{cases} G\times H\to H \\ (gf)(x)=f(g^{-1}x) \end{cases}</math>
फिर यदि जी कॉम्पैक्ट थे तो परिमित-आयामी, इरेड्यूसिबल, अपरिवर्तनीय उप-स्थानों के एक गणनीय प्रत्यक्ष योग में एच का एक अद्वितीय अपघटन होता है (यह अनिवार्य रूप से ऑपरेटरों के परिवार का विकर्णीकरण है <math>G\subseteq U(H)</math>). यदि जी कॉम्पैक्ट नहीं थे, किन्तु एबेलियन थे, तो विकर्णीकरण प्राप्त नहीं किया गया था, किन्तु हम एच के एक-आयामी अपरिवर्तनीय उप-स्थानों में एक अद्वितीय निरंतर अपघटन प्राप्त करते हैं।

== कॉम्पैक्ट सामान्य ऑपरेटर ==
हर्मिटियन मेट्रिसेस का परिवार मेट्रिसेस का एक उचित उपसमुच्चय है जो एकात्मक रूप से विकर्ण हैं। एक मैट्रिक्स एम एकात्मक रूप से विकर्णीय है यदि और एकमात्र यदि यह सामान्य है, यानी, एम * एम = एमएम *। इसी तरह के बयान कॉम्पैक्ट सामान्य ऑपरेटरों के लिए हैं।

टी को कॉम्पैक्ट होने दें और टी * टी = टीटी *। T: परिभाषित करने के लिए कार्तीय अपघटन लागू करें
<math display="block">R = \frac{T + T^*}{2}, \quad J = \frac{T - T^*}{2i}.</math>
स्व-आसन्न कॉम्पैक्ट ऑपरेटर्स R और J को क्रमशः T के वास्तविक और काल्पनिक भाग कहा जाता है। T कॉम्पैक्ट है जिसका अर्थ है T*, परिणामस्वरूप, R और J कॉम्पैक्ट हैं। इसके अतिरिक्त, T की सामान्यता का तात्पर्य R और J आवागमन से है। इसलिए उन्हें एक साथ विकर्ण किया जा सकता है, जिससे प्रमाणित किया जाता है।

एक [[हाइपोनॉर्मल ऑपरेटर]] (विशेष रूप से, एक [[ असामान्य ऑपरेटर |असामान्य ऑपरेटर]] ) सामान्य होता है।

== [[एकात्मक संचालक]] ==
एकात्मक ऑपरेटर यू का स्पेक्ट्रम जटिल विमान में यूनिट सर्कल पर स्थित है; यह संपूर्ण इकाई चक्र हो सकता है। चूंकि, यदि यू पहचान और एक कॉम्पैक्ट परेशानी है, तो यू में एकमात्र एक गणनीय स्पेक्ट्रम है, जिसमें 1 और संभवतः, एक परिमित सेट या यूनिट सर्कल पर 1 के लिए एक अनुक्रम होता है। अधिक सटीक, मान लीजिए {{math|1=''U'' = ''I'' + ''C''}} जहां सी कॉम्पैक्ट है। समीकरण {{math|1=''UU*'' = ''U*U'' = ''I''}} और {{math|1=''C'' = ''U'' − ''I''}} दिखाएं कि सी सामान्य है। सी के स्पेक्ट्रम में 0 होता है, और संभवतः, एक परिमित सेट या अनुक्रम 0. के बाद से होता है {{math|1=''U'' = ''I'' + ''C''}}, U का स्पेक्ट्रम C के स्पेक्ट्रम को 1 से स्थानांतरित करके प्राप्त किया जाता है।

== उदाहरण ==
* माना H = Lp स्पेस|L<sup>2</sup>([0, 1]). गुणन ऑपरेटर एम द्वारा परिभाषित <math display="block">(M f)(x) = x f(x), \quad f \in H, \, \, x \in [0, 1]</math> H पर एक परिबद्ध स्व-आसन्न संकारक है जिसका कोई ईजेनवेक्टर नहीं है और इसलिए, वर्णक्रमीय प्रमेय द्वारा, सघन नहीं हो सकता है।
* K(x, y) को [0, 1]<sup>2</sup> पर वर्ग-पूर्णांक होने दें और ''T<sub>K</sub>'' को परिभाषित करें <math display="block">(T_K f)(x) = \int_0^1 K(x, y) f(y) \, \mathrm{d} y.</math> तब ''T<sub>K</sub>'' पर कॉम्पैक्ट है; यह एक हिल्बर्ट-श्मिट ऑपरेटर है।
* मान लीजिए कि कर्नेल K(x, y) हर्मिटिसिटी स्थिति को संतुष्ट करता है: <math display="block">K(y, x) = \overline{K(x, y)}, \quad x, y \in [0, 1].</math> तब ''T<sub>K</sub>'' पर कॉम्पैक्ट और स्व-संलग्न है; यदि {φ<sub>''n''</sub>} इगेनवेक्टर्स का एक अलौकिक आधार है, इगेनवैल्यूज़ {λ के साथ<sub>''n''</sub>}, यह सिद्ध किया जा सकता है <math display="block">\sum \lambda_n^2 < \infty, \ \ K(x, y) \sim \sum \lambda_n \varphi_n(x) \overline{\varphi_n(y)},</math> जहां कार्यों की श्रृंखला का योग एल के रूप में समझा जाता है<sup>2</sup> लेबेस्ग माप के लिए अभिसरण {{nowrap|on [0, 1]<sup>2</sup>}}. मर्सर का प्रमेय ऐसी स्थितियाँ देता है जिसके तहत श्रृंखला K(x, y) बिंदुवार और समान रूप से परिवर्तित होती है {{nowrap|on [0, 1]<sup>2</sup>}}.

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

* {{annotated link|कल्किन बीजगणित}}
* {{annotated link|कॉम्पैक्ट ऑपरेटर}}
* {{annotated link|स्पेक्ट्रम का अपघटन (कार्यात्मक विश्लेषण)}} − यदि सघनता धारणा को हटा दिया जाता है, तो ऑपरेटरों के पास सामान्य रूप से गणनीय स्पेक्ट्रम की आवश्यकता नहीं होती है।
* {{annotated link|फ्रेडहोम ऑपरेटर}}
* {{annotated link|विलक्षण मान अपघटन#हिल्बर्ट रिक्त स्थान पर परिबद्ध ऑपरेटर}} − विलक्षण मूल्यों की धारणा को मैट्रिसेस से कॉम्पैक्ट ऑपरेटरों तक बढ़ाया जा सकता है।
* {{annotated link|कॉम्पैक्ट ऑपरेटरों का वर्णक्रमीय सिद्धांत}}
* {{annotated link|सख्ती से एकवचन ऑपरेटर}}

==संदर्भ==
{{reflist}}
*J. Blank, P. Exner, and M. Havlicek, ''Hilbert Space Operators in Quantum Physics'', American Institute of Physics, 1994. 
*M. Reed and B. Simon, ''Methods of Modern Mathematical Physics I: Functional Analysis'', Academic Press, 1972.
*{{citation|last=Zhu | first= Kehe | title=Operator Theory in Function Spaces | series=Mathematical surveys and monographs | volume=138 | publisher=American Mathematical Society | year=2007 | isbn=978-0-8218-3965-2}}

{{Functional analysis}}
{{Hilbert space}}
[[Category: हिल्बर्ट रिक्त स्थान]] [[Category: प्रमाण युक्त लेख]] [[Category: ऑपरेटर सिद्धांत]] [[Category: रैखिक संचालक]] 



[[Category: Machine Translated Page]]
[[Category:Created On 13/05/2023]]