वर्ग आव्यूह: Difference between revisions
No edit summary |
No edit summary |
||
| (6 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{Short description|Matrix with the same number of rows and columns}} | {{Short description|Matrix with the same number of rows and columns}} | ||
[[File:Arbitrary square matrix.gif|thumb|क्रम 4 का एक वर्ग आव्युह। प्रविष्टियाँ <math>a_{ii}</math> एक वर्ग आव्युह का [[ मुख्य विकर्ण ]] बनाएँ। उदाहरण के लिए, उपरोक्त 4×4 आव्युह के मुख्य विकर्ण में तत्व सम्मिलित हैं {{nowrap|1=''a''<sub>11</sub> = 9}}, {{nowrap|1=''a''<sub>22</sub> = 11}}, {{nowrap|1=''a''<sub>33</sub> = 4}}, {{nowrap|1=''a''<sub>44</sub> = 10}}.]]गणित में, | [[File:Arbitrary square matrix.gif|thumb|क्रम 4 का एक वर्ग आव्युह। प्रविष्टियाँ <math>a_{ii}</math> एक वर्ग आव्युह का [[ मुख्य विकर्ण |मुख्य विकर्ण]] बनाएँ। उदाहरण के लिए, उपरोक्त 4×4 आव्युह के मुख्य विकर्ण में तत्व सम्मिलित हैं {{nowrap|1=''a''<sub>11</sub> = 9}}, {{nowrap|1=''a''<sub>22</sub> = 11}}, {{nowrap|1=''a''<sub>33</sub> = 4}}, {{nowrap|1=''a''<sub>44</sub> = 10}}.]]गणित में, वर्ग आव्युह एक [[ मैट्रिक्स (गणित) |आव्युह (गणित)]] है जिसमें पंक्तियों और स्तंभों की समान संख्या होती है। ''n''-by-''n'' आव्युह को क्रम {{nowrap|<math>n</math>.}} के वर्ग आव्युह के रूप में जाना जाता है एक ही क्रम के किन्हीं भी दो वर्ग आव्यूहों को जोड़ा और गुणा किया जा सकता है। | ||
वर्ग आव्युह का उपयोग अधिकांशतः सरल रेखीय परिवर्तनों का प्रतिनिधित्व करने के लिए किया जाता है, जैसे कि [[ शियर मैपिंग | अपरुपण मानचित्रण]] या [[ रोटेशन (गणित) | प्रवर्तन (गणित)]] है। उदाहरण के लिए, यदि <math>R</math> | वर्ग आव्युह का उपयोग अधिकांशतः सरल रेखीय परिवर्तनों का प्रतिनिधित्व करने के लिए किया जाता है, जैसे कि [[ शियर मैपिंग |अपरुपण मानचित्रण]] या [[ रोटेशन (गणित) |प्रवर्तन (गणित)]] है। उदाहरण के लिए, यदि <math>R</math> प्रवर्तन ([[ रोटेशन मैट्रिक्स | प्रवर्तन आव्युह]] ) का प्रतिनिधित्व करने वाला वर्ग आव्युह है और <math>\mathbf{v}</math> [[ कॉलम वेक्टर | स्तंभ सदिश]] है जो अंतरिक्ष में बिंदु की स्थिति (सदिश) का वर्णन करता है, उत्पाद <math>R\mathbf{v}</math> उस घुमाव के बाद उस बिंदु की स्थिति का वर्णन करने वाला एक अन्य स्तंभ सदिश उत्पन्न करता है। यदि <math>\mathbf{v}</math> [[ पंक्ति वेक्टर | पंक्ति सदिश]] है, उसी परिवर्तन {{nowrap|<math>\mathbf{v}R^{\mathsf T}</math>,}} का उपयोग करके प्राप्त किया जा सकता है जहाँ <math>R^{\mathsf T}</math> का स्थानान्तरण {{nowrap|<math>R</math>.}} है तो सामान्य आव्युह मुख्य रूप से रुचि के होते हैं क्योंकि उनमें अभी सूचीबद्ध आव्युह के प्रकार सम्मिलित होते हैं और आव्युह का सबसे व्यापक वर्ग बनाते हैं जिसके लिए स्पेक्ट्रल प्रमेय धारण करता है।<ref name=":0" /> | ||
== प्रमुख विकर्ण == | == प्रमुख विकर्ण == | ||
{{Main|प्रमुख विकर्ण}} | {{Main|प्रमुख विकर्ण}} | ||
| Line 14: | Line 12: | ||
:{| class="wikitable" style="float:right; margin:0ex 0ex 2ex 2ex;" | :{| class="wikitable" style="float:right; margin:0ex 0ex 2ex 2ex;" | ||
|- | |- | ||
! | ! नाम !! उदाहरण एन = 3 के साथ | ||
|- | |- | ||
| [[Diagonal matrix]] || style="text-align:center;" | <math> | | [[Diagonal matrix|विकर्ण आव्यूह]] || style="text-align:center;" | <math> | ||
\begin{bmatrix} | \begin{bmatrix} | ||
a_{11} & 0 & 0 \\ | a_{11} & 0 & 0 \\ | ||
| Line 24: | Line 22: | ||
</math> | </math> | ||
|- | |- | ||
| [[Lower triangular matrix]] || style="text-align:center;" | <math> | | [[Lower triangular matrix|निचला त्रिकोणीय आव्यूह]] || style="text-align:center;" | <math> | ||
\begin{bmatrix} | \begin{bmatrix} | ||
a_{11} & 0 & 0 \\ | a_{11} & 0 & 0 \\ | ||
| Line 32: | Line 30: | ||
</math> | </math> | ||
|- | |- | ||
| [[Upper triangular matrix]] || style="text-align:center;" | <math> | | [[Upper triangular matrix|ऊपरी त्रिकोणीय आव्यूह]] || style="text-align:center;" | <math> | ||
\begin{bmatrix} | \begin{bmatrix} | ||
a_{11} & a_{12} & a_{13} \\ | a_{11} & a_{12} & a_{13} \\ | ||
| Line 41: | Line 39: | ||
|} | |} | ||
=== विकर्ण या त्रिकोणीय आव्युह === | === विकर्ण या त्रिकोणीय आव्युह === | ||
यदि मुख्य विकर्ण के बाहर की सभी प्रविष्टियाँ शून्य हैं, <math>A</math> [[ विकर्ण मैट्रिक्स | विकर्ण आव्युह]] कहा जाता है। यदि मुख्य विकर्ण के ऊपर (या नीचे) सभी प्रविष्टियाँ शून्य हैं, <math>A</math> ऊपरी (या निचला) [[ त्रिकोणीय मैट्रिक्स | त्रिकोणीय आव्युह]] कहा जाता है। | यदि मुख्य विकर्ण के बाहर की सभी प्रविष्टियाँ शून्य हैं, <math>A</math> [[ विकर्ण मैट्रिक्स |विकर्ण आव्युह]] कहा जाता है। यदि मुख्य विकर्ण के ऊपर (या नीचे) सभी प्रविष्टियाँ शून्य हैं, <math>A</math> ऊपरी (या निचला) [[ त्रिकोणीय मैट्रिक्स |त्रिकोणीय आव्युह]] कहा जाता है। | ||
=== पहचान आव्युह === | === पहचान आव्युह === | ||
| Line 60: | Line 58: | ||
\end{bmatrix}. | \end{bmatrix}. | ||
</math> | </math> | ||
यह क्रम {{nowrap|<math>n</math>,}} का वर्ग आव्युह है | यह क्रम {{nowrap|<math>n</math>,}} का वर्ग आव्युह है और विशेष प्रकार का विकर्ण आव्युह भी है। इसे पहचान आव्युह कहा जाता है क्योंकि इसके साथ गुणा करने से आव्युह अपरिवर्तित रहता है: | ||
:{{nowrap|1=''AI''<sub>''n''</sub> = ''I''<sub>''m''</sub>''A'' = ''A''}} किसी भी m-by-n आव्युह {{nowrap|<math>A</math>.}} के लिए | :{{nowrap|1=''AI''<sub>''n''</sub> = ''I''<sub>''m''</sub>''A'' = ''A''}} किसी भी m-by-n आव्युह {{nowrap|<math>A</math>.}} के लिए | ||
=== व्युत्क्रमणीय आव्युह और इसके व्युत्क्रम === | === व्युत्क्रमणीय आव्युह और इसके व्युत्क्रम === | ||
| Line 68: | Line 66: | ||
=== सममित या तिरछा-सममित आव्युह === | === सममित या तिरछा-सममित आव्युह === | ||
वर्ग आव्युह <math>A</math> यह इसके स्थानान्तरण के समान है, अर्थात, {{nowrap|<math>A^{\mathsf T}=A</math>,}} [[ सममित मैट्रिक्स | सममित आव्युह]] है। यदि इसके अतिरिक्त {{nowrap|<math>A^{\mathsf T}=-A</math>,}} तब <math>A</math> [[ तिरछा-सममित मैट्रिक्स | तिरछा-सममित आव्युह]] कहा जाता है। | वर्ग आव्युह <math>A</math> यह इसके स्थानान्तरण के समान है, अर्थात, {{nowrap|<math>A^{\mathsf T}=A</math>,}} [[ सममित मैट्रिक्स | सममित आव्युह]] है। यदि इसके अतिरिक्त {{nowrap|<math>A^{\mathsf T}=-A</math>,}} तब <math>A</math> [[ तिरछा-सममित मैट्रिक्स |तिरछा-सममित आव्युह]] कहा जाता है। | ||
{{nowrap|<math>A</math>,}} जटिल वर्ग आव्युह के लिए अधिकांशतः ट्रांज़ोज़ का उपयुक्त एनालॉग [[ संयुग्मी स्थानान्तरण |संयुग्मी स्थानान्तरण]] होता है जटिल संयुग्म {{nowrap|<math>A^*</math>,}} के स्थानान्तरण के रूप में परिभाषित किया गया है {{nowrap|<math>A</math>.}} जटिल वर्ग आव्युह <math>A</math> संतुष्टि देने वाला <math>A^*=A</math> [[ हर्मिटियन मैट्रिक्स |हर्मिटियन आव्युह]] कहा जाता है। यदि इसके अतिरिक्त {{nowrap|<math>A^*=-A</math>,}} तब <math>A</math> [[ तिरछा-हर्मिटियन मैट्रिक्स |तिरछा-हर्मिटियन आव्युह]] कहा जाता है। | |||
[[ वर्णक्रमीय प्रमेय | वर्णक्रमीय प्रमेय]] के अनुसार, वास्तविक सममित (या जटिल हर्मिटियन) आव्युह में लंबकोणीय (या एकात्मक) [[ खुद का आधार |खुद का आधार]] होता है; अर्थात, प्रत्येक सदिश ईजेनसदिशो के [[ रैखिक संयोजन | रैखिक संयोजन]] के रूप में अभिव्यक्त होता है। दोनों ही स्थिति में, सभी ईजेनवैल्यूज वास्तविक हैं।<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Theorem 2.5.6 }}</ref> | |||
=== निश्चित आव्युह === | === निश्चित आव्युह === | ||
{| class="wikitable" style="float:right; text-align:center; margin:0ex 0ex 2ex 2ex;" | {| class="wikitable" style="float:right; text-align:center; margin:0ex 0ex 2ex 2ex;" | ||
|- | |- | ||
! | !सकारात्मक रूप से निश्चित | ||
! [[Indefinite matrix|अनिश्चित]] | |||
|- | |- | ||
| <math> \begin{bmatrix} | | <math> \begin{bmatrix} | ||
| Line 94: | Line 89: | ||
| ''Q''(''x'',''y'') = 1/4 ''x''<sup>2</sup> − 1/4 ''y''<sup>2</sup> | | ''Q''(''x'',''y'') = 1/4 ''x''<sup>2</sup> − 1/4 ''y''<sup>2</sup> | ||
|- | |- | ||
| [[File:Ellipse in coordinate system with semi-axes labelled.svg|150px]] <br> | | [[File:Ellipse in coordinate system with semi-axes labelled.svg|150px]] <br>बिंदु ऐसे हैं कि Q(x, y) = 1<br> ([[Ellipse|दीर्घवृत्त]]). | ||
| [[File:Hyperbola2 SVG.svg|100x100px]] <br> | | [[File:Hyperbola2 SVG.svg|100x100px]] <br>बिंदु ऐसे हैं कि Q(x, y) = 1 <br> ([[Hyperbola|अतिपरवलय]]). | ||
|} | |} | ||
सममित n×n-आव्युह | सममित n×n-आव्युह [[ सकारात्मक-निश्चित मैट्रिक्स |सकारात्मक-निश्चित आव्युह]] (क्रमशः नकारात्मक-निश्चित; अनिश्चित) कहा जाता है | यदि सभी गैर-शून्य सदिश के लिए <math>x \in \mathbb{R}^n</math> द्वारा संबद्ध [[ द्विघात रूप |द्विघात रूप]] दिया गया है | | ||
: | :''Q''('''x''') = '''x'''<sup>T</sup>''A'''''x''' | ||
केवल सकारात्मक मान लेता है (क्रमशः केवल नकारात्मक मान; कुछ नकारात्मक और कुछ सकारात्मक मान दोनों)।<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Chapter 7 }}</ref> यदि द्विघात रूप केवल गैर-नकारात्मक (क्रमशः केवल गैर-सकारात्मक) मान लेता है, तो सममित आव्युह को धनात्मक-अर्ध-परिमित (क्रमशः ऋणात्मक-अर्ध-अर्ध-परिमित) कहा जाता है; इसलिए आव्युह अनिश्चित रूप से अनिश्चित है जब यह न तो सकारात्मक-अर्ध-परिमित है और न ही नकारात्मक-अर्द्ध- | केवल सकारात्मक मान लेता है (क्रमशः केवल नकारात्मक मान; कुछ नकारात्मक और कुछ सकारात्मक मान दोनों)।<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Chapter 7 }}</ref> यदि द्विघात रूप केवल गैर-नकारात्मक (क्रमशः केवल गैर-सकारात्मक) मान लेता है, तो सममित आव्युह को धनात्मक-अर्ध-परिमित (क्रमशः ऋणात्मक-अर्ध-अर्ध-परिमित) कहा जाता है; इसलिए आव्युह अनिश्चित रूप से अनिश्चित है जब यह न तो सकारात्मक-अर्ध-परिमित है और न ही नकारात्मक-अर्द्ध-परिमित कहा जाता है। | ||
सममित आव्युह सकारात्मक-निश्चित है यदि और केवल यदि इसके सभी ईजेनवैल्यूज सकारात्मक हैं।<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Theorem 7.2.1 }}</ref> दाईं ओर की तालिका 2×2 आव्यूहों के लिए दो संभावनाएँ दिखाती है। | सममित आव्युह सकारात्मक-निश्चित है यदि और केवल यदि इसके सभी ईजेनवैल्यूज सकारात्मक हैं।<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Theorem 7.2.1 }}</ref> दाईं ओर की तालिका 2×2 आव्यूहों के लिए दो संभावनाएँ दिखाती है। | ||
इनपुट के रूप में दो अलग-अलग | इनपुट के रूप में दो अलग-अलग सदिशो को अनुमति देने के अतिरिक्त A से संबंधित [[ द्विरेखीय रूप |द्विरेखीय रूप]] उत्पन्न होता है: | ||
: | :''B<sub>A</sub>''('''x''', '''y''') = '''x'''<sup>T</sup>''A'''''y'''।<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Example 4.0.6, p. 169 }}</ref> | ||
=== [[ ओर्थोगोनल | लंबकोणीय]] आव्युह === | |||
लंबकोणीय आव्युह आव्युह (गणित) वर्ग आव्युह है जिसमें [[ वास्तविक संख्या |वास्तविक संख्या]] प्रविष्टियाँ होती हैं जिनके स्तंभ और पंक्तियाँ लंबकोणीय [[ इकाई वेक्टर |इकाई सदिश]] (अर्थात, [[ orthonormality |ऑर्थोनॉर्मलिटी]] सदिश) होती हैं। समतुल्य रूप से, आव्युह A लंबकोणीय है यदि इसका स्थानान्तरण इसके व्युत्क्रम आव्युह के समान है: | |||
=== [[ ओर्थोगोनल ]] आव्युह === | |||
:<math>A^\textsf{T}=A^{-1}, </math> | :<math>A^\textsf{T}=A^{-1}, </math> | ||
जिसमें सम्मिलित है | जिसमें सम्मिलित है | ||
| Line 114: | Line 107: | ||
जहां मैं पहचान आव्युह है। | जहां मैं पहचान आव्युह है। | ||
लंबकोणीय आव्युह A अनिवार्य रूप से व्युत्क्रमणीय आव्युह (व्युत्क्रमणीय के साथ {{nowrap|1=''A''<sup>−1</sup> = ''A''<sup>T</sup>}}), [[ एकात्मक मैट्रिक्स |एकात्मक आव्युह]] ({{nowrap|1=''A''<sup>−1</sup> = ''A''*}}) है, और [[ सामान्य मैट्रिक्स |सामान्य आव्युह]] ({{nowrap|1=''A''*''A'' = ''AA''*}}). किसी भी लंबकोणीय आव्युह का सिद्ध या तो +1 या -1 है। [[ विशेष ऑर्थोगोनल समूह |विशेष लंबकोणीय समूह]] <math>\operatorname{SO}(n)</math>सिद्ध +1 के साथ {{nowrap|''n'' × ''n''}} लंबकोणीय आव्युह के होते हैं। | |||
लंबकोणीय आव्युह का [[ जटिल संख्या |जटिल संख्या]] एनालॉग एकात्मक आव्युह है। | |||
=== सामान्य आव्युह === | === सामान्य आव्युह === | ||
वास्तविक या जटिल वर्ग आव्युह <math>A</math> सामान्य आव्युह कहा जाता है यदि {{nowrap|<math>A^* A = AA^*</math>.}} यदि | वास्तविक या जटिल वर्ग आव्युह <math>A</math> सामान्य आव्युह कहा जाता है यदि {{nowrap|<math>A^* A = AA^*</math>.}} यदि वास्तविक वर्ग आव्युह सममित, तिरछा-सममित या लंबकोणीय है, तो यह सामान्य है। यदि जटिल वर्ग आव्युह हर्मिटियन, तिरछा-हर्मिटियन या एकात्मक है, तो यह सामान्य है। सामान्य आव्युह मुख्य रूप से रुचि के होते हैं क्योंकि उनमें अभी सूचीबद्ध आव्युह के प्रकार सम्मिलित होते हैं और आव्युह का सबसे व्यापक वर्ग बनाते हैं जिसके लिए स्पेक्ट्रल प्रमेय धारण करता है।<ref name=":0">Artin, ''Algebra'', 2nd edition, Pearson, 2018, section 8.6.</ref> | ||
== संचालन == | == संचालन == | ||
=== ट्रेस === | === ट्रेस === | ||
वर्ग आव्युह | वर्ग आव्युह A का निशान tr (A) इसकी विकर्ण प्रविष्टियों का योग है। जबकि आव्युह गुणन कम्यूटेटिव नहीं है, दो आव्युह के उत्पाद का निशान कारकों के क्रम से स्वतंत्र है: | ||
:<math>\operatorname{tr}(AB) = \operatorname{tr}(BA).</math> | :<math>\operatorname{tr}(AB) = \operatorname{tr}(BA).</math> | ||
यह आव्युह गुणा की परिभाषा से तत्काल है: | यह आव्युह गुणा की परिभाषा से तत्काल है: | ||
:<math>\operatorname{tr}(AB) = \sum_{i=1}^m \sum_{j=1}^n A_{ij} B_{ji} = \operatorname{tr}(BA).</math> | :<math>\operatorname{tr}(AB) = \sum_{i=1}^m \sum_{j=1}^n A_{ij} B_{ji} = \operatorname{tr}(BA).</math> | ||
साथ ही, | साथ ही, आव्युह का ट्रेस उसके स्थानान्तरण के समान होता है, अर्थात, | ||
:<math>\operatorname{tr}(A) = \operatorname{tr}(A^{\mathrm T}).</math> | :<math>\operatorname{tr}(A) = \operatorname{tr}(A^{\mathrm T}).</math> | ||
=== सिद्ध === | |||
{{Main|सिद्ध}} | |||
[[File:Determinant example.svg|thumb|300px|रेखीय परिवर्तन पर <math>\mathbb{R}^2</math> संकेतित आव्युह द्वारा दिया गया। इस आव्युह का सिद्ध -1 है, क्योंकि दाईं ओर हरे समांतर चतुर्भुज का क्षेत्र 1 है, किंतु नक्शा [[ अभिविन्यास (गणित) |अभिविन्यास (गणित)]] को उलट देता है, क्योंकि यह सदिश के वामावर्त अभिविन्यास को घड़ी की दिशा में बदल देता है।]]सिद्ध <math>\det(A)</math> या <math>|A|</math> वर्ग आव्युह का <math>A</math> आव्युह के कुछ गुणों को एन्कोडिंग करने वाली संख्या है। आव्युह व्युत्क्रमणीय है यदि और केवल यदि इसका सिद्ध अशून्य है। इसका निरपेक्ष मान इकाई वर्ग (या घन) की छवि का क्षेत्रफल (में <math>\mathbb{R}^2</math>) या वॉल्यूम (में <math>\mathbb{R}^3</math>) के समान है , जबकि इसका चिन्ह संबंधित रेखीय मानचित्र के अभिविन्यास से मिलता है: सिद्ध सकारात्मक है यदि और केवल यदि अभिविन्यास संरक्षित है। | |||
2×2 आव्यूहों का सिद्ध किसके द्वारा दिया जाता है | |||
:<math>\det \begin{bmatrix} a&b \\ c&d \end{bmatrix} = ad - bc.</math> | |||
3×3 आव्यूहों के सिद्ध में 6 पद (सर्रस का नियम) सम्मिलित हैं। निर्धारकों के लिए अधिक लंबा लिबनिज़ सूत्र इन दो सूत्रों को सभी आयामों के लिए सामान्यीकृत करता है।<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition III.2.1 }}</ref> | |||
वर्ग आव्युह के उत्पाद का सिद्ध उनके निर्धारकों के उत्पाद के समान होता है:<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Theorem III.2.12 }}</ref> | |||
वर्ग आव्युह के उत्पाद का | |||
:<math>\det(AB) = \det(A) \cdot \det(B)</math> | :<math>\det(AB) = \det(A) \cdot \det(B)</math> | ||
किसी भी पंक्ति का गुणज दूसरी पंक्ति में, या किसी स्तंभ का गुणज दूसरे स्तंभ में जोड़ने से | किसी भी पंक्ति का गुणज दूसरी पंक्ति में, या किसी स्तंभ का गुणज दूसरे स्तंभ में जोड़ने से सिद्ध नहीं बदलता है। दो पंक्तियों या दो स्तंभों को आपस में बदलने से सिद्ध को -1 से गुणा करके प्रभावित करता है।<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Corollary III.2.16 }}</ref> इन परिचालनों का उपयोग करके, किसी आव्युह को निचले (या ऊपरी) त्रिकोणीय आव्युह में परिवर्तित किया जा सकता है, और ऐसे आव्युह के लिए सिद्ध मुख्य विकर्ण पर प्रविष्टियों के उत्पाद के समान होता है; यह किसी भी आव्युह के सिद्ध की गणना करने के लिए विधि प्रदान करता है। अंत में, [[ लाप्लास विस्तार |लाप्लास विस्तार]] सिद्ध को [[ मामूली (रैखिक बीजगणित) |सामान्य(रैखिक बीजगणित)]] के संदर्भ में व्यक्त करता है, अर्थात, छोटे आव्यूहों के सिद्ध।<ref>{{Harvard citations |last1=Mirsky |year=1990 |nb=yes |loc=Theorem 1.4.1 }}</ref> इस विस्तार का उपयोग निर्धारकों की पुनरावर्ती परिभाषा के लिए किया जा सकता है (प्रारंभिक स्थिति को 1×1 आव्युह के सिद्ध के रूप में लेते हुए, जो इसकी अनूठी प्रविष्टि है, या 0×0 आव्युह का सिद्ध भी है, जो 1 है), जो कि हो सकता है लीबनिज सूत्र के समकक्ष देखा जाता है। क्रैमर के नियम का उपयोग करके रैखिक प्रणालियों को हल करने के लिए निर्धारकों का उपयोग किया जा सकता है, जहां दो संबंधित वर्ग आव्युह के निर्धारकों का विभाजन प्रणाली के प्रत्येक चर के मान के समान होता है।<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Theorem III.3.18 }}</ref> | ||
=== ईजेनवैल्यू और ईजेनवेक्टर === | === ईजेनवैल्यू और ईजेनवेक्टर === | ||
{{Main| | {{Main|आइगेनवैल्यू, ईजेनसदिश और ईजेनस्पेस|l1=आइगेनवैल्यूज़ एवं आइगेनसदिश}} | ||
संख्या λ और | संख्या λ और गैर-शून्य सदिश <math>\mathbf{v}</math> संतुष्टि देने वाला है | | ||
:<math>A \mathbf{v} = \lambda \mathbf{v}</math> | :<math>A \mathbf{v} = \lambda \mathbf{v}</math> | ||
क्रमशः A का ईजेनवैल्यू और ईजेनवेक्टर कहा जाता है।<ref>''Eigen'' means "own" in [[German language|German]] and in [[Dutch language|Dutch]].</ref><ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition III.4.1 }}</ref> संख्या λ एक n×n-आव्यूह {{nowrap|<math>A</math>,}} का आइगेनमान है यदि और केवल यदि {{nowrap|''A'' − λ''I''<sub>''n''</sub>}} व्युत्क्रमणीय नहीं है, जो इसके समतुल्य है | |||
:<math>\det(A-\lambda I) = 0.</math><ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition III.4.9 }}</ref> | :<math>\det(A-\lambda I) = 0.</math><ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition III.4.9 }}</ref> | ||
निर्धारक {{nowrap|det(''XI''<sub>''n''</sub> − ''A'')}} के मूल्यांकन द्वारा दिए गए एक अनिश्चित एक्स में बहुपद पी<sub>''A''</sub> को A की विशेषता बहुपद कहा जाता है। यह बहुपद n का एक मोनिक बहुपद है। इसलिए बहुपद समीकरण {{nowrap|1=''p''<sub>''A''</sub>(λ) = 0}} के अधिक से अधिक n अलग-अलग समाधान हैं, अर्थात आव्यूह के आइगेनमान।<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Corollary III.4.10 }}</ref> A की प्रविष्टियाँ वास्तविक होने पर भी वे जटिल हो सकती हैं। केली-हैमिल्टन प्रमेय के अनुसार, {{nowrap|1=''p''<sub>''A''</sub>(''A'') = 0}} अर्थात, आव्यूह को अपने विशिष्ट बहुपद में प्रतिस्थापित करने का परिणाम शून्य आव्यूह उत्पन्न करता है। | |||
== यह भी देखें == | == यह भी देखें == | ||
| Line 170: | Line 158: | ||
{{linear algebra}} | {{linear algebra}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Collapse templates]] | |||
[[Category:Created On 05/01/2023]] | [[Category:Created On 05/01/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with broken file links]] | |||
[[Category:Pages with maths render errors]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[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 18:08, 3 May 2023
गणित में, वर्ग आव्युह एक आव्युह (गणित) है जिसमें पंक्तियों और स्तंभों की समान संख्या होती है। n-by-n आव्युह को क्रम . के वर्ग आव्युह के रूप में जाना जाता है एक ही क्रम के किन्हीं भी दो वर्ग आव्यूहों को जोड़ा और गुणा किया जा सकता है।
वर्ग आव्युह का उपयोग अधिकांशतः सरल रेखीय परिवर्तनों का प्रतिनिधित्व करने के लिए किया जाता है, जैसे कि अपरुपण मानचित्रण या प्रवर्तन (गणित) है। उदाहरण के लिए, यदि प्रवर्तन ( प्रवर्तन आव्युह ) का प्रतिनिधित्व करने वाला वर्ग आव्युह है और स्तंभ सदिश है जो अंतरिक्ष में बिंदु की स्थिति (सदिश) का वर्णन करता है, उत्पाद उस घुमाव के बाद उस बिंदु की स्थिति का वर्णन करने वाला एक अन्य स्तंभ सदिश उत्पन्न करता है। यदि पंक्ति सदिश है, उसी परिवर्तन , का उपयोग करके प्राप्त किया जा सकता है जहाँ का स्थानान्तरण . है तो सामान्य आव्युह मुख्य रूप से रुचि के होते हैं क्योंकि उनमें अभी सूचीबद्ध आव्युह के प्रकार सम्मिलित होते हैं और आव्युह का सबसे व्यापक वर्ग बनाते हैं जिसके लिए स्पेक्ट्रल प्रमेय धारण करता है।[1]
प्रमुख विकर्ण
प्रविष्टियाँ (i = 1, …, n) वर्ग आव्यूह का मुख्य विकर्ण बनाता है। वे काल्पनिक रेखा पर स्थित हैं जो ऊपरी बाएँ कोने से आव्युह के निचले दाएं कोने तक चलती है। उदाहरण के लिए, उपरोक्त 4×4 आव्युह के मुख्य विकर्ण में तत्व a11 = 9, a22 = 11, a33 = 4, a44 = 10.सम्मिलित हैं
वर्ग आव्युह के ऊपरी दाएं कोने से निचले बाएं कोने तक के विकर्ण को प्रतिपक्षी या प्रतिविकर्ण कहा जाता है।
विशेष प्रकार
नाम उदाहरण एन = 3 के साथ विकर्ण आव्यूह निचला त्रिकोणीय आव्यूह ऊपरी त्रिकोणीय आव्यूह
विकर्ण या त्रिकोणीय आव्युह
यदि मुख्य विकर्ण के बाहर की सभी प्रविष्टियाँ शून्य हैं, विकर्ण आव्युह कहा जाता है। यदि मुख्य विकर्ण के ऊपर (या नीचे) सभी प्रविष्टियाँ शून्य हैं, ऊपरी (या निचला) त्रिकोणीय आव्युह कहा जाता है।
पहचान आव्युह
पहचान आव्युह आकार का आव्युह है जिसमें मुख्य विकर्ण पर सभी तत्व 1 के समान हैं और अन्य सभी तत्व 0 के समान हैं, उदाहरण
यह क्रम , का वर्ग आव्युह है और विशेष प्रकार का विकर्ण आव्युह भी है। इसे पहचान आव्युह कहा जाता है क्योंकि इसके साथ गुणा करने से आव्युह अपरिवर्तित रहता है:
- AIn = ImA = A किसी भी m-by-n आव्युह . के लिए
व्युत्क्रमणीय आव्युह और इसके व्युत्क्रम
एक वर्ग आव्युह को व्युत्क्रमणीय आव्युह या गैर-एकवचन कहा जाता है यदि कोई आव्युह B ऐसा उपस्थित हो
यदि उपस्थित है, यह अद्वितीय है और इसका , व्युत्क्रम आव्युह कहा जाता है जिसे . दर्शाया गया है
सममित या तिरछा-सममित आव्युह
वर्ग आव्युह यह इसके स्थानान्तरण के समान है, अर्थात, , सममित आव्युह है। यदि इसके अतिरिक्त , तब तिरछा-सममित आव्युह कहा जाता है।
, जटिल वर्ग आव्युह के लिए अधिकांशतः ट्रांज़ोज़ का उपयुक्त एनालॉग संयुग्मी स्थानान्तरण होता है जटिल संयुग्म , के स्थानान्तरण के रूप में परिभाषित किया गया है . जटिल वर्ग आव्युह संतुष्टि देने वाला हर्मिटियन आव्युह कहा जाता है। यदि इसके अतिरिक्त , तब तिरछा-हर्मिटियन आव्युह कहा जाता है।
वर्णक्रमीय प्रमेय के अनुसार, वास्तविक सममित (या जटिल हर्मिटियन) आव्युह में लंबकोणीय (या एकात्मक) खुद का आधार होता है; अर्थात, प्रत्येक सदिश ईजेनसदिशो के रैखिक संयोजन के रूप में अभिव्यक्त होता है। दोनों ही स्थिति में, सभी ईजेनवैल्यूज वास्तविक हैं।[4]
निश्चित आव्युह
| सकारात्मक रूप से निश्चित | अनिश्चित |
|---|---|
| Q(x,y) = 1/4 x2 + y2 | Q(x,y) = 1/4 x2 − 1/4 y2 |
बिंदु ऐसे हैं कि Q(x, y) = 1 (दीर्घवृत्त). |
File:Hyperbola2 SVG.svg बिंदु ऐसे हैं कि Q(x, y) = 1 (अतिपरवलय). |
सममित n×n-आव्युह सकारात्मक-निश्चित आव्युह (क्रमशः नकारात्मक-निश्चित; अनिश्चित) कहा जाता है | यदि सभी गैर-शून्य सदिश के लिए द्वारा संबद्ध द्विघात रूप दिया गया है |
- Q(x) = xTAx
केवल सकारात्मक मान लेता है (क्रमशः केवल नकारात्मक मान; कुछ नकारात्मक और कुछ सकारात्मक मान दोनों)।[5] यदि द्विघात रूप केवल गैर-नकारात्मक (क्रमशः केवल गैर-सकारात्मक) मान लेता है, तो सममित आव्युह को धनात्मक-अर्ध-परिमित (क्रमशः ऋणात्मक-अर्ध-अर्ध-परिमित) कहा जाता है; इसलिए आव्युह अनिश्चित रूप से अनिश्चित है जब यह न तो सकारात्मक-अर्ध-परिमित है और न ही नकारात्मक-अर्द्ध-परिमित कहा जाता है।
सममित आव्युह सकारात्मक-निश्चित है यदि और केवल यदि इसके सभी ईजेनवैल्यूज सकारात्मक हैं।[6] दाईं ओर की तालिका 2×2 आव्यूहों के लिए दो संभावनाएँ दिखाती है।
इनपुट के रूप में दो अलग-अलग सदिशो को अनुमति देने के अतिरिक्त A से संबंधित द्विरेखीय रूप उत्पन्न होता है:
- BA(x, y) = xTAy।[7]
लंबकोणीय आव्युह
लंबकोणीय आव्युह आव्युह (गणित) वर्ग आव्युह है जिसमें वास्तविक संख्या प्रविष्टियाँ होती हैं जिनके स्तंभ और पंक्तियाँ लंबकोणीय इकाई सदिश (अर्थात, ऑर्थोनॉर्मलिटी सदिश) होती हैं। समतुल्य रूप से, आव्युह A लंबकोणीय है यदि इसका स्थानान्तरण इसके व्युत्क्रम आव्युह के समान है:
जिसमें सम्मिलित है
जहां मैं पहचान आव्युह है।
लंबकोणीय आव्युह A अनिवार्य रूप से व्युत्क्रमणीय आव्युह (व्युत्क्रमणीय के साथ A−1 = AT), एकात्मक आव्युह (A−1 = A*) है, और सामान्य आव्युह (A*A = AA*). किसी भी लंबकोणीय आव्युह का सिद्ध या तो +1 या -1 है। विशेष लंबकोणीय समूह सिद्ध +1 के साथ n × n लंबकोणीय आव्युह के होते हैं।
लंबकोणीय आव्युह का जटिल संख्या एनालॉग एकात्मक आव्युह है।
सामान्य आव्युह
वास्तविक या जटिल वर्ग आव्युह सामान्य आव्युह कहा जाता है यदि . यदि वास्तविक वर्ग आव्युह सममित, तिरछा-सममित या लंबकोणीय है, तो यह सामान्य है। यदि जटिल वर्ग आव्युह हर्मिटियन, तिरछा-हर्मिटियन या एकात्मक है, तो यह सामान्य है। सामान्य आव्युह मुख्य रूप से रुचि के होते हैं क्योंकि उनमें अभी सूचीबद्ध आव्युह के प्रकार सम्मिलित होते हैं और आव्युह का सबसे व्यापक वर्ग बनाते हैं जिसके लिए स्पेक्ट्रल प्रमेय धारण करता है।[1]
संचालन
ट्रेस
वर्ग आव्युह A का निशान tr (A) इसकी विकर्ण प्रविष्टियों का योग है। जबकि आव्युह गुणन कम्यूटेटिव नहीं है, दो आव्युह के उत्पाद का निशान कारकों के क्रम से स्वतंत्र है:
यह आव्युह गुणा की परिभाषा से तत्काल है:
साथ ही, आव्युह का ट्रेस उसके स्थानान्तरण के समान होता है, अर्थात,
सिद्ध
सिद्ध या वर्ग आव्युह का आव्युह के कुछ गुणों को एन्कोडिंग करने वाली संख्या है। आव्युह व्युत्क्रमणीय है यदि और केवल यदि इसका सिद्ध अशून्य है। इसका निरपेक्ष मान इकाई वर्ग (या घन) की छवि का क्षेत्रफल (में ) या वॉल्यूम (में ) के समान है , जबकि इसका चिन्ह संबंधित रेखीय मानचित्र के अभिविन्यास से मिलता है: सिद्ध सकारात्मक है यदि और केवल यदि अभिविन्यास संरक्षित है।
2×2 आव्यूहों का सिद्ध किसके द्वारा दिया जाता है
3×3 आव्यूहों के सिद्ध में 6 पद (सर्रस का नियम) सम्मिलित हैं। निर्धारकों के लिए अधिक लंबा लिबनिज़ सूत्र इन दो सूत्रों को सभी आयामों के लिए सामान्यीकृत करता है।[8]
वर्ग आव्युह के उत्पाद का सिद्ध उनके निर्धारकों के उत्पाद के समान होता है:[9]
किसी भी पंक्ति का गुणज दूसरी पंक्ति में, या किसी स्तंभ का गुणज दूसरे स्तंभ में जोड़ने से सिद्ध नहीं बदलता है। दो पंक्तियों या दो स्तंभों को आपस में बदलने से सिद्ध को -1 से गुणा करके प्रभावित करता है।[10] इन परिचालनों का उपयोग करके, किसी आव्युह को निचले (या ऊपरी) त्रिकोणीय आव्युह में परिवर्तित किया जा सकता है, और ऐसे आव्युह के लिए सिद्ध मुख्य विकर्ण पर प्रविष्टियों के उत्पाद के समान होता है; यह किसी भी आव्युह के सिद्ध की गणना करने के लिए विधि प्रदान करता है। अंत में, लाप्लास विस्तार सिद्ध को सामान्य(रैखिक बीजगणित) के संदर्भ में व्यक्त करता है, अर्थात, छोटे आव्यूहों के सिद्ध।[11] इस विस्तार का उपयोग निर्धारकों की पुनरावर्ती परिभाषा के लिए किया जा सकता है (प्रारंभिक स्थिति को 1×1 आव्युह के सिद्ध के रूप में लेते हुए, जो इसकी अनूठी प्रविष्टि है, या 0×0 आव्युह का सिद्ध भी है, जो 1 है), जो कि हो सकता है लीबनिज सूत्र के समकक्ष देखा जाता है। क्रैमर के नियम का उपयोग करके रैखिक प्रणालियों को हल करने के लिए निर्धारकों का उपयोग किया जा सकता है, जहां दो संबंधित वर्ग आव्युह के निर्धारकों का विभाजन प्रणाली के प्रत्येक चर के मान के समान होता है।[12]
ईजेनवैल्यू और ईजेनवेक्टर
संख्या λ और गैर-शून्य सदिश संतुष्टि देने वाला है |
क्रमशः A का ईजेनवैल्यू और ईजेनवेक्टर कहा जाता है।[13][14] संख्या λ एक n×n-आव्यूह , का आइगेनमान है यदि और केवल यदि A − λIn व्युत्क्रमणीय नहीं है, जो इसके समतुल्य है
निर्धारक det(XIn − A) के मूल्यांकन द्वारा दिए गए एक अनिश्चित एक्स में बहुपद पीA को A की विशेषता बहुपद कहा जाता है। यह बहुपद n का एक मोनिक बहुपद है। इसलिए बहुपद समीकरण pA(λ) = 0 के अधिक से अधिक n अलग-अलग समाधान हैं, अर्थात आव्यूह के आइगेनमान।[16] A की प्रविष्टियाँ वास्तविक होने पर भी वे जटिल हो सकती हैं। केली-हैमिल्टन प्रमेय के अनुसार, pA(A) = 0 अर्थात, आव्यूह को अपने विशिष्ट बहुपद में प्रतिस्थापित करने का परिणाम शून्य आव्यूह उत्पन्न करता है।
यह भी देखें
टिप्पणियाँ
- ↑ 1.0 1.1 Artin, Algebra, 2nd edition, Pearson, 2018, section 8.6.
- ↑ Brown 1991, Definition I.2.28
- ↑ Brown 1991, Definition I.5.13
- ↑ Horn & Johnson 1985, Theorem 2.5.6
- ↑ Horn & Johnson 1985, Chapter 7
- ↑ Horn & Johnson 1985, Theorem 7.2.1
- ↑ Horn & Johnson 1985, Example 4.0.6, p. 169
- ↑ Brown 1991, Definition III.2.1
- ↑ Brown 1991, Theorem III.2.12
- ↑ Brown 1991, Corollary III.2.16
- ↑ Mirsky 1990, Theorem 1.4.1
- ↑ Brown 1991, Theorem III.3.18
- ↑ Eigen means "own" in German and in Dutch.
- ↑ Brown 1991, Definition III.4.1
- ↑ Brown 1991, Definition III.4.9
- ↑ Brown 1991, Corollary III.4.10
संदर्भ
- Brown, William C. (1991), Matrices and vector spaces, New York, NY: Marcel Dekker, ISBN 978-0-8247-8419-5
- Horn, Roger A.; Johnson, Charles R. (1985), Matrix Analysis, Cambridge University Press, ISBN 978-0-521-38632-6
- Mirsky, Leonid (1990), An Introduction to Linear Algebra, Courier Dover Publications, ISBN 978-0-486-66434-7
बाहरी कड़ियाँ
- File:Commons-logo.svg Media related to वर्ग आव्यूह at Wikimedia Commons