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

Latest revision as of 17:06, 24 May 2023

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

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

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

परिभाषा

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

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

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

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

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

यदि परिबद्ध संकारकों का अनुक्रम B_n→ B, C_n→ C मजबूत ऑपरेटर टोपोलॉजी में और T कॉम्पैक्ट है, फिर $B_{n}TC_{n}^{*}$ में विलीन हो जाता है $BTC^{*}$ आदर्श रूप में होता है।^[1] उदाहरण के लिए, हिल्बर्ट स्पेस पर विचार करें $\ell ^{2}(\mathbf {N} ),$ मानक आधार के साथ {ई_n}. चलो P_m{ई के रैखिक विस्तार पर ओर्थोगोनल प्रक्षेपण हो₁, ..., यह है_m}. अनुक्रम {P_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\|.

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

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

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

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

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

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

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

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

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

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

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

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

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

विचार

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

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

कोई बीजगणितीय रूप से बहस कर सकता है: T की विशेषता बहुपद की एक जटिल जड़ है, इसलिए T का एक संबंधित ईजेनवेक्टर क साथ एक आइगेनवैल्यू है।
आइगेनवैल्यू को भिन्न रूप से चित्रित किया जा सकता है: सबसे बड़ा आइगेनवैल्यू फ़ंक्शन के बंद इकाई क्षेत्र पर अधिकतम है $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 11: / Line 11: @@
 हम इस खंड में कॉम्पैक्ट ऑपरेटरों के कुछ सामान्य गुण सूचीबद्ध करते हैं।
-यदि X और Y वियोज्य हिल्बर्ट रिक्त स्थान हैं (वास्तव में, X बनच और Y मानक पर्याप्त होंगे), तो T : X → Y कॉम्पैक्ट है यदि और एकमात्र यदि यह [[क्रमिक रूप से निरंतर]] है जब इसे कमजोर अभिसरण के साथ X से मानचित्र के रूप में देखा जाता है (हिल्बर्ट अंतरिक्ष) से वाई (मानक टोपोलॉजी के साथ)। (देखना {{harv|Zhu|2007|loc=प्रमेय1.14, p.11}}, और इस संदर्भ में ध्यान दें कि समान सीमा उस स्थिति में लागू होगी जहां F ⊆ X संतुष्ट करता है (∀φ ∈ Hom(X, K)) sup{x**(φ) = φ(x) : x} < ∞ , जहां K अंतर्निहित क्षेत्र है। समरूप सीमा सिद्धांत लागू होता है क्योंकि होम (एक्स, के) आदर्श टोपोलॉजी के साथ एक बैनाच स्पेस होगा, और मानचित्र x **: होम (एक्स, के) → के इस टोपोलॉजी के संबंध में निरंतर होमोमोर्फिज्म हैं।)
+यदि X और Y वियोज्य हिल्बर्ट रिक्त स्थान हैं (वास्तव में, X बनच और Y मानक पर्याप्त होंगे), तो T : X → Y कॉम्पैक्ट है यदि और एकमात्र यदि यह [[क्रमिक रूप से निरंतर]] है जब इसे कमजोर अभिसरण के साथ X से मानचित्र के रूप में देखा जाता है (हिल्बर्ट अंतरिक्ष) से Y  (मानक टोपोलॉजी के साथ)। (देखना {{harv|Zhu|2007|loc=प्रमेय1.14, p.11}}, और इस संदर्भ में ध्यान दें कि समान सीमा उस स्थिति में लागू होगी जहां F ⊆ X संतुष्ट करता है (∀φ ∈ Hom(X, K)) sup{x**(φ) = φ(x) : x} < ∞ , जहां K अंतर्निहित क्षेत्र है। समरूप सीमा सिद्धांत लागू होता है क्योंकि होम (एक्स, के) आदर्श टोपोलॉजी के साथ एक बैनाच स्पेस होगा, और मानचित्र x **: होम (एक्स, के) → के इस टोपोलॉजी के संबंध में निरंतर होमोमोर्फिज्म हैं।)
-कॉम्पैक्ट ऑपरेटरों का परिवार एक मानक-बंद, दो-तरफा, *-एल (एच) में आदर्श है। नतीजतन, यदि एच अनंत-आयामी है तो एक कॉम्पैक्ट ऑपरेटर टी में एक बाध्य उलटा नहीं हो सकता है। यदि ST = TS = I, तो पहचान संकारक कॉम्पैक्ट होगा, एक विरोधाभास होता है।
+कॉम्पैक्ट ऑपरेटरों का परिवार एक मानक-बंद, दो-तरफा, *-एल (H ) में आदर्श है। नतीजतन, यदि H अनंत-आयामी है तो एक कॉम्पैक्ट ऑपरेटर टी में एक बाध्य उलटा नहीं हो सकता है। यदि ST = TS = I, तो पहचान संकारक कॉम्पैक्ट होगा, एक विरोधाभास होता है।
 यदि परिबद्ध संकारकों का अनुक्रम B<sub>n</sub>→ B, C<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>}. चलो P<sub>m</sub>{ई के रैखिक विस्तार पर ओर्थोगोनल प्रक्षेपण हो<sub>1</sub>, ..., यह है<sub>m</sub>}. अनुक्रम {P<sub>m</sub>} आइडेंटिटी ऑपरेटर I में दृढ़ता से परिवर्तित होता है किन्तु समान रूप से नहीं। T को परिभाषित कीजिए <math>Te_n = \tfrac{1}{n^2} e_n.</math> टी कॉम्पैक्ट है, और, जैसा कि ऊपर दावा किया गया है, पी<sub>m</sub>टी → आईटी = टी यूनिफॉर्म ऑपरेटर टोपोलॉजी में: सभी एक्स के लिए,
@@ Line 21: / Line 21: @@
 कॉम्पैक्ट ऑपरेटरों के आदर्श के मानदंड-निकटता से, इसका विलोम भी सत्य है।
-कॉम्पैक्ट ऑपरेटरों के एल (एच) मॉड्यूलो के अंश सी * - बीजगणित को कैल्किन बीजगणित कहा जाता है, जिसमें एक ऑपरेटर के गुणों को कॉम्पैक्ट गड़बड़ी तक माना जा सकता है।
+कॉम्पैक्ट ऑपरेटरों के एल (H ) मॉड्यूलो के अंश सी * - बीजगणित को कैल्किन बीजगणित कहा जाता है, जिसमें एक ऑपरेटर के गुणों को कॉम्पैक्ट गड़बड़ी तक माना जा सकता है।
 == कॉम्पैक्ट [[स्व-आसन्न ऑपरेटर]] ==
-एक हिल्बर्ट स्पेस एच पर एक परिबद्ध ऑपरेटर टी को स्व-संबद्ध ऑपरेटर कहा जाता है | स्व-संयोजित यदि टी = टी *, या समकक्ष,
+एक हिल्बर्ट स्पेस H पर एक परिबद्ध ऑपरेटर टी को स्व-संबद्ध ऑपरेटर कहा जाता है | स्व-संयोजित यदि टी = टी *, या समकक्ष,
 <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>}कर्नेल का } (जो कि किसी भी बंधे स्व-आसन्न ऑपरेटर के लिए टी की सीमा के बंद होने के बराबर है)। ये मूल तथ्य नीचे वर्णक्रमीय प्रमेय के प्रमाण में महत्वपूर्ण भूमिका निभाते हैं।
+यह इस प्रकार है कि ⟨Tx, x⟩ प्रत्येक x ∈ H के लिए वास्तविक है, इस प्रकार T के इगेनवैल्यूज़ , जब वे उपस्थित हैं, वास्तविक हैं। जब H का एक बंद रेखीय उप-स्थान T के अंतर्गत अपरिवर्तनीय होता है, तो T से L का प्रतिबंध L पर एक स्व-आसन्न ऑपरेटर होता है, और इसके अलावा, [[ऑर्थोगोनल पूरक]] L<sup>एल का ⊥</sup> भी टी के तहत अपरिवर्तनीय है। उदाहरण के लिए, स्थान H  को दो टी-इनवेरिएंट बंद रैखिक उप-स्थानों के ऑर्थोगोनल [[प्रत्यक्ष योग]] के रूप में विघटित किया जा सकता है: टी का [[कर्नेल (रैखिक ऑपरेटर)]], और ऑर्थोगोनल पूरक {{math|(ker ''T'')<sup>⊥</sup>}कर्नेल का } (जो कि किसी भी बंधे स्व-आसन्न ऑपरेटर के लिए टी की सीमा के बंद होने के बराबर है)। ये मूल तथ्य नीचे वर्णक्रमीय प्रमेय के प्रमाण में महत्वपूर्ण भूमिका निभाते हैं।
-हर्मिटियन के लिए वर्गीकरण परिणाम {{math|''n'' × ''n''}} मेट्रिसेस स्पेक्ट्रल प्रमेय है: यदि एम = एम *, तो एम एकात्मक रूप से विकर्ण है, और एम के विकर्ण में वास्तविक प्रविष्टियाँ हैं। टी को एक हिल्बर्ट स्पेस एच पर एक कॉम्पैक्ट स्व-आसन्न ऑपरेटर होने दें। हम टी के लिए एक ही कथन साबित करेंगे: ऑपरेटर टी को ईजेनवेक्टरों के एक ऑर्थोनॉर्मल सेट द्वारा विकर्ण किया जा सकता है, जिनमें से प्रत्येक एक वास्तविक ईजेनवेल्यू से मेल खाता है।
+हर्मिटियन के लिए वर्गीकरण परिणाम {{math|''n'' × ''n''}} मेट्रिसेस स्पेक्ट्रल प्रमेय है: यदि एम = एम *, तो एम एकात्मक रूप से विकर्ण है, और एम के विकर्ण में वास्तविक प्रविष्टियाँ हैं। टी को एक हिल्बर्ट स्पेस H  पर एक कॉम्पैक्ट स्व-आसन्न ऑपरेटर होने दें। हम टी के लिए एक ही कथन साबित करेंगे: ऑपरेटर टी को ईजेनवेक्टरों के एक ऑर्थोनॉर्मल सेट द्वारा विकर्ण किया जा सकता है, जिनमें से प्रत्येक एक वास्तविक ईजेनवेल्यू से मेल खाता है।
 === स्पेक्ट्रल प्रमेय ===
@@ Line 36: / Line 36: @@
 दूसरे शब्दों में, एक कॉम्पैक्ट स्व-आसन्न ऑपरेटर को एकात्मक रूप से विकर्ण किया जा सकता है। यह वर्णक्रमीय प्रमेय है।
-जब एच [[वियोज्य स्थान]] है, तो कोई आधार {ई को मिला सकता है<sub>n</sub>} टी के कर्नेल के लिए एक गणनीय सेट ऑर्थोनॉर्मल आधार के साथ, और एक ऑर्थोनॉर्मल आधार प्राप्त करें {f<sub>n</sub>} H के लिए, T के इगेनवेक्टर्स से मिलकर वास्तविक इगेनवैल्यूज़ {μ<sub>n</sub>} ऐसा है कि {{math|''μ<sub>n</sub>'' → 0}}.
+जब H  [[वियोज्य स्थान]] है, तो कोई आधार {ई को मिला सकता है<sub>n</sub>} टी के कर्नेल के लिए एक गणनीय सेट ऑर्थोनॉर्मल आधार के साथ, और एक ऑर्थोनॉर्मल आधार प्राप्त करें {f<sub>n</sub>} H के लिए, T के इगेनवेक्टर्स से मिलकर वास्तविक इगेनवैल्यूज़ {μ<sub>n</sub>} ऐसा है कि {{math|''μ<sub>n</sub>'' → 0}}.
-कोरोलरी एक वास्तविक या जटिल वियोज्य अनंत-आयामी हिल्बर्ट स्पेस ''एच'' पर प्रत्येक कॉम्पैक्ट स्व-आसन्न ऑपरेटर ''टी'' के लिए, एक अनगिनत अनंत ऑर्थोनॉर्मल आधार उपस्थित है {''एफ<sub>n</sub>} का H, T के इगनवेक्टर से मिलकर बना है, इसी इगेनवैल्यूज़ के साथ {{math|{''μ<sub>n</sub>''} ⊂ '''R'''}}, ऐसा है कि {{math|''μ<sub>n</sub>'' → 0}}.
+कोरोलरी एक वास्तविक या जटिल वियोज्य अनंत-आयामी हिल्बर्ट स्पेस ''H''  पर प्रत्येक कॉम्पैक्ट स्व-आसन्न ऑपरेटर ''टी'' के लिए, एक अनगिनत अनंत ऑर्थोनॉर्मल आधार उपस्थित है {''एफ<sub>n</sub>} का H, T के इगनवेक्टर से मिलकर बना है, इसी इगेनवैल्यूज़ के साथ {{math|{''μ<sub>n</sub>''} ⊂ '''R'''}}, ऐसा है कि {{math|''μ<sub>n</sub>'' → 0}}.
 ==== विचार ====
@@ Line 48: / Line 48: @@
 # आइगेनवैल्यू को भिन्न रूप से चित्रित किया जा सकता है: सबसे बड़ा आइगेनवैल्यू फ़ंक्शन के बंद इकाई क्षेत्र पर अधिकतम है {{math|''f'': '''R'''<sup>2''n''</sup> → '''R'''}} द्वारा परिभाषित {{math|1=''f''(''x'') = ''x*Tx'' = ⟨''Tx'', ''x''⟩}}.
-टिप्पणी। परिमित-आयामी स्थितियों  में, पहले दृष्टिकोण का भाग बहुत अधिक सामान्यता में काम करता है; किसी भी वर्ग मैट्रिक्स, जरूरी नहीं कि हर्मिटियन, में एक ईजेनवेक्टर हो। हिल्बर्ट स्पेस पर सामान्य ऑपरेटरों के लिए यह बिल्कुल सच नहीं है। अनंत आयामों में, यह भी तत्काल नहीं है कि विशिष्ट बहुपद की अवधारणा को सामान्य कैसे किया जाए।
+टिप्पणी। परिमित-आयामी स्थितियों में, पहले दृष्टिकोण का भाग बहुत अधिक सामान्यता में काम करता है; किसी भी वर्ग मैट्रिक्स, जरूरी नहीं कि हर्मिटियन, में एक ईजेनवेक्टर हो। हिल्बर्ट स्पेस पर सामान्य ऑपरेटरों के लिए यह बिल्कुल सच नहीं है। अनंत आयामों में, यह भी तत्काल नहीं है कि विशिष्ट बहुपद की अवधारणा को सामान्य कैसे किया जाए।
 कॉम्पैक्ट स्व-आसन्न स्थितियों के लिए वर्णक्रमीय प्रमेय समान रूप से प्राप्त किया जा सकता है: ऊपर दूसरे परिमित-आयामी तर्क का विस्तार करके एक ईजेनवेक्टर पाता है, फिर प्रेरण लागू करें। हम पहले मेट्रिसेस के लिए तर्क को स्केच करते हैं।
@@ 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}}. यह मैट्रिक स्थितियों में वर्णक्रमीय प्रमेय के लिए प्रमाण का सार है।
-ध्यान दें कि जबकि लैग्रेंज गुणक अनंत-आयामी मामले के लिए सामान्यीकरण करते हैं, इकाई क्षेत्र की कॉम्पैक्टनेस खो जाती है। यह वह जगह है जहां ऑपरेटर 'टी' कॉम्पैक्ट होना उपयोगी है।
+ध्यान दें कि जबकि लैग्रेंज गुणक अनंत-आयामी स्थितियों के लिए सामान्यीकरण करते हैं, इकाई क्षेत्र की कॉम्पैक्टनेस खो जाती है। यह वह जगह है जहां ऑपरेटर 'टी' कॉम्पैक्ट होना उपयोगी है।
 ==== विवरण ====
-दावा यदि ''टी'' गैर-शून्य हिल्बर्ट स्पेस ''एच'' पर एक कॉम्पैक्ट सेल्फ़-एडज्वाइंट ऑपरेटर है और
+दावा यदि ''टी'' गैर-शून्य हिल्बर्ट स्पेस ''H''  पर एक कॉम्पैक्ट सेल्फ़-एडज्वाइंट ऑपरेटर है और
 <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 का एक इगनवैल्यू है।
@@ Line 87: / Line 87: @@
 यदि आवश्यक हो तो 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 का आइजनवेक्टर है, और दावे के प्रमाण को समाप्त करता है।
+बनच-अलाग्लू प्रमेय और H  की रिफ्लेक्सीविटी द्वारा, बंद यूनिट बॉल बी कमजोर रूप से कॉम्पैक्ट है। साथ ही, 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)।
+'टिप्पणी।' टी की कॉम्पैक्टनेस महत्वपूर्ण है। सामान्यतः, यूनिट बॉल बी पर कमजोर टोपोलॉजी के लिए एफ को निरंतर होने की आवश्यकता नहीं है। उदाहरण के लिए, टी को पहचान ऑपरेटर होने दें, जो H  अनंत-आयामी होने पर कॉम्पैक्ट नहीं है। कोई भी असामान्य अनुक्रम लें {y<sub>n</sub>}. फिर Y <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>, इसी गैर-शून्य इगनवैल्यू  λ के साथ<sub>''n''</sub> = {{math|± ''m''(''T<sub>n</sub>'')}}.
+बता दें कि टी हिल्बर्ट स्पेस H  पर एक कॉम्पैक्ट ऑपरेटर है। एक परिमित (संभवतः खाली) या अनगिनत अनंत ऑर्थोनॉर्मल अनुक्रम<sub>n</sub>T के इगेनवेक्टर्स का }, गैर-शून्य इगेनवैल्यूज़ के साथ, निम्नानुसार प्रेरण द्वारा निर्मित किया गया है। चलो H <sub>0</sub> = H  और टी<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>)}} टी के तहत अपरिवर्तनीय है, और स्व-आसन्नता से, ऑर्थोगोनल पूरक H <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>टी में H <sub>n</sub>, इसी गैर-शून्य इगनवैल्यू λ के साथ<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>, फिर एफ = H<sub>m</sub>और एस = T<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>}) = |L<sub>n</sub>| प्रत्येक n के लिए, इसलिए m(S) = 0. इसका तात्पर्य यह है कि {{math|1=''S'' = 0}}.
-तथ्य यह है कि S = 0 का अर्थ है कि F, T के कर्नेल में समाहित है। इसके विपरीत, यदि x ∈ ker(T) तो आत्म-संलग्नता से, x प्रत्येक इगेनवेक्टर्स  {e के लिए ओर्थोगोनल है<sub>n</sub>} गैर-शून्य इगनवैल्यू के साथ। यह इस प्रकार है कि {{math|1=''F'' = ker(''T'')}}, और वह {ई<sub>n</sub>} टी के कर्नेल के ऑर्थोगोनल पूरक के लिए एक ऑर्थोनॉर्मल आधार है। कोई कर्नेल के ऑर्थोनॉर्मल आधार का चयन करके टी के विकर्णकरण को पूरा कर सकता है। यह वर्णक्रमीय प्रमेय सिद्ध करता है।
+तथ्य यह है कि S = 0 का अर्थ है कि F, T के कर्नेल में समाहित है। इसके विपरीत, यदि x ∈ ker(T) तो आत्म-संलग्नता से, x प्रत्येक इगेनवेक्टर्स {e के लिए ओर्थोगोनल है<sub>n</sub>} गैर-शून्य इगनवैल्यू के साथ। यह इस प्रकार है कि {{math|1=''F'' = ker(''T'')}}, और वह {ई<sub>n</sub>} टी के कर्नेल के ऑर्थोगोनल पूरक के लिए एक ऑर्थोनॉर्मल आधार है। कोई कर्नेल के ऑर्थोनॉर्मल आधार का चयन करके टी के विकर्णकरण को पूरा कर सकता है। यह वर्णक्रमीय प्रमेय सिद्ध करता है।
-एक छोटा किन्तु अधिक सार प्रमाण इस प्रकार है: ज़ोर्न के लेम्मा द्वारा, निम्नलिखित तीन गुणों के साथ एच का अधिकतम उपसमुच्चय होने के लिए यू का चयन करें: यू के सभी तत्व टी के ईजेनवेक्टर हैं, उनके पास मानक एक है, और यू के दो अलग-अलग तत्व हैं। ओर्थोगोनल हैं। F को U के रैखिक विस्तार का ऑर्थोगोनल पूरक होने दें। यदि F ≠ {0} है, तो यह T का एक गैर-तुच्छ अपरिवर्तनीय उपस्थान है, और प्रारंभिक दावे से, F में T का एक आदर्श एक इगेनवेक्टर्स  y उपस्थित होना चाहिए। किन्तु तब U ∪ {y}, U की अधिकतमता का खंडन करता है। यह F = {0} का अनुसरण करता है, इसलिए H में स्पैन (U) सघन है। इससे पता चलता है कि U, T के इगेनवेक्टर्स से मिलकर H का एक ऑर्थोनॉर्मल आधार है।
+एक छोटा किन्तु अधिक सार प्रमाण इस प्रकार है: ज़ोर्न के लेम्मा द्वारा, निम्नलिखित तीन गुणों के साथ H  का अधिकतम उपसमुच्चय होने के लिए यू का चयन करें: यू के सभी तत्व टी के ईजेनवेक्टर हैं, उनके पास मानक एक है, और यू के दो अलग-अलग तत्व हैं। ओर्थोगोनल हैं। F को U के रैखिक विस्तार का ऑर्थोगोनल पूरक होने दें। यदि F ≠ {0} है, तो यह T का एक गैर-तुच्छ अपरिवर्तनीय उपस्थान है, और प्रारंभिक दावे से, F में T का एक आदर्श एक इगेनवेक्टर्स y उपस्थित होना चाहिए। किन्तु तब U ∪ {y}, U की अधिकतमता का खंडन करता है। यह F = {0} का अनुसरण करता है, इसलिए H में स्पैन (U) सघन है। इससे पता चलता है कि U, T के इगेनवेक्टर्स से मिलकर H का एक ऑर्थोनॉर्मल आधार है।
 === कार्यात्मक पथरी ===
@@ 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 के लिए इगेनवेक्टर्स का एक सामान्य आधार हो, इसी इगेनवैल्यूज़ {λ के साथ<sub>n</sub>}; के लिए {{math|''f'' ∈ ''C''(σ(''T''))}}, ऑपरेटर Φ(f), ऑर्थोनॉर्मल आधार के संबंध में विकर्ण {e<sub>n</sub>}, सेटिंग द्वारा परिभाषित किया गया है ।
+कार्यात्मक कैलकुस मानचित्र Φ को प्राकृतिक विधि से परिभाषित किया गया है: {e<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 115: / Line 115: @@
 === एक साथ विकर्णकरण ===
-हिल्बर्ट स्पेस एच पर विचार करें (उदाहरण के लिए परिमित-आयामी 'सी'<sup>n</sup>), और एक आने-जाने वाला सेट <math>\mathcal{F}\subseteq\operatorname{Hom}(H,H)</math> स्व-आसन्न ऑपरेटरों की। फिर उपयुक्त परिस्थितियों में, यह एक साथ (एकात्मक रूप से) विकर्ण हो सकता है। अर्थात, ऑपरेटरों के लिए सामान्य ईजेनवेक्टरों से मिलकर एक ऑर्थोनॉर्मल आधार Q उपस्थित है -
+हिल्बर्ट स्पेस H  पर विचार करें (उदाहरण के लिए परिमित-आयामी 'सी'<sup>n</sup>), और एक आने-जाने वाला सेट <math>\mathcal{F}\subseteq\operatorname{Hom}(H,H)</math> स्व-आसन्न ऑपरेटरों की। फिर उपयुक्त परिस्थितियों में, यह एक साथ (एकात्मक रूप से) विकर्ण हो सकता है। अर्थात, ऑपरेटरों के लिए सामान्य ईजेनवेक्टरों से मिलकर एक ऑर्थोनॉर्मल आधार Q उपस्थित है -
 अर्थात,
 <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 theorem | name = लेम्मा | math_statement = परिकल्पना कीजिए कि <math>\mathcal{F}</math> में सभी ऑपरेटर कॉम्पैक्ट हैं। तो हर बंद, गैर-शून्य <math>\mathcal{F}</math>-संरक्षित उप-स्थान <math>S\subseteq H</math> के लिए <math>\mathcal{F}</math> के लिए एक सामान अवयव-वेक्टर होगा।}}
-{{math proof | proof = ''Case I:'' all the operators have each exactly one eigenvalue on <math>S</math>.
+{{math proof | proof = '''स्थिति I:'' सभी ऑपरेटरों का प्रत्येक उप-स्थान <math>S</math>पर एक ही अवयव-मान होता है। <math>s\in 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>.}}
+''स्थिति II:'' S पर कुछ ऑपरेटर T है जिसके कम से कम 2 अवयव-मान हैं और लेट <math>0 \neq \alpha \in \sigma(T\upharpoonright S)</math> हो। क्योंकि T संकीर्ण है और α गैर-शून्य है, इसलिए हमारे पास <math>S' := \ker(T \upharpoonright S - \alpha)</math> एक सीमित-आयाम (और इसलिए बंद) गैर-शून्य <math>\mathcal{F}</math>-संरक्षित उप-स्थान होता है (क्योंकि सभी ऑपरेटर T के साथ यात्रा करते हैं, हमारे पास <math>T'\in\mathcal{F}</math> और <math>x\in\ker(T\upharpoonright S - \alpha)</math> के लिए, यहां <math>(T-\alpha)(T'x)=(T'(T~x)-\alpha T'x)=0</math> होता है)। विशेष रूप से, क्योंकि α S पर T के अवयव-मानों में से बस एक है, हमारे पास निश्चित रूप से <math>\dim S' < \dim S</math> होता है। इस प्रकार, संभावित रूप से आयाम के आधार पर हम आगे कह सकते हैं, जो हमें बता रहा है कि <math>S'\subseteq S</math> के लिए <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 theorem | name = प्रमेय 1 | math_statement = यदि <math>\mathcal{F}</math> में सभी ऑपरेटर कॉम्पैक्ट हैं, तो ऑपरेटरों को समय-समरूप (यूनिटेरिली) डायगोनलाइज़ किया जा सकता है।}}
-{{math proof | proof = The following set
+{{math proof | proof = निम्नलिखित समूह
 <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.}}
+अधिकारों द्वारा आंशिक आदेशित है। यह स्पष्ट रूप से ज़ॉर्न गुण का धारण करता है। इसलिए, ''Q'' को एक अधिकतम सदस्य लेते हुए, यदि ''Q'' पूरे Hilbert उपस्थिति ''H'' के लिए एक आधार है, तो हम खत्म हो गए। यदि ऐसा नहीं होता है, तो <math>S=\langle Q\rangle^{\bot}</math> को छोड़करने पर आसानी से देखा जा सकता है कि यह एक <math>\mathcal{F}</math>-संरक्षित गैर-त्रिवियंजक बंद उप-स्थान होगा; और इसलिए उपरोक्त लेमा द्वारा, ऑपरेटरों के लिए एक समान अवयव-वेक्टर इसमें मौजूद होगा (आवश्यक रूप से ''Q'' के लिए लंबातरंग होता है)। लेकिन फिर यहां '''P''' में ''Q'' का एक उचित विस्तार होगा; यह अपमान उसकी अधिकता को संदेहास्पद बनाता है।}}
-{{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 theorem | name = प्रमेय 2 | math_statement = यदि <math>\mathcal{F}</math> में एक आदेशशील कॉम्पैक्ट ऑपरेटर है, तो ऑपरेटरों को समय-समरूप (यूनिटेरिली) डायगोनलाइज़ किया जा सकता है।}}
-{{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 proof | proof = <math>T_0\in\mathcal{F}</math> को कॉम्पैक्ट इन्जेक्टिव के रूप में ठीक करें। फिर हमें, हिल्बर्ट स्थान पर संकीर्ण सममित ऑपरेटरों के स्पेक्ट्रल सिद्धांत के द्वारा निम्नलिखित मिलता है:
 <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>\sigma(T_0)</math> सक्रिय, गणनीय संख्या के द्वारा पूरा किया गया है। सभी अवयव अंतराल सीमित-आयाम होते हैं। <math>\mathcal{F}</math> एक एकत्रित सेट होने के कारण, हमें सभी अवयव अंतराल संरक्षित होते हैं। अवयव-स्थानों पर प्रतिबंधित ऑपरेटरों के लिए (जो सीमित-आयाम होते हैं), स्वचालित रूप से सभी कॉम्पैक्ट ऑपरेटरों को लागू कर सकते हैं, और प्रत्येक के लिए प्राथमिकता 1 लागू कर सकते हैं, और <math>\ker(T_0-\sigma)</math> के लिए अर्द्धसंरचित बेस ''Q''<sub>σ</sub> खोजें। <math>T_0</math> सममित होने के कारण, हमारे पास यह है कि
 <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''.}}
+एक (गणनीय) समानोन्नत संख्या है। इसके साथ हमारे पास पहले दिए गए विभाजन के द्वारा एक आधार ''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 theorem | name = प्रमेय 3 | math_statement = यदि ''H'' एक सीमित-आयामी Hilbert स्थान है, और <math>\mathcal{F}\subseteq\operatorname{Hom}(H,H)</math> एक समरूप सेट है जिसमें प्रत्येक ऑपरेटर डायगोनलाइज़ किया जा सकता है, तो ऑपरेटरों को समय-समरूप डायगोनलाइज़ किया जा सकता है।}}
-{{math proof | proof = ''Case I:'' all operators have exactly one eigenvalue. Then any basis for ''H'' will do.
+{{math proof | proof = ''स्थिति I:'' सभी ऑपरेटरों के केवल एक इजेनवैल्यू है। तो ''H'' के लिए कोई भी आधार काम करेगा।
-''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:
+''स्थिति II:'' <math>T_0\in\mathcal{F}</math> एक ऑपरेटर है जिसके कम से कम दो इजेनवैल्यू हैं, और <math>P\in\operatorname{Hom}(H,H)^{\times}</math> ऐसा है जिसके लिए <math>P^{-1}T_0P</math> एक सममित ऑपरेटर है। अब लें <math>P^{-1}T_0P</math> का एक इजेनवैल्यू जो आल्फा है। तब यह स्पष्ट है कि दोनों:
 <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.}}
+गैर-खोखले <math>P^{-1}\mathcal{F}P</math>-संरक्षित उप-स्थान हैं। आयाम पर आधार के माध्यम से हमें मिलता है कि उप-स्थानों के लिए अनेक रूपक आधार ''Q''<sub>1</sub>, ''Q''<sub>2</sub> होते हैं, जो उप-स्थानों पर <math>P^{-1}\mathcal{F}P</math> के ऑपरेटरों को समय-समरूप डायगोनलाइज़ करते हैं। स्पष्ट रूप से तब <math>P(Q_1\cup Q_2)</math> दिखाता है कि <math>\mathcal{F}</math> के ऑपरेटर समय-समरूप डायगोनलाइज़ किए जा सकते हैं।}}
 ध्यान दें कि हमें इस प्रमाण में मेट्रिसेस की मशीनरी का सीधे तौर पर उपयोग नहीं करना था। अन्य संस्करण हैं जो करते हैं।
@@ Line 149: / Line 148: @@
 हम उपरोक्त स्थितियों को मजबूत कर सकते हैं जहां सभी ऑपरेटर एकमात्र अपने आस-पास के साथ यात्रा करते हैं; इस स्थितियों में हम विकर्णीकरण से ओर्थोगोनल शब्द को हटा देते हैं। वेइल-पीटर के कारण अभ्यावेदन से उत्पन्न होने वाले ऑपरेटरों के लिए कमजोर परिणाम हैं। 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>
-फिर यदि जी कॉम्पैक्ट थे तो परिमित-आयामी, इरेड्यूसिबल, अपरिवर्तनीय उप-स्थानों के एक गणनीय प्रत्यक्ष योग में H का एक अद्वितीय अपघटन होता है (यह अनिवार्य रूप से ऑपरेटरों के परिवार का विकर्णीकरण है <math>G\subseteq U(H)</math>). यदि जी कॉम्पैक्ट नहीं थे, किन्तु एबेलियन थे, तो विकर्णीकरण प्राप्त नहीं किया गया था, किन्तु हम एच के एक-आयामी अपरिवर्तनीय उप-स्थानों में एक अद्वितीय निरंतर अपघटन प्राप्त करते हैं।
+फिर यदि जी कॉम्पैक्ट थे तो परिमित-आयामी, इरेड्यूसिबल, अपरिवर्तनीय उप-स्थानों के एक गणनीय प्रत्यक्ष योग में H का एक अद्वितीय अपघटन होता है (यह अनिवार्य रूप से ऑपरेटरों के परिवार का विकर्णीकरण है <math>G\subseteq U(H)</math>). यदि जी कॉम्पैक्ट नहीं थे, किन्तु एबेलियन थे, तो विकर्णीकरण प्राप्त नहीं किया गया था, किन्तु हम H  के एक-आयामी अपरिवर्तनीय उप-स्थानों में एक अद्वितीय निरंतर अपघटन प्राप्त करते हैं।
 == कॉम्पैक्ट सामान्य ऑपरेटर ==
@@ Line 186: / Line 185: @@
 {{Functional analysis}}
 {{Hilbert space}}
-[[Category: हिल्बर्ट रिक्त स्थान]] [[Category: प्रमाण युक्त लेख]] [[Category: ऑपरेटर सिद्धांत]] [[Category: रैखिक संचालक]]
+[[Category:Collapse templates]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 13/05/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists]]
+[[Category:Pages with script errors]]
+[[Category:Sidebars with styles needing conversion]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates generating microformats]]
+[[Category:Templates that are not mobile friendly]]
+[[Category:Templates using TemplateData]]
+[[Category:Wikipedia metatemplates]]
+[[Category:ऑपरेटर सिद्धांत]]
+[[Category:प्रमाण युक्त लेख]]
+[[Category:रैखिक संचालक]]
+[[Category:हिल्बर्ट रिक्त स्थान]]

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

Latest revision as of 17:06, 24 May 2023

Contents

परिभाषा

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

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

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

विचार

विवरण

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

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

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

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

उदाहरण

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Latest revision as of 17:06, 24 May 2023

परिभाषा

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

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

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

विचार

विवरण

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

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

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

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

उदाहरण

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories