सामान्यीकृत ईजेनवेक्टर: Difference between revisions
No edit summary |
No edit summary |
||
(4 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Vector satisfying some of the criteria of an eigenvector}} | {{Short description|Vector satisfying some of the criteria of an eigenvector}}रेखीय बीजगणित में, एक '''सामान्यीकृत ईजेनवेक्टर''' <math>n\times n</math> आव्यूह (गणित) <math>A</math> सदिश (गणित और भौतिकी) है जो कुछ मानदंडों को पूर्ण करता है जो एक (साधारण) वेक्टर की समानता में अधिक आराम से हैं।<ref>{{harvtxt|Bronson|1970|p=189}}</ref> | ||
{{ | |||
रेखीय | होने देना <math>V</math> सेम <math>n</math>-आयामी सदिश अंतरिक्ष और चलो <math>A</math> रेखीय मानचित्र बनें एक रेखीय मानचित्र के उदाहरण <math>V</math> को <math>V</math> कुछ आदेशित [[आधार (रैखिक बीजगणित)]] के संबंध में। | ||
सदैव का पूर्ण सेट उपस्थित नहीं हो सकता है <math>n</math> [[रैखिक स्वतंत्रता]] के ईजेनसदिश <math>A</math> के लिए पूर्ण आधार बनाता है <math>V</math>. अर्थात आव्यूह <math>A</math> [[विकर्णीय मैट्रिक्स|विकर्णीय आव्यूह]] नहीं हो सकता है।<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=310}}</ref><ref>{{harvtxt|Nering|1970|p=118}}</ref> यह तब होता है जब कम से कम एक [[eigenvalue|आइगनमान]] की [[बीजगणितीय बहुलता]] <math>\lambda_i</math> इसकी [[ज्यामितीय बहुलता]] से अधिक है (कर्नेल (रैखिक बीजगणित) आव्यूह के आव्यूह गुणन के रूप में प्रतिनिधित्व <math>(A-\lambda_i I)</math>, या इसके कर्नेल (रैखिक बीजगणित) का [[आयाम (वेक्टर स्थान)|आयाम (सदिश स्थान)]]। इस स्थितिमें, <math>\lambda_i</math> एक दोषपूर्ण सामान्यीकृत मोडल आव्यूहकहा जाता है और <math>A</math> [[दोषपूर्ण मैट्रिक्स|दोषपूर्ण आव्यूह]] कहा जाता है।<ref>{{harvtxt|Golub|Van Loan|1996|p=316}}</ref> | |||
एक सामान्यीकृत ईजेनसदिश <math>x_i</math> तदनुसार <math>\lambda_i</math>, आव्यूह के साथ <math>(A-\lambda_i I)</math> रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों की एक जॉर्डन श्रृंखला उत्पन्न करें जो एक [[अपरिवर्तनीय उप-स्थान]] के लिए आधार बनाती हैं <math>V</math>.<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=319}}</ref><ref>{{harvtxt|Bronson|1970|pp=194–195}}</ref><ref>{{harvtxt|Golub|Van Loan|1996|p=311}}</ref> | |||
सामान्यीकृत ईगेनसदिश्स का उपयोग करना, के रैखिक रूप से स्वतंत्र इगेनसदिश्स का एक सेट <math>A</math> के लिए, यदि आवश्यक हो, पूर्ण आधार पर बढ़ाया जा सकता है <math>V</math>.<ref>{{harvtxt|Bronson|1970|p=196}}</ref> इस आधार का उपयोग अधिकतर विकर्ण आव्यूह को निर्धारित करने के लिए किया जा सकता है <math>J</math> [[जॉर्डन सामान्य रूप]] में, करने के लिए [[मैट्रिक्स समानता|आव्यूह समानता]] <math>A</math>, जो कुछ आव्यूह कार्यों की गणना करने में उपयोगी है <math>A</math>.<ref>{{harvtxt|Bronson|1970|p=189}}</ref> गणित का सवाल <math>J</math> साधारण अवकल समीकरण ODE की प्रणाली को हल करने में भी उपयोगी है <math>\mathbf x' = A \mathbf x,</math> जहाँ <math>A</math> विकर्ण होने की आवश्यकता नहीं है।<ref>{{harvtxt|Beauregard|Fraleigh|1973|pp=316–318}}</ref><ref>{{harvtxt|Nering|1970|p=118}}</ref> | |||
सामान्यीकृत | |||
किसी दिए गए ईगेनवैल्यू के अनुरूप सामान्यीकृत आइगेनस्पेस का आयाम <math>\lambda</math> की बीजगणितीय बहुलता है <math>\lambda</math>.<ref>{{harvtxt|Bronson|1970|p=196}}</ref> | किसी दिए गए ईगेनवैल्यू के अनुरूप सामान्यीकृत आइगेनस्पेस का आयाम <math>\lambda</math> की बीजगणितीय बहुलता है <math>\lambda</math>.<ref>{{harvtxt|Bronson|1970|p=196}}</ref> | ||
Line 17: | Line 14: | ||
== अवलोकन और परिभाषा == | == अवलोकन और परिभाषा == | ||
एक साधारण | एक साधारण ईजेनसदिश को परिभाषित करने के कई समतुल्य विधि हैं।<ref>{{harvtxt|Anton|1987|pp=301–302}}</ref><ref>{{harvtxt|Beauregard|Fraleigh|1973|p=266}}</ref><ref>{{harvtxt|Burden|Faires|1993|p=401}}</ref><ref>{{harvtxt|Golub|Van Loan|1996|pp=310–311}}</ref><ref>{{harvtxt|Harper|1976|p=58}}</ref><ref>{{harvtxt|Herstein|1964|p=225}}</ref><ref>{{harvtxt|Kreyszig|1972|pp=273,684}}</ref><ref>{{harvtxt|Nering|1970|p=104}}</ref> हमारे उद्देश्यों के लिए, एक ईजेनसदिश <math>\mathbf u</math> एक eigenvalue से जुड़ा हुआ है <math>\lambda</math> की एक <math>n</math> × <math>n</math> आव्यूह <math>A</math> जिसके लिए अशून्य सदिश है <math>(A - \lambda I) \mathbf u = \mathbf 0</math>, जहाँ <math>I</math> है <math>n</math> × <math>n</math> पहचान आव्यूह और <math>\mathbf 0</math> लंबाई का [[शून्य वेक्टर|शून्य सदिश]] है <math>n</math>.<ref>{{harvtxt|Burden|Faires|1993|p=401}}</ref> वह है, <math>\mathbf u</math> [[रैखिक परिवर्तन]] के कर्नेल (रैखिक बीजगणित) में है <math>(A - \lambda I)</math>. यदि <math>A</math> है <math>n</math> रैखिक रूप से स्वतंत्र ईजेनसदिश, फिर <math>A</math> [[विकर्ण मैट्रिक्स|विकर्ण आव्यूह]] के समान है <math>D</math>. अर्थात्, एक व्युत्क्रमणीय आव्यूह उपस्थित है <math>M</math> ऐसा है कि <math>A</math> समानता परिवर्तन के माध्यम से विकर्ण है <math>D = M^{-1}AM</math>.<ref>{{harvtxt|Beauregard|Fraleigh|1973|pp=270–274}}</ref><ref>{{harvtxt|Bronson|1970|pp=179–183}}</ref> गणित का सवाल <math>D</math> के लिए [[ वर्णक्रमीय मैट्रिक्स |वर्णक्रमीय आव्यूह]] कहा जाता है <math>A</math>. गणित का सवाल <math>M</math> के लिए एक [[ मोडल मैट्रिक्स |मोडल आव्यूह]] कहा जाता है <math>A</math>.<ref>{{harvtxt|Bronson|1970|p=181}}</ref> विकर्णीय मेट्रिसेस विशेष रुचि रखते हैं क्योंकि उनके आव्यूह फ़ंक्शंस की आसानी से गणना की जा सकती है।<ref>{{harvtxt|Bronson|1970|p=179}}</ref> | ||
वहीं दूसरी ओर यदि <math>A</math> नहीं है <math>n</math> इसके साथ जुड़े रैखिक रूप से स्वतंत्र | वहीं दूसरी ओर यदि <math>A</math> नहीं है <math>n</math> इसके साथ जुड़े रैखिक रूप से स्वतंत्र ईगेनसदिश्स <math>A</math> विकर्णीय नहीं है।<ref>{{harvtxt|Beauregard|Fraleigh|1973|pp=270–274}}</ref><ref>{{harvtxt|Bronson|1970|pp=179–183}}</ref> | ||
परिभाषा: एक | परिभाषा: एक सदिश <math>\mathbf x_m</math> आव्यूह के रैंक ''m'' का सामान्यीकृत ईजेनसदिश है <math>A</math> और ईगेनलैंड्स के अनुरूप <math>\lambda</math> यदि | ||
:<math>(A - \lambda I)^m \mathbf x_m = \mathbf 0</math> | :<math>(A - \lambda I)^m \mathbf x_m = \mathbf 0</math> | ||
Line 25: | Line 22: | ||
:<math>(A - \lambda I)^{m-1} \mathbf x_m \ne \mathbf 0.</math> <ref>{{harvtxt|Bronson|1970|p=189}}</ref> | :<math>(A - \lambda I)^{m-1} \mathbf x_m \ne \mathbf 0.</math> <ref>{{harvtxt|Bronson|1970|p=189}}</ref> | ||
स्पष्ट रूप से, रैंक 1 का सामान्यीकृत | स्पष्ट रूप से, रैंक 1 का सामान्यीकृत ईजेनसदिश एक साधारण ईजेनसदिश है।<ref>{{harvtxt|Bronson|1970|pp=190,202}}</ref> प्रत्येक <math>n</math> × <math>n</math> आव्यूह <math>A</math> है <math>n</math> इसके साथ जुड़े रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश और इसे अधिकतर विकर्ण आव्यूह के समान दिखाया जा सकता है <math>J</math> जॉर्डन में सामान्य रूप।<ref>{{harvtxt|Bronson|1970|pp=189,203}}</ref> अर्थात्, एक व्युत्क्रमणीय आव्यूह उपस्थित है <math>M</math> ऐसा है कि <math>J = M^{-1}AM</math>.<ref>{{harvtxt|Bronson|1970|pp=206–207}}</ref> गणित का सवाल <math>M</math> इस स्थितिमें [[सामान्यीकृत मोडल मैट्रिक्स|सामान्यीकृत मोडल आव्यूह]] कहा जाता है <math>A</math>.<ref>{{harvtxt|Bronson|1970|p=205}}</ref> यदि <math>\lambda</math> बीजगणितीय बहुलता का आइगेनमान है <math>\mu</math>, तब <math>A</math> होगा <math>\mu</math> इसके अनुरूप रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश <math>\lambda</math>.<ref>{{harvtxt|Bronson|1970|p=196}}</ref> ये परिणाम, बदले में, के कुछ आव्यूह कार्यों की गणना के लिए एक सीधी विधि प्रदान करते हैं <math>A</math>.<ref>{{harvtxt|Bronson|1970|pp=189,209–215}}</ref> | ||
ध्यान दें: एक के लिए <math>n \times n</math> आव्यूह <math>A</math> क्षेत्र पर (गणित) <math>F</math> जॉर्डन सामान्य रूप में अभिव्यक्त करने के लिए, के सभी ईगेनलैंड्स <math>A</math> में होना चाहिए <math>F</math>. अर्थात्, [[विशेषता बहुपद]] <math>f(x)</math> पूरी प्रकार से रैखिक कारकों में कारक होना चाहिए। उदाहरण के लिए, यदि <math>A</math> [[वास्तविक संख्या]] | वास्तविक-मूल्यवान तत्व हैं, तो यह आवश्यक हो सकता है कि ईगेनलैंड्स और ईगेनसदिश्स के घटकों के पास [[जटिल संख्या]] हो।<ref>{{harvtxt|Golub|Van Loan|1996|p=316}}</ref><ref>{{harvtxt|Herstein|1964|p=259}}</ref><ref>{{harvtxt|Nering|1970|p=118}}</ref> किसी दिए गए के लिए सभी सामान्यीकृत ईगेनसदिश्स द्वारा सेट लीनियर स्पैन परिभाषा <math> \lambda </math> के लिए सामान्यीकृत आइगेनस्पेस बनाता है <math> \lambda </math>.<ref>{{harvtxt|Nering|1970|p=118}}</ref> | |||
== उदाहरण == | == उदाहरण == | ||
सामान्यीकृत | सामान्यीकृत ईजेनसदिशों की अवधारणा को स्पष्ट करने के लिए यहां कुछ उदाहरण दिए गए हैं। कुछ विवरणों का वर्णन बाद में किया जाएगा। | ||
=== उदाहरण 1 === | === उदाहरण 1 === | ||
यह उदाहरण सरल है किन्तुस्पष्ट रूप से बात को दर्शाता है। पाठ्यपुस्तकों में इस प्रकार के | यह उदाहरण सरल है किन्तुस्पष्ट रूप से बात को दर्शाता है। पाठ्यपुस्तकों में इस प्रकार के आव्यूह का प्रयोग अधिकांशतः किया जाता है।<ref>{{harvtxt|Nering|1970|p=118}}</ref><ref>{{harvtxt|Herstein|1964|p=261}}</ref><ref>{{harvtxt|Beauregard|Fraleigh|1973|p=310}}</ref> | ||
कल्पना करना | कल्पना करना | ||
Line 40: | Line 37: | ||
तब एकमात्र एक आइगेनवैल्यू होता है, <math> \lambda = 1</math>, और इसकी बीजगणितीय बहुलता है <math>m=2</math>. | तब एकमात्र एक आइगेनवैल्यू होता है, <math> \lambda = 1</math>, और इसकी बीजगणितीय बहुलता है <math>m=2</math>. | ||
ध्यान दें कि यह | ध्यान दें कि यह आव्यूह जॉर्डन सामान्य रूप में है किन्तुविकर्ण आव्यूह नहीं है। इसलिए, यह आव्यूह विकर्णीय नहीं है। चूँकि [[सुपरडायगोनल]] प्रविष्टि है, वहाँ 1 से अधिक रैंक का एक सामान्यीकृत ईजेनसदिश होगा (या कोई यह नोट कर सकता है कि सदिश स्पेस <math> V </math> आयाम 2 का है, इसलिए रैंक 1 से अधिक का एक सामान्यीकृत ईजेनसदिश हो सकता है)। वैकल्पिक रूप से, कोई रिक्त स्थान के आयाम की गणना कर सकता है <math> A - \lambda I </math> होना <math>p=1</math>, और इस प्रकार वहाँ हैं <math>m-p=1</math> 1 से अधिक रैंक के सामान्यीकृत ईजेनसदिश। | ||
साधारण | साधारण ईजेनसदिश <math> \mathbf v_1=\begin{pmatrix}1 \\0 \end{pmatrix}</math> सदैव की प्रकार गणना की जाती है (उदाहरण के लिए आइगेनवैल्यूज़ और ईजेनसदिश गणना पृष्ठ देखें)। इस ईगेनसदिश्स का उपयोग करके, हम सामान्यीकृत ईगेनसदिश्स की गणना करते हैं <math> \mathbf v_2 </math> हल करके | ||
:<math> (A-\lambda I) \mathbf v_2 = \mathbf v_1. </math> | :<math> (A-\lambda I) \mathbf v_2 = \mathbf v_1. </math> | ||
Line 51: | Line 48: | ||
:<math> v_{22}= 1. </math> | :<math> v_{22}= 1. </math> | ||
तत्व <math>v_{21}</math> कोई प्रतिबंध नहीं है। रैंक 2 का सामान्यीकृत | तत्व <math>v_{21}</math> कोई प्रतिबंध नहीं है। रैंक 2 का सामान्यीकृत ईजेनसदिश तब है <math> \mathbf v_2=\begin{pmatrix}a \\1 \end{pmatrix}</math>, जहाँ a का कोई भी अदिश मान हो सकता है। a = 0 का चुनाव सामान्यतः सबसे सरल होता है। | ||
ध्यान दें कि | ध्यान दें कि | ||
Line 57: | Line 54: | ||
:<math> (A-\lambda I) \mathbf v_2 = \begin{pmatrix} 0 & 1\\ 0 & 0 \end{pmatrix} \begin{pmatrix}a \\1 \end{pmatrix} = | :<math> (A-\lambda I) \mathbf v_2 = \begin{pmatrix} 0 & 1\\ 0 & 0 \end{pmatrix} \begin{pmatrix}a \\1 \end{pmatrix} = | ||
\begin{pmatrix}1 \\0 \end{pmatrix} = \mathbf v_1,</math> | \begin{pmatrix}1 \\0 \end{pmatrix} = \mathbf v_1,</math> | ||
जिससे <math> \mathbf v_2 </math> एक सामान्यीकृत | जिससे <math> \mathbf v_2 </math> एक सामान्यीकृत ईजेनसदिश है, | ||
:<math> (A-\lambda I) \mathbf v_1 = \begin{pmatrix} 0 & 1\\ 0 & 0 \end{pmatrix} \begin{pmatrix}1 \\0 \end{pmatrix} = | :<math> (A-\lambda I) \mathbf v_1 = \begin{pmatrix} 0 & 1\\ 0 & 0 \end{pmatrix} \begin{pmatrix}1 \\0 \end{pmatrix} = | ||
\begin{pmatrix}0 \\0 \end{pmatrix} = \mathbf 0,</math> | \begin{pmatrix}0 \\0 \end{pmatrix} = \mathbf 0,</math> | ||
जिससे <math> \mathbf v_1 </math> एक साधारण | जिससे <math> \mathbf v_1 </math> एक साधारण ईजेनसदिश है, और वह <math> \mathbf v_1</math> और <math> \mathbf v_2</math> रैखिक रूप से स्वतंत्र हैं और इसलिए सदिश समष्टि के लिए एक आधार का निर्माण करते हैं <math> V </math>. | ||
=== उदाहरण 2 === | === उदाहरण 2 === | ||
यह उदाहरण सामान्यीकृत | यह उदाहरण सामान्यीकृत ईजेनसदिश उदाहरण 1 की समानता में अधिक जटिल है। दुर्भाग्य से, निम्न क्रम का एक रोचक उदाहरण बनाना थोड़ा कठिन है।<ref>{{harvtxt|Nering|1970|pp=122,123}}</ref> गणित का सवाल | ||
:<math>A = \begin{pmatrix} | :<math>A = \begin{pmatrix} | ||
Line 76: | Line 73: | ||
के सामान्यीकृत ईगेंस्पेसेस <math>A</math> नीचे गणना की जाती है। | के सामान्यीकृत ईगेंस्पेसेस <math>A</math> नीचे गणना की जाती है। | ||
<math> \mathbf x_1 </math> से जुड़ा साधारण | <math> \mathbf x_1 </math> से जुड़ा साधारण ईजेनसदिश है <math> \lambda_1 </math>. | ||
<math> \mathbf x_2 </math> से जुड़ा एक सामान्यीकृत | <math> \mathbf x_2 </math> से जुड़ा एक सामान्यीकृत ईजेनसदिश है <math> \lambda_1 </math>. | ||
<math> \mathbf y_1 </math> से जुड़ा साधारण | <math> \mathbf y_1 </math> से जुड़ा साधारण ईजेनसदिश है <math> \lambda_2 </math>. | ||
<math> \mathbf y_2 </math> और <math> \mathbf y_3 </math> से जुड़े सामान्यीकृत | <math> \mathbf y_2 </math> और <math> \mathbf y_3 </math> से जुड़े सामान्यीकृत ईजेनसदिश हैं <math> \lambda_2 </math>. | ||
:<math>(A-1 I) \mathbf x_1 | :<math>(A-1 I) \mathbf x_1 | ||
Line 141: | Line 138: | ||
\end{pmatrix} = \mathbf y_2 .</math> | \end{pmatrix} = \mathbf y_2 .</math> | ||
इसका परिणाम प्रत्येक के सामान्यीकृत ईजेनस्पेस के लिए एक आधार के रूप में होता है <math>A</math>. | इसका परिणाम प्रत्येक के सामान्यीकृत ईजेनस्पेस के लिए एक आधार के रूप में होता है <math>A</math>. | ||
साथ में सामान्यीकृत | साथ में सामान्यीकृत ईजेनसदिशों की दो श्रृंखलाएं सभी 5-आयामी स्तंभ वैक्टरों के स्थान को फैलाती हैं। | ||
:<math> | :<math> | ||
Line 156: | Line 153: | ||
\right\}. | \right\}. | ||
</math> | </math> | ||
एक अधिकतर विकर्ण | एक अधिकतर विकर्ण आव्यूह <math>J</math> जॉर्डन में सामान्य रूप, के समान <math>A</math> निम्नानुसार प्राप्त किया जाता है: | ||
:<math> | :<math> | ||
Line 176: | Line 173: | ||
\end{pmatrix}, | \end{pmatrix}, | ||
</math> | </math> | ||
जहाँ <math>M</math> के लिए एक सामान्यीकृत मोडल | जहाँ <math>M</math> के लिए एक सामान्यीकृत मोडल आव्यूह है <math>A</math>, के स्तंभ <math>M</math> एक कैननिकल आधार हैं#रैखिक बीजगणित के लिए <math>A</math>, और <math>AM = MJ</math>.<ref>{{harvtxt|Bronson|1970|pp=189–209}}</ref> | ||
== जॉर्डन चेन == | == जॉर्डन चेन == | ||
परिभाषा: चलो <math>\mathbf x_m</math> | परिभाषा: चलो <math>\mathbf x_m</math> आव्यूह के अनुरूप रैंक m का सामान्यीकृत ईजेनसदिश बनें <math>A</math> और eigenvalue <math>\lambda</math>. द्वारा उत्पन्न श्रृंखला <math>\mathbf x_m</math> वैक्टर का एक सेट है <math>\left\{ \mathbf x_m, \mathbf x_{m-1}, \dots , \mathbf x_1 \right\}</math> द्वारा दिए गए | ||
{{NumBlk|::| | {{NumBlk|::| | ||
Line 192: | Line 189: | ||
{{NumBlk|::|<math> \mathbf x_j = (A - \lambda I)^{m-j} \mathbf x_m = (A - \lambda I) \mathbf x_{j+1} \qquad (j = 1, 2, \dots , m - 1). </math>|{{EquationRef|2}}}} | {{NumBlk|::|<math> \mathbf x_j = (A - \lambda I)^{m-j} \mathbf x_m = (A - \lambda I) \mathbf x_{j+1} \qquad (j = 1, 2, \dots , m - 1). </math>|{{EquationRef|2}}}} | ||
सदिश <math>\mathbf x_j </math>, द्वारा दिए गए ({{EquationNote|2}}), ईगेंस्पेस के अनुरूप रैंक j का एक सामान्यीकृत | सदिश <math>\mathbf x_j </math>, द्वारा दिए गए ({{EquationNote|2}}), ईगेंस्पेस के अनुरूप रैंक j का एक सामान्यीकृत ईजेनसदिश है <math>\lambda</math>. एक श्रृंखला वैक्टर का एक रैखिक रूप से स्वतंत्र सेट है।<ref>{{harvtxt|Bronson|1970|pp=194–195}}</ref> | ||
== विहित आधार == | == विहित आधार == | ||
{{Main|कैननिकल आधार}} | {{Main|कैननिकल आधार}} | ||
इस प्रकार, एक बार जब हम यह निर्धारित कर लेते हैं कि ''m'' रैंक का एक सामान्यीकृत | परिभाषा: 'एन' का एक सेट रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश एक विहित आधार है यदि यह पूरी प्रकार से जॉर्डन श्रृंखलाओं से बना है। | ||
होने देना <math> \lambda_i </math> का आइगेनवैल्यू हो <math>A</math> बीजगणितीय बहुलता का <math> \mu_i </math>. सबसे पहले, मैट्रिसेस की [[रैंक (रैखिक बीजगणित)]] ( | |||
इस प्रकार, एक बार जब हम यह निर्धारित कर लेते हैं कि ''m'' रैंक का एक सामान्यीकृत ईजेनसदिश एक विहित आधार पर है, तो यह अनुसरण करता है कि ''m'' - 1 वैक्टर <math> \mathbf x_{m-1}, \mathbf x_{m-2}, \ldots , \mathbf x_1 </math> जो कि जॉर्डन श्रृंखला द्वारा उत्पन्न हैं <math> \mathbf x_m </math> विहित आधार पर भी हैं।<ref>{{harvtxt|Bronson|1970|pp=196,197}}</ref> | |||
होने देना <math> \lambda_i </math> का आइगेनवैल्यू हो <math>A</math> बीजगणितीय बहुलता का <math> \mu_i </math>. सबसे पहले, मैट्रिसेस की [[रैंक (रैखिक बीजगणित)]] (आव्यूह रैंक) खोजें <math> (A - \lambda_i I), (A - \lambda_i I)^2, \ldots , (A - \lambda_i I)^{m_i} </math>. पूर्णांक <math>m_i</math> जिसके लिए पहला पूर्णांक निर्धारित किया जाता है <math> (A - \lambda_i I)^{m_i} </math> रैंक है <math>n - \mu_i </math> (n पंक्तियों या स्तंभों की संख्या होने के नाते <math>A</math>, वह है, <math>A</math> एन × एन है)। | |||
अब परिभाषित करें | अब परिभाषित करें | ||
:<math> \rho_k = \operatorname{rank}(A - \lambda_i I)^{k-1} - \operatorname{rank}(A - \lambda_i I)^k \qquad (k = 1, 2, \ldots , m_i).</math> | :<math> \rho_k = \operatorname{rank}(A - \lambda_i I)^{k-1} - \operatorname{rank}(A - \lambda_i I)^k \qquad (k = 1, 2, \ldots , m_i).</math> | ||
चर <math> \rho_k </math> ईगेनलैंड् के अनुरूप रैंक k के रैखिक रूप से स्वतंत्र सामान्यीकृत | चर <math> \rho_k </math> ईगेनलैंड् के अनुरूप रैंक k के रैखिक रूप से स्वतंत्र सामान्यीकृत ईगेनसदिश्सकी संख्या को निर्दिष्ट करता है <math> \lambda_i </math> के लिए एक विहित आधार में दिखाई देगा <math>A</math>. ध्यान दें कि | ||
:<math> \operatorname{rank}(A - \lambda_i I)^0 = \operatorname{rank}(I) = n </math>.<ref>{{harvtxt|Bronson|1970|pp=197,198}}</ref> | :<math> \operatorname{rank}(A - \lambda_i I)^0 = \operatorname{rank}(I) = n </math>.<ref>{{harvtxt|Bronson|1970|pp=197,198}}</ref> | ||
== सामान्यीकृत | == सामान्यीकृत ईजेनसदिशों की गणना == | ||
पूर्व अनुभागों में हमने प्राप्त करने की तकनीकों को देखा है <math>n</math> सदिश स्थान के लिए एक विहित आधार के रैखिक रूप से स्वतंत्र सामान्यीकृत | पूर्व अनुभागों में हमने प्राप्त करने की तकनीकों को देखा है <math>n</math> सदिश स्थान के लिए एक विहित आधार के रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश <math>V</math> एक के साथ जुड़ा हुआ है <math>n \times n</math> आव्यूह <math>A</math>. इन तकनीकों को एक प्रक्रिया में जोड़ा जा सकता है: | ||
: के अभिलाक्षणिक बहुपद को हल कीजिए <math>A</math> आइगेनवैल्यू के लिए <math> \lambda_i </math> और उनकी बीजगणितीय बहुलताएं <math> \mu_i </math>; | : के अभिलाक्षणिक बहुपद को हल कीजिए <math>A</math> आइगेनवैल्यू के लिए <math> \lambda_i </math> और उनकी बीजगणितीय बहुलताएं <math> \mu_i </math>; | ||
Line 271: | Line 269: | ||
:<math> \rho_2 = \operatorname{rank}(A - 5I)^1 - \operatorname{rank}(A - 5I)^2 = 3 - 2 = 1 ,</math> | :<math> \rho_2 = \operatorname{rank}(A - 5I)^1 - \operatorname{rank}(A - 5I)^2 = 3 - 2 = 1 ,</math> | ||
:<math> \rho_1 = \operatorname{rank}(A - 5I)^0 - \operatorname{rank}(A - 5I)^1 = 4 - 3 = 1 .</math> | :<math> \rho_1 = \operatorname{rank}(A - 5I)^0 - \operatorname{rank}(A - 5I)^1 = 4 - 3 = 1 .</math> | ||
परिणाम स्वरुप , तीन रैखिक रूप से स्वतंत्र सामान्यीकृत | परिणाम स्वरुप , तीन रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश होंगे; प्रत्येक रैंक 3, 2 और 1 में से एक। चूंकि <math>\lambda_1</math> तीन रैखिक रूप से स्वतंत्र सामान्यीकृत ईगेनलैंड्स की एक श्रृंखला से मेल खाती है, हम जानते हैं कि एक सामान्यीकृत ईगेनसदिश्स है <math> \mathbf x_3 </math> रैंक 3 के अनुरूप <math>\lambda_1</math> ऐसा है कि | ||
{{NumBlk|:::|<math>(A - 5I)^3 \mathbf x_3 = \mathbf 0</math>|{{EquationRef|3}}}} | {{NumBlk|:::|<math>(A - 5I)^3 \mathbf x_3 = \mathbf 0</math>|{{EquationRef|3}}}} | ||
Line 359: | Line 357: | ||
\end{pmatrix} | \end{pmatrix} | ||
</math> | </math> | ||
रैंक 3 के सामान्यीकृत | रैंक 3 के सामान्यीकृत ईजेनसदिश के अनुरूप <math> \lambda_1 = 5 </math>. ध्यान दें कि विभिन्न मानों को चुनकर रैंक 3 के असीम रूप से कई अन्य सामान्यीकृत ईजेनसदिश प्राप्त करना संभव है <math>x_{31}</math>, <math>x_{32}</math> और <math>x_{33}</math>, साथ <math>x_{33} \ne 0</math>. चूँकि, हमारी पहली पसंद सबसे सरल है।<ref>{{harvtxt|Bronson|1970|pp=190–191}}</ref> | ||
अब समीकरणों का प्रयोग ({{EquationNote|1}}), हमने प्राप्त <math> \mathbf x_2 </math> और <math> \mathbf x_1 </math> क्रमशः रैंक 2 और 1 के सामान्यीकृत | अब समीकरणों का प्रयोग ({{EquationNote|1}}), हमने प्राप्त <math> \mathbf x_2 </math> और <math> \mathbf x_1 </math> क्रमशः रैंक 2 और 1 के सामान्यीकृत ईजेनसदिश के रूप में, जहां | ||
:<math> | :<math> | ||
Line 383: | Line 381: | ||
\end{pmatrix}. | \end{pmatrix}. | ||
</math> | </math> | ||
सरल ईगेनवैल्यू <math>\lambda_2 = 4</math> ईगेनलैंड्स और | सरल ईगेनवैल्यू <math>\lambda_2 = 4</math> ईगेनलैंड्स और ईगेनसदिश्स गणना का उपयोग करके निपटा जा सकता है और एक साधारण ईगेनसदिश्स है | ||
:<math> | :<math> | ||
Line 406: | Line 404: | ||
</math> | </math> | ||
<math> \mathbf x_1, \mathbf x_2 </math> और <math> \mathbf x_3 </math> से जुड़े सामान्यीकृत | <math> \mathbf x_1, \mathbf x_2 </math> और <math> \mathbf x_3 </math> से जुड़े सामान्यीकृत ईजेनसदिश हैं <math> \lambda_1 </math>, चूँकि <math> \mathbf y_1 </math> से जुड़ा साधारण ईजेनसदिश है <math> \lambda_2 </math>. | ||
यह अधिक सरल उदाहरण है। सामान्यतः, संख्याएँ <math>\rho_k</math> रैंक के रैखिक रूप से स्वतंत्र सामान्यीकृत | यह अधिक सरल उदाहरण है। सामान्यतः, संख्याएँ <math>\rho_k</math> रैंक के रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों की <math>k</math> सदैव समान नहीं रहेगा। अर्थात्, एक विशेष ईजेनवेल्यू के अनुरूप विभिन्न लंबाई की कई श्रृंखलाएं हो सकती हैं।<ref>{{harvtxt|Bronson|1970|pp=197–198}}</ref> | ||
== सामान्यीकृत मोडल | == सामान्यीकृत मोडल आव्यूह == | ||
{{Main|सामान्यीकृत मोडल मैट्रिक्स}} | {{Main|सामान्यीकृत मोडल मैट्रिक्स}} | ||
होने देना <math>A</math> एक n × n | होने देना <math>A</math> एक n × n आव्यूह बनें। एक 'सामान्यीकृत मोडल आव्यूह' <math>M</math> के लिए <math>A</math> एक n × n आव्यूह है जिसके स्तंभ, जिन्हें वैक्टर माना जाता है, के लिए एक विहित आधार बनाते हैं <math>A</math> और में दिखाई देते हैं <math>M</math> निम्नलिखित नियमों के अनुसार: | ||
* एक सदिश (अर्थात् लंबाई में एक सदिश) से बनी सभी जॉर्डन शृंखलाएं के पहले कॉलम में दिखाई देती हैं <math>M</math>. | * एक सदिश (अर्थात् लंबाई में एक सदिश) से बनी सभी जॉर्डन शृंखलाएं के पहले कॉलम में दिखाई देती हैं <math>M</math>. | ||
* एक श्रृंखला के सभी सदिश एक साथ के आसन्न स्तंभों में दिखाई देते हैं <math>M</math>. | * एक श्रृंखला के सभी सदिश एक साथ के आसन्न स्तंभों में दिखाई देते हैं <math>M</math>. | ||
* प्रत्येक श्रृंखला में प्रकट होता है <math>M</math> रैंक बढ़ाने के क्रम में (अर्थात, रैंक 1 का सामान्यीकृत | * प्रत्येक श्रृंखला में प्रकट होता है <math>M</math> रैंक बढ़ाने के क्रम में (अर्थात, रैंक 1 का सामान्यीकृत ईजेनसदिश उसी श्रृंखला के रैंक 2 के सामान्यीकृत ईजेनसदिश से पहले प्रकट होता है, जो उसी श्रृंखला के रैंक 3 के सामान्यीकृत ईजेनसदिश से पहले प्रकट होता है, आदि)।<ref>{{harvtxt|Bronson|1970|p=205}}</ref> | ||
== जॉर्डन सामान्य रूप == | == जॉर्डन सामान्य रूप == | ||
[[File:Jordan blocks.svg|right|thumb|250px|जॉर्डन सामान्य रूप में | [[File:Jordan blocks.svg|right|thumb|250px|जॉर्डन सामान्य रूप में आव्यूह का एक उदाहरण। ग्रे ब्लॉक को जॉर्डन ब्लॉक कहा जाता है।]] | ||
{{Main|जॉर्डन सामान्य रूप}} | {{Main|जॉर्डन सामान्य रूप}} | ||
<math>V</math> एक n-डायमेंशनल | <math>V</math> एक n-डायमेंशनल सदिश स्पेस बनें; <math>\phi</math> में एक रेखीय नक्शा हो {{math|''L''(''V'')}}, से सभी रैखिक मानचित्रों का सेट <math>V</math> अपने आप में; और जाने <math>A</math> का आव्यूह प्रतिनिधित्व हो <math>\phi</math> कुछ आदेशित आधार के संबंध में। यह दिखाया जा सकता है कि यदि विशेषता बहुपद <math>f(\lambda)</math> का <math>A</math> रैखिक कारकों में कारक, जिससे <math>f(\lambda)</math> रूप है | ||
:<math> f(\lambda) = \pm (\lambda - \lambda_1)^{\mu_1}(\lambda - \lambda_2)^{\mu_2} \cdots (\lambda - \lambda_r)^{\mu_r} ,</math> | :<math> f(\lambda) = \pm (\lambda - \lambda_1)^{\mu_1}(\lambda - \lambda_2)^{\mu_2} \cdots (\lambda - \lambda_r)^{\mu_r} ,</math> | ||
जहाँ <math> \lambda_1, \lambda_2, \ldots , \lambda_r </math> के विशिष्ट इगनवैल्यूज़ | जहाँ <math> \lambda_1, \lambda_2, \ldots , \lambda_r </math> के विशिष्ट इगनवैल्यूज़ हैं <math>A</math>, फिर प्रत्येक <math>\mu_i</math> इसके संगत आइगेनमान की बीजगणितीय बहुलता है <math>\lambda_i</math> और <math>A</math> आव्यूह के समान है <math>J</math> जॉर्डन में सामान्य रूप, जहां प्रत्येक <math>\lambda_i</math> दिखाई पड़ना <math>\mu_i</math> विकर्ण पर लगातार बार, और सीधे प्रत्येक के ऊपर प्रवेश <math>\lambda_i</math> (अर्थात, सुपरडायगोनल पर) या तो 0 या 1 है। अन्य सभी प्रविष्टियाँ (अर्थात, विकर्ण और सुपरडायगोनल से दूर) 0 हैं। अधिक त्रुटिहीन रूप से, <math>J</math> एक [[जॉर्डन मैट्रिक्स|जॉर्डन आव्यूह]] है जिसका जॉर्डन ब्लॉक एक ही ईजेनवैल्यू के अनुरूप है, एक साथ समूहीकृत किया जाता है (किन्तु आइगेनवैल्यू के बीच कोई ऑर्डर नहीं लगाया जाता है, न ही किसी दिए गए ईजेनवेल्यू के लिए ब्लॉक के बीच)। गणित का सवाल <math>J</math> उतना ही निकट है जितना कोई एक विकर्णीकरण के लिए आ सकता है <math>A</math>. यदि <math>A</math> विकर्ण योग्य है, तो विकर्ण के ऊपर की सभी प्रविष्टियाँ शून्य हैं।<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=311}}</ref> ध्यान दें कि कुछ पाठ्यपुस्तकों में वे [[सबडायगोनल]] होते हैं, जो सुपरडायगोनल के अतिरिक्त मुख्य विकर्ण के ठीक नीचे होते हैं। इगनवैल्यूज़ अभी भी मुख्य विकर्ण पर हैं।<ref>{{harvtxt|Cullen|1966|p=114}}</ref><ref>{{harvtxt|Franklin|1968|p=122}}</ref> | ||
हर n × n | हर n × n आव्यूह <math>A</math> आव्यूह के समान है <math>J</math> जॉर्डन में सामान्य रूप, समानता परिवर्तन के माध्यम से प्राप्त किया <math> J = M^{-1}AM </math>, जहाँ <math>M</math> के लिए एक सामान्यीकृत मोडल आव्यूह है <math>A</math>.<ref>{{harvtxt|Bronson|1970|p=207}}</ref> (ऊपर नोट देखें।) | ||
=== उदाहरण 4 === | === उदाहरण 4 === | ||
जॉर्डन सामान्य रूप में एक | जॉर्डन सामान्य रूप में एक आव्यूह खोजें जो समान हो | ||
:<math> | :<math> | ||
Line 447: | Line 445: | ||
:<math>\operatorname{rank}(A - 2I)^2 = 0 = n - \mu .</math> | :<math>\operatorname{rank}(A - 2I)^2 = 0 = n - \mu .</math> | ||
इस प्रकार, <math>\rho_2 = 1</math> और <math>\rho_1 = 2</math>, होता है, जिससे यह स्पष्ट होता है कि <math>A</math>के लिए एक कैननिकल आधार श्रेणी 2 की एक असंख्यात विशिष्ट | इस प्रकार, <math>\rho_2 = 1</math> और <math>\rho_1 = 2</math>, होता है, जिससे यह स्पष्ट होता है कि <math>A</math>के लिए एक कैननिकल आधार श्रेणी 2 की एक असंख्यात विशिष्ट एजेंसदिश और श्रेणी 1 की दो असंख्यात विशिष्ट एजेंसदिशों का योग होगा, या समकक्ष रूप में, दो सदिशों की एक श्रेणी <math> \left\{ \mathbf x_2, \mathbf x_1 \right\} </math> और सदिश की एक श्रेणी <math> \left\{ \mathbf y_1 \right\} </math>. होगी। <math> M = \begin{pmatrix} \mathbf y_1 & \mathbf x_1 & \mathbf x_2 \end{pmatrix} </math>, नामित करके, हम पाते हैं कि: | ||
:<math> | :<math> | ||
Line 467: | Line 465: | ||
\end{pmatrix}, | \end{pmatrix}, | ||
</math> | </math> | ||
जहाँ <math>M</math> के लिए एक <math>A</math> सामान्यीकृत मोडल | जहाँ <math>M</math> के लिए एक <math>A</math> सामान्यीकृत मोडल आव्यूह है, <math>M</math> की स्तंभ मात्राएँ <math>A</math> के लिए एक कैननिकल आधार हैं, और <math>AM = MJ</math> होता है।<ref>{{harvtxt|Bronson|1970|pp=208}}</ref> ध्यान दें कि क्योंकि साधारित एजेंसदिश स्वयं में अद्वितीय नहीं होते हैं, और क्योंकि <math>M</math> और <math>J</math> की कुछ स्तंभ मात्राएँ परस्पर बदला जा सकता हैं, इसलिए यह अनुसरण होता है कि <math>M</math> और <math>J</math> दोनों अद्वितीय नहीं होते हैं।<ref>{{harvtxt|Bronson|1970|p=206}}</ref> | ||
=== उदाहरण 5 === | === उदाहरण 5 === | ||
उदाहरण 3 में, हमने एक | उदाहरण 3 में, हमने एक आव्यूह के लिए रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों का एक विहित आधार पाया <math>A</math>. के लिए एक सामान्यीकृत मोडल आव्यूह <math>A</math> है | ||
:<math> | :<math> | ||
Line 480: | Line 478: | ||
1 & 0 & 0 & 0 | 1 & 0 & 0 & 0 | ||
\end{pmatrix}.</math> | \end{pmatrix}.</math> | ||
जॉर्डन सामान्य रूप में एक | जॉर्डन सामान्य रूप में एक आव्यूह, <math>A</math> के समान है | ||
:<math>J = \begin{pmatrix} | :<math>J = \begin{pmatrix} | ||
Line 493: | Line 491: | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
=== | === आव्यूह फ़ंक्शंस === | ||
{{Main|मैट्रिक्स फंक्शन}} | {{Main|मैट्रिक्स फंक्शन}} | ||
[[स्क्वायर मैट्रिक्स]] पर किए जा सकने वाले तीन महत्वपूर्ण परिचालन हैं मात्रिका जोड़ना, एक स्केलर द्वारा गुणा करना, और मात्रिका गुणा हैं।<ref>{{harvtxt|Beauregard|Fraleigh|1973|pp=57–61}}</ref> ये वास्तव में वे संक्रियाएँ <math>A</math> हैं जो एक n × n आव्यूह के [[बहुपद]] फलन को परिभाषित करने के लिए आवश्यक हैं।<ref>{{harvtxt|Bronson|1970|p=104}}</ref> यदि हम प्राथमिक कलन से समझते हैं कि कई फ़ंक्शनों को [[मैकलॉरिन श्रृंखला]] के रूप में लिखा जा सकता है, तो हम आसानी से मात्रिकाओं के अधिक सामान्य फ़ंक्शनों की परिभाषा कर सकते हैं।<ref>{{harvtxt|Bronson|1970|p=105}}</ref> यदि <math>A</math> विकर्णीय है, अर्थात् | [[स्क्वायर मैट्रिक्स|स्क्वायर आव्यूह]] पर किए जा सकने वाले तीन महत्वपूर्ण परिचालन हैं मात्रिका जोड़ना, एक स्केलर द्वारा गुणा करना, और मात्रिका गुणा हैं।<ref>{{harvtxt|Beauregard|Fraleigh|1973|pp=57–61}}</ref> ये वास्तव में वे संक्रियाएँ <math>A</math> हैं जो एक n × n आव्यूह के [[बहुपद]] फलन को परिभाषित करने के लिए आवश्यक हैं।<ref>{{harvtxt|Bronson|1970|p=104}}</ref> यदि हम प्राथमिक कलन से समझते हैं कि कई फ़ंक्शनों को [[मैकलॉरिन श्रृंखला]] के रूप में लिखा जा सकता है, तो हम आसानी से मात्रिकाओं के अधिक सामान्य फ़ंक्शनों की परिभाषा कर सकते हैं।<ref>{{harvtxt|Bronson|1970|p=105}}</ref> यदि <math>A</math> विकर्णीय है, अर्थात् | ||
:<math> D = M^{-1}AM ,</math> | :<math> D = M^{-1}AM ,</math> | ||
Line 522: | Line 520: | ||
और यद्यपि <math>A</math> के फ़ंक्शनों के लिए मैकलॉरिन श्रृंखला का मूल्यांकन काफ़ी सरल हो जाता है।<ref>{{harvtxt|Bronson|1970|p=184}}</ref> उदाहरण के लिए,<math>A</math> की कोई घात k प्राप्त करने के लिए , हमें एकमात्र <math>D^k</math> की गणना करनी होगी, इसे <math>D^k</math> से पूर्व गुणन करें, और परिणाम को <math>M</math>, द्वारा पूर्व गुणित करें, और <math>M^{-1}</math> द्वारा पश्चात गुणित करें।<ref>{{harvtxt|Bronson|1970|p=185}}</ref> | और यद्यपि <math>A</math> के फ़ंक्शनों के लिए मैकलॉरिन श्रृंखला का मूल्यांकन काफ़ी सरल हो जाता है।<ref>{{harvtxt|Bronson|1970|p=184}}</ref> उदाहरण के लिए,<math>A</math> की कोई घात k प्राप्त करने के लिए , हमें एकमात्र <math>D^k</math> की गणना करनी होगी, इसे <math>D^k</math> से पूर्व गुणन करें, और परिणाम को <math>M</math>, द्वारा पूर्व गुणित करें, और <math>M^{-1}</math> द्वारा पश्चात गुणित करें।<ref>{{harvtxt|Bronson|1970|p=185}}</ref> | ||
सामान्यीकृत | सामान्यीकृत ऐजेन्सदिश्स का उपयोग करके, हम जॉर्डन सामान्य रूप प्राप्त कर सकते हैं <math>A</math> और इन परिणामों को नॉनडायगोनलाइज़ेबल मेट्रिसेस के कार्यों की गणना के लिए एक सीधी विधि के लिए सामान्यीकृत किया जा सकता है।<ref>{{harvtxt|Bronson|1970|pp=209–218}}</ref> (आव्यूह फ़ंक्शन जॉर्डन अपघटन देखें।) | ||
=== विभेदक समीकरण === | === विभेदक समीकरण === | ||
Line 548: | Line 546: | ||
\end{pmatrix}, | \end{pmatrix}, | ||
</math> {{spaces|4}} और {{spaces|4}} <math> A = (a_{ij}) .</math> | </math> {{spaces|4}} और {{spaces|4}} <math> A = (a_{ij}) .</math> | ||
यदि | यदि आव्यूह <math>A</math> एक विकर्ण आव्यूह है जिसके लिए <math> a_{ij} = 0 </math> होता है जब <math>i \ne j</math>, तो प्रणाली ({{EquationNote|5}}) को n समीकरणों की प्रणाली में संक्षेपित किया जा सकता है जो इस प्रारूप में होती हैं: | ||
{{NumBlk|::| | {{NumBlk|::| | ||
Line 563: | Line 561: | ||
::<math> \vdots </math> | ::<math> \vdots </math> | ||
:<math> x_n = k_n e^{a_{nn}t} .</math> | :<math> x_n = k_n e^{a_{nn}t} .</math> | ||
सामान्य स्थिति में, हम विकर्ण <math>A</math> को विस्तारयुक्त करने और प्रणाली ({{EquationNote|5}}) को ({{EquationNote|6}}) जैसी एक प्रणाली में संक्षेपित करने की कोशिश करते हैं। यदि <math>A</math> विकर्णीय होता है, तो हमें <math> A = MDM^{-1} </math> के लिए <math> D = M^{-1}AM </math> जैसा होगा, जहाँ <math>M</math> के लिए एक मॉडल | सामान्य स्थिति में, हम विकर्ण <math>A</math> को विस्तारयुक्त करने और प्रणाली ({{EquationNote|5}}) को ({{EquationNote|6}}) जैसी एक प्रणाली में संक्षेपित करने की कोशिश करते हैं। यदि <math>A</math> विकर्णीय होता है, तो हमें <math> A = MDM^{-1} </math> के लिए <math> D = M^{-1}AM </math> जैसा होगा, जहाँ <math>M</math> के लिए एक मॉडल आव्यूह <math>A</math> है। इसके प्रयोग से, समीकरण({{EquationNote|5}}) का प्रारूप इस प्रकार होगा <math> M^{-1} \mathbf x' = D(M^{-1} \mathbf x) </math>, या | ||
{{NumBlk|::|<math> \mathbf y' = D \mathbf y ,</math>|{{EquationRef|7}}}} | {{NumBlk|::|<math> \mathbf y' = D \mathbf y ,</math>|{{EquationRef|7}}}} | ||
Line 594: | Line 592: | ||
जहां <math> \lambda_i </math> के मुख्य विकर्ण से आइगेनमान हैं <math>J</math> और <math> \epsilon_i </math> के सुपरडाइगोनल से से 0 और 1 हैं। <math>J</math>. प्रणाली ({{EquationNote|9}}) सामान्यतः ({{EquationNote|5}}) से आसानी से हल होती है। ({{EquationNote|9}}) में अंतिम समीकरण को <math>y_n</math>, प्राप्त करना <math>y_n = k_n e^{\lambda_n t} </math>. इसके बाद हम इस समाधान को प्रतिस्थापित करते हैं । फिर हम इस समाधान को <math>y_{n-1}</math> के लिए ({{EquationNote|9}}) में पूर्व से दूसरे समीकरण में उपयोग करते हैं और उसे हल करते हैं। इस प्रक्रिया को जारी रखते हुए हम ({{EquationNote|9}}) में अंत से पहले समीकरण तक काम करते हैं, जिससे हम पूरी प्रणाली को <math> \mathbf y </math> के लिए हल करते हैं। अंतिम उत्तर <math> \mathbf x </math> का प्राप्त होता है जिसका सम्बंध ({{EquationNote|8}}) से होता है।<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=317}}</ref> | जहां <math> \lambda_i </math> के मुख्य विकर्ण से आइगेनमान हैं <math>J</math> और <math> \epsilon_i </math> के सुपरडाइगोनल से से 0 और 1 हैं। <math>J</math>. प्रणाली ({{EquationNote|9}}) सामान्यतः ({{EquationNote|5}}) से आसानी से हल होती है। ({{EquationNote|9}}) में अंतिम समीकरण को <math>y_n</math>, प्राप्त करना <math>y_n = k_n e^{\lambda_n t} </math>. इसके बाद हम इस समाधान को प्रतिस्थापित करते हैं । फिर हम इस समाधान को <math>y_{n-1}</math> के लिए ({{EquationNote|9}}) में पूर्व से दूसरे समीकरण में उपयोग करते हैं और उसे हल करते हैं। इस प्रक्रिया को जारी रखते हुए हम ({{EquationNote|9}}) में अंत से पहले समीकरण तक काम करते हैं, जिससे हम पूरी प्रणाली को <math> \mathbf y </math> के लिए हल करते हैं। अंतिम उत्तर <math> \mathbf x </math> का प्राप्त होता है जिसका सम्बंध ({{EquationNote|8}}) से होता है।<ref>{{harvtxt|Beauregard|Fraleigh|1973|p=317}}</ref> | ||
लेम्मा: लंबाई r के सामान्यीकृत | लेम्मा: लंबाई r के सामान्यीकृत ईजेनसदिश की निम्नलिखित श्रृंखला को देखते हुए: | ||
:<math> X_1 = v_1e^{\lambda t}</math> | :<math> X_1 = v_1e^{\lambda t}</math> | ||
:<math> X_2 = (tv_1+v_2)e^{\lambda t}</math> | :<math> X_2 = (tv_1+v_2)e^{\lambda t}</math> | ||
Line 639: | Line 637: | ||
* {{ citation | first1 = Evar D. | last1 = Nering | year = 1970 | title = Linear Algebra and Matrix Theory | edition = 2nd | publisher = [[John Wiley & Sons|Wiley]] | location = New York | lccn = 76091646 }} | * {{ citation | first1 = Evar D. | last1 = Nering | year = 1970 | title = Linear Algebra and Matrix Theory | edition = 2nd | publisher = [[John Wiley & Sons|Wiley]] | location = New York | lccn = 76091646 }} | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category:Collapse templates]] | |||
[[Category: | |||
[[Category: | |||
[[Category:Created On 18/05/2023]] | [[Category:Created On 18/05/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:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:मैट्रिक्स सिद्धांत]] | |||
[[Category:लीनियर अलजेब्रा]] |
Latest revision as of 16:45, 26 October 2023
रेखीय बीजगणित में, एक सामान्यीकृत ईजेनवेक्टर आव्यूह (गणित) सदिश (गणित और भौतिकी) है जो कुछ मानदंडों को पूर्ण करता है जो एक (साधारण) वेक्टर की समानता में अधिक आराम से हैं।[1]
होने देना सेम -आयामी सदिश अंतरिक्ष और चलो रेखीय मानचित्र बनें एक रेखीय मानचित्र के उदाहरण को कुछ आदेशित आधार (रैखिक बीजगणित) के संबंध में।
सदैव का पूर्ण सेट उपस्थित नहीं हो सकता है रैखिक स्वतंत्रता के ईजेनसदिश के लिए पूर्ण आधार बनाता है . अर्थात आव्यूह विकर्णीय आव्यूह नहीं हो सकता है।[2][3] यह तब होता है जब कम से कम एक आइगनमान की बीजगणितीय बहुलता इसकी ज्यामितीय बहुलता से अधिक है (कर्नेल (रैखिक बीजगणित) आव्यूह के आव्यूह गुणन के रूप में प्रतिनिधित्व , या इसके कर्नेल (रैखिक बीजगणित) का आयाम (सदिश स्थान)। इस स्थितिमें, एक दोषपूर्ण सामान्यीकृत मोडल आव्यूहकहा जाता है और दोषपूर्ण आव्यूह कहा जाता है।[4]
एक सामान्यीकृत ईजेनसदिश तदनुसार , आव्यूह के साथ रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों की एक जॉर्डन श्रृंखला उत्पन्न करें जो एक अपरिवर्तनीय उप-स्थान के लिए आधार बनाती हैं .[5][6][7]
सामान्यीकृत ईगेनसदिश्स का उपयोग करना, के रैखिक रूप से स्वतंत्र इगेनसदिश्स का एक सेट के लिए, यदि आवश्यक हो, पूर्ण आधार पर बढ़ाया जा सकता है .[8] इस आधार का उपयोग अधिकतर विकर्ण आव्यूह को निर्धारित करने के लिए किया जा सकता है जॉर्डन सामान्य रूप में, करने के लिए आव्यूह समानता , जो कुछ आव्यूह कार्यों की गणना करने में उपयोगी है .[9] गणित का सवाल साधारण अवकल समीकरण ODE की प्रणाली को हल करने में भी उपयोगी है जहाँ विकर्ण होने की आवश्यकता नहीं है।[10][11]
किसी दिए गए ईगेनवैल्यू के अनुरूप सामान्यीकृत आइगेनस्पेस का आयाम की बीजगणितीय बहुलता है .[12]
अवलोकन और परिभाषा
एक साधारण ईजेनसदिश को परिभाषित करने के कई समतुल्य विधि हैं।[13][14][15][16][17][18][19][20] हमारे उद्देश्यों के लिए, एक ईजेनसदिश एक eigenvalue से जुड़ा हुआ है की एक × आव्यूह जिसके लिए अशून्य सदिश है , जहाँ है × पहचान आव्यूह और लंबाई का शून्य सदिश है .[21] वह है, रैखिक परिवर्तन के कर्नेल (रैखिक बीजगणित) में है . यदि है रैखिक रूप से स्वतंत्र ईजेनसदिश, फिर विकर्ण आव्यूह के समान है . अर्थात्, एक व्युत्क्रमणीय आव्यूह उपस्थित है ऐसा है कि समानता परिवर्तन के माध्यम से विकर्ण है .[22][23] गणित का सवाल के लिए वर्णक्रमीय आव्यूह कहा जाता है . गणित का सवाल के लिए एक मोडल आव्यूह कहा जाता है .[24] विकर्णीय मेट्रिसेस विशेष रुचि रखते हैं क्योंकि उनके आव्यूह फ़ंक्शंस की आसानी से गणना की जा सकती है।[25] वहीं दूसरी ओर यदि नहीं है इसके साथ जुड़े रैखिक रूप से स्वतंत्र ईगेनसदिश्स विकर्णीय नहीं है।[26][27] परिभाषा: एक सदिश आव्यूह के रैंक m का सामान्यीकृत ईजेनसदिश है और ईगेनलैंड्स के अनुरूप यदि
किन्तु
स्पष्ट रूप से, रैंक 1 का सामान्यीकृत ईजेनसदिश एक साधारण ईजेनसदिश है।[29] प्रत्येक × आव्यूह है इसके साथ जुड़े रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश और इसे अधिकतर विकर्ण आव्यूह के समान दिखाया जा सकता है जॉर्डन में सामान्य रूप।[30] अर्थात्, एक व्युत्क्रमणीय आव्यूह उपस्थित है ऐसा है कि .[31] गणित का सवाल इस स्थितिमें सामान्यीकृत मोडल आव्यूह कहा जाता है .[32] यदि बीजगणितीय बहुलता का आइगेनमान है , तब होगा इसके अनुरूप रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश .[33] ये परिणाम, बदले में, के कुछ आव्यूह कार्यों की गणना के लिए एक सीधी विधि प्रदान करते हैं .[34]
ध्यान दें: एक के लिए आव्यूह क्षेत्र पर (गणित) जॉर्डन सामान्य रूप में अभिव्यक्त करने के लिए, के सभी ईगेनलैंड्स में होना चाहिए . अर्थात्, विशेषता बहुपद पूरी प्रकार से रैखिक कारकों में कारक होना चाहिए। उदाहरण के लिए, यदि वास्तविक संख्या | वास्तविक-मूल्यवान तत्व हैं, तो यह आवश्यक हो सकता है कि ईगेनलैंड्स और ईगेनसदिश्स के घटकों के पास जटिल संख्या हो।[35][36][37] किसी दिए गए के लिए सभी सामान्यीकृत ईगेनसदिश्स द्वारा सेट लीनियर स्पैन परिभाषा के लिए सामान्यीकृत आइगेनस्पेस बनाता है .[38]
उदाहरण
सामान्यीकृत ईजेनसदिशों की अवधारणा को स्पष्ट करने के लिए यहां कुछ उदाहरण दिए गए हैं। कुछ विवरणों का वर्णन बाद में किया जाएगा।
उदाहरण 1
यह उदाहरण सरल है किन्तुस्पष्ट रूप से बात को दर्शाता है। पाठ्यपुस्तकों में इस प्रकार के आव्यूह का प्रयोग अधिकांशतः किया जाता है।[39][40][41]
कल्पना करना
तब एकमात्र एक आइगेनवैल्यू होता है, , और इसकी बीजगणितीय बहुलता है .
ध्यान दें कि यह आव्यूह जॉर्डन सामान्य रूप में है किन्तुविकर्ण आव्यूह नहीं है। इसलिए, यह आव्यूह विकर्णीय नहीं है। चूँकि सुपरडायगोनल प्रविष्टि है, वहाँ 1 से अधिक रैंक का एक सामान्यीकृत ईजेनसदिश होगा (या कोई यह नोट कर सकता है कि सदिश स्पेस आयाम 2 का है, इसलिए रैंक 1 से अधिक का एक सामान्यीकृत ईजेनसदिश हो सकता है)। वैकल्पिक रूप से, कोई रिक्त स्थान के आयाम की गणना कर सकता है होना , और इस प्रकार वहाँ हैं 1 से अधिक रैंक के सामान्यीकृत ईजेनसदिश।
साधारण ईजेनसदिश सदैव की प्रकार गणना की जाती है (उदाहरण के लिए आइगेनवैल्यूज़ और ईजेनसदिश गणना पृष्ठ देखें)। इस ईगेनसदिश्स का उपयोग करके, हम सामान्यीकृत ईगेनसदिश्स की गणना करते हैं हल करके
मान लिखना:
यह करने के लिए सरल करता है
तत्व कोई प्रतिबंध नहीं है। रैंक 2 का सामान्यीकृत ईजेनसदिश तब है , जहाँ a का कोई भी अदिश मान हो सकता है। a = 0 का चुनाव सामान्यतः सबसे सरल होता है।
ध्यान दें कि
जिससे एक सामान्यीकृत ईजेनसदिश है,
जिससे एक साधारण ईजेनसदिश है, और वह और रैखिक रूप से स्वतंत्र हैं और इसलिए सदिश समष्टि के लिए एक आधार का निर्माण करते हैं .
उदाहरण 2
यह उदाहरण सामान्यीकृत ईजेनसदिश उदाहरण 1 की समानता में अधिक जटिल है। दुर्भाग्य से, निम्न क्रम का एक रोचक उदाहरण बनाना थोड़ा कठिन है।[42] गणित का सवाल
ईगेनवेल्यूज हैं और बीजगणितीय गुणकों के साथ और , किन्तु ज्यामितीय गुणक और .
के सामान्यीकृत ईगेंस्पेसेस नीचे गणना की जाती है। से जुड़ा साधारण ईजेनसदिश है . से जुड़ा एक सामान्यीकृत ईजेनसदिश है . से जुड़ा साधारण ईजेनसदिश है .
और से जुड़े सामान्यीकृत ईजेनसदिश हैं .
इसका परिणाम प्रत्येक के सामान्यीकृत ईजेनस्पेस के लिए एक आधार के रूप में होता है . साथ में सामान्यीकृत ईजेनसदिशों की दो श्रृंखलाएं सभी 5-आयामी स्तंभ वैक्टरों के स्थान को फैलाती हैं।
एक अधिकतर विकर्ण आव्यूह जॉर्डन में सामान्य रूप, के समान निम्नानुसार प्राप्त किया जाता है:
जहाँ के लिए एक सामान्यीकृत मोडल आव्यूह है , के स्तंभ एक कैननिकल आधार हैं#रैखिक बीजगणित के लिए , और .[43]
जॉर्डन चेन
परिभाषा: चलो आव्यूह के अनुरूप रैंक m का सामान्यीकृत ईजेनसदिश बनें और eigenvalue . द्वारा उत्पन्न श्रृंखला वैक्टर का एक सेट है द्वारा दिए गए
-
(1)
-
इस प्रकार, सामान्यतः,
-
(2)
-
सदिश , द्वारा दिए गए (2), ईगेंस्पेस के अनुरूप रैंक j का एक सामान्यीकृत ईजेनसदिश है . एक श्रृंखला वैक्टर का एक रैखिक रूप से स्वतंत्र सेट है।[44]
विहित आधार
परिभाषा: 'एन' का एक सेट रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश एक विहित आधार है यदि यह पूरी प्रकार से जॉर्डन श्रृंखलाओं से बना है।
इस प्रकार, एक बार जब हम यह निर्धारित कर लेते हैं कि m रैंक का एक सामान्यीकृत ईजेनसदिश एक विहित आधार पर है, तो यह अनुसरण करता है कि m - 1 वैक्टर जो कि जॉर्डन श्रृंखला द्वारा उत्पन्न हैं विहित आधार पर भी हैं।[45] होने देना का आइगेनवैल्यू हो बीजगणितीय बहुलता का . सबसे पहले, मैट्रिसेस की रैंक (रैखिक बीजगणित) (आव्यूह रैंक) खोजें . पूर्णांक जिसके लिए पहला पूर्णांक निर्धारित किया जाता है रैंक है (n पंक्तियों या स्तंभों की संख्या होने के नाते , वह है, एन × एन है)।
अब परिभाषित करें
चर ईगेनलैंड् के अनुरूप रैंक k के रैखिक रूप से स्वतंत्र सामान्यीकृत ईगेनसदिश्सकी संख्या को निर्दिष्ट करता है के लिए एक विहित आधार में दिखाई देगा . ध्यान दें कि
- .[46]
सामान्यीकृत ईजेनसदिशों की गणना
पूर्व अनुभागों में हमने प्राप्त करने की तकनीकों को देखा है सदिश स्थान के लिए एक विहित आधार के रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश एक के साथ जुड़ा हुआ है आव्यूह . इन तकनीकों को एक प्रक्रिया में जोड़ा जा सकता है:
- के अभिलाक्षणिक बहुपद को हल कीजिए आइगेनवैल्यू के लिए और उनकी बीजगणितीय बहुलताएं ;
- प्रत्येक के लिए
- ठानना ;
- ठानना ;
- ठानना के लिए ;
- प्रत्येक जॉर्डन श्रृंखला के लिए निर्धारित करें ;
उदाहरण 3
गणित का सवाल
एक आइगेनवैल्यू है बीजगणितीय बहुलता का और एक ईगेनलैंड् बीजगणितीय बहुलता का . हमारे पास भी है . के लिए अपने पास .
पहला पूर्णांक जिसके लिए रैंक है है .
अब हम परिभाषित करते हैं
परिणाम स्वरुप , तीन रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिश होंगे; प्रत्येक रैंक 3, 2 और 1 में से एक। चूंकि तीन रैखिक रूप से स्वतंत्र सामान्यीकृत ईगेनलैंड्स की एक श्रृंखला से मेल खाती है, हम जानते हैं कि एक सामान्यीकृत ईगेनसदिश्स है रैंक 3 के अनुरूप ऐसा है कि
-
(3)
-
किन्तु
-
(4)
-
समीकरण (3) और (4) रैखिक समीकरणों की प्रणाली का प्रतिनिधित्व करता है जिसे हल किया जा सकता है . होने देना
तब
और
इस प्रकार, शर्तों को पूर्ण करने के लिए (3) और (4), हमारे पास यह होना चाहिए और . पर कोई प्रतिबंध नहीं लगाया गया है और . चुनने के द्वारा , हमने प्राप्त
रैंक 3 के सामान्यीकृत ईजेनसदिश के अनुरूप . ध्यान दें कि विभिन्न मानों को चुनकर रैंक 3 के असीम रूप से कई अन्य सामान्यीकृत ईजेनसदिश प्राप्त करना संभव है , और , साथ . चूँकि, हमारी पहली पसंद सबसे सरल है।[47]
अब समीकरणों का प्रयोग (1), हमने प्राप्त और क्रमशः रैंक 2 और 1 के सामान्यीकृत ईजेनसदिश के रूप में, जहां
और
सरल ईगेनवैल्यू ईगेनलैंड्स और ईगेनसदिश्स गणना का उपयोग करके निपटा जा सकता है और एक साधारण ईगेनसदिश्स है
के लिए एक विहित आधार है
और से जुड़े सामान्यीकृत ईजेनसदिश हैं , चूँकि से जुड़ा साधारण ईजेनसदिश है .
यह अधिक सरल उदाहरण है। सामान्यतः, संख्याएँ रैंक के रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों की सदैव समान नहीं रहेगा। अर्थात्, एक विशेष ईजेनवेल्यू के अनुरूप विभिन्न लंबाई की कई श्रृंखलाएं हो सकती हैं।[48]
सामान्यीकृत मोडल आव्यूह
होने देना एक n × n आव्यूह बनें। एक 'सामान्यीकृत मोडल आव्यूह' के लिए एक n × n आव्यूह है जिसके स्तंभ, जिन्हें वैक्टर माना जाता है, के लिए एक विहित आधार बनाते हैं और में दिखाई देते हैं निम्नलिखित नियमों के अनुसार:
- एक सदिश (अर्थात् लंबाई में एक सदिश) से बनी सभी जॉर्डन शृंखलाएं के पहले कॉलम में दिखाई देती हैं .
- एक श्रृंखला के सभी सदिश एक साथ के आसन्न स्तंभों में दिखाई देते हैं .
- प्रत्येक श्रृंखला में प्रकट होता है रैंक बढ़ाने के क्रम में (अर्थात, रैंक 1 का सामान्यीकृत ईजेनसदिश उसी श्रृंखला के रैंक 2 के सामान्यीकृत ईजेनसदिश से पहले प्रकट होता है, जो उसी श्रृंखला के रैंक 3 के सामान्यीकृत ईजेनसदिश से पहले प्रकट होता है, आदि)।[49]
जॉर्डन सामान्य रूप
एक n-डायमेंशनल सदिश स्पेस बनें; में एक रेखीय नक्शा हो L(V), से सभी रैखिक मानचित्रों का सेट अपने आप में; और जाने का आव्यूह प्रतिनिधित्व हो कुछ आदेशित आधार के संबंध में। यह दिखाया जा सकता है कि यदि विशेषता बहुपद का रैखिक कारकों में कारक, जिससे रूप है
जहाँ के विशिष्ट इगनवैल्यूज़ हैं , फिर प्रत्येक इसके संगत आइगेनमान की बीजगणितीय बहुलता है और आव्यूह के समान है जॉर्डन में सामान्य रूप, जहां प्रत्येक दिखाई पड़ना विकर्ण पर लगातार बार, और सीधे प्रत्येक के ऊपर प्रवेश (अर्थात, सुपरडायगोनल पर) या तो 0 या 1 है। अन्य सभी प्रविष्टियाँ (अर्थात, विकर्ण और सुपरडायगोनल से दूर) 0 हैं। अधिक त्रुटिहीन रूप से, एक जॉर्डन आव्यूह है जिसका जॉर्डन ब्लॉक एक ही ईजेनवैल्यू के अनुरूप है, एक साथ समूहीकृत किया जाता है (किन्तु आइगेनवैल्यू के बीच कोई ऑर्डर नहीं लगाया जाता है, न ही किसी दिए गए ईजेनवेल्यू के लिए ब्लॉक के बीच)। गणित का सवाल उतना ही निकट है जितना कोई एक विकर्णीकरण के लिए आ सकता है . यदि विकर्ण योग्य है, तो विकर्ण के ऊपर की सभी प्रविष्टियाँ शून्य हैं।[50] ध्यान दें कि कुछ पाठ्यपुस्तकों में वे सबडायगोनल होते हैं, जो सुपरडायगोनल के अतिरिक्त मुख्य विकर्ण के ठीक नीचे होते हैं। इगनवैल्यूज़ अभी भी मुख्य विकर्ण पर हैं।[51][52] हर n × n आव्यूह आव्यूह के समान है जॉर्डन में सामान्य रूप, समानता परिवर्तन के माध्यम से प्राप्त किया , जहाँ के लिए एक सामान्यीकृत मोडल आव्यूह है .[53] (ऊपर नोट देखें।)
उदाहरण 4
जॉर्डन सामान्य रूप में एक आव्यूह खोजें जो समान हो
समाधान: का अभिलाक्षणिक समीकरण है , इसलिए , एक बीजगणित समत्वता त्रिविधता घातांक है। पूर्व खंडों के प्रक्रियाओं का पालन करते हुए, हम पाते हैं कि
और
इस प्रकार, और , होता है, जिससे यह स्पष्ट होता है कि के लिए एक कैननिकल आधार श्रेणी 2 की एक असंख्यात विशिष्ट एजेंसदिश और श्रेणी 1 की दो असंख्यात विशिष्ट एजेंसदिशों का योग होगा, या समकक्ष रूप में, दो सदिशों की एक श्रेणी और सदिश की एक श्रेणी . होगी। , नामित करके, हम पाते हैं कि:
और
जहाँ के लिए एक सामान्यीकृत मोडल आव्यूह है, की स्तंभ मात्राएँ के लिए एक कैननिकल आधार हैं, और होता है।[54] ध्यान दें कि क्योंकि साधारित एजेंसदिश स्वयं में अद्वितीय नहीं होते हैं, और क्योंकि और की कुछ स्तंभ मात्राएँ परस्पर बदला जा सकता हैं, इसलिए यह अनुसरण होता है कि और दोनों अद्वितीय नहीं होते हैं।[55]
उदाहरण 5
उदाहरण 3 में, हमने एक आव्यूह के लिए रैखिक रूप से स्वतंत्र सामान्यीकृत ईजेनसदिशों का एक विहित आधार पाया . के लिए एक सामान्यीकृत मोडल आव्यूह है
जॉर्डन सामान्य रूप में एक आव्यूह, के समान है
जिससे .
अनुप्रयोग
आव्यूह फ़ंक्शंस
स्क्वायर आव्यूह पर किए जा सकने वाले तीन महत्वपूर्ण परिचालन हैं मात्रिका जोड़ना, एक स्केलर द्वारा गुणा करना, और मात्रिका गुणा हैं।[56] ये वास्तव में वे संक्रियाएँ हैं जो एक n × n आव्यूह के बहुपद फलन को परिभाषित करने के लिए आवश्यक हैं।[57] यदि हम प्राथमिक कलन से समझते हैं कि कई फ़ंक्शनों को मैकलॉरिन श्रृंखला के रूप में लिखा जा सकता है, तो हम आसानी से मात्रिकाओं के अधिक सामान्य फ़ंक्शनों की परिभाषा कर सकते हैं।[58] यदि विकर्णीय है, अर्थात्
साथ
तब
और यद्यपि के फ़ंक्शनों के लिए मैकलॉरिन श्रृंखला का मूल्यांकन काफ़ी सरल हो जाता है।[59] उदाहरण के लिए, की कोई घात k प्राप्त करने के लिए , हमें एकमात्र की गणना करनी होगी, इसे से पूर्व गुणन करें, और परिणाम को , द्वारा पूर्व गुणित करें, और द्वारा पश्चात गुणित करें।[60]
सामान्यीकृत ऐजेन्सदिश्स का उपयोग करके, हम जॉर्डन सामान्य रूप प्राप्त कर सकते हैं और इन परिणामों को नॉनडायगोनलाइज़ेबल मेट्रिसेस के कार्यों की गणना के लिए एक सीधी विधि के लिए सामान्यीकृत किया जा सकता है।[61] (आव्यूह फ़ंक्शन जॉर्डन अपघटन देखें।)
विभेदक समीकरण
रैखिक साधारण अंतर समीकरणों की प्रणाली को हल करने की समस्या पर विचार करें
-
(5)
-
जहाँ
- और
यदि आव्यूह एक विकर्ण आव्यूह है जिसके लिए होता है जब , तो प्रणाली (5) को n समीकरणों की प्रणाली में संक्षेपित किया जा सकता है जो इस प्रारूप में होती हैं:
-
(6)
-
इस स्थिति में, सामान्य समाधान द्वारा दिया गया है
सामान्य स्थिति में, हम विकर्ण को विस्तारयुक्त करने और प्रणाली (5) को (6) जैसी एक प्रणाली में संक्षेपित करने की कोशिश करते हैं। यदि विकर्णीय होता है, तो हमें के लिए जैसा होगा, जहाँ के लिए एक मॉडल आव्यूह है। इसके प्रयोग से, समीकरण(5) का प्रारूप इस प्रकार होगा , या
-
(7)
-
जहाँ
-
(8)
-
का समाधान (7) है
(5) की समाधान उपयोग करके प्राप्त किया जाता है जिसमें सम्बंध (8) का उपयोग होता है।[62]
वहीं दूसरी ओर यदि विस्तारयुक्त नहीं है, तो हम के लिए एक साधारित मोडल मात्रिका चुनते हैं, जिसके लिए जॉर्डन साधारित प्रारूप होता है। प्रणाली का प्रारूप होता है।
-
(9)
-
जहां के मुख्य विकर्ण से आइगेनमान हैं और के सुपरडाइगोनल से से 0 और 1 हैं। . प्रणाली (9) सामान्यतः (5) से आसानी से हल होती है। (9) में अंतिम समीकरण को , प्राप्त करना . इसके बाद हम इस समाधान को प्रतिस्थापित करते हैं । फिर हम इस समाधान को के लिए (9) में पूर्व से दूसरे समीकरण में उपयोग करते हैं और उसे हल करते हैं। इस प्रक्रिया को जारी रखते हुए हम (9) में अंत से पहले समीकरण तक काम करते हैं, जिससे हम पूरी प्रणाली को के लिए हल करते हैं। अंतिम उत्तर का प्राप्त होता है जिसका सम्बंध (8) से होता है।[63]
लेम्मा: लंबाई r के सामान्यीकृत ईजेनसदिश की निम्नलिखित श्रृंखला को देखते हुए:
ये कार्य समीकरणों की प्रणाली को हल करते हैं:
प्रमाण: निम्नलिखित योग को परिभाषित करते हैं:
तब:
दूसरी ओर हमारे पास यह होता है:
जैसा की आवश्यक है।
टिप्पणियाँ
- ↑ Bronson (1970, p. 189)
- ↑ Beauregard & Fraleigh (1973, p. 310)
- ↑ Nering (1970, p. 118)
- ↑ Golub & Van Loan (1996, p. 316)
- ↑ Beauregard & Fraleigh (1973, p. 319)
- ↑ Bronson (1970, pp. 194–195)
- ↑ Golub & Van Loan (1996, p. 311)
- ↑ Bronson (1970, p. 196)
- ↑ Bronson (1970, p. 189)
- ↑ Beauregard & Fraleigh (1973, pp. 316–318)
- ↑ Nering (1970, p. 118)
- ↑ Bronson (1970, p. 196)
- ↑ Anton (1987, pp. 301–302)
- ↑ Beauregard & Fraleigh (1973, p. 266)
- ↑ Burden & Faires (1993, p. 401)
- ↑ Golub & Van Loan (1996, pp. 310–311)
- ↑ Harper (1976, p. 58)
- ↑ Herstein (1964, p. 225)
- ↑ Kreyszig (1972, pp. 273, 684)
- ↑ Nering (1970, p. 104)
- ↑ Burden & Faires (1993, p. 401)
- ↑ Beauregard & Fraleigh (1973, pp. 270–274)
- ↑ Bronson (1970, pp. 179–183)
- ↑ Bronson (1970, p. 181)
- ↑ Bronson (1970, p. 179)
- ↑ Beauregard & Fraleigh (1973, pp. 270–274)
- ↑ Bronson (1970, pp. 179–183)
- ↑ Bronson (1970, p. 189)
- ↑ Bronson (1970, pp. 190, 202)
- ↑ Bronson (1970, pp. 189, 203)
- ↑ Bronson (1970, pp. 206–207)
- ↑ Bronson (1970, p. 205)
- ↑ Bronson (1970, p. 196)
- ↑ Bronson (1970, pp. 189, 209–215)
- ↑ Golub & Van Loan (1996, p. 316)
- ↑ Herstein (1964, p. 259)
- ↑ Nering (1970, p. 118)
- ↑ Nering (1970, p. 118)
- ↑ Nering (1970, p. 118)
- ↑ Herstein (1964, p. 261)
- ↑ Beauregard & Fraleigh (1973, p. 310)
- ↑ Nering (1970, pp. 122, 123)
- ↑ Bronson (1970, pp. 189–209)
- ↑ Bronson (1970, pp. 194–195)
- ↑ Bronson (1970, pp. 196, 197)
- ↑ Bronson (1970, pp. 197, 198)
- ↑ Bronson (1970, pp. 190–191)
- ↑ Bronson (1970, pp. 197–198)
- ↑ Bronson (1970, p. 205)
- ↑ Beauregard & Fraleigh (1973, p. 311)
- ↑ Cullen (1966, p. 114)
- ↑ Franklin (1968, p. 122)
- ↑ Bronson (1970, p. 207)
- ↑ Bronson (1970, pp. 208)
- ↑ Bronson (1970, p. 206)
- ↑ Beauregard & Fraleigh (1973, pp. 57–61)
- ↑ Bronson (1970, p. 104)
- ↑ Bronson (1970, p. 105)
- ↑ Bronson (1970, p. 184)
- ↑ Bronson (1970, p. 185)
- ↑ Bronson (1970, pp. 209–218)
- ↑ Beauregard & Fraleigh (1973, pp. 274–275)
- ↑ Beauregard & Fraleigh (1973, p. 317)
संदर्भ
- Anton, Howard (1987), Elementary Linear Algebra (5th ed.), New York: Wiley, ISBN 0-471-84819-0
- Axler, Sheldon (1997). Linear Algebra Done Right (2nd ed.). Springer. ISBN 978-0-387-98258-8.
- Beauregard, Raymond A.; Fraleigh, John B. (1973), A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields, Boston: Houghton Mifflin Co., ISBN 0-395-14017-X
- Bronson, Richard (1970), Matrix Methods: An Introduction, New York: Academic Press, LCCN 70097490
- Burden, Richard L.; Faires, J. Douglas (1993), Numerical Analysis (5th ed.), Boston: Prindle, Weber and Schmidt, ISBN 0-534-93219-3
- Cullen, Charles G. (1966), Matrices and Linear Transformations, Reading: Addison-Wesley, LCCN 66021267
- Franklin, Joel N. (1968), Matrix Theory, Englewood Cliffs: Prentice-Hall, LCCN 68016345
- Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations (3rd ed.), Baltimore: Johns Hopkins University Press, ISBN 0-8018-5414-8
- Harper, Charlie (1976), Introduction to Mathematical Physics, New Jersey: Prentice-Hall, ISBN 0-13-487538-9
- Herstein, I. N. (1964), Topics In Algebra, Waltham: Blaisdell Publishing Company, ISBN 978-1114541016
- Kreyszig, Erwin (1972), Advanced Engineering Mathematics (3rd ed.), New York: Wiley, ISBN 0-471-50728-8
- Nering, Evar D. (1970), Linear Algebra and Matrix Theory (2nd ed.), New York: Wiley, LCCN 76091646