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

From Vigyanwiki
No edit summary
No edit summary
Line 12: Line 12:
{{math|'''A'''}} का निर्णायक {{math|'''A'''}} के सहकारक मैट्रिक्स {{math|'''C'''}} का स्थानान्तरण है ,
{{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|'''A'''}} {{math|''R''}} प्रविष्टियों के साथ {{math|''n''&thinsp;×&thinsp;''n''}}  मैट्रिक्स है। {{math|'''A'''}} का {{math|(''i'', ''j'')}} -[[लघु (रैखिक बीजगणित)|लघु]] जिसे {{math|'''M'''<sub>''ij''</sub>}} दर्शाया गया है, मैट्रिक्स का निर्धारक है, जो {{math|'''A'''}} की पंक्ति {{mvar|i}} और कॉलम {{mvar|j}} को विस्थापित करने से परिणामस्वरूप होता है। {{math|'''A'''}} का सहकारक मैट्रिक्स {{math|''n''&thinsp;×&thinsp;''n''}} मैट्रिक्स {{math|'''C'''}} है, जिसका {{math|(''i'', ''j'')}} प्रविष्टि {{math|'''A'''}} का {{math|(''i'', ''j'')}}  [[सहकारक (रैखिक बीजगणित)]] है, जो कि {{math|(''i'', ''j'')}} साधारण गुणा  संकेत कारक है:
अधिक विस्तार से, मान लीजिए {{math|''R''}}  इकाई [[क्रमविनिमेय वलय|क्रमविनिमेय रिंग]] है और {{math|'''A'''}} {{math|''R''}} प्रविष्टियों के साथ {{math|''n''&thinsp;×&thinsp;''n''}}  मैट्रिक्स है। {{math|'''A'''}} का {{math|(''i'', ''j'')}} -[[लघु (रैखिक बीजगणित)|लघु]] जिसे {{math|'''M'''<sub>''ij''</sub>}} दर्शाया गया है, मैट्रिक्स का निर्धारक है, जो {{math|'''A'''}} की पंक्ति {{mvar|i}} और स्तंभ {{mvar|j}} को विस्थापित करने से परिणामस्वरूप होता है। {{math|'''A'''}} का सहकारक मैट्रिक्स {{math|''n''&thinsp;×&thinsp;''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''&thinsp;×&thinsp;''n''}} मैट्रिक्स जिसकी {{math|(''i'', ''j'')}} प्रविष्टि {{math|'''A'''}} का {{math|(''j'',&hairsp;''i'')}} सहकारक है,
{{math|'''A'''}} का स्थानांतरण {{math|'''C'''}} है, अर्थात {{math|''n''&thinsp;×&thinsp;''n''}} मैट्रिक्स जिसकी {{math|(''i'', ''j'')}} प्रविष्टि {{math|'''A'''}} का {{math|(''j'',&hairsp;''i'')}} सहकारक है,
Line 100: 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|−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) सहकारक इस सबमैट्रिक्स के निर्धारक का संकेत गुना है:
Line 158: Line 158:
* यदि {{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'''}} है।


=== कॉलम प्रतिस्थापन और क्रैमर नियम ===
=== स्तंभ प्रतिस्थापन और क्रैमर नियम ===
{{see also|Cramer's rule}}
{{see also|
क्रैमर का नियम}}


PARTITION {{math|'''A'''}} [[स्तंभ सदिश]] में:
[[स्तंभ सदिश]] में विभाजन {{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|'''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}}. परिणाम प्रवेश है {{mvar|i}} उत्पाद की {{math|adj('''A''')'''b'''}}. विभिन्न संभावितों के लिए इन निर्धारकों को त्रित करना {{mvar|i}} कॉलम वैक्टर की समानता उत्पन्न करता है
लाप्लास इस मैट्रिक्स के निर्धारक को कॉलम {{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|'''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>}} है {{mvar|i}}वीं प्रविष्टि {{math|'''x'''}}.
जहां {{math|''x''<sub>''i''</sub>}}, {{math|'''x'''}} की {{mvar|i}}वीं प्रविष्टि है।


=== अभिलक्षणिक बहुपद ===
=== अभिलक्षणिक बहुपद ===
मान लीजिए कि इसका अभिलक्षणिक बहुपद है {{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'''}} को इसके एडजुगेट से गुणा करें। चूँकि केली-हैमिल्टन प्रमेय के अनुसार {{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|'''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|Jacobi's formula}}
{{main|
निर्धारक के व्युत्पन्न के लिए एडजुगेट जैकोबी के सूत्र में भी दिखाई देता है। यदि {{math|'''A'''(''t'')}} तो फिर [[लगातार भिन्न]]-भिन्न है
जैकोबी का सूत्र}}
निर्धारक के व्युत्पन्न के लिए एडजुगेट जैकोबी के सूत्र में भी दिखाई देता है। यदि {{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 195: Line 197:


'''केली-हैमिल्टन सूत्र'''
'''केली-हैमिल्टन सूत्र'''
{{main|Cayley–Hamilton theorem}}
{{main|केली-हैमिल्टन प्रमेय}}
होने देना {{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 229: Line 232:
यदि {{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>
वेक्टर के आधार पर, {{math|(''n''&nbsp;−&thinsp;1)}}सेंट बाहरी शक्ति {{math|''T''}} है
सदिश के आधार पर, {{math|(''n''&nbsp;−&thinsp;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>\phi_{\mathbf{e}_i}</math> अतिरिक्त {{math|1=''k'' = ''i''}} अवधि। इसलिए, की वापसी <math>\phi_{\mathbf{e}_i}</math> जिसके लिए रैखिक परिवर्तन है

Revision as of 19:00, 22 July 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+tI) t में बहुपद है जिसमें डिग्री अधिकतम n है, इसलिए इसकी अधिकतम n जड़ें हैं। ध्यान दें कि adj((A+tI)(B)) ij वीं प्रविष्टि अधिकतम क्रम 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 व्युत्क्रमणीय है, तो, जैसा कि ऊपर बताया गया है, 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 और ATy = 0 है।

स्तंभ प्रतिस्थापन और क्रैमर नियम

स्तंभ सदिश में विभाजन A :

मान लीजिए b आकार n का स्तंभ सदिश है। 1 ≤ in को ठीक करें और A के स्तंभ i को b से प्रतिस्थापित करके बनने वाले मैट्रिक्स पर विचार करें:

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

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

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

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

जहां xi, x की iवीं प्रविष्टि है।

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

माना A का अभिलक्षणिक बहुपद है

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

sIA को इसके एडजुगेट से गुणा करें। चूँकि केली-हैमिल्टन प्रमेय के अनुसार 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


बाहरी संबंध