क्यूआर अपघटन: Difference between revisions
No edit summary |
No edit summary |
||
Line 9: | Line 9: | ||
कोई भी वास्तविक वर्ग आव्यूह A को इस रूप में विघटित किया जा सकता है | कोई भी वास्तविक वर्ग आव्यूह A को इस रूप में विघटित किया जा सकता है | ||
: <math> A = QR, </math> | : <math> A = QR, </math> | ||
जहां ''Q'' एक [[ ओर्थोगोनल ]]आव्यूह है (इसके स्तम्भ ऑर्थोगोनल [[इकाई वेक्टर|इकाई]] सदिश हैं अर्थ {{nowrap|<math>Q^\textsf{T} = Q^{-1}</math>)}} और R एक ऊपरी [[त्रिकोणीय मैट्रिक्स|त्रिकोणीय]] आव्यूह है (जिसे सही त्रिकोणीय आव्यूह भी कहा जाता है)। यदि A व्युत्क्रमणीय आव्यूह है, तो गुणनखंड अद्वितीय है यदि हमें R के विकर्ण तत्वों को सकारात्मक होने की आवश्यकता है। | जहां ''Q'' एक [[ ओर्थोगोनल |ओर्थोगोनल]] आव्यूह है (इसके स्तम्भ ऑर्थोगोनल [[इकाई वेक्टर|इकाई]] सदिश हैं अर्थ {{nowrap|<math>Q^\textsf{T} = Q^{-1}</math>)}} और R एक ऊपरी [[त्रिकोणीय मैट्रिक्स|त्रिकोणीय]] आव्यूह है (जिसे सही त्रिकोणीय आव्यूह भी कहा जाता है)। यदि A व्युत्क्रमणीय आव्यूह है, तो गुणनखंड अद्वितीय है यदि हमें R के विकर्ण तत्वों को सकारात्मक होने की आवश्यकता है। | ||
यदि इसके अतिरिक्त ''A'' | यदि इसके अतिरिक्त ''A'' एक जटिल [[उलटा मैट्रिक्स|वर्ग]] आव्यूह है, तो एक अपघटन ''A'' = ''QR'' है जहां ''Q'' एक [[एकात्मक मैट्रिक्स|एकात्मक]] आव्यूह है (इसलिए {{nowrap|<math>Q^* = Q^{-1}</math>).}} | ||
यदि ''A'' में ''A'' रैखिक रूप से स्वतंत्र स्तम्भ हैं, तो ''Q'' के पहले ''n'' स्तम्भ ''A'' के [[स्तंभ स्थान]] के लिए ऑर्थोनॉर्मल आधार बनाते हैं। अधिक सामान्यतः Q के पहले के स्तम्भ A के पहले के स्तम्भ की अवधि के लिए एक ऑर्थोनॉर्मल आधार बनाते हैं। कोई भी {{nowrap|1 ≤ ''k'' ≤ ''n''}} | यदि ''A'' में ''A'' रैखिक रूप से स्वतंत्र स्तम्भ हैं, तो ''Q'' के पहले ''n'' स्तम्भ ''A'' के [[स्तंभ स्थान]] के लिए ऑर्थोनॉर्मल आधार बनाते हैं। अधिक सामान्यतः Q के पहले के स्तम्भ A के पहले के स्तम्भ की अवधि के लिए एक ऑर्थोनॉर्मल आधार बनाते हैं। कोई भी {{nowrap|1 ≤ ''k'' ≤ ''n''}} तथ्य यह है<ref name="Trefethen">{{cite book |last1=Trefethen |first1=Lloyd N. |last2=Bau |first2=David III |author1-link=Nick Trefethen |title=संख्यात्मक रैखिक बीजगणित|date=1997 |publisher=[[Society for Industrial and Applied Mathematics]] |location=Philadelphia, PA |isbn=978-0-898713-61-9}}</ref> कि A का कोई भी स्तंभ k केवल Q के पहले k स्तंभों पर निर्भर करता है, जो R के त्रिकोणीय रूप से मेल खाता है। <ref name="Trefethen" /> | ||
=== आयताकारआव्यूह === | === आयताकारआव्यूह === | ||
अधिक सामान्यतः | अधिक सामान्यतः हम {{nowrap|''m'' ≥ ''n''}} के साथ एक जटिल ''m''×''n'' आव्यूह ए को कारक कर सकते हैं, m×m एकात्मक आव्यूह Q और एक m×n ऊपरी त्रिकोणीय आव्यूह R के उत्पाद के रूप में नीचे (m−n) पंक्तियों के रूप में एक m×n ऊपरी त्रिकोणीय आव्यूह में पूरी तरह से शून्य होते हैं, यह अधिकांशतः विभाजन R, या R और Q दोनों के लिए उपयोगी होता है: | ||
:<math> | :<math> | ||
A = QR = Q \begin{bmatrix} R_1 \\ 0 \end{bmatrix} | A = QR = Q \begin{bmatrix} R_1 \\ 0 \end{bmatrix} | ||
Line 25: | Line 25: | ||
= Q_1 R_1, | = Q_1 R_1, | ||
</math> | </math> | ||
जहां ''R''<sub>1</sub> एक n×n ऊपरी त्रिकोणीय आव्यूह है, 0 एक है {{nowrap|(''m'' − ''n'')×''n''}} शून्यआव्यूह, ''Q''<sub>1</sub> | जहां ''R''<sub>1</sub> एक n×n ऊपरी त्रिकोणीय आव्यूह है, 0 एक है {{nowrap|(''m'' − ''n'')×''n''}} शून्यआव्यूह, ''Q''<sub>1</sub> ''m''×''n'', ''Q''<sub>2</sub> है {{nowrap|''m''×(''m'' − ''n'')}}, और ''Q''<sub>1</sub> और ''Q''<sub>2</sub> दोनों में ऑर्थोगोनल स्तम्भ हैं। | ||
{{harvtxt|Golub|Van Loan|1996|loc=§5.2}} ''Q''<sub>1</sub>''R''<sub>1</sub> को ''A'' का पतला QR गुणनखंड कहते हैं; ट्रेफेथेन और बाउ इसे घटी हुई QR गुणनखंडन कहते हैं।'''<ref name="Trefethen" />''' यदि A पूर्ण पद n का है और हमें आवश्यकता है कि ''R''<sub>1</sub> के विकर्ण तत्व सकारात्मक हैं तो ''R''<sub>1</sub> और ''Q''<sub>1</sub> अद्वितीय हैं, किन्तु सामान्यतः Q<sub>2</sub> नहीं है। ''R''<sub>1</sub> तब ''A''* ''A'' (= ''A''<sup>T</sup>''A'' यदि A वास्तविक है) के चोल्स्की अपघटन के ऊपरी त्रिकोणीय कारक के समान है। | {{harvtxt|Golub|Van Loan|1996|loc=§5.2}} ''Q''<sub>1</sub>''R''<sub>1</sub> को ''A'' का पतला QR गुणनखंड कहते हैं; ट्रेफेथेन और बाउ इसे घटी हुई QR गुणनखंडन कहते हैं।'''<ref name="Trefethen" />''' यदि A पूर्ण पद n का है और हमें आवश्यकता है कि ''R''<sub>1</sub> के विकर्ण तत्व सकारात्मक हैं तो ''R''<sub>1</sub> और ''Q''<sub>1</sub> अद्वितीय हैं, किन्तु सामान्यतः Q<sub>2</sub> नहीं है। ''R''<sub>1</sub> तब ''A''* ''A'' (= ''A''<sup>T</sup>''A'' यदि A वास्तविक है) के चोल्स्की अपघटन के ऊपरी त्रिकोणीय कारक के समान है। | ||
Line 157: | Line 157: | ||
[[File:Householder.svg|thumb|QR-अपघटन के लिए हाउसहोल्डर प्रतिबिंब: लक्ष्य एक रैखिक परिवर्तन खोजना है जो सदिश को बदलता है <math>\mathbf x</math> एक ही लंबाई के एक सदिश में जो समरेख है <math>\mathbf e_1</math>. हम एक ऑर्थोगोनल प्रोजेक्शन (ग्राम-श्मिट) का उपयोग कर सकते हैं किन्तु यह संख्यात्मक रूप से अस्थिर होगा यदि वैक्टर <math>\mathbf x</math> और <math>\mathbf e_1</math> ऑर्थोगोनल के करीब हैं। इसके बजाय, गृहस्थ प्रतिबिंब बिंदीदार रेखा के माध्यम से प्रतिबिंबित होता है (बीच के कोण को द्विभाजित करने के लिए चुना गया है <math>\mathbf x</math> और {{nowrap|<math>\mathbf e_1</math>).}} इस रूपांतरण के साथ अधिकतम कोण 45 डिग्री है।]] | [[File:Householder.svg|thumb|QR-अपघटन के लिए हाउसहोल्डर प्रतिबिंब: लक्ष्य एक रैखिक परिवर्तन खोजना है जो सदिश को बदलता है <math>\mathbf x</math> एक ही लंबाई के एक सदिश में जो समरेख है <math>\mathbf e_1</math>. हम एक ऑर्थोगोनल प्रोजेक्शन (ग्राम-श्मिट) का उपयोग कर सकते हैं किन्तु यह संख्यात्मक रूप से अस्थिर होगा यदि वैक्टर <math>\mathbf x</math> और <math>\mathbf e_1</math> ऑर्थोगोनल के करीब हैं। इसके बजाय, गृहस्थ प्रतिबिंब बिंदीदार रेखा के माध्यम से प्रतिबिंबित होता है (बीच के कोण को द्विभाजित करने के लिए चुना गया है <math>\mathbf x</math> और {{nowrap|<math>\mathbf e_1</math>).}} इस रूपांतरण के साथ अधिकतम कोण 45 डिग्री है।]] | ||
एक [[ गृहस्थ प्रतिबिंब | गृहस्थ प्रतिबिंबों]] (या हाउसहोल्डर रूपांतरण ) एक ऐसा रूपांतरण है जो एक सदिश लेता है और इसे किसी प्लेन या [[ hyperplane |हाइपरप्लेन]] के बारे में दर्शाता है। हम {{nowrap|''m'' ≥ ''n''}} के साथ m-by-n आव्यूह <math>A</math> के QR गुणनखंड की गणना करने के लिए इस ऑपरेशन का उपयोग कर सकते हैं। | एक [[ गृहस्थ प्रतिबिंब |गृहस्थ प्रतिबिंबों]] (या हाउसहोल्डर रूपांतरण ) एक ऐसा रूपांतरण है जो एक सदिश लेता है और इसे किसी प्लेन या [[ hyperplane |हाइपरप्लेन]] के बारे में दर्शाता है। हम {{nowrap|''m'' ≥ ''n''}} के साथ m-by-n आव्यूह <math>A</math> के QR गुणनखंड की गणना करने के लिए इस ऑपरेशन का उपयोग कर सकते हैं। | ||
''Q'' का उपयोग एक सदिश को इस तरह से प्रतिबिंबित करने के लिए किया जा सकता है कि सभी निर्देशांक किन्तु एक विलुप्त | ''Q'' का उपयोग एक सदिश को इस तरह से प्रतिबिंबित करने के लिए किया जा सकता है कि सभी निर्देशांक किन्तु एक विलुप्त हो जाता है। | ||
मान लीजिए <math>\mathbf{x}</math> <math>A</math> का एक स्वेच्छ वास्तविक m-आयामी स्तंभ सदिश है जैसे कि <math>\|\mathbf{x}\| = |\alpha|</math> एक अदिश α के लिए यदि एल्गोरिदम [[फ़्लोटिंग-पॉइंट अंकगणित]] का उपयोग करके कार्यान्वित किया जाता है, तो {{nowrap|<math>\mathbf{x}</math>,}} के k-वें समन्वय के रूप में α को विपरीत चिह्न प्राप्त करना चाहिए, जहां <math>x_k</math> धुरी समन्वय होना है जिसके बाद आव्यूह में सभी प्रविष्टियां 0 हैं महत्व के हानि से बचने के लिए A का अंतिम ऊपरी त्रिकोणीय रूप जटिल स्थिति में सेट करें<ref>{{citation | first1=Josef | last1=Stoer | first2=Roland | last2=Bulirsch | year=2002 | title=Introduction to Numerical Analysis | edition=3rd | publisher=Springer | isbn=0-387-95452-X |page=225}}</ref> | मान लीजिए <math>\mathbf{x}</math> <math>A</math> का एक स्वेच्छ वास्तविक m-आयामी स्तंभ सदिश है जैसे कि <math>\|\mathbf{x}\| = |\alpha|</math> एक अदिश α के लिए यदि एल्गोरिदम [[फ़्लोटिंग-पॉइंट अंकगणित]] का उपयोग करके कार्यान्वित किया जाता है, तो {{nowrap|<math>\mathbf{x}</math>,}} के k-वें समन्वय के रूप में α को विपरीत चिह्न प्राप्त करना चाहिए, जहां <math>x_k</math> धुरी समन्वय होना है जिसके बाद आव्यूह में सभी प्रविष्टियां 0 हैं महत्व के हानि से बचने के लिए A का अंतिम ऊपरी त्रिकोणीय रूप जटिल स्थिति में सेट करें<ref>{{citation | first1=Josef | last1=Stoer | first2=Roland | last2=Bulirsch | year=2002 | title=Introduction to Numerical Analysis | edition=3rd | publisher=Springer | isbn=0-387-95452-X |page=225}}</ref> | ||
Line 165: | Line 165: | ||
और नीचे Q के निर्माण में संयुग्मी वाष्पोत्सर्जन द्वारा स्थानापन्न स्थानापन्न। | और नीचे Q के निर्माण में संयुग्मी वाष्पोत्सर्जन द्वारा स्थानापन्न स्थानापन्न। | ||
फिर, जहाँ <math>\mathbf{e}_1</math> सदिश है [1 0 ⋯ 0]<sup>T</sup>, ||·|| | फिर, जहाँ <math>\mathbf{e}_1</math> सदिश है [1 0 ⋯ 0]<sup>T</sup>, ||·|| यूक्लिडियन मानदंड है और <math>I</math> एक ''m''×''m'' पहचान आव्यूह सेट है | ||
: <math>\begin{align} | : <math>\begin{align} | ||
\mathbf{u} &= \mathbf{x} - \alpha\mathbf{e}_1, \\ | \mathbf{u} &= \mathbf{x} - \alpha\mathbf{e}_1, \\ | ||
Line 176: | Line 176: | ||
<math>Q</math> एक ''m''-by-''m'' हाउसहोल्डर आव्यूह है जो सममित और ऑर्थोगोनल दोनों है (जटिल स्थिति में हर्मिटियन और एकात्मक) और | <math>Q</math> एक ''m''-by-''m'' हाउसहोल्डर आव्यूह है जो सममित और ऑर्थोगोनल दोनों है (जटिल स्थिति में हर्मिटियन और एकात्मक) और | ||
: <math>Q\mathbf{x} = \begin{bmatrix} \alpha \\ 0 \\ \vdots \\ 0 \end{bmatrix}.</math> | : <math>Q\mathbf{x} = \begin{bmatrix} \alpha \\ 0 \\ \vdots \\ 0 \end{bmatrix}.</math> | ||
इसका उपयोग धीरे-धीरे ''m''-by-''n'' आव्यूह ''A'' | इसका उपयोग धीरे-धीरे ''m''-by-''n'' आव्यूह ''A'' को ऊपरी त्रिकोणीय आव्यूह रूप में बदलने के लिए किया जा सकता है। सबसे पहले, हम A को हाउसहोल्डर आव्यूह ''Q''<sub>1</sub> से गुणा करते हैं जब हम x के लिए पहला आव्यूह स्तम्भ चुनते हैं तो हम प्राप्त करते हैं। इसका परिणाम बाएं स्तंभ में शून्य के साथ एक आव्यूह ''Q''<sub>1</sub>''A'' में होता है (पहली पंक्ति को छोड़कर)। | ||
: <math>Q_1A = \begin{bmatrix} | : <math>Q_1A = \begin{bmatrix} | ||
\alpha_1 & \star & \cdots & \star \\ | \alpha_1 & \star & \cdots & \star \\ | ||
Line 188: | Line 188: | ||
0 & Q_k' | 0 & Q_k' | ||
\end{bmatrix}.</math> | \end{bmatrix}.</math> | ||
इस <math>t</math> प्रक्रिया पुनरावृत्तियों के बाद | इस <math>t</math> प्रक्रिया पुनरावृत्तियों के बाद {{nowrap|<math>t = \min(m - 1, n)</math>,}} | ||
:<math>R = Q_t \cdots Q_2 Q_1 A</math> | :<math>R = Q_t \cdots Q_2 Q_1 A</math> | ||
एक ऊपरी त्रिकोणीय आव्यूह है। के साथ | एक ऊपरी त्रिकोणीय आव्यूह है। के साथ | ||
Line 346: | Line 346: | ||
Q को इस प्रकार चुना जा सकता है कि det Q = 1 इस प्रकार, | Q को इस प्रकार चुना जा सकता है कि det Q = 1 इस प्रकार, | ||
'''<br /> Q को इस तरह चुना जा सकता है | '''<br /> Q को इस तरह चुना जा सकता है det Q = 1। इस प्रकार,''' | ||
'''\'''det A = \det R = \prod_i<math>r_{ii}</math> | '''\'''det A = \det R = \prod_i<math>r_{ii}</math> | ||
Line 358: | Line 358: | ||
lambdai ''A'' के आइगेनवैल्यू हैं | lambdai ''A'' के आइगेनवैल्यू हैं | ||
हम गैर-वर्ग | हम गैर-वर्ग जटिल आव्यूह के लिए QR अपघटन की परिभाषा को प्रस्तुत करके और एकवचन मानो के साथ ईजेनवेल्यूज को बदलकर उपरोक्त गुणों को एक गैर-वर्ग जटिल आव्यूह <math>A</math> तक बढ़ा सकते हैं। | ||
गैर-वर्ग | गैर-वर्ग आव्यूह ''A'' के लिए QR अपघटन के साथ प्रारंभ करें: | ||
: <math>A = Q \begin{bmatrix} R \\ 0 \end{bmatrix}, \qquad Q^* Q = I</math> | : <math>A = Q \begin{bmatrix} R \\ 0 \end{bmatrix}, \qquad Q^* Q = I</math> | ||
जहाँ <math>0</math> शून्य आव्यूह को दर्शाता है और <math>Q</math> एकात्मक आव्यूह है। | जहाँ <math>0</math> शून्य आव्यूह को दर्शाता है और <math>Q</math> एकात्मक आव्यूह है। | ||
Line 373: | Line 373: | ||
== स्तम्भ पिवोटिंग == | == स्तम्भ पिवोटिंग == | ||
पिवोटेड QR सामान्य ग्राम-श्मिट से अलग है जिसमें यह प्रत्येक नए चरण की प्रारंभ में सबसे बड़ा शेष स्तम्भ लेता है- स्तम्भ पिवोटिंग-<ref>{{cite book |last1=Strang |first1=Gilbert |title=रेखीय बीजगणित और डेटा से सीखना|date=2019 |publisher=Wellesley Cambridge Press |location=Wellesley |isbn=978-0-692-19638-0 |page=143 |edition=1st}}</ref> और इस प्रकार एक [[क्रमपरिवर्तन मैट्रिक्स|क्रमपरिवर्तन]] आव्यूह | पिवोटेड QR सामान्य ग्राम-श्मिट से अलग है जिसमें यह प्रत्येक नए चरण की प्रारंभ में सबसे बड़ा शेष स्तम्भ लेता है- स्तम्भ पिवोटिंग-<ref>{{cite book |last1=Strang |first1=Gilbert |title=रेखीय बीजगणित और डेटा से सीखना|date=2019 |publisher=Wellesley Cambridge Press |location=Wellesley |isbn=978-0-692-19638-0 |page=143 |edition=1st}}</ref> और इस प्रकार एक [[क्रमपरिवर्तन मैट्रिक्स|क्रमपरिवर्तन]] आव्यूह ''P'' प्रस्तुत करता है: | ||
:<math>AP = QR\quad \iff\quad A = QRP^\textsf{T}</math> | :<math>AP = QR\quad \iff\quad A = QRP^\textsf{T}</math> | ||
स्तम्भ पिवोटिंग तब उपयोगी होती है जब ''A'' | स्तम्भ पिवोटिंग तब उपयोगी होती है जब ''A'' (लगभग) [[रैंक की कमी|पद की कमी]] होती है या ऐसा होने का संदेह होता है। यह संख्यात्मक स्पष्टता में भी सुधार कर सकता है। ''P'' सामान्यतः चुना जाता है जिससे ''R'' के विकर्ण तत्व गैर-बढ़ते हों: <math>\left|r_{11}\right| \ge \left|r_{22}\right| \ge \cdots \ge \left|r_{nn}\right|</math>. यह एक विलक्षण मान अपघटन की तुलना में कम कम्प्यूटेशनल निवेश पर ''A'' के (संख्यात्मक) पद को खोजने के लिए उपयोग किया जा सकता है तथाकथित [[रैंक-खुलासा क्यूआर एल्गोरिदम|पद -प्रकट QR एल्गोरिदम]] का आधार बनता है। | ||
== रैखिक उलटा समस्याओं के समाधान के लिए प्रयोग == | == रैखिक उलटा समस्याओं के समाधान के लिए प्रयोग == | ||
Line 386: | Line 386: | ||
अतिनिर्धारित {{nowrap|(<math>m \geq n</math>)}} समस्या <math>\hat{\mathbf x}</math> का समाधान <math>A \mathbf x = \mathbf b</math> खोजने के लिए जो मानक {{nowrap|<math>\left\|A \hat{\mathbf{x}} - \mathbf{b}\right\|</math>,}} को कम करता है, पहले {{nowrap|<math>A = QR</math>.}} का QR गुणनखंड ज्ञात करें। तब समाधान को {{nowrap|<math>\hat{\mathbf x} = R_1^{-1} \left(Q_1^\textsf{T} \mathbf{b}\right) </math>,}}के रूप में व्यक्त किया जा सकता है, जहां <math>Q_1</math> एक <math>m \times n</math> आव्यूह है जिसमें पूर्ण ऑर्थोनॉर्मल आधार <math>Q</math> का पहला <math>n</math> स्तम्भ है और जहां <math>R_1</math> पहले की तरह है। कम निर्धारित स्थिति के समान बैक प्रतिस्थापन का उपयोग <math>R_1</math> को स्पष्ट रूप से उलटे बिना <math>\hat{\mathbf{x}}</math> को जल्दी और स्पष्ट रूप से खोजने के लिए किया जा सकता है। <math>Q_1</math> और <math>R_1</math> अधिकांशतः संख्यात्मक पुस्तकालयों द्वारा "आर्थिक" QR अपघटन के रूप में प्रदान किए जाते हैं।) | अतिनिर्धारित {{nowrap|(<math>m \geq n</math>)}} समस्या <math>\hat{\mathbf x}</math> का समाधान <math>A \mathbf x = \mathbf b</math> खोजने के लिए जो मानक {{nowrap|<math>\left\|A \hat{\mathbf{x}} - \mathbf{b}\right\|</math>,}} को कम करता है, पहले {{nowrap|<math>A = QR</math>.}} का QR गुणनखंड ज्ञात करें। तब समाधान को {{nowrap|<math>\hat{\mathbf x} = R_1^{-1} \left(Q_1^\textsf{T} \mathbf{b}\right) </math>,}}के रूप में व्यक्त किया जा सकता है, जहां <math>Q_1</math> एक <math>m \times n</math> आव्यूह है जिसमें पूर्ण ऑर्थोनॉर्मल आधार <math>Q</math> का पहला <math>n</math> स्तम्भ है और जहां <math>R_1</math> पहले की तरह है। कम निर्धारित स्थिति के समान बैक प्रतिस्थापन का उपयोग <math>R_1</math> को स्पष्ट रूप से उलटे बिना <math>\hat{\mathbf{x}}</math> को जल्दी और स्पष्ट रूप से खोजने के लिए किया जा सकता है। <math>Q_1</math> और <math>R_1</math> अधिकांशतः संख्यात्मक पुस्तकालयों द्वारा "आर्थिक" QR अपघटन के रूप में प्रदान किए जाते हैं।) | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
[[इवासावा अपघटन]] अर्ध-सरल झूठ समूहों के लिए QR अपघटन को सामान्यीकृत करता है। | [[इवासावा अपघटन]] अर्ध-सरल झूठ समूहों के लिए QR अपघटन को सामान्यीकृत करता है। |
Revision as of 23:06, 25 May 2023
रैखिक बीजगणित में, एक QR अपघटन, जिसे QR कारककरण या Q कारककरण के रूप में भी जाना जाता है, एक आव्यूह A का एक ऑर्थोनॉर्मल आव्यूह Q के उत्पाद (A = QR) और ऊपरी त्रिकोणीय आव्यूह R , QR अपघटन का एक अपघटन होता है। अधिकांशतः उपयोग किया जाता है रैखिक न्यूनतम वर्गों की समस्या को हल करने के लिए और एक विशेष आइगेनवैल्यू एल्गोरिथम, QR एल्गोरिदम का आधार है।
स्थिति और परिभाषाएँ
वर्ग आव्यूह
कोई भी वास्तविक वर्ग आव्यूह A को इस रूप में विघटित किया जा सकता है
जहां Q एक ओर्थोगोनल आव्यूह है (इसके स्तम्भ ऑर्थोगोनल इकाई सदिश हैं अर्थ ) और R एक ऊपरी त्रिकोणीय आव्यूह है (जिसे सही त्रिकोणीय आव्यूह भी कहा जाता है)। यदि A व्युत्क्रमणीय आव्यूह है, तो गुणनखंड अद्वितीय है यदि हमें R के विकर्ण तत्वों को सकारात्मक होने की आवश्यकता है।
यदि इसके अतिरिक्त A एक जटिल वर्ग आव्यूह है, तो एक अपघटन A = QR है जहां Q एक एकात्मक आव्यूह है (इसलिए ).
यदि A में A रैखिक रूप से स्वतंत्र स्तम्भ हैं, तो Q के पहले n स्तम्भ A के स्तंभ स्थान के लिए ऑर्थोनॉर्मल आधार बनाते हैं। अधिक सामान्यतः Q के पहले के स्तम्भ A के पहले के स्तम्भ की अवधि के लिए एक ऑर्थोनॉर्मल आधार बनाते हैं। कोई भी 1 ≤ k ≤ n तथ्य यह है[1] कि A का कोई भी स्तंभ k केवल Q के पहले k स्तंभों पर निर्भर करता है, जो R के त्रिकोणीय रूप से मेल खाता है। [1]
आयताकारआव्यूह
अधिक सामान्यतः हम m ≥ n के साथ एक जटिल m×n आव्यूह ए को कारक कर सकते हैं, m×m एकात्मक आव्यूह Q और एक m×n ऊपरी त्रिकोणीय आव्यूह R के उत्पाद के रूप में नीचे (m−n) पंक्तियों के रूप में एक m×n ऊपरी त्रिकोणीय आव्यूह में पूरी तरह से शून्य होते हैं, यह अधिकांशतः विभाजन R, या R और Q दोनों के लिए उपयोगी होता है:
जहां R1 एक n×n ऊपरी त्रिकोणीय आव्यूह है, 0 एक है (m − n)×n शून्यआव्यूह, Q1 m×n, Q2 है m×(m − n), और Q1 और Q2 दोनों में ऑर्थोगोनल स्तम्भ हैं।
Golub & Van Loan (1996, §5.2) Q1R1 को A का पतला QR गुणनखंड कहते हैं; ट्रेफेथेन और बाउ इसे घटी हुई QR गुणनखंडन कहते हैं।[1] यदि A पूर्ण पद n का है और हमें आवश्यकता है कि R1 के विकर्ण तत्व सकारात्मक हैं तो R1 और Q1 अद्वितीय हैं, किन्तु सामान्यतः Q2 नहीं है। R1 तब A* A (= ATA यदि A वास्तविक है) के चोल्स्की अपघटन के ऊपरी त्रिकोणीय कारक के समान है।
QL, RQ और LQ अपघटन
अनुरूप रूप से, हम QL, RQ और LQ अपघटन को परिभाषित कर सकते हैं, जिसमें L एक निचला त्रिकोणीय आव्यूह है।
QR अपघटन की गणना
वास्तव में QR अपघटन की गणना करने के लिए कई विधि हैं, जैसे कि ग्राम-श्मिट प्रक्रिया हाउसहोल्डर रूपांतरण या गिवेंस घूर्णन के माध्यम से प्रत्येक के कई लाभ और हानि हैं।
ग्राम-श्मिट प्रक्रिया का उपयोग
पूर्ण स्तंभ पद आव्यूह के स्तंभों पर प्रयुक्त ग्राम-श्मिट प्रक्रिया पर विचार करें , आंतरिक उत्पाद के साथ (या जटिल स्थिति के लिए)।
सदिश प्रक्षेपण को परिभाषित करें:
तब:
अब हम को हमारे नए संगणित ऑर्थोनॉर्मल आधार पर अभिव्यक्त कर सकते हैं:
जहाँ . इसे आव्यूह रूप में लिखा जा सकता है:
जहाँ :
और
उदाहरण
के अपघटन पर विचार करें
याद रखें कि एक ऑर्थोनॉर्मल आव्यूह में संपत्ति .होती है।
फिर, हम ग्राम-श्मिट के माध्यम से की गणना निम्नानुसार कर सकते हैं:
इस प्रकार हमारे पास है
RQ अपघटन से संबंध
RQ अपघटन एक आव्यूह A को एक ऊपरी त्रिकोणीय आव्यूह R (जिसे समकोण-त्रिकोणीय के रूप में भी जाना जाता है) और एक ऑर्थोगोनल आव्यूह Q के उत्पाद में बदल देता है। QR अपघटन से एकमात्र अंतर इन आव्यूह का क्रम है।
QR अपघटन A के स्तम्भ का ग्राम-श्मिट ऑर्थोगोनलाइज़ेशन है, जो पहले स्तम्भ से प्रारंभ हुआ था।
RQ अपघटन अंतिम पंक्ति से प्रारंभ की गई A की पंक्तियों का ग्राम-श्मिट ऑर्थोगोनलाइज़ेशन है।
लाभ और हानि
ग्राम-श्मिट प्रक्रिया स्वाभाविक रूप से संख्यात्मक रूप से अस्थिर है। जबकि अनुमानों के आवेदन में ऑर्थोगोनलाइज़ेशन के लिए एक आकर्षक ज्यामितीय सादृश्य है, ऑर्थोगोनलाइज़ेशन स्वयं संख्यात्मक त्रुटि के लिए प्रवण है। कार्यान्वयन में आसानी एक महत्वपूर्ण लाभ है।
गृहस्थ प्रतिबिंबों का उपयोग करना
एक गृहस्थ प्रतिबिंबों (या हाउसहोल्डर रूपांतरण ) एक ऐसा रूपांतरण है जो एक सदिश लेता है और इसे किसी प्लेन या हाइपरप्लेन के बारे में दर्शाता है। हम m ≥ n के साथ m-by-n आव्यूह के QR गुणनखंड की गणना करने के लिए इस ऑपरेशन का उपयोग कर सकते हैं।
Q का उपयोग एक सदिश को इस तरह से प्रतिबिंबित करने के लिए किया जा सकता है कि सभी निर्देशांक किन्तु एक विलुप्त हो जाता है।
मान लीजिए का एक स्वेच्छ वास्तविक m-आयामी स्तंभ सदिश है जैसे कि एक अदिश α के लिए यदि एल्गोरिदम फ़्लोटिंग-पॉइंट अंकगणित का उपयोग करके कार्यान्वित किया जाता है, तो , के k-वें समन्वय के रूप में α को विपरीत चिह्न प्राप्त करना चाहिए, जहां धुरी समन्वय होना है जिसके बाद आव्यूह में सभी प्रविष्टियां 0 हैं महत्व के हानि से बचने के लिए A का अंतिम ऊपरी त्रिकोणीय रूप जटिल स्थिति में सेट करें[2]
और नीचे Q के निर्माण में संयुग्मी वाष्पोत्सर्जन द्वारा स्थानापन्न स्थानापन्न।
फिर, जहाँ सदिश है [1 0 ⋯ 0]T, ||·|| यूक्लिडियन मानदंड है और एक m×m पहचान आव्यूह सेट है
या यदि जटिल है
एक m-by-m हाउसहोल्डर आव्यूह है जो सममित और ऑर्थोगोनल दोनों है (जटिल स्थिति में हर्मिटियन और एकात्मक) और
इसका उपयोग धीरे-धीरे m-by-n आव्यूह A को ऊपरी त्रिकोणीय आव्यूह रूप में बदलने के लिए किया जा सकता है। सबसे पहले, हम A को हाउसहोल्डर आव्यूह Q1 से गुणा करते हैं जब हम x के लिए पहला आव्यूह स्तम्भ चुनते हैं तो हम प्राप्त करते हैं। इसका परिणाम बाएं स्तंभ में शून्य के साथ एक आव्यूह Q1A में होता है (पहली पंक्ति को छोड़कर)।
इसे A' के लिए दोहराया जा सकता है (पहली पंक्ति और पहले स्तम्भ को हटाकर Q1A से प्राप्त), जिसके परिणामस्वरूप हाउसहोल्डर आव्यूह Q′2' बनता है। ध्यान दें किQ′2'Q1 से छोटा है। चूँकि हम चाहते हैं कि यह वास्तव में A' के अतिरिक्त Q1A पर संचालित हो, इसलिए हमें इसे 1 या सामान्य रूप से भरते हुए ऊपरी बाएँ में विस्तारित करने की आवश्यकता है:
इस प्रक्रिया पुनरावृत्तियों के बाद ,
एक ऊपरी त्रिकोणीय आव्यूह है। के साथ
का एक QR अपघटन है।
उपरोक्त ग्राम-श्मिट विधि की तुलना में इस पद्धति में संख्यात्मक स्थिरता अधिक है।
निम्न तालिका आकार n के साथ एक वर्ग आव्यूह मानते हुए हाउसहोल्डर परिवर्तन द्वारा QR-अपघटन के k-वें चरण में संचालन की संख्या देती है।
आपरेशन | k-वें चरण में संचालन की संख्या |
---|---|
गुणन | |
जोड़ | |
विभाजन | |
वर्गमूल |
इन संख्याओं का योग करना n − 1 चरण (आकार n के एक वर्ग आव्यूह के लिए) एल्गोरिथ्म की जटिलता (फ्लोटिंग पॉइंट गुणन के संदर्भ में) द्वारा दी गई है
उदाहरण
आइए हम के अपघटन की गणना करें
सबसे पहले हमें एक प्रतिबिंब खोजने की जरूरत है जो आव्यूह A, सदिश के पहले स्तम्भ को बदल देता है , में .
अब,
और
यहाँ,
- और
इसलिए
- और , और तब
अब निरीक्षण करें:
इसलिए हमारे पास पहले से ही लगभग एक त्रिकोणीय आव्यूह है। हमें केवल (3, 2) प्रविष्टि को शून्य करना है।
(1, 1) गौण (रैखिक बीजगणित) लें और फिर प्रक्रिया को फिर से प्रयुक्त करें
उपरोक्त विधि के अनुसार हम गृहस्थ परिवर्तन का आव्यूह प्राप्त करते हैं
यह सुनिश्चित करने के लिए कि प्रक्रिया का अगला चरण ठीक से काम कर रहा है 1 के साथ सीधा योग करने के बाद।
अब, हम पाते हैं
या, चार दशमलव अंकों तक,
आव्यूह Q ओर्थोगोनल है और आर ऊपरी त्रिकोणीय है, इसलिए A = QR आवश्यक QR अपघटन है।
लाभ और हानि
R आव्यूह में शून्य उत्पन्न करने के लिए तंत्र के रूप में प्रतिबिंबों के उपयोग के कारण घरेलू परिवर्तनों का उपयोग स्वाभाविक रूप से संख्यात्मक रूप से स्थिर QR अपघटन एल्गोरिदम का सबसे सरल है। चूँकि हाउसहोल्डर प्रतिबिंबों एल्गोरिथ्म बैंडविड्थ भारी है और समानांतर नहीं है क्योंकि प्रत्येक प्रतिबिंब जो एक नया शून्य तत्व उत्पन्न करता है, दोनों Q और R आव्यूह की संपूर्णता को बदल देता है।
गिवेंस घूर्णन का उपयोग
QR अपघटन की गणना गिवेंस घूर्णन की एक श्रृंखला के साथ भी की जा सकती है। प्रत्येक घुमाव आव्यूह के उप-विकर्ण में एक तत्व को शून्य करता है जिससे R आव्यूह बनता है। गिवेंस के सभी घुमावों का संयोजन ऑर्थोगोनल Q आव्यूह बनाता है।
व्यवहार में, गिवेंस घूर्णन वास्तव में एक संपूर्ण आव्यूह का निर्माण करके और एक आव्यूह गुणन करके नहीं किया जाता है। एक गिवेंस घूर्णन प्रक्रिया का उपयोग इसके अतिरिक्त किया जाता है जो विरल तत्वों को संभालने के अतिरिक्त काम के बिना विरल गिवेंस आव्यूह गुणन के समान होता है। गिवेंस घूर्णन प्रक्रिया उन स्थितियों में उपयोगी होती है जहां केवल अपेक्षाकृत कुछ ऑफ-डायगोनल तत्वों को शून्य करने की आवश्यकता होती है और घरेलू परिवर्तनों की तुलना में अधिक आसानी से समानांतर होती है।
उदाहरण
आइए हम के अपघटन की गणना करें
सबसे पहले हमें एक घूर्णन आव्यूह बनाने की आवश्यकता है जो सबसे निचले बाएँ तत्व को शून्य कर देगा, . हम इस आव्यूह को गिवेंस घूर्णन विधि का उपयोग करके बनाते हैं और आव्यूह को कहते हैं। हम X अक्ष के साथ इंगित करने के लिए पहले सदिश ,को घुमाएंगे इस सदिश का एक कोण . है। हम ऑर्थोगोनल गिवेंस घूर्णन आव्यूह बनाते हैं:
और के परिणाम में अब तत्व में शून्य है।
हम गिवेंस मैट्रिसेस और , बना सकते हैं, जो उप-विकर्ण तत्वों और , को शून्य कर देगा, जिससे त्रिकोणीय आव्यूह . बन जाएगा। ऑर्थोगोनल आव्यूह सभी गिवेंस आव्यूह . के गुणनफल से बनता है। इस प्रकार हमारे पास , है, और QR अपघटन . है।
लाभ और हानि
गिवेंस घूर्णन के माध्यम से QR अपघटन को प्रयुक्त करने के लिए सबसे अधिक सम्मिलित है, क्योंकि एल्गोरिथम का पूरी तरह से दोहन करने के लिए आवश्यक पंक्तियों का क्रम निर्धारित करने के लिए तुच्छ नहीं है। चूँकि इसका एक महत्वपूर्ण लाभ है कि प्रत्येक नया शून्य तत्व केवल उस पंक्ति को प्रभावित करता है जिसमें तत्व शून्य (i) और एक पंक्ति ऊपर (j) है। यह गिवेंस घूर्णन एल्गोरिथम को हाउसहोल्डर प्रतिबिंब विधि की तुलना में अधिक बैंडविड्थ कुशल और समानांतर बनाता है।
एक निर्धारक या ईजेनवेल्यूज के उत्पाद से संबंध
वर्ग आव्यूह के निर्धारक को खोजने के लिए हम QR अपघटन का उपयोग कर सकते हैं। मान लीजिए एक आव्यूह के रूप में विघटित है तो हमारे पास हैं
det A = \det Q \det R.
Q को इस प्रकार चुना जा सकता है कि det Q = 1 इस प्रकार,
Q को इस तरह चुना जा सकता है det Q = 1। इस प्रकार,
\det A = \det R = \prod_i
जहां के विकर्ण पर प्रविष्टियाँ हैं . इसके अतिरिक्त क्योंकि निर्धारक आइजन वैल्यूज के उत्पाद के समान है हमारे पास है
prod_{i} r_{ii} = \prod_{i} \lambda_{i}
जहां
lambdai A के आइगेनवैल्यू हैं
हम गैर-वर्ग जटिल आव्यूह के लिए QR अपघटन की परिभाषा को प्रस्तुत करके और एकवचन मानो के साथ ईजेनवेल्यूज को बदलकर उपरोक्त गुणों को एक गैर-वर्ग जटिल आव्यूह तक बढ़ा सकते हैं।
गैर-वर्ग आव्यूह A के लिए QR अपघटन के साथ प्रारंभ करें:
जहाँ शून्य आव्यूह को दर्शाता है और एकात्मक आव्यूह है।
एकवचन मान अपघटन और एक आव्यूह के निर्धारक के गुणों से, हमारे पास है
जहां . के विलक्षण मान हैं
ध्यान दें कि के विलक्षण मान और समान हैं, चूँकि उनके जटिल ईजेनवेल्यूज भिन्न हो सकते हैं। चूँकि यदि A वर्गाकार है, तो
यह इस प्रकार है कि QR अपघटन का उपयोग आव्यूह के आइगेनवैल्यू या एकवचन मानो के उत्पाद की कुशलता से गणना करने के लिए किया जा सकता है।
स्तम्भ पिवोटिंग
पिवोटेड QR सामान्य ग्राम-श्मिट से अलग है जिसमें यह प्रत्येक नए चरण की प्रारंभ में सबसे बड़ा शेष स्तम्भ लेता है- स्तम्भ पिवोटिंग-[3] और इस प्रकार एक क्रमपरिवर्तन आव्यूह P प्रस्तुत करता है:
स्तम्भ पिवोटिंग तब उपयोगी होती है जब A (लगभग) पद की कमी होती है या ऐसा होने का संदेह होता है। यह संख्यात्मक स्पष्टता में भी सुधार कर सकता है। P सामान्यतः चुना जाता है जिससे R के विकर्ण तत्व गैर-बढ़ते हों: . यह एक विलक्षण मान अपघटन की तुलना में कम कम्प्यूटेशनल निवेश पर A के (संख्यात्मक) पद को खोजने के लिए उपयोग किया जा सकता है तथाकथित पद -प्रकट QR एल्गोरिदम का आधार बनता है।
रैखिक उलटा समस्याओं के समाधान के लिए प्रयोग
प्रत्यक्ष आव्यूह व्युत्क्रम की तुलना में, QR अपघटन का उपयोग करने वाले व्युत्क्रम समाधान संख्यात्मक रूप से अधिक स्थिर होते हैं जैसा कि उनकी घटी हुई स्थिति संख्या से स्पष्ट होता है।[4]
अधोनिर्धारित () रैखिक समस्या को हल करने के लिए जहां आव्यूह का आयाम और रैंक , है, पहले के ट्रांसपोज़ का QR गुणनखंड ज्ञात करें :, जहां Q एक ऑर्थोगोनल आव्यूह है (जिससे ), और R इसका एक विशेष रूप है: यहाँ एक वर्ग समकोण त्रिभुजाकार आव्यूह है और शून्य आव्यूह का आयाम .है। कुछ बीजगणित के बाद यह दिखाया जा सकता है कि व्युत्क्रम समस्या का समाधान इस प्रकार व्यक्त किया जा सकता है: जहां कोई गॉसियन उन्मूलन द्वारा या तो खोज सकता है या सीधे आगे प्रतिस्थापन द्वारा बाद वाली विधि में अधिक संख्यात्मक स्पष्टता और कम संगणनाएँ हैं।
अतिनिर्धारित () समस्या का समाधान खोजने के लिए जो मानक , को कम करता है, पहले . का QR गुणनखंड ज्ञात करें। तब समाधान को ,के रूप में व्यक्त किया जा सकता है, जहां एक आव्यूह है जिसमें पूर्ण ऑर्थोनॉर्मल आधार का पहला स्तम्भ है और जहां पहले की तरह है। कम निर्धारित स्थिति के समान बैक प्रतिस्थापन का उपयोग को स्पष्ट रूप से उलटे बिना को जल्दी और स्पष्ट रूप से खोजने के लिए किया जा सकता है। और अधिकांशतः संख्यात्मक पुस्तकालयों द्वारा "आर्थिक" QR अपघटन के रूप में प्रदान किए जाते हैं।)
सामान्यीकरण
इवासावा अपघटन अर्ध-सरल झूठ समूहों के लिए QR अपघटन को सामान्यीकृत करता है।
यह भी देखें
- ध्रुवीय अपघटन
- आइगेनवैल्यू अपघटन
- आव्यूह का आइगेनडीकम्पोज़िशन
- लू अपघटन
- विलक्षण मान अपघटन
संदर्भ
- ↑ 1.0 1.1 1.2 Trefethen, Lloyd N.; Bau, David III (1997). संख्यात्मक रैखिक बीजगणित. Philadelphia, PA: Society for Industrial and Applied Mathematics. ISBN 978-0-898713-61-9.
- ↑ Stoer, Josef; Bulirsch, Roland (2002), Introduction to Numerical Analysis (3rd ed.), Springer, p. 225, ISBN 0-387-95452-X
- ↑ Strang, Gilbert (2019). रेखीय बीजगणित और डेटा से सीखना (1st ed.). Wellesley: Wellesley Cambridge Press. p. 143. ISBN 978-0-692-19638-0.
- ↑ Parker, Robert L. (1994). भूभौतिकीय उलटा सिद्धांत. Princeton, N.J.: Princeton University Press. Section 1.13. ISBN 978-0-691-20683-7. OCLC 1134769155.
अग्रिम पठन
- Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations (3rd ed.), Johns Hopkins, ISBN 978-0-8018-5414-9.
- Horn, Roger A.; Johnson, Charles R. (1985), Matrix Analysis, Cambridge University Press, sec. 2.8, ISBN 0-521-38632-2
- Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Section 2.10. QR Decomposition", Numerical Recipes: The Art of Scientific Computing (3rd ed.), New York: Cambridge University Press, ISBN 978-0-521-88068-8
बाहरी संबंध
- Online Matrix Calculator Performs QR decomposition of matrices.
- LAPACK users manual gives details of subroutines to calculate the QR decomposition
- Mathematica users manual gives details and examples of routines to calculate QR decomposition
- ALGLIB includes a partial port of the LAPACK to C++, C#, Delphi, etc.
- Eigen::QR Includes C++ implementation of QR decomposition.