ट्रेस क्लास: Difference between revisions
No edit summary |
No edit summary |
||
(9 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]], एक | गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]], एक ट्रेसी क्लास ऑपरेटर रैखिक ऑपरेटर होता है, जिसके लिए [[ट्रेस (रैखिक बीजगणित)]] परिभाषित किया जा सकता है, इस प्रकार ट्रेस आधार के चयन से स्वतंत्र एक परिमित संख्या है जिसका प्रयोग ट्रेस के गणना हेतु होता है। ट्रेस-क्लास ऑपरेटरों का यह निशान रेखीय बीजगणित में अध्ययन किए गए मेट्रिसेस के ट्रेस को सामान्य करता है, सभी ट्रेस-क्लास ऑपरेटर [[कॉम्पैक्ट ऑपरेटर]] हैं। | ||
क्वांटम यांत्रिकी में, [[मिश्रित अवस्था (भौतिकी)]] | क्वांटम यांत्रिकी में, [[मिश्रित अवस्था (भौतिकी)]] को [[घनत्व मैट्रिक्स]] द्वारा वर्णित किया जाता है, जो निश्चित ट्रेस क्लास ऑपरेटर हैं। | ||
ट्रेस-क्लास ऑपरेटर अनिवार्य रूप से [[परमाणु ऑपरेटर|परमाणु]] [[ऑपरेटरों]] के समान हैं, चूंकि कई लेखक हिल्बर्ट | ट्रेस-क्लास ऑपरेटर अनिवार्य रूप से [[परमाणु ऑपरेटर|परमाणु]] [[ऑपरेटरों]] के समान हैं, चूंकि कई लेखक हिल्बर्ट स्पेस पर परमाणु ऑपरेटरों के विशेष स्थितिे के लिए ट्रेस-क्लास ऑपरेटर शब्द आरक्षित करते हैं और परमाणु ऑपरेटर शब्द का उपयोग अधिक सामान्य [[टोपोलॉजिकल वेक्टर स्पेस]] (जैसे बानाच रिक्त स्थान) में किया जाता है। | ||
ध्यान दें कि आंशिक अंतर समीकरणों में अध्ययन किया गया [[ट्रेस ऑपरेटर]] एक असंबंधित अवधारणा है। | ध्यान दें कि आंशिक अंतर समीकरणों में अध्ययन किया गया [[ट्रेस ऑपरेटर]] एक असंबंधित अवधारणा है। | ||
Line 9: | Line 9: | ||
== परिभाषा == | == परिभाषा == | ||
मान लीजिए <math>H</math> एक हिल्बर्ट स्पेस है और <math>A : H \to H</math>, <math>H</math> पर एक [[परिबद्ध रैखिक संचालिका]] है जो | मान लीजिए <math>H</math> एक हिल्बर्ट स्पेस है और <math>A : H \to H</math>, <math>H</math> पर एक [[परिबद्ध रैखिक संचालिका]] है जो गैर-नकारात्मक ( अर्थात, अर्ध सकारात्मक-डेफिनिट) और स्वयं संलग्न है। जिसमे <math>\operatorname{Tr} A,</math> द्वारा निरूपित <math>A</math> ट्रेस श्रृंखला का योग होता है{{sfn|Conway|1990|p=267}}<math display="block">\operatorname{Tr} A = \sum_k \left\langle A e_k, e_k \right\rangle,</math>जहाँ <math>\left(e_k\right)_{k}</math> का एक ऑर्थोनॉर्मल आधार <math>H</math> है, यह दिखाया जा सकता है कि यह जटिल संख्याओं की एक [[पूर्ण अभिसरण]] श्रृंखला है जिसका योग ऑर्थोनॉर्मल आधार की पसंद पर निर्भर नहीं करता है। <math>H,</math> पर मनमाने ढंग से परिबद्ध रैखिक ऑपरेटर <math>T : H \to H</math> के लिए, हम <math>|T|</math> द्वारा निरूपित <math>T^* T,</math> का सकारात्मक वर्गमूल होने के लिए इसके पूर्ण मान को परिभाषित करते हैं। अर्थात, <math>|T| := \sqrt{T^* T}</math> ,<math>H</math> पर यूनीक बाउंडेड [[सकारात्मक ऑपरेटर]] है जैसे कि <math>|T| \circ |T| = T^* \circ T</math> ऑपरेटर <math>T : H \to H</math> को ट्रेस क्लास में कहा जाता है यदि <math>\operatorname{Tr} (|T|) < \infty</math> है तो हम {{mvar|H}} पर सभी ट्रेस क्लास रैखिक ऑपरेटरों के स्थान को <math>B_1(H)</math> द्वारा निरूपित करते हैं। (कोई दिखा सकता है कि यह वास्तव में एक सदिश स्थान है।) | ||
जहाँ <math>\left(e_k\right)_{k}</math> <math>H</math> | यदि <math>T</math> ट्रेस क्लास में है, तो <math>T</math> द्वारा हम ट्रेस को परिभाषित करते हैं, <math display="block">\operatorname{Tr} T = \sum_k \left\langle T e_k, e_k \right\rangle,</math>जहाँ <math>\left(e_k\right)_{k}</math> का एक मनमाना ऑर्थोनॉर्मल आधार <math>H</math> है, यह दिखाया जा सकता है कि यह जटिल संख्याओं की एक पूरी प्रकार से अभिसरण श्रृंखला है जिसका योग ऑर्थोनॉर्मल आधार की पसंद पर निर्भर नहीं करता है। | ||
जब {{mvar|H}} परिमित-आयामी होता है, तो प्रत्येक ऑपरेटर ट्रेस क्लास होता है और {{mvar|T}} के [[ट्रेस (मैट्रिक्स)]] की यह परिभाषा मैट्रिक्स के ट्रेस की परिभाषा के साथ मेल खाती है। | |||
== समकक्ष फॉर्मूलेशन == | == समकक्ष फॉर्मूलेशन == | ||
एक | एक सीमित रैखिक ऑपरेटर <math>T : H \to H</math> को देखते हुए, निम्न में से प्रत्येक कथन <math>T</math> के ट्रेस क्लास में होने के बराबर है: | ||
* <math>\operatorname{Tr} (|T|) < \infty | * <math>\operatorname{Tr} (|T|) < \infty</math>{{sfn|Conway|1990|p=267}} | ||
* | *{{mvar|H}} के कुछ ऑर्थोनॉर्मल आधार <math>\left(e_k\right)_{k}</math> के लिए, धनात्मक पदों का योग <math display="inline">\sum_k \left\langle |T| \, e_k, e_k \right\rangle</math> परिमित है। | ||
* | *{{mvar|H}} के प्रत्येक ऑर्थोनॉर्मल आधार <math>\left(e_k\right)_{k}</math> के लिए, धनात्मक पदों का योग <math display="inline">\sum_k \left\langle |T| \, e_k, e_k \right\rangle</math> परिमित है। | ||
* {{mvar|T}} एक कॉम्पैक्ट ऑपरेटर है और <math display="inline">\sum_{i=1}^{\infty} s_i < \infty,</math> | *{{mvar|T}} एक कॉम्पैक्ट ऑपरेटर है और <math display="inline">\sum_{i=1}^{\infty} s_i < \infty,</math> जहां <math>s_1, s_2, \ldots</math> हैं <math>|T|</math> के आइगेनवैल्यू ({{mvar|T}} के एकवचन मूल्यों के रूप में भी जाना जाता है) प्रत्येक ईगेनवेल्यू को अधिकांशतः इसकी बहुलता के रूप में दोहराया जाता है।{{sfn|Conway|1990|p=267}} | ||
* दो [[ऑर्थोगोनल (गणित)]] क्रम उपलब्ध हैं <math>\left(x_i\right)_{i=1}^{\infty}</math> और <math>\left(y_i\right)_{i=1}^{\infty}</math> | * दो [[ऑर्थोगोनल (गणित)]] क्रम उपलब्ध हैं <math>\left(x_i\right)_{i=1}^{\infty}</math> और <math>\left(y_i\right)_{i=1}^{\infty}</math> <math>H</math> में और एक क्रम <math>\left(\lambda_i\right)_{i=1}^{\infty}</math> <math>\ell^1</math> में ऐसा कि सभी के लिए <math>x \in H,</math> <math display="inline">T(x) = \sum_{i=1}^{\infty} \lambda_i \left\langle x, x_i \right\rangle y_i</math>{{sfn|Trèves|2006|p=494}} यहाँ, अनंत योग का अर्थ है कि आंशिक योग का क्रम <math display="inline">\left(\sum_{i=1}^{N} \lambda_i \left\langle x, x_i \right\rangle y_i\right)_{N=1}^{\infty}</math> में विलीन <math>T(x)</math> में {{mvar|H}} हो जाता है। | ||
* {{mvar|T}} | *{{mvar|T}} एक परमाणु ऑपरेटर है। | ||
* {{mvar|T}} दो [[हिल्बर्ट-श्मिट | *{{mvar|T}} दो [[हिल्बर्ट-श्मिट]] ऑपरेटरों की संरचना के बराबर है।{{sfn|Conway|1990|p=267}} | ||
* <math display="inline">\sqrt{|T|}</math> एक हिल्बर्ट-श्मिट ऑपरेटर है।{{sfn|Conway|1990|p=267}} | * <math display="inline">\sqrt{|T|}</math> एक हिल्बर्ट-श्मिट ऑपरेटर है।{{sfn|Conway|1990|p=267}} | ||
* {{mvar|T}} एक [[अभिन्न रैखिक ऑपरेटर]] है।{{sfn|Trèves|2006|pp=502-508}} | * {{mvar|T}} एक [[अभिन्न रैखिक ऑपरेटर]] है।{{sfn|Trèves|2006|pp=502-508}} | ||
* कमजोर रूप से बंद और समान (और | *कमजोर रूप से बंद और समान (और इस प्रकार कमजोर रूप से कॉम्पैक्ट) उपसमुच्चय उपलब्ध हैं <math>A^{\prime}</math> और <math>B^{\prime\prime}</math> का <math>H^{\prime}</math> और <math>H^{\prime\prime},</math> क्रमशः, और कुछ सकारात्मक [[रेडॉन माप]] <math>\mu</math> पर <math>A^{\prime} \times B^{\prime\prime}</math> कुल द्रव्यमान <math>\leq 1</math> ऐसा कि सभी <math>x \in H</math> और <math>y^{\prime} \in H^{\prime}</math> के लिए:<math display="block">y^{\prime} (T(x)) = \int_{A^{\prime} \times B^{\prime\prime}} x^{\prime}(x) \; y^{\prime\prime}\left(y^{\prime}\right) \, \mathrm{d} \mu \left(x^{\prime}, y^{\prime\prime}\right).</math> | ||
=== ट्रेस-मानक === | === ट्रेस-मानक === | ||
हम ट्रेस क्लास ऑपरेटर के ट्रेस- | हम ट्रेस क्लास ऑपरेटर {{mvar|T}} के ट्रेस-मानदंड को मान के रूप में परिभाषित करते हैं | ||
<math display="block">\|T\|_1 := \operatorname{Tr} (|T|).</math> | <math display="block">\|T\|_1 := \operatorname{Tr} (|T|).</math>कोई दिखा सकता है कि ट्रेस-मानदंड सभी ट्रेस क्लास ऑपरेटरों के स्थान पर एक मानदंड है <math>B_1(H)</math> और वह <math>B_1(H)</math>, ट्रेस-मानदंड के साथ, बनच स्थान बन जाता है। | ||
कोई दिखा सकता है कि सभी ट्रेस क्लास ऑपरेटरों के स्थान पर | |||
यदि {{mvar|T}} | यदि {{mvar|T}} ट्रेस क्लास है तो{{sfn|Conway|1990|p=268}} | ||
<math display="block">\|T\|_1 = \sup \left\{ |\operatorname{Tr} (C T)| : \|C\| \leq 1 \text{ and } C : H \to H \text{ is a compact operator } \right\}.</math> | <math display="block">\|T\|_1 = \sup \left\{ |\operatorname{Tr} (C T)| : \|C\| \leq 1 \text{ and } C : H \to H \text{ is a compact operator } \right\}.</math> | ||
== उदाहरण == | == उदाहरण == | ||
परिमित-आयामी | परिमित-आयामी सीमा (अर्थात् परिमित-श्रेणी के संचालक) वाले प्रत्येक परिबद्ध रैखिक संचालिका ट्रेस क्लास है; [1] इसके अतिरिक्त, (जब <math>\| \cdot \|_1</math> मानदंड से संपन्न हो) सभी परिमित-श्रेणी ऑपरेटरों का स्थान <math>B_1(H)</math> का एक सघन उपस्थान है।{{sfn|Conway|1990|p=268}} दो हिल्बर्ट-श्मिट ऑपरेटरों की संरचना एक ट्रेस क्लास ऑपरेटर है।{{sfn|Conway|1990|p=267}} | ||
इसके अतिरिक्त, | |||
दो हिल्बर्ट-श्मिट ऑपरेटरों की संरचना एक ट्रेस क्लास ऑपरेटर है।{{sfn|Conway|1990|p=267}} | |||
इसके अतिरिक्त, | किसी भी <math>x, y \in H,</math> को <math>(x \otimes y)(z) := \langle z, y \rangle x</math> द्वारा ऑपरेटर <math> | ||
x \otimes y : H \to H</math> को परिभाषित किया जाता है। तब <math>x \otimes y</math> श्रेणी 1 का एक सतत रेखीय संकारक है और इस प्रकार ट्रेस वर्ग है; इसके अतिरिक्त, <math>H</math> पर (और <math>H</math> में) किसी भी परिबद्ध रैखिक ऑपरेटर A के लिए, <math>\operatorname{Tr}(A(x \otimes y)) = \langle A x, y \rangle</math> होता है।{{sfn|Conway|1990|p=268}} | |||
== गुण == | == गुण == | ||
# यदि <math>A : H \to H</math> एक गैर-नकारात्मक स्व-संबद्ध ऑपरेटर है, तो <math>A</math> ट्रेस-क्लास है यदि और मात्र यदि <math>\operatorname{Tr} A < \infty</math>, इसलिए, एक स्व-संलग्न संचालिका <math>A</math> ट्रेस-क्लास है [[अगर और केवल अगर|यदि और मात्र यदि]] इसका सकारात्मक भाग <math>A^{+}</math> और नकारात्मक भाग <math>A^{-}</math> दोनों ट्रेस-क्लास हैं। (स्व-संलग्न संकारक के सकारात्मक और नकारात्मक भाग निरंतर कार्यात्मक कलन द्वारा प्राप्त किए जाते हैं।) | |||
# ट्रेस ट्रेस-क्लास ऑपरेटरों के स्थान पर एक रैखिक कार्यात्मक है, अर्थात, <math display="block">\operatorname{Tr}(aA + bB) = a \operatorname{Tr}(A) + b \operatorname{Tr}(B)</math>द्विरेखीय नक्शा<math display="block">\langle A, B \rangle = \operatorname{Tr}(A^* B)</math>ट्रेस क्लास पर एक आंतरिक उत्पाद है; इसी मानदंड को हिल्बर्ट-श्मिट मानदंड कहा जाता है। हिल्बर्ट-श्मिट मानदंड में ट्रेस-क्लास ऑपरेटरों को पूरा करने को हिल्बर्ट-श्मिट ऑपरेटर कहा जाता है। | |||
# <math>\operatorname{Tr} : B_1(H) \to \Complex</math> एक धनात्मक रेखीय कार्यात्मक है जो संतुष्ट करता है <math>T \geq 0 \text{ औ र }\operatorname{Tr} T = 0,</math> फिर <math>T = 0</math>, जैसे कि यदि <math>T</math> एक ट्रेस क्लास ऑपरेटर है। | |||
# यदि <math>T : H \to H</math> ट्रेस-क्लास है तो <math>T^*</math> और <math>\|T\|_1 = \left\|T^*\right\|_1</math>. | |||
द्विरेखीय नक्शा <math display="block">\langle A, B \rangle = \operatorname{Tr}(A^* B)</math> ट्रेस क्लास पर एक आंतरिक उत्पाद है; | # यदि <math>A : H \to H</math> बाउंडेड है, और <math>T : H \to H</math> ट्रेस-क्लास है, तो <math>AT</math> और <math>TA</math> भी ट्रेस-क्लास हैं (अर्थात एच पर ट्रेस-क्लास ऑपरेटरों का स्थान <math>H</math> पर बंधे हुए रैखिक ऑपरेटरों के बीजगणित में एक आदर्श है), और{{sfn|Conway|1990|p=267}} <ref>M. Reed and B. Simon, ''Functional Analysis'', Exercises 27, 28, page 218.</ref>{{sfn|Conway|1990|p=267}}<math display="block">\|A T\|_1 = \operatorname{Tr}(|A T|) \leq \|A\| \|T\|_1, \quad \|T A\|_1 = \operatorname{Tr}(|T A|) \leq \|A\| \|T\|_1</math>इसके अतिरिक्त, इसी परिकल्पना के अनुसार,{{sfn|Conway|1990|p=267}} <math display="block">\operatorname{Tr}(A T) = \operatorname{Tr}(T A)</math>और <math>|\operatorname{Tr}(A T)| \leq \|A\| \|T\|</math>, अंतिम अभिकथन भी कमजोर परिकल्पना के अनुसार है कि ए और टी हिल्बर्ट-श्मिट हैं। | ||
# यदि <math>\left(e_k\right)_{k}</math> और <math>\left(f_k\right)_{k}</math> <math>H,</math> के दो ऑर्थोनॉर्मल आधार हैं और यदि <math>T</math> ट्रेस क्लास है फिर <math display="inline">\sum_{k} \left| \left\langle T e_k, f_k \right\rangle \right| \leq \|T\|_{1}</math> यह होता है। | |||
# यदि A ट्रेस-क्लास है, तो <math>I + A</math> के फ्रेडहोम निर्धारक को परिभाषित किया जा सकता है:<math display="block">\det(I + A) := \prod_{n \geq 1}[1 + \lambda_n(A)],</math>जहाँ <math>\{\lambda_n(A)\}_n</math>, <math>A</math> का स्पेक्ट्रम है, <math>A</math> पर ट्रेस क्लास की स्थिति गारंटी देती है कि अनंत उत्पाद परिमित है: वास्तव में,<math display="block">\det(I + A) \leq e^{\|A\|_1}</math>इसका तात्पर्य यह भी है कि <math>\det(I + A) \neq 0</math> यदि और मात्र यदि <math>(I + A)</math> व्युत्क्रमणीय है। | |||
# यदि <math>A : H \to H</math> ट्रेस क्लास है तो किसी भी ऑर्थोनॉर्मल आधार <math>\left(e_k\right)_{k}</math> के लिए, <math>H</math> सकारात्मक शब्दों का योग <math display="inline">\sum_k \left| \left\langle A \, e_k, e_k \right\rangle \right|</math> परिमित है।{{sfn|Conway|1990|p=267}} | |||
# यदि <math>A = B^* C</math> कुछ हिल्बर्ट-श्मिट ऑपरेटरों <math>B</math> और <math>C</math> फिर किसी सामान्य वेक्टर के लिए <math>e \in H,</math> <math display="inline">|\langle A e, e \rangle| = \frac{1}{2} \left(\|B e\|^2 + \|C e\|^2\right)</math> होल्ड करता है।{{sfn|Conway|1990|p=267}} | |||
इसके अतिरिक्त, इसी परिकल्पना के अनुसार,{{sfn|Conway|1990|p=267}} <math display="block">\operatorname{Tr}(A T) = \operatorname{Tr}(T A)</math> और <math>|\operatorname{Tr}(A T)| \leq \|A\| \|T\| | |||
इसका तात्पर्य यह भी है <math>\det(I + A) \neq 0</math> यदि और मात्र यदि <math>(I + A)</math> | |||
=== लिडस्की की प्रमेय === | === लिडस्की की प्रमेय === | ||
मान लीजिये कि <math>A</math> भिन्न होने योग्य हिल्बर्ट स्पेस <math>H</math> में एक ट्रेस-क्लास ऑपरेटर है, और <math>\{\lambda_n(A)\}_{n=1}^N,</math> <math>N \leq \infty</math> को A का आइगेनवैल्यू होना चाहिए, आइए मान लें कि <math>\lambda_n(A)</math> को बीजगणितीय गुणकों के साथ गणना की जाती है (अर्थात, यदि बीजगणितीय बहुलता <math>\lambda</math> <math>k,</math> है, तो <math>\lambda</math> सूची में <math>k</math> बार दोहराया जाता है <math>\lambda_1(A), \lambda_2(A), \dots</math> लिडस्की के प्रमेय ([[विक्टर बोरिसोविच लिडस्की]] के नाम पर) में कहा गया है, | |||
<math display="block">\operatorname{Tr}(A)=\sum_{n=1}^N \lambda_n(A)</math> | <math display="block">\operatorname{Tr}(A)=\sum_{n=1}^N \lambda_n(A)</math> | ||
ध्यान दें कि दाईं ओर की श्रृंखला पूरी प्रकार से वेइल की असमानता के कारण अभिसरण करती है | ध्यान दें कि दाईं ओर की श्रृंखला पूरी प्रकार से वेइल की असमानता के कारण अभिसरण करती है, | ||
<math display="block">\sum_{n=1}^N \left|\lambda_n(A)\right| \leq \sum_{m=1}^M s_m(A)</math> | <math display="block">\sum_{n=1}^N \left|\lambda_n(A)\right| \leq \sum_{m=1}^M s_m(A)</math> | ||
आइगेनवैल्यू | आइगेनवैल्यू <math>\{\lambda_n(A)\}_{n=1}^N</math> और विलक्षण मूल्य <math>\{s_m(A)\}_{m=1}^M</math> के बीच कॉम्पैक्ट ऑपरेटर <math>A</math> होता है।<ref>Simon, B. (2005) ''Trace ideals and their applications'', Second Edition, American Mathematical Society.</ref> | ||
=== ऑपरेटरों के सामान्य वर्गों के बीच संबंध === | |||
मौलिक [[ अनुक्रम स्थान |अनुक्रम स्थान]] के नॉनकम्यूटेटिव एनालॉग के रूप में बाउंडेड ऑपरेटर्स के कुछ वर्गों को जिसमें ट्रेस-क्लास ऑपरेटर्स को सीक्वेंस स्पेस <math>\ell^1(\N)</math> देखा जा सकता है। | |||
वास्तव में, [[वर्णक्रमीय प्रमेय]] को लागू करना संभव है, यह दिखाने के लिए कि भिन्न-भिन्न हिल्बर्ट अंतरिक्ष पर प्रत्येक सामान्य ट्रेस-क्लास ऑपरेटर को हिल्बर्ट की जोड़ी की कुछ पसंद के संबंध में <math>\ell^1</math> अनुक्रम के रूप में एक निश्चित तरीके से अनुभव किया जा सकता है। उसी नस में, बाउंडेड ऑपरेटर्स <math>\ell^{\infty}(\N),</math> कॉम्पैक्ट ऑपरेटर्स के गैर-क्रमिक संस्करण हैं जो <math>c_0</math> (0 के लिए अभिसरण अनुक्रम), हिल्बर्ट-श्मिट ऑपरेटर <math>\ell^2(\N),</math> और [[परिमित-रैंक ऑपरेटरों|परिमित-श्रेणी ऑपरेटरों]] <math>c_{00}</math> के अनुरूप होते हैं (ऐसे अनुक्रम जिनमें मात्र बहुत से गैर-शून्य शब्द होते हैं)। कुछ हद तक, ऑपरेटरों के इन वर्गों के बीच संबंध उनके क्रमविनिमेय समकक्षों के बीच संबंधों के समान हैं। | |||
याद रखें कि प्रत्येक कॉम्पैक्ट ऑपरेटर <math>T</math> एक हिल्बर्ट स्पेस पर निम्नलिखित विहित रूप लेता है: वहाँ अलंकारिक आधार उपलब्ध हैं <math>\left(u_i\right)_{i}</math> और <math>\left(v_i\right)_{i}</math> और एक क्रम <math>\left(\alpha_i\right)_{i}</math> गैर-ऋणात्मक संख्याओं के साथ <math>\alpha_i \to 0</math> ऐसा है, | |||
याद रखें कि प्रत्येक कॉम्पैक्ट ऑपरेटर <math>T</math> एक हिल्बर्ट स्पेस पर निम्नलिखित विहित रूप लेता है: वहाँ अलंकारिक आधार उपलब्ध हैं <math>\left(u_i\right)_{i}</math> और <math>\left(v_i\right)_{i}</math> और एक क्रम <math>\left(\alpha_i\right)_{i}</math> गैर-ऋणात्मक संख्याओं के साथ <math>\alpha_i \to 0</math> ऐसा है | |||
<math display="block">T x = \sum_{i} \alpha_i \langle x, v_i\rangle u_i \quad \text{ for all } x\in H.</math> | <math display="block">T x = \sum_{i} \alpha_i \langle x, v_i\rangle u_i \quad \text{ for all } x\in H.</math> | ||
उपरोक्त अनुमानी टिप्पणियों को | उपरोक्त अनुमानी टिप्पणियों को अधिक त्रुटिहीन बनाते हुए, हमारे पास यह है कि <math>T</math> ट्रेस-क्लास है यदि श्रृंखला <math display="inline">\sum_i \alpha_i</math> अभिसारी है, <math>T</math> हिल्बर्ट-श्मिट iff <math display="inline">\sum_i \alpha_i^2</math> अभिसरण है, और <math>T</math> परिमित-श्रेणी है यदि अनुक्रम <math>\left(\alpha_i\right)_{i}</math> में मात्र परिमित रूप से कई अशून्य शर्तें हैं। यह ऑपरेटरों के इन वर्गों को संबंधित करने की अनुमति देता है। जब <math>H</math> अनंत-विमीय हो, तो निम्नलिखित समावेशन लागू होते हैं और सभी उचित होते हैं:<math display="block">\{ \text{ finite rank } \} \subseteq \{ \text{ trace class } \} \subseteq \{ \text{ Hilbert-Schmidt } \} \subseteq \{ \text{ compact } \}.</math> ट्रेस-क्लास ऑपरेटरों को ट्रेस मानदंड <math display="inline">\|T\|_1 = \operatorname{Tr} \left[\left(T^* T\right)^{1/2}\right] = \sum_i \alpha_i</math> दिया जाता है, हिल्बर्ट-श्मिट आंतरिक उत्पाद के अनुरूप मानक है, | ||
<math display="block">\|T\|_2 = \left[\operatorname{Tr} \left(T^* T\right)\right]^{1/2} = \left(\sum_i \alpha_i^2\right)^{1/2}.</math> | |||
<math display="inline">\| T \| = \sup_{i} \left(\alpha_i\right)</math> अनुक्रमों के संबंध में मौलिक असमानताओं द्वारा साथ ही, सामान्य [[ऑपरेटर मानदंड]] है, | |||
<math display="block">\|T\| \leq \|T\|_2 \leq \|T\|_1</math> | <math display="block">\|T\| \leq \|T\|_2 \leq \|T\|_1</math> | ||
उपयुक्त के लिए <math>T | उपयुक्त के लिए <math>T</math> यह भी स्पष्ट है कि परिमित-श्रेणी ऑपरेटर ट्रेस-क्लास और हिल्बर्ट-श्मिट दोनों में उनके संबंधित मानदंडों में सघन हैं। | ||
=== कॉम्पैक्ट ऑपरेटरों के दोहरे के रूप में ट्रेस क्लास === | |||
दोहरा स्थान <math>c_0</math>, <math>\ell^1(\N)</math> है, इसी प्रकार, हमारे पास कॉम्पैक्ट ऑपरेटरों दोहरे हैं, जिन्हें इसके द्वारा दर्शाया गया <math>K(H)^*</math> है, ट्रेस-क्लास ऑपरेटर है, जिसे <math>B_1</math> द्वारा निरूपित किया जाता है तर्क, जिसे अब हम स्केच करते हैं, उसी अनुक्रम रिक्त स्थान के लिए याद दिलाता है। मान लीजिये <math>f \in K(H)^*,</math> हम <math>f</math> की पहचान ऑपरेटर <math>T_f</math> द्वारा परिभाषित करते हैं<math display="block">\langle T_f x, y \rangle = f\left(S_{x,y}\right),</math>जहाँ <math>S_{x,y}</math> द्वारा दिया गया श्रेणी-वन ऑपरेटर है<math display="block">S_{x,y}(h) = \langle h, y \rangle x.</math>यह पहचान काम करती है क्योंकि परिमित-श्रेणी ऑपरेटर मानक-सघन <math>K(H)</math> हैं, इस घटना में कि <math>T_f</math> एक सकारात्मक ऑपरेटर है, किसी भी ऑर्थोनॉर्मल आधार <math>u_i,</math> के लिए,<math display="block">\sum_i \langle T_f u_i, u_i \rangle = f(I) \leq \|f\|,</math>जहाँ <math>I</math> पहचान ऑपरेटर है:<math display="block">I = \sum_i \langle \cdot, u_i \rangle u_i.</math>लेकिन इसका मतलब यह है <math>T_f</math> ट्रेस-क्लास है। [[ध्रुवीय अपघटन]] की अपील इसे सामान्य स्थितिे में विस्तारित करती है, जहां <math>T_f</math> को सकारात्मक होने की आवश्यकता नहीं है। | |||
परिमित-श्रेणी ऑपरेटरों का उपयोग करते हुए एक सीमित तर्क यह दर्शाता है <math>\|T_f\|_1 = \|f\|</math> इस प्रकार <math>K(H)^*</math> आइसोमेट्रिक रूप से <math>C_1</math>आइसोमॉर्फिक है। | |||
=== बंधे हुए ऑपरेटरों के पूर्ववर्ती के रूप में === | === बंधे हुए ऑपरेटरों के पूर्ववर्ती के रूप में === | ||
याद रखें कि | याद रखें कि <math>\ell^1(\N)</math> का द्वैत <math>\ell^{\infty}(\N)</math> है। वर्तमान संदर्भ में, ट्रेस-क्लास ऑपरेटर्स का दोहरा <math>B_1</math> बाउंडेड ऑपरेटर्स <math>B(H)</math>, अधिक त्रुटिहीन रूप से, समुच्चय <math>B_1</math> में एक दो-तरफा <math>B(H)</math> आदर्श है, इसलिए किसी भी ऑपरेटर <math>T \in B(H),</math> को दिए जाने पर हम <math>B_1</math> पर <math>\varphi_T(A) = \operatorname{Tr} (AT)</math>, <math>B_1</math> की दोहरी जगह के बाउंडेड [[रैखिक कार्यात्मक]] ऑपरेटरों और तत्वों <math>\varphi_T</math> के बीच यह पत्राचार एक आइसोमेट्रिक [[समाकृतिकता]] है। इससे पता चलता है कि <math>B(H)</math>, <math>C_1</math> की दोहरी जगह है। इसका उपयोग <math>B(H)</math> पर [[कमजोर -* टोपोलॉजी]] को परिभाषित करने के लिए किया जा सकता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* {{annotated link| | * {{annotated link|परमाणु संचालिका}} | ||
* {{annotated link| | * {{annotated link|बनच स्थानों के बीच परमाणु संचालक}} | ||
* ट्रेस ऑपरेटर | * ट्रेस ऑपरेटर | ||
Line 140: | Line 98: | ||
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} --> | * {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn|Trèves|2006|p=}} --> | ||
[[Category:Created On 09/03/2023]] | [[Category:Created On 09/03/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:ऑपरेटर सिद्धांत]] | |||
[[Category:टोपोलॉजिकल टेंसर उत्पाद]] | |||
[[Category:रैखिक संचालक]] |
Latest revision as of 12:59, 7 April 2023
गणित में, विशेष रूप से कार्यात्मक विश्लेषण, एक ट्रेसी क्लास ऑपरेटर रैखिक ऑपरेटर होता है, जिसके लिए ट्रेस (रैखिक बीजगणित) परिभाषित किया जा सकता है, इस प्रकार ट्रेस आधार के चयन से स्वतंत्र एक परिमित संख्या है जिसका प्रयोग ट्रेस के गणना हेतु होता है। ट्रेस-क्लास ऑपरेटरों का यह निशान रेखीय बीजगणित में अध्ययन किए गए मेट्रिसेस के ट्रेस को सामान्य करता है, सभी ट्रेस-क्लास ऑपरेटर कॉम्पैक्ट ऑपरेटर हैं।
क्वांटम यांत्रिकी में, मिश्रित अवस्था (भौतिकी) को घनत्व मैट्रिक्स द्वारा वर्णित किया जाता है, जो निश्चित ट्रेस क्लास ऑपरेटर हैं।
ट्रेस-क्लास ऑपरेटर अनिवार्य रूप से परमाणु ऑपरेटरों के समान हैं, चूंकि कई लेखक हिल्बर्ट स्पेस पर परमाणु ऑपरेटरों के विशेष स्थितिे के लिए ट्रेस-क्लास ऑपरेटर शब्द आरक्षित करते हैं और परमाणु ऑपरेटर शब्द का उपयोग अधिक सामान्य टोपोलॉजिकल वेक्टर स्पेस (जैसे बानाच रिक्त स्थान) में किया जाता है।
ध्यान दें कि आंशिक अंतर समीकरणों में अध्ययन किया गया ट्रेस ऑपरेटर एक असंबंधित अवधारणा है।
परिभाषा
मान लीजिए एक हिल्बर्ट स्पेस है और , पर एक परिबद्ध रैखिक संचालिका है जो गैर-नकारात्मक ( अर्थात, अर्ध सकारात्मक-डेफिनिट) और स्वयं संलग्न है। जिसमे द्वारा निरूपित ट्रेस श्रृंखला का योग होता है[1]
यदि ट्रेस क्लास में है, तो द्वारा हम ट्रेस को परिभाषित करते हैं,
जब H परिमित-आयामी होता है, तो प्रत्येक ऑपरेटर ट्रेस क्लास होता है और T के ट्रेस (मैट्रिक्स) की यह परिभाषा मैट्रिक्स के ट्रेस की परिभाषा के साथ मेल खाती है।
समकक्ष फॉर्मूलेशन
एक सीमित रैखिक ऑपरेटर को देखते हुए, निम्न में से प्रत्येक कथन के ट्रेस क्लास में होने के बराबर है:
- [1]
- H के कुछ ऑर्थोनॉर्मल आधार के लिए, धनात्मक पदों का योग परिमित है।
- H के प्रत्येक ऑर्थोनॉर्मल आधार के लिए, धनात्मक पदों का योग परिमित है।
- T एक कॉम्पैक्ट ऑपरेटर है और जहां हैं के आइगेनवैल्यू (T के एकवचन मूल्यों के रूप में भी जाना जाता है) प्रत्येक ईगेनवेल्यू को अधिकांशतः इसकी बहुलता के रूप में दोहराया जाता है।[1]
- दो ऑर्थोगोनल (गणित) क्रम उपलब्ध हैं और में और एक क्रम में ऐसा कि सभी के लिए [2] यहाँ, अनंत योग का अर्थ है कि आंशिक योग का क्रम में विलीन में H हो जाता है।
- T एक परमाणु ऑपरेटर है।
- T दो हिल्बर्ट-श्मिट ऑपरेटरों की संरचना के बराबर है।[1]
- एक हिल्बर्ट-श्मिट ऑपरेटर है।[1]
- T एक अभिन्न रैखिक ऑपरेटर है।[3]
- कमजोर रूप से बंद और समान (और इस प्रकार कमजोर रूप से कॉम्पैक्ट) उपसमुच्चय उपलब्ध हैं और का और क्रमशः, और कुछ सकारात्मक रेडॉन माप पर कुल द्रव्यमान ऐसा कि सभी और के लिए:
ट्रेस-मानक
हम ट्रेस क्लास ऑपरेटर T के ट्रेस-मानदंड को मान के रूप में परिभाषित करते हैं
यदि T ट्रेस क्लास है तो[4]
उदाहरण
परिमित-आयामी सीमा (अर्थात् परिमित-श्रेणी के संचालक) वाले प्रत्येक परिबद्ध रैखिक संचालिका ट्रेस क्लास है; [1] इसके अतिरिक्त, (जब मानदंड से संपन्न हो) सभी परिमित-श्रेणी ऑपरेटरों का स्थान का एक सघन उपस्थान है।[4] दो हिल्बर्ट-श्मिट ऑपरेटरों की संरचना एक ट्रेस क्लास ऑपरेटर है।[1]
किसी भी को द्वारा ऑपरेटर को परिभाषित किया जाता है। तब श्रेणी 1 का एक सतत रेखीय संकारक है और इस प्रकार ट्रेस वर्ग है; इसके अतिरिक्त, पर (और में) किसी भी परिबद्ध रैखिक ऑपरेटर A के लिए, होता है।[4]
गुण
- यदि एक गैर-नकारात्मक स्व-संबद्ध ऑपरेटर है, तो ट्रेस-क्लास है यदि और मात्र यदि , इसलिए, एक स्व-संलग्न संचालिका ट्रेस-क्लास है यदि और मात्र यदि इसका सकारात्मक भाग और नकारात्मक भाग दोनों ट्रेस-क्लास हैं। (स्व-संलग्न संकारक के सकारात्मक और नकारात्मक भाग निरंतर कार्यात्मक कलन द्वारा प्राप्त किए जाते हैं।)
- ट्रेस ट्रेस-क्लास ऑपरेटरों के स्थान पर एक रैखिक कार्यात्मक है, अर्थात, द्विरेखीय नक्शाट्रेस क्लास पर एक आंतरिक उत्पाद है; इसी मानदंड को हिल्बर्ट-श्मिट मानदंड कहा जाता है। हिल्बर्ट-श्मिट मानदंड में ट्रेस-क्लास ऑपरेटरों को पूरा करने को हिल्बर्ट-श्मिट ऑपरेटर कहा जाता है।
- एक धनात्मक रेखीय कार्यात्मक है जो संतुष्ट करता है फिर , जैसे कि यदि एक ट्रेस क्लास ऑपरेटर है।
- यदि ट्रेस-क्लास है तो और .
- यदि बाउंडेड है, और ट्रेस-क्लास है, तो और भी ट्रेस-क्लास हैं (अर्थात एच पर ट्रेस-क्लास ऑपरेटरों का स्थान पर बंधे हुए रैखिक ऑपरेटरों के बीजगणित में एक आदर्श है), और[1] [5][1]इसके अतिरिक्त, इसी परिकल्पना के अनुसार,[1]और , अंतिम अभिकथन भी कमजोर परिकल्पना के अनुसार है कि ए और टी हिल्बर्ट-श्मिट हैं।
- यदि और के दो ऑर्थोनॉर्मल आधार हैं और यदि ट्रेस क्लास है फिर यह होता है।
- यदि A ट्रेस-क्लास है, तो के फ्रेडहोम निर्धारक को परिभाषित किया जा सकता है:जहाँ , का स्पेक्ट्रम है, पर ट्रेस क्लास की स्थिति गारंटी देती है कि अनंत उत्पाद परिमित है: वास्तव में,इसका तात्पर्य यह भी है कि यदि और मात्र यदि व्युत्क्रमणीय है।
- यदि ट्रेस क्लास है तो किसी भी ऑर्थोनॉर्मल आधार के लिए, सकारात्मक शब्दों का योग परिमित है।[1]
- यदि कुछ हिल्बर्ट-श्मिट ऑपरेटरों और फिर किसी सामान्य वेक्टर के लिए होल्ड करता है।[1]
लिडस्की की प्रमेय
मान लीजिये कि भिन्न होने योग्य हिल्बर्ट स्पेस में एक ट्रेस-क्लास ऑपरेटर है, और को A का आइगेनवैल्यू होना चाहिए, आइए मान लें कि को बीजगणितीय गुणकों के साथ गणना की जाती है (अर्थात, यदि बीजगणितीय बहुलता है, तो सूची में बार दोहराया जाता है लिडस्की के प्रमेय (विक्टर बोरिसोविच लिडस्की के नाम पर) में कहा गया है,
ऑपरेटरों के सामान्य वर्गों के बीच संबंध
मौलिक अनुक्रम स्थान के नॉनकम्यूटेटिव एनालॉग के रूप में बाउंडेड ऑपरेटर्स के कुछ वर्गों को जिसमें ट्रेस-क्लास ऑपरेटर्स को सीक्वेंस स्पेस देखा जा सकता है।
वास्तव में, वर्णक्रमीय प्रमेय को लागू करना संभव है, यह दिखाने के लिए कि भिन्न-भिन्न हिल्बर्ट अंतरिक्ष पर प्रत्येक सामान्य ट्रेस-क्लास ऑपरेटर को हिल्बर्ट की जोड़ी की कुछ पसंद के संबंध में अनुक्रम के रूप में एक निश्चित तरीके से अनुभव किया जा सकता है। उसी नस में, बाउंडेड ऑपरेटर्स कॉम्पैक्ट ऑपरेटर्स के गैर-क्रमिक संस्करण हैं जो (0 के लिए अभिसरण अनुक्रम), हिल्बर्ट-श्मिट ऑपरेटर और परिमित-श्रेणी ऑपरेटरों के अनुरूप होते हैं (ऐसे अनुक्रम जिनमें मात्र बहुत से गैर-शून्य शब्द होते हैं)। कुछ हद तक, ऑपरेटरों के इन वर्गों के बीच संबंध उनके क्रमविनिमेय समकक्षों के बीच संबंधों के समान हैं।
याद रखें कि प्रत्येक कॉम्पैक्ट ऑपरेटर एक हिल्बर्ट स्पेस पर निम्नलिखित विहित रूप लेता है: वहाँ अलंकारिक आधार उपलब्ध हैं और और एक क्रम गैर-ऋणात्मक संख्याओं के साथ ऐसा है,
कॉम्पैक्ट ऑपरेटरों के दोहरे के रूप में ट्रेस क्लास
दोहरा स्थान , है, इसी प्रकार, हमारे पास कॉम्पैक्ट ऑपरेटरों दोहरे हैं, जिन्हें इसके द्वारा दर्शाया गया है, ट्रेस-क्लास ऑपरेटर है, जिसे द्वारा निरूपित किया जाता है तर्क, जिसे अब हम स्केच करते हैं, उसी अनुक्रम रिक्त स्थान के लिए याद दिलाता है। मान लीजिये हम की पहचान ऑपरेटर द्वारा परिभाषित करते हैं
परिमित-श्रेणी ऑपरेटरों का उपयोग करते हुए एक सीमित तर्क यह दर्शाता है इस प्रकार आइसोमेट्रिक रूप से आइसोमॉर्फिक है।
बंधे हुए ऑपरेटरों के पूर्ववर्ती के रूप में
याद रखें कि का द्वैत है। वर्तमान संदर्भ में, ट्रेस-क्लास ऑपरेटर्स का दोहरा बाउंडेड ऑपरेटर्स , अधिक त्रुटिहीन रूप से, समुच्चय में एक दो-तरफा आदर्श है, इसलिए किसी भी ऑपरेटर को दिए जाने पर हम पर , की दोहरी जगह के बाउंडेड रैखिक कार्यात्मक ऑपरेटरों और तत्वों के बीच यह पत्राचार एक आइसोमेट्रिक समाकृतिकता है। इससे पता चलता है कि , की दोहरी जगह है। इसका उपयोग पर कमजोर -* टोपोलॉजी को परिभाषित करने के लिए किया जा सकता है।
यह भी देखें
- परमाणु संचालिका
- बनच स्थानों के बीच परमाणु संचालक
- ट्रेस ऑपरेटर
संदर्भ
- ↑ 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 Conway 1990, p. 267.
- ↑ Trèves 2006, p. 494.
- ↑ Trèves 2006, pp. 502–508.
- ↑ 4.0 4.1 4.2 Conway 1990, p. 268.
- ↑ M. Reed and B. Simon, Functional Analysis, Exercises 27, 28, page 218.
- ↑ Simon, B. (2005) Trace ideals and their applications, Second Edition, American Mathematical Society.
ग्रन्थसूची
- Conway, John (1990). A course in functional analysis. New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908.
- Dixmier, J. (1969). Les Algebres d'Operateurs dans l'Espace Hilbertien. Gauthier-Villars.
- Schaefer, Helmut H. (1999). Topological Vector Spaces. GTM. Vol. 3. New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
- Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.