एडजुगेट मैट्रिक्स: Difference between revisions
No edit summary |
No edit summary |
||
(24 intermediate revisions by 4 users not shown) | |||
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>\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|'''A'''}} के | {{math|'''A'''}} का निर्णायक {{math|'''A'''}} के एडजुगेट आव्यूह {{math|'''C'''}} का स्थानान्तरण है , | ||
:<math>\operatorname{adj}(\mathbf{A}) = \mathbf{C}^\mathsf{T}.</math> | :<math>\operatorname{adj}(\mathbf{A}) = \mathbf{C}^\mathsf{T}.</math> | ||
अधिक विस्तार से, मान लीजिए {{math|''R''}} इकाई [[क्रमविनिमेय वलय|क्रमविनिमेय रिंग]] है | अधिक विस्तार से, मान लीजिए {{math|''R''}} इकाई [[क्रमविनिमेय वलय|क्रमविनिमेय रिंग]] है एवं {{math|'''A'''}} {{math|''R''}} प्रविष्टियों के साथ {{math|''n'' × ''n''}} आव्यूह है। {{math|'''A'''}} का {{math|(''i'', ''j'')}} -[[लघु (रैखिक बीजगणित)|लघु]] जिसे {{math|'''M'''<sub>''ij''</sub>}} दर्शाया गया है, आव्यूह का निर्धारक है, जो {{math|'''A'''}} की पंक्ति {{mvar|i}} एवं स्तंभ {{mvar|j}} को विस्थापित करने से परिणामस्वरूप होता है। {{math|'''A'''}} का एडजुगेट आव्यूह {{math|''n'' × ''n''}} आव्यूह {{math|'''C'''}} है, जिसका {{math|(''i'', ''j'')}} प्रविष्टि {{math|'''A'''}} का {{math|(''i'', ''j'')}} एडजुगेट (रैखिक बीजगणित) है, जो कि {{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'' × ''n''}} आव्यूह जिसकी {{math|(''i'', ''j'')}} प्रविष्टि {{math|'''A'''}} का {{math|(''j'', ''i'')}} एडजुगेट है, | |||
:<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'''}} का उत्पाद विकर्ण आव्यूह उत्पन्न करता है, जिसकी विकर्ण प्रविष्टियाँ निर्धारक {{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'' × ''n''}} पहचान आव्यूह है। यह निर्धारक के [[लाप्लास विस्तार]] का परिणाम है। | |||
उपरोक्त सूत्र | उपरोक्त सूत्र आव्यूह बीजगणित में मूलभूत परिणामों में से एक का तात्पर्य है, {{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}, \\ | ||
Line 28: | Line 31: | ||
== उदाहरण == | == उदाहरण == | ||
=== 1 × 1 सामान्य | === 1 × 1 सामान्य आव्यूह === | ||
चूँकि 0 x 0 | चूँकि 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 39: | Line 44: | ||
प्रत्यक्ष गणना द्वारा, | प्रत्यक्ष गणना द्वारा, | ||
:<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}}('''A'''))= {{math|det}}('''A''') एवं इसलिए {{math|adj}}({{math|adj}}('''A''')) = '''A'''. | ||
'''3 × 3 सामान्य | '''3 × 3 सामान्य आव्यूह''' | ||
3 × 3 | 3 × 3 आव्यूह पर विचार करें | ||
:<math>\mathbf{A} = \begin{bmatrix} | :<math>\mathbf{A} = \begin{bmatrix} | ||
a_{11} & a_{12} & a_{13} \\ | a_{11} & a_{12} & a_{13} \\ | ||
Line 49: | Line 54: | ||
a_{31} & a_{32} & a_{33} | a_{31} & a_{32} & a_{33} | ||
\end{bmatrix}.</math> | \end{bmatrix}.</math> | ||
इसका | इसका एडजुगेट आव्यूह है | ||
:<math>\mathbf{C} = \begin{bmatrix} | :<math>\mathbf{C} = \begin{bmatrix} | ||
+\begin{vmatrix} a_{22} & a_{23} \\ a_{32} & a_{33} \end{vmatrix} & | +\begin{vmatrix} a_{22} & a_{23} \\ a_{32} & a_{33} \end{vmatrix} & | ||
Line 63: | Line 68: | ||
+\begin{vmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{vmatrix} | +\begin{vmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{vmatrix} | ||
\end{bmatrix},</math> | \end{bmatrix},</math> | ||
जहाँ | |||
:<math>\begin{vmatrix} a_{im} & a_{in} \\ a_{jm} & a_{jn} \end{vmatrix} | :<math>\begin{vmatrix} a_{im} & a_{in} \\ a_{jm} & a_{jn} \end{vmatrix} | ||
= \det\!\begin{bmatrix} a_{im} & a_{in} \\ a_{jm} & a_{jn} \end{bmatrix} .</math> | = \det\!\begin{bmatrix} a_{im} & a_{in} \\ a_{jm} & a_{jn} \end{bmatrix} .</math> | ||
इसका सहायक इसके | इसका सहायक इसके एडजुगेट आव्यूह का स्थानान्तरण है, | ||
:<math>\operatorname{adj}(\mathbf{A}) = \mathbf{C}^\mathsf{T} = \begin{bmatrix} | :<math>\operatorname{adj}(\mathbf{A}) = \mathbf{C}^\mathsf{T} = \begin{bmatrix} | ||
+\begin{vmatrix} a_{22} & a_{23} \\ a_{32} & a_{33} \end{vmatrix} & | +\begin{vmatrix} a_{22} & a_{23} \\ a_{32} & a_{33} \end{vmatrix} & | ||
Line 83: | Line 88: | ||
'''3 × 3 संख्यात्मक | '''3 × 3 संख्यात्मक आव्यूह''' | ||
विशिष्ट उदाहरण के रूप में, हमारे पास है | विशिष्ट उदाहरण के रूप में, हमारे पास है, | ||
:<math>\operatorname{adj}\!\begin{bmatrix} | :<math>\operatorname{adj}\!\begin{bmatrix} | ||
-3 & 2 & -5 \\ | -3 & 2 & -5 \\ | ||
Line 95: | Line 100: | ||
4 & -6 & 2 | 4 & -6 & 2 | ||
\end{bmatrix}.</math> | \end{bmatrix}.</math> | ||
यह | यह परिक्षण करना सरल है कि एडजुगेट निर्धारक का व्युत्क्रम आव्यूह गुणा है, {{math|−6}}, वह {{math|−1}} दूसरी पंक्ति में, एडजुगेट के तीसरे स्तंभ की गणना निम्नानुसार की गई थी। एडजुगेट की (2,3) प्रविष्टि '''A''' का (3,2) एडजुगेट है। इस एडजुगेट की गणना मूल आव्यूह '''A''' की तीसरी पंक्ति एवं दूसरे स्तंभ को विस्थापित कर प्राप्त [[सबमैट्रिक्स|सबआव्यूह]] का उपयोग करके की जाती है। | ||
:<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) प्रविष्टि है। | |||
== गुण == | == गुण == | ||
किसी | किसी भी {{math|''n'' × ''n''}} आव्यूह {{math|'''A'''}} के लिए, प्रारंभिक गणना से ज्ञात होता है कि एडजुगेट में निम्नलिखित गुण हैं: | ||
* <math>\operatorname{adj}(\mathbf{I}) = \mathbf{I}</math>, | * <math>\operatorname{adj}(\mathbf{I}) = \mathbf{I}</math>, जहाँ <math>\mathbf{I}</math> पहचान आव्यूह है. | ||
* <math>\operatorname{adj}(\mathbf{0}) = \mathbf{0}</math>, | * <math>\operatorname{adj}(\mathbf{0}) = \mathbf{0}</math>, जहाँ <math>\mathbf{0}</math> [[शून्य मैट्रिक्स|शून्य आव्यूह]] है, अतिरिक्त इसके कि यदि <math>n=1</math> तब <math>\operatorname{adj}(\mathbf{0}) = \mathbf{I}</math>. | ||
* <math>\operatorname{adj}(c \mathbf{A}) = c^{n - 1}\operatorname{adj}(\mathbf{A})</math> | * किसी भी अदिश {{mvar|c}} के लिए <math>\operatorname{adj}(c \mathbf{A}) = c^{n - 1}\operatorname{adj}(\mathbf{A})</math> . | ||
* <math>\operatorname{adj}(\mathbf{A}^\mathsf{T}) = \operatorname{adj}(\mathbf{A})^\mathsf{T}</math>. | * <math>\operatorname{adj}(\mathbf{A}^\mathsf{T}) = \operatorname{adj}(\mathbf{A})^\mathsf{T}</math>. | ||
* <math>\det(\operatorname{adj}(\mathbf{A})) = (\det \mathbf{A})^{n-1}</math>. | * <math>\det(\operatorname{adj}(\mathbf{A})) = (\det \mathbf{A})^{n-1}</math>. | ||
* | * यदि {{math|'''A'''}} तो व्युत्क्रमणीय है, तो <math>\operatorname{adj}(\mathbf{A}) = (\det \mathbf{A}) \mathbf{A}^{-1}</math>. यह इस प्रकार है कि: | ||
** {{math|adj('''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|adj('''A''')}} {{math|'''A'''}} प्रवेशवार [[बहुपद]] है। विशेष रूप से, [[वास्तविक संख्या]] या सम्मिश्र संख्याओं पर, एडजुगेट {{math|'''A'''}} की प्रविष्टियों का [[सुचारू कार्य]] है। | ||
सम्मिश्र संख्याओं पर, | सम्मिश्र संख्याओं पर, | ||
* <math>\operatorname{adj}(\overline\mathbf{A}) = \overline{\operatorname{adj}(\mathbf{A})}</math>, जहां बार [[जटिल संयुग्मन]] को दर्शाता है। | * <math>\operatorname{adj}(\overline\mathbf{A}) = \overline{\operatorname{adj}(\mathbf{A})}</math>, जहां बार [[जटिल संयुग्मन|सम्मिश्र संयुग्मन]] को दर्शाता है। | ||
* <math>\operatorname{adj}(\mathbf{A}^*) = \operatorname{adj}(\mathbf{A})^*</math>, जहां तारांकन संयुग्म स्थानांतरण को दर्शाता है। | * <math>\operatorname{adj}(\mathbf{A}^*) = \operatorname{adj}(\mathbf{A})^*</math>, जहां तारांकन संयुग्म स्थानांतरण को दर्शाता है। | ||
मान लीजिए कि {{math|'''B'''}} अन्य {{math|''n'' × ''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>\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'''}} इनमें से कोई व्युत्क्रमणीय नहीं होता है तो सूत्र सत्य रहता है। | ||
पूर्व सूत्र का [[परिणाम]] यह है कि, किसी भी गैर-ऋणात्मक [[पूर्णांक]] {{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}} के लिए भी मान्य है . | |||
पहचान से | पहचान से | ||
Line 131: | Line 136: | ||
हम निष्कर्ष निकालते हैं | हम निष्कर्ष निकालते हैं | ||
:<math>\mathbf{A}\operatorname{adj}(\mathbf{A} + \mathbf{B})\mathbf{B} = \mathbf{B}\operatorname{adj}(\mathbf{A} + \mathbf{B})\mathbf{A}.</math> | :<math>\mathbf{A}\operatorname{adj}(\mathbf{A} + \mathbf{B})\mathbf{B} = \mathbf{B}\operatorname{adj}(\mathbf{A} + \mathbf{B})\mathbf{A}.</math> | ||
मान लीजिए कि {{math|'''A'''}}, {{math|'''B'''}} के साथ यात्रा करता है। बायीं एवं दायीं ओर पहचान {{math|1='''AB''' = '''BA'''}} को {{math|adj('''A''')}} से गुणा करने से सिद्ध होता है, कि | |||
:<math>\det(\mathbf{A})\operatorname{adj}(\mathbf{A})\mathbf{B} = \det(\mathbf{A})\mathbf{B}\operatorname{adj}(\mathbf{A}).</math> | :<math>\det(\mathbf{A})\operatorname{adj}(\mathbf{A})\mathbf{B} = \det(\mathbf{A})\mathbf{B}\operatorname{adj}(\mathbf{A}).</math> | ||
यदि {{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'' '''I''')}} t में बहुपद है जिसमें डिग्री अधिकतम n है, इसलिए इसकी अधिकतम n जड़ें हैं। ध्यान दें कि {{math|adj(('''A'''+''t'' '''I''')('''B'''))}} ij वीं प्रविष्टि अधिकतम क्रम n का बहुपद है, एवं इसी प्रकार {{math|adj('''A'''+''t'' '''I''') adj('''B''')}} के लिए भी है। Ij वीं प्रविष्टि पर ये दो बहुपद कम से कम n+ 1 अंक पर सहमत हैं, क्योंकि हमारे पास क्षेत्र के कम से कम n+ 1 तत्व हैं जहां {{math|'''A'''+''t'' '''I'''}} व्युत्क्रमणीय है, एवं हमने व्युत्क्रमणीय आव्यूहों के लिए पहचान सिद्ध कर दी है। डिग्री n के बहुपद जो n+ 1 बिंदुओं पर सहमत होते हैं, समान होने चाहिए (उन्हें दूसरे से घटाएं एवं आपके पास अधिकतम n डिग्री वाले बहुपद के लिए n+ 1 मूल होंगे, विरोधाभास जब तक कि उनका अंतर समान रूप से शून्य न हो)। चूँकि दोनों बहुपद समान हैं, वे t के प्रत्येक मान के लिए समान मान लेते हैं। इस प्रकार, जब t = 0 होता है तो वे समान मान लेते हैं। | ||
उपरोक्त गुणों | उपरोक्त गुणों एवं अन्य प्राथमिक गणनाओं का उपयोग करके, यह दिखाना सरल है कि यदि {{math|'''A'''}} में निम्नलिखित गुणों में से है {{math|adj '''A'''}} भी ऐसा ही करता है: | ||
* [[ऊपरी त्रिकोणीय]], | * [[ऊपरी त्रिकोणीय]], | ||
*[[निचला त्रिकोणीय]], | *[[निचला त्रिकोणीय]], | ||
* विकर्ण | * विकर्ण आव्यूह, | ||
* [[ऑर्थोगोनल मैट्रिक्स]], | * [[ऑर्थोगोनल मैट्रिक्स|ऑर्थोगोनल आव्यूह]], | ||
* [[एकात्मक मैट्रिक्स| | * [[एकात्मक मैट्रिक्स|एकात्मक आव्यूह]], | ||
* [[सममित मैट्रिक्स]], | * [[सममित मैट्रिक्स|सममित आव्यूह]], | ||
* [[हर्मिटियन मैट्रिक्स]], | * [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]], | ||
*[[तिरछा-सममित मैट्रिक्स]]| | *[[तिरछा-सममित मैट्रिक्स|स्क्यू]][[तिरछा-सममित मैट्रिक्स|-सममित,]] | ||
* [[तिरछा-Hermitian]] | * [[तिरछा-Hermitian|स्क्यू-हर्मिटियन,]] | ||
* [[सामान्य मैट्रिक्स]] | * [[सामान्य मैट्रिक्स|सामान्य आव्यूह,]] | ||
यदि {{math|'''A'''}} व्युत्क्रमणीय है, तो, जैसा कि ऊपर बताया गया है, {{math|'''A'''}} के निर्धारक एवं व्युत्क्रम के संदर्भ में {{math|adj('''A''')}} के लिए एक सूत्र है। जब {{math|'''A'''}} व्युत्क्रमणीय नहीं है, तो एडजुगेट भिन्न-भिन्न किन्तु निकट से संबंधित सूत्रों को संतुष्ट करता है। | |||
* | * यदि {{math|1=rk('''A''') ≤ ''n'' − 2}}, तब {{math|1=adj('''A''') = '''0'''}}. | ||
* | * यदि {{math|1=rk('''A''') = ''n'' − 1}}, तब {{math|1=rk(adj('''A''')) = 1}}. (कुछ माइनर गैर-शून्य है, इसलिए {{math|adj('''A''')}} गैर-शून्य है एवं इसलिए इसकी [[रैंक (रैखिक बीजगणित)]] कम से कम है; पहचान {{math|1=adj('''A''') '''A''' = '''0'''}} का तात्पर्य यह है, कि {{math|adj('''A''')}} के शून्य स्थान का [[आयाम (वेक्टर स्थान)|आयाम]] कम से कम {{math|''n'' − 1}} है, इसलिए इसकी रैंक अधिकतम है।) यह यह इस प्रकार है कि {{math|1=adj('''A''') = ''α'''''xy'''<sup>T</sup>}}, जहाँ {{math|''α''}} अदिश राशि है एवं {{math|'''x'''}} एवं {{math|'''y'''}} इस प्रकार सदिश हैं कि {{math|1='''Ax''' = '''0'''}} एवं {{math|1='''A'''<sup>T</sup> '''y''' = '''0'''}} है। | ||
=== | === स्तंभ प्रतिस्थापन एवं क्रैमर नियम === | ||
{{see also| | {{see also| | ||
क्रैमर का नियम}} | |||
[[स्तंभ सदिश]] में विभाजन {{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 ≤ ''i'' ≤ ''n''}} को ठीक करें एवं {{math|'''A'''}} के स्तंभ {{math|''i''}} को {{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}} के साथ विस्तारित करता है। परिणाम उत्पाद {{math|adj('''A''')'''b'''}}की प्रविष्टि {{mvar|i}} है। विभिन्न संभावित {{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>\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> | ||
इस स्थिति में | इस स्थिति में पूर्व सूत्र को प्रारम्भ करने से क्रैमर का नियम प्राप्त होता है, | ||
:<math>x_i = \frac{\det(\mathbf{A} \stackrel{i}{\leftarrow} \mathbf{b})}{\det \mathbf{A}},</math> | :<math>x_i = \frac{\det(\mathbf{A} \stackrel{i}{\leftarrow} \mathbf{b})}{\det \mathbf{A}},</math> | ||
जहां {{math|''x''<sub>''i''</sub>}}, {{math|'''x'''}} की {{mvar|i}}वीं प्रविष्टि है। | |||
=== अभिलक्षणिक बहुपद === | === अभिलक्षणिक बहुपद === | ||
माना {{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'' − 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'''}} को इसके एडजुगेट से गुणा करें। चूँकि केली-हैमिल्टन प्रमेय के अनुसार {{math|1=''p''('''A''') = '''0'''}} कुछ प्राथमिक जोड़-तोड़ से ज्ञात होता है | |||
:<math>\operatorname{adj}(s\mathbf{I} - \mathbf{A}) = \Delta p(s\mathbf{I}, \mathbf{A}).</math> | :<math>\operatorname{adj}(s\mathbf{I} - \mathbf{A}) = \Delta p(s\mathbf{I}, \mathbf{A}).</math> | ||
विशेष रूप से, | विशेष रूप से, {{math|'''A'''}} के [[संकल्पात्मक औपचारिकता]] को परिभाषित किया गया है | ||
:<math>R(z; \mathbf{A}) = (z\mathbf{I} - \mathbf{A})^{-1},</math> | :<math>R(z; \mathbf{A}) = (z\mathbf{I} - \mathbf{A})^{-1},</math> | ||
एवं उपरोक्त सूत्र के अनुसार, यह समान है | |||
:<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| | {{main| | ||
निर्धारक के व्युत्पन्न के लिए एडजुगेट जैकोबी के सूत्र में भी दिखाई देता है। | जैकोबी का सूत्र}} | ||
निर्धारक के व्युत्पन्न के लिए एडजुगेट जैकोबी के सूत्र में भी दिखाई देता है। यदि {{math|'''A'''(''t'')}} [[लगातार भिन्न|निरंतर अवकलनीय]]-भिन्न है, | |||
:<math>\frac{d(\det \mathbf{A})}{dt}(t) = \operatorname{tr}\left(\operatorname{adj}(\mathbf{A}(t)) \mathbf{A}'(t)\right).</math> | :<math>\frac{d(\det \mathbf{A})}{dt}(t) = \operatorname{tr}\left(\operatorname{adj}(\mathbf{A}(t)) \mathbf{A}'(t)\right).</math> | ||
यह इस प्रकार है कि निर्धारक का [[कुल व्युत्पन्न]] सहायक का स्थानान्तरण है: | यह इस प्रकार है कि निर्धारक का [[कुल व्युत्पन्न]] सहायक का स्थानान्तरण है: | ||
Line 190: | Line 197: | ||
'''केली-हैमिल्टन सूत्र''' | '''केली-हैमिल्टन सूत्र''' | ||
{{main| | {{main|केली-हैमिल्टन प्रमेय}} | ||
मान लीजिए {{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>\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}} के सभी अनुक्रम रैखिक [[डायोफैंटाइन समीकरण]] को संतुष्ट करते हैं | |||
:<math>s+\sum_{\ell=1}^{n-1}\ell k_\ell = n - 1.</math> | :<math>s+\sum_{\ell=1}^{n-1}\ell k_\ell = n - 1.</math> | ||
2 × 2 | 2 × 2 विषय के लिए, यह देता है | ||
:<math>\operatorname{adj}(\mathbf{A})=\mathbf{I}_2(\operatorname{tr}\mathbf{A}) - \mathbf{A}.</math> | :<math>\operatorname{adj}(\mathbf{A})=\mathbf{I}_2(\operatorname{tr}\mathbf{A}) - \mathbf{A}.</math> | ||
3 × 3 | 3 × 3 विषय के लिए, यह देता है | ||
:<math>\operatorname{adj}(\mathbf{A})=\frac{1}{2}\mathbf{I}_3\!\left( (\operatorname{tr}\mathbf{A})^2-\operatorname{tr}\mathbf{A}^2\right) - \mathbf{A}(\operatorname{tr}\mathbf{A}) + \mathbf{A}^2 .</math> | :<math>\operatorname{adj}(\mathbf{A})=\frac{1}{2}\mathbf{I}_3\!\left( (\operatorname{tr}\mathbf{A})^2-\operatorname{tr}\mathbf{A}^2\right) - \mathbf{A}(\operatorname{tr}\mathbf{A}) + \mathbf{A}^2 .</math> | ||
4 × 4 | 4 × 4 विषय के लिए, यह देता है | ||
:<math>\operatorname{adj}(\mathbf{A})= | :<math>\operatorname{adj}(\mathbf{A})= | ||
\frac{1}{6}\mathbf{I}_4\!\left( | \frac{1}{6}\mathbf{I}_4\!\left( | ||
Line 211: | Line 219: | ||
+ \mathbf{A}^2(\operatorname{tr}\mathbf{A}) | + \mathbf{A}^2(\operatorname{tr}\mathbf{A}) | ||
- \mathbf{A}^3.</math> | - \mathbf{A}^3.</math> | ||
वही सूत्र सीधे फद्दीव-लेवेरियर एल्गोरिथ्म के अंतिम चरण का अनुसरण करता है, जो | वही सूत्र सीधे फद्दीव-लेवेरियर एल्गोरिथ्म के अंतिम चरण का अनुसरण करता है, जो {{math|'''A'''}} की विशेषता बहुपद को कुशलतापूर्वक निर्धारित करता है। | ||
== बाह्य बीजगणित से संबंध == | == बाह्य बीजगणित से संबंध == | ||
[[बाहरी बीजगणित]] का उपयोग करके सहायक को अमूर्त शब्दों में देखा जा सकता है। | [[बाहरी बीजगणित]] का उपयोग करके सहायक को अमूर्त शब्दों में देखा जा सकता है। मान लीजिए {{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>\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>\phi_\mathbf{v}(\alpha) = \mathbf{v} \wedge \alpha.</math> | :<math>\phi_\mathbf{v}(\alpha) = \mathbf{v} \wedge \alpha.</math> | ||
मान लीजिए कि {{math|''T'' : ''V'' → ''V''}} [[रैखिक परिवर्तन]] है। {{math|''T''}} की {{math|(''n'' − 1)}}st बाहरी शक्ति द्वारा पुलबैक {{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'''}} है, तो {{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>\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> | ||
सदिश के आधार पर, {{math|(''n'' − 1)}}, {{math|''T''}} की बाहरी शक्ति है, | |||
:<math>\mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_j \wedge \dots \wedge \mathbf{e}_n \mapsto \sum_{k=1}^n (\det A_{jk}) \mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_k \wedge \dots \wedge \mathbf{e}_n.</math> | :<math>\mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_j \wedge \dots \wedge \mathbf{e}_n \mapsto \sum_{k=1}^n (\det A_{jk}) \mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_k \wedge \dots \wedge \mathbf{e}_n.</math> | ||
इनमें से प्रत्येक पद | इनमें से प्रत्येक पद <math>\phi_{\mathbf{e}_i}</math>के अंतर्गत शून्य मैप करता है, अतिरिक्त {{math|1=''k'' = ''i''}} अवधि है। इसलिए, <math>\phi_{\mathbf{e}_i}</math>की वापसी जिसके लिए रैखिक परिवर्तन है, | ||
:<math>\mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_j \wedge \dots \wedge \mathbf{e}_n \mapsto (-1)^{i-1} (\det A_{ji}) \mathbf{e}_1 \wedge \dots \wedge \mathbf{e}_n,</math> | :<math>\mathbf{e}_1 \wedge \dots \wedge \hat\mathbf{e}_j \wedge \dots \wedge \mathbf{e}_n \mapsto (-1)^{i-1} (\det A_{ji}) \mathbf{e}_1 \wedge \dots \wedge \mathbf{e}_n,</math> | ||
अर्थात् यह | अर्थात् यह समान है, | ||
:<math>\sum_{j=1}^n (-1)^{i+j} (\det A_{ji})\phi_{\mathbf{e}_j}.</math> | :<math>\sum_{j=1}^n (-1)^{i+j} (\det A_{ji})\phi_{\mathbf{e}_j}.</math> | ||
व्युत्क्रमणीय <math>\phi</math> दर्शाता है कि {{math|''T''}} का एडजुगेट जिसके लिए रैखिक परिवर्तन है, | |||
:<math>\mathbf{e}_i \mapsto \sum_{j=1}^n (-1)^{i+j}(\det A_{ji})\mathbf{e}_j.</math> | :<math>\mathbf{e}_i \mapsto \sum_{j=1}^n (-1)^{i+j}(\det A_{ji})\mathbf{e}_j.</math> | ||
परिणामस्वरूप, इसका | परिणामस्वरूप, इसका आव्यूह प्रतिनिधित्व का सहायक {{math|'''A'''}} है। | ||
यदि {{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> | ||
हॉज स्टार ऑपरेटर की परिभाषा के अनुसार, यह रैखिक कार्यात्मकता | हॉज स्टार ऑपरेटर की परिभाषा के अनुसार, यह रैखिक कार्यात्मकता *v से दोहरी है। अर्थात्, ω∨∘ φ समान v ↦ *v∨ है। | ||
== उच्च | == उच्च एडजुगेट == | ||
{{math|'''A'''}}, {{math|''n'' × ''n''}} आव्यूह, एवं {{math|''r'' ≥ 0}}.{{math|''r''}} निर्धारित करता है। {{math|'''A'''}} <math display="inline">\binom{n}{r} \!\times\! \binom{n}{r}</math> आव्यूह, निरूपित {{math|adj<sub>''r''</sub> '''A'''}}, जिनकी प्रविष्टियाँ{{math|{1, ..., ''m''<nowiki>}</nowiki>}} के आकार {{math|''r''}} उपसमुच्चय {{math|''I''}} एवं {{math|''J''}} के आधार पर अनुक्रमित की जाती हैं। {{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|adj<sub>''r''</sub> '''A'''}} की {{math|(''I'', ''J'')}} प्रविष्टि है, | |||
:<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|1=adj<sub>0</sub>('''A''') = det '''A'''}}. | * {{math|1=adj<sub>0</sub>('''A''') = det '''A'''}}. | ||
* {{math|1=adj<sub>1</sub>('''A''') = adj '''A'''}}. | * {{math|1=adj<sub>1</sub>('''A''') = adj '''A'''}}. | ||
* {{math|1=adj<sub>''n''</sub>('''A''') = 1}}. | * {{math|1=adj<sub>''n''</sub>('''A''') = 1}}. | ||
* {{math|1=adj<sub>''r''</sub>('''BA''') = adj<sub>''r''</sub>('''A''') adj<sub>''r''</sub>('''B''')}}. | * {{math|1=adj<sub>''r''</sub>('''BA''') = adj<sub>''r''</sub>('''A''') adj<sub>''r''</sub>('''B''')}}. | ||
* <math>\operatorname{adj}_r(\mathbf{A})C_r(\mathbf{A}) = C_r(\mathbf{A})\operatorname{adj}_r(\mathbf{A}) = (\det \mathbf{A})I_{\binom{n}{r}}</math>, | * <math>\operatorname{adj}_r(\mathbf{A})C_r(\mathbf{A}) = C_r(\mathbf{A})\operatorname{adj}_r(\mathbf{A}) = (\det \mathbf{A})I_{\binom{n}{r}}</math>, जहाँ {{math|''C''<sub>''r''</sub>('''A''')}} {{math|''r''}} [[यौगिक मैट्रिक्स|यौगिक आव्यूह]] को दर्शाता है। | ||
उच्चतर एडजुगेट को सामान्य एडजुगेट, प्रतिस्थापन के समान ही अमूर्त | उच्चतर एडजुगेट को सामान्य एडजुगेट, प्रतिस्थापन के समान ही अमूर्त बीजगणितीय शब्दों में परिभाषित किया जा सकता है <math>\wedge^r V</math> एवं <math>\wedge^{n-r} V</math> के लिए <math>V</math> एवं <math>\wedge^{n-1} V</math>, क्रमशः। | ||
== पुनरावृत्त | == पुनरावृत्त एडजुगेट == | ||
व्युत्क्रमणीय | व्युत्क्रमणीय आव्यूह A का एडजुगेट लेते हुए [[पुनरावृत्त फ़ंक्शन|पुनरावृत्त फलन]] {{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 273: | Line 281: | ||
* जैकोबी का सूत्र | * जैकोबी का सूत्र | ||
* फद्दीव-लेवेरियर एल्गोरिदम | * फद्दीव-लेवेरियर एल्गोरिदम | ||
* यौगिक | * यौगिक आव्यूह | ||
== संदर्भ == | == संदर्भ == | ||
Line 290: | Line 298: | ||
* {{cite web|url=http://www.wolframalpha.com/input/?i=adjugate+of+{+{+a%2C+b%2C+c+}%2C+{+d%2C+e%2C+f+}%2C+{+g%2C+h%2C+i+}+}|url-status=live|archive-url=|last=|first=|date=|title=<nowiki>Adjugate of { { a, b, c }, { d, e, f }, { g, h, i } }</nowiki>|archive-date=|access-date=|work=[[Wolfram Alpha]]}} | * {{cite web|url=http://www.wolframalpha.com/input/?i=adjugate+of+{+{+a%2C+b%2C+c+}%2C+{+d%2C+e%2C+f+}%2C+{+g%2C+h%2C+i+}+}|url-status=live|archive-url=|last=|first=|date=|title=<nowiki>Adjugate of { { a, b, c }, { d, e, f }, { g, h, i } }</nowiki>|archive-date=|access-date=|work=[[Wolfram Alpha]]}} | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category: | [[Category:CS1 maint]] | ||
[[Category:Collapse templates]] | |||
[[Category: | |||
[[Category:Created On 19/07/2023]] | [[Category:Created On 19/07/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Portal-inline template with redlinked portals]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[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:मैट्रिक्स सिद्धांत]] | |||
[[Category:लीनियर अलजेब्रा]] |
Latest revision as of 13:19, 1 November 2023
रैखिक बीजगणित में, वर्ग आव्यूह A का सहायक या शास्त्रीय सहायक इसके एडजुगेट मैट्रिक्स का स्थानान्तरण है एवं इसे adj(A) दर्शाया जाता है।[1][2] इसे कभी-कभी सहायक आव्यूह [3][4] या "एडजॉइंट" के रूप में भी जाना जाता है,[5] चूंकि पश्चात वाला शब्द आज सामान्यतः भिन्न अवधारणा को संदर्भित करता है, हर्मिटियन सहायक जो आव्यूह के लिए संयुग्म स्थानान्तरण है।
इसके सहायक के साथ आव्यूह का उत्पाद विकर्ण आव्यूह देता है (मुख्य विकर्ण पर प्रविष्टियाँ शून्य नहीं हैं) जिनकी विकर्ण प्रविष्टियाँ मूल आव्यूह के निर्धारक हैं:
जहाँ I A के समान आकार का पहचान आव्यूह है। परिणाम स्वरूप, व्युत्क्रमणीय आव्यूह का गुणक व्युत्क्रम उसके सहायक को उसके निर्धारक द्वारा विभाजित करके पाया जा सकता है।
परिभाषा
A का निर्णायक A के एडजुगेट आव्यूह C का स्थानान्तरण है ,
अधिक विस्तार से, मान लीजिए R इकाई क्रमविनिमेय रिंग है एवं A R प्रविष्टियों के साथ n × n आव्यूह है। A का (i, j) -लघु जिसे Mij दर्शाया गया है, आव्यूह का निर्धारक है, जो A की पंक्ति i एवं स्तंभ j को विस्थापित करने से परिणामस्वरूप होता है। A का एडजुगेट आव्यूह n × n आव्यूह C है, जिसका (i, j) प्रविष्टि A का (i, j) एडजुगेट (रैखिक बीजगणित) है, जो कि (i, j) साधारण गुणा संकेत कारक है:
A का स्थानांतरण C है, अर्थात n × n आव्यूह जिसकी (i, j) प्रविष्टि A का (j, i) एडजुगेट है,
महत्वपूर्ण परिणाम
एडजुगेट को इस प्रकार परिभाषित किया गया है कि A का उत्पाद विकर्ण आव्यूह उत्पन्न करता है, जिसकी विकर्ण प्रविष्टियाँ निर्धारक det(A) होती हैं। वह है,
जहाँ I n × n पहचान आव्यूह है। यह निर्धारक के लाप्लास विस्तार का परिणाम है।
उपरोक्त सूत्र आव्यूह बीजगणित में मूलभूत परिणामों में से एक का तात्पर्य है, A व्युत्क्रमणीय आव्यूह है यदि एवं केवल तभी जब det(A) R का व्युत्क्रमणीय तत्व है। जब यह प्रारम्भ होता है, तो उपरोक्त समीकरण प्राप्त होता है।
उदाहरण
1 × 1 सामान्य आव्यूह
चूँकि 0 x 0 आव्यूह का निर्धारक 1 है, किसी भी 1 × 1 आव्यूह (सम्मिश्र संख्या अदिश) का सहायक है . उसका अवलोकन करो:
2 × 2 सामान्य आव्यूह
2 × 2 आव्यूह का एडजुगेट
है
प्रत्यक्ष गणना द्वारा,
ऐसे में ये कथन भी सच है, कि det(adj(A))= det(A) एवं इसलिए adj(adj(A)) = A.
3 × 3 सामान्य आव्यूह
3 × 3 आव्यूह पर विचार करें
इसका एडजुगेट आव्यूह है
जहाँ
इसका सहायक इसके एडजुगेट आव्यूह का स्थानान्तरण है,
3 × 3 संख्यात्मक आव्यूह
विशिष्ट उदाहरण के रूप में, हमारे पास है,
यह परिक्षण करना सरल है कि एडजुगेट निर्धारक का व्युत्क्रम आव्यूह गुणा है, −6, वह −1 दूसरी पंक्ति में, एडजुगेट के तीसरे स्तंभ की गणना निम्नानुसार की गई थी। एडजुगेट की (2,3) प्रविष्टि A का (3,2) एडजुगेट है। इस एडजुगेट की गणना मूल आव्यूह A की तीसरी पंक्ति एवं दूसरे स्तंभ को विस्थापित कर प्राप्त सबआव्यूह का उपयोग करके की जाती है।
(3,2) एडजुगेट इस सबआव्यूह के निर्धारक का संकेत गुना है:
एवं यह सहायक की (2,3) प्रविष्टि है।
गुण
किसी भी n × n आव्यूह A के लिए, प्रारंभिक गणना से ज्ञात होता है कि एडजुगेट में निम्नलिखित गुण हैं:
- , जहाँ पहचान आव्यूह है.
- , जहाँ शून्य आव्यूह है, अतिरिक्त इसके कि यदि तब .
- किसी भी अदिश c के लिए .
- .
- .
- यदि A तो व्युत्क्रमणीय है, तो . यह इस प्रकार है कि:
- adj(A) व्युत्क्रम (det A)−1A के साथ व्युत्क्रमणीय है .
- adj(A−1) = adj(A)−1.
- adj(A) A प्रवेशवार बहुपद है। विशेष रूप से, वास्तविक संख्या या सम्मिश्र संख्याओं पर, एडजुगेट 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+t I) t में बहुपद है जिसमें डिग्री अधिकतम n है, इसलिए इसकी अधिकतम n जड़ें हैं। ध्यान दें कि adj((A+t I)(B)) ij वीं प्रविष्टि अधिकतम क्रम n का बहुपद है, एवं इसी प्रकार adj(A+t I) adj(B) के लिए भी है। Ij वीं प्रविष्टि पर ये दो बहुपद कम से कम n+ 1 अंक पर सहमत हैं, क्योंकि हमारे पास क्षेत्र के कम से कम n+ 1 तत्व हैं जहां A+t I व्युत्क्रमणीय है, एवं हमने व्युत्क्रमणीय आव्यूहों के लिए पहचान सिद्ध कर दी है। डिग्री n के बहुपद जो n+ 1 बिंदुओं पर सहमत होते हैं, समान होने चाहिए (उन्हें दूसरे से घटाएं एवं आपके पास अधिकतम n डिग्री वाले बहुपद के लिए n+ 1 मूल होंगे, विरोधाभास जब तक कि उनका अंतर समान रूप से शून्य न हो)। चूँकि दोनों बहुपद समान हैं, वे t के प्रत्येक मान के लिए समान मान लेते हैं। इस प्रकार, जब t = 0 होता है तो वे समान मान लेते हैं।
उपरोक्त गुणों एवं अन्य प्राथमिक गणनाओं का उपयोग करके, यह दिखाना सरल है कि यदि A में निम्नलिखित गुणों में से है adj A भी ऐसा ही करता है:
- ऊपरी त्रिकोणीय,
- निचला त्रिकोणीय,
- विकर्ण आव्यूह,
- ऑर्थोगोनल आव्यूह,
- एकात्मक आव्यूह,
- सममित आव्यूह,
- हर्मिटियन आव्यूह,
- स्क्यू-सममित,
- स्क्यू-हर्मिटियन,
- सामान्य आव्यूह,
यदि A व्युत्क्रमणीय है, तो, जैसा कि ऊपर बताया गया है, A के निर्धारक एवं व्युत्क्रम के संदर्भ में adj(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 एवं AT y = 0 है।
स्तंभ प्रतिस्थापन एवं क्रैमर नियम
स्तंभ सदिश में विभाजन A:
मान लीजिए b आकार n का स्तंभ सदिश है। 1 ≤ i ≤ n को ठीक करें एवं A के स्तंभ i को b से प्रतिस्थापित करके बनने वाले आव्यूह पर विचार करें:
लाप्लास इस आव्यूह के निर्धारक को कॉलम i के साथ विस्तारित करता है। परिणाम उत्पाद adj(A)bकी प्रविष्टि i है। विभिन्न संभावित i के लिए इन निर्धारकों को एकत्रित करने से स्तंभ सदिशों की समानता प्राप्त होती है।
इस सूत्र के निम्नलिखित ठोस परिणाम हैं। समीकरणों की रैखिक प्रणाली पर विचार करें,
मान लें कि A गैर-वचन है। बाईं ओर इस प्रणाली को adj(A) से गुणा करना एवं निर्धारक पाशविक से विभाजित करना:
इस स्थिति में पूर्व सूत्र को प्रारम्भ करने से क्रैमर का नियम प्राप्त होता है,
जहां xi, x की iवीं प्रविष्टि है।
अभिलक्षणिक बहुपद
माना A का अभिलक्षणिक बहुपद है
p का प्रथम विभाजित अंतर घात n − 1 सममित बहुपद है,
sI − A को इसके एडजुगेट से गुणा करें। चूँकि केली-हैमिल्टन प्रमेय के अनुसार 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 का समरूपी है, एवं ऐसी किसी भी समरूपता के अनुसार बाहरी उत्पाद आदर्श युग्मन है। इसलिए, यह समरूपता उत्पन्न करता है।
स्पष्ट रूप से, यह युग्म v ∈ V को भेजता है , जहाँ
मान लीजिए कि T : V → V रैखिक परिवर्तन है। T की (n − 1)st बाहरी शक्ति द्वारा पुलबैक Hom स्पेस के आकारवाद को प्रेरित करता है। T का समायोजक सम्मिश्र है।
यदि V = Rn अपने विहित आधार e1, …, en से संपन्न है, एवं यदि इस आधार (रैखिक बीजगणित) पर T का आव्यूह A है, तो T का सहायक A है, यह देखने के लिए कि क्यों, दें आधार
आधार सदिश ei का Rn ठीक करें, ei की छवि के अंतर्गत इस आधार पर निर्धारित होता है, कि यह आधार सदिश जहाँ भेजता है:
सदिश के आधार पर, (n − 1), T की बाहरी शक्ति है,
इनमें से प्रत्येक पद के अंतर्गत शून्य मैप करता है, अतिरिक्त k = i अवधि है। इसलिए, की वापसी जिसके लिए रैखिक परिवर्तन है,
अर्थात् यह समान है,
व्युत्क्रमणीय दर्शाता है कि T का एडजुगेट जिसके लिए रैखिक परिवर्तन है,
परिणामस्वरूप, इसका आव्यूह प्रतिनिधित्व का सहायक A है।
यदि V आंतरिक उत्पाद एवं वॉल्यूम फॉर्म से संपन्न है, तत्पश्चात मानचित्र φ को अधिक विघटित किया जा सकता है। इस विषय में, φ को हॉज स्टार ऑपरेटर एवं दोहरीकरण के संयोजन के रूप में समझा जा सकता है। विशेष रूप से, यदि ω आयतन रूप है, तो यह, आंतरिक उत्पाद के साथ मिलकर, समरूपता निर्धारित करता है,
यह समरूपता को प्रेरित करता है
सदिश v में Rn रैखिक कार्यात्मकता से के समान है
हॉज स्टार ऑपरेटर की परिभाषा के अनुसार, यह रैखिक कार्यात्मकता *v से दोहरी है। अर्थात्, ω∨∘ φ समान v ↦ *v∨ है।
उच्च एडजुगेट
A, n × n आव्यूह, एवं r ≥ 0.r निर्धारित करता है। A आव्यूह, निरूपित adjr A, जिनकी प्रविष्टियाँ{1, ..., m} के आकार r उपसमुच्चय I एवं J के आधार पर अनुक्रमित की जाती हैं। Ic एवं Jc,I एवं J, क्रमशः के पूरक (समुच्चय सिद्धांत) को र्शाते हैं । , A के सब आव्यूह को दर्शाता है, जिसमें वे पंक्तियाँ एवं स्तंभ सम्मिलित हैं जिनके सूचकांक क्रमशः Ic एवं Jc, हैं। तत्पश्चात adjr A की (I, J) प्रविष्टि है,
जहाँ σ(I) एवं σ(J) I एवं J, के तत्वों का योग है।
उच्च एडजुगेट के मूल गुणों में सम्मिलित हैं:
- adj0(A) = det A.
- adj1(A) = adj A.
- adjn(A) = 1.
- adjr(BA) = adjr(A) adjr(B).
- , जहाँ Cr(A) r यौगिक आव्यूह को दर्शाता है।
उच्चतर एडजुगेट को सामान्य एडजुगेट, प्रतिस्थापन के समान ही अमूर्त बीजगणितीय शब्दों में परिभाषित किया जा सकता है एवं के लिए एवं , क्रमशः।
पुनरावृत्त एडजुगेट
व्युत्क्रमणीय आव्यूह A का एडजुगेट लेते हुए पुनरावृत्त फलन k गुना प्राप्त होता है,
उदाहरण के लिए,
यह भी देखें
- केली-हैमिल्टन प्रमेय
- क्रैमर का नियम
- ट्रेस आरेख
- जैकोबी का सूत्र
- फद्दीव-लेवेरियर एल्गोरिदम
- यौगिक आव्यूह
संदर्भ
- ↑ Gantmacher, F. R. (1960). मैट्रिक्स का सिद्धांत. Vol. 1. New York: Chelsea. pp. 76–89. ISBN 0-8218-1376-5.
- ↑ Strang, Gilbert (1988). "Section 4.4: Applications of determinants". रेखीय बीजगणित और इसके अनुप्रयोग (3rd ed.). Harcourt Brace Jovanovich. pp. 231–232. ISBN 0-15-551005-3.
- ↑ Claeyssen, J.C.R. (1990). "गतिशील मैट्रिक्स समाधानों का उपयोग करके गैर-रूढ़िवादी रैखिक कंपन प्रणालियों की प्रतिक्रिया की भविष्यवाणी करने पर". Journal of Sound and Vibration. 140 (1): 73–84. doi:10.1016/0022-460X(90)90907-H.
- ↑ Chen, W.; Chen, W.; Chen, Y.J. (2004). "गुंजयमान रिंग जाली उपकरणों के विश्लेषण के लिए एक विशेषता मैट्रिक्स दृष्टिकोण". IEEE Photonics Technology Letters. 16 (2): 458–460. doi:10.1109/LPT.2003.823104.
- ↑ 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
बाहरी संबंध
- Matrix Reference Manual
- Online matrix calculator (determinant, track, inverse, adjoint, transpose) Compute Adjugate matrix up to order 8
- "Adjugate of { { a, b, c }, { d, e, f }, { g, h, i } }". Wolfram Alpha.
{{cite web}}
: CS1 maint: url-status (link)