एडजुगेट मैट्रिक्स: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|For a square matrix, the transpose of the cofactor matrix}} रैखिक बीजगणित में, एक वर्ग मैट्रिक्...")
 
No edit summary
Line 1: Line 1:
{{Short description|For a square matrix, the transpose of the cofactor matrix}}
{{Short description|For a square matrix, the transpose of the cofactor matrix}}
रैखिक बीजगणित में, एक [[वर्ग मैट्रिक्स]] का सहायक या शास्त्रीय जोड़ {{math|'''A'''}} इसके [[सहकारक मैट्रिक्स]] का स्थानान्तरण है और इसे इसके द्वारा निरूपित किया जाता है {{math|adj('''A''')}}.<ref>{{cite book |first=F. R. |last=Gantmacher |author-link=Felix Gantmacher |title=मैट्रिक्स का सिद्धांत|volume=1 |publisher=Chelsea |location=New York |year=1960 |isbn=0-8218-1376-5 |pages=76–89 |url=https://books.google.com/books?id=ePFtMw9v92sC&pg=PA76 }}</ref><ref>{{cite book |last=Strang |first=Gilbert |title=रेखीय बीजगणित और इसके अनुप्रयोग|publisher=Harcourt Brace Jovanovich |year=1988 |isbn=0-15-551005-3 |edition=3rd |pages=[https://archive.org/details/linearalgebraits00stra/page/231 231–232] |chapter=Section 4.4: Applications of determinants |author-link=Gilbert Strang |chapter-url=https://archive.org/details/linearalgebraits00stra/page/231 |chapter-url-access=registration}}</ref> इसे कभी-कभी सहायक मैट्रिक्स के रूप में भी जाना जाता है,<ref>{{cite journal|author1=Claeyssen, J.C.R.|year=1990|title=गतिशील मैट्रिक्स समाधानों का उपयोग करके गैर-रूढ़िवादी रैखिक कंपन प्रणालियों की प्रतिक्रिया की भविष्यवाणी करने पर|journal=Journal of Sound and Vibration|volume=140|issue=1|pages=73–84|doi=10.1016/0022-460X(90)90907-H}}</ref><ref>{{cite journal|author1=Chen, W.|author2=Chen, W.|author3=Chen, Y.J.|year=2004|title=गुंजयमान रिंग जाली उपकरणों के विश्लेषण के लिए एक विशेषता मैट्रिक्स दृष्टिकोण|journal=IEEE Photonics Technology Letters|volume=16|issue=2|pages=458–460|doi=10.1109/LPT.2003.823104}}</ref> या जोड़,<ref>{{cite book|first=Alston S.|last=Householder|title=संख्यात्मक विश्लेषण में मैट्रिक्स का सिद्धांत|publisher=Dover Books on Mathematics|year=2006|author-link=Alston Scott Householder | isbn=0-486-44972-6 |pages=166–168 }}</ref> हालाँकि बाद वाला शब्द आज आम तौर पर एक अलग अवधारणा को संदर्भित करता है, [[हर्मिटियन सहायक]] जो मैट्रिक्स के लिए संयुग्म स्थानान्तरण है।
रैखिक बीजगणित में, [[वर्ग मैट्रिक्स]] का सहायक या शास्त्रीय जोड़ {{math|'''A'''}} इसके [[सहकारक मैट्रिक्स]] का स्थानान्तरण है और इसे इसके द्वारा निरूपित किया जाता है {{math|adj('''A''')}}.<ref>{{cite book |first=F. R. |last=Gantmacher |author-link=Felix Gantmacher |title=मैट्रिक्स का सिद्धांत|volume=1 |publisher=Chelsea |location=New York |year=1960 |isbn=0-8218-1376-5 |pages=76–89 |url=https://books.google.com/books?id=ePFtMw9v92sC&pg=PA76 }}</ref><ref>{{cite book |last=Strang |first=Gilbert |title=रेखीय बीजगणित और इसके अनुप्रयोग|publisher=Harcourt Brace Jovanovich |year=1988 |isbn=0-15-551005-3 |edition=3rd |pages=[https://archive.org/details/linearalgebraits00stra/page/231 231–232] |chapter=Section 4.4: Applications of determinants |author-link=Gilbert Strang |chapter-url=https://archive.org/details/linearalgebraits00stra/page/231 |chapter-url-access=registration}}</ref> इसे कभी-कभी सहायक मैट्रिक्स के रूप में भी जाना जाता है,<ref>{{cite journal|author1=Claeyssen, J.C.R.|year=1990|title=गतिशील मैट्रिक्स समाधानों का उपयोग करके गैर-रूढ़िवादी रैखिक कंपन प्रणालियों की प्रतिक्रिया की भविष्यवाणी करने पर|journal=Journal of Sound and Vibration|volume=140|issue=1|pages=73–84|doi=10.1016/0022-460X(90)90907-H}}</ref><ref>{{cite journal|author1=Chen, W.|author2=Chen, W.|author3=Chen, Y.J.|year=2004|title=गुंजयमान रिंग जाली उपकरणों के विश्लेषण के लिए एक विशेषता मैट्रिक्स दृष्टिकोण|journal=IEEE Photonics Technology Letters|volume=16|issue=2|pages=458–460|doi=10.1109/LPT.2003.823104}}</ref> या जोड़,<ref>{{cite book|first=Alston S.|last=Householder|title=संख्यात्मक विश्लेषण में मैट्रिक्स का सिद्धांत|publisher=Dover Books on Mathematics|year=2006|author-link=Alston Scott Householder | isbn=0-486-44972-6 |pages=166–168 }}</ref> हालाँकि बाद वाला शब्द आज आम तौर पर अलग अवधारणा को संदर्भित करता है, [[हर्मिटियन सहायक]] जो मैट्रिक्स के लिए संयुग्म स्थानान्तरण है।


इसके सहायक के साथ एक मैट्रिक्स का उत्पाद एक [[विकर्ण मैट्रिक्स]] देता है (मुख्य विकर्ण पर प्रविष्टियाँ शून्य नहीं हैं) जिनकी विकर्ण प्रविष्टियाँ मूल मैट्रिक्स के निर्धारक हैं:
इसके सहायक के साथ मैट्रिक्स का उत्पाद [[विकर्ण मैट्रिक्स]] देता है (मुख्य विकर्ण पर प्रविष्टियाँ शून्य नहीं हैं) जिनकी विकर्ण प्रविष्टियाँ मूल मैट्रिक्स के निर्धारक हैं:
:<math>\mathbf{A} \operatorname{adj}(\mathbf{A}) = \det(\mathbf{A}) \mathbf{I},</math>
:<math>\mathbf{A} \operatorname{adj}(\mathbf{A}) = \det(\mathbf{A}) \mathbf{I},</math>
कहाँ {{math|'''I'''}} उसी आकार का पहचान मैट्रिक्स है {{math|'''A'''}}. नतीजतन, एक व्युत्क्रमणीय मैट्रिक्स का गुणन व्युत्क्रम उसके सहायक को उसके निर्धारक से विभाजित करके पाया जा सकता है।
कहाँ {{math|'''I'''}} उसी आकार का पहचान मैट्रिक्स है {{math|'''A'''}}. नतीजतन, व्युत्क्रमणीय मैट्रिक्स का गुणन व्युत्क्रम उसके सहायक को उसके निर्धारक से विभाजित करके पाया जा सकता है।


== परिभाषा ==
== परिभाषा ==
का निर्णायक {{math|'''A'''}} सहकारक मैट्रिक्स का स्थानान्तरण है {{math|'''C'''}} का {{math|'''A'''}},
का निर्णायक {{math|'''A'''}} सहकारक मैट्रिक्स का स्थानान्तरण है {{math|'''C'''}} का {{math|'''A'''}},
:<math>\operatorname{adj}(\mathbf{A}) = \mathbf{C}^\mathsf{T}.</math>
:<math>\operatorname{adj}(\mathbf{A}) = \mathbf{C}^\mathsf{T}.</math>
अधिक विस्तार से, मान लीजिए {{math|''R''}} एक इकाई [[क्रमविनिमेय वलय]] है और {{math|'''A'''}} एक {{math|''n''&thinsp;×&thinsp;''n''}} से प्रविष्टियों के साथ मैट्रिक्स {{math|''R''}}. वह {{math|(''i'', ''j'')}}-[[लघु (रैखिक बीजगणित)]] का {{math|'''A'''}}, निरूपित {{math|'''M'''<sub>''ij''</sub>}}, का निर्धारक है {{math|(''n''&nbsp;−&nbsp;1)&thinsp;×&thinsp;(''n''&nbsp;−&nbsp;1)}} मैट्रिक्स जो पंक्ति को हटाने से उत्पन्न होता है {{mvar|i}} और कॉलम {{mvar|j}} का {{math|'''A'''}}. सहकारक (रैखिक बीजगणित)#एक मैट्रिक्स का व्युत्क्रम {{math|'''A'''}} है {{math|''n''&thinsp;×&thinsp;''n''}} आव्यूह {{math|'''C'''}} किसका {{math|(''i'', ''j'')}} प्रविष्टि है {{math|(''i'', ''j'')}} का [[सहकारक (रैखिक बीजगणित)]]। {{math|'''A'''}}, वह कौन सा है {{math|(''i'', ''j'')}}-मामूली बार एक संकेत कारक:
अधिक विस्तार से, मान लीजिए {{math|''R''}} इकाई [[क्रमविनिमेय वलय]] है और {{math|'''A'''}} {{math|''n''&thinsp;×&thinsp;''n''}} से प्रविष्टियों के साथ मैट्रिक्स {{math|''R''}}. वह {{math|(''i'', ''j'')}}-[[लघु (रैखिक बीजगणित)]] का {{math|'''A'''}}, निरूपित {{math|'''M'''<sub>''ij''</sub>}}, का निर्धारक है {{math|(''n''&nbsp;−&nbsp;1)&thinsp;×&thinsp;(''n''&nbsp;−&nbsp;1)}} मैट्रिक्स जो पंक्ति को हटाने से उत्पन्न होता है {{mvar|i}} और कॉलम {{mvar|j}} का {{math|'''A'''}}. सहकारक (रैखिक बीजगणित)# मैट्रिक्स का व्युत्क्रम {{math|'''A'''}} है {{math|''n''&thinsp;×&thinsp;''n''}} आव्यूह {{math|'''C'''}} किसका {{math|(''i'', ''j'')}} प्रविष्टि है {{math|(''i'', ''j'')}} का [[सहकारक (रैखिक बीजगणित)]]। {{math|'''A'''}}, वह कौन सा है {{math|(''i'', ''j'')}}-मामूली बार संकेत कारक:
:<math>\mathbf{C} = \left((-1)^{i+j} \mathbf{M}_{ij}\right)_{1 \le i, j \le n}.</math>
:<math>\mathbf{C} = \left((-1)^{i+j} \mathbf{M}_{ij}\right)_{1 \le i, j \le n}.</math>
का निर्णायक {{math|'''A'''}} का स्थानांतरण है {{math|'''C'''}}, वह यह है कि {{math|''n''&thinsp;×&thinsp;''n''}}मैट्रिक्स जिसका {{math|(''i'', ''j'')}} प्रविष्टि है {{math|(''j'',&hairsp;''i'')}} का सहकारक {{math|'''A'''}},
का निर्णायक {{math|'''A'''}} का स्थानांतरण है {{math|'''C'''}}, वह यह है कि {{math|''n''&thinsp;×&thinsp;''n''}}मैट्रिक्स जिसका {{math|(''i'', ''j'')}} प्रविष्टि है {{math|(''j'',&hairsp;''i'')}} का सहकारक {{math|'''A'''}},
:<math>\operatorname{adj}(\mathbf{A}) = \mathbf{C}^\mathsf{T} = \left((-1)^{i+j} \mathbf{M}_{ji}\right)_{1 \le i, j \le n}.</math>
:<math>\operatorname{adj}(\mathbf{A}) = \mathbf{C}^\mathsf{T} = \left((-1)^{i+j} \mathbf{M}_{ji}\right)_{1 \le i, j \le n}.</math>


'''महत्वपूर्ण परिणाम'''


=== महत्वपूर्ण परिणाम ===
एडजुगेट को इस प्रकार परिभाषित किया गया है कि का उत्पाद {{math|'''A'''}} इसके adjugate से विकर्ण मैट्रिक्स प्राप्त होता है जिसकी विकर्ण प्रविष्टियाँ निर्धारक होती हैं {{math|det('''A''')}}. वह है,
एडजुगेट को इस प्रकार परिभाषित किया गया है कि का उत्पाद {{math|'''A'''}} इसके adjugate से एक विकर्ण मैट्रिक्स प्राप्त होता है जिसकी विकर्ण प्रविष्टियाँ निर्धारक होती हैं {{math|det('''A''')}}. वह है,
:<math>\mathbf{A} \operatorname{adj}(\mathbf{A}) = \operatorname{adj}(\mathbf{A}) \mathbf{A} = \det(\mathbf{A}) \mathbf{I},</math>
:<math>\mathbf{A} \operatorname{adj}(\mathbf{A}) = \operatorname{adj}(\mathbf{A}) \mathbf{A} = \det(\mathbf{A}) \mathbf{I},</math>
कहाँ {{math|'''I'''}} है {{math|''n''&thinsp;×&thinsp;''n''}} शिनाख्त सांचा। यह निर्धारक के [[लाप्लास विस्तार]] का परिणाम है।
कहाँ {{math|'''I'''}} है {{math|''n''&thinsp;×&thinsp;''n''}} शिनाख्त सांचा। यह निर्धारक के [[लाप्लास विस्तार]] का परिणाम है।


उपरोक्त सूत्र मैट्रिक्स बीजगणित में मूलभूत परिणामों में से एक को दर्शाता है {{math|'''A'''}} व्युत्क्रमणीय मैट्रिक्स है यदि और केवल यदि {{math|det('''A''')}} की एक [[इकाई (रिंग सिद्धांत)]] है {{math|''R''}}. जब यह कायम रहता है, तो उपरोक्त समीकरण प्राप्त होता है
उपरोक्त सूत्र मैट्रिक्स बीजगणित में मूलभूत परिणामों में से को दर्शाता है {{math|'''A'''}} व्युत्क्रमणीय मैट्रिक्स है यदि और केवल यदि {{math|det('''A''')}} की [[इकाई (रिंग सिद्धांत)]] है {{math|''R''}}. जब यह कायम रहता है, तो उपरोक्त समीकरण प्राप्त होता है
:<math>\begin{align}
:<math>\begin{align}
\operatorname{adj}(\mathbf{A}) &= \det(\mathbf{A}) \mathbf{A}^{-1}, \\
\operatorname{adj}(\mathbf{A}) &= \det(\mathbf{A}) \mathbf{A}^{-1}, \\
\mathbf{A}^{-1} &= \det(\mathbf{A})^{-1} \operatorname{adj}(\mathbf{A}).
\mathbf{A}^{-1} &= \det(\mathbf{A})^{-1} \operatorname{adj}(\mathbf{A}).
\end{align}</math>
\end{align}</math>


== उदाहरण ==
== उदाहरण ==
Line 32: Line 31:
चूँकि 0 x 0 मैट्रिक्स का निर्धारक 1 है, किसी भी 1 × 1 मैट्रिक्स ([[जटिल संख्या]] अदिश) का सहायक है <math>\mathbf{I} = \begin{bmatrix} 1 \end{bmatrix}</math>. उसका अवलोकन करो <math>\mathbf{A} \operatorname{adj}(\mathbf{A}) = \mathbf{A} \mathbf{I} = (\det \mathbf{A}) \mathbf {I}.</math>
चूँकि 0 x 0 मैट्रिक्स का निर्धारक 1 है, किसी भी 1 × 1 मैट्रिक्स ([[जटिल संख्या]] अदिश) का सहायक है <math>\mathbf{I} = \begin{bmatrix} 1 \end{bmatrix}</math>. उसका अवलोकन करो <math>\mathbf{A} \operatorname{adj}(\mathbf{A}) = \mathbf{A} \mathbf{I} = (\det \mathbf{A}) \mathbf {I}.</math>


'''2 × 2 सामान्य मैट्रिक्स'''


=== 2 × 2 सामान्य मैट्रिक्स ===
2 × 2 मैट्रिक्स का एडजुगेट
2 × 2 मैट्रिक्स का एडजुगेट
:<math>\mathbf{A} = \begin{bmatrix} a & b \\ c  & d \end{bmatrix}</math>
:<math>\mathbf{A} = \begin{bmatrix} a & b \\ c  & d \end{bmatrix}</math>
Line 41: Line 40:
:<math>\mathbf{A} \operatorname{adj}(\mathbf{A}) = \begin{bmatrix} ad - bc & 0 \\ 0 & ad - bc \end{bmatrix} = (\det \mathbf{A})\mathbf{I}.</math>
:<math>\mathbf{A} \operatorname{adj}(\mathbf{A}) = \begin{bmatrix} ad - bc & 0 \\ 0 & ad - bc \end{bmatrix} = (\det \mathbf{A})\mathbf{I}.</math>
ऐसे में ये बात भी सच है {{math|det}}({{math|adj}}(ए))= {{math|det}}(ए) और इसलिए वह {{math|adj}}({{math|adj}}(ए)) = ए.
ऐसे में ये बात भी सच है {{math|det}}({{math|adj}}(ए))= {{math|det}}(ए) और इसलिए वह {{math|adj}}({{math|adj}}(ए)) = ए.
<!-- PLEASE DO NOT "CORRECT" WHAT IS NOT BROKEN. CHECK THE INVERSE FIRST. -->


'''3 × 3 सामान्य मैट्रिक्स'''


=== 3 × 3 सामान्य मैट्रिक्स ===
3 × 3 मैट्रिक्स पर विचार करें
3 × 3 मैट्रिक्स पर विचार करें
:<math>\mathbf{A} = \begin{bmatrix}
:<math>\mathbf{A} = \begin{bmatrix}
Line 84: Line 82:




=== 3 × 3 संख्यात्मक मैट्रिक्स ===
 
एक विशिष्ट उदाहरण के रूप में, हमारे पास है
'''3 × 3 संख्यात्मक मैट्रिक्स'''
 
विशिष्ट उदाहरण के रूप में, हमारे पास है
:<math>\operatorname{adj}\!\begin{bmatrix}
:<math>\operatorname{adj}\!\begin{bmatrix}
-3 &  2 & -5 \\
-3 &  2 & -5 \\
Line 97: Line 97:
यह जांचना आसान है कि एडजुगेट निर्धारक का व्युत्क्रम मैट्रिक्स गुणा है, {{math|−6}}. वह {{math|−1}} दूसरी पंक्ति में, एडजुगेट के तीसरे कॉलम की गणना निम्नानुसार की गई थी। एडजुगेट की (2,3) प्रविष्टि ए का (3,2) सहकारक है। इस सहकारक की गणना मूल मैट्रिक्स ए की तीसरी पंक्ति और दूसरे स्तंभ को हटाकर प्राप्त [[सबमैट्रिक्स]] का उपयोग करके की जाती है।
यह जांचना आसान है कि एडजुगेट निर्धारक का व्युत्क्रम मैट्रिक्स गुणा है, {{math|−6}}. वह {{math|−1}} दूसरी पंक्ति में, एडजुगेट के तीसरे कॉलम की गणना निम्नानुसार की गई थी। एडजुगेट की (2,3) प्रविष्टि ए का (3,2) सहकारक है। इस सहकारक की गणना मूल मैट्रिक्स ए की तीसरी पंक्ति और दूसरे स्तंभ को हटाकर प्राप्त [[सबमैट्रिक्स]] का उपयोग करके की जाती है।
:<math>\begin{bmatrix} -3 & -5 \\ -1 & -2 \end{bmatrix}.</math>
:<math>\begin{bmatrix} -3 & -5 \\ -1 & -2 \end{bmatrix}.</math>
(3,2) सहकारक इस सबमैट्रिक्स के निर्धारक का एक संकेत गुना है:
(3,2) सहकारक इस सबमैट्रिक्स के निर्धारक का संकेत गुना है:
:<math>(-1)^{3+2}\operatorname{det}\!\begin{bmatrix}-3&-5\\-1&-2\end{bmatrix} = -(-3 \cdot -2 - -5 \cdot -1) = -1,</math>
:<math>(-1)^{3+2}\operatorname{det}\!\begin{bmatrix}-3&-5\\-1&-2\end{bmatrix} = -(-3 \cdot -2 - -5 \cdot -1) = -1,</math>
और यह सहायक की (2,3) प्रविष्टि है।
और यह सहायक की (2,3) प्रविष्टि है।
Line 111: Line 111:
** {{math|adj('''A''')}} व्युत्क्रम के साथ व्युत्क्रमणीय है {{math|(det '''A''')<sup>−1</sup>'''A'''}}.
** {{math|adj('''A''')}} व्युत्क्रम के साथ व्युत्क्रमणीय है {{math|(det '''A''')<sup>−1</sup>'''A'''}}.
** {{math|1=adj('''A'''<sup>−1</sup>) = adj('''A''')<sup>−1</sup>}}.
** {{math|1=adj('''A'''<sup>−1</sup>) = adj('''A''')<sup>−1</sup>}}.
* {{math|adj('''A''')}} प्रवेशवार [[बहुपद]] है {{math|'''A'''}}. विशेष रूप से, [[वास्तविक संख्या]] या जटिल संख्याओं पर, adjugate की प्रविष्टियों का एक [[सुचारू कार्य]] है {{math|'''A'''}}.
* {{math|adj('''A''')}} प्रवेशवार [[बहुपद]] है {{math|'''A'''}}. विशेष रूप से, [[वास्तविक संख्या]] या जटिल संख्याओं पर, adjugate की प्रविष्टियों का [[सुचारू कार्य]] है {{math|'''A'''}}.


सम्मिश्र संख्याओं पर,
सम्मिश्र संख्याओं पर,
Line 119: Line 119:
लगता है कि {{math|'''B'''}} दूसरा है {{math|''n''&thinsp;×&thinsp;''n''}} आव्यूह। तब
लगता है कि {{math|'''B'''}} दूसरा है {{math|''n''&thinsp;×&thinsp;''n''}} आव्यूह। तब
:<math>\operatorname{adj}(\mathbf{AB}) = \operatorname{adj}(\mathbf{B})\operatorname{adj}(\mathbf{A}).</math>
:<math>\operatorname{adj}(\mathbf{AB}) = \operatorname{adj}(\mathbf{B})\operatorname{adj}(\mathbf{A}).</math>
यह तीन प्रकार से [[गणितीय प्रमाण]] हो सकता है। एक तरीका, जो किसी भी क्रमविनिमेय वलय के लिए मान्य है, कॉची-बिनेट सूत्र का उपयोग करके सीधी गणना है। दूसरा तरीका, जो वास्तविक या जटिल संख्याओं के लिए मान्य है, पहले व्युत्क्रमणीय आव्यूहों का निरीक्षण करना है {{math|'''A'''}} और {{math|'''B'''}},
यह तीन प्रकार से [[गणितीय प्रमाण]] हो सकता है। तरीका, जो किसी भी क्रमविनिमेय वलय के लिए मान्य है, कॉची-बिनेट सूत्र का उपयोग करके सीधी गणना है। दूसरा तरीका, जो वास्तविक या जटिल संख्याओं के लिए मान्य है, पहले व्युत्क्रमणीय आव्यूहों का निरीक्षण करना है {{math|'''A'''}} और {{math|'''B'''}},
:<math>\operatorname{adj}(\mathbf{B})\operatorname{adj}(\mathbf{A}) = (\det \mathbf{B})\mathbf{B}^{-1}(\det \mathbf{A})\mathbf{A}^{-1} = (\det \mathbf{AB})(\mathbf{AB})^{-1} = \operatorname{adj}(\mathbf{AB}).</math>
:<math>\operatorname{adj}(\mathbf{B})\operatorname{adj}(\mathbf{A}) = (\det \mathbf{B})\mathbf{B}^{-1}(\det \mathbf{A})\mathbf{A}^{-1} = (\det \mathbf{AB})(\mathbf{AB})^{-1} = \operatorname{adj}(\mathbf{AB}).</math>
चूँकि प्रत्येक गैर-व्युत्क्रमणीय आव्यूह व्युत्क्रमणीय आव्यूहों की सीमा है, इसलिए सहायक के निरंतर कार्य का तात्पर्य यह है कि सूत्र तब सत्य रहता है जब इनमें से कोई एक हो {{math|'''A'''}} या {{math|'''B'''}} उलटा नहीं है.
चूँकि प्रत्येक गैर-व्युत्क्रमणीय आव्यूह व्युत्क्रमणीय आव्यूहों की सीमा है, इसलिए सहायक के निरंतर कार्य का तात्पर्य यह है कि सूत्र तब सत्य रहता है जब इनमें से कोई हो {{math|'''A'''}} या {{math|'''B'''}} उलटा नहीं है.


पिछले सूत्र का एक [[परिणाम]] यह है कि, किसी भी गैर-नकारात्मक [[पूर्णांक]] के लिए {{mvar|k}},
पिछले सूत्र का [[परिणाम]] यह है कि, किसी भी गैर-नकारात्मक [[पूर्णांक]] के लिए {{mvar|k}},
:<math>\operatorname{adj}(\mathbf{A}^k) = \operatorname{adj}(\mathbf{A})^k.</math>
:<math>\operatorname{adj}(\mathbf{A}^k) = \operatorname{adj}(\mathbf{A})^k.</math>
अगर {{math|'''A'''}} व्युत्क्रमणीय है, तो उपरोक्त सूत्र ऋणात्मक के लिए भी मान्य है {{mvar|k}}.
अगर {{math|'''A'''}} व्युत्क्रमणीय है, तो उपरोक्त सूत्र ऋणात्मक के लिए भी मान्य है {{mvar|k}}.
Line 135: Line 135:
अगर {{math|'''A'''}} व्युत्क्रमणीय है, इसका तात्पर्य यह है {{math|adj('''A''')}} भी साथ आवागमन करता है {{math|'''B'''}}. वास्तविक या जटिल संख्याओं पर, निरंतरता का तात्पर्य है {{math|adj('''A''')}} के साथ आवागमन करता है {{math|'''B'''}} यहां तक ​​कि जब {{math|'''A'''}} उलटा नहीं है.
अगर {{math|'''A'''}} व्युत्क्रमणीय है, इसका तात्पर्य यह है {{math|adj('''A''')}} भी साथ आवागमन करता है {{math|'''B'''}}. वास्तविक या जटिल संख्याओं पर, निरंतरता का तात्पर्य है {{math|adj('''A''')}} के साथ आवागमन करता है {{math|'''B'''}} यहां तक ​​कि जब {{math|'''A'''}} उलटा नहीं है.


अंत में, दूसरे प्रमाण की तुलना में एक अधिक सामान्य प्रमाण है, जिसके लिए केवल यह आवश्यक है कि एक n × n मैट्रिक्स में कम से कम 2n + 1 तत्वों (उदाहरण के लिए पूर्णांक [[मॉड्यूलर अंकगणित]] 11 पर 5 × 5 मैट्रिक्स) के साथ एक [[फ़ील्ड (गणित)]] पर प्रविष्टियाँ हों ). {{math|det('''A'''+''t''&hairsp;'''I''')}} t में एक बहुपद है जिसमें अधिकतम n पर बहुपद की घात होती है, इसलिए इसमें बहुपद का अधिकतम n मूल होता है। ध्यान दें कि ij&hairsp;वीं प्रविष्टि {{math|adj(('''A'''+''t''&hairsp;'''I''')('''B'''))}}अधिकतम क्रम n का एक बहुपद है, और इसी तरह के लिए भी {{math|adj('''A'''+''t''&hairsp;'''I''')&hairsp;adj('''B''')}}. Ij&hairsp;वीं प्रविष्टि पर ये दो बहुपद कम से कम n+ 1 अंक पर सहमत हैं, क्योंकि हमारे पास क्षेत्र के कम से कम n+ 1 तत्व हैं जहां {{math|'''A'''+''t''&hairsp;'''I'''}} व्युत्क्रमणीय है, और हमने व्युत्क्रमणीय आव्यूहों की पहचान सिद्ध कर दी है। डिग्री n के बहुपद जो n+ 1 बिंदुओं पर सहमत होते हैं, समान होने चाहिए (उन्हें एक दूसरे से घटाएं और आपके पास अधिकतम n डिग्री वाले बहुपद के लिए n+ 1 मूल होंगे - एक विरोधाभास जब तक कि उनका अंतर समान रूप से शून्य न हो)। चूँकि दोनों बहुपद समान हैं, वे t के प्रत्येक मान के लिए समान मान लेते हैं। इस प्रकार, जब t = 0 होता है तो वे समान मान लेते हैं।
अंत में, दूसरे प्रमाण की तुलना में अधिक सामान्य प्रमाण है, जिसके लिए केवल यह आवश्यक है कि n × n मैट्रिक्स में कम से कम 2n + 1 तत्वों (उदाहरण के लिए पूर्णांक [[मॉड्यूलर अंकगणित]] 11 पर 5 × 5 मैट्रिक्स) के साथ [[फ़ील्ड (गणित)]] पर प्रविष्टियाँ हों ). {{math|det('''A'''+''t''&hairsp;'''I''')}} t में बहुपद है जिसमें अधिकतम n पर बहुपद की घात होती है, इसलिए इसमें बहुपद का अधिकतम n मूल होता है। ध्यान दें कि ij&hairsp;वीं प्रविष्टि {{math|adj(('''A'''+''t''&hairsp;'''I''')('''B'''))}}अधिकतम क्रम n का बहुपद है, और इसी तरह के लिए भी {{math|adj('''A'''+''t''&hairsp;'''I''')&hairsp;adj('''B''')}}. Ij&hairsp;वीं प्रविष्टि पर ये दो बहुपद कम से कम n+ 1 अंक पर सहमत हैं, क्योंकि हमारे पास क्षेत्र के कम से कम n+ 1 तत्व हैं जहां {{math|'''A'''+''t''&hairsp;'''I'''}} व्युत्क्रमणीय है, और हमने व्युत्क्रमणीय आव्यूहों की पहचान सिद्ध कर दी है। डिग्री n के बहुपद जो n+ 1 बिंदुओं पर सहमत होते हैं, समान होने चाहिए (उन्हें दूसरे से घटाएं और आपके पास अधिकतम n डिग्री वाले बहुपद के लिए n+ 1 मूल होंगे - विरोधाभास जब तक कि उनका अंतर समान रूप से शून्य न हो)। चूँकि दोनों बहुपद समान हैं, वे t के प्रत्येक मान के लिए समान मान लेते हैं। इस प्रकार, जब t = 0 होता है तो वे समान मान लेते हैं।


उपरोक्त गुणों और अन्य प्राथमिक गणनाओं का उपयोग करके, यह दिखाना आसान है कि यदि {{math|'''A'''}} में निम्नलिखित गुणों में से एक है {{math|adj&hairsp;'''A'''}} भी करता है:
उपरोक्त गुणों और अन्य प्राथमिक गणनाओं का उपयोग करके, यह दिखाना आसान है कि यदि {{math|'''A'''}} में निम्नलिखित गुणों में से है {{math|adj&hairsp;'''A'''}} भी करता है:
* [[ऊपरी त्रिकोणीय]],
* [[ऊपरी त्रिकोणीय]],
*[[निचला त्रिकोणीय]],
*[[निचला त्रिकोणीय]],
* विकर्ण मैट्रिक्स,
* विकर्ण मैट्रिक्स,
* [[ऑर्थोगोनल मैट्रिक्स]],
* [[ऑर्थोगोनल मैट्रिक्स]],
* [[एकात्मक मैट्रिक्स]],
* [[एकात्मक मैट्रिक्स|ात्मक मैट्रिक्स]],
* [[सममित मैट्रिक्स]],
* [[सममित मैट्रिक्स]],
* [[हर्मिटियन मैट्रिक्स]],
* [[हर्मिटियन मैट्रिक्स]],
Line 149: Line 149:
* [[सामान्य मैट्रिक्स]].
* [[सामान्य मैट्रिक्स]].


अगर {{math|'''A'''}} उलटा है, तो, जैसा कि ऊपर बताया गया है, इसके लिए एक सूत्र है {{math|adj('''A''')}} निर्धारक और व्युत्क्रम के संदर्भ में {{math|'''A'''}}. कब {{math|'''A'''}} उलटा नहीं है, एडजुगेट अलग-अलग लेकिन निकट से संबंधित सूत्रों को संतुष्ट करता है।
अगर {{math|'''A'''}} उलटा है, तो, जैसा कि ऊपर बताया गया है, इसके लिए सूत्र है {{math|adj('''A''')}} निर्धारक और व्युत्क्रम के संदर्भ में {{math|'''A'''}}. कब {{math|'''A'''}} उलटा नहीं है, एडजुगेट अलग-अलग लेकिन निकट से संबंधित सूत्रों को संतुष्ट करता है।
* अगर {{math|1=rk('''A''') ≤ ''n'' − 2}}, तब {{math|1=adj('''A''') = '''0'''}}.
* अगर {{math|1=rk('''A''') ≤ ''n'' − 2}}, तब {{math|1=adj('''A''') = '''0'''}}.
* अगर {{math|1=rk('''A''') = ''n'' −&thinsp;1}}, तब {{math|1=rk(adj('''A''')) = 1}}. (कुछ माइनर गैर-शून्य है, इसलिए {{math|adj('''A''')}} गैर-शून्य है और इसलिए इसकी [[रैंक (रैखिक बीजगणित)]] कम से कम एक है; पहचान {{math|1=adj('''A''')&hairsp;'''A''' = '''0'''}} तात्पर्य यह है कि शून्य स्थान का [[आयाम (वेक्टर स्थान)]]। {{math|adj('''A''')}} कम से कम है {{math|''n''&nbsp;−&thinsp;1}}, इसलिए इसकी रैंक अधिकतम एक है।) यह उसका अनुसरण करता है {{math|1=adj('''A''') = ''α'''''xy'''<sup>T</sup>}}, कहाँ {{math|''α''}} एक अदिश राशि है और {{math|'''x'''}} और {{math|'''y'''}} ऐसे सदिश हैं {{math|1='''Ax''' = '''0'''}} और {{math|1='''A'''<sup>T</sup>&thinsp;'''y''' = '''0'''}}.
* अगर {{math|1=rk('''A''') = ''n'' −&thinsp;1}}, तब {{math|1=rk(adj('''A''')) = 1}}. (कुछ माइनर गैर-शून्य है, इसलिए {{math|adj('''A''')}} गैर-शून्य है और इसलिए इसकी [[रैंक (रैखिक बीजगणित)]] कम से कम है; पहचान {{math|1=adj('''A''')&hairsp;'''A''' = '''0'''}} तात्पर्य यह है कि शून्य स्थान का [[आयाम (वेक्टर स्थान)]]। {{math|adj('''A''')}} कम से कम है {{math|''n''&nbsp;−&thinsp;1}}, इसलिए इसकी रैंक अधिकतम है।) यह उसका अनुसरण करता है {{math|1=adj('''A''') = ''α'''''xy'''<sup>T</sup>}}, कहाँ {{math|''α''}} अदिश राशि है और {{math|'''x'''}} और {{math|'''y'''}} ऐसे सदिश हैं {{math|1='''Ax''' = '''0'''}} और {{math|1='''A'''<sup>T</sup>&thinsp;'''y''' = '''0'''}}.


=== कॉलम प्रतिस्थापन और क्रैमर नियम ===
=== कॉलम प्रतिस्थापन और क्रैमर नियम ===
Line 158: Line 158:
PARTITION {{math|'''A'''}} [[स्तंभ सदिश]] में:
PARTITION {{math|'''A'''}} [[स्तंभ सदिश]] में:
:<math>\mathbf{A} = \begin{bmatrix}\mathbf{a}_1 & \cdots & \mathbf{a}_n\end{bmatrix}.</math>
:<math>\mathbf{A} = \begin{bmatrix}\mathbf{a}_1 & \cdots & \mathbf{a}_n\end{bmatrix}.</math>
होने देना {{math|'''b'''}} आकार का एक कॉलम वेक्टर बनें {{math|''n''}}. हल करना {{math|1&thinsp;≤ ''i'' ≤ ''n''}} और कॉलम को प्रतिस्थापित करके गठित मैट्रिक्स पर विचार करें {{math|''i''}} का {{math|'''A'''}} द्वारा {{math|'''b'''}}:
होने देना {{math|'''b'''}} आकार का कॉलम वेक्टर बनें {{math|''n''}}. हल करना {{math|1&thinsp;≤ ''i'' ≤ ''n''}} और कॉलम को प्रतिस्थापित करके गठित मैट्रिक्स पर विचार करें {{math|''i''}} का {{math|'''A'''}} द्वारा {{math|'''b'''}}:
:<math>(\mathbf{A} \stackrel{i}{\leftarrow} \mathbf{b})\ \stackrel{\text{def}}{=}\ \begin{bmatrix} \mathbf{a}_1 & \cdots & \mathbf{a}_{i-1} & \mathbf{b} & \mathbf{a}_{i+1} & \cdots & \mathbf{a}_n \end{bmatrix}.</math>
:<math>(\mathbf{A} \stackrel{i}{\leftarrow} \mathbf{b})\ \stackrel{\text{def}}{=}\ \begin{bmatrix} \mathbf{a}_1 & \cdots & \mathbf{a}_{i-1} & \mathbf{b} & \mathbf{a}_{i+1} & \cdots & \mathbf{a}_n \end{bmatrix}.</math>
लाप्लास कॉलम के साथ इस मैट्रिक्स के निर्धारक का विस्तार करता है {{mvar|i}}. परिणाम प्रवेश है {{mvar|i}} उत्पाद की {{math|adj('''A''')'''b'''}}. विभिन्न संभावितों के लिए इन निर्धारकों को एकत्रित करना {{mvar|i}} कॉलम वैक्टर की समानता उत्पन्न करता है
लाप्लास कॉलम के साथ इस मैट्रिक्स के निर्धारक का विस्तार करता है {{mvar|i}}. परिणाम प्रवेश है {{mvar|i}} उत्पाद की {{math|adj('''A''')'''b'''}}. विभिन्न संभावितों के लिए इन निर्धारकों को त्रित करना {{mvar|i}} कॉलम वैक्टर की समानता उत्पन्न करता है
:<math>\left(\det(\mathbf{A} \stackrel{i}{\leftarrow} \mathbf{b})\right)_{i=1}^n = \operatorname{adj}(\mathbf{A})\mathbf{b}.</math>
:<math>\left(\det(\mathbf{A} \stackrel{i}{\leftarrow} \mathbf{b})\right)_{i=1}^n = \operatorname{adj}(\mathbf{A})\mathbf{b}.</math>
इस सूत्र के निम्नलिखित ठोस परिणाम हैं। [[समीकरणों की रैखिक प्रणाली]] पर विचार करें
इस सूत्र के निम्नलिखित ठोस परिणाम हैं। [[समीकरणों की रैखिक प्रणाली]] पर विचार करें
:<math>\mathbf{A}\mathbf{x} = \mathbf{b}.</math>
:<math>\mathbf{A}\mathbf{x} = \mathbf{b}.</math>
ये मान लीजिए {{math|'''A'''}} [[एकवचन मैट्रिक्स]] है|गैर-एकवचन। इस प्रणाली को बायीं ओर से गुणा करना {{math|adj('''A''')}} और निर्धारक पैदावार से विभाजित करना
ये मान लीजिए {{math|'''A'''}} [[एकवचन मैट्रिक्स|वचन मैट्रिक्स]] है|गैर-वचन। इस प्रणाली को बायीं ओर से गुणा करना {{math|adj('''A''')}} और निर्धारक पैदावार से विभाजित करना
:<math>\mathbf{x} = \frac{\operatorname{adj}(\mathbf{A})\mathbf{b}}{\det \mathbf{A}}.</math>
:<math>\mathbf{x} = \frac{\operatorname{adj}(\mathbf{A})\mathbf{b}}{\det \mathbf{A}}.</math>
इस स्थिति में पिछले सूत्र को लागू करने से क्रैमर का नियम प्राप्त होता है,
इस स्थिति में पिछले सूत्र को लागू करने से क्रैमर का नियम प्राप्त होता है,
Line 173: Line 173:
मान लीजिए कि इसका अभिलक्षणिक बहुपद है {{math|'''A'''}} होना
मान लीजिए कि इसका अभिलक्षणिक बहुपद है {{math|'''A'''}} होना
:<math>p(s) = \det(s\mathbf{I} - \mathbf{A}) = \sum_{i=0}^n p_i s^i \in R[s].</math>
:<math>p(s) = \det(s\mathbf{I} - \mathbf{A}) = \sum_{i=0}^n p_i s^i \in R[s].</math>
का पहला [[विभाजित अंतर]] {{math|''p''}} घात का एक [[सममित बहुपद]] है {{math|''n''&nbsp;−&thinsp;1}},
का पहला [[विभाजित अंतर]] {{math|''p''}} घात का [[सममित बहुपद]] है {{math|''n''&nbsp;−&thinsp;1}},
:<math>\Delta p(s, t) = \frac{p(s) - p(t)}{s - t} = \sum_{0 \le j + k < n} p_{j+k+1} s^j t^k \in R[s, t].</math>
:<math>\Delta p(s, t) = \frac{p(s) - p(t)}{s - t} = \sum_{0 \le j + k < n} p_{j+k+1} s^j t^k \in R[s, t].</math>
गुणा {{math|''s'''''I''' − '''A'''}} इसके adjugate द्वारा. तब से {{math|1=''p''('''A''') = '''0'''}} केली-हैमिल्टन प्रमेय द्वारा, कुछ प्राथमिक जोड़-तोड़ से पता चलता है
गुणा {{math|''s'''''I''' − '''A'''}} इसके adjugate द्वारा. तब से {{math|1=''p''('''A''') = '''0'''}} केली-हैमिल्टन प्रमेय द्वारा, कुछ प्राथमिक जोड़-तोड़ से पता चलता है
Line 182: Line 182:
:<math>R(z; \mathbf{A}) = \frac{\Delta p(z\mathbf{I}, \mathbf{A})}{p(z)}.</math>
:<math>R(z; \mathbf{A}) = \frac{\Delta p(z\mathbf{I}, \mathbf{A})}{p(z)}.</math>


 
'''जैकोबी का सूत्र'''
=== जैकोबी का सूत्र ===
{{main|Jacobi's formula}}
{{main|Jacobi's formula}}
निर्धारक के व्युत्पन्न के लिए एडजुगेट जैकोबी के सूत्र में भी दिखाई देता है। अगर {{math|'''A'''(''t'')}} तो फिर [[लगातार भिन्न]]-भिन्न है
निर्धारक के व्युत्पन्न के लिए एडजुगेट जैकोबी के सूत्र में भी दिखाई देता है। अगर {{math|'''A'''(''t'')}} तो फिर [[लगातार भिन्न]]-भिन्न है
Line 190: Line 189:
:<math>d(\det \mathbf{A})_{\mathbf{A}_0} = \operatorname{adj}(\mathbf{A}_0)^{\mathsf{T}}.</math>
:<math>d(\det \mathbf{A})_{\mathbf{A}_0} = \operatorname{adj}(\mathbf{A}_0)^{\mathsf{T}}.</math>


 
'''केली-हैमिल्टन सूत्र'''
=== केली-हैमिल्टन सूत्र ===
{{main|Cayley–Hamilton theorem}}
{{main|Cayley–Hamilton theorem}}
होने देना {{math|''p''<sub>'''A'''</sub>(''t'')}} का अभिलक्षणिक बहुपद बनें {{math|'''A'''}}. केली-हैमिल्टन प्रमेय यह बताता है
होने देना {{math|''p''<sub>'''A'''</sub>(''t'')}} का अभिलक्षणिक बहुपद बनें {{math|'''A'''}}. केली-हैमिल्टन प्रमेय यह बताता है
:<math>p_{\mathbf{A}}(\mathbf{A}) = \mathbf{0}.</math>
:<math>p_{\mathbf{A}}(\mathbf{A}) = \mathbf{0}.</math>
अचर पद को अलग करना और समीकरण को इससे गुणा करना {{math|adj('''A''')}} उस निर्णय के लिए एक अभिव्यक्ति देता है जो केवल पर निर्भर करता है {{math|'''A'''}} और के गुणांक {{math|''p''<sub>'''A'''</sub>(''t'')}}. इन गुणांकों को शक्तियों के [[ट्रेस (रैखिक बीजगणित)]] के संदर्भ में स्पष्ट रूप से दर्शाया जा सकता है {{math|'''A'''}} पूर्ण घातीय [[बेल बहुपद]] का उपयोग करना। परिणामी सूत्र है
अचर पद को अलग करना और समीकरण को इससे गुणा करना {{math|adj('''A''')}} उस निर्णय के लिए अभिव्यक्ति देता है जो केवल पर निर्भर करता है {{math|'''A'''}} और के गुणांक {{math|''p''<sub>'''A'''</sub>(''t'')}}. इन गुणांकों को शक्तियों के [[ट्रेस (रैखिक बीजगणित)]] के संदर्भ में स्पष्ट रूप से दर्शाया जा सकता है {{math|'''A'''}} पूर्ण घातीय [[बेल बहुपद]] का उपयोग करना। परिणामी सूत्र है
:<math>\operatorname{adj}(\mathbf{A}) = \sum_{s=0}^{n-1} \mathbf{A}^{s} \sum_{k_1, k_2, \ldots, k_{n-1}} \prod_{\ell=1}^{n-1} \frac{(-1)^{k_\ell+1}}{\ell^{k_\ell}k_{\ell}!}\operatorname{tr}(\mathbf{A}^\ell)^{k_\ell},</math>
:<math>\operatorname{adj}(\mathbf{A}) = \sum_{s=0}^{n-1} \mathbf{A}^{s} \sum_{k_1, k_2, \ldots, k_{n-1}} \prod_{\ell=1}^{n-1} \frac{(-1)^{k_\ell+1}}{\ell^{k_\ell}k_{\ell}!}\operatorname{tr}(\mathbf{A}^\ell)^{k_\ell},</math>
कहाँ {{mvar|n}} का आयाम है {{math|'''A'''}}, और राशि ले ली जाती है {{mvar|s}} और सभी अनुक्रम {{math|''k<sub>l</sub>'' ≥ 0}} रैखिक [[डायोफैंटाइन समीकरण]] को संतुष्ट करना
कहाँ {{mvar|n}} का आयाम है {{math|'''A'''}}, और राशि ले ली जाती है {{mvar|s}} और सभी अनुक्रम {{math|''k<sub>l</sub>'' ≥ 0}} रैखिक [[डायोफैंटाइन समीकरण]] को संतुष्ट करना
Line 216: Line 214:


== बाह्य बीजगणित से संबंध ==
== बाह्य बीजगणित से संबंध ==
[[बाहरी बीजगणित]] का उपयोग करके सहायक को अमूर्त शब्दों में देखा जा सकता है। होने देना {{math|''V''}} सेम {{math|''n''}}-आयामी सदिश समष्टि. [[बाहरी उत्पाद]] एक द्विरेखीय युग्मन को परिभाषित करता है
[[बाहरी बीजगणित]] का उपयोग करके सहायक को अमूर्त शब्दों में देखा जा सकता है। होने देना {{math|''V''}} सेम {{math|''n''}}-आयामी सदिश समष्टि. [[बाहरी उत्पाद]] द्विरेखीय युग्मन को परिभाषित करता है
:<math>V \times \wedge^{n-1} V \to \wedge^n V.</math>
:<math>V \times \wedge^{n-1} V \to \wedge^n V.</math>
संक्षेप में, <math>\wedge^n V</math> के लिए [[समरूपी]] है {{math|'''R'''}}, और ऐसी किसी भी समरूपता के तहत बाहरी उत्पाद एक आदर्श युग्मन है। इसलिए, यह एक समरूपता उत्पन्न करता है
संक्षेप में, <math>\wedge^n V</math> के लिए [[समरूपी]] है {{math|'''R'''}}, और ऐसी किसी भी समरूपता के तहत बाहरी उत्पाद आदर्श युग्मन है। इसलिए, यह समरूपता उत्पन्न करता है
:<math>\phi \colon V\ \xrightarrow{\cong}\ \operatorname{Hom}(\wedge^{n-1} V, \wedge^n V).</math>
:<math>\phi \colon V\ \xrightarrow{\cong}\ \operatorname{Hom}(\wedge^{n-1} V, \wedge^n V).</math>
स्पष्ट रूप से, यह जोड़ी भेजती है {{math|'''v''' ∈ ''V''}} को <math>\phi_{\mathbf{v}}</math>, कहाँ
स्पष्ट रूप से, यह जोड़ी भेजती है {{math|'''v''' ∈ ''V''}} को <math>\phi_{\mathbf{v}}</math>, कहाँ
:<math>\phi_\mathbf{v}(\alpha) = \mathbf{v} \wedge \alpha.</math>
:<math>\phi_\mathbf{v}(\alpha) = \mathbf{v} \wedge \alpha.</math>
लगता है कि {{math|''T'' : ''V'' &rarr; ''V''}} एक [[रैखिक परिवर्तन]] है. द्वारा पुलबैक {{math|(''n''&nbsp;−&thinsp;1)}}सेंट बाहरी शक्ति {{math|''T''}} का एक रूपवाद प्रेरित करता है {{math|Hom}} रिक्त स्थान. का निर्णायक {{math|''T''}} समग्र है
लगता है कि {{math|''T'' : ''V'' &rarr; ''V''}} [[रैखिक परिवर्तन]] है. द्वारा पुलबैक {{math|(''n''&nbsp;−&thinsp;1)}}सेंट बाहरी शक्ति {{math|''T''}} का रूपवाद प्रेरित करता है {{math|Hom}} रिक्त स्थान. का निर्णायक {{math|''T''}} समग्र है
:<math>V\ \xrightarrow{\phi}\ \operatorname{Hom}(\wedge^{n-1} V, \wedge^n V)\ \xrightarrow{(\wedge^{n-1} T)^*}\ \operatorname{Hom}(\wedge^{n-1} V, \wedge^n V)\ \xrightarrow{\phi^{-1}}\ V.</math>
:<math>V\ \xrightarrow{\phi}\ \operatorname{Hom}(\wedge^{n-1} V, \wedge^n V)\ \xrightarrow{(\wedge^{n-1} T)^*}\ \operatorname{Hom}(\wedge^{n-1} V, \wedge^n V)\ \xrightarrow{\phi^{-1}}\ V.</math>
अगर {{math|1=''V'' = '''R'''<sup>''n''</sup>}} अपने [[विहित आधार]] से संपन्न है {{math|'''e'''<sub>1</sub>, …, '''e'''<sub>''n''</sub>}}, और यदि का मैट्रिक्स {{math|''T''}}इसमें [[आधार (रैखिक बीजगणित)]] है {{math|'''A'''}}, फिर का adjugate {{math|''T''}} का सहायक है {{math|'''A'''}}. यह देखने के लिए कि क्यों, दे दो <math>\wedge^{n-1} \mathbf{R}^n</math> बुनियाद
अगर {{math|1=''V'' = '''R'''<sup>''n''</sup>}} अपने [[विहित आधार]] से संपन्न है {{math|'''e'''<sub>1</sub>, …, '''e'''<sub>''n''</sub>}}, और यदि का मैट्रिक्स {{math|''T''}}इसमें [[आधार (रैखिक बीजगणित)]] है {{math|'''A'''}}, फिर का adjugate {{math|''T''}} का सहायक है {{math|'''A'''}}. यह देखने के लिए कि क्यों, दे दो <math>\wedge^{n-1} \mathbf{R}^n</math> बुनियाद
:<math>\{\mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_k \wedge \dots \wedge \mathbf{e}_n\}_{k=1}^n.</math>
:<math>\{\mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_k \wedge \dots \wedge \mathbf{e}_n\}_{k=1}^n.</math>
एक आधार वेक्टर ठीक करें {{math|'''e'''<sub>''i''</sub>}} का {{math|'''R'''<sup>''n''</sup>}}. की छवि {{math|'''e'''<sub>''i''</sub>}} अंतर्गत <math>\phi</math> यह इस आधार पर निर्धारित होता है कि यह आधार वैक्टर कहां भेजता है:
आधार वेक्टर ठीक करें {{math|'''e'''<sub>''i''</sub>}} का {{math|'''R'''<sup>''n''</sup>}}. की छवि {{math|'''e'''<sub>''i''</sub>}} अंतर्गत <math>\phi</math> यह इस आधार पर निर्धारित होता है कि यह आधार वैक्टर कहां भेजता है:
:<math>\phi_{\mathbf{e}_i}(\mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_k \wedge \dots \wedge \mathbf{e}_n)
:<math>\phi_{\mathbf{e}_i}(\mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_k \wedge \dots \wedge \mathbf{e}_n)
= \begin{cases} (-1)^{i-1} \mathbf{e}_1 \wedge \dots \wedge \mathbf{e}_n, &\text{if}\ k = i, \\ 0 &\text{otherwise.} \end{cases}</math>
= \begin{cases} (-1)^{i-1} \mathbf{e}_1 \wedge \dots \wedge \mathbf{e}_n, &\text{if}\ k = i, \\ 0 &\text{otherwise.} \end{cases}</math>
Line 239: Line 237:
नतीजतन, इसका मैट्रिक्स प्रतिनिधित्व का सहायक है {{math|'''A'''}}.
नतीजतन, इसका मैट्रिक्स प्रतिनिधित्व का सहायक है {{math|'''A'''}}.


अगर {{math|''V''}} एक आंतरिक उत्पाद और एक वॉल्यूम फॉर्म से संपन्न है, फिर मानचित्र {{math|''φ''}} को और अधिक विघटित किया जा सकता है। इस मामले में, {{math|''φ''}} को [[हॉज स्टार ऑपरेटर]] और दोहरीकरण के संयोजन के रूप में समझा जा सकता है। विशेष रूप से, यदि {{math|ω}} आयतन रूप है, तो यह, आंतरिक उत्पाद के साथ मिलकर, एक समरूपता निर्धारित करता है
अगर {{math|''V''}} आंतरिक उत्पाद और वॉल्यूम फॉर्म से संपन्न है, फिर मानचित्र {{math|''φ''}} को और अधिक विघटित किया जा सकता है। इस मामले में, {{math|''φ''}} को [[हॉज स्टार ऑपरेटर]] और दोहरीकरण के संयोजन के रूप में समझा जा सकता है। विशेष रूप से, यदि {{math|ω}} आयतन रूप है, तो यह, आंतरिक उत्पाद के साथ मिलकर, समरूपता निर्धारित करता है
:<math>\omega^\vee \colon \wedge^n V \to \mathbf{R}.</math>
:<math>\omega^\vee \colon \wedge^n V \to \mathbf{R}.</math>
यह एक समरूपता को प्रेरित करता है
यह समरूपता को प्रेरित करता है
:<math>\operatorname{Hom}(\wedge^{n-1} \mathbf{R}^n, \wedge^n \mathbf{R}^n) \cong \wedge^{n-1} (\mathbf{R}^n)^\vee.</math>
:<math>\operatorname{Hom}(\wedge^{n-1} \mathbf{R}^n, \wedge^n \mathbf{R}^n) \cong \wedge^{n-1} (\mathbf{R}^n)^\vee.</math>
एक सदिश {{math|'''v'''}} में {{math|'''R'''<sup>''n''</sup>}} रैखिक कार्यात्मकता से मेल खाता है
सदिश {{math|'''v'''}} में {{math|'''R'''<sup>''n''</sup>}} रैखिक कार्यात्मकता से मेल खाता है
:<math>(\alpha \mapsto \omega^\vee(\mathbf{v} \wedge \alpha)) \in \wedge^{n-1} (\mathbf{R}^n)^\vee.</math>
:<math>(\alpha \mapsto \omega^\vee(\mathbf{v} \wedge \alpha)) \in \wedge^{n-1} (\mathbf{R}^n)^\vee.</math>
हॉज स्टार ऑपरेटर की परिभाषा के अनुसार, यह रैखिक कार्यात्मकता दोहरी है {{math|*'''v'''}}. वह है, {{math|ω<sup>∨</sup>∘&thinsp;φ}} बराबर है {{math|'''v''' ↦ *'''v'''<sup>∨</sup>}}.
हॉज स्टार ऑपरेटर की परिभाषा के अनुसार, यह रैखिक कार्यात्मकता दोहरी है {{math|*'''v'''}}. वह है, {{math|ω<sup>∨</sup>∘&thinsp;φ}} बराबर है {{math|'''v''' ↦ *'''v'''<sup>∨</sup>}}.


== उच्च adjugates ==
== उच्च adjugates ==
होने देना {{math|'''A'''}} सेम {{math|''n''&thinsp;×&thinsp;''n''}} मैट्रिक्स, और ठीक करें {{math|''r'' &ge; 0}}.{{math|''r''}}वां उच्चतर अधिनिर्णय {{math|'''A'''}} एक <math display="inline">\binom{n}{r} \!\times\! \binom{n}{r}</math> मैट्रिक्स, निरूपित {{math|adj<sub>''r''</sub>&thinsp;'''A'''}}, जिनकी प्रविष्टियाँ आकार के आधार पर अनुक्रमित की जाती हैं {{math|''r''}} उपसमुच्चय {{math|''I''}} और {{math|''J''}} का {{math|{1, ..., ''m''<nowiki>}</nowiki>}}. होने देना {{math|''I''{{i sup|c}}}} और {{math|''J''{{i sup|c}}}} के [[पूरक (सेट सिद्धांत)]] को निरूपित करें {{math|''I''}} और {{math|''J''}}, क्रमश। चलो भी <math>\mathbf{A}_{I^c, J^c}</math> के सबमैट्रिक्स को निरूपित करें {{math|'''A'''}} जिसमें वे पंक्तियाँ और स्तंभ शामिल हैं जिनके सूचकांक हैं {{math|''I''{{i sup|c}}}} और {{math|''J''{{i sup|c}}}}, क्रमश। फिर {{math|(''I'', ''J'')}}की प्रविष्टि {{math|adj<sub>''r''</sub> '''A'''}} है
होने देना {{math|'''A'''}} सेम {{math|''n''&thinsp;×&thinsp;''n''}} मैट्रिक्स, और ठीक करें {{math|''r'' &ge; 0}}.{{math|''r''}}वां उच्चतर अधिनिर्णय {{math|'''A'''}} <math display="inline">\binom{n}{r} \!\times\! \binom{n}{r}</math> मैट्रिक्स, निरूपित {{math|adj<sub>''r''</sub>&thinsp;'''A'''}}, जिनकी प्रविष्टियाँ आकार के आधार पर अनुक्रमित की जाती हैं {{math|''r''}} उपसमुच्चय {{math|''I''}} और {{math|''J''}} का {{math|{1, ..., ''m''<nowiki>}</nowiki>}}. होने देना {{math|''I''{{i sup|c}}}} और {{math|''J''{{i sup|c}}}} के [[पूरक (सेट सिद्धांत)]] को निरूपित करें {{math|''I''}} और {{math|''J''}}, क्रमश। चलो भी <math>\mathbf{A}_{I^c, J^c}</math> के सबमैट्रिक्स को निरूपित करें {{math|'''A'''}} जिसमें वे पंक्तियाँ और स्तंभ शामिल हैं जिनके सूचकांक हैं {{math|''I''{{i sup|c}}}} और {{math|''J''{{i sup|c}}}}, क्रमश। फिर {{math|(''I'', ''J'')}}की प्रविष्टि {{math|adj<sub>''r''</sub> '''A'''}} है
:<math>(-1)^{\sigma(I) + \sigma(J)}\det \mathbf{A}_{J^c, I^c},</math>
:<math>(-1)^{\sigma(I) + \sigma(J)}\det \mathbf{A}_{J^c, I^c},</math>
कहाँ {{math|σ(''I'')}} और {{math|σ(''J'')}} के तत्वों का योग है {{math|''I''}} और {{math|''J''}}, क्रमश।
कहाँ {{math|σ(''I'')}} और {{math|σ(''J'')}} के तत्वों का योग है {{math|''I''}} और {{math|''J''}}, क्रमश।
Line 261: Line 259:


== पुनरावृत्त adjugates ==
== पुनरावृत्त adjugates ==
एक व्युत्क्रमणीय मैट्रिक्स ए का एडजुगेट लेते हुए [[पुनरावृत्त फ़ंक्शन]] {{mvar|k}} गुना पैदावार होती है
व्युत्क्रमणीय मैट्रिक्स ए का एडजुगेट लेते हुए [[पुनरावृत्त फ़ंक्शन]] {{mvar|k}} गुना पैदावार होती है


:<math>\overbrace{\operatorname{adj}\dotsm\operatorname{adj}}^k(\mathbf{A})=\det(\mathbf{A})^{\frac{(n-1)^k-(-1)^k}n}\mathbf{A}^{(-1)^k},</math>
:<math>\overbrace{\operatorname{adj}\dotsm\operatorname{adj}}^k(\mathbf{A})=\det(\mathbf{A})^{\frac{(n-1)^k-(-1)^k}n}\mathbf{A}^{(-1)^k},</math>
Line 268: Line 266:
:<math>\operatorname{adj}(\operatorname{adj}(\mathbf{A})) = \det(\mathbf{A})^{n - 2} \mathbf{A}.</math>
:<math>\operatorname{adj}(\operatorname{adj}(\mathbf{A})) = \det(\mathbf{A})^{n - 2} \mathbf{A}.</math>
:<math>\det(\operatorname{adj}(\operatorname{adj}(\mathbf{A}))) = \det(\mathbf{A})^{(n - 1)^2}.</math>
:<math>\det(\operatorname{adj}(\operatorname{adj}(\mathbf{A}))) = \det(\mathbf{A})^{(n - 1)^2}.</math>


== यह भी देखें ==
== यह भी देखें ==

Revision as of 18:13, 20 July 2023

रैखिक बीजगणित में, वर्ग मैट्रिक्स का सहायक या शास्त्रीय जोड़ A इसके सहकारक मैट्रिक्स का स्थानान्तरण है और इसे इसके द्वारा निरूपित किया जाता है adj(A).[1][2] इसे कभी-कभी सहायक मैट्रिक्स के रूप में भी जाना जाता है,[3][4] या जोड़,[5] हालाँकि बाद वाला शब्द आज आम तौर पर अलग अवधारणा को संदर्भित करता है, हर्मिटियन सहायक जो मैट्रिक्स के लिए संयुग्म स्थानान्तरण है।

इसके सहायक के साथ मैट्रिक्स का उत्पाद विकर्ण मैट्रिक्स देता है (मुख्य विकर्ण पर प्रविष्टियाँ शून्य नहीं हैं) जिनकी विकर्ण प्रविष्टियाँ मूल मैट्रिक्स के निर्धारक हैं:

कहाँ I उसी आकार का पहचान मैट्रिक्स है A. नतीजतन, व्युत्क्रमणीय मैट्रिक्स का गुणन व्युत्क्रम उसके सहायक को उसके निर्धारक से विभाजित करके पाया जा सकता है।

परिभाषा

का निर्णायक A सहकारक मैट्रिक्स का स्थानान्तरण है C का A,

अधिक विस्तार से, मान लीजिए R इकाई क्रमविनिमेय वलय है और A n × n से प्रविष्टियों के साथ मैट्रिक्स R. वह (i, j)-लघु (रैखिक बीजगणित) का A, निरूपित Mij, का निर्धारक है (n − 1) × (n − 1) मैट्रिक्स जो पंक्ति को हटाने से उत्पन्न होता है i और कॉलम j का A. सहकारक (रैखिक बीजगणित)# मैट्रिक्स का व्युत्क्रम A है n × n आव्यूह C किसका (i, j) प्रविष्टि है (i, j) का सहकारक (रैखिक बीजगणित)A, वह कौन सा है (i, j)-मामूली बार संकेत कारक:

का निर्णायक A का स्थानांतरण है C, वह यह है कि n × nमैट्रिक्स जिसका (i, j) प्रविष्टि है (j, i) का सहकारक A,

महत्वपूर्ण परिणाम

एडजुगेट को इस प्रकार परिभाषित किया गया है कि का उत्पाद A इसके adjugate से विकर्ण मैट्रिक्स प्राप्त होता है जिसकी विकर्ण प्रविष्टियाँ निर्धारक होती हैं det(A). वह है,

कहाँ I है n × n शिनाख्त सांचा। यह निर्धारक के लाप्लास विस्तार का परिणाम है।

उपरोक्त सूत्र मैट्रिक्स बीजगणित में मूलभूत परिणामों में से को दर्शाता है A व्युत्क्रमणीय मैट्रिक्स है यदि और केवल यदि det(A) की इकाई (रिंग सिद्धांत) है R. जब यह कायम रहता है, तो उपरोक्त समीकरण प्राप्त होता है

उदाहरण

1 × 1 सामान्य मैट्रिक्स

चूँकि 0 x 0 मैट्रिक्स का निर्धारक 1 है, किसी भी 1 × 1 मैट्रिक्स (जटिल संख्या अदिश) का सहायक है . उसका अवलोकन करो

2 × 2 सामान्य मैट्रिक्स

2 × 2 मैट्रिक्स का एडजुगेट

है

प्रत्यक्ष गणना द्वारा,

ऐसे में ये बात भी सच है det(adj(ए))= det(ए) और इसलिए वह adj(adj(ए)) = ए.

3 × 3 सामान्य मैट्रिक्स

3 × 3 मैट्रिक्स पर विचार करें

इसका सहकारक मैट्रिक्स है

कहाँ

इसका सहायक इसके सहकारक मैट्रिक्स का स्थानान्तरण है,


3 × 3 संख्यात्मक मैट्रिक्स

विशिष्ट उदाहरण के रूप में, हमारे पास है

यह जांचना आसान है कि एडजुगेट निर्धारक का व्युत्क्रम मैट्रिक्स गुणा है, −6. वह −1 दूसरी पंक्ति में, एडजुगेट के तीसरे कॉलम की गणना निम्नानुसार की गई थी। एडजुगेट की (2,3) प्रविष्टि ए का (3,2) सहकारक है। इस सहकारक की गणना मूल मैट्रिक्स ए की तीसरी पंक्ति और दूसरे स्तंभ को हटाकर प्राप्त सबमैट्रिक्स का उपयोग करके की जाती है।

(3,2) सहकारक इस सबमैट्रिक्स के निर्धारक का संकेत गुना है:

और यह सहायक की (2,3) प्रविष्टि है।

गुण

किसी के लिए n × n आव्यूह A, प्रारंभिक गणना से पता चलता है कि adjugates में निम्नलिखित गुण हैं:

  • , कहाँ पहचान मैट्रिक्स है.
  • , कहाँ शून्य मैट्रिक्स है, सिवाय इसके कि यदि तब .
  • किसी भी अदिश राशि के लिए c.
  • .
  • .
  • अगर A तो उलटा है . यह इस प्रकार है कि:
    • adj(A) व्युत्क्रम के साथ व्युत्क्रमणीय है (det A)−1A.
    • adj(A−1) = adj(A)−1.
  • adj(A) प्रवेशवार बहुपद है A. विशेष रूप से, वास्तविक संख्या या जटिल संख्याओं पर, adjugate की प्रविष्टियों का सुचारू कार्य है A.

सम्मिश्र संख्याओं पर,

  • , जहां बार जटिल संयुग्मन को दर्शाता है।
  • , जहां तारांकन संयुग्म स्थानांतरण को दर्शाता है।

लगता है कि B दूसरा है n × n आव्यूह। तब

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

चूँकि प्रत्येक गैर-व्युत्क्रमणीय आव्यूह व्युत्क्रमणीय आव्यूहों की सीमा है, इसलिए सहायक के निरंतर कार्य का तात्पर्य यह है कि सूत्र तब सत्य रहता है जब इनमें से कोई हो A या B उलटा नहीं है.

पिछले सूत्र का परिणाम यह है कि, किसी भी गैर-नकारात्मक पूर्णांक के लिए k,

अगर A व्युत्क्रमणीय है, तो उपरोक्त सूत्र ऋणात्मक के लिए भी मान्य है k.

पहचान से

हम निष्कर्ष निकालते हैं

लगता है कि A आवागमन मैट्रिक्स ेस के साथ B. पहचान को गुणा करना AB = BA बाएँ और दाएँ पर adj(A) यह साबित करता है

अगर A व्युत्क्रमणीय है, इसका तात्पर्य यह है adj(A) भी साथ आवागमन करता है B. वास्तविक या जटिल संख्याओं पर, निरंतरता का तात्पर्य है adj(A) के साथ आवागमन करता है B यहां तक ​​कि जब A उलटा नहीं है.

अंत में, दूसरे प्रमाण की तुलना में अधिक सामान्य प्रमाण है, जिसके लिए केवल यह आवश्यक है कि n × n मैट्रिक्स में कम से कम 2n + 1 तत्वों (उदाहरण के लिए पूर्णांक मॉड्यूलर अंकगणित 11 पर 5 × 5 मैट्रिक्स) के साथ फ़ील्ड (गणित) पर प्रविष्टियाँ हों ). det(A+tI) t में बहुपद है जिसमें अधिकतम n पर बहुपद की घात होती है, इसलिए इसमें बहुपद का अधिकतम n मूल होता है। ध्यान दें कि ij वीं प्रविष्टि adj((A+tI)(B))अधिकतम क्रम n का बहुपद है, और इसी तरह के लिए भी adj(A+tI) adj(B). Ij वीं प्रविष्टि पर ये दो बहुपद कम से कम n+ 1 अंक पर सहमत हैं, क्योंकि हमारे पास क्षेत्र के कम से कम n+ 1 तत्व हैं जहां A+tI व्युत्क्रमणीय है, और हमने व्युत्क्रमणीय आव्यूहों की पहचान सिद्ध कर दी है। डिग्री n के बहुपद जो n+ 1 बिंदुओं पर सहमत होते हैं, समान होने चाहिए (उन्हें दूसरे से घटाएं और आपके पास अधिकतम n डिग्री वाले बहुपद के लिए n+ 1 मूल होंगे - विरोधाभास जब तक कि उनका अंतर समान रूप से शून्य न हो)। चूँकि दोनों बहुपद समान हैं, वे t के प्रत्येक मान के लिए समान मान लेते हैं। इस प्रकार, जब t = 0 होता है तो वे समान मान लेते हैं।

उपरोक्त गुणों और अन्य प्राथमिक गणनाओं का उपयोग करके, यह दिखाना आसान है कि यदि A में निम्नलिखित गुणों में से है adj A भी करता है:

अगर A उलटा है, तो, जैसा कि ऊपर बताया गया है, इसके लिए सूत्र है adj(A) निर्धारक और व्युत्क्रम के संदर्भ में A. कब A उलटा नहीं है, एडजुगेट अलग-अलग लेकिन निकट से संबंधित सूत्रों को संतुष्ट करता है।

  • अगर rk(A) ≤ n − 2, तब adj(A) = 0.
  • अगर rk(A) = n − 1, तब rk(adj(A)) = 1. (कुछ माइनर गैर-शून्य है, इसलिए adj(A) गैर-शून्य है और इसलिए इसकी रैंक (रैखिक बीजगणित) कम से कम है; पहचान adj(A) A = 0 तात्पर्य यह है कि शून्य स्थान का आयाम (वेक्टर स्थान)adj(A) कम से कम है n − 1, इसलिए इसकी रैंक अधिकतम है।) यह उसका अनुसरण करता है adj(A) = αxyT, कहाँ α अदिश राशि है और x और y ऐसे सदिश हैं Ax = 0 और ATy = 0.

कॉलम प्रतिस्थापन और क्रैमर नियम

PARTITION A स्तंभ सदिश में:

होने देना b आकार का कॉलम वेक्टर बनें n. हल करना 1 ≤ in और कॉलम को प्रतिस्थापित करके गठित मैट्रिक्स पर विचार करें i का A द्वारा b:

लाप्लास कॉलम के साथ इस मैट्रिक्स के निर्धारक का विस्तार करता है i. परिणाम प्रवेश है i उत्पाद की adj(A)b. विभिन्न संभावितों के लिए इन निर्धारकों को त्रित करना i कॉलम वैक्टर की समानता उत्पन्न करता है

इस सूत्र के निम्नलिखित ठोस परिणाम हैं। समीकरणों की रैखिक प्रणाली पर विचार करें

ये मान लीजिए A वचन मैट्रिक्स है|गैर-वचन। इस प्रणाली को बायीं ओर से गुणा करना adj(A) और निर्धारक पैदावार से विभाजित करना

इस स्थिति में पिछले सूत्र को लागू करने से क्रैमर का नियम प्राप्त होता है,

कहाँ xi है iवीं प्रविष्टि x.

अभिलक्षणिक बहुपद

मान लीजिए कि इसका अभिलक्षणिक बहुपद है A होना

का पहला विभाजित अंतर p घात का सममित बहुपद है n − 1,

गुणा sIA इसके adjugate द्वारा. तब से p(A) = 0 केली-हैमिल्टन प्रमेय द्वारा, कुछ प्राथमिक जोड़-तोड़ से पता चलता है

विशेष रूप से, संकल्पात्मक औपचारिकता A को परिभाषित किया गया है

और उपरोक्त सूत्र के अनुसार, यह बराबर है

जैकोबी का सूत्र

निर्धारक के व्युत्पन्न के लिए एडजुगेट जैकोबी के सूत्र में भी दिखाई देता है। अगर A(t) तो फिर लगातार भिन्न-भिन्न है

यह इस प्रकार है कि निर्धारक का कुल व्युत्पन्न सहायक का स्थानान्तरण है:

केली-हैमिल्टन सूत्र

होने देना pA(t) का अभिलक्षणिक बहुपद बनें A. केली-हैमिल्टन प्रमेय यह बताता है

अचर पद को अलग करना और समीकरण को इससे गुणा करना adj(A) उस निर्णय के लिए अभिव्यक्ति देता है जो केवल पर निर्भर करता है A और के गुणांक pA(t). इन गुणांकों को शक्तियों के ट्रेस (रैखिक बीजगणित) के संदर्भ में स्पष्ट रूप से दर्शाया जा सकता है A पूर्ण घातीय बेल बहुपद का उपयोग करना। परिणामी सूत्र है

कहाँ n का आयाम है A, और राशि ले ली जाती है s और सभी अनुक्रम kl ≥ 0 रैखिक डायोफैंटाइन समीकरण को संतुष्ट करना

2 × 2 मामले के लिए, यह देता है

3 × 3 मामले के लिए, यह देता है

4 × 4 मामले के लिए, यह देता है

वही सूत्र सीधे फद्दीव-लेवेरियर एल्गोरिथ्म के अंतिम चरण का अनुसरण करता है, जो कुशलता से विशेषता बहुपद को निर्धारित करता है A.

बाह्य बीजगणित से संबंध

बाहरी बीजगणित का उपयोग करके सहायक को अमूर्त शब्दों में देखा जा सकता है। होने देना V सेम n-आयामी सदिश समष्टि. बाहरी उत्पाद द्विरेखीय युग्मन को परिभाषित करता है

संक्षेप में, के लिए समरूपी है R, और ऐसी किसी भी समरूपता के तहत बाहरी उत्पाद आदर्श युग्मन है। इसलिए, यह समरूपता उत्पन्न करता है

स्पष्ट रूप से, यह जोड़ी भेजती है vV को , कहाँ

लगता है कि T : VV रैखिक परिवर्तन है. द्वारा पुलबैक (n − 1)सेंट बाहरी शक्ति T का रूपवाद प्रेरित करता है Hom रिक्त स्थान. का निर्णायक T समग्र है

अगर V = Rn अपने विहित आधार से संपन्न है e1, …, en, और यदि का मैट्रिक्स Tइसमें आधार (रैखिक बीजगणित) है A, फिर का adjugate T का सहायक है A. यह देखने के लिए कि क्यों, दे दो बुनियाद

आधार वेक्टर ठीक करें ei का Rn. की छवि ei अंतर्गत यह इस आधार पर निर्धारित होता है कि यह आधार वैक्टर कहां भेजता है:

वेक्टर के आधार पर, (n − 1)सेंट बाहरी शक्ति T है

इनमें से प्रत्येक पद शून्य के अंतर्गत मैप करता है सिवाय k = i अवधि। इसलिए, की वापसी जिसके लिए रैखिक परिवर्तन है

अर्थात् यह बराबर है

का उलटा लगाना दर्शाता है कि का adjugate T जिसके लिए रैखिक परिवर्तन है

नतीजतन, इसका मैट्रिक्स प्रतिनिधित्व का सहायक है A.

अगर V आंतरिक उत्पाद और वॉल्यूम फॉर्म से संपन्न है, फिर मानचित्र φ को और अधिक विघटित किया जा सकता है। इस मामले में, φ को हॉज स्टार ऑपरेटर और दोहरीकरण के संयोजन के रूप में समझा जा सकता है। विशेष रूप से, यदि ω आयतन रूप है, तो यह, आंतरिक उत्पाद के साथ मिलकर, समरूपता निर्धारित करता है

यह समरूपता को प्रेरित करता है

सदिश v में Rn रैखिक कार्यात्मकता से मेल खाता है

हॉज स्टार ऑपरेटर की परिभाषा के अनुसार, यह रैखिक कार्यात्मकता दोहरी है *v. वह है, ω∘ φ बराबर है v ↦ *v.

उच्च adjugates

होने देना A सेम n × n मैट्रिक्स, और ठीक करें r ≥ 0.rवां उच्चतर अधिनिर्णय A मैट्रिक्स, निरूपित adjrA, जिनकी प्रविष्टियाँ आकार के आधार पर अनुक्रमित की जाती हैं r उपसमुच्चय I और J का {1, ..., m}. होने देना Ic और Jc के पूरक (सेट सिद्धांत) को निरूपित करें I और J, क्रमश। चलो भी के सबमैट्रिक्स को निरूपित करें A जिसमें वे पंक्तियाँ और स्तंभ शामिल हैं जिनके सूचकांक हैं Ic और Jc, क्रमश। फिर (I, J)की प्रविष्टि adjr A है

कहाँ σ(I) और σ(J) के तत्वों का योग है I और J, क्रमश।

उच्च adjugates के मूल गुणों में शामिल हैं:

  • adj0(A) = det A.
  • adj1(A) = adj A.
  • adjn(A) = 1.
  • adjr(BA) = adjr(A) adjr(B).
  • , कहाँ Cr(A) दर्शाता है r&हेयरस्प;यौगिक मैट्रिक्स

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

पुनरावृत्त adjugates

व्युत्क्रमणीय मैट्रिक्स ए का एडजुगेट लेते हुए पुनरावृत्त फ़ंक्शन k गुना पैदावार होती है

उदाहरण के लिए,

यह भी देखें

  • केली-हैमिल्टन प्रमेय
  • क्रैमर का नियम
  • ट्रेस आरेख
  • जैकोबी का सूत्र
  • फद्दीव-लेवेरियर एल्गोरिदम
  • यौगिक मैट्रिक्स

संदर्भ

  1. Gantmacher, F. R. (1960). मैट्रिक्स का सिद्धांत. Vol. 1. New York: Chelsea. pp. 76–89. ISBN 0-8218-1376-5.
  2. Strang, Gilbert (1988). "Section 4.4: Applications of determinants". रेखीय बीजगणित और इसके अनुप्रयोग (3rd ed.). Harcourt Brace Jovanovich. pp. 231–232. ISBN 0-15-551005-3.
  3. Claeyssen, J.C.R. (1990). "गतिशील मैट्रिक्स समाधानों का उपयोग करके गैर-रूढ़िवादी रैखिक कंपन प्रणालियों की प्रतिक्रिया की भविष्यवाणी करने पर". Journal of Sound and Vibration. 140 (1): 73–84. doi:10.1016/0022-460X(90)90907-H.
  4. Chen, W.; Chen, W.; Chen, Y.J. (2004). "गुंजयमान रिंग जाली उपकरणों के विश्लेषण के लिए एक विशेषता मैट्रिक्स दृष्टिकोण". IEEE Photonics Technology Letters. 16 (2): 458–460. doi:10.1109/LPT.2003.823104.
  5. Householder, Alston S. (2006). संख्यात्मक विश्लेषण में मैट्रिक्स का सिद्धांत. Dover Books on Mathematics. pp. 166–168. ISBN 0-486-44972-6.


ग्रन्थसूची

  • Roger A. Horn and Charles R. Johnson (2013), Matrix Analysis, Second Edition. Cambridge University Press, ISBN 978-0-521-54823-6
  • Roger A. Horn and Charles R. Johnson (1991), Topics in Matrix Analysis. Cambridge University Press, ISBN 978-0-521-46713-1


बाहरी संबंध