एकल मान: Difference between revisions

From Vigyanwiki
No edit summary
 
Line 1: Line 1:
{{Short description|Square roots of the eigenvalues of the self-adjoint operator}}
गणित में विशेष रूप से [[कार्यात्मक विश्लेषण]] में [[कॉम्पैक्ट ऑपरेटर]] <math>T: X \rightarrow Y</math> के एकल मान या ''s''-संख्याएँ [[हिल्बर्ट स्थान|हिल्बर्ट स्थानों]] <math>X</math> और <math>Y</math> के मध्य एक्टर स्व-सहायक ऑपरेटर <math>T^*T</math> के (आवश्यक रूप से गैर- ऋणात्मक) [[eigenvalue]]s ​​​​के वर्गमूल हैं (जहाँ <math>T^*</math>, <math>T</math> के सहायक संचालक को दर्शाता है)।
गणित में विशेष रूप से [[कार्यात्मक विश्लेषण]] में [[कॉम्पैक्ट ऑपरेटर]] <math>T: X \rightarrow Y</math> के एकल मान या ''s''-संख्याएँ [[हिल्बर्ट स्थान|हिल्बर्ट स्थानों]] <math>X</math> और <math>Y</math> के मध्य एक्टर स्व-सहायक ऑपरेटर <math>T^*T</math> के (आवश्यक रूप से गैर-नकारात्मक) [[eigenvalue]]s ​​​​के वर्गमूल हैं (जहाँ <math>T^*</math>, <math>T</math> के सहायक संचालक को दर्शाता है)।


एकवचन मान गैर-नकारात्मक [[वास्तविक संख्या|वास्तविक संख्याएँ]] हैं जिन्हें सामान्य रूप से घटते क्रम (σ<sub>1</sub>(T), σ<sub>2</sub>(T), …) में सूचीबद्ध किया जाता है। सबसे बड़ा एकवचन मान σ<sub>1</sub>(T), T के [[ऑपरेटर मानदंड]] के बराबर है (न्यूनतम-अधिकतम प्रमेय देखें)।
एकल मान गैर- ऋणात्मक [[वास्तविक संख्या|वास्तविक संख्याएँ]] हैं जिन्हें सामान्य रूप से घटते क्रम (σ<sub>1</sub>(T), σ<sub>2</sub>(T), …) में सूचीबद्ध किया जाता है। सबसे बड़ा एकल मान σ<sub>1</sub>(T), T के [[ऑपरेटर मानदंड]] के बराबर है (न्यूनतम-अधिकतम प्रमेय देखें)।


[[File:Singular value decomposition.gif|thumb|right|280px|2-आयामी, वास्तविक :en:शीयर मैपिंग एम के एकवचन मूल्य अपघटन (एसवीडी) का विज़ुअलाइज़ेशन। सबसे पहले, हम दो [[मानक आधार]]ों के साथ [[यूनिट डिस्क]] को नीले रंग में देखते हैं। फिर हम एम की क्रिया देखते हैं, जो डिस्क को एक दीर्घवृत्त में विकृत कर देती है। एसवीडी एम को तीन सरल परिवर्तनों में विघटित करता है: एक [[रोटेशन मैट्रिक्स]] वी{{sup|*}}, घुमाए गए समन्वय अक्षों के साथ एक [[स्केलिंग (ज्यामिति)]] Σ और दूसरा घूर्णन यू। Σ एक (वर्ग, इस उदाहरण में) [[विकर्ण मैट्रिक्स]] है जिसमें इसके विकर्ण में एम के एकवचन मान शामिल हैं, जो लंबाई का प्रतिनिधित्व करते हैं σ<sub>1</sub> और पी<sub>2</sub> दीर्घवृत्त के#दीर्घवृत्त के तत्व|दीर्घवृत्त के अर्ध-अक्ष।]]यदि T यूक्लिडियन समष्टि <math>\Reals ^n</math> पर कार्य करता है एवं एकवचन मानों के लिए सरल ज्यामितीय व्याख्या है: इकाई वृत्त की <math>T</math> द्वारा छवि पर विचार करें; यह एक दीर्घवृत्ताकार है और इसके अर्ध-अक्षों की लंबाई, <math>T</math> का एकवचन मान हैं (आंकड़ा <math>\Reals^2</math> में एक उदाहरण प्रदान करता है)।
[[File:Singular value decomposition.gif|thumb|right|280px|2-आयामी, वास्तविक :en:शीयर मैपिंग एम के एकवचन मूल्य अपघटन (एसवीडी) का विज़ुअलाइज़ेशन। सबसे पहले, हम दो [[मानक आधार]]ों के साथ [[यूनिट डिस्क]] को नीले रंग में देखते हैं। फिर हम एम की क्रिया देखते हैं, जो डिस्क को एक दीर्घवृत्त में विकृत कर देती है। एसवीडी एम को तीन सरल परिवर्तनों में विघटित करता है: एक [[रोटेशन मैट्रिक्स]] वी{{sup|*}}, घुमाए गए समन्वय अक्षों के साथ एक [[स्केलिंग (ज्यामिति)]] Σ और दूसरा घूर्णन यू। Σ एक (वर्ग, इस उदाहरण में) [[विकर्ण मैट्रिक्स]] है जिसमें इसके विकर्ण में एम के एकवचन मान शामिल हैं, जो लंबाई का प्रतिनिधित्व करते हैं σ<sub>1</sub> और पी<sub>2</sub> दीर्घवृत्त के#दीर्घवृत्त के तत्व|दीर्घवृत्त के अर्ध-अक्ष।]]यदि T यूक्लिडियन समष्टि <math>\Reals ^n</math> पर कार्य करता है एवं एकल मानों के लिए सरल ज्यामितीय व्याख्या है: इकाई वृत्त की <math>T</math> द्वारा छवि पर विचार करें; यह एक दीर्घवृत्ताकार है और इसके अर्ध-अक्षों की लंबाई, <math>T</math> का एकल मान हैं (आंकड़ा <math>\Reals^2</math> में एक उदाहरण प्रदान करता है)।


एकवचन मान [[सामान्य मैट्रिक्स]] A के [[eigenvalues]] ​​​​के पूर्ण मान हैं क्योंकि [[वर्णक्रमीय प्रमेय]] को एकात्मक विकर्ण प्राप्त करने के लिए लागू किया जा सकता है <math>A</math> जैसा <math>A = U\Lambda U^*</math>
एकल मान [[सामान्य मैट्रिक्स]] A के [[eigenvalues]] ​​​​के पूर्ण मान हैं क्योंकि [[वर्णक्रमीय प्रमेय]] को एकात्मक विकर्ण प्राप्त करने के लिए लागू किया जा सकता है <math>A</math> जैसा <math>A = U\Lambda U^*</math>


इसलिए, {{nowrap|<math display="inline">\sqrt{A^* A} = \sqrt{U \Lambda^* \Lambda U^*} = U \left| \Lambda \right| U^*</math>.}}
इसलिए, {{nowrap|<math display="inline">\sqrt{A^* A} = \sqrt{U \Lambda^* \Lambda U^*} = U \left| \Lambda \right| U^*</math>.}}


हिल्बर्ट स्पेस ऑपरेटरों पर अध्ययन किए गए अधिकांश मानक रैखिक स्थान को s-संख्याओं का उपयोग करके परिभाषित किया गया है। उदाहरण के लिए, Ky फैन-k-मानदंड पहले k एकवचन मानों का योग है, ट्रेस मानदंड सभी एकवचन मानों का योग है और स्कैटन मानदंड एकवचन मानों की pth शक्तियों के योग का pth मूल है। ध्यान दें कि प्रत्येक मानदंड केवल ऑपरेटरों के विशेष वर्ग पर परिभाषित किया गया है इसलिए s-नंबर विभिन्न ऑपरेटरों को वर्गीकृत करने में उपयोगी होते हैं।
हिल्बर्ट स्पेस ऑपरेटरों पर अध्ययन किए गए अधिकांश मानक रैखिक स्थान को s-संख्याओं का उपयोग करके परिभाषित किया गया है। उदाहरण के लिए, Ky फैन-k-मानदंड पहले k एकल मानों का योग है, ट्रेस मानदंड सभी एकल मानों का योग है और स्कैटन मानदंड एकल मानों की pth शक्तियों के योग का pth मूल है। ध्यान दें कि प्रत्येक मानदंड केवल ऑपरेटरों के विशेष वर्ग पर परिभाषित किया गया है इसलिए s-नंबर विभिन्न ऑपरेटरों को वर्गीकृत करने में उपयोगी होते हैं।


परिमित-आयामी स्थितियों में [[मैट्रिक्स (गणित)]] को हमेशा <math>\mathbf{U\Sigma V^*}</math> रूप में विघटित किया जा सकता है जहाँ <math>\mathbf{U}</math> और <math>\mathbf{V^*}</math> [[एकात्मक मैट्रिक्स]] हैं और <math>\mathbf{\Sigma}</math> [[आयताकार विकर्ण मैट्रिक्स]] है जिसके विकर्ण पर एकवचन मान स्थित हैं। यह एकवचन मूल्य अपघटन है।
परिमित-आयामी स्थितियों में [[मैट्रिक्स (गणित)]] को हमेशा <math>\mathbf{U\Sigma V^*}</math> रूप में विघटित किया जा सकता है जहाँ <math>\mathbf{U}</math> और <math>\mathbf{V^*}</math> [[एकात्मक मैट्रिक्स]] हैं और <math>\mathbf{\Sigma}</math> [[आयताकार विकर्ण मैट्रिक्स]] है जिसके विकर्ण पर एकल मान स्थित हैं। यह एकल मूल्य अपघटन है।


== मूल गुण ==
== मूल गुण ==
Line 18: Line 17:
<math>A \in \mathbb{C}^{m \times n}</math>, और <math>i = 1,2, \ldots, \min \{m,n\}</math> के लिए
<math>A \in \mathbb{C}^{m \times n}</math>, और <math>i = 1,2, \ldots, \min \{m,n\}</math> के लिए


एकवचन मानों के लिए न्यूनतम-अधिकतम प्रमेय। जहाँ <math>U: \dim(U) = i</math> आयाम <math>i</math>, <math>\mathbb{C}^n</math>का उपस्थान है।
एकल मानों के लिए न्यूनतम-अधिकतम प्रमेय। जहाँ <math>U: \dim(U) = i</math> आयाम <math>i</math>, <math>\mathbb{C}^n</math>का उपस्थान है।


:<math>\begin{align}
:<math>\begin{align}
Line 24: Line 23:
   \sigma_i(A) &= \max_{\dim(U)=i} \min_{\underset{\| x \|_2 = 1}{x \in U}} \left\| Ax \right\|_2.
   \sigma_i(A) &= \max_{\dim(U)=i} \min_{\underset{\| x \|_2 = 1}{x \in U}} \left\| Ax \right\|_2.
\end{align}</math>
\end{align}</math>
मैट्रिक्स ट्रांसपोज़ और कंजुगेट एकवचन मानों में परिवर्तन नहीं करते हैं।
मैट्रिक्स ट्रांसपोज़ और कंजुगेट एकल मानों में परिवर्तन नहीं करते हैं।


:<math>\sigma_i(A) = \sigma_i\left(A^\textsf{T}\right) = \sigma_i\left(A^*\right).</math>
:<math>\sigma_i(A) = \sigma_i\left(A^\textsf{T}\right) = \sigma_i\left(A^*\right).</math>
Line 36: Line 35:
:<math>\sum_{i=1}^n \sigma_i^2=\text{tr}\ A^\ast A</math>.
:<math>\sum_{i=1}^n \sigma_i^2=\text{tr}\ A^\ast A</math>.


यदि <math>A^\top A</math> पूर्ण रैंक है, एकवचन मूल्यों का उत्पाद <math>\sqrt{\det A^\top A}</math>  है।
यदि <math>A^\top A</math> पूर्ण रैंक है, एकल मूल्यों का उत्पाद <math>\sqrt{\det A^\top A}</math>  है।


यदि <math>A A^\top</math> पूर्ण रैंक है, एकवचन मूल्यों का उत्पाद <math>\sqrt{\det A A^\top}</math> है।
यदि <math>A A^\top</math> पूर्ण रैंक है, एकल मूल्यों का उत्पाद <math>\sqrt{\det A A^\top}</math> है।


यदि <math>A</math> पूर्ण रैंक है, एकवचन मूल्यों का उत्पाद <math>|\det A|</math> है।
यदि <math>A</math> पूर्ण रैंक है, एकल मूल्यों का उत्पाद <math>|\det A|</math> है।


== एकवचन मानों के विषय में असमानताएँ ==
== एकल मानों के विषय में असमानताएँ ==
यह सभी देखें।<ref>[[Roger Horn|R. A. Horn]] and [[Charles Royal Johnson|C. R. Johnson]]. Topics in Matrix Analysis. Cambridge University Press, Cambridge, 1991. Chap. 3</ref>
यह सभी देखें।<ref>[[Roger Horn|R. A. Horn]] and [[Charles Royal Johnson|C. R. Johnson]]. Topics in Matrix Analysis. Cambridge University Press, Cambridge, 1991. Chap. 3</ref>
===उप-आव्यूहों का एकवचन मान===
===उप-आव्यूहों का एकल मान===


<math>A \in \mathbb{C}^{m \times n}</math> के लिए,  
<math>A \in \mathbb{C}^{m \times n}</math> के लिए,  
Line 50: Line 49:
# माना कि <math>B</math>, <math>A</math> को निरूपित करता है एवं इसकी एक पंक्ति और स्तंभ हटा दिया गया है। तब <math display="block">\sigma_{i+2}(A) \leq \sigma_i (B) \leq \sigma_i(A)</math>
# माना कि <math>B</math>, <math>A</math> को निरूपित करता है एवं इसकी एक पंक्ति और स्तंभ हटा दिया गया है। तब <math display="block">\sigma_{i+2}(A) \leq \sigma_i (B) \leq \sigma_i(A)</math>
# माना कि <math>B</math> को <math>A</math> का सबमैट्रिक्स <math>(m-k)\times(n-l)</math> निरूपित करें, तब <math display="block">\sigma_{i+k+l}(A) \leq \sigma_i (B) \leq \sigma_i(A)</math>
# माना कि <math>B</math> को <math>A</math> का सबमैट्रिक्स <math>(m-k)\times(n-l)</math> निरूपित करें, तब <math display="block">\sigma_{i+k+l}(A) \leq \sigma_i (B) \leq \sigma_i(A)</math>
===A + B का एकवचन मान===
===A + B का एकल मान===


<math>A, B \in \mathbb{C}^{m \times n}</math> के लिए
<math>A, B \in \mathbb{C}^{m \times n}</math> के लिए
# <math display="block">\sum_{i=1}^{k} \sigma_i(A + B) \leq \sum_{i=1}^{k} (\sigma_i(A) + \sigma_i(B)), \quad k=\min \{m,n\}</math>
# <math display="block">\sum_{i=1}^{k} \sigma_i(A + B) \leq \sum_{i=1}^{k} (\sigma_i(A) + \sigma_i(B)), \quad k=\min \{m,n\}</math>
# <math display="block">\sigma_{i+j-1}(A + B) \leq \sigma_i(A) + \sigma_j(B). \quad i,j\in\mathbb{N},\ i + j - 1 \leq \min \{m,n\}</math>
# <math display="block">\sigma_{i+j-1}(A + B) \leq \sigma_i(A) + \sigma_j(B). \quad i,j\in\mathbb{N},\ i + j - 1 \leq \min \{m,n\}</math>
===AB का एकवचन मान===
===AB का एकल मान===


के लिए <math>A, B \in \mathbb{C}^{n \times n}</math>
के लिए <math>A, B \in \mathbb{C}^{n \times n}</math>
Line 66: Line 65:
के लिए <math>A, B \in \mathbb{C}^{m \times n}</math><ref>X. Zhan. Matrix Inequalities. Springer-Verlag, Berlin, Heidelberg, 2002. p.28</ref>
के लिए <math>A, B \in \mathbb{C}^{m \times n}</math><ref>X. Zhan. Matrix Inequalities. Springer-Verlag, Berlin, Heidelberg, 2002. p.28</ref>
<math display="block">2 \sigma_i(A B^*) \leq \sigma_i \left(A^* A + B^* B\right), \quad i = 1, 2, \ldots, n. </math>
<math display="block">2 \sigma_i(A B^*) \leq \sigma_i \left(A^* A + B^* B\right), \quad i = 1, 2, \ldots, n. </math>
===एकवचन मान और आइगेनवैल्यू===
===एकल मान और आइगेनवैल्यू===


<math>A \in \mathbb{C}^{n \times n}</math>. के लिए
<math>A \in \mathbb{C}^{n \times n}</math>. के लिए
Line 74: Line 73:
## <math>p>0</math> के लिए<math display="block"> \sum_{i=1}^k \left|\lambda_i^p(A)\right| \leq \sum_{i=1}^{k} \sigma_i^p(A).</math>
## <math>p>0</math> के लिए<math display="block"> \sum_{i=1}^k \left|\lambda_i^p(A)\right| \leq \sum_{i=1}^{k} \sigma_i^p(A).</math>
== इतिहास ==
== इतिहास ==
यह अवधारणा सन1907 में [[एरहार्ड श्मिट]] द्वारा प्रस्तुत की गई थी। श्मिट ने उस समय एकवचन मूल्यों को आइगेनवैल्यू कहा था। एकवचन मान नाम को प्रथम बार सन 1937 में स्मिथीज़ द्वारा उद्धृत किया गया था। सन 1957 में अल्लाह्वरडीव ने nवें s-संख्या के निम्नलिखित लक्षण वर्णन को सिद्ध किया:<ref>[[Israel Gohberg|I. C. Gohberg]] and [[Mark Krein|M. G. Krein]]. Introduction to the Theory of Linear Non-selfadjoint Operators. American Mathematical Society, Providence, R.I.,1969. Translated from the Russian by A. Feinstein. Translations of Mathematical Monographs, Vol. 18.</ref>
यह अवधारणा सन1907 में [[एरहार्ड श्मिट]] द्वारा प्रस्तुत की गई थी। श्मिट ने उस समय एकल मूल्यों को आइगेनवैल्यू कहा था। एकल मान नाम को प्रथम बार सन 1937 में स्मिथीज़ द्वारा उद्धृत किया गया था। सन 1957 में अल्लाह्वरडीव ने nवें s-संख्या के निम्नलिखित लक्षण वर्णन को सिद्ध किया:<ref>[[Israel Gohberg|I. C. Gohberg]] and [[Mark Krein|M. G. Krein]]. Introduction to the Theory of Linear Non-selfadjoint Operators. American Mathematical Society, Providence, R.I.,1969. Translated from the Russian by A. Feinstein. Translations of Mathematical Monographs, Vol. 18.</ref>


<math>s_n(T) = \inf\big\{\, \|T-L\| : L\text{ is an operator of finite rank }<n \,\big\}.</math>
<math>s_n(T) = \inf\big\{\, \|T-L\| : L\text{ is an operator of finite rank }<n \,\big\}.</math>
Line 84: Line 83:
*कॉची इंटरलेसिंग प्रमेय (न्यूनतम-अधिकतम प्रमेय) या पोंकारे पृथक्करण प्रमेय
*कॉची इंटरलेसिंग प्रमेय (न्यूनतम-अधिकतम प्रमेय) या पोंकारे पृथक्करण प्रमेय
*शूर-हॉर्न प्रमेय
*शूर-हॉर्न प्रमेय
*एकवचन मान अपघटन
*एकल मान अपघटन


==संदर्भ==
==संदर्भ==

Latest revision as of 12:53, 8 September 2023

गणित में विशेष रूप से कार्यात्मक विश्लेषण में कॉम्पैक्ट ऑपरेटर के एकल मान या s-संख्याएँ हिल्बर्ट स्थानों और के मध्य एक्टर स्व-सहायक ऑपरेटर के (आवश्यक रूप से गैर- ऋणात्मक) eigenvalues ​​​​के वर्गमूल हैं (जहाँ , के सहायक संचालक को दर्शाता है)।

एकल मान गैर- ऋणात्मक वास्तविक संख्याएँ हैं जिन्हें सामान्य रूप से घटते क्रम (σ1(T), σ2(T), …) में सूचीबद्ध किया जाता है। सबसे बड़ा एकल मान σ1(T), T के ऑपरेटर मानदंड के बराबर है (न्यूनतम-अधिकतम प्रमेय देखें)।

दीर्घवृत्त के अर्ध-अक्ष।

यदि T यूक्लिडियन समष्टि पर कार्य करता है एवं एकल मानों के लिए सरल ज्यामितीय व्याख्या है: इकाई वृत्त की द्वारा छवि पर विचार करें; यह एक दीर्घवृत्ताकार है और इसके अर्ध-अक्षों की लंबाई, का एकल मान हैं (आंकड़ा में एक उदाहरण प्रदान करता है)।

एकल मान सामान्य मैट्रिक्स A के eigenvalues ​​​​के पूर्ण मान हैं क्योंकि वर्णक्रमीय प्रमेय को एकात्मक विकर्ण प्राप्त करने के लिए लागू किया जा सकता है जैसा

इसलिए, .

हिल्बर्ट स्पेस ऑपरेटरों पर अध्ययन किए गए अधिकांश मानक रैखिक स्थान को s-संख्याओं का उपयोग करके परिभाषित किया गया है। उदाहरण के लिए, Ky फैन-k-मानदंड पहले k एकल मानों का योग है, ट्रेस मानदंड सभी एकल मानों का योग है और स्कैटन मानदंड एकल मानों की pth शक्तियों के योग का pth मूल है। ध्यान दें कि प्रत्येक मानदंड केवल ऑपरेटरों के विशेष वर्ग पर परिभाषित किया गया है इसलिए s-नंबर विभिन्न ऑपरेटरों को वर्गीकृत करने में उपयोगी होते हैं।

परिमित-आयामी स्थितियों में मैट्रिक्स (गणित) को हमेशा रूप में विघटित किया जा सकता है जहाँ और एकात्मक मैट्रिक्स हैं और आयताकार विकर्ण मैट्रिक्स है जिसके विकर्ण पर एकल मान स्थित हैं। यह एकल मूल्य अपघटन है।

मूल गुण

, और के लिए

एकल मानों के लिए न्यूनतम-अधिकतम प्रमेय। जहाँ आयाम , का उपस्थान है।

मैट्रिक्स ट्रांसपोज़ और कंजुगेट एकल मानों में परिवर्तन नहीं करते हैं।

किसी एकात्मक के लिए,

आइगेनवैल्यू से संबंध:

ट्रेस से संबंध (रैखिक बीजगणित):

.

यदि पूर्ण रैंक है, एकल मूल्यों का उत्पाद है।

यदि पूर्ण रैंक है, एकल मूल्यों का उत्पाद है।

यदि पूर्ण रैंक है, एकल मूल्यों का उत्पाद है।

एकल मानों के विषय में असमानताएँ

यह सभी देखें।[1]

उप-आव्यूहों का एकल मान

के लिए,

  1. माना कि , को निरूपित करता है एवं इसकी एक पंक्ति या स्तंभ हटा दिया गया है। तब
  2. माना कि , को निरूपित करता है एवं इसकी एक पंक्ति और स्तंभ हटा दिया गया है। तब
  3. माना कि को का सबमैट्रिक्स निरूपित करें, तब

A + B का एकल मान

के लिए

AB का एकल मान

के लिए

के लिए [2]

एकल मान और आइगेनवैल्यू

. के लिए

  1. देखना [3]
  2. मान लीजिए इसके पश्चात के लिए:
    1. मैट्रिक्स सिद्धांत में वेइल की असमानता (वेइल का प्रमेय)
    2. के लिए

इतिहास

यह अवधारणा सन1907 में एरहार्ड श्मिट द्वारा प्रस्तुत की गई थी। श्मिट ने उस समय एकल मूल्यों को आइगेनवैल्यू कहा था। एकल मान नाम को प्रथम बार सन 1937 में स्मिथीज़ द्वारा उद्धृत किया गया था। सन 1957 में अल्लाह्वरडीव ने nवें s-संख्या के निम्नलिखित लक्षण वर्णन को सिद्ध किया:[4]

इस सूत्रीकरण ने बैनाच क्षेत्र में ऑपरेटरों के लिए s-नंबरों की धारणा का विस्तार करना संभव बना दिया।

यह भी देखें

  • स्थिति क्रमांक
  • कॉची इंटरलेसिंग प्रमेय (न्यूनतम-अधिकतम प्रमेय) या पोंकारे पृथक्करण प्रमेय
  • शूर-हॉर्न प्रमेय
  • एकल मान अपघटन

संदर्भ

  1. R. A. Horn and C. R. Johnson. Topics in Matrix Analysis. Cambridge University Press, Cambridge, 1991. Chap. 3
  2. X. Zhan. Matrix Inequalities. Springer-Verlag, Berlin, Heidelberg, 2002. p.28
  3. R. Bhatia. Matrix Analysis. Springer-Verlag, New York, 1997. Prop. III.5.1
  4. I. C. Gohberg and M. G. Krein. Introduction to the Theory of Linear Non-selfadjoint Operators. American Mathematical Society, Providence, R.I.,1969. Translated from the Russian by A. Feinstein. Translations of Mathematical Monographs, Vol. 18.