विकर्णीय आव्यूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Matrices similar to diagonal matrices}}
{{Short description|Matrices similar to diagonal matrices}}


{{About|रैखिक बीजगणित में मैट्रिक्स विकर्णीकरण||विकर्णीकरण (बहुविकल्पी){{!}}विकर्णीकरण}}




रैखिक बीजगणित में, एक वर्ग आव्यूह <math>A</math> को विकर्णीय या गैर-दोषपूर्ण कहा जाता है यदि यह एक विकर्ण आव्यूह के समान है, अथार्त , यदि एक उलटा आव्यूह <math>P</math> और एक विकर्ण आव्यूह <math>D</math> उपस्थित है जैसे कि {{nowrap|<math>P^{-1}AP=D</math>,}}, या समकक्ष {{nowrap|<math>A = PDP^{-1}</math>.}} (ऐसे  {{nowrap|<math>P</math>,}} <math>D</math> अद्वितीय नहीं हैं।) एक परिमित-आयामी वेक्टर अंतरिक्ष {{nowrap|<math>V</math>,}} के लिए, एक रैखिक मानचित्र <math>T:V\to V</math> को विकर्ण कहा जाता है यदि <math>T</math> के ईजेनवेक्टर से युक्त <math>V</math> का एक क्रमबद्ध आधार उपस्थित है। ये परिभाषाएं समतुल्य हैं: यदि <math>T</math> में है उपरोक्त के अनुसार एक आव्यूह प्रतिनिधित्व <math>T = PDP^{-1}</math> फिर <math>P</math> के स्तंभ सदिश {{nowrap|<math>T</math>,}} के आइगेनवेक्टरों से मिलकर एक आधार बनाते हैं, और <math>D</math> की विकर्ण प्रविष्टियाँ {{nowrap|<math>T</math>,}} के संबंधित आइगेनवैल्यू हैं; इस आइजनवेक्टर आधार के संबंध में, <math>A</math> को <math>D</math> द्वारा दर्शाया गया है। विकर्णीकरण उपरोक्त <math>P</math> और <math>D</math> को खोजने की प्रक्रिया है।


विकर्णीय आव्यूह और मानचित्र गणना के लिए विशेष रूप से आसान होते हैं, एक बार जब उनके आइगेनवैल्यू और आइजेनवेक्टर ज्ञात हो जाते हैं। कोई एक विकर्ण <math>D</math> आव्यूह बढ़ा सकता है  किसी घात को केवल विकर्ण प्रविष्टियों को उस घात तक बढ़ाकर, और एक विकर्ण आव्यूह का निर्धारक बस सभी विकर्ण प्रविष्टियों का उत्पाद है; ऐसी गणनाएँ आसानी से सामान्यीकृत{{nowrap|<math>A=PDP^{-1}</math>.}} हो जाती हैं ज्यामितीय रूप से, एक विकर्ण आव्यूह एक [[अमानवीय फैलाव]] (या ''अनिसोट्रोपिक स्केलिंग'') है - यह अंतरिक्ष को [[स्केलिंग (ज्यामिति)]] करता है, जैसा कि एक ''[[सजातीय फैलाव]]'' होता है, किंतु प्रत्येक ईजेनवेक्टर अक्ष के साथ एक अलग कारक द्वारा, कारक संगत ईजेनवैल्यू द्वारा दिया गया।
 
रैखिक बीजगणित में, एक वर्ग आव्यूह <math>A</math> को '''विकर्णीय या गैर-दोषपूर्ण''' कहा जाता है यदि यह एक विकर्ण आव्यूह के समान है, अथार्त , यदि एक उलटा आव्यूह <math>P</math> और एक विकर्ण आव्यूह <math>D</math> उपस्थित है जैसे कि {{nowrap|<math>P^{-1}AP=D</math>,}}, या समकक्ष {{nowrap|<math>A = PDP^{-1}</math>.}} (ऐसे {{nowrap|<math>P</math>,}} <math>D</math> अद्वितीय नहीं हैं।) एक परिमित-आयामी सदिश स्थान {{nowrap|<math>V</math>,}} के लिए, एक रैखिक मानचित्र <math>T:V\to V</math> को विकर्ण कहा जाता है यदि <math>T</math> के आइगेनसदिश से युक्त <math>V</math> का एक क्रमबद्ध आधार उपस्थित है। ये परिभाषाएं समतुल्य हैं: यदि <math>T</math> में है उपरोक्त के अनुसार एक आव्यूह प्रतिनिधित्व <math>T = PDP^{-1}</math> फिर <math>P</math> के स्तंभ सदिश {{nowrap|<math>T</math>,}} के आइगेनवेक्टरों से मिलकर एक आधार बनाते हैं, और <math>D</math> की विकर्ण प्रविष्टियाँ {{nowrap|<math>T</math>,}} के संबंधित आइगेनवैल्यू हैं; इस आइगेनसदिश आधार के संबंध में, <math>A</math> को <math>D</math> द्वारा दर्शाया गया है। विकर्णीकरण उपरोक्त <math>P</math> और <math>D</math> को खोजने की प्रक्रिया है।
 
विकर्णीय आव्यूह और मानचित्र गणना के लिए विशेष रूप से आसान होते हैं, एक बार जब उनके आइगेनवैल्यू और आइगेनसदिश ज्ञात हो जाते हैं। कोई एक विकर्ण <math>D</math> आव्यूह बढ़ा सकता है  किसी घात को केवल विकर्ण प्रविष्टियों को उस घात तक बढ़ाकर और एक विकर्ण आव्यूह का निर्धारक बस सभी विकर्ण प्रविष्टियों का उत्पाद है; ऐसी गणनाएँ आसानी से सामान्यीकृत{{nowrap|<math>A=PDP^{-1}</math>.}} हो जाती हैं ज्यामितीय रूप से, एक विकर्ण आव्यूह एक अमानवीय प्रसार (या ''अनिसोट्रोपिक स्केलिंग'') है - यह स्थान को [[स्केलिंग (ज्यामिति)]] करता है, जैसा कि एक ''सजातीय प्रसार'' होता है, किंतु प्रत्येक आइगेनसदिश अक्ष के साथ एक अलग कारक द्वारा, कारक संगत आइगेनवैल्यू द्वारा दिया गया।


एक वर्ग आव्यूह जो विकर्णीय नहीं है उसे दोषपूर्ण कहा जाता है। ऐसा हो सकता है कि वास्तविक प्रविष्टियों वाला आव्यूह <math>A</math> वास्तविक संख्याओं पर दोषपूर्ण है, जिसका अर्थ है कि वास्तविक प्रविष्टियों वाले किसी भी उलटा <math>P</math> और विकर्ण <math>D</math> के लिए <math>A = PDP^{-1}</math> असंभव है, किंतु जटिल प्रविष्टियों के साथ यह संभव है, जिससे <math>A</math> विकर्ण हो। जटिल आंकड़े उदाहरण के लिए, यह सामान्य घूर्णन आव्यूह का स्थिति है।
एक वर्ग आव्यूह जो विकर्णीय नहीं है उसे दोषपूर्ण कहा जाता है। ऐसा हो सकता है कि वास्तविक प्रविष्टियों वाला आव्यूह <math>A</math> वास्तविक संख्याओं पर दोषपूर्ण है, जिसका अर्थ है कि वास्तविक प्रविष्टियों वाले किसी भी उलटा <math>P</math> और विकर्ण <math>D</math> के लिए <math>A = PDP^{-1}</math> असंभव है, किंतु जटिल प्रविष्टियों के साथ यह संभव है, जिससे <math>A</math> विकर्ण हो। जटिल आंकड़े उदाहरण के लिए, यह सामान्य घूर्णन आव्यूह का स्थिति है।
Line 13: Line 14:


== परिभाषा ==
== परिभाषा ==
एक वर्ग <math>n \times n</math> आव्यूह, <math>A</math>, एक क्षेत्र में प्रविष्टियों के साथ (गणित) <math>F</math> यदि कोई उपस्थित है तो इसे विकर्णीय <math>n \times n</math> या गैर-दोषपूर्ण कहा जाता है विपरीत आव्यूह (अथार्त [[सामान्य रैखिक समूह]] GL<sub>''n''</sub>(''F'')) का एक तत्व, <math>P</math>, ऐसा है कि <math>P^{-1}AP</math> एक औपचारिक रूप विकर्ण आव्यूह है.  
एक वर्ग <math>n \times n</math> आव्यूह, <math>A</math>, एक क्षेत्र में प्रविष्टियों के साथ (गणित) <math>F</math> यदि कोई उपस्थित है तो इसे विकर्णीय <math>n \times n</math> या गैर-दोषपूर्ण कहा जाता है विपरीत आव्यूह (अथार्त सामान्य रैखिक समूह GL<sub>''n''</sub>(''F'')) का एक तत्व, <math>P</math>, ऐसा है कि <math>P^{-1}AP</math> एक औपचारिक रूप विकर्ण आव्यूह है.  


{{Equation box 1
{{Equation box 1
Line 20: Line 21:
|cellpadding= 6
|cellpadding= 6
|border                                   
|border                                   
|border colour = #0073CF
                                                        |border colour = #0073CF
|background colour = #F5FFFA
|background colour = #F5FFFA
|title=}}
|title=}}
Line 27: Line 28:
विकर्ण मानचित्रों और आव्यूहों के बारे में मूलभूत तथ्य निम्नलिखित द्वारा व्यक्त किया गया है:
विकर्ण मानचित्रों और आव्यूहों के बारे में मूलभूत तथ्य निम्नलिखित द्वारा व्यक्त किया गया है:


* एक <math>n \times n</math> आव्यूह <math>A</math> एक मैदान के ऊपर <math>F</math> विकर्णीय है यदि और केवल यदि इसके आइगेनस्पेस के [[आयाम (रैखिक बीजगणित)]] का योग बराबर है <math>n</math>, जो कि स्थिति है यदि और केवल यदि इसका कोई [[आधार (रैखिक बीजगणित)]] उपस्थित है <math>F^n</math> के आईगेनवक्टर से मिलकर बना है <math>A</math>. यदि ऐसा कोई आधार मिल गया है, तो कोई आव्यूह बना सकता है <math>P</math> इन आधार सदिशों को स्तंभों के रूप में रखना, और <math>P^{-1}AP</math> एक विकर्ण आव्यूह होगा जिसकी विकर्ण प्रविष्टियाँ <math>A</math> आईगेनवैल्यू ​​​​हैं आव्यूह P को <math>A</math> के लिए एक मोडल आव्यूह के रूप में जाना जाता है।
* एक <math>n \times n</math> आव्यूह <math>A</math> एक क्षेत्र के ऊपर <math>F</math> विकर्णीय है यदि और केवल यदि इसके आइगेनस्पेस के आयाम (रैखिक बीजगणित) का योग समान है <math>n</math>, जो कि स्थिति है यदि और केवल यदि इसका कोई [[आधार (रैखिक बीजगणित)]] उपस्थित है <math>F^n</math> के आईगेनवक्टर से मिलकर बना है <math>A</math>. यदि ऐसा कोई आधार मिल गया है, तो कोई आव्यूह बना सकता है <math>P</math> इन आधार सदिशों को स्तंभों के रूप में रखना, और <math>P^{-1}AP</math> एक विकर्ण आव्यूह होगा जिसकी विकर्ण प्रविष्टियाँ <math>A</math> आईगेनवैल्यू ​​​​हैं आव्यूह P को <math>A</math> के लिए एक मोडल आव्यूह के रूप में जाना जाता है।
* एक रेखीय मानचित्र <math>T : V \to V</math> विकर्णीय है यदि और केवल यदि इसके आइगेनस्पेस के आयाम (रैखिक बीजगणित) का योग बराबर है {{nowrap|<math>\dim(V)</math>,}} जो कि स्थिति है यदि और केवल यदि <math>T</math> इसका कोई आधार उपस्थित है <math>V</math> के आईगेनवक्टर से मिलकर बना है . ऐसे आधार के संबंध में, <math>T</math> एक विकर्ण आव्यूह द्वारा दर्शाया जाएगा। इस आव्यूह की विकर्ण प्रविष्टियाँ {{nowrap|<math>T</math>.}} के आईगेनवैल्यू ​​हैं।
* एक रेखीय मानचित्र <math>T : V \to V</math> विकर्णीय है यदि और केवल यदि इसके आइगेनस्पेस के आयाम (रैखिक बीजगणित) का योग समान है {{nowrap|<math>\dim(V)</math>,}} जो कि स्थिति है यदि और केवल यदि <math>T</math> इसका कोई आधार उपस्थित है <math>V</math> के आईगेनवक्टर से मिलकर बना है . ऐसे आधार के संबंध में, <math>T</math> एक विकर्ण आव्यूह द्वारा दर्शाया जाएगा। इस आव्यूह की विकर्ण प्रविष्टियाँ {{nowrap|<math>T</math>.}} के आईगेनवैल्यू ​​हैं।


निम्नलिखित पर्याप्त (किंतु आवश्यक नहीं) स्थिति अधिकांशतः उपयोगी होती है।
निम्नलिखित पर्याप्त (किंतु आवश्यक नहीं) स्थिति अधिकांशतः उपयोगी होती है।
*एक <math>n \times n</math> आव्यूह A फ़ील्ड F पर विकर्णीय है यदि इसके F में n विशिष्ट आईगेनवैल्यू ​​हैं, अर्थात यदि इसकी विशेषता बहुपद की F में n विशिष्ट जड़ें हैं; चूँकि , इसका विपरीत गलत हो सकता है। विचार करना है <math display="block">\begin{bmatrix}  
*एक <math>n \times n</math> आव्यूह A क्षेत्र F पर विकर्णीय है यदि इसके F में n विशिष्ट आईगेनवैल्यू ​​हैं, अर्थात यदि इसकी विशेषता बहुपद की F में n विशिष्ट जड़ें हैं; चूँकि इसका विपरीत गलत हो सकता है। विचार करना है <math display="block">\begin{bmatrix}  
-1 & 3 & -1 \\
-1 & 3 & -1 \\
-3 & 5 & -1 \\
-3 & 5 & -1 \\
-3 & 3 & 1  
-3 & 3 & 1  
\end{bmatrix},</math>
\end{bmatrix},</math>
*जिसके आईगेनवैल्यू ​​1, 2, 2 (सभी अलग-अलग नहीं) हैं और विकर्ण रूप ({{nowrap|<math>A</math>)}} के समान) के साथ विकर्ण है।<math display="block">\begin{bmatrix}
*जिसके आईगेनवैल्यू ​​1, 2, 2 (सभी अलग-अलग नहीं) हैं और विकर्ण रूप ({{nowrap|<math>A</math>)}} के समान) के साथ विकर्ण है।<math display="block">\begin{bmatrix}
1 & 0 & 0 \\
1 & 0 & 0 \\
0 & 2 & 0 \\
0 & 2 & 0 \\
Line 44: Line 45:
1 & 1 & 0 \\
1 & 1 & 0 \\
1 & 0 & 3
1 & 0 & 3
\end{bmatrix}.</math>जब <math>A</math> का आयाम 1 से अधिक हो तो इसका विपरीत विफल हो जाता है इस उदाहरण में, का eigenspace <math>A</math> ईजेनवैल्यू 2 से संबद्ध आयाम 2 है।
\end{bmatrix}.</math>जब <math>A</math> का आयाम 1 से अधिक हो तो इसका विपरीत विफल हो जाता है इस उदाहरण में, का आईगेनस्पेस <math>A</math> आइगेनवैल्यू 2 से संबद्ध आयाम 2 है।
*<math>n = \dim(V)</math> के साथ एक रेखीय मानचित्र <math>T : V \to V</math> विकर्णीय है यदि इसमें <math>n</math> अलग-अलग आईगेनवैल्यू ​​हैं, अथार्त यदि इसकी विशेषता बहुपद में <math>F</math> में n अलग जड़ें हैं।
*<math>n = \dim(V)</math> के साथ एक रेखीय मानचित्र <math>T : V \to V</math> विकर्णीय है यदि इसमें <math>n</math> अलग-अलग आईगेनवैल्यू ​​हैं, अथार्त यदि इसकी विशेषता बहुपद में <math>F</math> में n अलग जड़ें हैं।


मान लीजिए कि A, F के ऊपर एक आव्यूह है। यदि A विकर्णीय है, तो इसकी कोई भी शक्ति वैसी ही है। इसके विपरीत, यदि A व्युत्क्रमणीय है, F बीजगणितीय रूप से बंद है, और <math>A^n</math> कुछ n के लिए विकर्णीय है जो कि F की विशेषता का पूर्णांक गुणज नहीं है, तो A विकर्णीय है। प्रमाण: यदि <math>A^n</math>} विकर्णीय है, तो A को किसी बहुपद {{nowrap|<math>\left(x^n - \lambda_1\right) \cdots \left(x^n - \lambda_k\right)</math>,}} द्वारा नष्ट कर दिया जाता है, जिसका कोई एकाधिक मूल नहीं होता है ({{nowrap|<math>\lambda_j \ne 0</math>)}} के बाद से) और {{nowrap|<math>A</math>.}} के न्यूनतम बहुपद से विभाजित होता है।
मान लीजिए कि A, F के ऊपर एक आव्यूह है। यदि A विकर्णीय है, तो इसकी कोई भी शक्ति वैसी ही है। इसके विपरीत, यदि A व्युत्क्रमणीय है, F बीजगणितीय रूप से बंद है, और <math>A^n</math> कुछ n के लिए विकर्णीय है जो कि F की विशेषता का पूर्णांक गुणज नहीं है, तो A विकर्णीय है। प्रमाण: यदि <math>A^n</math> विकर्णीय है, तो A को किसी बहुपद {{nowrap|<math>\left(x^n - \lambda_1\right) \cdots \left(x^n - \lambda_k\right)</math>,}} द्वारा नष्ट कर दिया जाता है, जिसका कोई एकाधिक मूल नहीं होता है ({{nowrap|<math>\lambda_j \ne 0</math>)}} के बाद से) और {{nowrap|<math>A</math>.}} के न्यूनतम बहुपद से विभाजित होता है।


सम्मिश्र संख्याओं <math>\Complex</math> पर, लगभग हर आव्यूह विकर्णीय है। अधिक स्पष्ट रूप से: जटिल <math>n \times n</math> आव्यूहों का समुच्चय जो {{nowrap|<math>\Complex</math>,}} पर विकर्णीय नहीं है, जिसे {{nowrap|<math>\Complex^{n \times n}</math>,}} के उपसमुच्चय के रूप में माना जाता है, लेबेस्ग का माप शून्य है। कोई यह भी कह सकता है कि विकर्णीय आव्यूह ज़ारिस्की टोपोलॉजी के संबंध में एक सघन उपसमुच्चय बनाते हैं: गैर-विकर्ण आव्यूह विशेषता बहुपद के विभेदक के लुप्त समुच्चय के अंदर स्थित होते हैं, जो एक हाइपरसर्फेस है। इससे एक मानक द्वारा दिए गए सामान्य (प्रबल) टोपोलॉजी में घनत्व का भी पता चलता है। यह बात {{nowrap|<math>\R</math>.}} से अधिक सत्य नहीं है।
सम्मिश्र संख्याओं <math>\Complex</math> पर, लगभग हर आव्यूह विकर्णीय है। अधिक स्पष्ट रूप से: जटिल <math>n \times n</math> आव्यूहों का समुच्चय जो {{nowrap|<math>\Complex</math>,}} पर विकर्णीय नहीं है, जिसे {{nowrap|<math>\Complex^{n \times n}</math>,}} के उपसमुच्चय के रूप में माना जाता है, लेबेस्ग का माप शून्य है। कोई यह भी कह सकता है कि विकर्णीय आव्यूह ज़ारिस्की टोपोलॉजी के संबंध में एक सघन उपसमुच्चय बनाते हैं: गैर-विकर्ण आव्यूह विशेषता बहुपद के विभेदक के लुप्त समुच्चय के अंदर स्थित होते हैं, जो एक अतिसतह है। इससे एक मानक द्वारा दिए गए सामान्य (प्रबल) टोपोलॉजी में घनत्व का भी पता चलता है। यह बात {{nowrap|<math>\R</math>.}} से अधिक सत्य नहीं है।


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


== विकर्णीकरण ==
== विकर्णीकरण ==
Line 71: Line 72:
           0 &        0 &  \cdots & \lambda_n
           0 &        0 &  \cdots & \lambda_n
\end{bmatrix}.</math>
\end{bmatrix}.</math>
<math>P</math> को इसके स्तंभ सदिश <math>\boldsymbol{\alpha}_{i}</math> के ब्लॉक आव्यूह के रूप में लिखना।
<math>P</math> को इसके स्तंभ सदिश <math>\boldsymbol{\alpha}_{i}</math> के ब्लॉक आव्यूह के रूप में लिखना।
:<math>P = \begin{bmatrix} \boldsymbol{\alpha}_1 & \boldsymbol{\alpha}_2 & \cdots & \boldsymbol{\alpha}_n \end{bmatrix},</math>
:<math>P = \begin{bmatrix} \boldsymbol{\alpha}_1 & \boldsymbol{\alpha}_2 & \cdots & \boldsymbol{\alpha}_n \end{bmatrix},</math>
उपरोक्त समीकरण को इस प्रकार पुनः लिखा जा सकता है
उपरोक्त समीकरण को इस प्रकार पुनः लिखा जा सकता है


:<math>A\boldsymbol{\alpha}_i = \lambda_i \boldsymbol{\alpha}_i \qquad (i=1,2,\dots,n).</math>
:<math>A\boldsymbol{\alpha}_i = \lambda_i \boldsymbol{\alpha}_i \qquad (i=1,2,\dots,n).</math>
तो '''<math>P</math>''' के स्तंभ सदिश {{nowrap|<math>A</math>,}} के सही आईगेनवक्टर हैं, और संबंधित विकर्ण प्रविष्टि संबंधित ईजेनवैल्यू  है। <math>P</math> की व्युत्क्रमणीयता यह भी बताती है कि आईगेनवक्टर रैखिक रूप से स्वतंत्र हैं और {{nowrap|<math>F^{n}</math>.}} का आधार बनाते हैं। यह विकर्णीकरण और विकर्णीकरण के विहित दृष्टिकोण के लिए आवश्यक और पर्याप्त शर्त है। <math>P^{-1}</math>के पंक्ति सदिश {{nowrap|<math>A</math>.}}के बाएँ आईगेनवक्टर हैं।
तो '''<math>P</math>''' के स्तंभ सदिश {{nowrap|<math>A</math>,}} के सही आईगेनवक्टर हैं, और संबंधित विकर्ण प्रविष्टि संबंधित आइगेनवैल्यू है। <math>P</math> की व्युत्क्रमणीयता यह भी बताती है कि आईगेनवक्टर रैखिक रूप से स्वतंत्र हैं और {{nowrap|<math>F^{n}</math>.}} का आधार बनाते हैं। यह विकर्णीकरण और विकर्णीकरण के विहित दृष्टिकोण के लिए आवश्यक और पर्याप्त शर्त है। <math>P^{-1}</math>के पंक्ति सदिश {{nowrap|<math>A</math>.}}के बाएँ आईगेनवक्टर हैं।


जब एक जटिल आव्यूह <math>A\in\mathbb{C}^{n\times n}</math> एक हर्मिटियन आव्यूह (या अधिक सामान्यतः एक सामान्य आव्यूह ) होता है, तो<math>A</math> के ईजेनवेक्टर को {{nowrap|<math>\mathbb{C}^n</math>,}} का ऑर्थोनॉर्मल आधार बनाने के लिए चुना जा सकता है, और <math>P</math> को एकात्मक आव्यूह के रूप में चुना जा सकता है। यदि इसके अतिरिक्त ,<math>A\in\mathbb{R}^{n\times n}</math>एक वास्तविक सममित आव्यूह है, तो इसके आइजनवेक्टरों को <math>\mathbb{R}^n</math> के ऑर्थोनॉर्मल आधार के रूप में चुना जा सकता है और <math>P</math> को ऑर्थोगोनल आव्यूह के रूप में चुना जा सकता है।
जब एक जटिल आव्यूह <math>A\in\mathbb{C}^{n\times n}</math> एक हर्मिटियन आव्यूह (या अधिक सामान्यतः एक सामान्य आव्यूह ) होता है, तो<math>A</math> के आइगेनसदिश को {{nowrap|<math>\mathbb{C}^n</math>,}} का ऑर्थोनॉर्मल आधार बनाने के लिए चुना जा सकता है, और <math>P</math> को एकात्मक आव्यूह के रूप में चुना जा सकता है। यदि इसके अतिरिक्त ,<math>A\in\mathbb{R}^{n\times n}</math>एक वास्तविक सममित आव्यूह है, तो इसके आइजनवेक्टरों को <math>\mathbb{R}^n</math> के ऑर्थोनॉर्मल आधार के रूप में चुना जा सकता है और <math>P</math> को ऑर्थोगोनल आव्यूह के रूप में चुना जा सकता है।


अधिकांश व्यावहारिक कार्यों के लिए आव्यूह को कंप्यूटर सॉफ़्टवेयर का उपयोग करके संख्यात्मक रूप से विकर्ण किया जाता है। इसे पूरा करने के लिए ईजेनवैल्यू एल्गोरिदम उपस्थित है।
अधिकांश व्यावहारिक कार्यों के लिए आव्यूह को कंप्यूटर सॉफ़्टवेयर का उपयोग करके संख्यात्मक रूप से विकर्ण किया जाता है। इसे पूरा करने के लिए आइगेनवैल्यू एल्गोरिदम उपस्थित है।


== एक साथ विकर्णीकरण ==
== एक साथ विकर्णीकरण ==
{{See also|त्रिकोणीय मैट्रिक्स या एक साथ त्रिकोणीयता|l1=एक साथ त्रिकोणीयता|वजन (प्रतिनिधित्व सिद्धांत)|सकारात्मक निश्चित मैट्रिक्स या एक साथ_विकर्णीकरण|l3=सकारात्मक निश्चित मैट्रिक्स}}
{{See also|त्रिकोणीय मैट्रिक्स या एक साथ त्रिकोणीयता|l1=एक साथ त्रिकोणीयता|वजन (प्रतिनिधित्व सिद्धांत)|सकारात्मक निश्चित मैट्रिक्स या एक साथ_विकर्णीकरण|l3=सकारात्मक निश्चित आव्यूह}}


यदि एकल व्युत्क्रमणीय आव्यूह उपस्थित है तो आव्यूह के एक समुच्चय को एक साथ विकर्णीय कहा जाता है जिसमे <math>P</math> ऐसा है कि <math>P^{-1}AP</math> प्रत्येक के लिए एक विकर्ण आव्यूह<math>A</math> है समुच्चय में. निम्नलिखित प्रमेय एक साथ विकर्णीय आव्यूह की विशेषता बताता है: विकर्ण [[आवागमन मैट्रिसेस]] का एक समुच्चय यदि और केवल यदि समुच्चय एक साथ विकर्ण योग्य है।<ref name="HornJohnson">{{cite book|title=मैट्रिक्स विश्लेषण, दूसरा संस्करण|last1=Horn|first1=Roger A.|last2=Johnson|first2=Charles R.|publisher=Cambridge University Press|year=2013|isbn=9780521839402}}</ref>{{rp|p. 64}}
यदि एकल व्युत्क्रमणीय आव्यूह उपस्थित है तो आव्यूह के एक समुच्चय को एक साथ विकर्णीय कहा जाता है जिसमे <math>P</math> ऐसा है कि <math>P^{-1}AP</math> प्रत्येक के लिए एक विकर्ण आव्यूह<math>A</math> है समुच्चय में. निम्नलिखित प्रमेय एक साथ विकर्णीय आव्यूह की विशेषता बताता है: विकर्ण [[आवागमन मैट्रिसेस]] का एक समुच्चय यदि और केवल यदि समुच्चय एक साथ विकर्ण योग्य है।<ref name="HornJohnson">{{cite book|title=मैट्रिक्स विश्लेषण, दूसरा संस्करण|last1=Horn|first1=Roger A.|last2=Johnson|first2=Charles R.|publisher=Cambridge University Press|year=2013|isbn=9780521839402}}</ref>{{rp|p. 64}}
Line 92: Line 93:
विकर्णीय हैं किंतु एक साथ विकर्णीय नहीं हैं क्योंकि वे गति नहीं करते हैं।
विकर्णीय हैं किंतु एक साथ विकर्णीय नहीं हैं क्योंकि वे गति नहीं करते हैं।


एक समुच्चय में सामान्य आव्यूह को कम्यूट करना सम्मिलित होता है यदि और केवल तभी जब यह एक एकात्मक आव्यूह द्वारा एक साथ विकर्ण योग्य हो; अर्थात्, एक एकात्मक आव्यूह <math>U</math> उपस्थित है जैसे कि समुच्चय में प्रत्येक <math>A</math>के लिए <math>U^{*} AU</math> विकर्ण है।
एक समुच्चय में सामान्य आव्यूह को कम्यूट करना सम्मिलित होता है यदि और केवल तभी जब यह एक एकात्मक आव्यूह द्वारा एक साथ विकर्ण योग्य हो; अर्थात्, एक एकात्मक आव्यूह <math>U</math> उपस्थित है जैसे कि समुच्चय में प्रत्येक <math>A</math>के लिए <math>U^{*} AU</math> विकर्ण है।


लाई सिद्धांत की भाषा में, एक साथ विकर्ण आव्यूह का एक समुच्चय एक टोरल लाई बीजगणित उत्पन्न करता है।
लाई सिद्धांत की भाषा में, एक साथ विकर्ण आव्यूह का एक समुच्चय एक टोरल लाई बीजगणित उत्पन्न करता है।
Line 99: Line 100:


=== विकर्णीय आव्यूह ===
=== विकर्णीय आव्यूह ===
* इनवोल्यूशन (गणित) वास्तविक (और वास्तव में 2 नहीं बल्कि विशेषता वाले किसी भी क्षेत्र) पर विकर्णीय है, विकर्ण पर ±1 के साथ।
* विकर्ण पर ±1 के साथ इन्वोल्यूशन वास्तविक (और वास्तव में 2 नहीं विशेषता वाले किसी भी क्षेत्र) पर विकर्णीय होते हैं।
* परिमित क्रम [[एंडोमोर्फिज्म]] विकर्णीय हैं <math>\mathbb{C}</math> (या कोई भी बीजगणितीय रूप से संवर्त क्षेत्र जहां क्षेत्र की विशेषता एंडोमोर्फिज्म के क्रम को विभाजित नहीं करती है) विकर्ण पर एकता की जड़ों के साथ यह इस प्रकार है क्योंकि न्यूनतम बहुपद [[वियोज्य बहुपद]] है, क्योंकि [[एकता की जड़ें]] अलग-अलग हैं।
*परिमित क्रम एंडोमोर्फिज्म विकर्ण पर एकता की जड़ों के साथ <math>\mathbb{C}</math> (या किसी भी बीजगणितीय रूप से बंद क्षेत्र जहां क्षेत्र की विशेषता एंडोमोर्फिज्म के क्रम को विभाजित नहीं करती है) पर विकर्णीय हैं। यह इस प्रकार है क्योंकि न्यूनतम बहुपद वियोज्य है, क्योंकि एकता की जड़ें अलग-अलग हैं।
* [[प्रक्षेपण (रैखिक बीजगणित)]] विकर्णीय हैं, विकर्ण पर 0s और 1s हैं।
* [[प्रक्षेपण (रैखिक बीजगणित)]] विकर्णीय हैं, विकर्ण पर 0s और 1s हैं।
*वास्तविक सममित आव्यूह ऑर्थोगोनल आव्यूह द्वारा विकर्णीय होते हैं; अथार्त एक वास्तविक सममित आव्यूह {{nowrap|<math>A</math>,}} दिया गया है, <math>Q^{\mathrm T}AQ</math> कुछ ऑर्थोगोनल आव्यूह {{nowrap|<math>Q</math>.}} के लिए विकर्ण है। अधिक सामान्यतः, आव्यूह एकात्मक आव्यूह द्वारा विकर्ण होते हैं यदि और केवल यदि वे सामान्य हैं। वास्तविक सममित आव्यूह के स्थिति में, हम देखते हैं कि {{nowrap|<math>A=A^{\mathrm T}</math>,}}, इसलिए स्पष्ट रूप से<math>AA^{\mathrm T} = A^{\mathrm T}A</math> कायम है। सामान्य आव्यूहों के उदाहरण वास्तविक सममित (या तिरछा-सममित) आव्यूह (जैसे सहप्रसरण आव्यूह) और हर्मिटियन आव्यूह (या तिरछा-हर्मिटियन आव्यूह) हैं। अनंत-आयामी वेक्टर स्थानों के सामान्यीकरण के लिए वर्णक्रमीय प्रमेय देखें।
*वास्तविक सममित आव्यूह ऑर्थोगोनल आव्यूह द्वारा विकर्णीय होते हैं; अथार्त एक वास्तविक सममित आव्यूह {{nowrap|<math>A</math>,}} दिया गया है, <math>Q^{\mathrm T}AQ</math> कुछ ऑर्थोगोनल आव्यूह {{nowrap|<math>Q</math>.}} के लिए विकर्ण है। अधिक सामान्यतः आव्यूह एकात्मक आव्यूह द्वारा विकर्ण होते हैं यदि और केवल यदि वे सामान्य हैं। वास्तविक सममित आव्यूह के स्थिति में, हम देखते हैं कि {{nowrap|<math>A=A^{\mathrm T}</math>,}}, इसलिए स्पष्ट रूप से<math>AA^{\mathrm T} = A^{\mathrm T}A</math> कायम है। सामान्य आव्यूहों के उदाहरण वास्तविक सममित (या तिरछा-सममित) आव्यूह (जैसे सहप्रसरण आव्यूह) और हर्मिटियन आव्यूह (या तिरछा-हर्मिटियन आव्यूह) हैं। अनंत-आयामी सदिश स्थानों के सामान्यीकरण के लिए वर्णक्रमीय प्रमेय देखें।


=== आव्यूह जो विकर्णीय नहीं हैं ===
=== आव्यूह जो विकर्णीय नहीं हैं ===
सामान्यतः एक घूर्णन आव्यूह वास्तविक पर विकर्णीय नहीं होता है, किंतु सभी घूर्णन आव्यूह या स्वतंत्र विमान जटिल क्षेत्र पर विकर्ण होते हैं। यहां तक ​​कि यदि कोई आव्यूह विकर्णीय नहीं है, तो सबसे अच्छा करना सदैव संभव होता है, और समान गुणों वाला एक आव्यूह खोजना होता है जिसमें अग्रणी विकर्ण पर आइगेनवैल्यू होते हैं, और सुपरडायगोनल पर या तो एक या शून्य होते हैं - जिसे [[ जॉर्डन सामान्य रूप |जॉर्डन सामान्य रूप]] के रूप में जाना जाता है।
सामान्यतः एक घूर्णन आव्यूह वास्तविक पर विकर्णीय नहीं होता है, किंतु सभी घूर्णन आव्यूह या स्वतंत्र विमान जटिल क्षेत्र पर विकर्ण होते हैं। यहां तक ​​कि यदि कोई आव्यूह विकर्णीय नहीं है, तो सबसे अच्छा करना सदैव संभव होता है, और समान गुणों वाला एक आव्यूह खोजना होता है जिसमें अग्रणी विकर्ण पर आइगेनवैल्यू होते हैं, और सुपरडायगोनल पर या तो एक या शून्य होते हैं - जिसे [[ जॉर्डन सामान्य रूप |जॉर्डन सामान्य रूप]] के रूप में जाना जाता है।


कुछ आव्यूह किसी भी क्षेत्र में विकर्णीय नहीं होते हैं, विशेष रूप से गैर-शून्य निलपोटेंट आव्यूह यह सामान्यतः तब होता है जब किसी आइगेनवैल्यू के आइजेनवैल्यू और आइजेनवेक्टर या बीजगणितीय बहुलता मेल नहीं खाते है । उदाहरण के लिए, विचार करें
कुछ आव्यूह किसी भी क्षेत्र में विकर्णीय नहीं होते हैं, विशेष रूप से गैर-शून्य निलपोटेंट आव्यूह यह सामान्यतः तब होता है जब किसी आइगेनवैल्यू के आइगेनवैल्यू और आइगेनसदिश या बीजगणितीय बहुलता मेल नहीं खाते है । उदाहरण के लिए, विचार करें


:<math> C = \begin{bmatrix} 0 & 1 \\ 0 & 0 \end{bmatrix}. </math>
:<math> C = \begin{bmatrix} 0 & 1 \\ 0 & 0 \end{bmatrix}. </math>
यह आव्यूह विकर्णीय नहीं है: ऐसा कोई आव्यूह <math>U</math> नहीं है कि <math>U^{-1}CU</math> एक विकर्ण आव्यूह हो। वास्तव में, <math>C</math> का एक ईजेनवैल्यू (अर्थात् शून्य) है और इस ईजेनवैल्यू में बीजगणितीय बहुलता 2 और ज्यामितीय बहुलता 1 है।
यह आव्यूह विकर्णीय नहीं है: ऐसा कोई आव्यूह <math>U</math> नहीं है कि <math>U^{-1}CU</math> एक विकर्ण आव्यूह हो। वास्तव में, <math>C</math> का एक आइगेनवैल्यू (अर्थात् शून्य) है और इस आइगेनवैल्यू में बीजगणितीय बहुलता 2 और ज्यामितीय बहुलता 1 है।


कुछ वास्तविक आव्यूह वास्तविक पर विकर्णीय नहीं होते हैं। उदाहरण के लिए आव्यूह पर विचार करें
कुछ वास्तविक आव्यूह वास्तविक पर विकर्णीय नहीं होते हैं। उदाहरण के लिए आव्यूह पर विचार करें


:<math> B = \left[\begin{array}{rr} 0 & 1 \\ \!-1 & 0 \end{array}\right]. </math>
:<math> B = \left[\begin{array}{rr} 0 & 1 \\ \!-1 & 0 \end{array}\right]. </math>
आव्यूह <math>B</math> में कोई वास्तविक आईगेनवैल्यू ​​नहीं है, इसलिए कोई वास्तविक आव्यूह <math>Q</math> नहीं है जैसे कि <math>Q^{-1}BQ</math> एक विकर्ण आव्यूह है। चूँकि यदि हम सम्मिश्र संख्याओं की अनुमति देते हैं तो हम <math>B</math> को विकर्णित कर सकते हैं। इसलिए , यदि हम लेते हैं
आव्यूह <math>B</math> में कोई वास्तविक आईगेनवैल्यू ​​नहीं है, इसलिए कोई वास्तविक आव्यूह <math>Q</math> नहीं है जैसे कि <math>Q^{-1}BQ</math> एक विकर्ण आव्यूह है। चूँकि यदि हम सम्मिश्र संख्याओं की अनुमति देते हैं तो हम <math>B</math> को विकर्णित कर सकते हैं। इसलिए , यदि हम लेते हैं


:<math> Q = \begin{bmatrix} 1 & i \\ i & 1 \end{bmatrix}, </math>
:<math> Q = \begin{bmatrix} 1 & i \\ i & 1 \end{bmatrix}, </math>
तब <math>Q^{-1}BQ</math> विकर्ण है। यह पता लगाना आसान है कि <math>B</math> घूर्णन आव्यूह है जो कोण <math display="inline">\theta = \frac{3\pi}{2}</math> द्वारा वामावर्त घूमता है ध्यान दें कि उपरोक्त उदाहरण दर्शाते हैं कि विकर्णीय आव्यूहों का योग विकर्णीय होने की आवश्यकता नहीं है।
तब <math>Q^{-1}BQ</math> विकर्ण है। यह पता लगाना आसान है कि <math>B</math> घूर्णन आव्यूह है जो कोण <math display="inline">\theta = \frac{3\pi}{2}</math> द्वारा वामावर्त घूमता है ध्यान दें कि उपरोक्त उदाहरण दर्शाते हैं कि विकर्णीय आव्यूहों का योग विकर्णीय होने की आवश्यकता नहीं है।


=== आव्यूह को विकर्ण कैसे करें ===
=== आव्यूह को विकर्ण कैसे करें ===
किसी आव्यूह को विकर्णित करना उसके [[आइगेनवैल्यूज़ एवं आइगेनवेक्टर्स]] को खोजने जैसी ही प्रक्रिया है, उस स्थिति में जब आइजेनवेक्टर एक आधार बनाते हैं। उदाहरण के लिए, आव्यूह पर विचार करें
किसी आव्यूह को विकर्णित करना उसके [[आइगेनवैल्यूज़ एवं आइगेनवेक्टर्स]] को खोजने जैसी ही प्रक्रिया है, उस स्थिति में जब आइगेनसदिश एक आधार बनाते हैं। उदाहरण के लिए, आव्यूह पर विचार करें


:<math>A=\left[\begin{array}{rrr}
:<math>A=\left[\begin{array}{rrr}
Line 128: Line 129:
1 & \!\!\!-1 & 3
1 & \!\!\!-1 & 3
\end{array}\right].</math>
\end{array}\right].</math>
अभिलक्षणिक बहुपद <math>p(\lambda)=\det(\lambda I-A)</math> के मूल आईगेनवैल्यू {{nowrap|<math>\lambda_1 = 1,\lambda_2 = 1,\lambda_3 = 2</math>.}} हैं। रैखिक प्रणाली <math>\left(I-A\right) \mathbf{v} = \mathbf{0}</math> को हल करने पर आइजनवेक्टर <math>\mathbf{v}_1 = (1,1,0)</math> और {{nowrap|<math>\mathbf{v}_2 = (0,2,1)</math>,}} मिलते हैं, जबकि <math>\left(2I-A\right)\mathbf{v} = \mathbf{0}</math> से {{nowrap|<math>\mathbf{v}_3 = (1,0,-1)</math>;}} मिलता है; अर्थात्, {{nowrap|<math>i = 1,2,3</math>.}} की लिए <math>A \mathbf{v}_i = \lambda_i \mathbf{v}_i</math>. ये सदिश {{nowrap|<math>V = \mathbb{R}^3</math>,}} का आधार बनाते हैं, इसलिए हम इन्हें प्राप्त करने के लिए परिवर्तन-आधारित आव्यूह '''<math>P</math>''' के कॉलम सदिश के रूप में इकट्ठा कर सकते हैं:
अभिलक्षणिक बहुपद <math>p(\lambda)=\det(\lambda I-A)</math> के मूल आईगेनवैल्यू {{nowrap|<math>\lambda_1 = 1,\lambda_2 = 1,\lambda_3 = 2</math>.}} हैं। रैखिक प्रणाली <math>\left(I-A\right) \mathbf{v} = \mathbf{0}</math> को हल करने पर [[आइगेनवैल्यूज़ एवं आइगेनवेक्टर्स|आइगेन]]सदिश <math>\mathbf{v}_1 = (1,1,0)</math> और {{nowrap|<math>\mathbf{v}_2 = (0,2,1)</math>,}} मिलते हैं, जबकि <math>\left(2I-A\right)\mathbf{v} = \mathbf{0}</math> से {{nowrap|<math>\mathbf{v}_3 = (1,0,-1)</math>;}} मिलता है; अर्थात्, {{nowrap|<math>i = 1,2,3</math>.}} की लिए <math>A \mathbf{v}_i = \lambda_i \mathbf{v}_i</math>. ये सदिश {{nowrap|<math>V = \mathbb{R}^3</math>,}} का आधार बनाते हैं, इसलिए हम इन्हें प्राप्त करने के लिए परिवर्तन-आधारित आव्यूह '''<math>P</math>''' के कॉलम सदिश के रूप में संग्रह कर सकते हैं:
<math display="block">P^{-1}AP =
<math display="block">P^{-1}AP =
\left[\begin{array}{rrr}
\left[\begin{array}{rrr}
Line 156: Line 157:
जिससे <math>P^{-1} AP</math> इसके आईगेनवक्टर के रूप में मानक आधार है, जो {{nowrap|<math>D</math>.}} परिभाषित करने वाली गुण है  
जिससे <math>P^{-1} AP</math> इसके आईगेनवक्टर के रूप में मानक आधार है, जो {{nowrap|<math>D</math>.}} परिभाषित करने वाली गुण है  


<ref name=":0">{{cite book| last1=Anton |first1=H. |last2= Rorres|first2= C. |title=प्राथमिक रैखिक बीजगणित (अनुप्रयोग संस्करण)| url=https://archive.org/details/studentsolutions00grob | url-access=registration |publisher=John Wiley & Sons|edition=8th|date=22 Feb 2000| ISBN= 978-0-471-17052-5}}</ref>ध्यान दें कि {{nowrap|<math>P</math>;}} में आईगेनवक्टर का कोई पसंदीदा क्रम नहीं है; {{nowrap|<math>P</math>;}} में आईगेनवक्टर का क्रम बदलने से {{nowrap|<math>A</math>.}} के विकर्ण रूप में आईगेनवैल्यू   ​​का क्रम बदल जाता है।<ref name=":0" />
<ref name=":0">{{cite book| last1=Anton |first1=H. |last2= Rorres|first2= C. |title=प्राथमिक रैखिक बीजगणित (अनुप्रयोग संस्करण)| url=https://archive.org/details/studentsolutions00grob | url-access=registration |publisher=John Wiley & Sons|edition=8th|date=22 Feb 2000| ISBN= 978-0-471-17052-5}}</ref>ध्यान दें कि {{nowrap|<math>P</math>;}} में आईगेनवक्टर का कोई पसंदीदा क्रम नहीं है; {{nowrap|<math>P</math>;}} में आईगेनवक्टर का क्रम बदलने से {{nowrap|<math>A</math>.}} के विकर्ण रूप में आईगेनवैल्यू ​​का क्रम बदल जाता है।<ref name=":0" />
== आव्यूह फ़ंक्शंस का अनुप्रयोग ==
== आव्यूह फ़ंक्शंस का अनुप्रयोग ==
विकर्णीकरण का उपयोग आव्यूह {{nowrap|<math>A = PDP^{-1}</math>:}} की शक्तियों की कुशलतापूर्वक गणना करने के लिए किया जा सकता है।
विकर्णीकरण का उपयोग आव्यूह {{nowrap|<math>A = PDP^{-1}</math>:}} की शक्तियों की कुशलतापूर्वक गणना करने के लिए किया जा सकता है।
Line 164: Line 165:
       &= PD\left(P^{-1}P\right) D \left(P^{-1}P\right) \cdots \left(P^{-1}P\right) D P^{-1} = PD^kP^{-1},
       &= PD\left(P^{-1}P\right) D \left(P^{-1}P\right) \cdots \left(P^{-1}P\right) D P^{-1} = PD^kP^{-1},
\end{align}</math>
\end{align}</math>
और उत्तरार्द्ध की गणना करना आसान है क्योंकि इसमें केवल विकर्ण आव्यूह की शक्तियां सम्मिलित हैं। उदाहरण के लिए, आव्यूह के लिए <math>A</math> आईगेनवैल्यू ​​​​के साथ <math>\lambda = 1,1,2</math> उपरोक्त उदाहरण में हम गणना करते हैं:
और उत्तरार्द्ध की गणना करना आसान है क्योंकि इसमें केवल विकर्ण आव्यूह की शक्तियां सम्मिलित हैं। उदाहरण के लिए, आव्यूह के लिए <math>A</math> आईगेनवैल्यू ​​​​के साथ <math>\lambda = 1,1,2</math> उपरोक्त उदाहरण में हम गणना करते हैं:


: <math>\begin{align}
: <math>\begin{align}
Line 185: Line 186:
       \end{bmatrix}.
       \end{bmatrix}.
\end{align}</math>
\end{align}</math>
इस दृष्टिकोण को [[ मैट्रिक्स घातांक |आव्यूह घातांक]] और अन्य [[मैट्रिक्स फ़ंक्शन|आव्यूह फ़ंक्शन]] के लिए सामान्यीकृत किया जा सकता है जिन्हें पावर श्रृंखला के रूप में परिभाषित किया जा सकता है। उदाहरण के लिए, परिभाषित करना {{nowrap|<math display="inline">\exp(A) = I + A + \frac{1}{2!}A^2 + \frac{1}{3!}A^3 + \cdots</math>,}} अपने पास:
इस दृष्टिकोण को [[ मैट्रिक्स घातांक |आव्यूह घातांक]] और अन्य [[मैट्रिक्स फ़ंक्शन|आव्यूह फलन]] के लिए सामान्यीकृत किया जा सकता है जिन्हें पावर श्रृंखला के रूप में परिभाषित किया जा सकता है। उदाहरण के लिए, परिभाषित करना {{nowrap|<math display="inline">\exp(A) = I + A + \frac{1}{2!}A^2 + \frac{1}{3!}A^3 + \cdots</math>,}} अपने पास:
: <math>\begin{align}
: <math>\begin{align}
   \exp(A) = P \exp(D) P^{-1}
   \exp(A) = P \exp(D) P^{-1}
Line 225: Line 226:
   \mathbf{v} = \begin{bmatrix} 1 \\ 1 \end{bmatrix} = \mathbf{e}_1 + \mathbf{e}_2,
   \mathbf{v} = \begin{bmatrix} 1 \\ 1 \end{bmatrix} = \mathbf{e}_1 + \mathbf{e}_2,
</math>
</math>
जहाँ '''e'''<sub>''i''</sub> '''R'''<sup>''n''</sup> के मानक आधार को दर्शाता है. आधार का विपरीत परिवर्तन किसके द्वारा दिया गया है?
जहाँ '''e'''<sub>''i''</sub> '''R'''<sup>''n''</sup> के मानक आधार को दर्शाता है. आधार का विपरीत परिवर्तन किसके द्वारा दिया गया है?


:<math>\mathbf{e}_1 = \mathbf{u},\qquad \mathbf{e}_2 = \mathbf{v} - \mathbf{u}.</math>
:<math>\mathbf{e}_1 = \mathbf{u},\qquad \mathbf{e}_2 = \mathbf{v} - \mathbf{u}.</math>
Line 269: Line 270:
{{reflist}}
{{reflist}}


{{Matrix classes}}
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category: मैट्रिसेस]]  
[[Category:Collapse templates]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 06/07/2023]]
[[Category:Created On 06/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages that use a deprecated format of the math tags]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:मैट्रिसेस]]

Latest revision as of 13:08, 8 September 2023



रैखिक बीजगणित में, एक वर्ग आव्यूह को विकर्णीय या गैर-दोषपूर्ण कहा जाता है यदि यह एक विकर्ण आव्यूह के समान है, अथार्त , यदि एक उलटा आव्यूह और एक विकर्ण आव्यूह उपस्थित है जैसे कि ,, या समकक्ष . (ऐसे , अद्वितीय नहीं हैं।) एक परिमित-आयामी सदिश स्थान , के लिए, एक रैखिक मानचित्र को विकर्ण कहा जाता है यदि के आइगेनसदिश से युक्त का एक क्रमबद्ध आधार उपस्थित है। ये परिभाषाएं समतुल्य हैं: यदि में है उपरोक्त के अनुसार एक आव्यूह प्रतिनिधित्व फिर के स्तंभ सदिश , के आइगेनवेक्टरों से मिलकर एक आधार बनाते हैं, और की विकर्ण प्रविष्टियाँ , के संबंधित आइगेनवैल्यू हैं; इस आइगेनसदिश आधार के संबंध में, को द्वारा दर्शाया गया है। विकर्णीकरण उपरोक्त और को खोजने की प्रक्रिया है।

विकर्णीय आव्यूह और मानचित्र गणना के लिए विशेष रूप से आसान होते हैं, एक बार जब उनके आइगेनवैल्यू और आइगेनसदिश ज्ञात हो जाते हैं। कोई एक विकर्ण आव्यूह बढ़ा सकता है  किसी घात को केवल विकर्ण प्रविष्टियों को उस घात तक बढ़ाकर और एक विकर्ण आव्यूह का निर्धारक बस सभी विकर्ण प्रविष्टियों का उत्पाद है; ऐसी गणनाएँ आसानी से सामान्यीकृत. हो जाती हैं ज्यामितीय रूप से, एक विकर्ण आव्यूह एक अमानवीय प्रसार (या अनिसोट्रोपिक स्केलिंग) है - यह स्थान को स्केलिंग (ज्यामिति) करता है, जैसा कि एक सजातीय प्रसार होता है, किंतु प्रत्येक आइगेनसदिश अक्ष के साथ एक अलग कारक द्वारा, कारक संगत आइगेनवैल्यू द्वारा दिया गया।

एक वर्ग आव्यूह जो विकर्णीय नहीं है उसे दोषपूर्ण कहा जाता है। ऐसा हो सकता है कि वास्तविक प्रविष्टियों वाला आव्यूह वास्तविक संख्याओं पर दोषपूर्ण है, जिसका अर्थ है कि वास्तविक प्रविष्टियों वाले किसी भी उलटा और विकर्ण के लिए असंभव है, किंतु जटिल प्रविष्टियों के साथ यह संभव है, जिससे विकर्ण हो। जटिल आंकड़े उदाहरण के लिए, यह सामान्य घूर्णन आव्यूह का स्थिति है।

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

परिभाषा

एक वर्ग आव्यूह, , एक क्षेत्र में प्रविष्टियों के साथ (गणित) यदि कोई उपस्थित है तो इसे विकर्णीय या गैर-दोषपूर्ण कहा जाता है विपरीत आव्यूह (अथार्त सामान्य रैखिक समूह GLn(F)) का एक तत्व, , ऐसा है कि एक औपचारिक रूप विकर्ण आव्यूह है.

लक्षण वर्णन

विकर्ण मानचित्रों और आव्यूहों के बारे में मूलभूत तथ्य निम्नलिखित द्वारा व्यक्त किया गया है:

  • एक आव्यूह एक क्षेत्र के ऊपर विकर्णीय है यदि और केवल यदि इसके आइगेनस्पेस के आयाम (रैखिक बीजगणित) का योग समान है , जो कि स्थिति है यदि और केवल यदि इसका कोई आधार (रैखिक बीजगणित) उपस्थित है के आईगेनवक्टर से मिलकर बना है . यदि ऐसा कोई आधार मिल गया है, तो कोई आव्यूह बना सकता है इन आधार सदिशों को स्तंभों के रूप में रखना, और एक विकर्ण आव्यूह होगा जिसकी विकर्ण प्रविष्टियाँ आईगेनवैल्यू ​​​​हैं आव्यूह P को के लिए एक मोडल आव्यूह के रूप में जाना जाता है।
  • एक रेखीय मानचित्र विकर्णीय है यदि और केवल यदि इसके आइगेनस्पेस के आयाम (रैखिक बीजगणित) का योग समान है , जो कि स्थिति है यदि और केवल यदि इसका कोई आधार उपस्थित है के आईगेनवक्टर से मिलकर बना है . ऐसे आधार के संबंध में, एक विकर्ण आव्यूह द्वारा दर्शाया जाएगा। इस आव्यूह की विकर्ण प्रविष्टियाँ . के आईगेनवैल्यू ​​हैं।

निम्नलिखित पर्याप्त (किंतु आवश्यक नहीं) स्थिति अधिकांशतः उपयोगी होती है।

  • एक आव्यूह A क्षेत्र F पर विकर्णीय है यदि इसके F में n विशिष्ट आईगेनवैल्यू ​​हैं, अर्थात यदि इसकी विशेषता बहुपद की F में n विशिष्ट जड़ें हैं; चूँकि इसका विपरीत गलत हो सकता है। विचार करना है
  • जिसके आईगेनवैल्यू ​​1, 2, 2 (सभी अलग-अलग नहीं) हैं और विकर्ण रूप () के समान) के साथ विकर्ण है।
    और आधार का परिवर्तन :
    जब का आयाम 1 से अधिक हो तो इसका विपरीत विफल हो जाता है इस उदाहरण में, का आईगेनस्पेस आइगेनवैल्यू 2 से संबद्ध आयाम 2 है।
  • के साथ एक रेखीय मानचित्र विकर्णीय है यदि इसमें अलग-अलग आईगेनवैल्यू ​​हैं, अथार्त यदि इसकी विशेषता बहुपद में में n अलग जड़ें हैं।

मान लीजिए कि A, F के ऊपर एक आव्यूह है। यदि A विकर्णीय है, तो इसकी कोई भी शक्ति वैसी ही है। इसके विपरीत, यदि A व्युत्क्रमणीय है, F बीजगणितीय रूप से बंद है, और कुछ n के लिए विकर्णीय है जो कि F की विशेषता का पूर्णांक गुणज नहीं है, तो A विकर्णीय है। प्रमाण: यदि विकर्णीय है, तो A को किसी बहुपद , द्वारा नष्ट कर दिया जाता है, जिसका कोई एकाधिक मूल नहीं होता है () के बाद से) और . के न्यूनतम बहुपद से विभाजित होता है।

सम्मिश्र संख्याओं पर, लगभग हर आव्यूह विकर्णीय है। अधिक स्पष्ट रूप से: जटिल आव्यूहों का समुच्चय जो , पर विकर्णीय नहीं है, जिसे , के उपसमुच्चय के रूप में माना जाता है, लेबेस्ग का माप शून्य है। कोई यह भी कह सकता है कि विकर्णीय आव्यूह ज़ारिस्की टोपोलॉजी के संबंध में एक सघन उपसमुच्चय बनाते हैं: गैर-विकर्ण आव्यूह विशेषता बहुपद के विभेदक के लुप्त समुच्चय के अंदर स्थित होते हैं, जो एक अतिसतह है। इससे एक मानक द्वारा दिए गए सामान्य (प्रबल) टोपोलॉजी में घनत्व का भी पता चलता है। यह बात . से अधिक सत्य नहीं है।

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

विकर्णीकरण

एक सममित आव्यूह के विकर्णीकरण को आइजनवेक्टरों के साथ संरेखित करने के लिए अक्षों के घूर्णन के रूप में व्याख्या की जा सकती है।

यदि एक आव्यूह विकर्ण किया जा सकता है, अर्थात,

तब:

को इसके स्तंभ सदिश के ब्लॉक आव्यूह के रूप में लिखना।

उपरोक्त समीकरण को इस प्रकार पुनः लिखा जा सकता है

तो के स्तंभ सदिश , के सही आईगेनवक्टर हैं, और संबंधित विकर्ण प्रविष्टि संबंधित आइगेनवैल्यू है। की व्युत्क्रमणीयता यह भी बताती है कि आईगेनवक्टर रैखिक रूप से स्वतंत्र हैं और . का आधार बनाते हैं। यह विकर्णीकरण और विकर्णीकरण के विहित दृष्टिकोण के लिए आवश्यक और पर्याप्त शर्त है। के पंक्ति सदिश .के बाएँ आईगेनवक्टर हैं।

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

अधिकांश व्यावहारिक कार्यों के लिए आव्यूह को कंप्यूटर सॉफ़्टवेयर का उपयोग करके संख्यात्मक रूप से विकर्ण किया जाता है। इसे पूरा करने के लिए आइगेनवैल्यू एल्गोरिदम उपस्थित है।

एक साथ विकर्णीकरण

यदि एकल व्युत्क्रमणीय आव्यूह उपस्थित है तो आव्यूह के एक समुच्चय को एक साथ विकर्णीय कहा जाता है जिसमे ऐसा है कि प्रत्येक के लिए एक विकर्ण आव्यूह है समुच्चय में. निम्नलिखित प्रमेय एक साथ विकर्णीय आव्यूह की विशेषता बताता है: विकर्ण आवागमन मैट्रिसेस का एक समुच्चय यदि और केवल यदि समुच्चय एक साथ विकर्ण योग्य है।[1]: p. 64 

सबका समुच्चय विकर्णीय आव्यूह (ओवर)। ) साथ एक साथ विकर्णीय नहीं है। उदाहरण के लिए, आव्यूह

विकर्णीय हैं किंतु एक साथ विकर्णीय नहीं हैं क्योंकि वे गति नहीं करते हैं।

एक समुच्चय में सामान्य आव्यूह को कम्यूट करना सम्मिलित होता है यदि और केवल तभी जब यह एक एकात्मक आव्यूह द्वारा एक साथ विकर्ण योग्य हो; अर्थात्, एक एकात्मक आव्यूह उपस्थित है जैसे कि समुच्चय में प्रत्येक के लिए विकर्ण है।

लाई सिद्धांत की भाषा में, एक साथ विकर्ण आव्यूह का एक समुच्चय एक टोरल लाई बीजगणित उत्पन्न करता है।

उदाहरण

विकर्णीय आव्यूह

  • विकर्ण पर ±1 के साथ इन्वोल्यूशन वास्तविक (और वास्तव में 2 नहीं विशेषता वाले किसी भी क्षेत्र) पर विकर्णीय होते हैं।
  • परिमित क्रम एंडोमोर्फिज्म विकर्ण पर एकता की जड़ों के साथ (या किसी भी बीजगणितीय रूप से बंद क्षेत्र जहां क्षेत्र की विशेषता एंडोमोर्फिज्म के क्रम को विभाजित नहीं करती है) पर विकर्णीय हैं। यह इस प्रकार है क्योंकि न्यूनतम बहुपद वियोज्य है, क्योंकि एकता की जड़ें अलग-अलग हैं।
  • प्रक्षेपण (रैखिक बीजगणित) विकर्णीय हैं, विकर्ण पर 0s और 1s हैं।
  • वास्तविक सममित आव्यूह ऑर्थोगोनल आव्यूह द्वारा विकर्णीय होते हैं; अथार्त एक वास्तविक सममित आव्यूह , दिया गया है, कुछ ऑर्थोगोनल आव्यूह . के लिए विकर्ण है। अधिक सामान्यतः आव्यूह एकात्मक आव्यूह द्वारा विकर्ण होते हैं यदि और केवल यदि वे सामान्य हैं। वास्तविक सममित आव्यूह के स्थिति में, हम देखते हैं कि ,, इसलिए स्पष्ट रूप से कायम है। सामान्य आव्यूहों के उदाहरण वास्तविक सममित (या तिरछा-सममित) आव्यूह (जैसे सहप्रसरण आव्यूह) और हर्मिटियन आव्यूह (या तिरछा-हर्मिटियन आव्यूह) हैं। अनंत-आयामी सदिश स्थानों के सामान्यीकरण के लिए वर्णक्रमीय प्रमेय देखें।

आव्यूह जो विकर्णीय नहीं हैं

सामान्यतः एक घूर्णन आव्यूह वास्तविक पर विकर्णीय नहीं होता है, किंतु सभी घूर्णन आव्यूह या स्वतंत्र विमान जटिल क्षेत्र पर विकर्ण होते हैं। यहां तक ​​कि यदि कोई आव्यूह विकर्णीय नहीं है, तो सबसे अच्छा करना सदैव संभव होता है, और समान गुणों वाला एक आव्यूह खोजना होता है जिसमें अग्रणी विकर्ण पर आइगेनवैल्यू होते हैं, और सुपरडायगोनल पर या तो एक या शून्य होते हैं - जिसे जॉर्डन सामान्य रूप के रूप में जाना जाता है।

कुछ आव्यूह किसी भी क्षेत्र में विकर्णीय नहीं होते हैं, विशेष रूप से गैर-शून्य निलपोटेंट आव्यूह यह सामान्यतः तब होता है जब किसी आइगेनवैल्यू के आइगेनवैल्यू और आइगेनसदिश या बीजगणितीय बहुलता मेल नहीं खाते है । उदाहरण के लिए, विचार करें

यह आव्यूह विकर्णीय नहीं है: ऐसा कोई आव्यूह नहीं है कि एक विकर्ण आव्यूह हो। वास्तव में, का एक आइगेनवैल्यू (अर्थात् शून्य) है और इस आइगेनवैल्यू में बीजगणितीय बहुलता 2 और ज्यामितीय बहुलता 1 है।

कुछ वास्तविक आव्यूह वास्तविक पर विकर्णीय नहीं होते हैं। उदाहरण के लिए आव्यूह पर विचार करें

आव्यूह में कोई वास्तविक आईगेनवैल्यू ​​नहीं है, इसलिए कोई वास्तविक आव्यूह नहीं है जैसे कि एक विकर्ण आव्यूह है। चूँकि यदि हम सम्मिश्र संख्याओं की अनुमति देते हैं तो हम को विकर्णित कर सकते हैं। इसलिए , यदि हम लेते हैं

तब विकर्ण है। यह पता लगाना आसान है कि घूर्णन आव्यूह है जो कोण द्वारा वामावर्त घूमता है ध्यान दें कि उपरोक्त उदाहरण दर्शाते हैं कि विकर्णीय आव्यूहों का योग विकर्णीय होने की आवश्यकता नहीं है।

आव्यूह को विकर्ण कैसे करें

किसी आव्यूह को विकर्णित करना उसके आइगेनवैल्यूज़ एवं आइगेनवेक्टर्स को खोजने जैसी ही प्रक्रिया है, उस स्थिति में जब आइगेनसदिश एक आधार बनाते हैं। उदाहरण के लिए, आव्यूह पर विचार करें

अभिलक्षणिक बहुपद के मूल आईगेनवैल्यू . हैं। रैखिक प्रणाली को हल करने पर आइगेनसदिश और , मिलते हैं, जबकि से ; मिलता है; अर्थात्, . की लिए . ये सदिश , का आधार बनाते हैं, इसलिए हम इन्हें प्राप्त करने के लिए परिवर्तन-आधारित आव्यूह के कॉलम सदिश के रूप में संग्रह कर सकते हैं:

हम इस समीकरण को परिवर्तनों के संदर्भ में देख सकते हैं: मानक आधार को आईगेनबेसिस , पर ले जाता है, इसलिए हमारे पास:
जिससे इसके आईगेनवक्टर के रूप में मानक आधार है, जो . परिभाषित करने वाली गुण है

[2]ध्यान दें कि ; में आईगेनवक्टर का कोई पसंदीदा क्रम नहीं है; ; में आईगेनवक्टर का क्रम बदलने से . के विकर्ण रूप में आईगेनवैल्यू ​​का क्रम बदल जाता है।[2]

आव्यूह फ़ंक्शंस का अनुप्रयोग

विकर्णीकरण का उपयोग आव्यूह : की शक्तियों की कुशलतापूर्वक गणना करने के लिए किया जा सकता है।

और उत्तरार्द्ध की गणना करना आसान है क्योंकि इसमें केवल विकर्ण आव्यूह की शक्तियां सम्मिलित हैं। उदाहरण के लिए, आव्यूह के लिए आईगेनवैल्यू ​​​​के साथ उपरोक्त उदाहरण में हम गणना करते हैं:

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

यह रैखिक पुनरावर्ती अनुक्रम जैसे फाइबोनैचि संख्या या आव्यूह फॉर्म के लिए संवर्त फॉर्म अभिव्यक्ति खोजने में विशेष रूप से उपयोगी है।

विशेष अनुप्रयोग

उदाहरण के लिए, निम्नलिखित आव्यूह पर विचार करें:

की विभिन्न शक्तियों की गणना है जो की एक आश्चर्यजनक पैटर्न का पता चलता है:

उपरोक्त घटना को . को विकर्ण करके समझाया जा सकता है। इसे पूरा करने के लिए, हमें . के आईगेनवक्टर से युक्त के आधार की आवश्यकता है। ऐसा एक आईगेनवक्टर आधार दिया गया है

जहाँ ei Rn के मानक आधार को दर्शाता है. आधार का विपरीत परिवर्तन किसके द्वारा दिया गया है?

सीधी गणनाएँ यह दर्शाती हैं

इस प्रकार, a और b क्रमशः u और v के संगत आइगेनवैल्यू ​​हैं। आव्यूह गुणन की रैखिकता से, हमारे पास वह है

मानक आधार पर वापस लौटते हुए, हमारे पास है

पूर्ववर्ती संबंध, आव्यूह रूप में व्यक्त किए गए हैं

जिससे उपरोक्त घटना की व्याख्या हो सकती है।

क्वांटम यांत्रिक अनुप्रयोग

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

हिल्बर्ट स्पेस को सीमित आयाम तक छोटा करना एक बहुत ही सामान्य सन्निकटन है, जिसके बाद श्रोडिंगर समीकरण को वास्तविक सममित या जटिल हर्मिटियन आव्यूह की एक स्वदेशी समस्या के रूप में तैयार किया जा सकता है। औपचारिक रूप से यह सन्निकटन परिवर्तनशील सिद्धांत पर आधारित है, जो नीचे से बंधे हैमिल्टनवासियों के लिए मान्य है।

व्याकुलता सिद्धांत (क्वांटम यांत्रिकी) या प्रथम क्रम सुधार या प्रथम-क्रम व्याकुलता सिद्धांत भी पतित अवस्था के लिए आव्यूह आइगेनवैल्यू समस्या की ओर ले जाता है।

यह भी देखें

टिप्पणियाँ


संदर्भ

  1. Horn, Roger A.; Johnson, Charles R. (2013). मैट्रिक्स विश्लेषण, दूसरा संस्करण. Cambridge University Press. ISBN 9780521839402.
  2. 2.0 2.1 Anton, H.; Rorres, C. (22 Feb 2000). प्राथमिक रैखिक बीजगणित (अनुप्रयोग संस्करण) (8th ed.). John Wiley & Sons. ISBN 978-0-471-17052-5.