ध्रुवीय अपघटन

From Vigyanwiki
Revision as of 16:07, 18 April 2023 by alpha>Indicwiki (Created page with "{{Short description|Representation of invertible matrices as unitaries multiplying a Hermitian operator}} गणित में, एक वर्ग वास्तवि...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

एक वर्ग मैट्रिक्स का ध्रुवीय अपघटन हमेशा मौजूद है। अगर व्युत्क्रमणीय मैट्रिक्स है, अपघटन अद्वितीय है, और कारक है सकारात्मक-निश्चित मैट्रिक्स होगा|सकारात्मक-निश्चित। उस मामले में, रूप में विशिष्ट रूप से लिखा जा सकता है , कहाँ एकात्मक है और मैट्रिक्स के एक मैट्रिक्स का अद्वितीय स्व-संलग्न लघुगणक है .[2] यह अपघटन (मैट्रिक्स) झूठ समूहों के मौलिक समूह की गणना करने में उपयोगी है।[3] ध्रुवीय अपघटन को इस रूप में भी परिभाषित किया जा सकता है कहाँ के रूप में एक ही eigenvalues ​​​​के साथ एक सममित सकारात्मक-निश्चित मैट्रिक्स है लेकिन विभिन्न eigenvectors।

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

मानहानि आयताकार मेट्रिसेस तक बढ़ाया जा सकता है आवश्यकता से अर्ध-ऑर्थोगोनल मैट्रिक्स होना | सेमी-यूनिटरी मैट्रिक्स और सकारात्मक-अर्ध-परिमित हर्मिटियन मैट्रिक्स होना। अपघटन हमेशा मौजूद है और हमेशा अनूठा होता है। गणित का सवाल अद्वितीय है अगर और केवल अगर पूरी रैंक है। [4]


सहज व्याख्या

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

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

गुण

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

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

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

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


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

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

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


कोई विघटित भी हो सकता है प्रपत्र में

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


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

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

सामान्य मैट्रिसेस से संबंध

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

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

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

सामान्य मैट्रिक्स के लिए व्युत्पत्ति

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

कहाँ के तत्वों के चरणों से युक्त एक विकर्ण मैट्रिक्स है , वह है, कब , और कब .

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

व्युत्क्रमणीय मैट्रिक्स के लिए

एकवचन-मूल्य अपघटन से, यह दिखाया जा सकता है कि एक मैट्रिक्स उलटा है अगर और केवल अगर (समान रूप से, ) है। इसके अलावा, यह सच है अगर और केवल अगर के eigenvalues सभी शून्य नहीं हैं।[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*AB*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) से है।

विशेष रूप से। यदि एक*ए = बी*बी, तो सी आंशिक आइसोमेट्री है, जो अद्वितीय है यदि केर (बी*) ⊂ केर (सी)। सामान्य तौर पर, किसी भी बाध्य ऑपरेटर ए के लिए,

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

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

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

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

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

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

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

यदि एक असीमित ऑपरेटर ए वॉन न्यूमैन बीजगणित 'एम' के लिए संबद्ध ऑपरेटर है, और ए = यूपी इसका ध्रुवीय अपघटन है, तो यू 'एम' में है और इसी तरह पी, 1 का वर्णक्रमीय प्रक्षेपण हैB(पी), किसी भी बोरेल सेट बी के लिए [0, ∞).

चतुष्कोणीय ध्रुवीय अपघटन

चतुष्कोणों H का ध्रुवीय अपघटन इकाई 2-आयामी क्षेत्र पर निर्भर करता है चतुष्कोण का#-1 का वर्गमूल। इस क्षेत्र पर किसी भी आर को देखते हुए, और एक कोण −π < a ≤ π, छंद एच के यूनिट 3-क्षेत्र पर है। = 0 और = π के लिए, छंद 1 या -1 है, चाहे जो भी आर चुना गया हो। मानदंड (गणित) t एक चतुष्कोण q का मूल से q तक यूक्लिडियन दूरी है। जब एक चतुष्कोण केवल एक वास्तविक संख्या नहीं है, तो एक अद्वितीय ध्रुवीय अपघटन होता है


वैकल्पिक प्लानर अपघटन

कार्तीय तल में, वैकल्पिक तलीय वलय (गणित) अपघटन निम्नानुसार उत्पन्न होते हैं:

  • If x ≠ 0, z = x(1 + ε(y/x)) is a polar decomposition of a dual number z = x + , where ε2 = 0; i.e., ε is nilpotent. In this polar decomposition, the unit circle has been replaced by the line x = 1, the polar angle by the slope y/x, and the radius x is negative in the left half-plane.
  • If x2y2, then the unit hyperbola x2y2 = 1 and its conjugate x2y2 = −1 can be used to form a polar decomposition based on the branch of the unit hyperbola through (1, 0). This branch is parametrized by the hyperbolic angle a and is written

    where j2 = +1 and the arithmetic[7] of split-complex numbers is used. The branch through (−1, 0) is traced by −eaj. Since the operation of multiplying by j reflects a point across the line y = x, the second hyperbola has branches traced by jeaj or −jeaj. Therefore a point in one of the quadrants has a polar decomposition in one of the forms:

    The set { 1, −1, j, −j } has products that make it isomorphic to the Klein four-group. Evidently polar decomposition in this case involves an element from that group.

मैट्रिक्स ध्रुवीय अपघटन का संख्यात्मक निर्धारण

ध्रुवीय अपघटन 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. Sobczyk, G.(1995) "Hyperbolic Number Plane", College Mathematics Journal 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.