हिल्बर्ट स्पेस पर कॉम्पैक्ट ऑपरेटर: Difference between revisions

Revision as of 12:29, 17 May 2023

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

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

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

परिभाषा

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

कुछ सामान्य गुण

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

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

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

यदि परिबद्ध संकारकों का अनुक्रम B_n→ बी, सी_n→ C मजबूत ऑपरेटर टोपोलॉजी में और T कॉम्पैक्ट है, फिर $B_{n}TC_{n}^{*}$ में विलीन हो जाता है $BTC^{*}$ आदर्श रूप में।^[1] उदाहरण के लिए, हिल्बर्ट स्पेस पर विचार करें $\ell ^{2}(\mathbf {N} ),$ मानक आधार के साथ {ई_n}. चलो पी_m{ई के रैखिक विस्तार पर ओर्थोगोनल प्रक्षेपण हो₁, ..., यह है_m}. अनुक्रम {पी_m} आइडेंटिटी ऑपरेटर I में दृढ़ता से परिवर्तित होता है किन्तु समान रूप से नहीं। T को परिभाषित कीजिए $Te_{n}={\tfrac {1}{n^{2}}}e_{n}.$ टी कॉम्पैक्ट है, और, जैसा कि ऊपर दावा किया गया है, पी_mटी → आईटी = टी यूनिफॉर्म ऑपरेटर टोपोलॉजी में: सभी एक्स के लिए,

\left\|P_{m}Tx-Tx\right\|\leq \left({\frac {1}{m+1}}\right)^{2}\|x\|.

प्रत्येक पी पर ध्यान दें_mएक परिमित-रैंक ऑपरेटर है। इसी तरह के तर्क से पता चलता है कि यदि टी कॉम्पैक्ट है, तो टी परिमित-रैंक ऑपरेटरों के कुछ अनुक्रमों की एक समान सीमा है।

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

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

कॉम्पैक्ट स्व-आसन्न ऑपरेटर

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

\langle Tx,y\rangle =\langle x,Ty\rangle ,\quad x,y\in H.

यह इस प्रकार है कि ⟨Tx, x⟩ प्रत्येक x ∈ H के लिए वास्तविक है, इस प्रकार T के इगेनवैल्यूज़ , जब वे मौजूद हैं, वास्तविक हैं। जब H का एक बंद रेखीय उप-स्थान T के अंतर्गत अपरिवर्तनीय होता है, तो T से L का प्रतिबंध L पर एक स्व-आसन्न ऑपरेटर होता है, और इसके अलावा, ऑर्थोगोनल पूरक L^{एल का ⊥} भी टी के तहत अपरिवर्तनीय है। उदाहरण के लिए, स्थान एच को दो टी-इनवेरिएंट बंद रैखिक उप-स्थानों के ऑर्थोगोनल प्रत्यक्ष योग के रूप में विघटित किया जा सकता है: टी का कर्नेल (रैखिक ऑपरेटर), और ऑर्थोगोनल पूरक {{math|(ker T)^⊥}कर्नेल का } (जो कि किसी भी बंधे स्व-आसन्न ऑपरेटर के लिए टी की सीमा के बंद होने के बराबर है)। ये मूल तथ्य नीचे वर्णक्रमीय प्रमेय के प्रमाण में महत्वपूर्ण भूमिका निभाते हैं।

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

स्पेक्ट्रल प्रमेय

प्रमेय एक वास्तविक या जटिल हिल्बर्ट स्पेस H पर प्रत्येक कॉम्पैक्ट स्व-आसन्न ऑपरेटर T के लिए, T के इगेनवेक्टर्स से मिलकर H का एक असामान्य आधार मौजूद है। अधिक विशेष रूप से, 'टी' के कर्नेल का ऑर्थोगोनल पूरक या तो टी के ईजेनवेक्टरों के परिमित ऑर्थोनॉर्मल आधार को स्वीकार करता है, या एक गणनीय सेट ऑर्थोनॉर्मल आधार {e_n} T के eigenvectors, इसी eigenvalues के साथ ${$ λ_n} ⊂ R, ऐसा है कि λ_n → 0.

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

जब एच वियोज्य स्थान है, तो कोई आधार {ई को मिला सकता है_n} टी के कर्नेल के लिए एक गणनीय सेट ऑर्थोनॉर्मल आधार के साथ, और एक ऑर्थोनॉर्मल आधार प्राप्त करें {f_n} H के लिए, T के इगेनवेक्टर्स से मिलकर वास्तविक इगेनवैल्यूज़ {μ_n} ऐसा है कि $μ n \to 0$ .

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

विचार

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

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

कोई बीजगणितीय रूप से बहस कर सकता है: T की विशेषता बहुपद की एक जटिल जड़ है, इसलिए T का एक संबंधित ईजेनवेक्टर के साथ एक eigenvalue है।
आइगेनवैल्यू को भिन्न रूप से चित्रित किया जा सकता है: सबसे बड़ा आइगेनवैल्यू फ़ंक्शन के बंद इकाई क्षेत्र पर अधिकतम है $f : R 2 n \to R$ द्वारा परिभाषित $f (x) = x*Tx = ⟨ Tx, x ⟩$ .

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

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

चूंकि बंद इकाई क्षेत्र आर में एस है²ⁿ कॉम्पैक्ट है, और f निरंतर है, f(S) वास्तविक रेखा पर कॉम्पैक्ट है, इसलिए f किसी इकाई वेक्टर y पर S पर अधिकतम प्राप्त करता है। लैग्रेंज गुणक द्वारा | लैग्रेंज गुणक प्रमेय, y संतुष्ट करता है

\nabla f=\nabla y^{*}Ty=\lambda \cdot \nabla y^{*}y

कुछ λ के लिए। हर्मिटिसिटी द्वारा,

Ty = λ y

.

वैकल्पिक रूप से, मान लीजिए z ∈ 'C'ⁿ कोई सदिश हो। ध्यान दें कि यदि एक इकाई सदिश y अधिकतम ⟨Tx, x⟩ इकाई क्षेत्र (या इकाई गेंद पर) पर है, तो यह रेले भागफल को भी अधिकतम करता है:

g(x)={\frac {\langle Tx,x\rangle }{\|x\|^{2}}},\qquad 0\neq x\in \mathbf {C} ^{n}.

समारोह पर विचार करें:

{\begin{cases}h:\mathbf {R} \to \mathbf {R} \\h(t)=g(y+tz)\end{cases}}

कलन द्वारा,

h'(0) = 0

, अर्थात।,

m={\frac {\langle Ty,y\rangle }{\langle y,y\rangle }}

[1] Widom, H. (1976). "ब्लॉक टोप्लिट्ज मैट्रिसेस और निर्धारकों का स्पर्शोन्मुख व्यवहार। द्वितीय". Advances in Mathematics. 21 (1): 1–29. doi:10.1016/0001-8708(76)90113-4.

[1]

@@ Line 1: / Line 1: @@
-[[कार्यात्मक विश्लेषण]] के गणितीय अनुशासन में, [[ हिल्बर्ट अंतरिक्ष ]] पर एक [[कॉम्पैक्ट ऑपरेटर]] की अवधारणा परिमित-आयामी वेक्टर स्पेस पर अभिनय करने वाले मैट्रिक्स की अवधारणा का विस्तार है; हिल्बर्ट स्पेस में, कॉम्पैक्ट ऑपरेटर [[ऑपरेटर मानदंड]] से प्रेरित [[टोपोलॉजी]] में [[परिमित-रैंक ऑपरेटर]]ों (परिमित-आयामी मैट्रिसेस द्वारा प्रतिनिधित्व योग्य) के ठीक से बंद होते हैं। जैसे, मैट्रिक्स सिद्धांत के परिणाम कभी-कभी समान तर्कों का उपयोग करके कॉम्पैक्ट ऑपरेटरों तक बढ़ाए जा सकते हैं। इसके विपरीत, अनंत-आयामी स्थानों पर सामान्य संचालकों के अध्ययन के लिए अक्सर वास्तव में अलग दृष्टिकोण की आवश्यकता होती है।
+[[कार्यात्मक विश्लेषण]] के गणितीय अनुशासन में, [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट अंतरिक्ष]] पर एक [[कॉम्पैक्ट ऑपरेटर]] की अवधारणा परिमित-आयामी वेक्टर स्पेस पर अभिनय करने वाले मैट्रिक्स की अवधारणा का विस्तार है; हिल्बर्ट स्पेस में, कॉम्पैक्ट ऑपरेटर [[ऑपरेटर मानदंड]] से प्रेरित [[टोपोलॉजी]] में [[परिमित-रैंक ऑपरेटर]]ों (परिमित-आयामी मैट्रिसेस द्वारा प्रतिनिधित्व योग्य) के ठीक से बंद होते हैं। जैसे, मैट्रिक्स सिद्धांत के परिणाम कभी-कभी समान तर्कों का उपयोग करके कॉम्पैक्ट ऑपरेटरों तक बढ़ाए जा सकते हैं। इसके विपरीत, अनंत-आयामी स्थानों पर सामान्य संचालकों के अध्ययन के लिए अक्सर वास्तव में अलग दृष्टिकोण की आवश्यकता होती है।
-उदाहरण के लिए, बनच रिक्त स्थान पर [[कॉम्पैक्ट ऑपरेटरों के वर्णक्रमीय सिद्धांत]] एक ऐसा रूप लेता है जो मैट्रिसेस के [[जॉर्डन विहित रूप]] के समान है। हिल्बर्ट रिक्त स्थान के संदर्भ में, एक वर्ग मैट्रिक्स एकात्मक रूप से विकर्णीय है यदि और केवल यदि यह [[सामान्य ऑपरेटर]] है। हिल्बर्ट रिक्त स्थान पर सामान्य कॉम्पैक्ट ऑपरेटरों के लिए एक समान परिणाम होता है। अधिक आम तौर पर, कॉम्पैक्टनेस धारणा को छोड़ा जा सकता है। जैसा कि ऊपर कहा गया है, परिणामों को साबित करने के लिए इस्तेमाल की जाने वाली तकनीकें, उदाहरण के लिए, गैर-कॉम्पैक्ट मामले में [[वर्णक्रमीय प्रमेय]], आमतौर पर भिन्न होती हैं, जिसमें [[स्पेक्ट्रम (कार्यात्मक विश्लेषण)]] पर ऑपरेटर-मूल्यवान माप (गणित) शामिल होते हैं।
+उदाहरण के लिए, बनच रिक्त स्थान पर [[कॉम्पैक्ट ऑपरेटरों के वर्णक्रमीय सिद्धांत]] एक ऐसा रूप लेता है जो मैट्रिसेस के [[जॉर्डन विहित रूप]] के समान है। हिल्बर्ट रिक्त स्थान के संदर्भ में, एक वर्ग मैट्रिक्स एकात्मक रूप से विकर्णीय है यदि और एकमात्र यदि यह [[सामान्य ऑपरेटर]] है। हिल्बर्ट रिक्त स्थान पर सामान्य कॉम्पैक्ट ऑपरेटरों के लिए एक समान परिणाम होता है। अधिक आम तौर पर, कॉम्पैक्टनेस धारणा को छोड़ा जा सकता है। जैसा कि ऊपर कहा गया है, परिणामों को साबित करने के लिए इस्तेमाल की जाने वाली तकनीकें, उदाहरण के लिए, गैर-कॉम्पैक्ट मामले में [[वर्णक्रमीय प्रमेय]], आमतौर पर भिन्न होती हैं, जिसमें [[स्पेक्ट्रम (कार्यात्मक विश्लेषण)]] पर ऑपरेटर-मूल्यवान माप (गणित) शामिल होते हैं।
 हिल्बर्ट स्पेस पर कॉम्पैक्ट ऑपरेटरों के कुछ परिणामों पर चर्चा की जाएगी, कॉम्पैक्ट ऑपरेटरों के उपवर्गों पर विचार करने से पहले सामान्य गुणों के साथ शुरू करना।
@@ Line 11: / Line 11: @@
 हम इस खंड में कॉम्पैक्ट ऑपरेटरों के कुछ सामान्य गुण सूचीबद्ध करते हैं।
-यदि 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 **: होम (एक्स, के) → के इस टोपोलॉजी के संबंध में निरंतर होमोमोर्फिज्म हैं।)
+यदि 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>टी → आईटी = टी यूनिफॉर्म ऑपरेटर टोपोलॉजी में: सभी एक्स के लिए,
+यदि परिबद्ध संकारकों का अनुक्रम 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>एक परिमित-रैंक ऑपरेटर है। इसी तरह के तर्क से पता चलता है कि अगर टी कॉम्पैक्ट है, तो टी परिमित-रैंक ऑपरेटरों के कुछ अनुक्रमों की एक समान सीमा है।
+प्रत्येक पी पर ध्यान दें<sub>m</sub>एक परिमित-रैंक ऑपरेटर है। इसी तरह के तर्क से पता चलता है कि यदि टी कॉम्पैक्ट है, तो टी परिमित-रैंक ऑपरेटरों के कुछ अनुक्रमों की एक समान सीमा है।
 कॉम्पैक्ट ऑपरेटरों के आदर्श के मानदंड-निकटता से, इसका विलोम भी सत्य है।
@@ Line 27: / Line 27: @@
 <math display="block">\langle T x, y \rangle = \langle x, T y \rangle, \quad x, y \in H.</math>
-यह इस प्रकार है कि ⟨Tx, x⟩ प्रत्येक x ∈ H के लिए वास्तविक है, इस प्रकार T के eigenvalues, जब वे मौजूद हैं, वास्तविक हैं। जब H का एक बंद रेखीय उप-स्थान T के अंतर्गत अपरिवर्तनीय होता है, तो T से L का प्रतिबंध L पर एक स्व-आसन्न ऑपरेटर होता है, और इसके अलावा, [[ऑर्थोगोनल पूरक]] L<sup>एल का ⊥</sup> भी टी के तहत अपरिवर्तनीय है। उदाहरण के लिए, स्थान एच को दो टी-इनवेरिएंट बंद रैखिक उप-स्थानों के ऑर्थोगोनल [[प्रत्यक्ष योग]] के रूप में विघटित किया जा सकता है: टी का [[कर्नेल (रैखिक ऑपरेटर)]], और ऑर्थोगोनल पूरक {{math|(ker ''T'')<sup>⊥</sup>}कर्नेल का } (जो कि किसी भी बंधे स्व-आसन्न ऑपरेटर के लिए टी की सीमा के बंद होने के बराबर है)। ये मूल तथ्य नीचे वर्णक्रमीय प्रमेय के प्रमाण में महत्वपूर्ण भूमिका निभाते हैं।
+यह इस प्रकार है कि ⟨Tx, x⟩ प्रत्येक x ∈ H के लिए वास्तविक है, इस प्रकार T के इगेनवैल्यूज़ , जब वे मौजूद हैं, वास्तविक हैं। जब H का एक बंद रेखीय उप-स्थान T के अंतर्गत अपरिवर्तनीय होता है, तो T से L का प्रतिबंध L पर एक स्व-आसन्न ऑपरेटर होता है, और इसके अलावा, [[ऑर्थोगोनल पूरक]] L<sup>एल का ⊥</sup> भी टी के तहत अपरिवर्तनीय है। उदाहरण के लिए, स्थान एच को दो टी-इनवेरिएंट बंद रैखिक उप-स्थानों के ऑर्थोगोनल [[प्रत्यक्ष योग]] के रूप में विघटित किया जा सकता है: टी का [[कर्नेल (रैखिक ऑपरेटर)]], और ऑर्थोगोनल पूरक {{math|(ker ''T'')<sup>⊥</sup>}कर्नेल का } (जो कि किसी भी बंधे स्व-आसन्न ऑपरेटर के लिए टी की सीमा के बंद होने के बराबर है)। ये मूल तथ्य नीचे वर्णक्रमीय प्रमेय के प्रमाण में महत्वपूर्ण भूमिका निभाते हैं।
 हर्मिटियन के लिए वर्गीकरण परिणाम {{math|''n'' × ''n''}} मेट्रिसेस स्पेक्ट्रल प्रमेय है: यदि एम = एम *, तो एम एकात्मक रूप से विकर्ण है, और एम के विकर्ण में वास्तविक प्रविष्टियाँ हैं। टी को एक हिल्बर्ट स्पेस एच पर एक कॉम्पैक्ट स्व-आसन्न ऑपरेटर होने दें। हम टी के लिए एक ही कथन साबित करेंगे: ऑपरेटर टी को ईजेनवेक्टरों के एक ऑर्थोनॉर्मल सेट द्वारा विकर्ण किया जा सकता है, जिनमें से प्रत्येक एक वास्तविक ईजेनवेल्यू से मेल खाता है।
 === स्पेक्ट्रल प्रमेय ===
-प्रमेय एक वास्तविक या जटिल हिल्बर्ट स्पेस ''H'' पर प्रत्येक कॉम्पैक्ट स्व-आसन्न ऑपरेटर ''T'' के लिए, ''T'' के eigenvectors से मिलकर ''H'' का एक असामान्य आधार मौजूद है। अधिक विशेष रूप से, 'टी' के कर्नेल का ऑर्थोगोनल पूरक या तो ''टी'' के ईजेनवेक्टरों के परिमित ऑर्थोनॉर्मल आधार को स्वीकार करता है, या एक [[गणनीय सेट]] ऑर्थोनॉर्मल आधार {''e<sub>n</sub>} T के eigenvectors, इसी eigenvalues के साथ {{math|{''λ<sub>n</sub>''} ⊂ '''R'''}}, ऐसा है कि {{math|''λ<sub>n</sub>'' → 0}}.
+प्रमेय एक वास्तविक या जटिल हिल्बर्ट स्पेस ''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 के eigenvectors से मिलकर वास्तविक eigenvalues {μ<sub>n</sub>} ऐसा है कि {{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}}.
@@ Line 74: / Line 74: @@
 कुछ बीजगणित के बाद उपरोक्त व्यंजक बन जाता है ({{math|Re}} एक जटिल संख्या के वास्तविक भाग को दर्शाता है)
 <math display="block">\operatorname{Re}(\langle T y - m y, z \rangle) = 0.</math>
-लेकिन z मनमाना है, इसलिए {{math|1=''Ty'' − ''my'' = 0}}. यह मैट्रिक मामले में वर्णक्रमीय प्रमेय के लिए प्रमाण का सार है।
+किन्तु 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|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'')}}.
@@ Line 89: / Line 89: @@
 बनच-अलाग्लू प्रमेय और एच की रिफ्लेक्सीविटी द्वारा, बंद यूनिट बॉल बी कमजोर रूप से कॉम्पैक्ट है। साथ ही, 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)।
+'टिप्पणी।' टी की कॉम्पैक्टनेस महत्वपूर्ण है। सामान्य तौर पर, यूनिट बॉल बी पर कमजोर टोपोलॉजी के लिए एफ को निरंतर होने की आवश्यकता नहीं है। उदाहरण के लिए, टी को पहचान ऑपरेटर होने दें, जो एच अनंत-आयामी होने पर कॉम्पैक्ट नहीं है। कोई भी असामान्य अनुक्रम लें {y<sub>n</sub>}. फिर वाई<sub>n</sub>0 पर कमजोर रूप से परिवर्तित होता है, किन्तु lim f(y<sub>n</sub>) = 1 ≠ 0 = f(0)।
-बता दें कि टी हिल्बर्ट स्पेस एच पर एक कॉम्पैक्ट ऑपरेटर है। एक परिमित (संभवतः खाली) या अनगिनत अनंत ऑर्थोनॉर्मल अनुक्रम<sub>n</sub>T के eigenvectors का }, गैर-शून्य eigenvalues के साथ, निम्नानुसार प्रेरण द्वारा निर्मित किया गया है। चलो एच<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>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}}.
@@ Line 97: / Line 97: @@
 तथ्य यह है कि 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 के eigenvectors से मिलकर H का एक ऑर्थोनॉर्मल आधार है।
+एक छोटा किन्तु अधिक सार प्रमाण इस प्रकार है: ज़ोर्न के लेम्मा द्वारा, निम्नलिखित तीन गुणों के साथ एच का अधिकतम उपसमुच्चय होने के लिए यू का चयन करें: यू के सभी तत्व टी के ईजेनवेक्टर हैं, उनके पास मानक एक है, और यू के दो अलग-अलग तत्व हैं। ओर्थोगोनल हैं। F को U के रैखिक विस्तार का ऑर्थोगोनल पूरक होने दें। यदि F ≠ {0} है, तो यह T का एक गैर-तुच्छ अपरिवर्तनीय उपस्थान है, और प्रारंभिक दावे से, F में T का एक आदर्श एक eigenvector y मौजूद होना चाहिए। किन्तु तब U ∪ {y}, U की अधिकतमता का खंडन करता है। यह F = {0} का अनुसरण करता है, इसलिए H में स्पैन (U) सघन है। इससे पता चलता है कि U, T के इगेनवेक्टर्स से मिलकर H का एक ऑर्थोनॉर्मल आधार है।
 === कार्यात्मक पथरी ===
-यदि टी एक अनंत-आयामी हिल्बर्ट स्पेस एच पर कॉम्पैक्ट है, तो टी उलटा नहीं है, इसलिए σ(T), टी के स्पेक्ट्रम में हमेशा 0 होता है। वर्णक्रमीय प्रमेय से पता चलता है कि σ(T) में eigenvalues {λ<sub>n</sub>T का } और 0 का (यदि 0 पहले से ही एक eigenvalue नहीं है)। सेट σ(T) जटिल संख्याओं का एक कॉम्पैक्ट उपसमुच्चय है, और σ(T) में eigenvalues सघन हैं।
+यदि टी एक अनंत-आयामी हिल्बर्ट स्पेस एच पर कॉम्पैक्ट है, तो टी उलटा नहीं है, इसलिए σ(T), टी के स्पेक्ट्रम में हमेशा 0 होता है। वर्णक्रमीय प्रमेय से पता चलता है कि σ(T) में इगेनवैल्यूज़ {λ<sub>n</sub>T का } और 0 का (यदि 0 पहले से ही एक eigenvalue नहीं है)। सेट σ(T) जटिल संख्याओं का एक कॉम्पैक्ट उपसमुच्चय है, और σ(T) में इगेनवैल्यूज़ सघन हैं।
 किसी भी वर्णक्रमीय प्रमेय को क्रियात्मक कलन के रूप में पुनः निरूपित किया जा सकता है। वर्तमान संदर्भ में, हमारे पास:
@@ Line 106: / Line 106: @@
 'प्रमेय।' चलो 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 के लिए eigenvectors का एक सामान्य आधार हो, इसी eigenvalues {λ के साथ<sub>n</sub>}; के लिए {{math|''f'' ∈ ''C''(σ(''T''))}}, ऑपरेटर Φ(f), ऑर्थोनॉर्मल आधार के संबंध में विकर्ण {e<sub>n</sub>}, सेटिंग द्वारा परिभाषित किया गया है
+कार्यात्मक कैलकुस मानचित्र Φ को प्राकृतिक तरीके से परिभाषित किया गया है: {ई<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) ऑर्थोनॉर्मल आधार के संबंध में विकर्ण है, इसका मानदंड विकर्ण गुणांकों के मापांक के सर्वोच्च के बराबर है,
@@ Line 145: / Line 145: @@
 ध्यान दें कि हमें इस प्रमाण में मेट्रिसेस की मशीनरी का सीधे तौर पर उपयोग नहीं करना था। अन्य संस्करण हैं जो करते हैं।
-हम उपरोक्त मामले को मजबूत कर सकते हैं जहां सभी ऑपरेटर केवल अपने आस-पास के साथ यात्रा करते हैं; इस मामले में हम विकर्णीकरण से ओर्थोगोनल शब्द को हटा देते हैं। वेइल-पीटर के कारण अभ्यावेदन से उत्पन्न होने वाले ऑपरेटरों के लिए कमजोर परिणाम हैं। G को एक निश्चित स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ समूह होने दें, और <math>H=L^2(G)</math> (जी पर अद्वितीय-अप-टू-स्केल हार माप के संबंध में स्क्वायर इंटीग्रेबल मापने योग्य कार्यों का स्थान)। निरंतर बदलाव की कार्रवाई पर विचार करें:
+हम उपरोक्त मामले को मजबूत कर सकते हैं जहां सभी ऑपरेटर एकमात्र अपने आस-पास के साथ यात्रा करते हैं; इस मामले में हम विकर्णीकरण से ओर्थोगोनल शब्द को हटा देते हैं। वेइल-पीटर के कारण अभ्यावेदन से उत्पन्न होने वाले ऑपरेटरों के लिए कमजोर परिणाम हैं। 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>). यदि जी कॉम्पैक्ट नहीं थे, लेकिन एबेलियन थे, तो विकर्णीकरण हासिल नहीं किया गया था, लेकिन हम एच के एक-आयामी अपरिवर्तनीय उप-स्थानों में एक अद्वितीय निरंतर अपघटन प्राप्त करते हैं।
+फिर यदि जी कॉम्पैक्ट थे तो परिमित-आयामी, इरेड्यूसिबल, अपरिवर्तनीय उप-स्थानों के एक गणनीय प्रत्यक्ष योग में एच का एक अद्वितीय अपघटन होता है (यह अनिवार्य रूप से ऑपरेटरों के परिवार का विकर्णीकरण है <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 आवागमन से है। इसलिए उन्हें एक साथ विकर्ण किया जा सकता है, जिससे दावा किया जाता है।
+स्व-आसन्न कॉम्पैक्ट ऑपरेटर्स 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 से स्थानांतरित करके प्राप्त किया जाता है।
+एकात्मक ऑपरेटर यू का स्पेक्ट्रम जटिल विमान में यूनिट सर्कल पर स्थित है; यह संपूर्ण इकाई चक्र हो सकता है। चूंकि, यदि यू पहचान और एक कॉम्पैक्ट परेशानी है, तो यू में एकमात्र एक गणनीय स्पेक्ट्रम है, जिसमें 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> तब टी<sub>K</sub>एच पर कॉम्पैक्ट है; यह एक हिल्बर्ट-श्मिट ऑपरेटर है।
+* 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> तब टी<sub>K</sub>एच पर कॉम्पैक्ट और स्व-संलग्न है; अगर {φ<sub>''n''</sub>} eigenvectors का एक अलौकिक आधार है, eigenvalues {λ के साथ<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> Lebesgue माप के लिए अभिसरण {{nowrap|on [0, 1]<sup>2</sup>}}. मर्सर का प्रमेय ऐसी स्थितियाँ देता है जिसके तहत श्रृंखला K(x, y) बिंदुवार और समान रूप से परिवर्तित होती है {{nowrap|on [0, 1]<sup>2</sup>}}.
+* मान लीजिए कि कर्नेल 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|Calkin algebra}}
+* {{annotated link|कल्किन बीजगणित}}
-* {{annotated link|Compact operator}}
+* {{annotated link|कॉम्पैक्ट ऑपरेटर}}
-* {{annotated link|Decomposition of spectrum (functional analysis)}} − यदि सघनता धारणा को हटा दिया जाता है, तो ऑपरेटरों के पास सामान्य रूप से गणनीय स्पेक्ट्रम की आवश्यकता नहीं होती है।
+* {{annotated link|स्पेक्ट्रम का अपघटन (कार्यात्मक विश्लेषण)}} − यदि सघनता धारणा को हटा दिया जाता है, तो ऑपरेटरों के पास सामान्य रूप से गणनीय स्पेक्ट्रम की आवश्यकता नहीं होती है।
-* {{annotated link|Fredholm operator}}
+* {{annotated link|फ्रेडहोम ऑपरेटर}}
-* {{annotated link|Singular value decomposition#Bounded operators on Hilbert spaces}} − विलक्षण मूल्यों की धारणा को मैट्रिसेस से कॉम्पैक्ट ऑपरेटरों तक बढ़ाया जा सकता है।
+* {{annotated link|विलक्षण मान अपघटन#हिल्बर्ट रिक्त स्थान पर परिबद्ध ऑपरेटर}} − विलक्षण मूल्यों की धारणा को मैट्रिसेस से कॉम्पैक्ट ऑपरेटरों तक बढ़ाया जा सकता है।
-* {{annotated link|Spectral theory of compact operators}}
+* {{annotated link|कॉम्पैक्ट ऑपरेटरों का वर्णक्रमीय सिद्धांत}}
-* {{annotated link|Strictly singular operator}}
+* {{annotated link|सख्ती से एकवचन ऑपरेटर}}
 ==संदर्भ==

v t e Hilbert spaces
Basic concepts	Adjoint Inner product and L-semi-inner product Hilbert space and Prehilbert space Orthogonal complement Orthonormal basis
Main results	Bessel's inequality Cauchy–Schwarz inequality Riesz representation
Other results	Hilbert projection theorem Parseval's identity Polarization identity (Parallelogram law)
Maps	Compact operator on Hilbert space Densely defined Hermitian form Hilbert–Schmidt Normal Self-adjoint Sesquilinear form Trace class Unitary
Examples	Cⁿ(K) with K compact & n<∞ Segal–Bargmann F

Anonymous

Search

हिल्बर्ट स्पेस पर कॉम्पैक्ट ऑपरेटर: Difference between revisions

Namespaces

More

Page actions

Revision as of 12:29, 17 May 2023

Contents

परिभाषा

कुछ सामान्य गुण

कॉम्पैक्ट स्व-आसन्न ऑपरेटर

स्पेक्ट्रल प्रमेय

विचार

विवरण

कार्यात्मक पथरी

एक साथ विकर्णकरण

कॉम्पैक्ट सामान्य ऑपरेटर

एकात्मक संचालक

उदाहरण

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

हिल्बर्ट स्पेस पर कॉम्पैक्ट ऑपरेटर: Difference between revisions

Revision as of 12:29, 17 May 2023

परिभाषा

कुछ सामान्य गुण

कॉम्पैक्ट स्व-आसन्न ऑपरेटर

स्पेक्ट्रल प्रमेय

विचार

विवरण

कार्यात्मक पथरी

एक साथ विकर्णकरण

कॉम्पैक्ट सामान्य ऑपरेटर

एकात्मक संचालक

उदाहरण

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories