एक आव्यूह की समन्वयन: Difference between revisions
(Created page with "{{Short description|Matrix decomposition}} रैखिक बीजगणित में, eigendecomposition एक मैट्रिक्स (गणित) का ए...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Matrix decomposition}} | {{Short description|Matrix decomposition}} | ||
रैखिक बीजगणित में, | रैखिक बीजगणित में, आइजेनडीकम्पोज़िशन एक [[Index.php?title=आव्यूह|आव्यूह]] का एक विहित रूप में आव्यूह गुणनखंड है, जिससे आव्यूह को इसके आइजन्वेल्यूज़ और आइजन्वेक्टर के संदर्भ में दर्शाया जाता है। इस तरह से केवल विकर्ण आव्यूह को कारक बनाया जा सकता है। जब आव्यूह का गुणनखंड एक [[सामान्य मैट्रिक्स|सामान्य आव्यूह]] या वास्तविक [[सममित मैट्रिक्स|सममित आव्यूह]] होता है, तो अपघटन को वर्णक्रमीय अपघटन कहा जाता है, जिसे [[वर्णक्रमीय प्रमेय]] से प्राप्त किया जाता है। | ||
== | == आव्यूह आइजन्वेक्टर और आइजन्वेल्यूज़ का मौलिक सिद्धांत == | ||
{{Main|Eigenvalue, eigenvector and eigenspace}} | {{Main|Eigenvalue, eigenvector and eigenspace}} | ||
Line 8: | Line 8: | ||
ए (अशून्य) वेक्टर {{math|'''v'''}} आयाम का {{mvar|N}} वर्ग का आइजनवेक्टर है {{math|''N'' × ''N''}} आव्यूह {{math|'''A'''}} यदि यह रूप के एक रेखीय समीकरण को संतुष्ट करता है | ए (अशून्य) वेक्टर {{math|'''v'''}} आयाम का {{mvar|N}} वर्ग का आइजनवेक्टर है {{math|''N'' × ''N''}} आव्यूह {{math|'''A'''}} यदि यह रूप के एक रेखीय समीकरण को संतुष्ट करता है | ||
:<math>\mathbf{A} \mathbf{v} = \lambda \mathbf{v}</math> | :<math>\mathbf{A} \mathbf{v} = \lambda \mathbf{v}</math> | ||
कुछ अदिश के लिए {{mvar|λ}}. तब {{mvar|λ}} को संगत आइगेन मान कहा जाता है {{math|'''v'''}}. ज्यामितीय रूप से बोलना, के | कुछ अदिश के लिए {{mvar|λ}}. तब {{mvar|λ}} को संगत आइगेन मान कहा जाता है {{math|'''v'''}}. ज्यामितीय रूप से बोलना, के आइजन्वेक्टर {{math|'''A'''}} वे वैक्टर हैं जो {{math|'''A'''}} केवल बढ़ता या सिकुड़ता है, और जिस राशि से वे बढ़ते/सिकुड़ते हैं वह आइगेनवेल्यू है। उपरोक्त समीकरण को आइगेनवैल्यू समीकरण या आइगेनवैल्यू समस्या कहा जाता है। | ||
यह | यह आइजन्वेल्यूज़ के लिए एक समीकरण पैदा करता है | ||
:<math> p\left(\lambda\right) = \det\left(\mathbf{A} - \lambda \mathbf{I}\right)= 0. </math> | :<math> p\left(\lambda\right) = \det\left(\mathbf{A} - \lambda \mathbf{I}\right)= 0. </math> | ||
हम बुलाते है {{math|''p''(''λ'')}} [[विशेषता बहुपद]], और समीकरण, जिसे विशेषता समीकरण कहा जाता है, एक है {{mvar|N}अज्ञात में वें क्रम बहुपद समीकरण {{mvar|λ}}. यह समीकरण होगा {{mvar|N<sub>λ</sub>}} अलग समाधान, जहां {{math|1 ≤ ''N<sub>λ</sub>'' ≤ ''N''}}. समाधानों के समुच्चय, यानी आइगेनवैल्यूज़ को | हम बुलाते है {{math|''p''(''λ'')}} [[विशेषता बहुपद]], और समीकरण, जिसे विशेषता समीकरण कहा जाता है, एक है {{mvar|N}अज्ञात में वें क्रम बहुपद समीकरण {{mvar|λ}}. यह समीकरण होगा {{mvar|N<sub>λ</sub>}} अलग समाधान, जहां {{math|1 ≤ ''N<sub>λ</sub>'' ≤ ''N''}}. समाधानों के समुच्चय, यानी आइगेनवैल्यूज़ को आव्यूह का स्पेक्ट्रम कहा जाता है {{math|'''A'''}}.<ref>{{harvtxt|Golub|Van Loan|1996|p=310}}</ref><ref>{{harvtxt|Kreyszig|1972|p=273}}</ref><ref>{{harvtxt|Nering|1970|p=270}}</ref> | ||
यदि अदिशों का क्षेत्र [[बीजगणितीय रूप से बंद क्षेत्र]] है, तो हम [[गुणन]]खंडन कर सकते हैं {{mvar|p}} जैसा | यदि अदिशों का क्षेत्र [[बीजगणितीय रूप से बंद क्षेत्र]] है, तो हम [[गुणन]]खंडन कर सकते हैं {{mvar|p}} जैसा | ||
:<math>p\left(\lambda\right) = \left(\lambda - \lambda_1\right)^{n_1}\left(\lambda - \lambda_2\right)^{n_2} \cdots \left(\lambda-\lambda_{N_{\lambda}}\right)^{n_{N_{\lambda}}} = 0. </math> | :<math>p\left(\lambda\right) = \left(\lambda - \lambda_1\right)^{n_1}\left(\lambda - \lambda_2\right)^{n_2} \cdots \left(\lambda-\lambda_{N_{\lambda}}\right)^{n_{N_{\lambda}}} = 0. </math> | ||
Line 20: | Line 20: | ||
वहां {{math|1 ≤ ''m''<sub>''i''</sub> ≤ ''n''<sub>''i''</sub>}} प्रत्येक eigenvalue समीकरण के लिए [[रैखिक रूप से स्वतंत्र]] समाधान। के रैखिक संयोजन {{math|''m''<sub>''i''</sub>}} समाधान (एक को छोड़कर जो शून्य वेक्टर देता है) आइगेनवैल्यू से जुड़े ईजेनवेक्टर हैं {{math|''λ''<sub>''i''</sub>}}. पूर्णांक {{math|''m''<sub>''i''</sub>}} की [[ज्यामितीय बहुलता]] कहलाती है {{math|''λ''<sub>''i''</sub>}}. बीजगणितीय बहुलता को ध्यान में रखना महत्वपूर्ण है {{math|''n''<sub>''i''</sub>}} और ज्यामितीय बहुलता {{math|''m''<sub>''i''</sub>}} बराबर हो भी सकता है और नहीं भी, लेकिन हमारे पास हमेशा होता है {{math|''m''<sub>''i''</sub> ≤ ''n''<sub>''i''</sub>}}. सबसे सरल मामला बेशक है जब {{math|1=''m''<sub>''i''</sub> = ''n''<sub>''i''</sub> = 1}}. रैखिक रूप से स्वतंत्र ईजेनवेक्टरों की कुल संख्या, {{math|''N''<sub>'''v'''</sub>}}, की गणना ज्यामितीय गुणकों के योग द्वारा की जा सकती है | वहां {{math|1 ≤ ''m''<sub>''i''</sub> ≤ ''n''<sub>''i''</sub>}} प्रत्येक eigenvalue समीकरण के लिए [[रैखिक रूप से स्वतंत्र]] समाधान। के रैखिक संयोजन {{math|''m''<sub>''i''</sub>}} समाधान (एक को छोड़कर जो शून्य वेक्टर देता है) आइगेनवैल्यू से जुड़े ईजेनवेक्टर हैं {{math|''λ''<sub>''i''</sub>}}. पूर्णांक {{math|''m''<sub>''i''</sub>}} की [[ज्यामितीय बहुलता]] कहलाती है {{math|''λ''<sub>''i''</sub>}}. बीजगणितीय बहुलता को ध्यान में रखना महत्वपूर्ण है {{math|''n''<sub>''i''</sub>}} और ज्यामितीय बहुलता {{math|''m''<sub>''i''</sub>}} बराबर हो भी सकता है और नहीं भी, लेकिन हमारे पास हमेशा होता है {{math|''m''<sub>''i''</sub> ≤ ''n''<sub>''i''</sub>}}. सबसे सरल मामला बेशक है जब {{math|1=''m''<sub>''i''</sub> = ''n''<sub>''i''</sub> = 1}}. रैखिक रूप से स्वतंत्र ईजेनवेक्टरों की कुल संख्या, {{math|''N''<sub>'''v'''</sub>}}, की गणना ज्यामितीय गुणकों के योग द्वारा की जा सकती है | ||
:<math>\sum_{i=1}^{N_{\lambda}}{m_i} = N_{\mathbf{v}}.</math> | :<math>\sum_{i=1}^{N_{\lambda}}{m_i} = N_{\mathbf{v}}.</math> | ||
आइजन्वेक्टर को डबल इंडेक्स का उपयोग करके आइजन्वेल्यूज़ द्वारा अनुक्रमित किया जा सकता है {{math|'''v'''<sub>''ij''</sub>}} किया जा रहा है {{mvar|j}}वें ईजेनवेक्टर के लिए {{mvar|i}}वां आइगेनवैल्यू। एकल सूचकांक के सरल अंकन का उपयोग करके ईजेनवेक्टरों को भी अनुक्रमित किया जा सकता है {{math|'''v'''<sub>''k''</sub>}}, साथ {{math|1=''k'' = 1, 2, ..., ''N''<sub>'''v'''</sub>}}. | |||
== एक आव्यूह का ईजेनडीकम्पोज़िशन == | == एक आव्यूह का ईजेनडीकम्पोज़िशन == | ||
होने देना {{math|'''A'''}} वर्ग बनो {{math|''n'' × ''n''}} | होने देना {{math|'''A'''}} वर्ग बनो {{math|''n'' × ''n''}} आव्यूह के साथ {{mvar|n}} रैखिक रूप से स्वतंत्र ईजेनवेक्टर {{mvar|q<sub>i</sub>}} (कहाँ {{math|1=''i'' = 1, ..., ''n''}}). तब {{math|'''A'''}} के रूप में [[मैट्रिक्स अपघटन|आव्यूह अपघटन]] हो सकता है | ||
:<math>\mathbf{A}=\mathbf{Q}\mathbf{\Lambda}\mathbf{Q}^{-1} </math> | :<math>\mathbf{A}=\mathbf{Q}\mathbf{\Lambda}\mathbf{Q}^{-1} </math> | ||
कहाँ {{math|'''Q'''}} वर्ग है {{math|''n'' × ''n''}} | कहाँ {{math|'''Q'''}} वर्ग है {{math|''n'' × ''n''}} आव्यूह जिसका {{mvar|i}}वाँ स्तंभ ईजेनवेक्टर है {{mvar|q<sub>i</sub>}} का {{math|'''A'''}}, और {{math|'''Λ'''}} [[विकर्ण मैट्रिक्स|विकर्ण आव्यूह]] है जिसके विकर्ण तत्व संगत आइजन्वेल्यूज़ हैं, {{math|1=''Λ<sub>ii</sub>'' = ''λ<sub>i</sub>''}}. ध्यान दें कि इस तरह से केवल विकर्ण आव्यूह को कारक बनाया जा सकता है। उदाहरण के लिए, [[दोषपूर्ण मैट्रिक्स|दोषपूर्ण आव्यूह]] <math>\left[ \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right]</math> (जो एक [[कतरनी मैट्रिक्स|कतरनी आव्यूह]] है) को विकर्ण नहीं किया जा सकता। {{mvar|n}|n}} ईजेनवेक्टर {{mvar|q<sub>i</sub>}} आमतौर पर सामान्यीकृत होते हैं, लेकिन उन्हें होने की आवश्यकता नहीं होती है। का एक गैर-सामान्यीकृत सेट {{mvar|n}} ईजेनवेक्टर, {{mvar|v<sub>i</sub>}} के कॉलम के रूप में भी इस्तेमाल किया जा सकता है {{math|'''Q'''}}. इसे इस बात से समझा जा सकता है कि ईजेनवेक्टरों का परिमाण {{math|'''Q'''}} की उपस्थिति से अपघटन में रद्द हो जाता है {{math|'''Q'''<sup>−1</sup>}}. यदि आइजन्वेल्यूज़ में से एक {{math|1=''λ<sub>i</sub>''}} में एक से अधिक रैखिक रूप से स्वतंत्र ईजेनवेक्टर हैं (अर्थात, की ज्यामितीय बहुलता {{math|1=''λ<sub>i</sub>''}} 1 से अधिक है), तो इस eigenvalue के लिए ये आइजन्वेक्टर {{math|1=''λ<sub>i</sub>''}} पारस्परिक रूप से ऑर्थोगोनल होने के लिए चुना जा सकता है; हालांकि, अगर दो ईजेनवेक्टर दो अलग-अलग ईजेनवैल्यू से संबंधित हैं, तो उनके लिए एक दूसरे के लिए ऑर्थोगोनल होना असंभव हो सकता है (नीचे उदाहरण देखें)। एक विशेष मामला यह है कि अगर {{math|'''A'''}} एक सामान्य आव्यूह है, फिर वर्णक्रमीय प्रमेय द्वारा, विकर्ण करना हमेशा संभव होता है {{math|'''A'''}} n ऑर्थोनॉर्मल आधार पर {{mvar|{q<sub>i</sub><nowiki>}</nowiki>}}. | ||
अपघटन | अपघटन आइजन्वेक्टर की मौलिक संपत्ति से प्राप्त किया जा सकता है: | ||
:<math>\begin{align} | :<math>\begin{align} | ||
\mathbf{A} \mathbf{v} &= \lambda \mathbf{v} \\ | \mathbf{A} \mathbf{v} &= \lambda \mathbf{v} \\ | ||
Line 34: | Line 34: | ||
\mathbf{A} &= \mathbf{Q}\mathbf{\Lambda}\mathbf{Q}^{-1} . | \mathbf{A} &= \mathbf{Q}\mathbf{\Lambda}\mathbf{Q}^{-1} . | ||
\end{align}</math> | \end{align}</math> | ||
रैखिक रूप से स्वतंत्र ईजेनवेक्टर {{mvar|q<sub>i</sub>}} अशून्य | रैखिक रूप से स्वतंत्र ईजेनवेक्टर {{mvar|q<sub>i</sub>}} अशून्य आइजन्वेल्यूज़ के साथ सभी संभावित उत्पादों के लिए एक आधार (जरूरी नहीं कि orthonormal) बनाते हैं {{math|''A'''''x'''}}, के लिए {{math|'''x''' ∈ '''C'''<sup>''n''</sup>}}, जो संबंधित [[मैट्रिक्स परिवर्तन|आव्यूह परिवर्तन]] की [[छवि (गणित)]] (या किसी फ़ंक्शन की श्रेणी) के समान है, और आव्यूह का [[स्तंभ स्थान]] भी है {{math|'''A'''}}. रैखिक रूप से स्वतंत्र ईजेनवेक्टरों की संख्या {{mvar|q<sub>i</sub>}} गैर शून्य आइजन्वेल्यूज़ के साथ आव्यूह के [[रैंक (रैखिक बीजगणित)]] के बराबर है {{math|'''A'''}}, और संबंधित आव्यूह परिवर्तन की छवि (या श्रेणी) के आयाम के साथ-साथ इसके स्तंभ स्थान भी। | ||
रैखिक रूप से स्वतंत्र ईजेनवेक्टर {{mvar|q<sub>i</sub>}} | रैखिक रूप से स्वतंत्र ईजेनवेक्टर {{mvar|q<sub>i</sub>}} आव्यूह परिवर्तन के शून्य स्थान (कर्नेल के रूप में भी जाना जाता है) के लिए शून्य फॉर्म के आधार के साथ (जिसे ऑर्थोनॉर्मल चुना जा सकता है) {{math|'''A'''}}. | ||
=== उदाहरण === | === उदाहरण === | ||
2 × 2 वास्तविक | 2 × 2 वास्तविक आव्यूह {{math|'''A'''}} | ||
:<math>\mathbf{A} = \begin{bmatrix} 1 & 0 \\ 1 & 3 \\ \end{bmatrix}</math> | :<math>\mathbf{A} = \begin{bmatrix} 1 & 0 \\ 1 & 3 \\ \end{bmatrix}</math> | ||
एक गैर-एकवचन | एक गैर-एकवचन आव्यूह के गुणन के माध्यम से एक विकर्ण आव्यूह में विघटित हो सकता है {{math|'''B'''}} | ||
:<math>\mathbf{B} = \begin{bmatrix} | :<math>\mathbf{B} = \begin{bmatrix} | ||
a & b \\ | a & b \\ | ||
Line 64: | Line 64: | ||
\end{bmatrix}, | \end{bmatrix}, | ||
</math> | </math> | ||
कुछ वास्तविक विकर्ण | कुछ वास्तविक विकर्ण आव्यूह के लिए <math>\left[ \begin{smallmatrix} x & 0 \\ 0 & y \end{smallmatrix} \right]</math>. | ||
समीकरण के दोनों पक्षों को बायीं ओर से गुणा करने पर {{math|'''B'''}}: | समीकरण के दोनों पक्षों को बायीं ओर से गुणा करने पर {{math|'''B'''}}: | ||
Line 84: | Line 84: | ||
और एक सदिश समीकरण द्वारा प्रतिनिधित्व किया जा सकता है जिसमें दो समाधान शामिल हैं जैसे कि आइगेनवेल्यूज़: | और एक सदिश समीकरण द्वारा प्रतिनिधित्व किया जा सकता है जिसमें दो समाधान शामिल हैं जैसे कि आइगेनवेल्यूज़: | ||
: <math>\mathbf{A} \mathbf{u} = \lambda \mathbf{u}</math> | : <math>\mathbf{A} \mathbf{u} = \lambda \mathbf{u}</math> | ||
कहाँ {{mvar|λ}} दो | कहाँ {{mvar|λ}} दो आइजन्वेल्यूज़ का प्रतिनिधित्व करता है {{mvar|x}} और {{mvar|y}}, और {{math|'''u'''}} वैक्टर का प्रतिनिधित्व करता है {{math|'''a'''}} और {{math|'''b'''}}. | ||
स्थानांतरण {{math|''λ'''''u'''}} बाएं हाथ की ओर और फैक्टरिंग {{math|'''u'''}} बाहर | स्थानांतरण {{math|''λ'''''u'''}} बाएं हाथ की ओर और फैक्टरिंग {{math|'''u'''}} बाहर | ||
Line 92: | Line 92: | ||
इस प्रकार | इस प्रकार | ||
: <math>(1- \lambda)(3 - \lambda) = 0</math> | : <math>(1- \lambda)(3 - \lambda) = 0</math> | ||
हमें | हमें आव्यूह के लिए आइजन्वेल्यूज़ का समाधान दे रहा है {{math|'''A'''}} जैसा {{math|1=''λ'' = 1}} या {{math|1=''λ'' = 3}}, और परिणामी विकर्ण आव्यूह के आइजेनडीकम्पोज़िशन से {{math|'''A'''}} इस प्रकार है <math>\left[ \begin{smallmatrix} 1 & 0 \\ 0 & 3 \end{smallmatrix} \right]</math>. | ||
समाधानों को वापस उपरोक्त समकालिक समीकरणों में लाना | समाधानों को वापस उपरोक्त समकालिक समीकरणों में लाना | ||
Line 98: | Line 98: | ||
समीकरणों को हल करना, हमारे पास है | समीकरणों को हल करना, हमारे पास है | ||
:<math>a = -2c \quad\text{and} \quad b = 0, \qquad c,d \in \mathbb{R}.</math> | :<math>a = -2c \quad\text{and} \quad b = 0, \qquad c,d \in \mathbb{R}.</math> | ||
इस प्रकार | इस प्रकार आव्यूह {{math|'''B'''}} के आइजेनडीकम्पोज़िशन के लिए आवश्यक है {{math|'''A'''}} है | ||
:<math>\mathbf{B} = \begin{bmatrix} -2c & 0 \\ c & d \end{bmatrix},\qquad c, d\in \mathbb{R}, </math> | :<math>\mathbf{B} = \begin{bmatrix} -2c & 0 \\ c & d \end{bmatrix},\qquad c, d\in \mathbb{R}, </math> | ||
वह है: | वह है: | ||
Line 105: | Line 105: | ||
=== | === आइजेनडीकम्पोज़िशन === के माध्यम से आव्यूह व्युत्क्रम | ||
{{Main|Inverse matrix}} | {{Main|Inverse matrix}} | ||
अगर एक | अगर एक आव्यूह {{math|'''A'''}} को eigendecompose किया जा सकता है और यदि इसका कोई आइजन्वेल्यूज़ शून्य नहीं है, तो {{math|'''A'''}} [[उलटा मैट्रिक्स|उलटा आव्यूह]] है और इसके व्युत्क्रम द्वारा दिया गया है | ||
:<math>\mathbf{A}^{-1} = \mathbf{Q}\mathbf{\Lambda}^{-1}\mathbf{Q}^{-1}</math> | :<math>\mathbf{A}^{-1} = \mathbf{Q}\mathbf{\Lambda}^{-1}\mathbf{Q}^{-1}</math> | ||
अगर <math>\mathbf{A}</math> एक सममित | अगर <math>\mathbf{A}</math> एक सममित आव्यूह है, क्योंकि <math>\mathbf{Q}</math> के ईजेनवेक्टर से बनता है <math>\mathbf{A}</math>, <math>\mathbf{Q}</math> इसलिए एक [[ऑर्थोगोनल मैट्रिक्स|ऑर्थोगोनल आव्यूह]] होने की गारंटी है <math>\mathbf{Q}^{-1} = \mathbf{Q}^\mathrm{T}</math>. इसके अलावा, क्योंकि {{math|'''Λ'''}} एक विकर्ण आव्यूह है, इसके व्युत्क्रम की गणना करना आसान है: | ||
:<math>\left[\Lambda^{-1}\right]_{ii} = \frac{1}{\lambda_i}</math> | :<math>\left[\Lambda^{-1}\right]_{ii} = \frac{1}{\lambda_i}</math> | ||
Line 117: | Line 117: | ||
==== व्यावहारिक प्रभाव ==== | ==== व्यावहारिक प्रभाव ==== | ||
जब मापा, वास्तविक [[आंकड़े]] के एक | जब मापा, वास्तविक [[आंकड़े]] के एक आव्यूह पर आइजेनडीकम्पोज़िशन का उपयोग किया जाता है, तो उलटा कार्य कम मान्य हो सकता है जब सभी आइजन्वेल्यूज़ उपरोक्त रूप में अपरिवर्तित उपयोग किए जाते हैं। इसका कारण यह है कि जैसे-जैसे ईजेनवेल्यू अपेक्षाकृत छोटे होते जाते हैं, व्युत्क्रम में उनका योगदान बड़ा होता जाता है। शून्य के पास या माप प्रणाली के शोर पर उन पर अनुचित प्रभाव पड़ेगा और व्युत्क्रम का उपयोग करके समाधान (पहचान) में बाधा आ सकती है।<ref name=inverse>{{cite journal|last1=Hayde|first1= A. F. |last2=Twede|first2=D. R. |title=आइगेनवैल्यू, उपकरण शोर और पहचान प्रदर्शन के बीच संबंध पर अवलोकन|bibcode=2002SPIE.4816..355H|volume=4816|year=2002|pages=355|journal=Imaging Spectrometry VIII|doi=10.1117/12.453777|series=Proceedings of SPIE|editor1-last=Shen|editor1-first=Sylvia S.}}</ref> | ||
दो न्यूनीकरण प्रस्तावित किए गए हैं: छोटे या शून्य | दो न्यूनीकरण प्रस्तावित किए गए हैं: छोटे या शून्य आइजन्वेल्यूज़ को छोटा करना, और इसके नीचे के लोगों के लिए सबसे कम विश्वसनीय eigenvalue का विस्तार करना। Tikhonov नियमितीकरण को एक सांख्यिकीय रूप से प्रेरित लेकिन पक्षपाती विधि के रूप में देखें, क्योंकि वे आइगेनवैल्यूज़ को रोल ऑफ करते हैं क्योंकि वे शोर से प्रभावित हो जाते हैं। | ||
पहली शमन विधि मूल | पहली शमन विधि मूल आव्यूह के विरल नमूने के समान है, जो उन घटकों को हटाती है जिन्हें मूल्यवान नहीं माना जाता है। हालाँकि, यदि समाधान या पता लगाने की प्रक्रिया शोर स्तर के पास है, तो ट्रंकटिंग उन घटकों को हटा सकती है जो वांछित समाधान को प्रभावित करते हैं। | ||
दूसरा शमन eigenvalue का विस्तार करता है ताकि कम मूल्यों का व्युत्क्रम पर बहुत कम प्रभाव पड़े, लेकिन फिर भी योगदान करते हैं, जैसे कि शोर के निकट समाधान अभी भी मिलेंगे। | दूसरा शमन eigenvalue का विस्तार करता है ताकि कम मूल्यों का व्युत्क्रम पर बहुत कम प्रभाव पड़े, लेकिन फिर भी योगदान करते हैं, जैसे कि शोर के निकट समाधान अभी भी मिलेंगे। | ||
विश्वसनीय eigenvalue यह मानते हुए पाया जा सकता है कि बेहद समान और कम मूल्य के | विश्वसनीय eigenvalue यह मानते हुए पाया जा सकता है कि बेहद समान और कम मूल्य के आइजन्वेल्यूज़ माप शोर का एक अच्छा प्रतिनिधित्व है (जो कि अधिकांश प्रणालियों के लिए कम माना जाता है)। | ||
यदि | यदि आइजन्वेल्यूज़ मूल्य द्वारा रैंक-सॉर्ट किए जाते हैं, तो विश्वसनीय eigenvalue को सॉर्ट किए गए आइजन्वेल्यूज़ के [[ लाप्लास ऑपरेटर ]] को कम करके पाया जा सकता है:<ref name=inverse2>{{cite journal| last1=Twede|first1= D. R. |last2=Hayden|first2= A. F. |title=नियमितीकरण द्वारा सहप्रसरण मैट्रिक्स व्युत्क्रम की विस्तार विधि का शोधन और सामान्यीकरण|bibcode=2004SPIE.5159..299T| volume=5159| year=2004| pages=299| journal=Imaging Spectrometry IX| doi=10.1117/12.506993| series=Proceedings of SPIE| editor1-last=Shen| editor1-first=Sylvia S| editor2-last=Lewis| editor2-first=Paul E}}</ref> | ||
:<math>\min\left|\nabla^2 \lambda_\mathrm{s}\right|</math> | :<math>\min\left|\nabla^2 \lambda_\mathrm{s}\right|</math> | ||
जहां | जहां आइजन्वेल्यूज़ a के साथ सब्सक्राइब किए गए हैं {{math|s}} सॉर्ट किए जाने को इंगित करने के लिए। न्यूनीकरण की स्थिति सबसे कम विश्वसनीय eigenvalue है। माप प्रणालियों में, इस विश्वसनीय eigenvalue का वर्गमूल सिस्टम के घटकों पर औसत शोर है। | ||
== कार्यात्मक पथरी == | == कार्यात्मक पथरी == | ||
Line 136: | Line 136: | ||
तब हम उसे जानते हैं | तब हम उसे जानते हैं | ||
:<math>f\!\left(\mathbf{A}\right) = \mathbf{Q}\,f\!\left(\mathbf{\Lambda}\right)\mathbf{Q}^{-1}</math> | :<math>f\!\left(\mathbf{A}\right) = \mathbf{Q}\,f\!\left(\mathbf{\Lambda}\right)\mathbf{Q}^{-1}</math> | ||
क्योंकि {{math|'''Λ'''}} एक विकर्ण | क्योंकि {{math|'''Λ'''}} एक विकर्ण आव्यूह है, का कार्य करता है {{math|'''Λ'''}} की गणना करना बहुत आसान है: | ||
:<math>\left[f\left(\mathbf{\Lambda}\right)\right]_{ii} = f\left(\lambda_i\right)</math> | :<math>\left[f\left(\mathbf{\Lambda}\right)\right]_{ii} = f\left(\lambda_i\right)</math> | ||
के ऑफ-विकर्ण तत्व {{math|''f'' ('''Λ''')}} शून्य हैं; वह है, {{math|''f'' ('''Λ''')}} भी एक विकर्ण | के ऑफ-विकर्ण तत्व {{math|''f'' ('''Λ''')}} शून्य हैं; वह है, {{math|''f'' ('''Λ''')}} भी एक विकर्ण आव्यूह है। इसलिए गणना कर रहे हैं {{math|''f'' ('''A''')}} प्रत्येक आइजन्वेल्यूज़ पर फ़ंक्शन की गणना करने के लिए कम हो जाता है। | ||
इसी तरह की तकनीक आमतौर पर [[ होलोमॉर्फिक फंक्शनल कैलकुलस ]] के साथ अधिक काम करती है | इसी तरह की तकनीक आमतौर पर [[ होलोमॉर्फिक फंक्शनल कैलकुलस ]] के साथ अधिक काम करती है | ||
:<math>\mathbf{A}^{-1} = \mathbf{Q}\mathbf{\Lambda}^{-1}\mathbf{Q}^{-1}</math> | :<math>\mathbf{A}^{-1} = \mathbf{Q}\mathbf{\Lambda}^{-1}\mathbf{Q}^{-1}</math> | ||
#Matrix व्युत्क्रम से | #Matrix व्युत्क्रम से आइजेनडीकम्पोज़िशन के माध्यम से। एक बार फिर, हम पाते हैं | ||
:<math>\left[f\left(\mathbf{\Lambda}\right)\right]_{ii} = f\left(\lambda_i\right)</math> | :<math>\left[f\left(\mathbf{\Lambda}\right)\right]_{ii} = f\left(\lambda_i\right)</math> | ||
Line 156: | Line 156: | ||
&= \mathbf{Q} \exp(\mathbf{\Lambda}) \mathbf{Q}^{-1} | &= \mathbf{Q} \exp(\mathbf{\Lambda}) \mathbf{Q}^{-1} | ||
\end{align}</math> | \end{align}</math> | ||
जो कार्यों के लिए उदाहरण हैं <math> f(x)=x^2, \; f(x)=x^n, \; f(x)=\exp{x} </math>. आगे, <math> \exp{\mathbf{A}} </math> [[मैट्रिक्स घातीय]] है। | जो कार्यों के लिए उदाहरण हैं <math> f(x)=x^2, \; f(x)=x^n, \; f(x)=\exp{x} </math>. आगे, <math> \exp{\mathbf{A}} </math> [[मैट्रिक्स घातीय|आव्यूह घातीय]] है। | ||
== विशेष | == विशेष आव्यूह के लिए अपघटन == | ||
{{main |Spectral theorem}} | {{main |Spectral theorem}} | ||
Line 165: | Line 165: | ||
{{Expand section|date=June 2008}} | {{Expand section|date=June 2008}} | ||
कब {{math|'''A'''}} सामान्य या वास्तविक सममित | कब {{math|'''A'''}} सामान्य या वास्तविक सममित आव्यूह है, अपघटन को वर्णक्रमीय अपघटन कहा जाता है, जो वर्णक्रमीय प्रमेय से प्राप्त होता है। | ||
=== सामान्य | === सामान्य आव्यूह === | ||
एक जटिल-मूल्यवान वर्ग | एक जटिल-मूल्यवान वर्ग आव्यूह {{math|'''A'''}} सामान्य है (अर्थ {{math|1='''A'''<sup>*</sup>'''A''' = '''AA'''<sup>*</sup>}}, कहाँ {{math|'''A'''<sup>*</sup>}} संयुग्म संक्रमण है) अगर और केवल अगर इसे विघटित किया जा सकता है | ||
:<math>\mathbf{A} = \mathbf{U}\mathbf{\Lambda}\mathbf{U}^*</math> | :<math>\mathbf{A} = \mathbf{U}\mathbf{\Lambda}\mathbf{U}^*</math> | ||
कहाँ {{math|'''U'''}} एक [[एकात्मक मैट्रिक्स]] है (अर्थ {{math|'''U'''<sup>*</sup> {{=}} '''U'''<sup>−1</sup>}}) और {{math|'''Λ''' {{=}} diag(''λ''<sub>1</sub>, ..., ''λ''<sub>''n''</sub>)}} एक विकर्ण | कहाँ {{math|'''U'''}} एक [[एकात्मक मैट्रिक्स|एकात्मक आव्यूह]] है (अर्थ {{math|'''U'''<sup>*</sup> {{=}} '''U'''<sup>−1</sup>}}) और {{math|'''Λ''' {{=}} diag(''λ''<sub>1</sub>, ..., ''λ''<sub>''n''</sub>)}} एक विकर्ण आव्यूह है।<ref>{{harvtxt|Horn|Johnson|1985}}, p. 133, Theorem 2.5.3</ref> कॉलम यू<sub>1</sub>, ..., में<sub>''n''</sub> का {{math|'''U'''}} एक अलौकिक आधार बनाते हैं और इसके ईजेनवेक्टर हैं {{math|'''A'''}} इसी आइजन्वेल्यूज़ λ के साथ<sub>1</sub>, ..., एल<sub>''n''</sub>. | ||
अगर {{math|'''A'''}} [[हर्मिटियन मैट्रिक्स]] होने के लिए प्रतिबंधित है ({{math|1='''A''' = '''A'''*}}), तब {{math|'''Λ'''}} में केवल वास्तविक मूल्यवान प्रविष्टियाँ हैं। अगर {{math|'''A'''}} तब एकात्मक | अगर {{math|'''A'''}} [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] होने के लिए प्रतिबंधित है ({{math|1='''A''' = '''A'''*}}), तब {{math|'''Λ'''}} में केवल वास्तविक मूल्यवान प्रविष्टियाँ हैं। अगर {{math|'''A'''}} तब एकात्मक आव्यूह तक ही सीमित है {{math|'''Λ'''}} अपने सभी मान जटिल इकाई वृत्त पर लेता है, अर्थात, {{math|1={{abs|''λ<sub>i</sub>''}} = 1}}. | ||
=== वास्तविक सममित | === वास्तविक सममित आव्यूह === | ||
एक विशेष मामले के रूप में, प्रत्येक के लिए {{math|''n'' × ''n''}} वास्तविक सममित | एक विशेष मामले के रूप में, प्रत्येक के लिए {{math|''n'' × ''n''}} वास्तविक सममित आव्यूह, आइजन्वेल्यूज़ वास्तविक हैं और आइजन्वेक्टर को वास्तविक और [[ऑर्थोनॉर्मल]] चुना जा सकता है। इस प्रकार एक वास्तविक सममित आव्यूह {{math|'''A'''}} के रूप में विघटित किया जा सकता है | ||
:<math>\mathbf{A} = \mathbf{Q}\mathbf{\Lambda}\mathbf{Q}^\mathsf{T}</math> | :<math>\mathbf{A} = \mathbf{Q}\mathbf{\Lambda}\mathbf{Q}^\mathsf{T}</math> | ||
कहाँ {{math|'''Q'''}} एक ऑर्थोगोनल | कहाँ {{math|'''Q'''}} एक ऑर्थोगोनल आव्यूह है जिसके कॉलम वास्तविक, ऑर्थोनॉर्मल ईजेनवेक्टर हैं {{math|'''A'''}}, और {{math|'''Λ'''}} एक विकर्ण आव्यूह है जिसकी प्रविष्टियाँ आइजन्वेल्यूज़ हैं {{math|'''A'''}}.<ref>{{harvtxt|Horn|Johnson|1985}}, p. 136, Corollary 2.5.11</ref> | ||
== उपयोगी तथ्य == | == उपयोगी तथ्य == | ||
=== | === आइजन्वेल्यूज़ === के बारे में उपयोगी तथ्य | ||
*आइगेनवैल्यू का गुणनफल के निर्धारक के बराबर है {{math|'''A'''}} <math display="block">\det\left(\mathbf{A}\right) = \prod_{i=1}^{N_\lambda}{\lambda_i^{n_i}} </math> ध्यान दें कि प्रत्येक eigenvalue की घात होती है {{math|''n<sub>i</sub>''}}, बीजगणितीय बहुलता। | *आइगेनवैल्यू का गुणनफल के निर्धारक के बराबर है {{math|'''A'''}} <math display="block">\det\left(\mathbf{A}\right) = \prod_{i=1}^{N_\lambda}{\lambda_i^{n_i}} </math> ध्यान दें कि प्रत्येक eigenvalue की घात होती है {{math|''n<sub>i</sub>''}}, बीजगणितीय बहुलता। | ||
* आइगेनवैल्यू का योग के [[ट्रेस (रैखिक बीजगणित)]] के बराबर है {{math|'''A'''}} <math display="block"> \operatorname{tr}\left(\mathbf{A}\right) = \sum_{i=1}^{N_\lambda}{{n_i}\lambda_i} </math> ध्यान दें कि प्रत्येक eigenvalue से गुणा किया जाता है {{math|''n<sub>i</sub>''}}, बीजगणितीय बहुलता। | * आइगेनवैल्यू का योग के [[ट्रेस (रैखिक बीजगणित)]] के बराबर है {{math|'''A'''}} <math display="block"> \operatorname{tr}\left(\mathbf{A}\right) = \sum_{i=1}^{N_\lambda}{{n_i}\lambda_i} </math> ध्यान दें कि प्रत्येक eigenvalue से गुणा किया जाता है {{math|''n<sub>i</sub>''}}, बीजगणितीय बहुलता। | ||
*यदि के | *यदि के आइजन्वेल्यूज़ {{math|'''A'''}} हैं {{math|''λ''<sub>''i''</sub>}}, और {{math|'''A'''}} उलटा है, फिर के आइजन्वेल्यूज़ {{math|'''A'''<sup>−1</sup>}} सरल हैं {{math|''λ''{{su|b=''i''|p=−1}}}}. | ||
*यदि के | *यदि के आइजन्वेल्यूज़ {{math|'''A'''}} हैं {{math|''λ''<sub>''i''</sub>}}, फिर के आइजन्वेल्यूज़ {{math|''f'' ('''A''')}} सरल हैं {{math|''f'' (''λ''<sub>''i''</sub>)}}, किसी भी [[होलोमॉर्फिक फ़ंक्शन]] के लिए {{mvar|f}}. | ||
=== ईजेनवेक्टर === के बारे में उपयोगी तथ्य | === ईजेनवेक्टर === के बारे में उपयोगी तथ्य | ||
* अगर {{math|'''A'''}} हर्मिटियन | * अगर {{math|'''A'''}} हर्मिटियन आव्यूह और पूर्ण-रैंक है, ईजेनवेक्टरों के आधार को पारस्परिक रूप से [[ ओर्थोगोनल ]] चुना जा सकता है। आइगेनवैल्यू वास्तविक हैं। | ||
* के ईजेनवेक्टर {{math|'''A'''<sup>−1</sup>}} के | * के ईजेनवेक्टर {{math|'''A'''<sup>−1</sup>}} के आइजन्वेक्टर के समान हैं {{math|'''A'''}}. | ||
* | * आइजन्वेक्टर को केवल गुणक स्थिरांक तक परिभाषित किया जाता है। यानी अगर {{math|1='''Av''' = ''λ'''''v'''}} तब {{math|''c'''''v'''}} किसी भी अदिश के लिए एक eigenvector भी है {{math|''c'' ≠ 0}}. विशेष रूप से, {{math|−'''v'''}} और {{math|1=''e''<sup>''iθ''</sup>'''v'''}} (किसी θ के लिए) भी ईजेनवेक्टर हैं। | ||
* पतित ईजेनवेल्यूज (एक से अधिक ईजेनवेक्टर वाले ईजेनवैल्यू) के मामले में, ईजेनवेक्टरों को रैखिक परिवर्तन की एक अतिरिक्त स्वतंत्रता है, अर्थात, ईजेनवैल्यू साझा करने वाले ईजेनवेक्टरों का कोई भी रैखिक (ऑर्थोनॉर्मल) संयोजन (पतित उप-स्थान में) है स्वयं एक ईजेनवेक्टर (उप-स्थान में)। | * पतित ईजेनवेल्यूज (एक से अधिक ईजेनवेक्टर वाले ईजेनवैल्यू) के मामले में, ईजेनवेक्टरों को रैखिक परिवर्तन की एक अतिरिक्त स्वतंत्रता है, अर्थात, ईजेनवैल्यू साझा करने वाले ईजेनवेक्टरों का कोई भी रैखिक (ऑर्थोनॉर्मल) संयोजन (पतित उप-स्थान में) है स्वयं एक ईजेनवेक्टर (उप-स्थान में)। | ||
=== ईजेनडीकंपोजीशन === के बारे में उपयोगी तथ्य | === ईजेनडीकंपोजीशन === के बारे में उपयोगी तथ्य | ||
* {{math|'''A'''}} eigendecompose किया जा सकता है अगर और केवल अगर रैखिक रूप से स्वतंत्र | * {{math|'''A'''}} eigendecompose किया जा सकता है अगर और केवल अगर रैखिक रूप से स्वतंत्र आइजन्वेक्टर की संख्या, {{math|''N''<sub>'''v'''</sub>}}, एक eigenvector के आयाम के बराबर है: {{math|1=''N''<sub>'''v'''</sub> = ''N''}} | ||
* यदि अदिशों का क्षेत्र बीजगणितीय रूप से बंद है और यदि {{math|''p''(''λ'')}} की कोई पुनरावर्तित जड़ें नहीं हैं, अर्थात यदि <math>N_\lambda = N,</math> तब {{math|'''A'''}} eigendecompose हो सकता है। | * यदि अदिशों का क्षेत्र बीजगणितीय रूप से बंद है और यदि {{math|''p''(''λ'')}} की कोई पुनरावर्तित जड़ें नहीं हैं, अर्थात यदि <math>N_\lambda = N,</math> तब {{math|'''A'''}} eigendecompose हो सकता है। | ||
* कथन{{math|'''A'''}} eigendecompose किया जा सकता है इसका मतलब यह नहीं है {{math|'''A'''}} का व्युत्क्रम होता है क्योंकि कुछ | * कथन{{math|'''A'''}} eigendecompose किया जा सकता है इसका मतलब यह नहीं है {{math|'''A'''}} का व्युत्क्रम होता है क्योंकि कुछ आइजन्वेल्यूज़ शून्य हो सकते हैं, जो व्युत्क्रमणीय नहीं है। | ||
* कथन{{math|'''A'''}} का प्रतिलोम होने का अर्थ यह नहीं है {{math|'''A'''}} eigendecompose हो सकता है। एक प्रति उदाहरण है <math>\left[ \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right]</math>, जो एक उलटा दोषपूर्ण | * कथन{{math|'''A'''}} का प्रतिलोम होने का अर्थ यह नहीं है {{math|'''A'''}} eigendecompose हो सकता है। एक प्रति उदाहरण है <math>\left[ \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right]</math>, जो एक उलटा दोषपूर्ण आव्यूह है। | ||
=== | === आव्यूह व्युत्क्रम === के बारे में उपयोगी तथ्य | ||
* {{math|'''A'''}} उलटा जा सकता है [[अगर और केवल अगर]] सभी | * {{math|'''A'''}} उलटा जा सकता है [[अगर और केवल अगर]] सभी आइजन्वेल्यूज़ अशून्य हैं: <math display="block">\lambda_i \ne 0 \quad \forall \,i</math> | ||
* अगर {{math|''λ<sub>i</sub>'' ≠ 0}} और {{math|1=''N''<sub>'''v'''</sub> = ''N''}}, व्युत्क्रम द्वारा दिया गया है <math display="block">\mathbf{A}^{-1} = \mathbf{Q}\mathbf{\Lambda}^{-1}\mathbf{Q}^{-1}</math> | * अगर {{math|''λ<sub>i</sub>'' ≠ 0}} और {{math|1=''N''<sub>'''v'''</sub> = ''N''}}, व्युत्क्रम द्वारा दिया गया है <math display="block">\mathbf{A}^{-1} = \mathbf{Q}\mathbf{\Lambda}^{-1}\mathbf{Q}^{-1}</math> | ||
Line 214: | Line 214: | ||
=== ईगेनवैल्यूज की संख्यात्मक गणना === | === ईगेनवैल्यूज की संख्यात्मक गणना === | ||
मान लीजिए कि हम किसी दिए गए | मान लीजिए कि हम किसी दिए गए आव्यूह के आइजन्वेल्यूज़ की गणना करना चाहते हैं। यदि आव्यूह छोटा है, तो हम विशेषता बहुपद का उपयोग करके प्रतीकात्मक रूप से उनकी गणना कर सकते हैं। हालांकि, बड़े मेट्रिसेस के लिए यह अक्सर असंभव होता है, इस मामले में हमें एक [[संख्यात्मक विश्लेषण]] का उपयोग करना चाहिए। | ||
व्यवहार में, बड़े आव्यूहों के | <nowiki>व्यवहार में, बड़े आव्यूहों के आइजन्वेल्यूज़ की गणना विशेषता बहुपद का उपयोग करके नहीं की जाती है। बहुपद की गणना करना अपने आप में महंगा हो जाता है, और उच्च-स्तरीय बहुपद की सटीक (प्रतीकात्मक) जड़ों की गणना करना और व्यक्त करना मुश्किल हो सकता है: एबेल-रफिनी प्रमेय का तात्पर्य है कि उच्च-डिग्री (5 या ऊपर) बहुपदों की जड़ें सामान्य रूप से नहीं हो सकती हैं। प्रयोग करके व्यक्त किया जा सकता है {{mvar|n}वें जड़ें। इसलिए, आइजन्वेक्टर और आइजन्वेल्यूज़ खोजने के लिए सामान्य एल्गोरिदम पुनरावृत्त विधि हैं।</nowiki> | ||
बहुपदों की अनुमानित जड़ों के लिए पुनरावृत्त संख्यात्मक एल्गोरिदम मौजूद हैं, जैसे कि न्यूटन की विधि, लेकिन सामान्य तौर पर विशेषता बहुपद की गणना करना और फिर इन विधियों को लागू करना अव्यावहारिक है। एक कारण यह है कि विशेषता बहुपद के गुणांकों में छोटे [[राउंड-ऑफ त्रुटि]]यां ईगेनवैल्यूज और ईजेनवेक्टरों में बड़ी त्रुटियां पैदा कर सकती हैं: जड़ें गुणांकों का एक अत्यंत बीमार कार्य हैं।<ref name=Trefethen>{{Cite book|author1-link=Lloyd N. Trefethen|author1-first=Lloyd N.|author1-last=Trefethen|author2-first=David|author2-last=Bau|title=संख्यात्मक रैखिक बीजगणित|isbn=978-0-89871-361-9|publisher=SIAM|year= 1997}}</ref> | बहुपदों की अनुमानित जड़ों के लिए पुनरावृत्त संख्यात्मक एल्गोरिदम मौजूद हैं, जैसे कि न्यूटन की विधि, लेकिन सामान्य तौर पर विशेषता बहुपद की गणना करना और फिर इन विधियों को लागू करना अव्यावहारिक है। एक कारण यह है कि विशेषता बहुपद के गुणांकों में छोटे [[राउंड-ऑफ त्रुटि]]यां ईगेनवैल्यूज और ईजेनवेक्टरों में बड़ी त्रुटियां पैदा कर सकती हैं: जड़ें गुणांकों का एक अत्यंत बीमार कार्य हैं।<ref name=Trefethen>{{Cite book|author1-link=Lloyd N. Trefethen|author1-first=Lloyd N.|author1-last=Trefethen|author2-first=David|author2-last=Bau|title=संख्यात्मक रैखिक बीजगणित|isbn=978-0-89871-361-9|publisher=SIAM|year= 1997}}</ref> | ||
Line 226: | Line 226: | ||
=== ईजेनवेक्टरों की संख्यात्मक गणना === | === ईजेनवेक्टरों की संख्यात्मक गणना === | ||
एक बार | एक बार आइजन्वेल्यूज़ की गणना हो जाने के बाद, आइजन्वेक्टर की गणना समीकरण को हल करके की जा सकती है | ||
:<math>\left(\mathbf{A} - \lambda_i \mathbf{I}\right)\mathbf{v}_{i,j} = \mathbf{0} </math> | :<math>\left(\mathbf{A} - \lambda_i \mathbf{I}\right)\mathbf{v}_{i,j} = \mathbf{0} </math> | ||
गॉसियन विलोपन या [[रैखिक समीकरणों की प्रणाली]] का उपयोग करना # रैखिक समीकरणों की प्रणाली को हल करने के लिए एक रैखिक प्रणाली को हल करना। | गॉसियन विलोपन या [[रैखिक समीकरणों की प्रणाली]] का उपयोग करना # रैखिक समीकरणों की प्रणाली को हल करने के लिए एक रैखिक प्रणाली को हल करना। | ||
हालांकि, व्यावहारिक रूप से बड़े पैमाने पर ईजेनवैल्यू विधियों में, ईजेनवेक्टरों की गणना आमतौर पर अन्य तरीकों से की जाती है, जैसे कि ईजेनवैल्यू संगणना का उपोत्पाद। [[शक्ति पुनरावृत्ति]] में, उदाहरण के लिए, eigenvector वास्तव में eigenvalue से पहले गणना की जाती है (जो आमतौर पर eigenvector के Rayleigh भागफल द्वारा गणना की जाती है)।<ref name=Trefethen /> हर्मिटियन | हालांकि, व्यावहारिक रूप से बड़े पैमाने पर ईजेनवैल्यू विधियों में, ईजेनवेक्टरों की गणना आमतौर पर अन्य तरीकों से की जाती है, जैसे कि ईजेनवैल्यू संगणना का उपोत्पाद। [[शक्ति पुनरावृत्ति]] में, उदाहरण के लिए, eigenvector वास्तव में eigenvalue से पहले गणना की जाती है (जो आमतौर पर eigenvector के Rayleigh भागफल द्वारा गणना की जाती है)।<ref name=Trefethen /> हर्मिटियन आव्यूह (या किसी सामान्य आव्यूह) के लिए क्यूआर एल्गोरिदम में, ऑर्थोनॉर्मल ईजेनवेक्टरों को एक उत्पाद के रूप में प्राप्त किया जाता है {{math|'''Q'''}} एल्गोरिथम के चरणों से मैट्रिसेस।<ref name=Trefethen /> (अधिक सामान्य मैट्रिसेस के लिए, क्यूआर एल्गोरिदम पहले [[शूर अपघटन]] उत्पन्न करता है, जिससे ईजेनवेक्टरों को [[backsubstation]] प्रक्रिया द्वारा प्राप्त किया जा सकता है।<ref>{{Cite book|url=https://books.google.com/books?id=YVpyyi1M7vUC |publisher=Springer|chapter= section 5.8.2|title=संख्यात्मक गणित|pages=15|first1=Alfio |last1=Quarteroni |first2=Riccardo |last2=Sacco |first3=Fausto |last3=Saleri |isbn=978-0-387-98959-4|year=2000}}</ref>) हर्मिटियन मेट्रिसेस के लिए, [[विभाजित और जीत eigenvalue एल्गोरिथ्म]] क्यूआर एल्गोरिदम की तुलना में अधिक कुशल है यदि ईजेनवेक्टर और ईजेनवैल्यू दोनों वांछित हैं।<ref name=Trefethen /> | ||
Line 236: | Line 236: | ||
=== सामान्यीकृत ईजेनस्पेस === | === सामान्यीकृत ईजेनस्पेस === | ||
याद रखें कि एक ईगेनवैल्यू की ज्यामितीय बहुलता को संबद्ध ईजेनस्पेस के आयाम के रूप में वर्णित किया जा सकता है, [[कर्नेल (रैखिक बीजगणित)]] {{math|''λ'''''I''' − '''A'''}}. बीजगणितीय बहुलता को एक आयाम के रूप में भी माना जा सकता है: यह संबंधित [[सामान्यीकृत आइगेनस्पेस]] (प्रथम भाव) का आयाम है, जो | याद रखें कि एक ईगेनवैल्यू की ज्यामितीय बहुलता को संबद्ध ईजेनस्पेस के आयाम के रूप में वर्णित किया जा सकता है, [[कर्नेल (रैखिक बीजगणित)]] {{math|''λ'''''I''' − '''A'''}}. बीजगणितीय बहुलता को एक आयाम के रूप में भी माना जा सकता है: यह संबंधित [[सामान्यीकृत आइगेनस्पेस]] (प्रथम भाव) का आयाम है, जो आव्यूह का नलस्पेस है {{math|(''λ'''''I''' − '''A''')<sup>''k''</sup>}} किसी भी पर्याप्त बड़े के लिए {{mvar|k}}. यही है, यह सामान्यीकृत आइजन्वेक्टर (प्रथम अर्थ) का स्थान है, जहां एक सामान्यीकृत eigenvector कोई वेक्टर होता है जो अंततः 0 हो जाता है {{math|''λ'''''I''' − '''A'''}} उस पर क्रमिक रूप से पर्याप्त बार लागू होता है। कोई भी eigenvector एक सामान्यीकृत eigenvector है, और इसलिए प्रत्येक eigenspace संबद्ध सामान्यीकृत eigenspace में समाहित है। यह एक आसान प्रमाण प्रदान करता है कि ज्यामितीय बहुलता हमेशा बीजगणितीय बहुलता से कम या उसके बराबर होती है। | ||
इस प्रयोग को नीचे वर्णित सामान्यीकृत ईगेनवैल्यू समस्या के साथ भ्रमित नहीं होना चाहिए। | इस प्रयोग को नीचे वर्णित सामान्यीकृत ईगेनवैल्यू समस्या के साथ भ्रमित नहीं होना चाहिए। | ||
Line 292: | Line 292: | ||
और तबसे {{math|'''P'''}} व्युत्क्रमणीय है, तो हम उपपत्ति को समाप्त करते हुए समीकरण को दाईं ओर से इसके व्युत्क्रम से गुणा करते हैं। | और तबसे {{math|'''P'''}} व्युत्क्रमणीय है, तो हम उपपत्ति को समाप्त करते हुए समीकरण को दाईं ओर से इसके व्युत्क्रम से गुणा करते हैं। | ||
फॉर्म के मेट्रिसेस का सेट {{math|'''A''' − ''λ'''''B'''}}, कहाँ {{mvar|λ}} एक सम्मिश्र संख्या है, जिसे पेंसिल कहा जाता है; [[मैट्रिक्स पेंसिल]] शब्द जोड़ी को भी संदर्भित कर सकता है {{math|('''A''', '''B''')}} मेट्रिसेस का।<ref name=Bai-GHEP>{{cite book|editor1-first=Z. |editor1-last=Bai |editor2-link=James Demmel|editor2-first=J. |editor2-last=Demmel |editor3-first=J. |editor3-last=Dongarra |editor4-first=A. |editor4-last=Ruhe |editor5-first=H. |editor5-last=Van Der Vorst |title=Templates for the Solution of Algebraic Eigenvalue Problems: A Practical Guide|publisher=SIAM|location=Philadelphia|year= 2000|url=https://cs.utk.edu/~dongarra/etemplates/node156.html| chapter=Generalized Hermitian Eigenvalue Problems|isbn= 978-0-89871-471-5}}</ref> | फॉर्म के मेट्रिसेस का सेट {{math|'''A''' − ''λ'''''B'''}}, कहाँ {{mvar|λ}} एक सम्मिश्र संख्या है, जिसे पेंसिल कहा जाता है; [[मैट्रिक्स पेंसिल|आव्यूह पेंसिल]] शब्द जोड़ी को भी संदर्भित कर सकता है {{math|('''A''', '''B''')}} मेट्रिसेस का।<ref name=Bai-GHEP>{{cite book|editor1-first=Z. |editor1-last=Bai |editor2-link=James Demmel|editor2-first=J. |editor2-last=Demmel |editor3-first=J. |editor3-last=Dongarra |editor4-first=A. |editor4-last=Ruhe |editor5-first=H. |editor5-last=Van Der Vorst |title=Templates for the Solution of Algebraic Eigenvalue Problems: A Practical Guide|publisher=SIAM|location=Philadelphia|year= 2000|url=https://cs.utk.edu/~dongarra/etemplates/node156.html| chapter=Generalized Hermitian Eigenvalue Problems|isbn= 978-0-89871-471-5}}</ref> | ||
अगर {{math|'''B'''}} उलटा है, तो मूल समस्या के रूप में लिखा जा सकता है | अगर {{math|'''B'''}} उलटा है, तो मूल समस्या के रूप में लिखा जा सकता है | ||
: <math>\mathbf{B}^{-1}\mathbf{A}\mathbf{v} = \lambda \mathbf{v}</math> | : <math>\mathbf{B}^{-1}\mathbf{A}\mathbf{v} = \lambda \mathbf{v}</math> | ||
जो एक मानक eigenvalue समस्या है। हालांकि, ज्यादातर स्थितियों में उलटा प्रदर्शन नहीं करना बेहतर होता है, बल्कि मूल रूप से बताई गई सामान्यीकृत ईगेनवैल्यू समस्या को हल करना बेहतर होता है। यह विशेष रूप से महत्वपूर्ण है अगर {{math|'''A'''}} और {{math|'''B'''}} [[हर्मिटियन मेट्रिसेस]] हैं, क्योंकि इस मामले में {{math|'''B'''<sup>−1</sup>'''A'''}} आमतौर पर हर्मिटियन नहीं है और समाधान के महत्वपूर्ण गुण अब स्पष्ट नहीं हैं। | जो एक मानक eigenvalue समस्या है। हालांकि, ज्यादातर स्थितियों में उलटा प्रदर्शन नहीं करना बेहतर होता है, बल्कि मूल रूप से बताई गई सामान्यीकृत ईगेनवैल्यू समस्या को हल करना बेहतर होता है। यह विशेष रूप से महत्वपूर्ण है अगर {{math|'''A'''}} और {{math|'''B'''}} [[हर्मिटियन मेट्रिसेस]] हैं, क्योंकि इस मामले में {{math|'''B'''<sup>−1</sup>'''A'''}} आमतौर पर हर्मिटियन नहीं है और समाधान के महत्वपूर्ण गुण अब स्पष्ट नहीं हैं। | ||
अगर {{math|'''A'''}} और {{math|'''B'''}} दोनों सममित या हर्मिटियन हैं, और {{math|'''B'''}} भी एक [[सकारात्मक-निश्चित मैट्रिक्स]] है, | अगर {{math|'''A'''}} और {{math|'''B'''}} दोनों सममित या हर्मिटियन हैं, और {{math|'''B'''}} भी एक [[सकारात्मक-निश्चित मैट्रिक्स|सकारात्मक-निश्चित आव्यूह]] है, आइजन्वेल्यूज़ {{math|''λ<sub>i</sub>''}} वास्तविक और ईजेनवेक्टर हैं {{math|'''v'''<sub>1</sub>}} और {{math|'''v'''<sub>2</sub>}} अलग-अलग आइजन्वेल्यूज़ के साथ हैं {{math|'''B'''}}-ऑर्थोगोनल ({{math|1='''v'''<sub>1</sub><sup>*</sup>'''Bv'''<sub>2</sub> = 0}}).<ref>{{cite book|last=Parlett|first=Beresford N.|title=सममित eigenvalue समस्या|date=1998|publisher=Society for Industrial and Applied Mathematics|location=Philadelphia|isbn=978-0-89871-402-9|page=345|url=https://epubs.siam.org/doi/book/10.1137/1.9781611971163|edition=Reprint.|doi=10.1137/1.9781611971163}}</ref> इस मामले में, आइजन्वेक्टर को चुना जा सकता है ताकि आव्यूह {{math|'''P'''}} ऊपर परिभाषित संतुष्ट करता है | ||
:<math>\mathbf{P}^* \mathbf B \mathbf{P} = \mathbf{I}</math> या <math>\mathbf{P}\mathbf{P}^*\mathbf B = \mathbf{I}</math>, | :<math>\mathbf{P}^* \mathbf B \mathbf{P} = \mathbf{I}</math> या <math>\mathbf{P}\mathbf{P}^*\mathbf B = \mathbf{I}</math>, | ||
और सामान्यीकृत ईजेनवेक्टरों का एक [[आधार (रैखिक बीजगणित)]] मौजूद है (यह एक दोषपूर्ण | और सामान्यीकृत ईजेनवेक्टरों का एक [[आधार (रैखिक बीजगणित)]] मौजूद है (यह एक दोषपूर्ण आव्यूह समस्या नहीं है)।<ref name="Bai-GHEP" /> इस मामले को कभी-कभी हर्मिटियन निश्चित पेंसिल या निश्चित पेंसिल कहा जाता है।<ref name="Bai-GHEP" /> | ||
Line 310: | Line 310: | ||
* [[जॉर्डन सामान्य रूप]] | * [[जॉर्डन सामान्य रूप]] | ||
* [[मैट्रिसेस की सूची]] | * [[मैट्रिसेस की सूची]] | ||
* | * आव्यूह अपघटन | ||
*[[विलक्षण मान अपघटन]] | *[[विलक्षण मान अपघटन]] | ||
* सिल्वेस्टर का सूत्र | * सिल्वेस्टर का सूत्र |
Revision as of 09:57, 26 May 2023
रैखिक बीजगणित में, आइजेनडीकम्पोज़िशन एक आव्यूह का एक विहित रूप में आव्यूह गुणनखंड है, जिससे आव्यूह को इसके आइजन्वेल्यूज़ और आइजन्वेक्टर के संदर्भ में दर्शाया जाता है। इस तरह से केवल विकर्ण आव्यूह को कारक बनाया जा सकता है। जब आव्यूह का गुणनखंड एक सामान्य आव्यूह या वास्तविक सममित आव्यूह होता है, तो अपघटन को वर्णक्रमीय अपघटन कहा जाता है, जिसे वर्णक्रमीय प्रमेय से प्राप्त किया जाता है।
आव्यूह आइजन्वेक्टर और आइजन्वेल्यूज़ का मौलिक सिद्धांत
ए (अशून्य) वेक्टर v आयाम का N वर्ग का आइजनवेक्टर है N × N आव्यूह A यदि यह रूप के एक रेखीय समीकरण को संतुष्ट करता है
कुछ अदिश के लिए λ. तब λ को संगत आइगेन मान कहा जाता है v. ज्यामितीय रूप से बोलना, के आइजन्वेक्टर A वे वैक्टर हैं जो A केवल बढ़ता या सिकुड़ता है, और जिस राशि से वे बढ़ते/सिकुड़ते हैं वह आइगेनवेल्यू है। उपरोक्त समीकरण को आइगेनवैल्यू समीकरण या आइगेनवैल्यू समस्या कहा जाता है।
यह आइजन्वेल्यूज़ के लिए एक समीकरण पैदा करता है
हम बुलाते है p(λ) विशेषता बहुपद, और समीकरण, जिसे विशेषता समीकरण कहा जाता है, एक है {{mvar|N}अज्ञात में वें क्रम बहुपद समीकरण λ. यह समीकरण होगा Nλ अलग समाधान, जहां 1 ≤ Nλ ≤ N. समाधानों के समुच्चय, यानी आइगेनवैल्यूज़ को आव्यूह का स्पेक्ट्रम कहा जाता है A.[1][2][3] यदि अदिशों का क्षेत्र बीजगणितीय रूप से बंद क्षेत्र है, तो हम गुणनखंडन कर सकते हैं p जैसा
पूर्णांक ni को eigenvalue की बीजगणितीय बहुलता कहा जाता है λi. बीजगणितीय गुणन का योग है N: प्रत्येक आइगेनवैल्यू के लिए λi, हमारे पास एक विशिष्ट eigenvalue समीकरण है
वहां 1 ≤ mi ≤ ni प्रत्येक eigenvalue समीकरण के लिए रैखिक रूप से स्वतंत्र समाधान। के रैखिक संयोजन mi समाधान (एक को छोड़कर जो शून्य वेक्टर देता है) आइगेनवैल्यू से जुड़े ईजेनवेक्टर हैं λi. पूर्णांक mi की ज्यामितीय बहुलता कहलाती है λi. बीजगणितीय बहुलता को ध्यान में रखना महत्वपूर्ण है ni और ज्यामितीय बहुलता mi बराबर हो भी सकता है और नहीं भी, लेकिन हमारे पास हमेशा होता है mi ≤ ni. सबसे सरल मामला बेशक है जब mi = ni = 1. रैखिक रूप से स्वतंत्र ईजेनवेक्टरों की कुल संख्या, Nv, की गणना ज्यामितीय गुणकों के योग द्वारा की जा सकती है
आइजन्वेक्टर को डबल इंडेक्स का उपयोग करके आइजन्वेल्यूज़ द्वारा अनुक्रमित किया जा सकता है vij किया जा रहा है jवें ईजेनवेक्टर के लिए iवां आइगेनवैल्यू। एकल सूचकांक के सरल अंकन का उपयोग करके ईजेनवेक्टरों को भी अनुक्रमित किया जा सकता है vk, साथ k = 1, 2, ..., Nv.
एक आव्यूह का ईजेनडीकम्पोज़िशन
होने देना A वर्ग बनो n × n आव्यूह के साथ n रैखिक रूप से स्वतंत्र ईजेनवेक्टर qi (कहाँ i = 1, ..., n). तब A के रूप में आव्यूह अपघटन हो सकता है
कहाँ Q वर्ग है n × n आव्यूह जिसका iवाँ स्तंभ ईजेनवेक्टर है qi का A, और Λ विकर्ण आव्यूह है जिसके विकर्ण तत्व संगत आइजन्वेल्यूज़ हैं, Λii = λi. ध्यान दें कि इस तरह से केवल विकर्ण आव्यूह को कारक बनाया जा सकता है। उदाहरण के लिए, दोषपूर्ण आव्यूह (जो एक कतरनी आव्यूह है) को विकर्ण नहीं किया जा सकता। n} ईजेनवेक्टर qi आमतौर पर सामान्यीकृत होते हैं, लेकिन उन्हें होने की आवश्यकता नहीं होती है। का एक गैर-सामान्यीकृत सेट n ईजेनवेक्टर, vi के कॉलम के रूप में भी इस्तेमाल किया जा सकता है Q. इसे इस बात से समझा जा सकता है कि ईजेनवेक्टरों का परिमाण Q की उपस्थिति से अपघटन में रद्द हो जाता है Q−1. यदि आइजन्वेल्यूज़ में से एक λi में एक से अधिक रैखिक रूप से स्वतंत्र ईजेनवेक्टर हैं (अर्थात, की ज्यामितीय बहुलता λi 1 से अधिक है), तो इस eigenvalue के लिए ये आइजन्वेक्टर λi पारस्परिक रूप से ऑर्थोगोनल होने के लिए चुना जा सकता है; हालांकि, अगर दो ईजेनवेक्टर दो अलग-अलग ईजेनवैल्यू से संबंधित हैं, तो उनके लिए एक दूसरे के लिए ऑर्थोगोनल होना असंभव हो सकता है (नीचे उदाहरण देखें)। एक विशेष मामला यह है कि अगर A एक सामान्य आव्यूह है, फिर वर्णक्रमीय प्रमेय द्वारा, विकर्ण करना हमेशा संभव होता है A n ऑर्थोनॉर्मल आधार पर {qi}.
अपघटन आइजन्वेक्टर की मौलिक संपत्ति से प्राप्त किया जा सकता है:
रैखिक रूप से स्वतंत्र ईजेनवेक्टर qi अशून्य आइजन्वेल्यूज़ के साथ सभी संभावित उत्पादों के लिए एक आधार (जरूरी नहीं कि orthonormal) बनाते हैं Ax, के लिए x ∈ Cn, जो संबंधित आव्यूह परिवर्तन की छवि (गणित) (या किसी फ़ंक्शन की श्रेणी) के समान है, और आव्यूह का स्तंभ स्थान भी है A. रैखिक रूप से स्वतंत्र ईजेनवेक्टरों की संख्या qi गैर शून्य आइजन्वेल्यूज़ के साथ आव्यूह के रैंक (रैखिक बीजगणित) के बराबर है A, और संबंधित आव्यूह परिवर्तन की छवि (या श्रेणी) के आयाम के साथ-साथ इसके स्तंभ स्थान भी।
रैखिक रूप से स्वतंत्र ईजेनवेक्टर qi आव्यूह परिवर्तन के शून्य स्थान (कर्नेल के रूप में भी जाना जाता है) के लिए शून्य फॉर्म के आधार के साथ (जिसे ऑर्थोनॉर्मल चुना जा सकता है) A.
उदाहरण
2 × 2 वास्तविक आव्यूह A
एक गैर-एकवचन आव्यूह के गुणन के माध्यम से एक विकर्ण आव्यूह में विघटित हो सकता है B
तब
कुछ वास्तविक विकर्ण आव्यूह के लिए .
समीकरण के दोनों पक्षों को बायीं ओर से गुणा करने पर B:
उपरोक्त समीकरण को एक साथ दो समीकरणों में विघटित किया जा सकता है:
eigenvalue का फैक्टरिंग करना x और y:
दे
यह हमें दो सदिश समीकरण देता है:
और एक सदिश समीकरण द्वारा प्रतिनिधित्व किया जा सकता है जिसमें दो समाधान शामिल हैं जैसे कि आइगेनवेल्यूज़:
कहाँ λ दो आइजन्वेल्यूज़ का प्रतिनिधित्व करता है x और y, और u वैक्टर का प्रतिनिधित्व करता है a और b.
स्थानांतरण λu बाएं हाथ की ओर और फैक्टरिंग u बाहर
तब से B गैर-एकवचन है, यह आवश्यक है कि u अशून्य है। इसलिए,
इस प्रकार
हमें आव्यूह के लिए आइजन्वेल्यूज़ का समाधान दे रहा है A जैसा λ = 1 या λ = 3, और परिणामी विकर्ण आव्यूह के आइजेनडीकम्पोज़िशन से A इस प्रकार है .
समाधानों को वापस उपरोक्त समकालिक समीकरणों में लाना
समीकरणों को हल करना, हमारे पास है
इस प्रकार आव्यूह B के आइजेनडीकम्पोज़िशन के लिए आवश्यक है A है
वह है:
=== आइजेनडीकम्पोज़िशन === के माध्यम से आव्यूह व्युत्क्रम
अगर एक आव्यूह A को eigendecompose किया जा सकता है और यदि इसका कोई आइजन्वेल्यूज़ शून्य नहीं है, तो A उलटा आव्यूह है और इसके व्युत्क्रम द्वारा दिया गया है
अगर एक सममित आव्यूह है, क्योंकि के ईजेनवेक्टर से बनता है , इसलिए एक ऑर्थोगोनल आव्यूह होने की गारंटी है . इसके अलावा, क्योंकि Λ एक विकर्ण आव्यूह है, इसके व्युत्क्रम की गणना करना आसान है:
व्यावहारिक प्रभाव
जब मापा, वास्तविक आंकड़े के एक आव्यूह पर आइजेनडीकम्पोज़िशन का उपयोग किया जाता है, तो उलटा कार्य कम मान्य हो सकता है जब सभी आइजन्वेल्यूज़ उपरोक्त रूप में अपरिवर्तित उपयोग किए जाते हैं। इसका कारण यह है कि जैसे-जैसे ईजेनवेल्यू अपेक्षाकृत छोटे होते जाते हैं, व्युत्क्रम में उनका योगदान बड़ा होता जाता है। शून्य के पास या माप प्रणाली के शोर पर उन पर अनुचित प्रभाव पड़ेगा और व्युत्क्रम का उपयोग करके समाधान (पहचान) में बाधा आ सकती है।[4] दो न्यूनीकरण प्रस्तावित किए गए हैं: छोटे या शून्य आइजन्वेल्यूज़ को छोटा करना, और इसके नीचे के लोगों के लिए सबसे कम विश्वसनीय eigenvalue का विस्तार करना। Tikhonov नियमितीकरण को एक सांख्यिकीय रूप से प्रेरित लेकिन पक्षपाती विधि के रूप में देखें, क्योंकि वे आइगेनवैल्यूज़ को रोल ऑफ करते हैं क्योंकि वे शोर से प्रभावित हो जाते हैं।
पहली शमन विधि मूल आव्यूह के विरल नमूने के समान है, जो उन घटकों को हटाती है जिन्हें मूल्यवान नहीं माना जाता है। हालाँकि, यदि समाधान या पता लगाने की प्रक्रिया शोर स्तर के पास है, तो ट्रंकटिंग उन घटकों को हटा सकती है जो वांछित समाधान को प्रभावित करते हैं।
दूसरा शमन eigenvalue का विस्तार करता है ताकि कम मूल्यों का व्युत्क्रम पर बहुत कम प्रभाव पड़े, लेकिन फिर भी योगदान करते हैं, जैसे कि शोर के निकट समाधान अभी भी मिलेंगे।
विश्वसनीय eigenvalue यह मानते हुए पाया जा सकता है कि बेहद समान और कम मूल्य के आइजन्वेल्यूज़ माप शोर का एक अच्छा प्रतिनिधित्व है (जो कि अधिकांश प्रणालियों के लिए कम माना जाता है)।
यदि आइजन्वेल्यूज़ मूल्य द्वारा रैंक-सॉर्ट किए जाते हैं, तो विश्वसनीय eigenvalue को सॉर्ट किए गए आइजन्वेल्यूज़ के लाप्लास ऑपरेटर को कम करके पाया जा सकता है:[5]
जहां आइजन्वेल्यूज़ a के साथ सब्सक्राइब किए गए हैं s सॉर्ट किए जाने को इंगित करने के लिए। न्यूनीकरण की स्थिति सबसे कम विश्वसनीय eigenvalue है। माप प्रणालियों में, इस विश्वसनीय eigenvalue का वर्गमूल सिस्टम के घटकों पर औसत शोर है।
कार्यात्मक पथरी
Eigedecomposition मेट्रिसेस की शक्ति श्रृंखला की बहुत आसान गणना के लिए अनुमति देता है। अगर f (x) द्वारा दिया गया है
तब हम उसे जानते हैं
क्योंकि Λ एक विकर्ण आव्यूह है, का कार्य करता है Λ की गणना करना बहुत आसान है:
के ऑफ-विकर्ण तत्व f (Λ) शून्य हैं; वह है, f (Λ) भी एक विकर्ण आव्यूह है। इसलिए गणना कर रहे हैं f (A) प्रत्येक आइजन्वेल्यूज़ पर फ़ंक्शन की गणना करने के लिए कम हो जाता है।
इसी तरह की तकनीक आमतौर पर होलोमॉर्फिक फंक्शनल कैलकुलस के साथ अधिक काम करती है
- Matrix व्युत्क्रम से आइजेनडीकम्पोज़िशन के माध्यम से। एक बार फिर, हम पाते हैं
उदाहरण
जो कार्यों के लिए उदाहरण हैं . आगे, आव्यूह घातीय है।
विशेष आव्यूह के लिए अपघटन
![]() | This section needs expansion. You can help by adding to it. (June 2008) |
कब A सामान्य या वास्तविक सममित आव्यूह है, अपघटन को वर्णक्रमीय अपघटन कहा जाता है, जो वर्णक्रमीय प्रमेय से प्राप्त होता है।
सामान्य आव्यूह
एक जटिल-मूल्यवान वर्ग आव्यूह A सामान्य है (अर्थ A*A = AA*, कहाँ A* संयुग्म संक्रमण है) अगर और केवल अगर इसे विघटित किया जा सकता है
कहाँ U एक एकात्मक आव्यूह है (अर्थ U* = U−1) और Λ = diag(λ1, ..., λn) एक विकर्ण आव्यूह है।[6] कॉलम यू1, ..., मेंn का U एक अलौकिक आधार बनाते हैं और इसके ईजेनवेक्टर हैं A इसी आइजन्वेल्यूज़ λ के साथ1, ..., एलn.
अगर A हर्मिटियन आव्यूह होने के लिए प्रतिबंधित है (A = A*), तब Λ में केवल वास्तविक मूल्यवान प्रविष्टियाँ हैं। अगर A तब एकात्मक आव्यूह तक ही सीमित है Λ अपने सभी मान जटिल इकाई वृत्त पर लेता है, अर्थात, |λi| = 1.
वास्तविक सममित आव्यूह
एक विशेष मामले के रूप में, प्रत्येक के लिए n × n वास्तविक सममित आव्यूह, आइजन्वेल्यूज़ वास्तविक हैं और आइजन्वेक्टर को वास्तविक और ऑर्थोनॉर्मल चुना जा सकता है। इस प्रकार एक वास्तविक सममित आव्यूह A के रूप में विघटित किया जा सकता है
कहाँ Q एक ऑर्थोगोनल आव्यूह है जिसके कॉलम वास्तविक, ऑर्थोनॉर्मल ईजेनवेक्टर हैं A, और Λ एक विकर्ण आव्यूह है जिसकी प्रविष्टियाँ आइजन्वेल्यूज़ हैं A.[7]
उपयोगी तथ्य
=== आइजन्वेल्यूज़ === के बारे में उपयोगी तथ्य
- आइगेनवैल्यू का गुणनफल के निर्धारक के बराबर है A ध्यान दें कि प्रत्येक eigenvalue की घात होती है ni, बीजगणितीय बहुलता।
- आइगेनवैल्यू का योग के ट्रेस (रैखिक बीजगणित) के बराबर है A ध्यान दें कि प्रत्येक eigenvalue से गुणा किया जाता है ni, बीजगणितीय बहुलता।
- यदि के आइजन्वेल्यूज़ A हैं λi, और A उलटा है, फिर के आइजन्वेल्यूज़ A−1 सरल हैं λ−1
i. - यदि के आइजन्वेल्यूज़ A हैं λi, फिर के आइजन्वेल्यूज़ f (A) सरल हैं f (λi), किसी भी होलोमॉर्फिक फ़ंक्शन के लिए f.
=== ईजेनवेक्टर === के बारे में उपयोगी तथ्य
- अगर A हर्मिटियन आव्यूह और पूर्ण-रैंक है, ईजेनवेक्टरों के आधार को पारस्परिक रूप से ओर्थोगोनल चुना जा सकता है। आइगेनवैल्यू वास्तविक हैं।
- के ईजेनवेक्टर A−1 के आइजन्वेक्टर के समान हैं A.
- आइजन्वेक्टर को केवल गुणक स्थिरांक तक परिभाषित किया जाता है। यानी अगर Av = λv तब cv किसी भी अदिश के लिए एक eigenvector भी है c ≠ 0. विशेष रूप से, −v और eiθv (किसी θ के लिए) भी ईजेनवेक्टर हैं।
- पतित ईजेनवेल्यूज (एक से अधिक ईजेनवेक्टर वाले ईजेनवैल्यू) के मामले में, ईजेनवेक्टरों को रैखिक परिवर्तन की एक अतिरिक्त स्वतंत्रता है, अर्थात, ईजेनवैल्यू साझा करने वाले ईजेनवेक्टरों का कोई भी रैखिक (ऑर्थोनॉर्मल) संयोजन (पतित उप-स्थान में) है स्वयं एक ईजेनवेक्टर (उप-स्थान में)।
=== ईजेनडीकंपोजीशन === के बारे में उपयोगी तथ्य
- A eigendecompose किया जा सकता है अगर और केवल अगर रैखिक रूप से स्वतंत्र आइजन्वेक्टर की संख्या, Nv, एक eigenvector के आयाम के बराबर है: Nv = N
- यदि अदिशों का क्षेत्र बीजगणितीय रूप से बंद है और यदि p(λ) की कोई पुनरावर्तित जड़ें नहीं हैं, अर्थात यदि तब A eigendecompose हो सकता है।
- कथनA eigendecompose किया जा सकता है इसका मतलब यह नहीं है A का व्युत्क्रम होता है क्योंकि कुछ आइजन्वेल्यूज़ शून्य हो सकते हैं, जो व्युत्क्रमणीय नहीं है।
- कथनA का प्रतिलोम होने का अर्थ यह नहीं है A eigendecompose हो सकता है। एक प्रति उदाहरण है , जो एक उलटा दोषपूर्ण आव्यूह है।
=== आव्यूह व्युत्क्रम === के बारे में उपयोगी तथ्य
- A उलटा जा सकता है अगर और केवल अगर सभी आइजन्वेल्यूज़ अशून्य हैं:
- अगर λi ≠ 0 और Nv = N, व्युत्क्रम द्वारा दिया गया है
संख्यात्मक संगणना
ईगेनवैल्यूज की संख्यात्मक गणना
मान लीजिए कि हम किसी दिए गए आव्यूह के आइजन्वेल्यूज़ की गणना करना चाहते हैं। यदि आव्यूह छोटा है, तो हम विशेषता बहुपद का उपयोग करके प्रतीकात्मक रूप से उनकी गणना कर सकते हैं। हालांकि, बड़े मेट्रिसेस के लिए यह अक्सर असंभव होता है, इस मामले में हमें एक संख्यात्मक विश्लेषण का उपयोग करना चाहिए।
व्यवहार में, बड़े आव्यूहों के आइजन्वेल्यूज़ की गणना विशेषता बहुपद का उपयोग करके नहीं की जाती है। बहुपद की गणना करना अपने आप में महंगा हो जाता है, और उच्च-स्तरीय बहुपद की सटीक (प्रतीकात्मक) जड़ों की गणना करना और व्यक्त करना मुश्किल हो सकता है: एबेल-रफिनी प्रमेय का तात्पर्य है कि उच्च-डिग्री (5 या ऊपर) बहुपदों की जड़ें सामान्य रूप से नहीं हो सकती हैं। प्रयोग करके व्यक्त किया जा सकता है {{mvar|n}वें जड़ें। इसलिए, आइजन्वेक्टर और आइजन्वेल्यूज़ खोजने के लिए सामान्य एल्गोरिदम पुनरावृत्त विधि हैं।
बहुपदों की अनुमानित जड़ों के लिए पुनरावृत्त संख्यात्मक एल्गोरिदम मौजूद हैं, जैसे कि न्यूटन की विधि, लेकिन सामान्य तौर पर विशेषता बहुपद की गणना करना और फिर इन विधियों को लागू करना अव्यावहारिक है। एक कारण यह है कि विशेषता बहुपद के गुणांकों में छोटे राउंड-ऑफ त्रुटियां ईगेनवैल्यूज और ईजेनवेक्टरों में बड़ी त्रुटियां पैदा कर सकती हैं: जड़ें गुणांकों का एक अत्यंत बीमार कार्य हैं।[8] एक सरल और सटीक पुनरावृत्ति विधि शक्ति विधि है: एक यादृच्छिक वेक्टर v चुना जाता है और इकाई वेक्टर के अनुक्रम की गणना की जाती है
यह अनुक्रम लगभग हमेशा एक ईजेनवेक्टर में अभिसरण करेगा जो कि सबसे बड़ी परिमाण के ईजेनवेल्यू के अनुरूप है, बशर्ते कि v में ईजेनवेक्टर के आधार पर इस ईजेनवेक्टर का एक गैर-शून्य घटक है (और यह भी प्रदान किया गया है कि सबसे बड़ी परिमाण का केवल एक ईजेनवेल्यू है)। यह सरल एल्गोरिथ्म कुछ व्यावहारिक अनुप्रयोगों में उपयोगी है; उदाहरण के लिए, Google अपने खोज इंजन में दस्तावेज़ों के पृष्ठ रैंक की गणना करने के लिए इसका उपयोग करता है।[9] साथ ही, कई अधिक परिष्कृत एल्गोरिदम के लिए पावर विधि शुरुआती बिंदु है। उदाहरण के लिए, अनुक्रम में न केवल अंतिम सदिश को रखते हुए, बल्कि क्रम में सभी सदिशों के रैखिक फैलाव को देखते हुए, ईजेनवेक्टर के लिए एक बेहतर (तेजी से अभिसरण) सन्निकटन प्राप्त कर सकते हैं, और यह विचार आधार है अर्नोल्डी पुनरावृत्ति।[8] वैकल्पिक रूप से, महत्वपूर्ण क्यूआर एल्गोरिदम भी एक शक्ति पद्धति के सूक्ष्म परिवर्तन पर आधारित है।[8]
ईजेनवेक्टरों की संख्यात्मक गणना
एक बार आइजन्वेल्यूज़ की गणना हो जाने के बाद, आइजन्वेक्टर की गणना समीकरण को हल करके की जा सकती है
गॉसियन विलोपन या रैखिक समीकरणों की प्रणाली का उपयोग करना # रैखिक समीकरणों की प्रणाली को हल करने के लिए एक रैखिक प्रणाली को हल करना।
हालांकि, व्यावहारिक रूप से बड़े पैमाने पर ईजेनवैल्यू विधियों में, ईजेनवेक्टरों की गणना आमतौर पर अन्य तरीकों से की जाती है, जैसे कि ईजेनवैल्यू संगणना का उपोत्पाद। शक्ति पुनरावृत्ति में, उदाहरण के लिए, eigenvector वास्तव में eigenvalue से पहले गणना की जाती है (जो आमतौर पर eigenvector के Rayleigh भागफल द्वारा गणना की जाती है)।[8] हर्मिटियन आव्यूह (या किसी सामान्य आव्यूह) के लिए क्यूआर एल्गोरिदम में, ऑर्थोनॉर्मल ईजेनवेक्टरों को एक उत्पाद के रूप में प्राप्त किया जाता है Q एल्गोरिथम के चरणों से मैट्रिसेस।[8] (अधिक सामान्य मैट्रिसेस के लिए, क्यूआर एल्गोरिदम पहले शूर अपघटन उत्पन्न करता है, जिससे ईजेनवेक्टरों को backsubstation प्रक्रिया द्वारा प्राप्त किया जा सकता है।[10]) हर्मिटियन मेट्रिसेस के लिए, विभाजित और जीत eigenvalue एल्गोरिथ्म क्यूआर एल्गोरिदम की तुलना में अधिक कुशल है यदि ईजेनवेक्टर और ईजेनवैल्यू दोनों वांछित हैं।[8]
अतिरिक्त विषय
सामान्यीकृत ईजेनस्पेस
याद रखें कि एक ईगेनवैल्यू की ज्यामितीय बहुलता को संबद्ध ईजेनस्पेस के आयाम के रूप में वर्णित किया जा सकता है, कर्नेल (रैखिक बीजगणित) λI − A. बीजगणितीय बहुलता को एक आयाम के रूप में भी माना जा सकता है: यह संबंधित सामान्यीकृत आइगेनस्पेस (प्रथम भाव) का आयाम है, जो आव्यूह का नलस्पेस है (λI − A)k किसी भी पर्याप्त बड़े के लिए k. यही है, यह सामान्यीकृत आइजन्वेक्टर (प्रथम अर्थ) का स्थान है, जहां एक सामान्यीकृत eigenvector कोई वेक्टर होता है जो अंततः 0 हो जाता है λI − A उस पर क्रमिक रूप से पर्याप्त बार लागू होता है। कोई भी eigenvector एक सामान्यीकृत eigenvector है, और इसलिए प्रत्येक eigenspace संबद्ध सामान्यीकृत eigenspace में समाहित है। यह एक आसान प्रमाण प्रदान करता है कि ज्यामितीय बहुलता हमेशा बीजगणितीय बहुलता से कम या उसके बराबर होती है।
इस प्रयोग को नीचे वर्णित सामान्यीकृत ईगेनवैल्यू समस्या के साथ भ्रमित नहीं होना चाहिए।
संयुग्मी आइजनवेक्टर
एक संयुग्म eigenvector या conjugate eigenvector एक सदिश है जो इसके संयुग्म के एक स्केलर गुणक में परिवर्तन के बाद भेजा जाता है, जहां स्केलर को रैखिक परिवर्तन के संयुग्मित eigenvalue या शंकुवायु कहा जाता है। कोनिजेनवेक्टर और कोनिजेनवैल्यू अनिवार्य रूप से नियमित ईजेनवेक्टर और ईजेनवैल्यू के रूप में समान जानकारी और अर्थ का प्रतिनिधित्व करते हैं, लेकिन तब उत्पन्न होते हैं जब एक वैकल्पिक समन्वय प्रणाली का उपयोग किया जाता है। संगत समीकरण है
उदाहरण के लिए, सुसंगत विद्युत चुम्बकीय प्रकीर्णन सिद्धांत में, रैखिक परिवर्तन A प्रकीर्णन वस्तु द्वारा की गई क्रिया का प्रतिनिधित्व करता है, और ईजेनवेक्टर विद्युत चुम्बकीय तरंग के ध्रुवीकरण राज्यों का प्रतिनिधित्व करते हैं। प्रकाशिकी में, समन्वय प्रणाली को तरंग के दृष्टिकोण से परिभाषित किया जाता है, जिसे फॉरवर्ड स्कैटरिंग एलाइनमेंट (FSA) के रूप में जाना जाता है, और एक नियमित eigenvalue समीकरण को जन्म देता है, जबकि राडार में, समन्वय प्रणाली को रडार के दृष्टिकोण से परिभाषित किया जाता है, जिसे बैक के रूप में जाना जाता बैक स्कैटरिंग एलाइनमेंट (BSA), और एक कोनिगेनवैल्यू समीकरण को जन्म देता है।
सामान्यीकृत ईजेनवेल्यू समस्या
एक सामान्यीकृत eigenvalue समस्या (द्वितीय अर्थ) एक (अशून्य) वेक्टर खोजने की समस्या है v जो पालन करता है
कहाँ A और B आव्यूह हैं। अगर v कुछ के साथ इस समीकरण का पालन करता है λ, फिर हम कॉल करते हैं v का सामान्यीकृत ईजेनवेक्टर A और B (दूसरे अर्थ में), और λ का सामान्यीकृत eigenvalue कहा जाता है A और B (दूसरे अर्थ में) जो सामान्यीकृत ईजेनवेक्टर से मेल खाता है v. के संभावित मान λ को निम्नलिखित समीकरण का पालन करना चाहिए
अगर n रैखिक रूप से स्वतंत्र वैक्टर {v1, …, vn} पाया जा सकता है, जैसे कि प्रत्येक के लिए i ∈ {1, …, n}, Avi = λiBvi, फिर हम मैट्रिसेस को परिभाषित करते हैं P और D ऐसा है कि
फिर निम्नलिखित समानता रखती है
और प्रमाण है
और तबसे P व्युत्क्रमणीय है, तो हम उपपत्ति को समाप्त करते हुए समीकरण को दाईं ओर से इसके व्युत्क्रम से गुणा करते हैं।
फॉर्म के मेट्रिसेस का सेट A − λB, कहाँ λ एक सम्मिश्र संख्या है, जिसे पेंसिल कहा जाता है; आव्यूह पेंसिल शब्द जोड़ी को भी संदर्भित कर सकता है (A, B) मेट्रिसेस का।[11] अगर B उलटा है, तो मूल समस्या के रूप में लिखा जा सकता है
जो एक मानक eigenvalue समस्या है। हालांकि, ज्यादातर स्थितियों में उलटा प्रदर्शन नहीं करना बेहतर होता है, बल्कि मूल रूप से बताई गई सामान्यीकृत ईगेनवैल्यू समस्या को हल करना बेहतर होता है। यह विशेष रूप से महत्वपूर्ण है अगर A और B हर्मिटियन मेट्रिसेस हैं, क्योंकि इस मामले में B−1A आमतौर पर हर्मिटियन नहीं है और समाधान के महत्वपूर्ण गुण अब स्पष्ट नहीं हैं।
अगर A और B दोनों सममित या हर्मिटियन हैं, और B भी एक सकारात्मक-निश्चित आव्यूह है, आइजन्वेल्यूज़ λi वास्तविक और ईजेनवेक्टर हैं v1 और v2 अलग-अलग आइजन्वेल्यूज़ के साथ हैं B-ऑर्थोगोनल (v1*Bv2 = 0).[12] इस मामले में, आइजन्वेक्टर को चुना जा सकता है ताकि आव्यूह P ऊपर परिभाषित संतुष्ट करता है
- या ,
और सामान्यीकृत ईजेनवेक्टरों का एक आधार (रैखिक बीजगणित) मौजूद है (यह एक दोषपूर्ण आव्यूह समस्या नहीं है)।[11] इस मामले को कभी-कभी हर्मिटियन निश्चित पेंसिल या निश्चित पेंसिल कहा जाता है।[11]
यह भी देखें
- आइगेनवैल्यू गड़बड़ी
- फ्रोबेनियस सहसंयोजक
- गृहस्थ परिवर्तन
- जॉर्डन सामान्य रूप
- मैट्रिसेस की सूची
- आव्यूह अपघटन
- विलक्षण मान अपघटन
- सिल्वेस्टर का सूत्र
टिप्पणियाँ
- ↑ Golub & Van Loan (1996, p. 310)
- ↑ Kreyszig (1972, p. 273)
- ↑ Nering (1970, p. 270)
- ↑ Hayde, A. F.; Twede, D. R. (2002). Shen, Sylvia S. (ed.). "आइगेनवैल्यू, उपकरण शोर और पहचान प्रदर्शन के बीच संबंध पर अवलोकन". Imaging Spectrometry VIII. Proceedings of SPIE. 4816: 355. Bibcode:2002SPIE.4816..355H. doi:10.1117/12.453777.
- ↑ Twede, D. R.; Hayden, A. F. (2004). Shen, Sylvia S; Lewis, Paul E (eds.). "नियमितीकरण द्वारा सहप्रसरण मैट्रिक्स व्युत्क्रम की विस्तार विधि का शोधन और सामान्यीकरण". Imaging Spectrometry IX. Proceedings of SPIE. 5159: 299. Bibcode:2004SPIE.5159..299T. doi:10.1117/12.506993.
- ↑ Horn & Johnson (1985), p. 133, Theorem 2.5.3
- ↑ Horn & Johnson (1985), p. 136, Corollary 2.5.11
- ↑ Jump up to: 8.0 8.1 8.2 8.3 8.4 8.5 Trefethen, Lloyd N.; Bau, David (1997). संख्यात्मक रैखिक बीजगणित. SIAM. ISBN 978-0-89871-361-9.
- ↑ Ipsen, Ilse, and Rebecca M. Wills, Analysis and Computation of Google's PageRank, 7th IMACS International Symposium on Iterative Methods in Scientific Computing, Fields Institute, Toronto, Canada, 5–8 May 2005.
- ↑ Quarteroni, Alfio; Sacco, Riccardo; Saleri, Fausto (2000). "section 5.8.2". संख्यात्मक गणित. Springer. p. 15. ISBN 978-0-387-98959-4.
- ↑ Jump up to: 11.0 11.1 11.2 Bai, Z.; Demmel, J.; Dongarra, J.; Ruhe, A.; Van Der Vorst, H., eds. (2000). "Generalized Hermitian Eigenvalue Problems". Templates for the Solution of Algebraic Eigenvalue Problems: A Practical Guide. Philadelphia: SIAM. ISBN 978-0-89871-471-5.
- ↑ Parlett, Beresford N. (1998). सममित eigenvalue समस्या (Reprint. ed.). Philadelphia: Society for Industrial and Applied Mathematics. p. 345. doi:10.1137/1.9781611971163. ISBN 978-0-89871-402-9.
संदर्भ
- Franklin, Joel N. (1968). Matrix Theory. Dover Publications. ISBN 978-0-486-41179-8.
- Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations (3rd ed.), Baltimore: Johns Hopkins University Press, ISBN 978-0-8018-5414-9
- Horn, Roger A.; Johnson, Charles R. (1985). Matrix Analysis. Cambridge University Press. ISBN 978-0-521-38632-6.
- Horn, Roger A.; Johnson, Charles R. (1991). Topics in Matrix Analysis. Cambridge University Press. ISBN 978-0-521-46713-1.
- Kreyszig, Erwin (1972), Advanced Engineering Mathematics (3rd ed.), New York: Wiley, ISBN 978-0-471-50728-4
- Nering, Evar D. (1970), Linear Algebra and Matrix Theory (2nd ed.), New York: Wiley, LCCN 76091646
- Strang, G. (1998). Introduction to Linear Algebra (3rd ed.). Wellesley-Cambridge Press. ISBN 978-0-9614088-5-5.