ध्रुवीय अपघटन: Difference between revisions
No edit summary |
No edit summary |
||
(3 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Representation of invertible matrices as unitaries multiplying a Hermitian operator}} | {{Short description|Representation of invertible matrices as unitaries multiplying a Hermitian operator}} | ||
गणित में, | गणित में, वर्ग [[वास्तविक संख्या]] या [[जटिल संख्या]] [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] का ध्रुवीय अपघटन <math>A</math> प्रपत्र का [[मैट्रिक्स अपघटन|आव्यूह अपघटन]] <math>A = U P</math> है, जहाँ <math>U</math> [[ऑर्थोगोनल मैट्रिक्स|ऑर्थोगोनल आव्यूह]] है और <math>P</math> सकारात्मक अर्ध-निश्चित सममित आव्यूह है (<math>U</math> [[एकात्मक मैट्रिक्स|एकात्मक आव्यूह]] है और <math>P</math> सकारात्मक अर्ध-निश्चित आव्यूह है, जटिल स्थिति में सकारात्मक अर्ध-निश्चित [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]]), वर्ग और समान आकार दोनों है।<ref>{{harvnb|Hall|2015}} Section 2.5</ref> | ||
सहज रूप से, यदि | सहज रूप से, यदि वास्तविक <math>n\times n</math> आव्यूह <math>A</math> की व्याख्या <math>n</math>-आयामी [[कार्तीय स्थान]] <math>\mathbb{R}^n</math> के [[रैखिक परिवर्तन]] के रूप में व्याख्या की जाती है, तो ध्रुवीय अपघटन इसे <math>\mathbb{R}^n</math> के घूर्णन (ज्यामिति) या [[प्रतिबिंब (ज्यामिति)]] <math>U</math> में अलग करता है, और <math>n</math> ऑर्थोगोनल अक्षों के समुच्चय के साथ स्पेस का [[स्केलिंग (ज्यामिति)]] करता है। | ||
वर्ग आव्यूह का ध्रुवीय अपघटन <math>A</math> सदैव उपस्थित है। यदि <math>A</math> व्युत्क्रमणीय आव्यूह है, अपघटन अद्वितीय है, और कारक <math>P</math> [[सकारात्मक-निश्चित मैट्रिक्स|सकारात्मक-निश्चित आव्यूह]] होगा। उस स्थिति में, <math>A</math> को अद्वितीय रूप से <math>A = U e^X </math> लिखा जा सकता है, जहाँ <math>U</math> एकात्मक है और <math>X</math> आव्यूह <math>P</math> का अद्वितीय स्व-आसन्न लघुगणक है।<ref>{{harvnb|Hall|2015}} Theorem 2.17</ref> यह अपघटन (आव्यूह) [[झूठ समूह|लाई समूह]] के [[मौलिक समूह]] की गणना करने में उपयोगी है।<ref>{{harvnb|Hall|2015}} Section 13.3</ref> | |||
ध्रुवीय अपघटन को <math>A = P' U</math> के रूप में भी परिभाषित किया जा सकता है, जहाँ <math>P' = U P U^{-1}</math> | ध्रुवीय अपघटन को <math>A = P' U</math> के रूप में भी परिभाषित किया जा सकता है, जहाँ <math>P' = U P U^{-1}</math> सममित धनात्मक-निश्चित आव्यूह है, जो <math>P</math> के समान आइजनवैल्यू के साथ है, लेकिन अलग-अलग आइजनवेक्टर हैं। | ||
आव्यूह के ध्रुवीय अपघटन को जटिल संख्या <math>z</math> के ध्रुवीय रूप के आव्यूह एनालॉग के रूप में <math>z = u r</math> के रूप में देखा जा सकता है, जहाँ <math>r</math> इसका पूर्ण मान है (गैर-ऋणात्मक वास्तविक संख्या), और <math>u</math> इकाई मानदंड (वृत्त समूह का तत्व) के साथ सम्मिश्र संख्या है। | |||
परिभाषा <math>A = UP</math> को <math>A\in\mathbb{C}^{m \times n}</math> में <math>U\in\mathbb{C}^{m \times n}</math> | परिभाषा <math>A = UP</math> को <math>A\in\mathbb{C}^{m \times n}</math> में <math>U\in\mathbb{C}^{m \times n}</math> [[ अर्ध-ऑर्थोगोनल मैट्रिक्स |अर्ध-ऑर्थोगोनल आव्यूह]] होना और <math>P\in\mathbb{C}^{n \times n}</math> सकारात्मक-अर्ध-परिमित हर्मिटियन आव्यूह होना। अपघटन सदैव उपस्थित रहता है और <math>P</math> सदैव अद्वितीय होता है। आव्यूह <math>U</math> अद्वितीय है यदि और केवल यदि <math>A</math> के पास पूर्ण रैंक है।<ref name="higham1990" /> | ||
Line 16: | Line 16: | ||
== सहज व्याख्या == | == सहज व्याख्या == | ||
वास्तविक वर्ग <math>m\times m</math> आव्यूह <math>A</math> की व्याख्या <math>\mathbb{R}^m</math> के रैखिक परिवर्तन के रूप में की जा सकती है जो स्तंभ सदिश <math>x</math> को <math>A x</math> तक ले जाता है। फिर, ध्रुवीय अपघटन में <math>A = RP</math>, कारक <math>R</math> एक <math>m\times m</math> वास्तविक ऑर्थोनॉर्मल आव्यूह है। ध्रुवीय अपघटन को <math>A</math> द्वारा परिभाषित रैखिक परिवर्तन को व्यक्त करने के रूप में देखा जा सकता है, जो स्पेस के <math>\mathbb{R}^m</math> स्केलिंग (ज्यामिति) <math>A</math> के प्रत्येक आइजनवेक्टर <math>e_i</math> के साथ पैमाना कारक <math>\sigma_i</math> के स्केलिंग (<math>P</math> की क्रिया) में व्यक्त करता है, जिसके बाद एकल घुमाव या <math>\mathbb{R}^m</math> प्रतिबिंब (<math>R</math> की क्रिया) होता है। | |||
वैकल्पिक रूप से, अपघटन <math>A=P R</math> द्वारा परिभाषित परिवर्तन को | वैकल्पिक रूप से, अपघटन <math>A=P R</math> द्वारा परिभाषित परिवर्तन को <math>A</math> रोटेशन के रूप में (<math>R</math>) स्केलिंग के बाद (<math>P</math>) कुछ ऑर्थोगोनल दिशाओं के साथ व्यक्त करता है। पैमाना कारक समान हैं, लेकिन दिशाएं अलग हैं। | ||
== गुण == | == गुण == | ||
जटिल संयुग्म का ध्रुवीय अपघटन <math>A</math> द्वारा <math>\overline{A} = \overline{U}\overline{P}</math> दिया गया है। ध्यान दें कि<math display="block">\det A = \det U \det P = e^{i\theta} r</math>A के निर्धारक के संगत ध्रुवीय अपघटन देता है, क्योंकि <math>\det U = e^{i\theta}</math> और <math>\det P = r = \left|\det A\right|</math>। विशेष रूप से, यदि <math>A</math> निर्धारक 1 है तो दोनों <math>U</math> और <math>P</math> निर्धारक 1 है। | जटिल संयुग्म का ध्रुवीय अपघटन <math>A</math> द्वारा <math>\overline{A} = \overline{U}\overline{P}</math> दिया गया है। ध्यान दें कि<math display="block">\det A = \det U \det P = e^{i\theta} r</math>A के निर्धारक के संगत ध्रुवीय अपघटन देता है, क्योंकि <math>\det U = e^{i\theta}</math> और <math>\det P = r = \left|\det A\right|</math>। विशेष रूप से, यदि <math>A</math> निर्धारक 1 है तो दोनों <math>U</math> और <math>P</math> निर्धारक 1 है। | ||
सकारात्मक-अर्ध-परिमित आव्यूह P सदैव अद्वितीय होता है, तथापि A एकल आव्यूह हो, और इसे इस रूप में निरूपित किया जाता है<math display="block">P = \left(A^* A\right)^\frac{1}{2},</math>जहाँ <math>A^*</math> के [[संयुग्मी स्थानान्तरण]] को <math>A</math> दर्शाता है। P की विशिष्टता यह सुनिश्चित करती है कि यह अभिव्यक्ति अच्छी तरह से परिभाषित है। विशिष्टता इस तथ्य से सुनिश्चित है कि <math>A^* A</math> | सकारात्मक-अर्ध-परिमित आव्यूह P सदैव अद्वितीय होता है, तथापि A एकल आव्यूह हो, और इसे इस रूप में निरूपित किया जाता है<math display="block">P = \left(A^* A\right)^\frac{1}{2},</math>जहाँ <math>A^*</math> के [[संयुग्मी स्थानान्तरण]] को <math>A</math> दर्शाता है। P की विशिष्टता यह सुनिश्चित करती है कि यह अभिव्यक्ति अच्छी तरह से परिभाषित है। विशिष्टता इस तथ्य से सुनिश्चित है कि <math>A^* A</math> सकारात्मक-अर्ध-सीमित हर्मिटियन आव्यूह है और इसलिए, आव्यूह का अद्वितीय सकारात्मक-अर्ध-अर्ध-सीमित हर्मिटियन वर्गमूल है।<ref>{{harvnb|Hall|2015}} Lemma 2.18</ref> यदि A व्युत्क्रमणीय है, तो P धनात्मक-निश्चित है, इस प्रकार भी व्युत्क्रमणीय है और आव्यूह U विशिष्ट रूप से निर्धारित होता है<math display="block">U = AP^{-1}.</math> | ||
Line 38: | Line 38: | ||
वर्ग उलटा वास्तविक आव्यूह का ध्रुवीय अपघटन <math>A</math> स्वरूप का है | वर्ग उलटा वास्तविक आव्यूह का ध्रुवीय अपघटन <math>A</math> स्वरूप का है | ||
<math display="block">A = |A|R</math> | <math display="block">A = |A|R</math> | ||
जहाँ <math>|A| = \left(AA^\textsf{T}\right)^\frac{1}{2}</math> | जहाँ <math>|A| = \left(AA^\textsf{T}\right)^\frac{1}{2}</math> [[सकारात्मक-अर्ध-परिमित मैट्रिक्स|सकारात्मक-अर्ध-परिमित आव्यूह]] है। सकारात्मक-निश्चित हर्मिटियन आव्यूह और <math>R = |A|^{-1}A</math> ऑर्थोगोनल आव्यूह है। | ||
=== सामान्य आव्यूह से संबंध === | === सामान्य आव्यूह से संबंध === | ||
Line 48: | Line 48: | ||
=== सामान्य आव्यूह के लिए व्युत्पत्ति === | === सामान्य आव्यूह के लिए व्युत्पत्ति === | ||
यदि <math>A</math> सामान्य आव्यूह है, तो यह | यदि <math>A</math> सामान्य आव्यूह है, तो यह विकर्ण आव्यूह के समान रूप से <math>A = V\Lambda V^*</math> समतुल्य है: कुछ एकात्मक आव्यूह के लिए <math>V</math> और कुछ विकर्ण आव्यूह के लिए <math>\Lambda</math>। यह इसके ध्रुवीय अपघटन की व्युत्पत्ति को विशेष रूप से सीधा बनाता है, जैसा कि हम तब लिख सकते हैं | ||
<math display="block">A = V\Phi_\Lambda |\Lambda|V^* = \underbrace{\left(V\Phi_\Lambda V^*\right)}_{\equiv U} \underbrace{\left(V |\Lambda| V^*\right)}_{\equiv P},</math> | <math display="block">A = V\Phi_\Lambda |\Lambda|V^* = \underbrace{\left(V\Phi_\Lambda V^*\right)}_{\equiv U} \underbrace{\left(V |\Lambda| V^*\right)}_{\equiv P},</math> | ||
जहाँ <math>\Phi_\Lambda</math> के तत्वों के चरणों से युक्त | जहाँ <math>\Phi_\Lambda</math> के तत्वों के चरणों से युक्त विकर्ण आव्यूह <math>\Lambda</math> है, वह <math>(\Phi_\Lambda)_{ii}\equiv \Lambda_{ii}/ |\Lambda_{ii}|</math> है, जब <math>\Lambda_{ii}\neq 0</math>, और <math>(\Phi_\Lambda)_{ii}=0</math> जब <math>\Lambda_{ii}=0</math>। | ||
ध्रुवीय अपघटन <math>A=UP</math> इस प्रकार है, <math>A</math> के आइजनबेसिस साथ में <math>U</math> और <math>P</math> विकर्ण के साथ और क्रमशः <math>A</math> के चरणों और पूर्ण मानों के बराबर आइजन मान होना। | ध्रुवीय अपघटन <math>A=UP</math> इस प्रकार है, <math>A</math> के आइजनबेसिस साथ में <math>U</math> और <math>P</math> विकर्ण के साथ और क्रमशः <math>A</math> के चरणों और पूर्ण मानों के बराबर आइजन मान होना। | ||
=== व्युत्क्रमणीय आव्यूह के लिए === | === व्युत्क्रमणीय आव्यूह के लिए === | ||
एकल-मान अपघटन से, यह दिखाया जा सकता है कि | एकल-मान अपघटन से, यह दिखाया जा सकता है कि आव्यूह <math>A</math> उलटा है यदि और केवल यदि <math>A^* A</math> (समान रूप से, <math>AA^*</math>) है। इसके अतिरिक्त, यह सच है यदि और केवल यदि <math>A^* A</math> के सभी आइजन मान शून्य नहीं हैं।<ref>Note how this implies, by the positivity of <math>A^* A</math>, that the eigenvalues are all real and strictly positive.</ref> | ||
इस स्थिति में, ध्रुवीय अपघटन सीधे लिखकर प्राप्त किया जाता है | इस स्थिति में, ध्रुवीय अपघटन सीधे लिखकर प्राप्त किया जाता है | ||
Line 65: | Line 65: | ||
जहाँ पुनः <math>W</math> निर्माण द्वारा एकात्मक है। | जहाँ पुनः <math>W</math> निर्माण द्वारा एकात्मक है। | ||
फिर भी <math>A\left(A^* A\right)^{-\frac{1}{2}}</math> की इकाई को सीधे दर्शाने की एक और विधि यह ध्यान रखनी है कि, | फिर भी <math>A\left(A^* A\right)^{-\frac{1}{2}}</math> की इकाई को सीधे दर्शाने की एक और विधि यह ध्यान रखनी है कि, रैंक -1 आव्यूह के संदर्भ में <math>A</math> का एसवीडी <math display="inline">A = \sum_k s_k v_k w_k^*</math> लिखना, जहाँ <math>s_k</math>, <math>A</math> के एकल मान हैं, अपने पास | ||
<math display="block">A\left(A^* A\right)^{-\frac{1}{2}} | <math display="block">A\left(A^* A\right)^{-\frac{1}{2}} | ||
= \left(\sum_j \lambda_j v_j w_j^*\right)\left(\sum_k |\lambda_k|^{-1} w_k w_k^*\right) | = \left(\sum_j \lambda_j v_j w_j^*\right)\left(\sum_k |\lambda_k|^{-1} w_k w_k^*\right) | ||
= \sum_k \frac{\lambda_k}{|\lambda_k|} v_k w_k^*,</math> जिसका सीधा तात्पर्य <math>A\left(A^* A\right)^{-\frac{1}{2}}</math> की एकता से है, क्योंकि | = \sum_k \frac{\lambda_k}{|\lambda_k|} v_k w_k^*,</math> जिसका सीधा तात्पर्य <math>A\left(A^* A\right)^{-\frac{1}{2}}</math> की एकता से है, क्योंकि आव्यूह एकात्मक है यदि और केवल यदि इसके एकल मानों में एकात्मक निरपेक्ष मान है। | ||
ध्यान दें कि कैसे, उपरोक्त निर्माण से, यह इस प्रकार है कि | ध्यान दें कि कैसे, उपरोक्त निर्माण से, यह इस प्रकार है कि व्युत्क्रमणीय आव्यूह के ध्रुवीय अपघटन में एकात्मक आव्यूह विशिष्ट रूप से परिभाषित है। | ||
=== सामान्य व्युत्पत्ति === | === सामान्य व्युत्पत्ति === | ||
वर्ग आव्यूह <math>A</math> का एसवीडी, <math>A = W D^\frac{1}{2} V^*</math> एकात्मक आव्यूह, <math>W, V</math>, और <math>D</math> के साथ विकर्ण, सकारात्मक अर्ध-निश्चित आव्यूह पढ़ा जाता है। <math>W</math>s या <math>V</math>s की | वर्ग आव्यूह <math>A</math> का एसवीडी, <math>A = W D^\frac{1}{2} V^*</math> एकात्मक आव्यूह, <math>W, V</math>, और <math>D</math> के साथ विकर्ण, सकारात्मक अर्ध-निश्चित आव्यूह पढ़ा जाता है। <math>W</math>s या <math>V</math>s की अतिरिक्त जोड़ी डालने से, हम <math>A</math> के ध्रुवीय अपघटन के दो रूपों को प्राप्त करते हैं :<math display="block"> | ||
A = WD^\frac{1}{2}V^* = | A = WD^\frac{1}{2}V^* = | ||
\underbrace{\left(W D^\frac{1}{2} W^*\right)}_P \underbrace{\left(W V^*\right)}_U = | \underbrace{\left(W D^\frac{1}{2} W^*\right)}_P \underbrace{\left(W V^*\right)}_U = | ||
Line 83: | Line 83: | ||
</math> आव्यूह है, इसका एसवीडी <math> | </math> आव्यूह है, इसका एसवीडी <math> | ||
A=WD^{1/2}V^* | A=WD^{1/2}V^* | ||
</math> के रूप में लिखा जा सकता है | </math> के रूप में लिखा जा सकता है जहाँ अब <math> | ||
W | W | ||
</math> और <math> | </math> और <math> | ||
Line 95: | Line 95: | ||
</math>, और <math> | </math>, और <math> | ||
D | D | ||
</math> आयामों के साथ फिर से | </math> आयामों के साथ फिर से विकर्ण सकारात्मक अर्ध-निश्चित वर्ग आव्यूह <math> | ||
r\times r | r\times r | ||
</math> है। अब हम लिखने के लिए उपरोक्त समीकरण <math> | </math> है। अब हम लिखने के लिए उपरोक्त समीकरण <math> | ||
Line 111: | Line 111: | ||
</math> को संतुष्ट करता है। यह <math> | </math> को संतुष्ट करता है। यह <math> | ||
U | U | ||
</math>को | </math> को आइसोमेट्री में बनाता है, जब इसकी क्रिया <math> | ||
A | A | ||
</math> के समर्थन पर प्रतिबंधित होती है, अर्थात् इसका अर्थ है की <math> | </math> के समर्थन पर प्रतिबंधित होती है, अर्थात् इसका अर्थ है की <math> | ||
Line 126: | Line 126: | ||
</math>हमारे पास तब है<math display="block"> | </math>हमारे पास तब है<math display="block"> | ||
WV^\dagger = \frac1{\sqrt2}\begin{pmatrix}1&1 \\ 1&-1 \\ 0&0\end{pmatrix} | WV^\dagger = \frac1{\sqrt2}\begin{pmatrix}1&1 \\ 1&-1 \\ 0&0\end{pmatrix} | ||
</math>जो | </math>जो आइसोमेट्री है, लेकिन एकात्मक नहीं है। दूसरी ओर, यदि हम के अपघटन पर विचार करें<math display="block"> | ||
A\equiv \begin{pmatrix}1&0&0\\0&2&0\end{pmatrix} = | A\equiv \begin{pmatrix}1&0&0\\0&2&0\end{pmatrix} = | ||
\begin{pmatrix}1&0\\0&1\end{pmatrix} | \begin{pmatrix}1&0\\0&1\end{pmatrix} | ||
Line 136: | Line 136: | ||
=== [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्पेस]] पर बंधे हुए ऑपरेटर === | === [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्पेस]] पर बंधे हुए ऑपरेटर === | ||
जटिल हिल्बर्ट स्पेस स्थान के बीच किसी भी बाध्य रैखिक ऑपरेटर ''A'' का ध्रुवीय अपघटन | जटिल हिल्बर्ट स्पेस स्थान के बीच किसी भी बाध्य रैखिक ऑपरेटर ''A'' का ध्रुवीय अपघटन आंशिक आइसोमेट्री और गैर-नकारात्मक ऑपरेटर के उत्पाद के रूप में विहित कारक है। | ||
आव्यूह के लिए ध्रुवीय अपघटन निम्नानुसार सामान्य करता है: यदि यदि ''A'' | आव्यूह के लिए ध्रुवीय अपघटन निम्नानुसार सामान्य करता है: यदि यदि ''A'' परिबद्ध रैखिक ऑपरेटर है तो उत्पाद ''A = UP'' के रूप में ''A'' का अद्वितीय गुणनखंडन होता है, जहां ''U'' आंशिक आइसोमेट्री है, ''P'' गैर-नकारात्मक स्व-आसन्न ऑपरेटर है और प्रारंभिक ''U'' का स्थान ''P'' की सीमा का समापन है। | ||
निम्नलिखित उद्देश्यों के कारण ऑपरेटर ''U'' को एकात्मक के अतिरिक्त | निम्नलिखित उद्देश्यों के कारण ऑपरेटर ''U'' को एकात्मक के अतिरिक्त आंशिक आइसोमेट्री के लिए अशक्त होना चाहिए। यदि A, ''l''<sup>2</sup>('''N''') पर [[शिफ्ट ऑपरेटर]] है, तो |''A''| = {''A<sup>*</sup>A''}<sup>1/2</sup> = ''I''। तो यदि ''A'' = ''U'' |''A''|, ''U'' को ''A'' होना चाहिए, जो एकात्मक नहीं है। | ||
ध्रुवीय अपघटन का अस्तित्व डगलस लेम्मा का परिणाम है: | ध्रुवीय अपघटन का अस्तित्व डगलस लेम्मा का परिणाम है: | ||
Line 146: | Line 146: | ||
{{math theorem|name=Lemma|math_statement= यदि ''A'', ''B'' हिल्बर्ट स्पेस ''H'', और ''A{{sup|*}}A'' ≤ ''B{{sup|*}} B'' पर परिबद्ध ऑपरेटर हैं, तो एक संकुचन ''C'' उपस्थित है जैसे कि ''A = CB''। इसके अतिरिक्त, ''C'' अद्वितीय है यदि ''Ker''(''B{{sup|*}}'') ⊂ ''Ker''(''C'')।}} | {{math theorem|name=Lemma|math_statement= यदि ''A'', ''B'' हिल्बर्ट स्पेस ''H'', और ''A{{sup|*}}A'' ≤ ''B{{sup|*}} B'' पर परिबद्ध ऑपरेटर हैं, तो एक संकुचन ''C'' उपस्थित है जैसे कि ''A = CB''। इसके अतिरिक्त, ''C'' अद्वितीय है यदि ''Ker''(''B{{sup|*}}'') ⊂ ''Ker''(''C'')।}} | ||
ऑपरेटर ''C'' को C(Bh) द्वारा परिभाषित किया जा सकता है := ''H'' में सभी ''h'' के लिए ''Ah'', Ran(B) के बंद होने तक निरंतरता द्वारा विस्तारित, और सभी ''H'' के ऑर्थोगोनल पूरक पर शून्य द्वारा। लेम्मा तब | ऑपरेटर ''C'' को C(Bh) द्वारा परिभाषित किया जा सकता है := ''H'' में सभी ''h'' के लिए ''Ah'', Ran(B) के बंद होने तक निरंतरता द्वारा विस्तारित, और सभी ''H'' के ऑर्थोगोनल पूरक पर शून्य द्वारा। लेम्मा तब ''A<sup>*</sup>A'' ≤ ''B<sup>*</sup>B'' का तात्पर्य ''Ker(B) ⊂ Ker(A)'' से है। | ||
विशेष रूप से। यदि ''A<sup>*</sup>A'' = ''B<sup>*</sup>B'', तो ''C'' आंशिक आइसोमेट्री है, जो अद्वितीय है यदि''Ker''(''B<sup>*</sup>'') ⊂ ''Ker''(''C'')। | विशेष रूप से। यदि ''A<sup>*</sup>A'' = ''B<sup>*</sup>B'', तो ''C'' आंशिक आइसोमेट्री है, जो अद्वितीय है यदि''Ker''(''B<sup>*</sup>'') ⊂ ''Ker''(''C'')। | ||
Line 152: | Line 152: | ||
सामान्य तौर पर, किसी भी बाध्य ऑपरेटर ''A'' के लिए, | सामान्य तौर पर, किसी भी बाध्य ऑपरेटर ''A'' के लिए, | ||
<math display="block">A^*A = \left(A^*A\right)^\frac{1}{2} \left(A^*A\right)^\frac{1}{2},</math> | <math display="block">A^*A = \left(A^*A\right)^\frac{1}{2} \left(A^*A\right)^\frac{1}{2},</math> | ||
जहाँ (''A<sup>*</sup>A'')<sup>1/2</sup> सामान्य क्रियात्मक कलन द्वारा दिया गया | जहाँ (''A<sup>*</sup>A'')<sup>1/2</sup> सामान्य क्रियात्मक कलन द्वारा दिया गया ''A<sup>*</sup>A'' का अद्वितीय धनात्मक वर्गमूल है। तो लेम्मा द्वारा, हमारे पास है | ||
<math display="block">A = U\left(A^*A\right)^\frac{1}{2}</math> | <math display="block">A = U\left(A^*A\right)^\frac{1}{2}</math> | ||
कुछ आंशिक आइसोमेट्री ''U'' के लिए, जो अद्वितीय है यदि ''Ker(A<sup>*</sup>) ⊂ Ker(U)''। ''P'' को (''A<sup>*</sup>A'')<sup>1/2</sup> मान लें और हमें ध्रुवीय अपघटन ''A = UP'' प्राप्त होता है। ध्यान दें कि | कुछ आंशिक आइसोमेट्री ''U'' के लिए, जो अद्वितीय है यदि ''Ker(A<sup>*</sup>) ⊂ Ker(U)''। ''P'' को (''A<sup>*</sup>A'')<sup>1/2</sup> मान लें और हमें ध्रुवीय अपघटन ''A = UP'' प्राप्त होता है। ध्यान दें कि समरूप तर्क का उपयोग ''A = P'U'<nowiki/>'' दिखाने के लिए किया जा सकता है, जहाँ ''P'<nowiki/>'' धनात्मक है और ''U''' आंशिक सममिति है। | ||
जब ''H'' परिमित-आयामी है, तो ''U'' को एकात्मक ऑपरेटर तक बढ़ाया जा सकता है; यह सामान्य रूप से सत्य नहीं है (उपरोक्त उदाहरण देखें)। वैकल्पिक रूप से, ध्रुवीय अपघटन को एकवचन मूल्य अपघटन के ऑपरेटर संस्करण का उपयोग करके दिखाया जा सकता है। | जब ''H'' परिमित-आयामी है, तो ''U'' को एकात्मक ऑपरेटर तक बढ़ाया जा सकता है; यह सामान्य रूप से सत्य नहीं है (उपरोक्त उदाहरण देखें)। वैकल्पिक रूप से, ध्रुवीय अपघटन को एकवचन मूल्य अपघटन के ऑपरेटर संस्करण का उपयोग करके दिखाया जा सकता है। | ||
Line 161: | Line 161: | ||
== [[असीमित ऑपरेटर]] == | == [[असीमित ऑपरेटर]] == | ||
यदि ''A'' जटिल हिल्बर्ट स्पेस स्थान के बीच | यदि ''A'' जटिल हिल्बर्ट स्पेस स्थान के बीच बंद, घनी परिभाषित असीमित ऑपरेटर है तो इसमें अभी भी (अद्वितीय) 'ध्रुवीय अपघटन' है | ||
<math display="block">A = U |A|</math> | <math display="block">A = U |A|</math> | ||
जहां |''A''| ''A'' के समान डोमेन के साथ | जहां |''A''| ''A'' के समान डोमेन के साथ (संभवतः अबाधित) गैर-नकारात्मक स्वयं संलग्न ऑपरेटर है, और ''U'' आंशिक आइसोमेट्री है जो ''Ran''(|''A''|) श्रेणी के ऑर्थोगोनल पूरक पर लुप्त हो रहा है। | ||
प्रमाण उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाना जाता है। यदि ''Dom''(''A<sup>*</sup>A'') = ''Dom''(''B<sup>*</sup>B'') और ''A<sup>*</sup>Ah'' = ''B<sup>*</sup>Bh'' सबके लिए | प्रमाण उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाना जाता है। यदि ''Dom''(''A<sup>*</sup>A'') = ''Dom''(''B<sup>*</sup>B'') और ''A<sup>*</sup>Ah'' = ''B<sup>*</sup>Bh'' सबके लिए ∈ ''Dom''(''A<sup>*</sup>A''), तो आंशिक आइसोमेट्री ''U'' उपस्थित है जैसे कि ''A'' = ''UB''। ''U'' अद्वितीय है यदि ''Ran''(''B'')<sup>⊥</sup> ⊂ ''Ker''(''U'') है। ऑपरेटर ''A'' बंद होने और घनी परिभाषित होने से यह सुनिश्चित होता है कि ऑपरेटर ''A<sup>*</sup>A'' स्व-संबद्ध है (घने डोमेन के साथ) और इसलिए किसी को ( ''A<sup>*</sup>A'')<sup>1/2</sup> परिभाषित करने की अनुमति देता है। लेम्मा लगाने से ध्रुवीय अपघटन होता है। | ||
यदि | यदि असीमित ऑपरेटर ''A'' वॉन न्यूमैन बीजगणित '''M''' के लिए [[संबद्ध ऑपरेटर]] है, और ''A'' = ''UP'' इसका ध्रुवीय अपघटन है, तो ''U,'' '''M''' में है और इसी तरह ''P'', 1<sub>''B''</sub>(''P'') का वर्णक्रमीय प्रक्षेपण है, किसी भी बोरेल समुच्चय ''B'' के लिए {{closed-open|0, ∞}}. | ||
== चतुष्कोणीय ध्रुवीय अपघटन == | == चतुष्कोणीय ध्रुवीय अपघटन == | ||
चतुष्कोणों ''H'' का ध्रुवीय अपघटन | चतुष्कोणों ''H'' का ध्रुवीय अपघटन इकाई 2-आयामी क्षेत्र के माइनस 1 का वर्गमूल <math>\lbrace x i + y j + z k \in H : x^2 + y^2 +z^2 = 1 \rbrace</math> पर निर्भर करता है। इस क्षेत्र पर किसी भी ''r'' को देखते हुए, और कोण −π < ''a'' ≤ π, छंद <math>e^{ar} = \cos (a) + r\ \sin (a) </math> ''H'' के इकाई [[3-क्षेत्र]] पर है। ''a'' = 0 और ''a'' = π के लिए, छंद 1 या -1 है, चाहे जो भी ''r'' चुना गया हो। [[मानदंड (गणित)]] ''t'' चतुष्कोण ''q'' का मूल से ''q'' तक [[यूक्लिडियन दूरी]] है। जब चतुष्कोण केवल वास्तविक संख्या नहीं है, तो <math>q = t e^{ar}</math>अद्वितीय ध्रुवीय अपघटन होता है। | ||
Line 206: | Line 206: | ||
* [[कार्टन अपघटन]] | * [[कार्टन अपघटन]] | ||
*बीजगणितीय ध्रुवीय अपघटन | *बीजगणितीय ध्रुवीय अपघटन | ||
* | *जटिल माप का ध्रुवीय अपघटन | ||
*[[झूठ समूह अपघटन|लाई समूह अपघटन]] | *[[झूठ समूह अपघटन|लाई समूह अपघटन]] | ||
Line 274: | Line 274: | ||
{{Functional Analysis}} | {{Functional Analysis}} | ||
{{SpectralTheory}} | {{SpectralTheory}} | ||
[[Category:Collapse templates]] | |||
[[Category: | |||
[[Category:Created On 18/04/2023]] | [[Category:Created On 18/04/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages that use a deprecated format of the math tags]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:ऑपरेटर सिद्धांत]] | |||
[[Category:झूठ बोलने वाले समूह]] | |||
[[Category:मैट्रिक्स अपघटन]] | |||
[[Category:मैट्रिक्स सिद्धांत]] |
Latest revision as of 18:00, 1 May 2023
गणित में, वर्ग वास्तविक संख्या या जटिल संख्या आव्यूह (गणित) का ध्रुवीय अपघटन प्रपत्र का आव्यूह अपघटन है, जहाँ ऑर्थोगोनल आव्यूह है और सकारात्मक अर्ध-निश्चित सममित आव्यूह है ( एकात्मक आव्यूह है और सकारात्मक अर्ध-निश्चित आव्यूह है, जटिल स्थिति में सकारात्मक अर्ध-निश्चित हर्मिटियन आव्यूह), वर्ग और समान आकार दोनों है।[1]
सहज रूप से, यदि वास्तविक आव्यूह की व्याख्या -आयामी कार्तीय स्थान के रैखिक परिवर्तन के रूप में व्याख्या की जाती है, तो ध्रुवीय अपघटन इसे के घूर्णन (ज्यामिति) या प्रतिबिंब (ज्यामिति) में अलग करता है, और ऑर्थोगोनल अक्षों के समुच्चय के साथ स्पेस का स्केलिंग (ज्यामिति) करता है।
वर्ग आव्यूह का ध्रुवीय अपघटन सदैव उपस्थित है। यदि व्युत्क्रमणीय आव्यूह है, अपघटन अद्वितीय है, और कारक सकारात्मक-निश्चित आव्यूह होगा। उस स्थिति में, को अद्वितीय रूप से लिखा जा सकता है, जहाँ एकात्मक है और आव्यूह का अद्वितीय स्व-आसन्न लघुगणक है।[2] यह अपघटन (आव्यूह) लाई समूह के मौलिक समूह की गणना करने में उपयोगी है।[3]
ध्रुवीय अपघटन को के रूप में भी परिभाषित किया जा सकता है, जहाँ सममित धनात्मक-निश्चित आव्यूह है, जो के समान आइजनवैल्यू के साथ है, लेकिन अलग-अलग आइजनवेक्टर हैं।
आव्यूह के ध्रुवीय अपघटन को जटिल संख्या के ध्रुवीय रूप के आव्यूह एनालॉग के रूप में के रूप में देखा जा सकता है, जहाँ इसका पूर्ण मान है (गैर-ऋणात्मक वास्तविक संख्या), और इकाई मानदंड (वृत्त समूह का तत्व) के साथ सम्मिश्र संख्या है।
परिभाषा को में अर्ध-ऑर्थोगोनल आव्यूह होना और सकारात्मक-अर्ध-परिमित हर्मिटियन आव्यूह होना। अपघटन सदैव उपस्थित रहता है और सदैव अद्वितीय होता है। आव्यूह अद्वितीय है यदि और केवल यदि के पास पूर्ण रैंक है।[4]
सहज व्याख्या
वास्तविक वर्ग आव्यूह की व्याख्या के रैखिक परिवर्तन के रूप में की जा सकती है जो स्तंभ सदिश को तक ले जाता है। फिर, ध्रुवीय अपघटन में , कारक एक वास्तविक ऑर्थोनॉर्मल आव्यूह है। ध्रुवीय अपघटन को द्वारा परिभाषित रैखिक परिवर्तन को व्यक्त करने के रूप में देखा जा सकता है, जो स्पेस के स्केलिंग (ज्यामिति) के प्रत्येक आइजनवेक्टर के साथ पैमाना कारक के स्केलिंग ( की क्रिया) में व्यक्त करता है, जिसके बाद एकल घुमाव या प्रतिबिंब ( की क्रिया) होता है।
वैकल्पिक रूप से, अपघटन द्वारा परिभाषित परिवर्तन को रोटेशन के रूप में () स्केलिंग के बाद () कुछ ऑर्थोगोनल दिशाओं के साथ व्यक्त करता है। पैमाना कारक समान हैं, लेकिन दिशाएं अलग हैं।
गुण
जटिल संयुग्म का ध्रुवीय अपघटन द्वारा दिया गया है। ध्यान दें कि
सकारात्मक-अर्ध-परिमित आव्यूह P सदैव अद्वितीय होता है, तथापि A एकल आव्यूह हो, और इसे इस रूप में निरूपित किया जाता है
एसवीडी से संबंध
के एकल मान अपघटन (एसवीडी) के संदर्भ में, , किसी के पास
को इस रूप में भी विघटित किया जा सकता है:
वर्ग उलटा वास्तविक आव्यूह का ध्रुवीय अपघटन स्वरूप का है
सामान्य आव्यूह से संबंध
ध्रुवीय अपघटन के साथ आव्यूह सामान्य है यदि और केवल और कम्यूटिंग आव्यूह है: , या समकक्ष रूप से, वे एक साथ विकर्ण हैं।
निर्माण और अस्तित्व के प्रमाण
ध्रुवीय अपघटन के निर्माण के पीछे मुख्य विचार वही है जो एकल-मान अपघटन की गणना के लिए उपयोग किया जाता है।
सामान्य आव्यूह के लिए व्युत्पत्ति
यदि सामान्य आव्यूह है, तो यह विकर्ण आव्यूह के समान रूप से समतुल्य है: कुछ एकात्मक आव्यूह के लिए और कुछ विकर्ण आव्यूह के लिए । यह इसके ध्रुवीय अपघटन की व्युत्पत्ति को विशेष रूप से सीधा बनाता है, जैसा कि हम तब लिख सकते हैं
ध्रुवीय अपघटन इस प्रकार है, के आइजनबेसिस साथ में और विकर्ण के साथ और क्रमशः के चरणों और पूर्ण मानों के बराबर आइजन मान होना।
व्युत्क्रमणीय आव्यूह के लिए
एकल-मान अपघटन से, यह दिखाया जा सकता है कि आव्यूह उलटा है यदि और केवल यदि (समान रूप से, ) है। इसके अतिरिक्त, यह सच है यदि और केवल यदि के सभी आइजन मान शून्य नहीं हैं।[6]
इस स्थिति में, ध्रुवीय अपघटन सीधे लिखकर प्राप्त किया जाता है
इस अभिव्यक्ति में, एकात्मक है क्योंकि है। यह दिखाने के लिए कि एकात्मक है, हम लिखने के लिए एकल-मान अपघटन का उपयोग कर सकते हैं, जिससे
फिर भी की इकाई को सीधे दर्शाने की एक और विधि यह ध्यान रखनी है कि, रैंक -1 आव्यूह के संदर्भ में का एसवीडी लिखना, जहाँ , के एकल मान हैं, अपने पास
ध्यान दें कि कैसे, उपरोक्त निर्माण से, यह इस प्रकार है कि व्युत्क्रमणीय आव्यूह के ध्रुवीय अपघटन में एकात्मक आव्यूह विशिष्ट रूप से परिभाषित है।
सामान्य व्युत्पत्ति
वर्ग आव्यूह का एसवीडी, एकात्मक आव्यूह, , और के साथ विकर्ण, सकारात्मक अर्ध-निश्चित आव्यूह पढ़ा जाता है। s या s की अतिरिक्त जोड़ी डालने से, हम के ध्रुवीय अपघटन के दो रूपों को प्राप्त करते हैं :
इस अधिक सामान्य स्थिति के स्पष्ट उदाहरण के रूप में, निम्नलिखित आव्यूह के एसवीडी पर विचार करें:
हिल्बर्ट स्पेस पर बंधे हुए ऑपरेटर
जटिल हिल्बर्ट स्पेस स्थान के बीच किसी भी बाध्य रैखिक ऑपरेटर A का ध्रुवीय अपघटन आंशिक आइसोमेट्री और गैर-नकारात्मक ऑपरेटर के उत्पाद के रूप में विहित कारक है।
आव्यूह के लिए ध्रुवीय अपघटन निम्नानुसार सामान्य करता है: यदि यदि A परिबद्ध रैखिक ऑपरेटर है तो उत्पाद A = UP के रूप में A का अद्वितीय गुणनखंडन होता है, जहां U आंशिक आइसोमेट्री है, P गैर-नकारात्मक स्व-आसन्न ऑपरेटर है और प्रारंभिक U का स्थान P की सीमा का समापन है।
निम्नलिखित उद्देश्यों के कारण ऑपरेटर U को एकात्मक के अतिरिक्त आंशिक आइसोमेट्री के लिए अशक्त होना चाहिए। यदि A, l2(N) पर शिफ्ट ऑपरेटर है, तो |A| = {A*A}1/2 = I। तो यदि A = U |A|, U को A होना चाहिए, जो एकात्मक नहीं है।
ध्रुवीय अपघटन का अस्तित्व डगलस लेम्मा का परिणाम है:
Lemma — यदि A, B हिल्बर्ट स्पेस H, और A*A ≤ B* B पर परिबद्ध ऑपरेटर हैं, तो एक संकुचन C उपस्थित है जैसे कि A = CB। इसके अतिरिक्त, C अद्वितीय है यदि Ker(B*) ⊂ Ker(C)।
ऑपरेटर C को C(Bh) द्वारा परिभाषित किया जा सकता है := H में सभी h के लिए Ah, Ran(B) के बंद होने तक निरंतरता द्वारा विस्तारित, और सभी H के ऑर्थोगोनल पूरक पर शून्य द्वारा। लेम्मा तब A*A ≤ B*B का तात्पर्य Ker(B) ⊂ Ker(A) से है।
विशेष रूप से। यदि A*A = B*B, तो C आंशिक आइसोमेट्री है, जो अद्वितीय है यदिKer(B*) ⊂ Ker(C)।
सामान्य तौर पर, किसी भी बाध्य ऑपरेटर A के लिए,
जब H परिमित-आयामी है, तो U को एकात्मक ऑपरेटर तक बढ़ाया जा सकता है; यह सामान्य रूप से सत्य नहीं है (उपरोक्त उदाहरण देखें)। वैकल्पिक रूप से, ध्रुवीय अपघटन को एकवचन मूल्य अपघटन के ऑपरेटर संस्करण का उपयोग करके दिखाया जा सकता है।
निरंतर कार्यात्मक कैलकुस की संपत्ति से, |A| A द्वारा उत्पन्न C*-बीजगणित में है। आंशिक आइसोमेट्री के लिए एक समान लेकिन अशक्त व्याख्यान प्रयुक्त होता है: U A द्वारा उत्पन्न वॉन न्यूमैन बीजगणित में है। यदि A व्युत्क्रमणीय है, तो ध्रुवीय भाग U C*-बीजगणित में होगा भी।
असीमित ऑपरेटर
यदि A जटिल हिल्बर्ट स्पेस स्थान के बीच बंद, घनी परिभाषित असीमित ऑपरेटर है तो इसमें अभी भी (अद्वितीय) 'ध्रुवीय अपघटन' है
प्रमाण उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाना जाता है। यदि Dom(A*A) = Dom(B*B) और A*Ah = B*Bh सबके लिए ∈ Dom(A*A), तो आंशिक आइसोमेट्री U उपस्थित है जैसे कि A = UB। U अद्वितीय है यदि Ran(B)⊥ ⊂ Ker(U) है। ऑपरेटर A बंद होने और घनी परिभाषित होने से यह सुनिश्चित होता है कि ऑपरेटर A*A स्व-संबद्ध है (घने डोमेन के साथ) और इसलिए किसी को ( A*A)1/2 परिभाषित करने की अनुमति देता है। लेम्मा लगाने से ध्रुवीय अपघटन होता है।
यदि असीमित ऑपरेटर A वॉन न्यूमैन बीजगणित M के लिए संबद्ध ऑपरेटर है, और A = UP इसका ध्रुवीय अपघटन है, तो U, M में है और इसी तरह P, 1B(P) का वर्णक्रमीय प्रक्षेपण है, किसी भी बोरेल समुच्चय B के लिए [0, ∞).
चतुष्कोणीय ध्रुवीय अपघटन
चतुष्कोणों H का ध्रुवीय अपघटन इकाई 2-आयामी क्षेत्र के माइनस 1 का वर्गमूल पर निर्भर करता है। इस क्षेत्र पर किसी भी r को देखते हुए, और कोण −π < a ≤ π, छंद H के इकाई 3-क्षेत्र पर है। a = 0 और a = π के लिए, छंद 1 या -1 है, चाहे जो भी r चुना गया हो। मानदंड (गणित) t चतुष्कोण q का मूल से q तक यूक्लिडियन दूरी है। जब चतुष्कोण केवल वास्तविक संख्या नहीं है, तो अद्वितीय ध्रुवीय अपघटन होता है।
वैकल्पिक प्लानर अपघटन
कार्तीय तल में, वैकल्पिक तलीय वलय (गणित) अपघटन निम्नानुसार उत्पन्न होते हैं:
- यदि x ≠ 0, z = x(1 + ε(y/x)) दोहरी संख्या z = x + yε का ध्रुवीय अपघटन है, जहाँ ε2 = 0 है; उदाहरण, ε निल्पोटेंट है। इस ध्रुवीय अपघटन में, इकाई वृत्त को रेखा x = 1 और ध्रुवीय कोण को ढलान y/x से परिवर्तित कर दिया गया है, और त्रिज्या x बाएं आधे समतल में ऋणात्मक है।
- यदि x2 ≠ y2, तब इकाई अतिपरवलय x2 − y2 = 1 और इसके संयुग्मी x2 − y2 = −1 (1, 0) के माध्यम से इकाई अतिपरवलय की शाखा के आधार पर एक ध्रुवीय अपघटन बनाने के लिए उपयोग किया जा सकता है। यह शाखा अतिपरवलय कोण a द्वारा पैरामीट्रिज्ड है और लिखी गई है।
जहाँ j2 = +1 औरअंकगणित [7] स्प्लिट-कॉम्प्लेक्स नंबर का उपयोग किया जाता है। (−1, 0) की शाखा को −eaj द्वारा ट्रेस किया गया है। चूँकि j से गुणा करने की संक्रिया y = x रेखा के पार एक बिंदु को दर्शाती है, दूसरे अतिपरवलय में je aj या −jeaj द्वारा अनुरेखित शाखाएँ होती हैं। इसलिए किसी एक चतुर्थांश में एक बिंदु का एक रूप में ध्रुवीय अपघटन होता है:
समुच्चय {1, −1, j, −j } में ऐसे उत्पाद हैं जो इसे क्लेन चार-समूह के लिए समरूपी बनाते हैं। स्पष्ट रूप से इस स्थिति में ध्रुवीय अपघटन में उस समूह का एक तत्व सम्मिलित है।
आव्यूह ध्रुवीय अपघटन का संख्यात्मक निर्धारण
ध्रुवीय अपघटन A = UP के सन्निकटन की गणना करने के लिए, सामान्यतः एकात्मक कारक U का अनुमान लगाया जाता है।[8][9] पुनरावृति 1 के वर्गमूल के लिए हीरोन की विधि पर आधारित है और से प्रारंभ करते हुए इसकी गणना करता है , क्रम
प्रक्रिया को गति देने के लिए इस मूल पुनरावृत्ति को परिष्कृत किया जा सकता है:
- Every step or in regular intervals, the range of the singular values of is estimated and then the matrix is rescaled to to center the singular values around 1. The scaling factor is computed using matrix norms of the matrix and its inverse. Examples of such scale estimates are:
using the row-sum and column-sum matrix norms orusing the Frobenius norm. Including the scale factor, the iteration is now
- The QR decomposition can be used in a preparation step to reduce a singular matrix A to a smaller regular matrix, and inside every step to speed up the computation of the inverse.
- Heron's method for computing roots of can be replaced by higher order methods, for instance based on Halley's method of third order, resulting in
This iteration can again be combined with rescaling. This particular formula has the benefit that it is also applicable to singular or rectangular matrices A.
यह भी देखें
- कार्टन अपघटन
- बीजगणितीय ध्रुवीय अपघटन
- जटिल माप का ध्रुवीय अपघटन
- लाई समूह अपघटन
संदर्भ
- ↑ Hall 2015 Section 2.5
- ↑ Hall 2015 Theorem 2.17
- ↑ Hall 2015 Section 13.3
- ↑ Higham, Nicholas J.; Schreiber, Robert S. (1990). "Fast polar decomposition of an arbitrary matrix". SIAM J. Sci. Stat. Comput. Philadelphia, PA, USA: Society for Industrial and Applied Mathematics. 11 (4): 648–655. CiteSeerX 10.1.1.111.9239. doi:10.1137/0911038. ISSN 0196-5204. S2CID 14268409.
- ↑ Hall 2015 Lemma 2.18
- ↑ Note how this implies, by the positivity of , that the eigenvalues are all real and strictly positive.
- ↑ सोब्जिक, जी. (1995) "हाइपरबॉलिक नंबर प्लेन", कॉलेज मैथेमेटिक्स जर्नल 26:268-80
- ↑ Higham, Nicholas J. (1986). "Computing the polar decomposition with applications". SIAM J. Sci. Stat. Comput. Philadelphia, PA, USA: Society for Industrial and Applied Mathematics. 7 (4): 1160–1174. CiteSeerX 10.1.1.137.7354. doi:10.1137/0907079. ISSN 0196-5204.
- ↑ Byers, Ralph; Hongguo Xu (2008). "A New Scaling for Newton's Iteration for the Polar Decomposition and its Backward Stability". SIAM J. Matrix Anal. Appl. Philadelphia, PA, USA: Society for Industrial and Applied Mathematics. 30 (2): 822–843. CiteSeerX 10.1.1.378.6737. doi:10.1137/070699895. ISSN 0895-4798.
- Conway, J.B.: A Course in Functional Analysis. Graduate Texts in Mathematics. New York: Springer 1990
- Douglas, R.G.: On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space. Proc. Amer. Math. Soc. 17, 413-415 (1966)
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, vol. 222 (2nd ed.), Springer, ISBN 978-3319134666.
- Helgason, Sigurdur (1978), Differential geometry, Lie groups, and symmetric spaces, Academic Press, ISBN 0-8218-2848-7