ध्रुवीय अपघटन: Difference between revisions
(Created page with "{{Short description|Representation of invertible matrices as unitaries multiplying a Hermitian operator}} गणित में, एक वर्ग वास्तवि...") |
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</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</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>P</math> है लेकिन विभिन्न eigenvectors। | ||
एक आव्यूह के ध्रुवीय अपघटन को जटिल संख्या के आव्यूह एनालॉग के रूप में देखा जा सकता है#एक जटिल संख्या के ध्रुवीय रूप <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>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>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>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>) कुछ ऑर्थोगोनल दिशाओं के साथ। पैमाना कारक समान हैं, लेकिन दिशाएं अलग हैं। | ||
== गुण == | == गुण == | ||
जटिल संयुग्म का ध्रुवीय अपघटन <math>A</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 है। | ||
सकारात्मक-अर्ध-परिमित | सकारात्मक-अर्ध-परिमित आव्यूह 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} | ||
P &= V\Sigma V^* \\ | P &= V\Sigma V^* \\ | ||
U &= WV^* | U &= WV^* | ||
\end{align}</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 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>R = |A|^{-1}A</math> एक ऑर्थोगोनल आव्यूह है। | |||
=== सामान्य | === सामान्य आव्यूह से संबंध === | ||
गणित का | गणित का प्रश्न <math>A</math> ध्रुवीय अपघटन के साथ <math>A=UP</math> [[सामान्य मैट्रिक्स|सामान्य आव्यूह]] है यदि और केवल <math>U</math> और <math>P</math> [[कम्यूटिंग मेट्रिसेस]]: <math>UP = PU</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>\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</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 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> | ||
और | और यह देखते हुए कि <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>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>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 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> जिसका सीधा तात्पर्य | = \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"> | ||
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 78: | ||
</math> कुछ आयताकार है <math> | </math> कुछ आयताकार है <math> | ||
n\times m | n\times m | ||
</math> | </math> आव्यूह, इसके एसवीडी के रूप में लिखा जा सकता है <math> | ||
A=WD^{1/2}V^* | A=WD^{1/2}V^* | ||
</math> | </math> जहाँ हैं <math> | ||
W | W | ||
</math> और <math> | </math> और <math> | ||
Line 86: | Line 88: | ||
</math> और <math> | </math> और <math> | ||
m\times r | m\times r | ||
</math>, क्रमशः, | </math>, क्रमशः, जहाँ <math> | ||
r\equiv\operatorname{rank}(A) | r\equiv\operatorname{rank}(A) | ||
</math>, और <math> | </math>, और <math> | ||
D | D | ||
</math> आयामों के साथ फिर से एक विकर्ण सकारात्मक अर्ध-निश्चित वर्ग | </math> आयामों के साथ फिर से एक विकर्ण सकारात्मक अर्ध-निश्चित वर्ग आव्यूह है <math> | ||
r\times r | r\times r | ||
</math>. अब हम लिखने के लिए उपरोक्त समीकरण में उपयोग किए गए समान तर्क को लागू कर सकते हैं <math> | </math>. अब हम लिखने के लिए उपरोक्त समीकरण में उपयोग किए गए समान तर्क को लागू कर सकते हैं <math> | ||
Line 113: | Line 115: | ||
इस अधिक सामान्य | इस अधिक सामान्य स्थिति के स्पष्ट उदाहरण के रूप में, निम्नलिखित आव्यूह के एसवीडी पर विचार करें:<math display="block"> | ||
A\equiv \begin{pmatrix}1&1\\2&-2\\0&0\end{pmatrix} = | A\equiv \begin{pmatrix}1&1\\2&-2\\0&0\end{pmatrix} = | ||
\underbrace{\begin{pmatrix}1&0\\0&1\\0&0\end{pmatrix}}_{\equiv W} | \underbrace{\begin{pmatrix}1&0\\0&1\\0&0\end{pmatrix}}_{\equiv W} | ||
Line 121: | Line 123: | ||
</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 130: | Line 132: | ||
</math>जो आंशिक आइसोमेट्री है (लेकिन आइसोमेट्री नहीं)। | </math>जो आंशिक आइसोमेट्री है (लेकिन आइसोमेट्री नहीं)। | ||
== [[ हिल्बर्ट अंतरिक्ष ]] | === [[ हिल्बर्ट अंतरिक्ष |हिल्बर्ट अंतरिक्ष]] पर बंधे हुए ऑपरेटर === | ||
जटिल हिल्बर्ट रिक्त स्थान के बीच किसी भी बंधे हुए रैखिक ऑपरेटर ''ए'' का ध्रुवीय अपघटन एक आंशिक आइसोमेट्री और एक गैर-नकारात्मक ऑपरेटर के उत्पाद के रूप में एक विहित गुणनखंड है। | जटिल हिल्बर्ट रिक्त स्थान के बीच किसी भी बंधे हुए रैखिक ऑपरेटर ''ए'' का ध्रुवीय अपघटन एक आंशिक आइसोमेट्री और एक गैर-नकारात्मक ऑपरेटर के उत्पाद के रूप में एक विहित गुणनखंड है। | ||
मेट्रिसेस के लिए ध्रुवीय अपघटन निम्नानुसार सामान्य करता है: यदि ''ए'' एक परिबद्ध रैखिक ऑपरेटर है तो उत्पाद ''ए'' = ''यूपी'' जहां ''यू'' के रूप में ''ए'' का एक अनूठा गुणनखंड है। '' एक आंशिक आइसोमेट्री है, ''पी'' एक गैर-नकारात्मक स्व-आसन्न संकारक है और ''यू'' का प्रारंभिक स्थान ''पी'' की सीमा का बंद होना है। | मेट्रिसेस के लिए ध्रुवीय अपघटन निम्नानुसार सामान्य करता है: यदि ''ए'' एक परिबद्ध रैखिक ऑपरेटर है तो उत्पाद ''ए'' = ''यूपी'' जहां ''यू'' के रूप में ''ए'' का एक अनूठा गुणनखंड है। '' एक आंशिक आइसोमेट्री है, ''पी'' एक गैर-नकारात्मक स्व-आसन्न संकारक है और ''यू'' का प्रारंभिक स्थान ''पी'' की सीमा का बंद होना है। | ||
ऑपरेटर 'यू' को निम्नलिखित मुद्दों के कारण एकात्मक के बजाय आंशिक आइसोमेट्री के लिए कमजोर होना चाहिए। | ऑपरेटर 'यू' को निम्नलिखित मुद्दों के कारण एकात्मक के बजाय आंशिक आइसोमेट्री के लिए कमजोर होना चाहिए। यदि ''ए'' [[शिफ्ट ऑपरेटर]] है|'एल' पर एकतरफा शिफ्ट<sup>2</sup>(एन), फिर |''ए''| = {''ए{{sup|*}}A''}<sup>1/2</sup> = I. तो यदि A = U |A|, U को A होना चाहिए, जो एकात्मक नहीं है। | ||
ध्रुवीय अपघटन का अस्तित्व डगलस लेम्मा का परिणाम है: | ध्रुवीय अपघटन का अस्तित्व डगलस लेम्मा का परिणाम है: | ||
Line 150: | Line 152: | ||
कुछ आंशिक आइसोमेट्री यू के लिए, जो अद्वितीय है यदि केर (ए{{sup|*}}) ⊂ केर (यू)। P को लीजिए (A{{sup|*}}ए)<sup>1/2</sup> और एक ध्रुवीय अपघटन A = UP प्राप्त करता है। ध्यान दें कि A = P'U दिखाने के लिए एक समरूप तर्क का उपयोग किया जा सकता है{{'}}, जहां P' धनात्मक है और U{{'}} आंशिक आइसोमेट्री। | कुछ आंशिक आइसोमेट्री यू के लिए, जो अद्वितीय है यदि केर (ए{{sup|*}}) ⊂ केर (यू)। P को लीजिए (A{{sup|*}}ए)<sup>1/2</sup> और एक ध्रुवीय अपघटन A = UP प्राप्त करता है। ध्यान दें कि A = P'U दिखाने के लिए एक समरूप तर्क का उपयोग किया जा सकता है{{'}}, जहां P' धनात्मक है और U{{'}} आंशिक आइसोमेट्री। | ||
जब एच परिमित-आयामी है, तो यू को एकात्मक ऑपरेटर तक बढ़ाया जा सकता है; यह सामान्य रूप से सत्य नहीं है (उपरोक्त उदाहरण देखें)। वैकल्पिक रूप से, ध्रुवीय अपघटन हिल्बर्ट रिक्त स्थान पर एकवचन | जब एच परिमित-आयामी है, तो यू को एकात्मक ऑपरेटर तक बढ़ाया जा सकता है; यह सामान्य रूप से सत्य नहीं है (उपरोक्त उदाहरण देखें)। वैकल्पिक रूप से, ध्रुवीय अपघटन हिल्बर्ट रिक्त स्थान पर एकवचन मान अपघटन # बाउंडेड ऑपरेटरों के ऑपरेटर संस्करण का उपयोग करके दिखाया जा सकता है। | ||
निरंतर कार्यात्मक कैलकुस की संपत्ति से, |ए| ए द्वारा उत्पन्न सी*-बीजगणित में है। आंशिक आइसोमेट्री के लिए एक समान लेकिन कमजोर बयान लागू होता है: यू ए द्वारा उत्पन्न [[वॉन न्यूमैन बीजगणित]] में है। यदि ए व्युत्क्रमणीय है, तो ध्रुवीय भाग यू सी*-बीजगणित में होगा भी। | निरंतर कार्यात्मक कैलकुस की संपत्ति से, |ए| ए द्वारा उत्पन्न सी*-बीजगणित में है। आंशिक आइसोमेट्री के लिए एक समान लेकिन कमजोर बयान लागू होता है: यू ए द्वारा उत्पन्न [[वॉन न्यूमैन बीजगणित]] में है। यदि ए व्युत्क्रमणीय है, तो ध्रुवीय भाग यू सी*-बीजगणित में होगा भी। | ||
Line 159: | Line 161: | ||
जहां |ए| ए के समान डोमेन के साथ एक (संभवतः अबाधित) गैर-नकारात्मक स्वयं संलग्न ऑपरेटर है, और यू एक आंशिक आइसोमेट्री है जो रैन (| ए |) श्रेणी के ऑर्थोगोनल पूरक पर लुप्त हो रहा है। | जहां |ए| ए के समान डोमेन के साथ एक (संभवतः अबाधित) गैर-नकारात्मक स्वयं संलग्न ऑपरेटर है, और यू एक आंशिक आइसोमेट्री है जो रैन (| ए |) श्रेणी के ऑर्थोगोनल पूरक पर लुप्त हो रहा है। | ||
सबूत उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाता है। | <nowiki>सबूत उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाता है। यदि डोम (ए{{sup|*}ए) = डोम (बी</nowiki>{{sup|*}} बी) और ए{{sup|*}} आह = बी{{sup|*}}बीएच सबके लिए एच ∈ डोम (ए{{sup|*}}ए), तो एक आंशिक आइसोमेट्री यू उपस्थित है जैसे कि ए = यूबी। यू अद्वितीय है यदि रैन (बी)<sup>⊥</sup> ⊂ केर (यू)। ऑपरेटर ए बंद होने और घनी परिभाषित होने से यह सुनिश्चित होता है कि ऑपरेटर ए{{sup|*}}ए स्व-संबद्ध है (घने डोमेन के साथ) और इसलिए किसी को परिभाषित करने की अनुमति देता है (ए{{sup|*}}ए)<sup>1/2</sup>. लेम्मा लगाने से ध्रुवीय अपघटन होता है। | ||
यदि एक असीमित ऑपरेटर ए वॉन न्यूमैन बीजगणित 'एम' के लिए [[संबद्ध ऑपरेटर]] है, और ए = यूपी इसका ध्रुवीय अपघटन है, तो यू 'एम' में है और इसी तरह पी, 1 का वर्णक्रमीय प्रक्षेपण है<sub>''B''</sub>(पी), किसी भी बोरेल सेट बी के लिए {{closed-open|0, ∞}}. | यदि एक असीमित ऑपरेटर ए वॉन न्यूमैन बीजगणित 'एम' के लिए [[संबद्ध ऑपरेटर]] है, और ए = यूपी इसका ध्रुवीय अपघटन है, तो यू 'एम' में है और इसी तरह पी, 1 का वर्णक्रमीय प्रक्षेपण है<sub>''B''</sub>(पी), किसी भी बोरेल सेट बी के लिए {{closed-open|0, ∞}}. | ||
Line 170: | Line 172: | ||
कार्तीय तल में, वैकल्पिक तलीय वलय (गणित) अपघटन निम्नानुसार उत्पन्न होते हैं: | कार्तीय तल में, वैकल्पिक तलीय वलय (गणित) अपघटन निम्नानुसार उत्पन्न होते हैं: | ||
{{bulleted list | {{bulleted list | ||
| | | यदि {{math|''x'' ≠ 0}}, {{math|1=''z'' = ''x''(1 + ε(''y''/''x''))}} [[दोहरी संख्या]] {{math|1=''z'' = ''x'' + ''yε''}} का ध्रुवीय अपघटन है, जहाँ {{math|1=''ε''<sup>2</sup> = 0}} है; उदाहरण, ''ε'' [[निल्पोटेंट]] है। इस ध्रुवीय अपघटन में, इकाई वृत्त को रेखा {{math|1=''x'' = 1}} और ध्रुवीय कोण को [[ढलान]] ''y''/''x'' से परिवर्तित कर दिया गया है, और त्रिज्या ''x'' बाएं आधे समतल में ऋणात्मक है। | ||
| | | यदि {{math|''x''<sup>2</sup> ≠ ''y''<sup>2</sup>}}, तब [[इकाई अतिपरवलय]] {{math|1=''x''<sup>2</sup> − ''y''<sup>2</sup> = 1}} और इसके संयुग्मी {{math|1=''x''<sup>2</sup> − ''y''<sup>2</sup> = −1}} {{math|(1, 0)}} के माध्यम से इकाई अतिपरवलय की शाखा के आधार पर एक ध्रुवीय अपघटन बनाने के लिए उपयोग किया जा सकता है। यह शाखा [[अतिपरवलय कोण]] ''a'' द्वारा पैरामीट्रिज्ड है और <math display="block">\cosh(a) + j\ \sinh(a) = \exp(aj) = e^{aj}</math> लिखी गई है। | ||
<math display="block">\cosh(a) + j\ \sinh(a) = \exp(aj) = e^{aj}</math> | जहाँ {{math|1=''j''<sup>2</sup> = +1}} औरअंकगणित <ref> सोब्जिक, जी. (1995) "हाइपरबॉलिक नंबर प्लेन", ''[[कॉलेज मैथेमेटिक्स जर्नल]] 26:268-80</ref> [[स्प्लिट-कॉम्प्लेक्स नंबर]] का उपयोग किया जाता है। {{math|(−1, 0)}} की शाखा को −''e''<sup>''aj''</sup> द्वारा ट्रेस किया गया है। चूँकि j से गुणा करने की संक्रिया {{math|1=''y'' = ''x''}} रेखा के पार एक बिंदु को दर्शाती है, दूसरे अतिपरवलय में ''je''<sup>'' aj''</sup> या −''je''<sup>''aj''</sup> द्वारा अनुरेखित शाखाएँ होती हैं। इसलिए किसी एक चतुर्थांश में एक बिंदु का एक रूप में ध्रुवीय अपघटन होता है: | ||
<math display="block">r e^{aj}, - re^{aj}, rje^{aj}, -rje^{aj}, \quad r > 0</math> | <math display="block">r e^{aj}, - re^{aj}, rje^{aj}, -rje^{aj}, \quad r > 0</math> | ||
समुच्चय {{math|{1, −1, j, −j }<nowiki/>}} में ऐसे उत्पाद हैं जो इसे [[क्लेन चार-समूह]] के लिए समरूपी बनाते हैं। स्पष्ट रूप से इस स्थिति में ध्रुवीय अपघटन में उस समूह का एक तत्व सम्मिलित है।}} | |||
}} | |||
== | == आव्यूह ध्रुवीय अपघटन का संख्यात्मक निर्धारण == | ||
ध्रुवीय अपघटन A = UP के सन्निकटन की गणना करने के लिए, | ध्रुवीय अपघटन 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> | ||
व्युत्क्रम और हर्मिट संयुग्मन के संयोजन को चुना जाता है | व्युत्क्रम और हर्मिट संयुग्मन के संयोजन को चुना जाता है जिससे एकवचन मान अपघटन में, एकात्मक कारक समान रहें और पुनरावृत्ति एकवचन मानों पर हीरोन की विधि को कम कर दे। | ||
प्रक्रिया को गति देने के लिए इस मूल पुनरावृत्ति को परिष्कृत किया जा सकता है: | प्रक्रिया को गति देने के लिए इस मूल पुनरावृत्ति को परिष्कृत किया जा सकता है: | ||
Line 201: | Line 201: | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[कार्टन अपघटन]] | * [[कार्टन अपघटन]] | ||
* | *बीजगणितीय ध्रुवीय अपघटन | ||
* | *एक जटिल माप का ध्रुवीय अपघटन | ||
*[[झूठ समूह अपघटन]] | *[[झूठ समूह अपघटन|लाई समूह अपघटन]] | ||
== संदर्भ == | == संदर्भ == |
Revision as of 23:17, 25 April 2023
गणित में, एक वर्ग वास्तविक संख्या या जटिल संख्या आव्यूह (गणित) का ध्रुवीय अपघटन प्रपत्र का एक आव्यूह अपघटन है , जहाँ एक ऑर्थोगोनल आव्यूह है और एक सकारात्मक अर्ध-निश्चित सममित आव्यूह है ( एक एकात्मक आव्यूह है और एक सकारात्मक अर्ध-निश्चित आव्यूह है, जटिल स्थिति में सकारात्मक अर्ध-निश्चित हर्मिटियन आव्यूह), वर्ग और समान आकार दोनों है।[1] सहज रूप से, यदि एक वास्तविक आव्यूह के रैखिक परिवर्तन के रूप में व्याख्या की जाती है -आयामी कार्तीय स्थान , ध्रुवीय अपघटन इसे घूर्णन (ज्यामिति) या प्रतिबिंब (ज्यामिति) में अलग करता है का , और एक सेट के साथ अंतरिक्ष का एक स्केलिंग (ज्यामिति)। ऑर्थोगोनल कुल्हाड़ियों।
एक वर्ग आव्यूह का ध्रुवीय अपघटन सदैव उपस्थित है। यदि व्युत्क्रमणीय आव्यूह है, अपघटन अद्वितीय है, और कारक है सकारात्मक-निश्चित आव्यूह होगा सकारात्मक-निश्चित। उस स्थिति में , विशिष्ट रूप से लिखा जा सकता है, जहाँ एकात्मक है और आव्यूह के एक आव्यूह का अद्वितीय स्व-संलग्न लघुगणक है।[2] यह अपघटन (आव्यूह) लाई समूह के मौलिक समूह की गणना करने में उपयोगी है।[3]
ध्रुवीय अपघटन को इस रूप में भी परिभाषित किया जा सकता है, जहाँ के रूप में एक ही आइजनमान के साथ एक सममित सकारात्मक-निश्चित आव्यूह है लेकिन विभिन्न eigenvectors।
एक आव्यूह के ध्रुवीय अपघटन को जटिल संख्या के आव्यूह एनालॉग के रूप में देखा जा सकता है#एक जटिल संख्या के ध्रुवीय रूप जैसा , जहाँ इसका पूर्ण मान है # जटिल संख्याएं (एक गैर-ऋणात्मक वास्तविक संख्या), और इकाई मानदंड (वृत्त समूह का एक तत्व) के साथ एक सम्मिश्र संख्या है।
मानहानि आयताकार मेट्रिसेस तक बढ़ाया जा सकता है आवश्यकता से अर्ध-ऑर्थोगोनल आव्यूह होना | सेमी-यूनिटरी आव्यूह और सकारात्मक-अर्ध-परिमित हर्मिटियन आव्यूह होना। अपघटन सदैव उपस्थित है और सदैव अनूठा होता है। गणित का प्रश्न अद्वितीय है यदि और केवल यदि पूरी रैंक है। [4]
सहज व्याख्या
एक वास्तविक वर्ग आव्यूह के रैखिक परिवर्तन के रूप में व्याख्या की जा सकती है जो एक कॉलम वेक्टर लेता है को . फिर, ध्रुवीय अपघटन में , कारण एक वास्तविक ऑर्थोनॉर्मल आव्यूह। ध्रुवीय अपघटन तब द्वारा परिभाषित रैखिक परिवर्तन को व्यक्त करने के रूप में देखा जा सकता है अंतरिक्ष के स्केलिंग (ज्यामिति) में प्रत्येक eigenvector के साथ का पैमाने कारक द्वारा (की क्रिया ), जिसके बाद एक ही घुमाव या प्रतिबिंब होता है (की क्रिया ).
वैकल्पिक रूप से, अपघटन द्वारा परिभाषित परिवर्तन को व्यक्त करता है रोटेशन के रूप में () एक स्केलिंग के बाद () कुछ ऑर्थोगोनल दिशाओं के साथ। पैमाना कारक समान हैं, लेकिन दिशाएं अलग हैं।
गुण
जटिल संयुग्म का ध्रुवीय अपघटन द्वारा दिया गया है। ध्यान दें कि
सकारात्मक-अर्ध-परिमित आव्यूह P सदैव अद्वितीय होता है, तथापि A एकवचन आव्यूह हो, और इसे इस रूप में निरूपित किया जाता है
एसवीडी से संबंध
एकवचन मान अपघटन (एसवीडी) के संदर्भ में , , किसी के पास
कोई विघटित भी हो सकता है प्रपत्र में
वर्ग उलटा वास्तविक आव्यूह का ध्रुवीय अपघटन स्वरूप का है
सामान्य आव्यूह से संबंध
गणित का प्रश्न ध्रुवीय अपघटन के साथ सामान्य आव्यूह है यदि और केवल और कम्यूटिंग मेट्रिसेस: , या समकक्ष रूप से, वे विकर्णीय आव्यूह एक साथ विकर्णकरण हैं।
निर्माण और अस्तित्व के प्रमाण
ध्रुवीय अपघटन के निर्माण के पीछे मुख्य विचार वही है जो एकवचन-मान अपघटन की गणना के लिए उपयोग किया जाता है।
सामान्य आव्यूह के लिए व्युत्पत्ति
यदि सामान्य आव्यूह है, तो यह एक विकर्ण आव्यूह के समान रूप से समतुल्य है: कुछ एकात्मक आव्यूह के लिए और कुछ विकर्ण आव्यूह के लिए । यह इसके ध्रुवीय अपघटन की व्युत्पत्ति को विशेष रूप से सीधा बनाता है, जैसा कि हम तब लिख सकते हैं
ध्रुवीय अपघटन इस प्रकार है, साथ और के ईजेनबेसिस में विकर्ण और उन के चरणों और पूर्ण मानों के बराबर आइजन मान होना , क्रमश।
व्युत्क्रमणीय आव्यूह के लिए
एकवचन-मान अपघटन से, यह दिखाया जा सकता है कि एक आव्यूह उलटा है यदि और केवल यदि (समान रूप से, ) है। इसके अतिरिक्त, यह सच है यदि और केवल यदि के सभी आइजन मान शून्य नहीं हैं।[6]
इस स्थिति में, ध्रुवीय अपघटन सीधे लिखकर प्राप्त किया जाता है
इस अभिव्यक्ति में, एकात्मक है क्योंकि है। यह दिखाने के लिए कि एकात्मक है, हम लिखने के लिए एकवचन-मान अपघटन का उपयोग कर सकते हैं, जिससे
फिर भी की इकाई को सीधे दर्शाने की एक और विधि यह ध्यान रखनी है कि, रैंक -1 आव्यूह के संदर्भ में का एसवीडी लिखना, जहाँ , के एकवचन मान हैं, अपने पास
ध्यान दें कि कैसे, उपरोक्त निर्माण से, यह इस प्रकार है कि एक व्युत्क्रमणीय आव्यूह के ध्रुवीय अपघटन में एकात्मक आव्यूह विशिष्ट रूप से परिभाषित है।
सामान्य व्युत्पत्ति
एक चुकता आव्यूह का एसवीडी पढ़ता , साथ एकात्मक आव्यूह, और एक विकर्ण, सकारात्मक अर्ध-निश्चित आव्यूह। बस की एक अतिरिक्त जोड़ी डालने से एस या एस, हम ध्रुवीय अपघटन के दो रूपों को प्राप्त करते हैं :
इस अधिक सामान्य स्थिति के स्पष्ट उदाहरण के रूप में, निम्नलिखित आव्यूह के एसवीडी पर विचार करें:
हिल्बर्ट अंतरिक्ष पर बंधे हुए ऑपरेटर
जटिल हिल्बर्ट रिक्त स्थान के बीच किसी भी बंधे हुए रैखिक ऑपरेटर ए का ध्रुवीय अपघटन एक आंशिक आइसोमेट्री और एक गैर-नकारात्मक ऑपरेटर के उत्पाद के रूप में एक विहित गुणनखंड है।
मेट्रिसेस के लिए ध्रुवीय अपघटन निम्नानुसार सामान्य करता है: यदि ए एक परिबद्ध रैखिक ऑपरेटर है तो उत्पाद ए = यूपी जहां यू के रूप में ए का एक अनूठा गुणनखंड है। एक आंशिक आइसोमेट्री है, पी एक गैर-नकारात्मक स्व-आसन्न संकारक है और यू का प्रारंभिक स्थान पी की सीमा का बंद होना है।
ऑपरेटर 'यू' को निम्नलिखित मुद्दों के कारण एकात्मक के बजाय आंशिक आइसोमेट्री के लिए कमजोर होना चाहिए। यदि ए शिफ्ट ऑपरेटर है|'एल' पर एकतरफा शिफ्ट2(एन), फिर |ए| = {ए*A}1/2 = I. तो यदि A = U |A|, U को A होना चाहिए, जो एकात्मक नहीं है।
ध्रुवीय अपघटन का अस्तित्व डगलस लेम्मा का परिणाम है:
Lemma — If A, B are bounded operators on a Hilbert space H, and A*A ≤ B*B, then there exists a contraction C such that A = CB. Furthermore, C is unique if Ker(B*) ⊂ Ker(C).
संकारक C को C(Bh) द्वारा परिभाषित किया जा सकता है := H में सभी h के लिए आह, Ran(B) के बंद होने तक निरंतरता द्वारा विस्तारित, और सभी H के ऑर्थोगोनल पूरक पर शून्य द्वारा। लेम्मा तब A के बाद से अनुसरण करता है।*ए ≤ बी*B का तात्पर्य Ker(B) ⊂ Ker(A) से है।
विशेष रूप से। यदि एक*ए = बी*बी, तो सी आंशिक आइसोमेट्री है, जो अद्वितीय है यदि केर (बी*) ⊂ केर (सी)। सामान्य तौर पर, किसी भी बाध्य ऑपरेटर ए के लिए,
जब एच परिमित-आयामी है, तो यू को एकात्मक ऑपरेटर तक बढ़ाया जा सकता है; यह सामान्य रूप से सत्य नहीं है (उपरोक्त उदाहरण देखें)। वैकल्पिक रूप से, ध्रुवीय अपघटन हिल्बर्ट रिक्त स्थान पर एकवचन मान अपघटन # बाउंडेड ऑपरेटरों के ऑपरेटर संस्करण का उपयोग करके दिखाया जा सकता है।
निरंतर कार्यात्मक कैलकुस की संपत्ति से, |ए| ए द्वारा उत्पन्न सी*-बीजगणित में है। आंशिक आइसोमेट्री के लिए एक समान लेकिन कमजोर बयान लागू होता है: यू ए द्वारा उत्पन्न वॉन न्यूमैन बीजगणित में है। यदि ए व्युत्क्रमणीय है, तो ध्रुवीय भाग यू सी*-बीजगणित में होगा भी।
असीमित ऑपरेटर
यदि ए जटिल हिल्बर्ट रिक्त स्थान के बीच एक बंद, घनी परिभाषित असीमित ऑपरेटर है तो इसमें अभी भी एक (अद्वितीय) 'ध्रुवीय अपघटन' है
सबूत उपरोक्त के समान लेम्मा का उपयोग करता है, जो सामान्य रूप से असीमित ऑपरेटरों के लिए जाता है। यदि डोम (ए{{sup|*}ए) = डोम (बी* बी) और ए* आह = बी*बीएच सबके लिए एच ∈ डोम (ए*ए), तो एक आंशिक आइसोमेट्री यू उपस्थित है जैसे कि ए = यूबी। यू अद्वितीय है यदि रैन (बी)⊥ ⊂ केर (यू)। ऑपरेटर ए बंद होने और घनी परिभाषित होने से यह सुनिश्चित होता है कि ऑपरेटर ए*ए स्व-संबद्ध है (घने डोमेन के साथ) और इसलिए किसी को परिभाषित करने की अनुमति देता है (ए*ए)1/2. लेम्मा लगाने से ध्रुवीय अपघटन होता है।
यदि एक असीमित ऑपरेटर ए वॉन न्यूमैन बीजगणित 'एम' के लिए संबद्ध ऑपरेटर है, और ए = यूपी इसका ध्रुवीय अपघटन है, तो यू 'एम' में है और इसी तरह पी, 1 का वर्णक्रमीय प्रक्षेपण हैB(पी), किसी भी बोरेल सेट बी के लिए [0, ∞).
चतुष्कोणीय ध्रुवीय अपघटन
चतुष्कोणों H का ध्रुवीय अपघटन इकाई 2-आयामी क्षेत्र पर निर्भर करता है चतुष्कोण का#-1 का वर्गमूल। इस क्षेत्र पर किसी भी आर को देखते हुए, और एक कोण −π < a ≤ π, छंद एच के यूनिट 3-क्षेत्र पर है। ए = 0 और ए = π के लिए, छंद 1 या -1 है, चाहे जो भी आर चुना गया हो। मानदंड (गणित) 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