स्पेक्ट्रम (कार्यात्मक विश्लेषण): Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Set of eigenvalues of a matrix}} | {{Short description|Set of eigenvalues of a matrix}} | ||
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, [[परिबद्ध संचालिका]] (या, अधिक सामान्यतः, [[असीमित ऑपरेटर|असीमित संचालक]]) का स्पेक्ट्रम [[मैट्रिक्स (गणित)]] के [[eigenvalue|आइगेनवैल्यूज़]] के | गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, [[परिबद्ध संचालिका]] (या, अधिक सामान्यतः, [[असीमित ऑपरेटर|असीमित संचालक]]) का स्पेक्ट्रम [[मैट्रिक्स (गणित)|आव्युह (गणित)]] के [[eigenvalue|आइगेनवैल्यूज़]] के समुच्चय का सामान्यीकरण है। विशेष रूप से, [[जटिल संख्या]] <math>\lambda</math> परिबद्ध रैखिक संकारक <math>T</math> के स्पेक्ट्रम में होना कहा जाता है यदि <math>T-\lambda I</math> | ||
* या तो कोई सेट-सैद्धांतिक प्रतिलोम फलन नहीं है; | * या तो कोई सेट-सैद्धांतिक प्रतिलोम फलन नहीं है; | ||
* या सेट-सैद्धांतिक व्युत्क्रम या तो असीमित है या गैर-सघन उपसमुच्चय पर परिभाषित है।<ref>{{cite book |last1=Kreyszig |first1=Erwin |title=Introductory Functional Analysis with Applications}}</ref> | * या सेट-सैद्धांतिक व्युत्क्रम या तो असीमित है या गैर-सघन उपसमुच्चय पर परिभाषित है।<ref>{{cite book |last1=Kreyszig |first1=Erwin |title=Introductory Functional Analysis with Applications}}</ref> | ||
Line 9: | Line 9: | ||
स्पेक्ट्रा और संबंधित गुणों के अध्ययन को स्पेक्ट्रल सिद्धांत के रूप में जाना जाता है, जिसमें कई अनुप्रयोग हैं, विशेष रूप से [[क्वांटम यांत्रिकी का गणितीय सूत्रीकरण]]। | स्पेक्ट्रा और संबंधित गुणों के अध्ययन को स्पेक्ट्रल सिद्धांत के रूप में जाना जाता है, जिसमें कई अनुप्रयोग हैं, विशेष रूप से [[क्वांटम यांत्रिकी का गणितीय सूत्रीकरण]]। | ||
आयामी ([[ सदिश स्थल ]]) पर संचालक का स्पेक्ट्रमया [[आयाम (वेक्टर स्थान)]] ठीक आइगेनवैल्यू का | आयामी ([[ सदिश स्थल ]]) पर संचालक का स्पेक्ट्रमया [[आयाम (वेक्टर स्थान)]] ठीक आइगेनवैल्यू का समुच्चय है। चूंकि अनंत-आयामी अंतरिक्ष पर संचालक के स्पेक्ट्रम में अतिरिक्त तत्व हो सकते हैं, और हो सकता है कि कोई आइगेनवैल्यू न हो। उदाहरण के लिए, [[हिल्बर्ट अंतरिक्ष]] एलपी अंतरिक्ष या ℓ पर एकतरफा शिफ्ट संचालक आर पर विचार करें | ||
:<math>(x_1, x_2, \dots) \mapsto (0, x_1, x_2, \dots).</math> | :<math>(x_1, x_2, \dots) \mapsto (0, x_1, x_2, \dots).</math> | ||
इसका कोई आइगेनवैल्यूज़ नहीं है, क्योंकि यदि Rx=λx तो इस व्यंजक का विस्तार करके हम देखते हैं कि x<sub>1</sub>= 0, X<sub>2</sub>=0, आदि। दूसरी ओर, 0 स्पेक्ट्रम में है क्योंकि यद्यपि संचालक R − 0 (अर्थात स्वयं R) व्युत्क्रमणीय है, व्युत्क्रम को | इसका कोई आइगेनवैल्यूज़ नहीं है, क्योंकि यदि Rx=λx तो इस व्यंजक का विस्तार करके हम देखते हैं कि x<sub>1</sub>= 0, X<sub>2</sub>=0, आदि। दूसरी ओर, 0 स्पेक्ट्रम में है क्योंकि यद्यपि संचालक R − 0 (अर्थात स्वयं R) व्युत्क्रमणीय है, व्युत्क्रम को समुच्चय पर परिभाषित किया गया है जो एलपी स्थान में सघन नहीं है या <sup>वास्तव में जटिल संख्या [[बनच स्थान]] पर प्रत्येक परिबद्ध रैखिक संचालिका के पास गैर-खाली स्पेक्ट्रम होना चाहिए। | ||
स्पेक्ट्रम की धारणा अनबाउंड संचालक (अर्थात् आवश्यक रूप से बाध्य नहीं) संचालकों तक फैली हुई है। सम्मिश्र संख्या λ को असीमित संकारक के स्पेक्ट्रम में कहा जाता है <math>T:\,X\to X</math> डोमेन पर परिभाषित <math>D(T)\subseteq X</math> यदि कोई परिबद्ध व्युत्क्रम नहीं है <math>(T-\lambda I)^{-1}:\,X\to D(T)</math> समग्र रूप से परिभाषित <math>X.</math> यदि टी [[बंद ऑपरेटर|बंद संचालक]] है (जिसमें टी बाध्य होने पर मामला | स्पेक्ट्रम की धारणा अनबाउंड संचालक (अर्थात् आवश्यक रूप से बाध्य नहीं) संचालकों तक फैली हुई है। सम्मिश्र संख्या λ को असीमित संकारक के स्पेक्ट्रम में कहा जाता है <math>T:\,X\to X</math> डोमेन पर परिभाषित <math>D(T)\subseteq X</math> यदि कोई परिबद्ध व्युत्क्रम नहीं है <math>(T-\lambda I)^{-1}:\,X\to D(T)</math> समग्र रूप से परिभाषित <math>X.</math> यदि टी [[बंद ऑपरेटर|बंद संचालक]] है (जिसमें टी बाध्य होने पर मामला सम्मिलित है), की बाध्यता <math>(T-\lambda I)^{-1}</math> इसके अस्तित्व से स्वचालित रूप से अनुसरण करता है। | ||
बानाच स्पेस एक्स पर परिबद्ध रैखिक संचालकों बी (एक्स) की | बानाच स्पेस एक्स पर परिबद्ध रैखिक संचालकों बी (एक्स) की स्थान यूनिटल बीजगणित [[बनच बीजगणित]] का उदाहरण है। चूंकि स्पेक्ट्रम की परिभाषा में बी (एक्स) के किसी भी गुण का उल्लेख नहीं है, सिवाय इसके कि ऐसे किसी भी बीजगणित में है, स्पेक्ट्रम की धारणा को इस संदर्भ में उसी परिभाषा शब्दशः का उपयोग करके सामान्यीकृत किया जा सकता है। | ||
== एक बंधे हुए संचालक का स्पेक्ट्रम == | == एक बंधे हुए संचालक का स्पेक्ट्रम == | ||
=== परिभाषा === | === परिभाषा === | ||
होने देना <math>T</math> बनच स्थान पर अभिनय करने वाला परिबद्ध रेखीय संचालिका हो <math>X</math> जटिल अदिश क्षेत्र पर <math>\mathbb{C}</math>, और <math>I</math> [[पहचान ऑपरेटर|पहचान संचालक]] ऑन रहें <math>X</math>. का स्पेक्ट्रम <math>T</math> सभी का | होने देना <math>T</math> बनच स्थान पर अभिनय करने वाला परिबद्ध रेखीय संचालिका हो <math>X</math> जटिल अदिश क्षेत्र पर <math>\mathbb{C}</math>, और <math>I</math> [[पहचान ऑपरेटर|पहचान संचालक]] ऑन रहें <math>X</math>. का स्पेक्ट्रम <math>T</math> सभी का समुच्चय है <math>\lambda \in \mathbb{C}</math> जिसके लिए आपरेटर <math>T-\lambda I</math> व्युत्क्रम नहीं है जो परिबद्ध रैखिक संकारक है। | ||
तब से <math>T-\lambda I</math> रेखीय संकारक है, यदि व्युत्क्रम | तब से <math>T-\lambda I</math> रेखीय संकारक है, यदि व्युत्क्रम उपस्थित है तो रेखीय है; और, [[परिबद्ध व्युत्क्रम प्रमेय]] द्वारा, यह परिबद्ध है। इसलिए, स्पेक्ट्रम में स्पष्ट रूप से वे अदिश होते हैं <math>\lambda</math> जिसके लिए <math>T-\lambda I</math> विशेषण नहीं है। | ||
किसी दिए गए संचालक का स्पेक्ट्रम <math>T</math> | किसी दिए गए संचालक का स्पेक्ट्रम <math>T</math> अधिकांशतः निरूपित किया जाता है <math>\sigma(T)</math>, और इसके पूरक, [[विलायक सेट|विलायक]] समुच्चय को निरूपित किया जाता है <math>\rho(T) = \mathbb{C} \setminus \sigma(T)</math>. (<math>\rho(T)</math> कभी-कभी वर्णक्रमीय त्रिज्या को निरूपित करने के लिए उपयोग किया जाता है <math>T</math>) | ||
===आइगेनवैल्यू से संबंध=== | ===आइगेनवैल्यू से संबंध=== | ||
यदि <math>\lambda</math> का आइगेनवैल्यू है <math>T</math>, फिर संचालक <math>T-\lambda I</math> एक-से-एक नहीं है, और इसलिए इसका उलटा है <math>(T-\lambda I)^{-1}</math> परिभाषित नहीं है। | यदि <math>\lambda</math> का आइगेनवैल्यू है <math>T</math>, फिर संचालक <math>T-\lambda I</math> एक-से-एक नहीं है, और इसलिए इसका उलटा है <math>(T-\lambda I)^{-1}</math> परिभाषित नहीं है। चूंकि , विपरीत कथन सत्य नहीं है: संचालक <math>T - \lambda I</math> व्युत्क्रम नहीं हो सकता है, तथापि <math>\lambda</math> आइगेनवैल्यू नहीं है। इस प्रकार संचालक के स्पेक्ट्रम में सदैव उसके सभी आइगेनवेल्यू होते हैं, किन्तु यह उन तक सीमित नहीं है। | ||
उदाहरण के लिए, हिल्बर्ट स्पेस पर विचार करें <math>\ell^2(\Z)</math>, जिसमें वास्तविक संख्याओं के सभी अनुक्रम परिमित और अनंत या द्वि-अनंत अनुक्रम | उदाहरण के लिए, हिल्बर्ट स्पेस पर विचार करें <math>\ell^2(\Z)</math>, जिसमें वास्तविक संख्याओं के सभी अनुक्रम परिमित और अनंत या द्वि-अनंत अनुक्रम सम्मिलित हैं | ||
:<math>v = (\ldots, v_{-2},v_{-1},v_0,v_1,v_2,\ldots)</math> | :<math>v = (\ldots, v_{-2},v_{-1},v_0,v_1,v_2,\ldots)</math> | ||
जिनके पास वर्गों का परिमित योग है <math display="inline">\sum_{i=-\infty}^{+\infty} v_i^2</math>. द्विपक्षीय शिफ्ट संचालक <math>T</math> बस अनुक्रम के प्रत्येक तत्व को स्थिति से विस्थापित कर देता है; अर्थात् यदि <math>u = T(v)</math> तब <math>u_i = v_{i-1}</math> प्रत्येक पूर्णांक के लिए <math>i</math>. आइगेनवैल्यू समीकरण <math>T(v) = \lambda v</math> इस स्थान में कोई अशून्य समाधान नहीं है, क्योंकि इसका तात्पर्य है कि सभी मान <math>v_i</math> समान निरपेक्ष मूल्य है (यदि <math> \vert \lambda \vert = 1</math>) या ज्यामितीय प्रगति है (यदि <math> \vert \lambda \vert \neq 1</math>); किसी भी तरह से, उनके वर्गों का योग परिमित नहीं होगा। | जिनके पास वर्गों का परिमित योग है <math display="inline">\sum_{i=-\infty}^{+\infty} v_i^2</math>. द्विपक्षीय शिफ्ट संचालक <math>T</math> बस अनुक्रम के प्रत्येक तत्व को स्थिति से विस्थापित कर देता है; अर्थात् यदि <math>u = T(v)</math> तब <math>u_i = v_{i-1}</math> प्रत्येक पूर्णांक के लिए <math>i</math>. आइगेनवैल्यू समीकरण <math>T(v) = \lambda v</math> इस स्थान में कोई अशून्य समाधान नहीं है, क्योंकि इसका तात्पर्य है कि सभी मान <math>v_i</math> समान निरपेक्ष मूल्य है (यदि <math> \vert \lambda \vert = 1</math>) या ज्यामितीय प्रगति है (यदि <math> \vert \lambda \vert \neq 1</math>); किसी भी तरह से, उनके वर्गों का योग परिमित नहीं होगा। चूंकि , संचालक <math>T-\lambda I</math> उलटा नहीं है यदि <math>|\lambda| = 1</math>. उदाहरण के लिए, अनुक्रम <math>u</math> ऐसा है कि <math>u_i = 1/(|i|+1)</math> में है <math>\ell^2(\Z)</math>; किन्तु कोई क्रम नहीं है <math>v</math> में <math>\ell^2(\Z)</math> ऐसा है कि <math>(T-I)v = u</math> (वह है, <math>v_{i-1} = u_i + v_i</math> सभी के लिए <math>i</math>). | ||
=== | === मूलभूत गुण === | ||
परिबद्ध संकारक T का वर्णक्रम | परिबद्ध संकारक T का वर्णक्रम सदैव संवृत्त समुच्चय, परिबद्ध समुच्चय और रिक्त समुच्चय होता है। जटिल तल का अरिक्त उपसमुच्चय। | ||
यदि स्पेक्ट्रम खाली था, तो रिज़ॉल्वेंट औपचारिकता | यदि स्पेक्ट्रम खाली था, तो रिज़ॉल्वेंट औपचारिकता | ||
:<math>R(\lambda) = (T-\lambda I)^{-1}, \qquad \lambda\in\Complex,</math> | :<math>R(\lambda) = (T-\lambda I)^{-1}, \qquad \lambda\in\Complex,</math> | ||
जटिल विमान पर हर | जटिल विमान पर हर स्थान परिभाषित किया जाएगा और घिरा होगा। किन्तु यह दिखाया जा सकता है कि रिज़ॉल्वेंट फ़ंक्शन R अपने डोमेन पर [[होलोमॉर्फिक फ़ंक्शन]] है। लिउविल के प्रमेय (जटिल विश्लेषण)यालिउविल के प्रमेय के वेक्टर-मूल्यवान संस्करण द्वारा, यह फ़ंक्शन स्थिर है, इस प्रकार हर स्थान शून्य है क्योंकि यह अनंत पर शून्य है। यह विरोधाभास होगा। | ||
स्पेक्ट्रम की सीमा λ में [[न्यूमैन श्रृंखला]] से आती है; स्पेक्ट्रम σ(T) ||T|| से घिरा है। समान परिणाम स्पेक्ट्रम की निकटता को दर्शाता है। | स्पेक्ट्रम की सीमा λ में [[न्यूमैन श्रृंखला]] से आती है; स्पेक्ट्रम σ(T) ||T|| से घिरा है। समान परिणाम स्पेक्ट्रम की निकटता को दर्शाता है। | ||
बाउंड ||टी|| स्पेक्ट्रम पर कुछ | बाउंड ||टी|| स्पेक्ट्रम पर कुछ सीमा तक परिष्कृत किया जा सकता है। T का [[वर्णक्रमीय त्रिज्या]], r(T), जटिल तल में सबसे छोटे वृत्त की त्रिज्या है जो मूल पर केंद्रित है और इसके अंदर स्पेक्ट्रम σ(T) समाहित करता है, अर्थात | ||
:<math>r(T) = \sup \{|\lambda| : \lambda \in \sigma(T)\}.</math> | :<math>r(T) = \sup \{|\lambda| : \lambda \in \sigma(T)\}.</math> | ||
Line 62: | Line 62: | ||
:<math>T-\lambda I:\,D(T) \to X</math> | :<math>T-\lambda I:\,D(T) \to X</math> | ||
हर | हर स्थान परिभाषित उलटा है, अर्थात यदि कोई बाध्य संचालक उपस्थित है | ||
:<math>S :\, X \rightarrow D(T)</math> | :<math>S :\, X \rightarrow D(T)</math> | ||
Line 68: | Line 68: | ||
:<math>S (T - \lambda I) = I_{D(T)}, \, (T - \lambda I) S = I_X.</math> | :<math>S (T - \lambda I) = I_{D(T)}, \, (T - \lambda I) S = I_X.</math> | ||
एक जटिल संख्या λ तब 'स्पेक्ट्रम' में होती है यदि λ विलायक | एक जटिल संख्या λ तब 'स्पेक्ट्रम' में होती है यदि λ विलायक समुच्चय में नहीं है। | ||
λ के लिए विलायक में होना (अर्थात स्पेक्ट्रम में नहीं), जैसे बंधे हुए | λ के लिए विलायक में होना (अर्थात स्पेक्ट्रम में नहीं), जैसे बंधे हुए स्थितियों में, <math>T-\lambda I</math> वस्तुनिष्ठ होना चाहिए, क्योंकि इसमें दो तरफा व्युत्क्रम होना चाहिए। पहले की तरह, यदि कोई व्युत्क्रम उपस्थित है, तो इसकी रैखिकता तत्काल है, किन्तु सामान्यतः यह बाध्य नहीं हो सकता है, इसलिए इस स्थिति को अलग से जांचा जाना चाहिए। | ||
बंद ग्राफ प्रमेय द्वारा, की सीमा <math>(T-\lambda I)^{-1}</math> T बंद संकारक होने पर अपने अस्तित्व से सीधे अनुसरण करता है। फिर, बंधे हुए | बंद ग्राफ प्रमेय द्वारा, की सीमा <math>(T-\lambda I)^{-1}</math> T बंद संकारक होने पर अपने अस्तित्व से सीधे अनुसरण करता है। फिर, बंधे हुए स्थितियों की तरह, सम्मिश्र संख्या λ बंद संकारक T के स्पेक्ट्रम में निहित है यदि और केवल यदि <math>T-\lambda I</math> विशेषण नहीं है। ध्यान दें कि बंद संचालकों की श्रेणी में सभी बंधे हुए संचालक सम्मिलित हैं। | ||
=== मूल गुण === | === मूल गुण === | ||
Line 83: | Line 83: | ||
{{further|स्पेक्ट्रम का अपघटन (कार्यात्मक विश्लेषण)}} | {{further|स्पेक्ट्रम का अपघटन (कार्यात्मक विश्लेषण)}} | ||
बानाच स्थान पर बंधा हुआ संचालक टी उलटा है, | बानाच स्थान पर बंधा हुआ संचालक टी उलटा है, अर्थात बाध्य उलटा है, यदि और केवल यदि टी नीचे घिरा हुआ है, अर्थात । <math>\|Tx\| \geq c\|x\|,</math> कुछ के लिए <math>c > 0,</math> और सघन सीमा है। तदनुसार, T के स्पेक्ट्रम को निम्नलिखित भागों में विभाजित किया जा सकता है: | ||
# <math>\lambda\in\sigma(T)</math> यदि <math>T - \lambda I</math> नीचे बाध्य नहीं है। विशेष रूप से, यदि ऐसा होता है <math>T - \lambda I</math> अंतःक्षेपी नहीं है, अर्थात λ आइगेनमान है। आइगेनवैल्यू के | # <math>\lambda\in\sigma(T)</math> यदि <math>T - \lambda I</math> नीचे बाध्य नहीं है। विशेष रूप से, यदि ऐसा होता है <math>T - \lambda I</math> अंतःक्षेपी नहीं है, अर्थात λ आइगेनमान है। आइगेनवैल्यू के समुच्चय को T का 'पॉइंट स्पेक्ट्रम' कहा जाता है और इसे σ द्वारा निरूपित किया जाता है<sub>p</sub>(टी)। वैकल्पिक रूप से, <math>T-\lambda I</math> एक-से-एक हो सकता है किन्तु अभी भी नीचे बाध्य नहीं है। इस तरह के λ एइगेन्वलुए नहीं है, किन्तु फिर भी T का अनुमानित एइगेन्वलुए है (स्वयं आइगेनवैल्यूज़ भी अनुमानित आइगेनवैल्यूज़ हैं)। अनुमानित आइगेनवैल्यूज़ के समुच्चय (जिसमें बिंदु स्पेक्ट्रम सम्मिलित है) को T का 'अनुमानित बिंदु स्पेक्ट्रम' कहा जाता है, जिसे σ द्वारा निरूपित किया जाता है।<sub>ap</sub>(टी)। | ||
# <math>\lambda\in\sigma(T)</math> यदि <math>T-\lambda I</math> सघन सीमा नहीं है। ऐसे λ के | # <math>\lambda\in\sigma(T)</math> यदि <math>T-\lambda I</math> सघन सीमा नहीं है। ऐसे λ के समुच्चय को T का 'संपीड़न स्पेक्ट्रम' कहा जाता है, जिसे निरूपित किया जाता है <math>\sigma_{\mathrm{cp}}(T)</math>. यदि <math>T-\lambda I</math> सघन रेंज नहीं है, किन्तु इंजेक्शन है, λ को टी के 'अवशिष्ट स्पेक्ट्रम' में कहा जाता है, जिसे निरूपित किया जाता है <math>\sigma_{\mathrm{res}}(T)</math>. | ||
ध्यान दें कि अनुमानित बिंदु स्पेक्ट्रम और अवशिष्ट स्पेक्ट्रम अनिवार्य रूप से अलग नहीं हैं ( | ध्यान दें कि अनुमानित बिंदु स्पेक्ट्रम और अवशिष्ट स्पेक्ट्रम अनिवार्य रूप से अलग नहीं हैं ( चूंकि , बिंदु स्पेक्ट्रम और अवशिष्ट स्पेक्ट्रम हैं)। | ||
निम्नलिखित उपखंड ऊपर स्केच किए गए σ(T) के तीन भागों पर अधिक विवरण प्रदान करते हैं। | निम्नलिखित उपखंड ऊपर स्केच किए गए σ(T) के तीन भागों पर अधिक विवरण प्रदान करते हैं। | ||
Line 94: | Line 94: | ||
=== बिंदु स्पेक्ट्रम === | === बिंदु स्पेक्ट्रम === | ||
यदि कोई संचालक इंजेक्टिव नहीं है (इसलिए T(x) = 0 के साथ कुछ गैर-शून्य x है), तो यह स्पष्ट रूप से उलटा नहीं है। तो यदि λ टी का एइगेन्वलुए है, तो जरूरी है कि λ ∈ σ(T) हो। T के आइगेनवैल्यूज़ के | यदि कोई संचालक इंजेक्टिव नहीं है (इसलिए T(x) = 0 के साथ कुछ गैर-शून्य x है), तो यह स्पष्ट रूप से उलटा नहीं है। तो यदि λ टी का एइगेन्वलुए है, तो जरूरी है कि λ ∈ σ(T) हो। T के आइगेनवैल्यूज़ के समुच्चय को T का 'पॉइंट स्पेक्ट्रम' भी कहा जाता है, जिसे σ द्वारा निरूपित किया जाता है।<sub>p</sub>(T)। | ||
=== अनुमानित बिंदु स्पेक्ट्रम === | === अनुमानित बिंदु स्पेक्ट्रम === | ||
अधिक सामान्यतः, परिबद्ध व्युत्क्रम प्रमेय द्वारा, T उलटा नहीं है यदि यह नीचे परिबद्ध नहीं है; | अधिक सामान्यतः, परिबद्ध व्युत्क्रम प्रमेय द्वारा, T उलटा नहीं है यदि यह नीचे परिबद्ध नहीं है; अर्थात , यदि ऐसा कोई c > 0 नहीं है कि ||Tx|| ≥ सी||एक्स|| सभी के लिए {{nowrap|''x'' ∈ ''X''}}. तो स्पेक्ट्रम में अनुमानित आइगेनवैल्यूज़ का समुच्चय सम्मिलित है, जो कि ''λ'' जैसे हैं {{nowrap|''T'' - ''λI''}} नीचे बाध्य नहीं है; समतुल्य रूप से, यह λ का समुच्चय है जिसके लिए इकाई सदिशों x का क्रम है<sub>1</sub>, X<sub>2</sub>, ... जिसके लिए | ||
:<math>\lim_{n \to \infty} \|Tx_n - \lambda x_n\| = 0</math>. | :<math>\lim_{n \to \infty} \|Tx_n - \lambda x_n\| = 0</math>. | ||
अनुमानित आइगेनवैल्यूज़ के | अनुमानित आइगेनवैल्यूज़ के समुच्चय को अनुमानित बिंदु स्पेक्ट्रम के रूप में जाना जाता है, जिसे निरूपित किया जाता है <math>\sigma_{\mathrm{ap}}(T)</math>. | ||
यह देखना आसान है कि आइगेनवैल्यूज़ अनुमानित बिंदु स्पेक्ट्रम में हैं। | यह देखना आसान है कि आइगेनवैल्यूज़ अनुमानित बिंदु स्पेक्ट्रम में हैं। | ||
Line 109: | Line 109: | ||
:<math>R:\,e_j\mapsto e_{j+1},\quad j\in\Z,</math> | :<math>R:\,e_j\mapsto e_{j+1},\quad j\in\Z,</math> | ||
कहाँ <math>\big(e_j\big)_{j\in\N}</math> में मानक ऑर्थोनॉर्मल आधार है <math>l^2(\Z)</math>. प्रत्यक्ष गणना से पता चलता है कि R का कोई आइगेनमान नहीं है, | कहाँ <math>\big(e_j\big)_{j\in\N}</math> में मानक ऑर्थोनॉर्मल आधार है <math>l^2(\Z)</math>. प्रत्यक्ष गणना से पता चलता है कि R का कोई आइगेनमान नहीं है, किन्तु प्रत्येक λ |λ| के साथ है = 1 अनुमानित आइगेनवैल्यू है; एक्स दे रहा है<sub>''n''</sub> वेक्टर हो | ||
:<math>\frac{1}{\sqrt{n}}(\dots, 0, 1, \lambda^{-1}, \lambda^{-2}, \dots, \lambda^{1 - n}, 0, \dots)</math> | :<math>\frac{1}{\sqrt{n}}(\dots, 0, 1, \lambda^{-1}, \lambda^{-2}, \dots, \lambda^{1 - n}, 0, \dots)</math> | ||
Line 122: | Line 122: | ||
=== सतत स्पेक्ट्रम === | === सतत स्पेक्ट्रम === | ||
जिसके लिए सभी λ का | जिसके लिए सभी λ का समुच्चय <math>T-\lambda I</math> इंजेक्शन है और इसकी सघन सीमा है, किन्तु विशेषण नहीं है, इसे 'टी' का निरंतर स्पेक्ट्रम कहा जाता है, जिसे इसके द्वारा दर्शाया गया है <math>\sigma_{\mathbb{c}}(T)</math>. निरंतर स्पेक्ट्रम इसलिए उन अनुमानित आइगेनवैल्यूज़ से बना होता है जो आइगेनवैल्यूज़ नहीं होते हैं और अवशिष्ट स्पेक्ट्रम में नहीं होते हैं। वह है, | ||
:<math>\sigma_{\mathrm{c}}(T) = \sigma_{\mathrm{ap}}(T) \setminus (\sigma_{\mathrm{r}}(T) \cup \sigma_{\mathrm{p}}(T)) </math>. | :<math>\sigma_{\mathrm{c}}(T) = \sigma_{\mathrm{ap}}(T) \setminus (\sigma_{\mathrm{r}}(T) \cup \sigma_{\mathrm{p}}(T)) </math>. | ||
Line 135: | Line 135: | ||
=== अवशिष्ट स्पेक्ट्रम === | === अवशिष्ट स्पेक्ट्रम === | ||
के समुच्चय <math>\lambda\in\Complex</math> जिसके लिए <math>T-\lambda I</math> इंजेक्शन है | के समुच्चय <math>\lambda\in\Complex</math> जिसके लिए <math>T-\lambda I</math> इंजेक्शन है किन्तु इसमें सघन सीमा नहीं है जिसे 'टी' के अवशिष्ट स्पेक्ट्रम के रूप में जाना जाता है और इसे निरूपित किया जाता है <math>\sigma_{\mathrm{r}}(T)</math>: | ||
:<math>\sigma_{\mathrm{r}}(T) = \sigma_{\mathrm{cp}}(T) \setminus \sigma_{\mathrm{p}}(T).</math> | :<math>\sigma_{\mathrm{r}}(T) = \sigma_{\mathrm{cp}}(T) \setminus \sigma_{\mathrm{p}}(T).</math> | ||
एक संचालक इंजेक्शन हो सकता है, यहां तक कि नीचे भी घिरा हुआ है, | एक संचालक इंजेक्शन हो सकता है, यहां तक कि नीचे भी घिरा हुआ है, किन्तु अभी भी उलटा नहीं है। दाहिनी ओर शिफ्ट <math>l^2(\mathbb{N})</math>, <math>R:\,l^2(\mathbb{N})\to l^2(\mathbb{N})</math>, <math>R:\,e_j\mapsto e_{j+1},\,j\in\N</math>, ऐसा ही उदाहरण है। यह शिफ्ट संचालक [[आइसोमेट्री]] है, इसलिए नीचे 1 से घिरा है। किन्तु यह व्युत्क्रमणीय नहीं है क्योंकि यह विशेषण नहीं है (<math>e_1\not\in\mathrm{Ran}(R)</math>), और इसके अतिरिक्त <math>\mathrm{Ran}(R)</math> में घना नहीं है <math>l^2(\mathbb{N})</math> | ||
(<math>e_1\notin\overline{\mathrm{Ran}(R)}</math>). | (<math>e_1\notin\overline{\mathrm{Ran}(R)}</math>). | ||
Line 143: | Line 143: | ||
=== परिधीय स्पेक्ट्रम === | === परिधीय स्पेक्ट्रम === | ||
एक संचालक के परिधीय स्पेक्ट्रम को उसके स्पेक्ट्रम में बिंदुओं के | एक संचालक के परिधीय स्पेक्ट्रम को उसके स्पेक्ट्रम में बिंदुओं के समुच्चय के रूप में परिभाषित किया जाता है, जिसमें इसके वर्णक्रमीय त्रिज्या के बराबर मापांक होता है।<ref name="Zaanen">{{cite book|last1=Zaanen|first1=Adriaan C.|title=रिज़्ज़ स्पेस में ऑपरेटर थ्योरी का परिचय|date=2012|publisher=Springer Science & Business Media|isbn=9783642606373|page=304|url=https://books.google.com/books?id=cgvpCAAAQBAJ&q=Peripheral+spectrum&pg=PA304|access-date=8 September 2017|language=en}}</ref> | ||
=== असतत स्पेक्ट्रम === | === असतत स्पेक्ट्रम === | ||
[[असतत स्पेक्ट्रम (गणित)]] को सामान्य आइगेनवैल्यूज़ के | [[असतत स्पेक्ट्रम (गणित)]] को सामान्य आइगेनवैल्यूज़ के समुच्चय के रूप में परिभाषित किया गया है। समतुल्य रूप से, इसे स्पेक्ट्रम के पृथक बिंदुओं के समुच्चय के रूप में चित्रित किया जा सकता है, जैसे कि संबंधित [[रिज प्रोजेक्टर]] परिमित रैंक का है। | ||
=== [[आवश्यक स्पेक्ट्रम]] === | === [[आवश्यक स्पेक्ट्रम]] === | ||
Line 162: | Line 162: | ||
\sigma(A). | \sigma(A). | ||
</math> | </math> | ||
ये सभी स्पेक्ट्रा <math>\sigma_{\mathrm{ess},k}(A),\ 1\le k\le 5</math>, स्व-आसन्न संकारकों के | ये सभी स्पेक्ट्रा <math>\sigma_{\mathrm{ess},k}(A),\ 1\le k\le 5</math>, स्व-आसन्न संकारकों के स्थितियों में संपाती है। | ||
# आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},1}(A)</math> बिंदुओं के समूह के रूप में परिभाषित किया गया है <math>\lambda</math> स्पेक्ट्रम का ऐसा है <math>A-\lambda I</math> फ्रेडहोम संचालिका नहीं है या सेमी-फ्रेडहोम। (संचालक अर्ध-फ्रेडहोम है यदि इसकी सीमा बंद है और इसका कर्नेल या कोकर्नेल (या दोनों) परिमित-आयामी है।) <br>'उदाहरण 1:' <math>\lambda=0\in\sigma_{\mathrm{ess},1}(A)</math> संचालक के लिए <math>A:\,l^2(\N)\to l^2(\N)</math>, <math>A:\,e_j\mapsto e_j/j,~ j\in\N</math> (क्योंकि इस संचालक की सीमा बंद नहीं है: श्रेणी में सभी | # आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},1}(A)</math> बिंदुओं के समूह के रूप में परिभाषित किया गया है <math>\lambda</math> स्पेक्ट्रम का ऐसा है <math>A-\lambda I</math> फ्रेडहोम संचालिका नहीं है या सेमी-फ्रेडहोम। (संचालक अर्ध-फ्रेडहोम है यदि इसकी सीमा बंद है और इसका कर्नेल या कोकर्नेल (या दोनों) परिमित-आयामी है।) <br>'उदाहरण 1:' <math>\lambda=0\in\sigma_{\mathrm{ess},1}(A)</math> संचालक के लिए <math>A:\,l^2(\N)\to l^2(\N)</math>, <math>A:\,e_j\mapsto e_j/j,~ j\in\N</math> (क्योंकि इस संचालक की सीमा बंद नहीं है: श्रेणी में सभी सम्मिलित नहीं हैं <math>l^2(\N)</math> चूंकि इसका समापन होता है)।<br>उदाहरण 2: <math>\lambda=0\in\sigma_{\mathrm{ess},1}(N)</math> के लिए <math>N:\,l^2(\N)\to l^2(\N)</math>, <math>N:\,v\mapsto 0</math> किसी के लिए <math>v\in l^2(\N)</math> (क्योंकि इस संचालक के कर्नेल और कोकर्नेल दोनों अनंत-आयामी हैं)। | ||
# आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},2}(A)</math> बिंदुओं के समूह के रूप में परिभाषित किया गया है <math>\lambda</math> स्पेक्ट्रम के ऐसे कि संचालक या तो <math>A-\lambda I</math> अनंत-आयामी कर्नेल है या सीमा है जो बंद नहीं है। इसे वेइल की कसौटी के संदर्भ में भी चित्रित किया जा सकता है: [[अनुक्रम]] | # आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},2}(A)</math> बिंदुओं के समूह के रूप में परिभाषित किया गया है <math>\lambda</math> स्पेक्ट्रम के ऐसे कि संचालक या तो <math>A-\lambda I</math> अनंत-आयामी कर्नेल है या सीमा है जो बंद नहीं है। इसे वेइल की कसौटी के संदर्भ में भी चित्रित किया जा सकता है: [[अनुक्रम]] उपस्थित है <math>(x_j)_{j\in\N}</math> स्पेस एक्स में ऐसा है <math>\Vert x_j\Vert=1</math>, <math display="inline"> \lim_{j\to\infty} \left\|(A-\lambda I)x_j \right\| = 0,</math> और ऐसा है <math>(x_j)_{j\in\N}</math> कोई अभिसरण अनुवर्ती नहीं है। इस तरह के अनुक्रम को एकवचन अनुक्रम (या विलक्षण वेइल अनुक्रम) कहा जाता है।<br>'उदाहरण:' <math>\lambda=0\in\sigma_{\mathrm{ess},2}(B)</math> संचालक के लिए <math>B:\,l^2(\N)\to l^2(\N)</math>, <math>B:\,e_j\mapsto e_{j/2}</math> यदि j सम है और <math>e_j\mapsto 0</math> जब j विषम होता है (कर्नेल अनंत-आयामी होता है; कोकर्नेल शून्य-आयामी होता है)। ध्यान दें कि <math>\lambda=0\not\in\sigma_{\mathrm{ess},1}(B)</math>. | ||
# आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},3}(A)</math> बिंदुओं के समूह के रूप में परिभाषित किया गया है <math>\lambda</math> स्पेक्ट्रम का ऐसा है <math>A-\lambda I</math> फ्रेडहोम संचालक नहीं है। (संचालक फ्रेडहोम है यदि इसकी सीमा बंद है और इसके कर्नेल और कोकर्नेल दोनों परिमित-आयामी हैं।) <br>'उदाहरण:' <math>\lambda=0\in\sigma_{\mathrm{ess},3}(J)</math> संचालक के लिए <math>J:\,l^2(\N)\to l^2(\N)</math>, <math>J:\,e_j\mapsto e_{2j}</math> (कर्नेल शून्य-आयामी है, कोकर्नेल अनंत-आयामी है)। ध्यान दें कि <math>\lambda=0\not\in\sigma_{\mathrm{ess},2}(J)</math>. | # आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},3}(A)</math> बिंदुओं के समूह के रूप में परिभाषित किया गया है <math>\lambda</math> स्पेक्ट्रम का ऐसा है <math>A-\lambda I</math> फ्रेडहोम संचालक नहीं है। (संचालक फ्रेडहोम है यदि इसकी सीमा बंद है और इसके कर्नेल और कोकर्नेल दोनों परिमित-आयामी हैं।) <br>'उदाहरण:' <math>\lambda=0\in\sigma_{\mathrm{ess},3}(J)</math> संचालक के लिए <math>J:\,l^2(\N)\to l^2(\N)</math>, <math>J:\,e_j\mapsto e_{2j}</math> (कर्नेल शून्य-आयामी है, कोकर्नेल अनंत-आयामी है)। ध्यान दें कि <math>\lambda=0\not\in\sigma_{\mathrm{ess},2}(J)</math>. | ||
# आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},4}(A)</math> बिंदुओं के समूह के रूप में परिभाषित किया गया है <math>\lambda</math> स्पेक्ट्रम का ऐसा है <math>A-\lambda I</math> इंडेक्स जीरो का फ्रेडहोम संचालक नहीं है। इसे ए के स्पेक्ट्रम के सबसे बड़े हिस्से के रूप में भी चित्रित किया जा सकता है जो [[कॉम्पैक्ट ऑपरेटर|कॉम्पैक्ट संचालक]] | # आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},4}(A)</math> बिंदुओं के समूह के रूप में परिभाषित किया गया है <math>\lambda</math> स्पेक्ट्रम का ऐसा है <math>A-\lambda I</math> इंडेक्स जीरो का फ्रेडहोम संचालक नहीं है। इसे ए के स्पेक्ट्रम के सबसे बड़े हिस्से के रूप में भी चित्रित किया जा सकता है जो [[कॉम्पैक्ट ऑपरेटर|कॉम्पैक्ट संचालक]] अस्तव्यस्तता द्वारा संरक्षित है। दूसरे शब्दों में, <math display="inline">\sigma_{\mathrm{ess},4}(A) = \bigcap_{K \in B_0(X)} \sigma(A+K)</math>; यहाँ <math>B_0(X)</math> एक्स पर सभी कॉम्पैक्ट संचालकों के समुच्चय को दर्शाता है। <br>'उदाहरण:' <math>\lambda=0\in\sigma_{\mathrm{ess},4}(R)</math> कहाँ <math>R:\,l^2(\N)\to l^2(\N)</math> सही शिफ्ट संचालक है, <math>R:\,l^2(\N)\to l^2(\N)</math>, <math>R:\,e_j\mapsto e_{j+1}</math> के लिए <math>j\in\N</math> (इसका कर्नेल शून्य है, इसका कोकर्नेल आयामी है)। ध्यान दें कि <math>\lambda=0\not\in\sigma_{\mathrm{ess},3}(R)</math>. | ||
# आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},5}(A)</math> का संघ है <math>\sigma_{\mathrm{ess},1}(A)</math> के सभी घटकों के साथ <math>\Complex \setminus \sigma_{\mathrm{ess},1}(A)</math> जो रिज़ॉल्वेंट | # आवश्यक स्पेक्ट्रम <math>\sigma_{\mathrm{ess},5}(A)</math> का संघ है <math>\sigma_{\mathrm{ess},1}(A)</math> के सभी घटकों के साथ <math>\Complex \setminus \sigma_{\mathrm{ess},1}(A)</math> जो रिज़ॉल्वेंट समुच्चय के साथ प्रतिच्छेद नहीं करता है <math>\Complex \setminus \sigma(A)</math>. इसकी विशेषता भी हो सकती है <math>\sigma(A)\setminus\sigma_{\mathrm{d}}(A)</math>.<br>उदाहरण: संचालक पर विचार करें <math>T:\,l^2(\Z)\to l^2(\Z)</math>, <math>T:\,e_j\mapsto e_{j-1}</math> के लिए <math>j\ne 0</math>, <math>T:\,e_0\mapsto 0</math>. तब से <math>\Vert T\Vert=1</math>, किसी के पास <math>\sigma(T)\subset\overline{\mathbb{D}_1}</math>. किसी के लिए <math>z\in\Complex</math> साथ <math>|z|=1</math>, की सीमा <math>T-z I</math> घना है किन्तु बंद नहीं है, इसलिए यूनिट डिस्क की सीमा पहले प्रकार के आवश्यक स्पेक्ट्रम में है: <math>\partial\mathbb{D}_1\subset\sigma_{\mathrm{ess},1}(T)</math>. किसी के लिए <math>z\in\Complex</math> साथ <math>|z|<1</math>, <math>T-z I</math> बंद रेंज, आयामी कर्नेल और आयामी कोकर्नेल है, इसलिए <math>z\in\sigma(T)</math> यद्यपि <math>z\not\in\sigma_{\mathrm{ess},k}(T)</math> के लिए <math>1\le k\le 4</math>; इस प्रकार, <math>\sigma_{\mathrm{ess},k}(T)=\partial\mathbb{D}_1</math> के लिए <math>1\le k\le 4</math>. के दो घटक होते हैं <math>\Complex\setminus\sigma_{\mathrm{ess},1}(T)</math>: <math>\{z\in\Complex:\,|z|>1\}</math> और <math>\{z\in\Complex:\,|z|<1\}</math>. घटक <math>\{|z|<1\}</math> विलायक समुच्चय के साथ कोई प्रतिच्छेदन नहीं है; परिभाषा से, <math>\sigma_{\mathrm{ess},5}(T)=\sigma_{\mathrm{ess},1}(T)\cup\{z\in\Complex:\,|z|<1\}=\{z\in\Complex:\,|z|\le 1\}</math>. | ||
== उदाहरण: [[हाइड्रोजन परमाणु]] == | == उदाहरण: [[हाइड्रोजन परमाणु]] == | ||
हाइड्रोजन परमाणु विभिन्न प्रकार के स्पेक्ट्रा का उदाहरण प्रदान करता है। [[आणविक हैमिल्टन]] <math>H=-\Delta-\frac{Z}{|x|}</math>, <math>Z > 0</math>, डोमेन के साथ <math>D(H) = H^1(\R^3)</math> आइगेनवैल्यूज़ का असतत | हाइड्रोजन परमाणु विभिन्न प्रकार के स्पेक्ट्रा का उदाहरण प्रदान करता है। [[आणविक हैमिल्टन]] <math>H=-\Delta-\frac{Z}{|x|}</math>, <math>Z > 0</math>, डोमेन के साथ <math>D(H) = H^1(\R^3)</math> आइगेनवैल्यूज़ का असतत समुच्चय है (असतत स्पेक्ट्रम <math>\sigma_{\mathrm{d}}(H)</math>, जो इस स्थितियों में बिंदु स्पेक्ट्रम के साथ मेल खाता है <math>\sigma_{\mathrm{p}}(H)</math> चूंकि निरंतर स्पेक्ट्रम में कोई ईजेनवेल्यूज सन्निहित नहीं है) जिसकी गणना रिडबर्ग सूत्र द्वारा की जा सकती है। उनके संबंधित [[eigenfunction|एइगेन्फ़ुन्क्तिओन्स]] ईजेनस्टेट्स, या बाध्य राज्यों कहा जाता है। [[आयनीकरण]] प्रक्रिया का परिणाम स्पेक्ट्रम के निरंतर भाग द्वारा वर्णित है (टक्कर/आयनीकरण की ऊर्जा मात्राबद्ध नहीं है), द्वारा दर्शाया गया है <math>\sigma_{\mathrm{cont}}(H)=[0,+\infty)</math> (यह आवश्यक स्पेक्ट्रम के साथ भी मेल खाता है, <math>\sigma_{\mathrm{ess}}(H)=[0,+\infty)</math>). | ||
== आसन्न संचालक का स्पेक्ट्रम == | == आसन्न संचालक का स्पेक्ट्रम == | ||
बता दें कि एक्स बनच स्पेस है और <math>T:\,X\to X</math> असीमित संचालक घने डोमेन के साथ बंद रैखिक संचालक <math>D(T)\subset X</math>. | बता दें कि एक्स बनच स्पेस है और <math>T:\,X\to X</math> असीमित संचालक घने डोमेन के साथ बंद रैखिक संचालक <math>D(T)\subset X</math>. | ||
यदि X * X की दोहरी | यदि X * X की दोहरी स्थान है, और <math>T^*:\, X^* \to X^*</math> तब T का हर्मिटियन सन्निकट है | ||
:<math>\sigma(T^*) = \overline{\sigma(T)} := \{z\in\Complex : \bar{z}\in\sigma(T)\}.</math> | :<math>\sigma(T^*) = \overline{\sigma(T)} := \{z\in\Complex : \bar{z}\in\sigma(T)\}.</math> | ||
Line 205: | Line 205: | ||
हमें भी मिलता है <math>\sigma_{\mathrm{p}}(T)\subset\overline{\sigma_{\mathrm{r}}(T^*)\cup \sigma_{\mathrm{p}}(T^*)}</math> निम्नलिखित तर्क द्वारा: X आइसोमेट्रिक रूप से X** में एम्बेड होता है। | हमें भी मिलता है <math>\sigma_{\mathrm{p}}(T)\subset\overline{\sigma_{\mathrm{r}}(T^*)\cup \sigma_{\mathrm{p}}(T^*)}</math> निम्नलिखित तर्क द्वारा: X आइसोमेट्रिक रूप से X** में एम्बेड होता है। | ||
इसलिए, के कर्नेल में प्रत्येक गैर-शून्य तत्व के लिए <math>T-\lambda I</math> X** में गैर-शून्य तत्व | इसलिए, के कर्नेल में प्रत्येक गैर-शून्य तत्व के लिए <math>T-\lambda I</math> X** में गैर-शून्य तत्व उपस्थित है जो गायब हो जाता है <math>\mathrm{Ran}(T^* - \bar{\lambda}I)</math>. | ||
इस प्रकार <math>\mathrm{Ran}(T^* -\bar{\lambda} I)</math> घना नहीं हो सकता। | इस प्रकार <math>\mathrm{Ran}(T^* -\bar{\lambda} I)</math> घना नहीं हो सकता। | ||
इसके | इसके अतिरिक्त , यदि एक्स रिफ्लेक्सिव है, तो हमारे पास है <math>\overline{\sigma_{\mathrm{r}}(T^*)}\subset\sigma_{\mathrm{p}}(T)</math>. | ||
== संचालकों के विशेष वर्गों का स्पेक्ट्रा == | == संचालकों के विशेष वर्गों का स्पेक्ट्रा == | ||
Line 214: | Line 214: | ||
=== कॉम्पैक्ट संचालक === | === कॉम्पैक्ट संचालक === | ||
यदि टी कॉम्पैक्ट संचालक है, या अधिक | यदि टी कॉम्पैक्ट संचालक है, या अधिक सामान्यतः , [[सख्ती से एकवचन ऑपरेटर|सख्ती से एकवचन संचालक]] है, तो यह दिखाया जा सकता है कि स्पेक्ट्रम गणना योग्य है, शून्य ही एकमात्र संभावित [[संचय बिंदु]] है, और स्पेक्ट्रम में कोई भी गैर-शून्य λ आइगेनवैल्यू है। | ||
===क्वैसिनिलपोटेंट संचालक=== | ===क्वैसिनिलपोटेंट संचालक=== | ||
Line 231: | Line 231: | ||
== एक वास्तविक संचालक का स्पेक्ट्रम == | == एक वास्तविक संचालक का स्पेक्ट्रम == | ||
विलायक और स्पेक्ट्रम की परिभाषाओं को किसी भी निरंतर रैखिक संचालक तक बढ़ाया जा सकता है <math>T</math> बनच स्थान पर अभिनय <math>X</math> वास्तविक क्षेत्र के ऊपर <math>\mathbb{R}</math> (जटिल क्षेत्र के | विलायक और स्पेक्ट्रम की परिभाषाओं को किसी भी निरंतर रैखिक संचालक तक बढ़ाया जा सकता है <math>T</math> बनच स्थान पर अभिनय <math>X</math> वास्तविक क्षेत्र के ऊपर <math>\mathbb{R}</math> (जटिल क्षेत्र के अतिरिक्त <math>\mathbb{C}</math>) इसकी [[जटिलता]] के माध्यम से <math>T_\mathbb{C}</math>. इस स्थितियों में हम विलायक समुच्चय को परिभाषित करते हैं <math>\rho(T)</math> सभी के समुच्चय के रूप में <math>\lambda\in\mathbb{C}</math> ऐसा है कि <math>T_\mathbb{C}-\lambda I</math> जटिल स्थान पर कार्यरत संचालक के रूप में उलटा है <math>X_\mathbb{C}</math>; फिर हम परिभाषित करते हैं <math>\sigma(T)=\mathbb{C}\setminus\rho(T)</math>. | ||
=== वास्तविक स्पेक्ट्रम === | === वास्तविक स्पेक्ट्रम === | ||
एक सतत रैखिक संचालक का वास्तविक स्पेक्ट्रम <math>T</math> वास्तविक बनच स्थान पर अभिनय करना <math>X</math>, निरूपित <math>\sigma_\mathbb{R}(T)</math>, सभी के | एक सतत रैखिक संचालक का वास्तविक स्पेक्ट्रम <math>T</math> वास्तविक बनच स्थान पर अभिनय करना <math>X</math>, निरूपित <math>\sigma_\mathbb{R}(T)</math>, सभी के समुच्चय के रूप में परिभाषित किया गया है <math>\lambda\in\mathbb{R}</math> जिसके लिए <math>T-\lambda I</math> परिबद्ध रैखिक संचालकों के वास्तविक बीजगणित में उलटा होने में विफल रहता है <math>X</math>. इस स्थितियों में हमारे पास है <math>\sigma(T)\cap\mathbb{R}=\sigma_\mathbb{R}(T)</math>. ध्यान दें कि वास्तविक स्पेक्ट्रम जटिल स्पेक्ट्रम के साथ मेल खा सकता है या नहीं भी हो सकता है। विशेष रूप से, वास्तविक स्पेक्ट्रम खाली हो सकता है। | ||
== एक इकाई बनच बीजगणित का स्पेक्ट्रम == | == एक इकाई बनच बीजगणित का स्पेक्ट्रम == | ||
बी को इकाई (रिंग थ्योरी) ई युक्त जटिल बनच बीजगणित होने दें। फिर हम स्पेक्ट्रम σ(x) (या अधिक स्पष्ट रूप से σ<sub>''B''</sub>(x)) बी के तत्व x का उन जटिल संख्याओं का | बी को इकाई (रिंग थ्योरी) ई युक्त जटिल बनच बीजगणित होने दें। फिर हम स्पेक्ट्रम σ(x) (या अधिक स्पष्ट रूप से σ<sub>''B''</sub>(x)) बी के तत्व x का उन जटिल संख्याओं का समुच्चय होना λ जिसके लिए λe − x बी में व्युत्क्रमणीय नहीं है। यह बानाच स्पेस एक्स पर बंधे रैखिक संचालकों बी (एक्स) के लिए परिभाषा का विस्तार करता है, क्योंकि बी (एक्स) इकाई बनच बीजगणित है। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 00:04, 8 April 2023
गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, परिबद्ध संचालिका (या, अधिक सामान्यतः, असीमित संचालक) का स्पेक्ट्रम आव्युह (गणित) के आइगेनवैल्यूज़ के समुच्चय का सामान्यीकरण है। विशेष रूप से, जटिल संख्या परिबद्ध रैखिक संकारक के स्पेक्ट्रम में होना कहा जाता है यदि
- या तो कोई सेट-सैद्धांतिक प्रतिलोम फलन नहीं है;
- या सेट-सैद्धांतिक व्युत्क्रम या तो असीमित है या गैर-सघन उपसमुच्चय पर परिभाषित है।[1]
यहाँ, पहचान संचालक है।
बंद ग्राफ प्रमेय द्वारा, स्पेक्ट्रम में है यदि और केवल यदि बाध्य संचालक , पर गैर-विशेषण है।
स्पेक्ट्रा और संबंधित गुणों के अध्ययन को स्पेक्ट्रल सिद्धांत के रूप में जाना जाता है, जिसमें कई अनुप्रयोग हैं, विशेष रूप से क्वांटम यांत्रिकी का गणितीय सूत्रीकरण।
आयामी (सदिश स्थल ) पर संचालक का स्पेक्ट्रमया आयाम (वेक्टर स्थान) ठीक आइगेनवैल्यू का समुच्चय है। चूंकि अनंत-आयामी अंतरिक्ष पर संचालक के स्पेक्ट्रम में अतिरिक्त तत्व हो सकते हैं, और हो सकता है कि कोई आइगेनवैल्यू न हो। उदाहरण के लिए, हिल्बर्ट अंतरिक्ष एलपी अंतरिक्ष या ℓ पर एकतरफा शिफ्ट संचालक आर पर विचार करें
इसका कोई आइगेनवैल्यूज़ नहीं है, क्योंकि यदि Rx=λx तो इस व्यंजक का विस्तार करके हम देखते हैं कि x1= 0, X2=0, आदि। दूसरी ओर, 0 स्पेक्ट्रम में है क्योंकि यद्यपि संचालक R − 0 (अर्थात स्वयं R) व्युत्क्रमणीय है, व्युत्क्रम को समुच्चय पर परिभाषित किया गया है जो एलपी स्थान में सघन नहीं है या वास्तव में जटिल संख्या बनच स्थान पर प्रत्येक परिबद्ध रैखिक संचालिका के पास गैर-खाली स्पेक्ट्रम होना चाहिए।
स्पेक्ट्रम की धारणा अनबाउंड संचालक (अर्थात् आवश्यक रूप से बाध्य नहीं) संचालकों तक फैली हुई है। सम्मिश्र संख्या λ को असीमित संकारक के स्पेक्ट्रम में कहा जाता है डोमेन पर परिभाषित यदि कोई परिबद्ध व्युत्क्रम नहीं है समग्र रूप से परिभाषित यदि टी बंद संचालक है (जिसमें टी बाध्य होने पर मामला सम्मिलित है), की बाध्यता इसके अस्तित्व से स्वचालित रूप से अनुसरण करता है।
बानाच स्पेस एक्स पर परिबद्ध रैखिक संचालकों बी (एक्स) की स्थान यूनिटल बीजगणित बनच बीजगणित का उदाहरण है। चूंकि स्पेक्ट्रम की परिभाषा में बी (एक्स) के किसी भी गुण का उल्लेख नहीं है, सिवाय इसके कि ऐसे किसी भी बीजगणित में है, स्पेक्ट्रम की धारणा को इस संदर्भ में उसी परिभाषा शब्दशः का उपयोग करके सामान्यीकृत किया जा सकता है।
एक बंधे हुए संचालक का स्पेक्ट्रम
परिभाषा
होने देना बनच स्थान पर अभिनय करने वाला परिबद्ध रेखीय संचालिका हो जटिल अदिश क्षेत्र पर , और पहचान संचालक ऑन रहें . का स्पेक्ट्रम सभी का समुच्चय है जिसके लिए आपरेटर व्युत्क्रम नहीं है जो परिबद्ध रैखिक संकारक है।
तब से रेखीय संकारक है, यदि व्युत्क्रम उपस्थित है तो रेखीय है; और, परिबद्ध व्युत्क्रम प्रमेय द्वारा, यह परिबद्ध है। इसलिए, स्पेक्ट्रम में स्पष्ट रूप से वे अदिश होते हैं जिसके लिए विशेषण नहीं है।
किसी दिए गए संचालक का स्पेक्ट्रम अधिकांशतः निरूपित किया जाता है , और इसके पूरक, विलायक समुच्चय को निरूपित किया जाता है . ( कभी-कभी वर्णक्रमीय त्रिज्या को निरूपित करने के लिए उपयोग किया जाता है )
आइगेनवैल्यू से संबंध
यदि का आइगेनवैल्यू है , फिर संचालक एक-से-एक नहीं है, और इसलिए इसका उलटा है परिभाषित नहीं है। चूंकि , विपरीत कथन सत्य नहीं है: संचालक व्युत्क्रम नहीं हो सकता है, तथापि आइगेनवैल्यू नहीं है। इस प्रकार संचालक के स्पेक्ट्रम में सदैव उसके सभी आइगेनवेल्यू होते हैं, किन्तु यह उन तक सीमित नहीं है।
उदाहरण के लिए, हिल्बर्ट स्पेस पर विचार करें , जिसमें वास्तविक संख्याओं के सभी अनुक्रम परिमित और अनंत या द्वि-अनंत अनुक्रम सम्मिलित हैं
जिनके पास वर्गों का परिमित योग है . द्विपक्षीय शिफ्ट संचालक बस अनुक्रम के प्रत्येक तत्व को स्थिति से विस्थापित कर देता है; अर्थात् यदि तब प्रत्येक पूर्णांक के लिए . आइगेनवैल्यू समीकरण इस स्थान में कोई अशून्य समाधान नहीं है, क्योंकि इसका तात्पर्य है कि सभी मान समान निरपेक्ष मूल्य है (यदि ) या ज्यामितीय प्रगति है (यदि ); किसी भी तरह से, उनके वर्गों का योग परिमित नहीं होगा। चूंकि , संचालक उलटा नहीं है यदि . उदाहरण के लिए, अनुक्रम ऐसा है कि में है ; किन्तु कोई क्रम नहीं है में ऐसा है कि (वह है, सभी के लिए ).
मूलभूत गुण
परिबद्ध संकारक T का वर्णक्रम सदैव संवृत्त समुच्चय, परिबद्ध समुच्चय और रिक्त समुच्चय होता है। जटिल तल का अरिक्त उपसमुच्चय।
यदि स्पेक्ट्रम खाली था, तो रिज़ॉल्वेंट औपचारिकता
जटिल विमान पर हर स्थान परिभाषित किया जाएगा और घिरा होगा। किन्तु यह दिखाया जा सकता है कि रिज़ॉल्वेंट फ़ंक्शन R अपने डोमेन पर होलोमॉर्फिक फ़ंक्शन है। लिउविल के प्रमेय (जटिल विश्लेषण)यालिउविल के प्रमेय के वेक्टर-मूल्यवान संस्करण द्वारा, यह फ़ंक्शन स्थिर है, इस प्रकार हर स्थान शून्य है क्योंकि यह अनंत पर शून्य है। यह विरोधाभास होगा।
स्पेक्ट्रम की सीमा λ में न्यूमैन श्रृंखला से आती है; स्पेक्ट्रम σ(T) ||T|| से घिरा है। समान परिणाम स्पेक्ट्रम की निकटता को दर्शाता है।
बाउंड ||टी|| स्पेक्ट्रम पर कुछ सीमा तक परिष्कृत किया जा सकता है। T का वर्णक्रमीय त्रिज्या, r(T), जटिल तल में सबसे छोटे वृत्त की त्रिज्या है जो मूल पर केंद्रित है और इसके अंदर स्पेक्ट्रम σ(T) समाहित करता है, अर्थात
वर्णक्रमीय त्रिज्या सूत्र कहता है[2] कि किसी भी तत्व के लिए बनच बीजगणित का,
एक असीमित संचालक का स्पेक्ट्रम
एक बनच स्पेस एक्स पर असीमित संचालकों के लिए स्पेक्ट्रम की परिभाषा का विस्तार कर सकते हैं। ये संचालक जो बनच बीजगणित बी (एक्स) में अब तत्व नहीं हैं।
परिभाषा
बता दें कि एक्स बनच स्पेस है और डोमेन पर परिभाषित असीमित संचालक बनें .
एक जटिल संख्या λ को 'रिज़ॉल्वेंट सेट' (जिसे 'नियमित सेट' भी कहा जाता है) में कहा जाता है यदि संचालक
हर स्थान परिभाषित उलटा है, अर्थात यदि कोई बाध्य संचालक उपस्थित है
ऐसा है कि
एक जटिल संख्या λ तब 'स्पेक्ट्रम' में होती है यदि λ विलायक समुच्चय में नहीं है।
λ के लिए विलायक में होना (अर्थात स्पेक्ट्रम में नहीं), जैसे बंधे हुए स्थितियों में, वस्तुनिष्ठ होना चाहिए, क्योंकि इसमें दो तरफा व्युत्क्रम होना चाहिए। पहले की तरह, यदि कोई व्युत्क्रम उपस्थित है, तो इसकी रैखिकता तत्काल है, किन्तु सामान्यतः यह बाध्य नहीं हो सकता है, इसलिए इस स्थिति को अलग से जांचा जाना चाहिए।
बंद ग्राफ प्रमेय द्वारा, की सीमा T बंद संकारक होने पर अपने अस्तित्व से सीधे अनुसरण करता है। फिर, बंधे हुए स्थितियों की तरह, सम्मिश्र संख्या λ बंद संकारक T के स्पेक्ट्रम में निहित है यदि और केवल यदि विशेषण नहीं है। ध्यान दें कि बंद संचालकों की श्रेणी में सभी बंधे हुए संचालक सम्मिलित हैं।
मूल गुण
एक असीमित संचालक का स्पेक्ट्रम सामान्य रूप से जटिल विमान का बंद, संभवतः खाली, सबसेट है।
यदि संकारक T संवृत्त रैखिक संकारक नहीं है, तब .
स्पेक्ट्रम में बिंदुओं का वर्गीकरण
बानाच स्थान पर बंधा हुआ संचालक टी उलटा है, अर्थात बाध्य उलटा है, यदि और केवल यदि टी नीचे घिरा हुआ है, अर्थात । कुछ के लिए और सघन सीमा है। तदनुसार, T के स्पेक्ट्रम को निम्नलिखित भागों में विभाजित किया जा सकता है:
- यदि नीचे बाध्य नहीं है। विशेष रूप से, यदि ऐसा होता है अंतःक्षेपी नहीं है, अर्थात λ आइगेनमान है। आइगेनवैल्यू के समुच्चय को T का 'पॉइंट स्पेक्ट्रम' कहा जाता है और इसे σ द्वारा निरूपित किया जाता हैp(टी)। वैकल्पिक रूप से, एक-से-एक हो सकता है किन्तु अभी भी नीचे बाध्य नहीं है। इस तरह के λ एइगेन्वलुए नहीं है, किन्तु फिर भी T का अनुमानित एइगेन्वलुए है (स्वयं आइगेनवैल्यूज़ भी अनुमानित आइगेनवैल्यूज़ हैं)। अनुमानित आइगेनवैल्यूज़ के समुच्चय (जिसमें बिंदु स्पेक्ट्रम सम्मिलित है) को T का 'अनुमानित बिंदु स्पेक्ट्रम' कहा जाता है, जिसे σ द्वारा निरूपित किया जाता है।ap(टी)।
- यदि सघन सीमा नहीं है। ऐसे λ के समुच्चय को T का 'संपीड़न स्पेक्ट्रम' कहा जाता है, जिसे निरूपित किया जाता है . यदि सघन रेंज नहीं है, किन्तु इंजेक्शन है, λ को टी के 'अवशिष्ट स्पेक्ट्रम' में कहा जाता है, जिसे निरूपित किया जाता है .
ध्यान दें कि अनुमानित बिंदु स्पेक्ट्रम और अवशिष्ट स्पेक्ट्रम अनिवार्य रूप से अलग नहीं हैं ( चूंकि , बिंदु स्पेक्ट्रम और अवशिष्ट स्पेक्ट्रम हैं)।
निम्नलिखित उपखंड ऊपर स्केच किए गए σ(T) के तीन भागों पर अधिक विवरण प्रदान करते हैं।
बिंदु स्पेक्ट्रम
यदि कोई संचालक इंजेक्टिव नहीं है (इसलिए T(x) = 0 के साथ कुछ गैर-शून्य x है), तो यह स्पष्ट रूप से उलटा नहीं है। तो यदि λ टी का एइगेन्वलुए है, तो जरूरी है कि λ ∈ σ(T) हो। T के आइगेनवैल्यूज़ के समुच्चय को T का 'पॉइंट स्पेक्ट्रम' भी कहा जाता है, जिसे σ द्वारा निरूपित किया जाता है।p(T)।
अनुमानित बिंदु स्पेक्ट्रम
अधिक सामान्यतः, परिबद्ध व्युत्क्रम प्रमेय द्वारा, T उलटा नहीं है यदि यह नीचे परिबद्ध नहीं है; अर्थात , यदि ऐसा कोई c > 0 नहीं है कि ||Tx|| ≥ सी||एक्स|| सभी के लिए x ∈ X. तो स्पेक्ट्रम में अनुमानित आइगेनवैल्यूज़ का समुच्चय सम्मिलित है, जो कि λ जैसे हैं T - λI नीचे बाध्य नहीं है; समतुल्य रूप से, यह λ का समुच्चय है जिसके लिए इकाई सदिशों x का क्रम है1, X2, ... जिसके लिए
- .
अनुमानित आइगेनवैल्यूज़ के समुच्चय को अनुमानित बिंदु स्पेक्ट्रम के रूप में जाना जाता है, जिसे निरूपित किया जाता है .
यह देखना आसान है कि आइगेनवैल्यूज़ अनुमानित बिंदु स्पेक्ट्रम में हैं।
उदाहरण के लिए, राइट शिफ्ट आर ऑन पर विचार करें द्वारा परिभाषित
कहाँ में मानक ऑर्थोनॉर्मल आधार है . प्रत्यक्ष गणना से पता चलता है कि R का कोई आइगेनमान नहीं है, किन्तु प्रत्येक λ |λ| के साथ है = 1 अनुमानित आइगेनवैल्यू है; एक्स दे रहा हैn वेक्टर हो
कोई देख सकता है कि ||xn|| = 1 सभी n के लिए, लेकिन
चूँकि R एकात्मक संकारक है, इसका स्पेक्ट्रम इकाई वृत्त पर स्थित है। इसलिए, R का अनुमानित बिंदु स्पेक्ट्रम इसका संपूर्ण स्पेक्ट्रम है।
यह निष्कर्ष संचालकों के अधिक सामान्य वर्ग के लिए भी सही है। एकात्मक संकारक सामान्य संकारक होता है। वर्णक्रमीय प्रमेय द्वारा, हिल्बर्ट स्पेस एच पर बाध्य संचालक सामान्य है यदि और केवल यदि यह समतुल्य है (एच की पहचान के बाद स्पेस) गुणा संचालक के लिए। यह दिखाया जा सकता है कि परिबद्ध गुणन संकारक का अनुमानित बिंदु स्पेक्ट्रम उसके स्पेक्ट्रम के बराबर होता है।
सतत स्पेक्ट्रम
जिसके लिए सभी λ का समुच्चय इंजेक्शन है और इसकी सघन सीमा है, किन्तु विशेषण नहीं है, इसे 'टी' का निरंतर स्पेक्ट्रम कहा जाता है, जिसे इसके द्वारा दर्शाया गया है . निरंतर स्पेक्ट्रम इसलिए उन अनुमानित आइगेनवैल्यूज़ से बना होता है जो आइगेनवैल्यूज़ नहीं होते हैं और अवशिष्ट स्पेक्ट्रम में नहीं होते हैं। वह है,
- .
उदाहरण के लिए, , , , इंजेक्शन है और इसकी सघन सीमा है, फिर भी . दरअसल, यदि साथ ऐसा है कि , किसी के पास जरूरी नहीं है , और तब .
संपीड़न स्पेक्ट्रम
के समुच्चय जिसके लिए सघन परास नहीं होता है जिसे T के संपीडन स्पेक्ट्रम के रूप में जाना जाता है और इसके द्वारा निरूपित किया जाता है .
अवशिष्ट स्पेक्ट्रम
के समुच्चय जिसके लिए इंजेक्शन है किन्तु इसमें सघन सीमा नहीं है जिसे 'टी' के अवशिष्ट स्पेक्ट्रम के रूप में जाना जाता है और इसे निरूपित किया जाता है :
एक संचालक इंजेक्शन हो सकता है, यहां तक कि नीचे भी घिरा हुआ है, किन्तु अभी भी उलटा नहीं है। दाहिनी ओर शिफ्ट , , , ऐसा ही उदाहरण है। यह शिफ्ट संचालक आइसोमेट्री है, इसलिए नीचे 1 से घिरा है। किन्तु यह व्युत्क्रमणीय नहीं है क्योंकि यह विशेषण नहीं है (), और इसके अतिरिक्त में घना नहीं है
().
परिधीय स्पेक्ट्रम
एक संचालक के परिधीय स्पेक्ट्रम को उसके स्पेक्ट्रम में बिंदुओं के समुच्चय के रूप में परिभाषित किया जाता है, जिसमें इसके वर्णक्रमीय त्रिज्या के बराबर मापांक होता है।[3]
असतत स्पेक्ट्रम
असतत स्पेक्ट्रम (गणित) को सामान्य आइगेनवैल्यूज़ के समुच्चय के रूप में परिभाषित किया गया है। समतुल्य रूप से, इसे स्पेक्ट्रम के पृथक बिंदुओं के समुच्चय के रूप में चित्रित किया जा सकता है, जैसे कि संबंधित रिज प्रोजेक्टर परिमित रैंक का है।
आवश्यक स्पेक्ट्रम
बंद घनी परिभाषित रैखिक संचालक के आवश्यक स्पेक्ट्रम की पांच समान परिभाषाएं हैं जो संतुष्ट करता है
ये सभी स्पेक्ट्रा , स्व-आसन्न संकारकों के स्थितियों में संपाती है।
- आवश्यक स्पेक्ट्रम बिंदुओं के समूह के रूप में परिभाषित किया गया है स्पेक्ट्रम का ऐसा है फ्रेडहोम संचालिका नहीं है या सेमी-फ्रेडहोम। (संचालक अर्ध-फ्रेडहोम है यदि इसकी सीमा बंद है और इसका कर्नेल या कोकर्नेल (या दोनों) परिमित-आयामी है।)
'उदाहरण 1:' संचालक के लिए , (क्योंकि इस संचालक की सीमा बंद नहीं है: श्रेणी में सभी सम्मिलित नहीं हैं चूंकि इसका समापन होता है)।
उदाहरण 2: के लिए , किसी के लिए (क्योंकि इस संचालक के कर्नेल और कोकर्नेल दोनों अनंत-आयामी हैं)। - आवश्यक स्पेक्ट्रम बिंदुओं के समूह के रूप में परिभाषित किया गया है स्पेक्ट्रम के ऐसे कि संचालक या तो अनंत-आयामी कर्नेल है या सीमा है जो बंद नहीं है। इसे वेइल की कसौटी के संदर्भ में भी चित्रित किया जा सकता है: अनुक्रम उपस्थित है स्पेस एक्स में ऐसा है , और ऐसा है कोई अभिसरण अनुवर्ती नहीं है। इस तरह के अनुक्रम को एकवचन अनुक्रम (या विलक्षण वेइल अनुक्रम) कहा जाता है।
'उदाहरण:' संचालक के लिए , यदि j सम है और जब j विषम होता है (कर्नेल अनंत-आयामी होता है; कोकर्नेल शून्य-आयामी होता है)। ध्यान दें कि . - आवश्यक स्पेक्ट्रम बिंदुओं के समूह के रूप में परिभाषित किया गया है स्पेक्ट्रम का ऐसा है फ्रेडहोम संचालक नहीं है। (संचालक फ्रेडहोम है यदि इसकी सीमा बंद है और इसके कर्नेल और कोकर्नेल दोनों परिमित-आयामी हैं।)
'उदाहरण:' संचालक के लिए , (कर्नेल शून्य-आयामी है, कोकर्नेल अनंत-आयामी है)। ध्यान दें कि . - आवश्यक स्पेक्ट्रम बिंदुओं के समूह के रूप में परिभाषित किया गया है स्पेक्ट्रम का ऐसा है इंडेक्स जीरो का फ्रेडहोम संचालक नहीं है। इसे ए के स्पेक्ट्रम के सबसे बड़े हिस्से के रूप में भी चित्रित किया जा सकता है जो कॉम्पैक्ट संचालक अस्तव्यस्तता द्वारा संरक्षित है। दूसरे शब्दों में, ; यहाँ एक्स पर सभी कॉम्पैक्ट संचालकों के समुच्चय को दर्शाता है।
'उदाहरण:' कहाँ सही शिफ्ट संचालक है, , के लिए (इसका कर्नेल शून्य है, इसका कोकर्नेल आयामी है)। ध्यान दें कि . - आवश्यक स्पेक्ट्रम का संघ है के सभी घटकों के साथ जो रिज़ॉल्वेंट समुच्चय के साथ प्रतिच्छेद नहीं करता है . इसकी विशेषता भी हो सकती है .
उदाहरण: संचालक पर विचार करें , के लिए , . तब से , किसी के पास . किसी के लिए साथ , की सीमा घना है किन्तु बंद नहीं है, इसलिए यूनिट डिस्क की सीमा पहले प्रकार के आवश्यक स्पेक्ट्रम में है: . किसी के लिए साथ , बंद रेंज, आयामी कर्नेल और आयामी कोकर्नेल है, इसलिए यद्यपि के लिए ; इस प्रकार, के लिए . के दो घटक होते हैं : और . घटक विलायक समुच्चय के साथ कोई प्रतिच्छेदन नहीं है; परिभाषा से, .
उदाहरण: हाइड्रोजन परमाणु
हाइड्रोजन परमाणु विभिन्न प्रकार के स्पेक्ट्रा का उदाहरण प्रदान करता है। आणविक हैमिल्टन , , डोमेन के साथ आइगेनवैल्यूज़ का असतत समुच्चय है (असतत स्पेक्ट्रम , जो इस स्थितियों में बिंदु स्पेक्ट्रम के साथ मेल खाता है चूंकि निरंतर स्पेक्ट्रम में कोई ईजेनवेल्यूज सन्निहित नहीं है) जिसकी गणना रिडबर्ग सूत्र द्वारा की जा सकती है। उनके संबंधित एइगेन्फ़ुन्क्तिओन्स ईजेनस्टेट्स, या बाध्य राज्यों कहा जाता है। आयनीकरण प्रक्रिया का परिणाम स्पेक्ट्रम के निरंतर भाग द्वारा वर्णित है (टक्कर/आयनीकरण की ऊर्जा मात्राबद्ध नहीं है), द्वारा दर्शाया गया है (यह आवश्यक स्पेक्ट्रम के साथ भी मेल खाता है, ).
आसन्न संचालक का स्पेक्ट्रम
बता दें कि एक्स बनच स्पेस है और असीमित संचालक घने डोमेन के साथ बंद रैखिक संचालक . यदि X * X की दोहरी स्थान है, और तब T का हर्मिटियन सन्निकट है
Theorem — For a bounded (or, more generally, closed and densely defined) operator T,
- .
In particular, .
Suppose that is not dense in X. By the Hahn–Banach theorem, there exists a non-zero that vanishes on . For all x ∈ X,
Therefore, and is an eigenvalue of T*.
Conversely, suppose that is an eigenvalue of T*. Then there exists a non-zero such that , i.e.
If is dense in X, then φ must be the zero functional, a contradiction. The claim is proved.
हमें भी मिलता है निम्नलिखित तर्क द्वारा: X आइसोमेट्रिक रूप से X** में एम्बेड होता है। इसलिए, के कर्नेल में प्रत्येक गैर-शून्य तत्व के लिए X** में गैर-शून्य तत्व उपस्थित है जो गायब हो जाता है . इस प्रकार घना नहीं हो सकता।
इसके अतिरिक्त , यदि एक्स रिफ्लेक्सिव है, तो हमारे पास है .
संचालकों के विशेष वर्गों का स्पेक्ट्रा
कॉम्पैक्ट संचालक
यदि टी कॉम्पैक्ट संचालक है, या अधिक सामान्यतः , सख्ती से एकवचन संचालक है, तो यह दिखाया जा सकता है कि स्पेक्ट्रम गणना योग्य है, शून्य ही एकमात्र संभावित संचय बिंदु है, और स्पेक्ट्रम में कोई भी गैर-शून्य λ आइगेनवैल्यू है।
क्वैसिनिलपोटेंट संचालक
एक बंधा हुआ संचालक क्वैसिनिलपोटेंट है यदि जैसा (दूसरे शब्दों में, यदि A का वर्णक्रमीय त्रिज्या शून्य के बराबर है)। ऐसे संचालकों को समान रूप से स्थिति की विशेषता हो सकती है
ऐसे संचालक का उदाहरण है , के लिए .
स्व-आसन्न संचालक
यदि X हिल्बर्ट स्थान है और T स्व-संबद्ध संकारक है (या, अधिक सामान्यतः, सामान्य संकारक), तो वर्णक्रमीय प्रमेय के रूप में जाना जाने वाला उल्लेखनीय परिणाम सामान्य परिमित-आयामी संचालकों के लिए विकर्ण प्रमेय का एनालॉग देता है (हर्मिटियन मैट्रिसेस) , उदाहरण के लिए)।
स्व-आसन्न संचालकों के लिए, वर्णक्रमीय माप अपघटन (कार्यात्मक विश्लेषण) को पूरी तरह से निरंतर, शुद्ध बिंदु और एकवचन भागों में परिभाषित करने के लिए वर्णक्रमीय उपायों का उपयोग कर सकते हैं।
एक वास्तविक संचालक का स्पेक्ट्रम
विलायक और स्पेक्ट्रम की परिभाषाओं को किसी भी निरंतर रैखिक संचालक तक बढ़ाया जा सकता है बनच स्थान पर अभिनय वास्तविक क्षेत्र के ऊपर (जटिल क्षेत्र के अतिरिक्त ) इसकी जटिलता के माध्यम से . इस स्थितियों में हम विलायक समुच्चय को परिभाषित करते हैं सभी के समुच्चय के रूप में ऐसा है कि जटिल स्थान पर कार्यरत संचालक के रूप में उलटा है ; फिर हम परिभाषित करते हैं .
वास्तविक स्पेक्ट्रम
एक सतत रैखिक संचालक का वास्तविक स्पेक्ट्रम वास्तविक बनच स्थान पर अभिनय करना , निरूपित , सभी के समुच्चय के रूप में परिभाषित किया गया है जिसके लिए परिबद्ध रैखिक संचालकों के वास्तविक बीजगणित में उलटा होने में विफल रहता है . इस स्थितियों में हमारे पास है . ध्यान दें कि वास्तविक स्पेक्ट्रम जटिल स्पेक्ट्रम के साथ मेल खा सकता है या नहीं भी हो सकता है। विशेष रूप से, वास्तविक स्पेक्ट्रम खाली हो सकता है।
एक इकाई बनच बीजगणित का स्पेक्ट्रम
बी को इकाई (रिंग थ्योरी) ई युक्त जटिल बनच बीजगणित होने दें। फिर हम स्पेक्ट्रम σ(x) (या अधिक स्पष्ट रूप से σB(x)) बी के तत्व x का उन जटिल संख्याओं का समुच्चय होना λ जिसके लिए λe − x बी में व्युत्क्रमणीय नहीं है। यह बानाच स्पेस एक्स पर बंधे रैखिक संचालकों बी (एक्स) के लिए परिभाषा का विस्तार करता है, क्योंकि बी (एक्स) इकाई बनच बीजगणित है।
यह भी देखें
- आवश्यक स्पेक्ट्रम
- असतत स्पेक्ट्रम (गणित)
- स्वयं संलग्न संचालिका
- स्यूडोस्पेक्ट्रम
- समाधान सेट
संदर्भ
- ↑ Kreyszig, Erwin. Introductory Functional Analysis with Applications.
- ↑ Theorem 3.3.3 of Kadison & Ringrose, 1983, Fundamentals of the Theory of Operator Algebras, Vol. I: Elementary Theory, New York: Academic Press, Inc.
- ↑ Zaanen, Adriaan C. (2012). रिज़्ज़ स्पेस में ऑपरेटर थ्योरी का परिचय (in English). Springer Science & Business Media. p. 304. ISBN 9783642606373. Retrieved 8 September 2017.
- Dales et al., Introduction to Banach Algebras, Operators, and Harmonic Analysis, ISBN 0-521-53584-0
- "Spectrum of an operator", Encyclopedia of Mathematics, EMS Press, 2001 [1994]