सामान्य ऑपरेटर: Difference between revisions
(Created page with "{{Short description|(on a complex Hilbert space) continuous linear operator}} {{Refimprove|date=June 2011}} गणित में, विशेष रूप से का...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|(on a complex Hilbert space) continuous linear operator}} | {{Short description|(on a complex Hilbert space) continuous linear operator}} | ||
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, एक जटिल [[ हिल्बर्ट स्थान |हिल्बर्ट स्थान]] पर एक सामान्य ऑपरेटर ''एच'' एक सतत फ़ंक्शन (टोपोलॉजी) [[रैखिक ऑपरेटर]] ''एन'' है: ''एच'' → ''एच'' जो इसके साथ [[कम्यूटेटर]] है [[हर्मिटियन सहायक]] ''एन*'', वह है: ''एनएन*'' = ''एन*एन''।<ref>{{citation | |||
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, एक जटिल [[ हिल्बर्ट स्थान ]] पर एक सामान्य ऑपरेटर ''एच'' एक सतत फ़ंक्शन (टोपोलॉजी) [[रैखिक ऑपरेटर]] ''एन'' है: ''एच'' → ''एच'' जो इसके साथ [[कम्यूटेटर]] है [[हर्मिटियन सहायक]] ''एन*'', वह है: ''एनएन*'' = ''एन*एन''।<ref>{{citation | |||
| last1 = Hoffman | first1 = Kenneth | | last1 = Hoffman | first1 = Kenneth | ||
| last2 = Kunze | first2 = Ray | author2-link = Ray Kunze | | last2 = Kunze | first2 = Ray | author2-link = Ray Kunze | ||
Line 28: | Line 27: | ||
* <math>\|T x\| = \|T^* x\|</math> सभी के लिए <math>x</math> (उपयोग <math>\|Tx\|^2 = \langle T^* Tx, x \rangle = \langle T T^*x, x \rangle = \|T^*x\|^2</math>). | * <math>\|T x\| = \|T^* x\|</math> सभी के लिए <math>x</math> (उपयोग <math>\|Tx\|^2 = \langle T^* Tx, x \rangle = \langle T T^*x, x \rangle = \|T^*x\|^2</math>). | ||
* स्व-संयुक्त और विरोधी-स्व-सहायक भाग <math>T</math> आना-जाना। अर्थात यदि <math>T</math> के रूप में लिखा गया है <math>T = T_1 + i T_2</math> साथ <math>T_1 := \frac{T+T^*}{2}</math> और <math>i\,T_2 := \frac{T-T^*}{2},</math> तब <math>T_1 T_2 = T_2 T_1.</math><ref group=note>In contrast, for the important class of [[Creation and annihilation operators]] of, e.g., [[quantum field theory]], they don't commute</ref> | * स्व-संयुक्त और विरोधी-स्व-सहायक भाग <math>T</math> आना-जाना। अर्थात यदि <math>T</math> के रूप में लिखा गया है <math>T = T_1 + i T_2</math> साथ <math>T_1 := \frac{T+T^*}{2}</math> और <math>i\,T_2 := \frac{T-T^*}{2},</math> तब <math>T_1 T_2 = T_2 T_1.</math><ref group=note>In contrast, for the important class of [[Creation and annihilation operators]] of, e.g., [[quantum field theory]], they don't commute</ref> | ||
अगर <math>N</math> तो फिर, यह एक सामान्य ऑपरेटर है <math>N</math> और <math>N^*</math> एक ही कर्नेल और एक ही रेंज है। नतीजतन, की सीमा <math>N</math> सघन है यदि और केवल यदि <math>N</math> इंजेक्शन है. | अगर <math>N</math> तो फिर, यह एक सामान्य ऑपरेटर है <math>N</math> और <math>N^*</math> एक ही कर्नेल और एक ही रेंज है। नतीजतन, की सीमा <math>N</math> सघन है यदि और केवल यदि <math>N</math> इंजेक्शन है. दूसरे तरीके से कहें तो, एक सामान्य ऑपरेटर का कर्नेल उसकी सीमा का ऑर्थोगोनल पूरक है। यह इस प्रकार है कि ऑपरेटर का कर्नेल <math>N^k</math> के साथ मेल खाता है <math>N</math> किसी के लिए <math>k.</math> इस प्रकार एक सामान्य ऑपरेटर का प्रत्येक सामान्यीकृत eigenvalue वास्तविक होता है। <math>\lambda</math> एक सामान्य ऑपरेटर का एक eigenvalue है <math>N</math> यदि और केवल यदि यह जटिल संयुग्म है <math>\overline{\lambda}</math> का एक प्रतिरूप है <math>N^*.</math> विभिन्न eigenvalues के अनुरूप एक सामान्य ऑपरेटर के eigenvectors ऑर्थोगोनल होते हैं, और एक सामान्य ऑपरेटर अपने प्रत्येक eigenspaces के ऑर्थोगोनल पूरक को स्थिर करता है।<ref name=Naylor>{{cite book|author1=Naylor, Arch W.|author2=Sell George R.|title=इंजीनियरिंग और विज्ञान में रैखिक ऑपरेटर सिद्धांत|publisher=Springer|location=New York|year=1982|isbn=978-0-387-95001-3|url=https://books.google.com/books?id=t3SXs4-KrE0C&q=naylor+sell+linear|access-date=2021-06-26|archive-date=2021-06-26|archive-url=https://web.archive.org/web/20210626022510/https://books.google.com/books?id=t3SXs4-KrE0C&q=naylor+sell+linear|url-status=live}}</ref> इसका तात्पर्य सामान्य वर्णक्रमीय प्रमेय से है: परिमित-आयामी स्थान पर प्रत्येक सामान्य ऑपरेटर एक एकात्मक ऑपरेटर द्वारा विकर्णीय होता है। [[प्रक्षेपण-मूल्य माप]]ों के संदर्भ में व्यक्त वर्णक्रमीय प्रमेय का एक अनंत-आयामी संस्करण भी है। एक सामान्य ऑपरेटर का अवशिष्ट स्पेक्ट्रम खाली होता है।<ref name=Naylor/> | ||
आवागमन करने वाले सामान्य ऑपरेटरों का उत्पाद फिर से सामान्य है; यह गैर-तुच्छ है, लेकिन सीधे फुगलेडे के प्रमेय से अनुसरण करता है, जो बताता है (पुतनम द्वारा सामान्यीकृत रूप में): | आवागमन करने वाले सामान्य ऑपरेटरों का उत्पाद फिर से सामान्य है; यह गैर-तुच्छ है, लेकिन सीधे फुगलेडे के प्रमेय से अनुसरण करता है, जो बताता है (पुतनम द्वारा सामान्यीकृत रूप में): | ||
Line 34: | Line 33: | ||
:अगर <math>N_1</math> और <math>N_2</math> सामान्य ऑपरेटर हैं और यदि <math>A</math> एक परिबद्ध रैखिक संचालिका है जैसे कि <math>N_1 A = A N_2,</math> तब <math>N_1^* A = A N_2^*</math>. | :अगर <math>N_1</math> और <math>N_2</math> सामान्य ऑपरेटर हैं और यदि <math>A</math> एक परिबद्ध रैखिक संचालिका है जैसे कि <math>N_1 A = A N_2,</math> तब <math>N_1^* A = A N_2^*</math>. | ||
एक सामान्य ऑपरेटर का ऑपरेटर मानदंड उसके [[संख्यात्मक त्रिज्या]] के बराबर होता है | एक सामान्य ऑपरेटर का ऑपरेटर मानदंड उसके [[संख्यात्मक त्रिज्या]] के बराबर होता है और [[वर्णक्रमीय त्रिज्या]]। | ||
एक सामान्य ऑपरेटर अपने [[अलुथगे परिवर्तन]] के साथ मेल खाता है। | एक सामान्य ऑपरेटर अपने [[अलुथगे परिवर्तन]] के साथ मेल खाता है। | ||
Line 40: | Line 39: | ||
==परिमित-आयामी मामले में गुण== | ==परिमित-आयामी मामले में गुण== | ||
यदि एक परिमित-आयामी वास्तविक पर एक सामान्य ऑपरेटर टी | यदि एक परिमित-आयामी वास्तविक पर एक सामान्य ऑपरेटर टी या जटिल हिल्बर्ट स्पेस (आंतरिक उत्पाद स्थान) एच एक उपस्पेस वी को स्थिर करता है, फिर यह इसके ऑर्थोगोनल पूरक वी को भी स्थिर करता है<sup>⊥</sup>. (यह कथन उस मामले में तुच्छ है जहां टी स्व-सहायक है।) | ||
सबूत। चलो पी<sub>V</sub>V पर ओर्थोगोनल प्रक्षेपण हो। फिर V पर ओर्थोगोनल प्रक्षेपण<sup>⊥</sup> 1 है<sub>''H''</sub>-पी<sub>V</sub>. तथ्य यह है कि T, V को स्थिर करता है, इसे ('1') के रूप में व्यक्त किया जा सकता है<sub>''H''</sub>-पी<sub>V</sub>)टीपी<sub>V</sub>= 0, या टीपी<sub>V</sub>= पी<sub>V</sub>टी.पी<sub>V</sub>. लक्ष्य यह दिखाना है कि पी<sub>V</sub>टी('1'<sub>''H''</sub>-पी<sub>V</sub>) = 0. | सबूत। चलो पी<sub>V</sub>V पर ओर्थोगोनल प्रक्षेपण हो। फिर V पर ओर्थोगोनल प्रक्षेपण<sup>⊥</sup> 1 है<sub>''H''</sub>-पी<sub>V</sub>. तथ्य यह है कि T, V को स्थिर करता है, इसे ('1') के रूप में व्यक्त किया जा सकता है<sub>''H''</sub>-पी<sub>V</sub>)टीपी<sub>V</sub>= 0, या टीपी<sub>V</sub>= पी<sub>V</sub>टी.पी<sub>V</sub>. लक्ष्य यह दिखाना है कि पी<sub>V</sub>टी('1'<sub>''H''</sub>-पी<sub>V</sub>) = 0. | ||
Line 91: | Line 90: | ||
सामान्य ऑपरेटरों के सिद्धांत की सफलता ने क्रमपरिवर्तन की आवश्यकता को कमजोर करके सामान्यीकरण के कई प्रयासों को जन्म दिया। ऑपरेटरों की श्रेणियाँ जिनमें सामान्य ऑपरेटर शामिल हैं (शामिल करने के क्रम में) | सामान्य ऑपरेटरों के सिद्धांत की सफलता ने क्रमपरिवर्तन की आवश्यकता को कमजोर करके सामान्यीकरण के कई प्रयासों को जन्म दिया। ऑपरेटरों की श्रेणियाँ जिनमें सामान्य ऑपरेटर शामिल हैं (शामिल करने के क्रम में) | ||
* [[हाइपोनॉर्मल ऑपरेटर]] | * [[हाइपोनॉर्मल ऑपरेटर]] | ||
* [[नॉर्मलॉयड]] | * [[नॉर्मलॉयड]] | ||
* [[अपसामान्य संचालिका]] | * [[अपसामान्य संचालिका]] |
Revision as of 13:17, 7 July 2023
गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, एक जटिल हिल्बर्ट स्थान पर एक सामान्य ऑपरेटर एच एक सतत फ़ंक्शन (टोपोलॉजी) रैखिक ऑपरेटर एन है: एच → एच जो इसके साथ कम्यूटेटर है हर्मिटियन सहायक एन*, वह है: एनएन* = एन*एन।[1] सामान्य ऑपरेटर महत्वपूर्ण हैं क्योंकि वर्णक्रमीय प्रमेय उनके लिए मान्य है। सामान्य ऑपरेटरों का वर्ग अच्छी तरह से समझा जाता है। सामान्य ऑपरेटरों के उदाहरण हैं
- एकात्मक संचालक: एन* = एन−1
- हर्मिटियन ऑपरेटर्स (यानी, स्व-सहायक ऑपरेटर्स): एन* = एन
- तिरछा-Hermitian ऑपरेटर: एन* = −एन
- सकारात्मक ऑपरेटर: कुछ एम के लिए एन = एमएम* (इसलिए एन स्व-सहायक है)।
एक सामान्य मैट्रिक्स हिल्बर्ट स्पेस 'सी' पर एक सामान्य ऑपरेटर की मैट्रिक्स अभिव्यक्ति हैn.
गुण
सामान्य ऑपरेटरों को वर्णक्रमीय प्रमेय द्वारा चित्रित किया जाता है। हिल्बर्ट स्पेस पर एक कॉम्पैक्ट ऑपरेटर (विशेष रूप से, एक परिमित-आयामी रैखिक स्थान पर एक सामान्य ऑपरेटर) इकाई रूप से विकर्ण योग्य है।[2]
होने देना एक बाध्य ऑपरेटर बनें। निम्नलिखित समतुल्य हैं.
- यह सामान्य है।
- यह सामान्य है।
- सभी के लिए (उपयोग ).
- स्व-संयुक्त और विरोधी-स्व-सहायक भाग आना-जाना। अर्थात यदि के रूप में लिखा गया है साथ और तब [note 1]
अगर तो फिर, यह एक सामान्य ऑपरेटर है और एक ही कर्नेल और एक ही रेंज है। नतीजतन, की सीमा सघन है यदि और केवल यदि इंजेक्शन है. दूसरे तरीके से कहें तो, एक सामान्य ऑपरेटर का कर्नेल उसकी सीमा का ऑर्थोगोनल पूरक है। यह इस प्रकार है कि ऑपरेटर का कर्नेल के साथ मेल खाता है किसी के लिए इस प्रकार एक सामान्य ऑपरेटर का प्रत्येक सामान्यीकृत eigenvalue वास्तविक होता है। एक सामान्य ऑपरेटर का एक eigenvalue है यदि और केवल यदि यह जटिल संयुग्म है का एक प्रतिरूप है विभिन्न eigenvalues के अनुरूप एक सामान्य ऑपरेटर के eigenvectors ऑर्थोगोनल होते हैं, और एक सामान्य ऑपरेटर अपने प्रत्येक eigenspaces के ऑर्थोगोनल पूरक को स्थिर करता है।[3] इसका तात्पर्य सामान्य वर्णक्रमीय प्रमेय से है: परिमित-आयामी स्थान पर प्रत्येक सामान्य ऑपरेटर एक एकात्मक ऑपरेटर द्वारा विकर्णीय होता है। प्रक्षेपण-मूल्य मापों के संदर्भ में व्यक्त वर्णक्रमीय प्रमेय का एक अनंत-आयामी संस्करण भी है। एक सामान्य ऑपरेटर का अवशिष्ट स्पेक्ट्रम खाली होता है।[3]
आवागमन करने वाले सामान्य ऑपरेटरों का उत्पाद फिर से सामान्य है; यह गैर-तुच्छ है, लेकिन सीधे फुगलेडे के प्रमेय से अनुसरण करता है, जो बताता है (पुतनम द्वारा सामान्यीकृत रूप में):
- अगर और सामान्य ऑपरेटर हैं और यदि एक परिबद्ध रैखिक संचालिका है जैसे कि तब .
एक सामान्य ऑपरेटर का ऑपरेटर मानदंड उसके संख्यात्मक त्रिज्या के बराबर होता है और वर्णक्रमीय त्रिज्या।
एक सामान्य ऑपरेटर अपने अलुथगे परिवर्तन के साथ मेल खाता है।
परिमित-आयामी मामले में गुण
यदि एक परिमित-आयामी वास्तविक पर एक सामान्य ऑपरेटर टी या जटिल हिल्बर्ट स्पेस (आंतरिक उत्पाद स्थान) एच एक उपस्पेस वी को स्थिर करता है, फिर यह इसके ऑर्थोगोनल पूरक वी को भी स्थिर करता है⊥. (यह कथन उस मामले में तुच्छ है जहां टी स्व-सहायक है।)
सबूत। चलो पीVV पर ओर्थोगोनल प्रक्षेपण हो। फिर V पर ओर्थोगोनल प्रक्षेपण⊥ 1 हैH-पीV. तथ्य यह है कि T, V को स्थिर करता है, इसे ('1') के रूप में व्यक्त किया जा सकता हैH-पीV)टीपीV= 0, या टीपीV= पीVटी.पीV. लक्ष्य यह दिखाना है कि पीVटी('1'H-पीV) = 0.
माना X = PVटी('1'H-पीV). चूँकि (A, B) ↦ tr(AB*) H के एंडोमोर्फिज्म के स्थान पर एक आंतरिक उत्पाद है, यह दिखाने के लिए पर्याप्त है कि tr(XX*) = 0. सबसे पहले हम ध्यान दें कि
अब ट्रेस (रैखिक बीजगणित) और ऑर्थोगोनल अनुमानों के गुणों का उपयोग करते हुए हमारे पास है:
अनंत आयामी हिल्बर्ट स्थानों में कॉम्पैक्ट सामान्य ऑपरेटरों के लिए भी यही तर्क लागू होता है, जहां कोई हिल्बर्ट-श्मिट आंतरिक उत्पाद का उपयोग करता है, जिसे tr(AB*) द्वारा परिभाषित किया गया है, जिसकी उपयुक्त व्याख्या की गई है।[4] हालाँकि, बंधे हुए सामान्य ऑपरेटरों के लिए, एक स्थिर उप-स्थान के लिए ऑर्थोगोनल पूरक स्थिर नहीं हो सकता है।[5] इसका तात्पर्य यह है कि हिल्बर्ट स्पेस को सामान्य रूप से सामान्य ऑपरेटर के आइजनवेक्टर द्वारा विस्तारित नहीं किया जा सकता है। उदाहरण के लिए, द्विपक्षीय बदलाव (या दोतरफा बदलाव) पर विचार करें , जो सामान्य है, लेकिन इसका कोई स्वदेशी मान नहीं है।
हार्डी स्पेस पर अभिनय करने वाले शिफ्ट के अपरिवर्तनीय उप-स्थानों को बर्लिंग के प्रमेय द्वारा चित्रित किया गया है।
बीजगणित के सामान्य तत्व
सामान्य ऑपरेटरों की धारणा एक अनैच्छिक बीजगणित के लिए सामान्यीकरण करती है:
एक अव्यवस्थित बीजगणित का एक तत्व x सामान्य कहा जाता है यदि xx* = x*x।
स्वसंयुक्त एवं एकात्मक तत्व सामान्य हैं।
सबसे महत्वपूर्ण मामला तब होता है जब ऐसा बीजगणित C*-बीजगणित होता है।
असंबद्ध सामान्य ऑपरेटर
सामान्य ऑपरेटरों की परिभाषा स्वाभाविक रूप से अनबाउंड ऑपरेटरों के कुछ वर्ग के लिए सामान्यीकृत होती है। स्पष्ट रूप से, एक बंद ऑपरेटर एन को सामान्य कहा जाता है यदि
यहां, सहायक N* के अस्तित्व के लिए आवश्यक है कि N का डोमेन सघन हो, और समानता में यह दावा शामिल है कि N*N का डोमेन NN* के डोमेन के बराबर है, जो सामान्य रूप से जरूरी नहीं है।
समान रूप से सामान्य ऑपरेटर बिल्कुल वही होते हैं जिनके लिए[6]
- साथ
वर्णक्रमीय प्रमेय अभी भी असीमित (सामान्य) ऑपरेटरों के लिए लागू है। प्रूफ़ बाउंडेड (सामान्य) ऑपरेटरों में कमी करके काम करते हैं।[7][8]
सामान्यीकरण
सामान्य ऑपरेटरों के सिद्धांत की सफलता ने क्रमपरिवर्तन की आवश्यकता को कमजोर करके सामान्यीकरण के कई प्रयासों को जन्म दिया। ऑपरेटरों की श्रेणियाँ जिनमें सामान्य ऑपरेटर शामिल हैं (शामिल करने के क्रम में)
- हाइपोनॉर्मल ऑपरेटर
- नॉर्मलॉयड
- अपसामान्य संचालिका
- अर्धसामान्य ऑपरेटर
- असामान्य ऑपरेटर
यह भी देखें
- Continuous linear operator
- Contraction (operator theory) – Bounded operators with sub-unit norm
टिप्पणियाँ
- ↑ In contrast, for the important class of Creation and annihilation operators of, e.g., quantum field theory, they don't commute
संदर्भ
- ↑ Hoffman, Kenneth; Kunze, Ray (1971), Linear algebra (2nd ed.), Englewood Cliffs, N.J.: Prentice-Hall, Inc., p. 312, MR 0276251
- ↑ Hoffman & Kunze (1971), p. 317.
- ↑ 3.0 3.1 Naylor, Arch W.; Sell George R. (1982). इंजीनियरिंग और विज्ञान में रैखिक ऑपरेटर सिद्धांत. New York: Springer. ISBN 978-0-387-95001-3. Archived from the original on 2021-06-26. Retrieved 2021-06-26.
- ↑ Andô, Tsuyoshi (1963). "एक कॉम्पैक्ट सामान्य ऑपरेटर के अपरिवर्तनीय उप-स्थान पर ध्यान दें". Archiv der Mathematik. 14: 337–340. doi:10.1007/BF01234964. S2CID 124945750.
- ↑ Garrett, Paul (2005). "हिल्बर्ट स्थानों पर ऑपरेटर" (PDF). Archived (PDF) from the original on 2011-09-18. Retrieved 2011-07-01.
- ↑ Weidmann, Lineare Operatoren in Hilberträumen, Chapter 4, Section 3
- ↑ Alexander Frei, Spectral Measures, Mathematics Stack Exchange, Existence Archived 2021-06-26 at the Wayback Machine, Uniqueness Archived 2021-06-26 at the Wayback Machine
- ↑ John B. Conway, A Course in Functional Analysis, Second Edition, Chapter X, Section §4