ध्रुवीय अपघटन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
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>U</math> का <math>\mathbb{R}^n</math>, और एक सेट के साथ अंतरिक्ष का एक [[स्केलिंग (ज्यामिति)]]। <math>n</math> ऑर्थोगोनल कुल्हाड़ियों।
गणित में, एक वर्ग [[वास्तविक संख्या]] या [[जटिल संख्या]] [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] का ध्रुवीय अपघटन <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>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>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 = P' U</math> इस रूप में भी परिभाषित किया जा सकता है, जहाँ <math>P' = U P U^{-1}</math> के रूप में एक ही आइजनमान ​​​​के साथ एक सममित सकारात्मक-निश्चित आव्यूह <math>P</math> है  लेकिन विभिन्न eigenvectors।
एक वर्ग आव्यूह का ध्रुवीय अपघटन <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>z</math> जैसा <math>z = u r</math>, जहाँ <math>r</math> इसका पूर्ण मान है # जटिल संख्याएं (एक गैर-ऋणात्मक वास्तविक संख्या), और <math>u</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>P\in\mathbb{C}^{n \times n}</math> सकारात्मक-अर्ध-परिमित हर्मिटियन आव्यूह होना। अपघटन सदैव उपस्थित रहता है और <math>P</math> सदैव अद्वितीय होता है। आव्यूह <math>U</math> अद्वितीय है यदि और केवल यदि <math>A</math> के पास पूर्ण रैंक है।<ref name="higham1990" />


मानहानि <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" />






== सहज व्याख्या ==
== सहज व्याख्या ==
एक वास्तविक वर्ग <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> प्रत्येक eigenvector के साथ <math>e_i</math> का <math>A</math> पैमाने कारक द्वारा <math>\sigma_i</math> (की क्रिया <math>P</math>), जिसके बाद एक ही घुमाव या प्रतिबिंब होता है <math>\mathbb{R}^m</math> (की क्रिया <math>R</math>).
एक वास्तविक वर्ग <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</math> रोटेशन के रूप में (<math>R</math>) एक स्केलिंग के बाद (<math>P</math>) कुछ ऑर्थोगोनल दिशाओं के साथ। पैमाना कारक समान हैं, लेकिन दिशाएं अलग हैं।
वैकल्पिक रूप से, अपघटन <math>A=P R</math> द्वारा परिभाषित परिवर्तन को व्यक्त करता है <math>A</math> रोटेशन के रूप में (<math>R</math>) एक स्केलिंग के बाद (<math>P</math>) कुछ ऑर्थोगोनल दिशाओं के साथ। पैमाना कारक समान हैं, लेकिन दिशाएं अलग हैं।
Line 20: Line 23:
जटिल संयुग्म का ध्रुवीय अपघटन <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> एक सकारात्मक-अर्ध-सीमित हर्मिटियन आव्यूह है और इसलिए, एक आव्यूह का एक अद्वितीय सकारात्मक-अर्ध-अर्ध-सीमित हर्मिटियन वर्गमूल है।<ref>{{harvnb|Hall|2015}} Lemma 2.18</ref> यदि A व्युत्क्रमणीय है, तो P धनात्मक-निश्चित है, इस प्रकार भी व्युत्क्रमणीय है और आव्यूह U विशिष्ट रूप से निर्धारित होता है<math display="block">U = AP^{-1}.</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>




=== एसवीडी से संबंध ===
=== एसवीडी से संबंध ===


एकवचन मान अपघटन (एसवीडी) के संदर्भ में <math>A</math>, <math>A = W\Sigma V^*</math>, किसी के पास<math display="block">\begin{align}
<math>A</math> के एकल मान अपघटन (एसवीडी) के संदर्भ में, <math>A = W\Sigma V^*</math>, किसी के पास<math display="block">\begin{align}
   P &= V\Sigma V^* \\
   P &= V\Sigma V^* \\
   U &= WV^*
   U &= WV^*
\end{align}</math>जहाँ <math>U</math>, <math>V</math>, और <math>W</math> एकात्मक आव्यूह हैं (यदि क्षेत्र वास्तविक है तो ऑर्थोगोनल आव्यूह कहा जाता है <math>\mathbb{R}</math>)। इससे इस बात की पुष्टि होती है कि <math>P</math> सकारात्मक-निश्चित है और <math>U</math> एकात्मक है। इस प्रकार, एसवीडी का अस्तित्व ध्रुवीय अपघटन के अस्तित्व के बराबर है।
\end{align}</math>जहाँ <math>U</math>, <math>V</math>, और <math>W</math> एकात्मक आव्यूह हैं (यदि <math>\mathbb{R}</math> क्षेत्र वास्तविक है तो ऑर्थोगोनल आव्यूह कहा जाता है)। इससे इस बात की पुष्टि होती है कि <math>P</math> सकारात्मक-निश्चित है और <math>U</math> एकात्मक है। इस प्रकार, एसवीडी का अस्तित्व ध्रुवीय अपघटन के अस्तित्व के बराबर है।




कोई विघटित भी हो सकता है <math>A</math> प्रपत्र में<math display="block">A = P'U</math>यहाँ <math>U</math> पहले जैसा ही है और <math>P'</math> द्वारा दिया गया है<math display="block">P' = UPU^{-1} = \left(AA^*\right)^\frac{1}{2} = W \Sigma W^*.</math>इसे बाएं ध्रुवीय अपघटन के रूप में जाना जाता है, जबकि पिछले अपघटन को सही ध्रुवीय अपघटन के रूप में जाना जाता है। वाम ध्रुवीय अपघटन को विपरीत ध्रुवीय अपघटन के रूप में भी जाना जाता है।
<math>A</math> को इस रूप में भी विघटित किया जा सकता है:<math display="block">A = P'U</math>यहाँ <math>U</math> पहले जैसा ही है और <math>P'</math> द्वारा दिया गया है<math display="block">P' = UPU^{-1} = \left(AA^*\right)^\frac{1}{2} = W \Sigma W^*.</math>इसे बाएं ध्रुवीय अपघटन के रूप में जाना जाता है, जबकि पिछले अपघटन को सही ध्रुवीय अपघटन के रूप में जाना जाता है। वाम ध्रुवीय अपघटन को विपरीत ध्रुवीय अपघटन के रूप में भी जाना जाता है।


वर्ग उलटा वास्तविक आव्यूह का ध्रुवीय अपघटन <math>A</math> स्वरूप का है
वर्ग उलटा वास्तविक आव्यूह का ध्रुवीय अपघटन <math>A</math> स्वरूप का है
Line 39: Line 42:
=== सामान्य आव्यूह से संबंध ===
=== सामान्य आव्यूह से संबंध ===


गणित का प्रश्न <math>A</math> ध्रुवीय अपघटन के साथ <math>A=UP</math> [[सामान्य मैट्रिक्स|सामान्य आव्यूह]] है यदि और केवल <math>U</math> और <math>P</math> [[कम्यूटिंग मेट्रिसेस]]: <math>UP = PU</math>, या समकक्ष रूप से, वे विकर्णीय आव्यूह एक साथ विकर्णकरण हैं।
ध्रुवीय अपघटन के साथ <math>A</math> आव्यूह <math>A=UP</math> [[सामान्य मैट्रिक्स|सामान्य]] है यदि और केवल <math>U</math> और <math>P</math> [[कम्यूटिंग मेट्रिसेस|कम्यूटिंग आव्यूह]] है: <math>UP = PU</math>, या समकक्ष रूप से, वे एक साथ विकर्ण हैं।


== निर्माण और अस्तित्व के प्रमाण ==
== निर्माण और अस्तित्व के प्रमाण ==
ध्रुवीय अपघटन के निर्माण के पीछे मुख्य विचार वही है जो एकवचन-मान अपघटन की गणना के लिए उपयोग किया जाता है।
ध्रुवीय अपघटन के निर्माण के पीछे मुख्य विचार वही है जो एकल-मान अपघटन की गणना के लिए उपयोग किया जाता है।


=== सामान्य आव्यूह के लिए व्युत्पत्ति ===
=== सामान्य आव्यूह के लिए व्युत्पत्ति ===
Line 49: Line 52:
जहाँ <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>\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>U</math> और <math>P</math> के ईजेनबेसिस में विकर्ण <math>A</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>
एकल-मान अपघटन से, यह दिखाया जा सकता है कि एक आव्यूह <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 58: Line 61:
और यह देखते हुए कि <math>A\left(A^* A\right)^{-\frac{1}{2}}</math> एकात्मक है। इसे देखने के लिए, हम <math>A\left(A^* A\right)^{-\frac{1}{2}} = AVD^{-\frac{1}{2}}V^*</math> लिखने के लिए <math>A^* A</math> के वर्णक्रमीय अपघटन का लाभ उठा सकते हैं।
और यह देखते हुए कि <math>A\left(A^* A\right)^{-\frac{1}{2}}</math> एकात्मक है। इसे देखने के लिए, हम <math>A\left(A^* A\right)^{-\frac{1}{2}} = AVD^{-\frac{1}{2}}V^*</math> लिखने के लिए <math>A^* A</math> के वर्णक्रमीय अपघटन का लाभ उठा सकते हैं।


इस अभिव्यक्ति में, <math>V^*</math> एकात्मक है क्योंकि <math>V</math> है। यह दिखाने के लिए कि <math>AVD^{-\frac{1}{2}}</math> एकात्मक है, हम <math>A = WD^\frac{1}{2}V^*</math> लिखने के लिए एकवचन-मान अपघटन का उपयोग कर सकते हैं, जिससे
इस अभिव्यक्ति में, <math>V^*</math> एकात्मक है क्योंकि <math>V</math> है। यह दिखाने के लिए कि <math>AVD^{-\frac{1}{2}}</math> एकात्मक है, हम <math>A = WD^\frac{1}{2}V^*</math> लिखने के लिए एकल-मान अपघटन का उपयोग कर सकते हैं, जिससे
<math display="block">AV D^{-\frac{1}{2}} = WD^\frac{1}{2}V^* VD^{-\frac{1}{2}} = W,</math>
<math display="block">AV D^{-\frac{1}{2}} = WD^\frac{1}{2}V^* VD^{-\frac{1}{2}} = W,</math>
जहाँ पुनः <math>W</math> निर्माण द्वारा एकात्मक है।
जहाँ पुनः <math>W</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>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>एस या <math>V</math>एस, हम ध्रुवीय अपघटन के दो रूपों को प्राप्त करते हैं <math>A</math>:<math display="block">
वर्ग आव्यूह <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 76: Line 79:
</math>अधिक सामान्यतः, यदि <math>
</math>अधिक सामान्यतः, यदि <math>
   A
   A
</math> कुछ आयताकार है <math>
</math> कुछ आयताकार <math>
   n\times m
   n\times m
</math> आव्यूह, इसके एसवीडी के रूप में लिखा जा सकता है <math>
</math> आव्यूह है, इसका एसवीडी <math>
   A=WD^{1/2}V^*
   A=WD^{1/2}V^*
</math> जहाँ हैं <math>
</math> के रूप में लिखा जा सकता है  जहाँ अब <math>
   W
   W
</math> और <math>
</math> और <math>
   V
   V
</math> आयामों के साथ आइसोमेट्री हैं <math>
</math> क्रमशः <math>
   n\times r
   n\times r
</math> और <math>
</math> और <math>
   m\times r
   m\times r
</math>, क्रमशः, जहाँ <math>
</math> आयामों के साथ आइसोमेट्री हैं, जहाँ <math>
   r\equiv\operatorname{rank}(A)
   r\equiv\operatorname{rank}(A)
</math>, और <math>
</math>, और <math>
   D
   D
</math> आयामों के साथ फिर से एक विकर्ण सकारात्मक अर्ध-निश्चित वर्ग आव्यूह है <math>
</math> आयामों के साथ फिर से एक विकर्ण सकारात्मक अर्ध-निश्चित वर्ग आव्यूह <math>
   r\times r
   r\times r
</math>. अब हम लिखने के लिए उपरोक्त समीकरण में उपयोग किए गए समान तर्क को लागू कर सकते हैं <math>
</math> है। अब हम लिखने के लिए उपरोक्त समीकरण <math>
   A=PU=UP'
   A=PU=UP'
</math>, पर अब <math>
</math> में उपयोग किए गए समान तर्क को प्रयुक्त कर सकते हैं, पर अब <math>
   U\equiv WV^*  
   U\equiv WV^*  
</math> सामान्य एकात्मक नहीं है। फिर भी, <math>
</math> सामान्य एकात्मक नहीं है। फिर भी, <math>
   U  
   U  
</math> के समान समर्थन और सीमा है <math>
</math> के पास <math>
   A  
   A  
</math>, और यह संतुष्ट करता है <math>
</math> के समान समर्थन और सीमा है, और यह <math>
   U^* U=VV^*  
   U^* U=VV^*  
</math> और <math>
</math> और <math>
   UU^*=WW^*  
   UU^*=WW^*  
</math>. यह बनाता है <math>
</math> को संतुष्ट करता है। यह <math>
   U  
   U  
</math> एक आइसोमेट्री में जब इसकी क्रिया के समर्थन पर प्रतिबंधित होती है <math>
</math>को एक आइसोमेट्री में बनाता है, जब इसकी क्रिया <math>
   A  
   A  
</math>, अर्थात् इसका अर्थ है <math>
</math> के समर्थन पर प्रतिबंधित होती है, अर्थात् इसका अर्थ है की <math>
   U  
   U  
</math> [[आंशिक आइसोमेट्री]] है।
</math> [[आंशिक आइसोमेट्री]] है।
Line 132: Line 135:
</math>जो आंशिक आइसोमेट्री है (लेकिन आइसोमेट्री नहीं)।
</math>जो आंशिक आइसोमेट्री है (लेकिन आइसोमेट्री नहीं)।


=== [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट अंतरिक्ष]] पर बंधे हुए ऑपरेटर ===
=== [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट स्पेस]] पर बंधे हुए ऑपरेटर ===
जटिल हिल्बर्ट रिक्त स्थान के बीच किसी भी बंधे हुए रैखिक ऑपरेटर '''' का ध्रुवीय अपघटन एक आंशिक आइसोमेट्री और एक गैर-नकारात्मक ऑपरेटर के उत्पाद के रूप में एक विहित गुणनखंड है।
जटिल हिल्बर्ट स्पेस स्थान के बीच किसी भी बाध्य रैखिक ऑपरेटर ''A'' का ध्रुवीय अपघटन एक आंशिक आइसोमेट्री और गैर-नकारात्मक ऑपरेटर के उत्पाद के रूप में एक विहित कारक है।


मेट्रिसेस के लिए ध्रुवीय अपघटन निम्नानुसार सामान्य करता है: यदि '''' एक परिबद्ध रैखिक ऑपरेटर है तो उत्पाद ''ए'' = ''यूपी'' जहां ''यू'' के रूप में '''' का एक अनूठा गुणनखंड है। '' एक आंशिक आइसोमेट्री है, ''पी'' एक गैर-नकारात्मक स्व-आसन्न संकारक है और ''यू'' का प्रारंभिक स्थान ''पी'' की सीमा का बंद होना है।
आव्यूह के लिए ध्रुवीय अपघटन निम्नानुसार सामान्य करता है: यदि यदि ''A'' एक परिबद्ध रैखिक ऑपरेटर है तो उत्पाद ''A = UP'' के रूप में ''A'' का एक अद्वितीय गुणनखंडन होता है, जहां ''U'' एक आंशिक आइसोमेट्री है, ''P'' एक गैर-नकारात्मक स्व-आसन्न ऑपरेटर है और प्रारंभिक ''U'' का स्थान ''P'' की सीमा का समापन है।


ऑपरेटर 'यू' को निम्नलिखित मुद्दों के कारण एकात्मक के बजाय आंशिक आइसोमेट्री के लिए कमजोर होना चाहिए। यदि ''ए'' [[शिफ्ट ऑपरेटर]] है|'एल' पर एकतरफा शिफ्ट<sup>2</sup>(एन), फिर |''''| = {''ए{{sup|*}}A''}<sup>1/2</sup> = I. तो यदि A = U |A|, U को A होना चाहिए, जो एकात्मक नहीं है।
निम्नलिखित उद्देश्यों के कारण ऑपरेटर ''U'' को एकात्मक के अतिरिक्त एक आंशिक आइसोमेट्री के लिए अशक्त होना चाहिए। यदि A,  ''l''<sup>2</sup>('''N''') पर [[शिफ्ट ऑपरेटर]] है, तो |''A''| = {''A<sup>*</sup>A''}<sup>1/2</sup> = ''I''। तो यदि ''A'' = ''U'' |''A''|, ''U'' को ''A'' होना चाहिए, जो एकात्मक नहीं है।


ध्रुवीय अपघटन का अस्तित्व डगलस लेम्मा का परिणाम है:
ध्रुवीय अपघटन का अस्तित्व डगलस लेम्मा का परिणाम है:


{{math theorem|name=Lemma|math_statement= If ''A'', ''B'' are bounded operators on a Hilbert space ''H'', and ''A{{sup|*}}A'' ≤ ''B{{sup|*}}B'', then there exists a contraction ''C'' such that ''A = CB''. Furthermore, ''C'' is unique if ''Ker''(''B{{sup|*}}'') &sub; ''Ker''(''C'').}}
{{math theorem|name=Lemma|math_statement= यदि ''A'', ''B'' हिल्बर्ट स्पेस ''H'', और ''A{{sup|*}}A'' ≤ ''B{{sup|*}} B'' पर परिबद्ध ऑपरेटर हैं, तो एक संकुचन ''C'' उपस्थित है जैसे कि ''A = CB''। इसके अतिरिक्त, ''C'' अद्वितीय है यदि ''Ker''(''B{{sup|*}}'') &sub; ''Ker''(''C'')}}
 
ऑपरेटर ''C'' को C(Bh) द्वारा परिभाषित किया जा सकता है := ''H'' में सभी ''h'' के लिए ''Ah'', Ran(B) के बंद होने तक निरंतरता द्वारा विस्तारित, और सभी ''H'' के ऑर्थोगोनल पूरक पर शून्य द्वारा। लेम्मा तब  ''A<sup>*</sup>A'' ≤ ''B<sup>*</sup>B'' का तात्पर्य  ''Ker(B) ⊂ Ker(A)'' से है।


संकारक C को C(Bh) द्वारा परिभाषित किया जा सकता है := H में सभी h के लिए आह, Ran(B) के बंद होने तक निरंतरता द्वारा विस्तारित, और सभी H के ऑर्थोगोनल पूरक पर शून्य द्वारा। लेम्मा तब A के बाद से अनुसरण करता है।{{sup|*}}ए ≤ बी{{sup|*}}B का तात्पर्य Ker(B) ⊂ Ker(A) से है।
विशेष रूप से। यदि ''A<sup>*</sup>A'' = ''B<sup>*</sup>B'', तो ''C'' आंशिक आइसोमेट्री है, जो अद्वितीय है यदि''Ker''(''B<sup>*</sup>'') ⊂ ''Ker''(''C'')


विशेष रूप से। यदि एक{{sup|*}}ए = बी{{sup|*}}बी, तो सी आंशिक आइसोमेट्री है, जो अद्वितीय है यदि केर (बी{{sup|*}}) ⊂ केर (सी)।
सामान्य तौर पर, किसी भी बाध्य ऑपरेटर ''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>
जहाँ एक{{sup|*}}ए)<sup>1/2</sup> A का अद्वितीय धनात्मक वर्गमूल है{{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>
कुछ आंशिक आइसोमेट्री यू के लिए, जो अद्वितीय है यदि केर (ए{{sup|*}}) ⊂ केर (यू)। P को लीजिए (A{{sup|*}}ए)<sup>1/2</sup> और एक ध्रुवीय अपघटन A = UP प्राप्त करता है। ध्यान दें कि A = P'U दिखाने के लिए एक समरूप तर्क का उपयोग किया जा सकता है{{'}}, जहां P' धनात्मक है और U{{'}} आंशिक आइसोमेट्री।
कुछ आंशिक आइसोमेट्री ''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'' को एकात्मक ऑपरेटर तक बढ़ाया जा सकता है; यह सामान्य रूप से सत्य नहीं है (उपरोक्त उदाहरण देखें)। वैकल्पिक रूप से, ध्रुवीय अपघटन को एकवचन मूल्य अपघटन के ऑपरेटर संस्करण का उपयोग करके दिखाया जा सकता है।


निरंतर कार्यात्मक कैलकुस की संपत्ति से, || द्वारा उत्पन्न सी*-बीजगणित में है। आंशिक आइसोमेट्री के लिए एक समान लेकिन कमजोर बयान लागू होता है: यू ए द्वारा उत्पन्न [[वॉन न्यूमैन बीजगणित]] में है। यदि व्युत्क्रमणीय है, तो ध्रुवीय भाग यू सी*-बीजगणित में होगा भी।
निरंतर कार्यात्मक कैलकुस की संपत्ति से, |''A''| ''A'' द्वारा उत्पन्न C*-बीजगणित में है। आंशिक आइसोमेट्री के लिए एक समान लेकिन अशक्त व्याख्यान प्रयुक्त होता है: ''U'' ''A'' द्वारा उत्पन्न [[वॉन न्यूमैन बीजगणित]] में है। यदि ''A'' व्युत्क्रमणीय है, तो ध्रुवीय भाग ''U'' C*-बीजगणित में होगा भी।


== [[असीमित ऑपरेटर]] ==
== [[असीमित ऑपरेटर]] ==
यदि जटिल हिल्बर्ट रिक्त स्थान के बीच एक बंद, घनी परिभाषित असीमित ऑपरेटर है तो इसमें अभी भी एक (अद्वितीय) 'ध्रुवीय अपघटन' है
यदि ''A'' जटिल हिल्बर्ट स्पेस स्थान के बीच एक बंद, घनी परिभाषित असीमित ऑपरेटर है तो इसमें अभी भी एक (अद्वितीय) 'ध्रुवीय अपघटन' है
<math display="block">A = U |A|</math>
<math display="block">A = U |A|</math>
जहां || के समान डोमेन के साथ एक (संभवतः अबाधित) गैर-नकारात्मक स्वयं संलग्न ऑपरेटर है, और यू एक आंशिक आइसोमेट्री है जो रैन (| |) श्रेणी के ऑर्थोगोनल पूरक पर लुप्त हो रहा है।
जहां |''A''| ''A'' के समान डोमेन के साथ एक (संभवतः अबाधित) गैर-नकारात्मक स्वयं संलग्न ऑपरेटर है, और ''U'' एक आंशिक आइसोमेट्री है जो ''Ran''(|''A''|) श्रेणी के ऑर्थोगोनल पूरक पर लुप्त हो रहा है।


<nowiki>सबूत उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाता है। यदि डोम (ए{{sup|*}ए) = डोम (बी</nowiki>{{sup|*}} बी) और ए{{sup|*}} आह = बी{{sup|*}}बीएच सबके लिए एच डोम (ए{{sup|*}}ए), तो एक आंशिक आइसोमेट्री यू उपस्थित है जैसे कि = यूबी। यू अद्वितीय है यदि रैन (बी)<sup>⊥</sup> ⊂ केर (यू)ऑपरेटर बंद होने और घनी परिभाषित होने से यह सुनिश्चित होता है कि ऑपरेटर ए{{sup|*}}ए स्व-संबद्ध है (घने डोमेन के साथ) और इसलिए किसी को परिभाषित करने की अनुमति देता है (ए{{sup|*}}ए)<sup>1/2</sup>. लेम्मा लगाने से ध्रुवीय अपघटन होता है।
प्रमाण उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाना जाता है। यदि ''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> परिभाषित करने की अनुमति देता है। लेम्मा लगाने से ध्रुवीय अपघटन होता है।


यदि एक असीमित ऑपरेटर वॉन न्यूमैन बीजगणित 'एम' के लिए [[संबद्ध ऑपरेटर]] है, और = यूपी इसका ध्रुवीय अपघटन है, तो यू 'एम' में है और इसी तरह पी, 1 का वर्णक्रमीय प्रक्षेपण है<sub>''B''</sub>(पी), किसी भी बोरेल सेट बी के लिए {{closed-open|0, ∞}}.
यदि एक असीमित ऑपरेटर ''A'' वॉन न्यूमैन बीजगणित '''M''' के लिए [[संबद्ध ऑपरेटर]] है, और ''A'' = ''UP'' इसका ध्रुवीय अपघटन है, तो ''U,'' '''M''' में है और इसी तरह ''P'', 1<sub>''B''</sub>(''P'') का वर्णक्रमीय प्रक्षेपण है, किसी भी बोरेल समुच्चय ''B'' के लिए {{closed-open|0, ∞}}.


== चतुष्कोणीय ध्रुवीय अपघटन ==
== चतुष्कोणीय ध्रुवीय अपघटन ==
चतुष्कोणों H का ध्रुवीय अपघटन इकाई 2-आयामी क्षेत्र पर निर्भर करता है <math>\lbrace x i + y j + z k \in H : x^2 + y^2 +z^2 = 1 \rbrace</math> चतुष्कोण का#-1 का वर्गमूल। इस क्षेत्र पर किसी भी आर को देखते हुए, और एक कोण −π < a ≤ π, छंद <math>e^{ar} = \cos (a) + r\ \sin (a) </math> एच के यूनिट [[3-क्षेत्र]] पर है। '''' = 0 और '''' = π के लिए, छंद 1 या -1 है, चाहे जो भी ''आर'' चुना गया हो। [[मानदंड (गणित)]] ''t'' एक चतुष्कोण ''q'' का मूल से ''q'' तक [[यूक्लिडियन दूरी]] है। जब एक चतुष्कोण केवल एक वास्तविक संख्या नहीं है, तो एक ''अद्वितीय'' ध्रुवीय अपघटन होता है <math>q = t e^{ar}.</math>
चतुष्कोणों ''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 182: Line 186:
ध्रुवीय अपघटन A = UP के सन्निकटन की गणना करने के लिए, सामान्यतः एकात्मक कारक U का अनुमान लगाया जाता है।<ref name="higham1986" /><ref name="byers2008" /> पुनरावृति 1 के वर्गमूल के लिए हीरोन की विधि पर आधारित है और से प्रारंभ करते हुए इसकी गणना करता है <math>U_0 = A</math>, क्रम
ध्रुवीय अपघटन A = UP के सन्निकटन की गणना करने के लिए, सामान्यतः एकात्मक कारक U का अनुमान लगाया जाता है।<ref name="higham1986" /><ref name="byers2008" /> पुनरावृति 1 के वर्गमूल के लिए हीरोन की विधि पर आधारित है और से प्रारंभ करते हुए इसकी गणना करता है <math>U_0 = A</math>, क्रम
<math display="block">U_{k+1} = \frac{1}{2}\left(U_k + \left(U_k^*\right )^{-1}\right),\qquad k = 0, 1, 2, \ldots</math>
<math display="block">U_{k+1} = \frac{1}{2}\left(U_k + \left(U_k^*\right )^{-1}\right),\qquad k = 0, 1, 2, \ldots</math>
व्युत्क्रम और हर्मिट संयुग्मन के संयोजन को चुना जाता है जिससे एकवचन मान अपघटन में, एकात्मक कारक समान रहें और पुनरावृत्ति एकवचन मानों पर हीरोन की विधि को कम कर दे।
व्युत्क्रम और हर्मिट संयुग्मन के संयोजन को चुना जाता है जिससे एकल मान अपघटन में, एकात्मक कारक समान रहें और पुनरावृत्ति एकल मानों पर हीरोन की विधि को कम कर दे।


प्रक्रिया को गति देने के लिए इस मूल पुनरावृत्ति को परिष्कृत किया जा सकता है:
प्रक्रिया को गति देने के लिए इस मूल पुनरावृत्ति को परिष्कृत किया जा सकता है:

Revision as of 01:48, 26 April 2023

गणित में, एक वर्ग वास्तविक संख्या या जटिल संख्या आव्यूह (गणित) का ध्रुवीय अपघटन प्रपत्र का एक आव्यूह अपघटन है, जहाँ एक ऑर्थोगोनल आव्यूह है और एक सकारात्मक अर्ध-निश्चित सममित आव्यूह है ( एक एकात्मक आव्यूह है और एक सकारात्मक अर्ध-निश्चित आव्यूह है, जटिल स्थिति में सकारात्मक अर्ध-निश्चित हर्मिटियन आव्यूह), वर्ग और समान आकार दोनों है।[1]

सहज रूप से, यदि एक वास्तविक आव्यूह की व्याख्या -आयामी कार्तीय स्थान के रैखिक परिवर्तन के रूप में व्याख्या की जाती है, तो ध्रुवीय अपघटन इसे के घूर्णन (ज्यामिति) या प्रतिबिंब (ज्यामिति) में अलग करता है, और ऑर्थोगोनल अक्षों के एक समुच्चय के साथ अंतरिक्ष का एक स्केलिंग (ज्यामिति) करता है।

एक वर्ग आव्यूह का ध्रुवीय अपघटन सदैव उपस्थित है। यदि व्युत्क्रमणीय आव्यूह है, अपघटन अद्वितीय है, और कारक सकारात्मक-निश्चित आव्यूह होगा। उस स्थिति में, को अद्वितीय रूप से लिखा जा सकता है, जहाँ एकात्मक है और आव्यूह का अद्वितीय स्व-आसन्न लघुगणक है।[2] यह अपघटन (आव्यूह) लाई समूह के मौलिक समूह की गणना करने में उपयोगी है।[3]

ध्रुवीय अपघटन को के रूप में भी परिभाषित किया जा सकता है, जहाँ एक सममित धनात्मक-निश्चित आव्यूह है, जो के समान आइजनवैल्यू के साथ है, लेकिन अलग-अलग आइजनवेक्टर हैं।

एक आव्यूह के ध्रुवीय अपघटन को जटिल संख्या के ध्रुवीय रूप के आव्यूह एनालॉग के रूप में के रूप में देखा जा सकता है, जहाँ इसका पूर्ण मान है (एक गैर-ऋणात्मक वास्तविक संख्या), और इकाई मानदंड (वृत्त समूह का एक तत्व) के साथ एक सम्मिश्र संख्या है।

परिभाषा को में एक अर्ध-ऑर्थोगोनल आव्यूह होना और सकारात्मक-अर्ध-परिमित हर्मिटियन आव्यूह होना। अपघटन सदैव उपस्थित रहता है और सदैव अद्वितीय होता है। आव्यूह अद्वितीय है यदि और केवल यदि के पास पूर्ण रैंक है।[4]



सहज व्याख्या

एक वास्तविक वर्ग आव्यूह की व्याख्या के रैखिक परिवर्तन के रूप में की जा सकती है जो स्तंभ सदिश को तक ले जाता है। फिर, ध्रुवीय अपघटन में , कारक एक वास्तविक ऑर्थोनॉर्मल आव्यूह है। ध्रुवीय अपघटन को द्वारा परिभाषित रैखिक परिवर्तन को व्यक्त करने के रूप में देखा जा सकता है, जो अंतरिक्ष के स्केलिंग (ज्यामिति) के प्रत्येक आइजनवेक्टर के साथ पैमाना कारक के स्केलिंग ( की क्रिया) में व्यक्त करता है, जिसके बाद एकल घुमाव या प्रतिबिंब ( की क्रिया) होता है।

वैकल्पिक रूप से, अपघटन द्वारा परिभाषित परिवर्तन को व्यक्त करता है रोटेशन के रूप में () एक स्केलिंग के बाद () कुछ ऑर्थोगोनल दिशाओं के साथ। पैमाना कारक समान हैं, लेकिन दिशाएं अलग हैं।

गुण

जटिल संयुग्म का ध्रुवीय अपघटन द्वारा दिया गया है। ध्यान दें कि

A के निर्धारक के संगत ध्रुवीय अपघटन देता है, क्योंकि और । विशेष रूप से, यदि निर्धारक 1 है तो दोनों और निर्धारक 1 है।

सकारात्मक-अर्ध-परिमित आव्यूह P सदैव अद्वितीय होता है, तथापि A एकल आव्यूह हो, और इसे इस रूप में निरूपित किया जाता है

जहाँ के संयुग्मी स्थानान्तरण को दर्शाता है। P की विशिष्टता यह सुनिश्चित करती है कि यह अभिव्यक्ति अच्छी तरह से परिभाषित है। विशिष्टता इस तथ्य से सुनिश्चित है कि एक सकारात्मक-अर्ध-सीमित हर्मिटियन आव्यूह है और इसलिए, एक आव्यूह का एक अद्वितीय सकारात्मक-अर्ध-अर्ध-सीमित हर्मिटियन वर्गमूल है।[5] यदि A व्युत्क्रमणीय है, तो P धनात्मक-निश्चित है, इस प्रकार भी व्युत्क्रमणीय है और आव्यूह U विशिष्ट रूप से निर्धारित होता है


एसवीडी से संबंध

के एकल मान अपघटन (एसवीडी) के संदर्भ में, , किसी के पास

जहाँ , , और एकात्मक आव्यूह हैं (यदि क्षेत्र वास्तविक है तो ऑर्थोगोनल आव्यूह कहा जाता है)। इससे इस बात की पुष्टि होती है कि सकारात्मक-निश्चित है और एकात्मक है। इस प्रकार, एसवीडी का अस्तित्व ध्रुवीय अपघटन के अस्तित्व के बराबर है।


को इस रूप में भी विघटित किया जा सकता है:

यहाँ पहले जैसा ही है और द्वारा दिया गया है
इसे बाएं ध्रुवीय अपघटन के रूप में जाना जाता है, जबकि पिछले अपघटन को सही ध्रुवीय अपघटन के रूप में जाना जाता है। वाम ध्रुवीय अपघटन को विपरीत ध्रुवीय अपघटन के रूप में भी जाना जाता है।

वर्ग उलटा वास्तविक आव्यूह का ध्रुवीय अपघटन स्वरूप का है

जहाँ एक सकारात्मक-अर्ध-परिमित आव्यूह है। सकारात्मक-निश्चित हर्मिटियन आव्यूह और एक ऑर्थोगोनल आव्यूह है।

सामान्य आव्यूह से संबंध

ध्रुवीय अपघटन के साथ आव्यूह सामान्य है यदि और केवल और कम्यूटिंग आव्यूह है: , या समकक्ष रूप से, वे एक साथ विकर्ण हैं।

निर्माण और अस्तित्व के प्रमाण

ध्रुवीय अपघटन के निर्माण के पीछे मुख्य विचार वही है जो एकल-मान अपघटन की गणना के लिए उपयोग किया जाता है।

सामान्य आव्यूह के लिए व्युत्पत्ति

यदि सामान्य आव्यूह है, तो यह एक विकर्ण आव्यूह के समान रूप से समतुल्य है: कुछ एकात्मक आव्यूह के लिए और कुछ विकर्ण आव्यूह के लिए । यह इसके ध्रुवीय अपघटन की व्युत्पत्ति को विशेष रूप से सीधा बनाता है, जैसा कि हम तब लिख सकते हैं

जहाँ के तत्वों के चरणों से युक्त एक विकर्ण आव्यूह है, वह है, जब , और जब

ध्रुवीय अपघटन इस प्रकार है, के आइजनबेसिस साथ में और विकर्ण के साथ और क्रमशः के चरणों और पूर्ण मानों के बराबर आइजन मान ​​​​होना।

व्युत्क्रमणीय आव्यूह के लिए

एकल-मान अपघटन से, यह दिखाया जा सकता है कि एक आव्यूह उलटा है यदि और केवल यदि (समान रूप से, ) है। इसके अतिरिक्त, यह सच है यदि और केवल यदि के सभी आइजन मान शून्य नहीं हैं।[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*AB* B पर परिबद्ध ऑपरेटर हैं, तो एक संकुचन C उपस्थित है जैसे कि A = CB। इसके अतिरिक्त, C अद्वितीय है यदि Ker(B*) ⊂ Ker(C)।

ऑपरेटर C को C(Bh) द्वारा परिभाषित किया जा सकता है := H में सभी h के लिए Ah, Ran(B) के बंद होने तक निरंतरता द्वारा विस्तारित, और सभी H के ऑर्थोगोनल पूरक पर शून्य द्वारा। लेम्मा तब A*AB*B का तात्पर्य Ker(B) ⊂ Ker(A) से है।

विशेष रूप से। यदि A*A = B*B, तो C आंशिक आइसोमेट्री है, जो अद्वितीय है यदिKer(B*) ⊂ Ker(C)।

सामान्य तौर पर, किसी भी बाध्य ऑपरेटर A के लिए,

जहाँ (A*A)1/2 सामान्य क्रियात्मक कलन द्वारा दिया गया A*A का अद्वितीय धनात्मक वर्गमूल है। तो लेम्मा द्वारा, हमारे पास है
कुछ आंशिक आइसोमेट्री U के लिए, जो अद्वितीय है यदि Ker(A*) ⊂ Ker(U)P को (A*A)1/2 मान लें और हमें ध्रुवीय अपघटन A = UP प्राप्त होता है। ध्यान दें कि एक समरूप तर्क का उपयोग A = P'U' दिखाने के लिए किया जा सकता है, जहाँ P' धनात्मक है और U' एक आंशिक सममिति है।

जब H परिमित-आयामी है, तो U को एकात्मक ऑपरेटर तक बढ़ाया जा सकता है; यह सामान्य रूप से सत्य नहीं है (उपरोक्त उदाहरण देखें)। वैकल्पिक रूप से, ध्रुवीय अपघटन को एकवचन मूल्य अपघटन के ऑपरेटर संस्करण का उपयोग करके दिखाया जा सकता है।

निरंतर कार्यात्मक कैलकुस की संपत्ति से, |A| A द्वारा उत्पन्न C*-बीजगणित में है। आंशिक आइसोमेट्री के लिए एक समान लेकिन अशक्त व्याख्यान प्रयुक्त होता है: U A द्वारा उत्पन्न वॉन न्यूमैन बीजगणित में है। यदि A व्युत्क्रमणीय है, तो ध्रुवीय भाग U C*-बीजगणित में होगा भी।

असीमित ऑपरेटर

यदि A जटिल हिल्बर्ट स्पेस स्थान के बीच एक बंद, घनी परिभाषित असीमित ऑपरेटर है तो इसमें अभी भी एक (अद्वितीय) 'ध्रुवीय अपघटन' है

जहां |A| A के समान डोमेन के साथ एक (संभवतः अबाधित) गैर-नकारात्मक स्वयं संलग्न ऑपरेटर है, और U एक आंशिक आइसोमेट्री है जो Ran(|A|) श्रेणी के ऑर्थोगोनल पूरक पर लुप्त हो रहा है।

प्रमाण उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाना जाता है। यदि Dom(A*A) = Dom(B*B) और A*Ah = B*Bh सबके लिए ∈ Dom(A*A), तो एक आंशिक आइसोमेट्री U उपस्थित है जैसे कि A = UBU अद्वितीय है यदि 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 + का ध्रुवीय अपघटन है, जहाँ ε2 = 0 है; उदाहरण, ε निल्पोटेंट है। इस ध्रुवीय अपघटन में, इकाई वृत्त को रेखा x = 1 और ध्रुवीय कोण को ढलान y/x से परिवर्तित कर दिया गया है, और त्रिज्या x बाएं आधे समतल में ऋणात्मक है।
  • यदि x2y2, तब इकाई अतिपरवलय x2y2 = 1 और इसके संयुग्मी x2y2 = −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 or
    using 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.

यह भी देखें

संदर्भ

  1. Hall 2015 Section 2.5
  2. Hall 2015 Theorem 2.17
  3. Hall 2015 Section 13.3
  4. 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.
  5. Hall 2015 Lemma 2.18
  6. Note how this implies, by the positivity of , that the eigenvalues are all real and strictly positive.
  7. सोब्जिक, जी. (1995) "हाइपरबॉलिक नंबर प्लेन", कॉलेज मैथेमेटिक्स जर्नल 26:268-80
  8. 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.
  9. 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.