अभिलक्षणिक बहुपद: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{short description|Polynomial whose roots are the eigenvalues of a matrix}}
{{short description|Polynomial whose roots are the eigenvalues of a matrix}}
{{About|एक आव्यूह या सदिश रिक्त समिष्ट के एंडोमोर्फिज्म की विशेषता बहुपद|मैट्रोइड का अभिलक्षणिक बहुपद|मैट्रोइड|एक श्रेणीबद्ध पोसेट का|ग्रेडेड पॉसेट}}
{{About|एक आव्यूह या सदिश रिक्त समिष्ट के एंडोमोर्फिज्म की विशेषता बहुपद|मैट्रोइड का अभिलक्षणिक बहुपद|मैट्रोइड|एक श्रेणीबद्ध पोसेट का|ग्रेडेड पॉसेट}}
Line 9: Line 8:
| title = Characteristic Polynomial of a Graph – Wolfram MathWorld
| title = Characteristic Polynomial of a Graph – Wolfram MathWorld
|access-date = August 26, 2011}}</ref>
|access-date = August 26, 2011}}</ref>
==प्रेरणा==
==प्रेरणा==
रैखिक बीजगणित में, ईजेनवैल्यू ​​​​और ईजेनवेक्टर मौलिक भूमिका निभाते हैं, क्योंकि, [[रैखिक परिवर्तन]] को देखते हुए, ईजेनवेक्टर सदिश होता है जिसकी दिशा परिवर्तन से नहीं बदलती है, और संबंधित ईजेनवैल्यू सदिश के परिमाण के परिणामी परिवर्तन का माप है।
रैखिक बीजगणित में, ईजेनवैल्यू ​​​​और ईजेनवेक्टर मौलिक भूमिका निभाते हैं, क्योंकि, [[रैखिक परिवर्तन]] को देखते हुए, ईजेनवेक्टर सदिश होता है जिसकी दिशा परिवर्तन से नहीं बदलती है, और संबंधित ईजेनवैल्यू सदिश के परिमाण के परिणामी परिवर्तन का माप है।
Line 32: Line 29:


एक <math>n \times n</math> आव्यूह <math>A,</math> पर विचार करें। <math>A.</math> का विशेषता बहुपद, जिसे <math>p_A(t),</math> द्वारा निरूपित किया जाता है,<ref>{{Cite book|title=उन्नत रैखिक बीजगणित|author=Steven Roman |url=https://archive.org/details/springer_10.1007-978-1-4757-2178-2 |isbn=3540978372 |edition=2 |year=1992 |publisher=Springer |page=[https://archive.org/details/springer_10.1007-978-1-4757-2178-2/page/n142 137]}}</ref><math display=block>p_A(t) = \det (t I - A)</math>
एक <math>n \times n</math> आव्यूह <math>A,</math> पर विचार करें। <math>A.</math> का विशेषता बहुपद, जिसे <math>p_A(t),</math> द्वारा निरूपित किया जाता है,<ref>{{Cite book|title=उन्नत रैखिक बीजगणित|author=Steven Roman |url=https://archive.org/details/springer_10.1007-978-1-4757-2178-2 |isbn=3540978372 |edition=2 |year=1992 |publisher=Springer |page=[https://archive.org/details/springer_10.1007-978-1-4757-2178-2/page/n142 137]}}</ref><math display=block>p_A(t) = \det (t I - A)</math>


जहां <math>I</math> <math>n \times n</math> पहचान आव्यूह को दर्शाता हूं।
जहां <math>I</math> <math>n \times n</math> पहचान आव्यूह को दर्शाता हूं।
Line 56: Line 52:
इसका विशेषता बहुपद है
इसका विशेषता बहुपद है
<math display=block>\det (tI - A) = (t - \cosh(\varphi))^2 - \sinh^2(\varphi) = t^2 - 2 t \ \cosh(\varphi) + 1 = (t - e^\varphi) (t - e^{-\varphi}).</math>
<math display=block>\det (tI - A) = (t - \cosh(\varphi))^2 - \sinh^2(\varphi) = t^2 - 2 t \ \cosh(\varphi) + 1 = (t - e^\varphi) (t - e^{-\varphi}).</math>
==गुण==
==गुण==


Line 76: Line 70:
\operatorname{tr}A^k  &\operatorname{tr}A^{k-1}& & \cdots & \operatorname{tr}A
\operatorname{tr}A^k  &\operatorname{tr}A^{k-1}& & \cdots & \operatorname{tr}A
\end{vmatrix} ~.</math>
\end{vmatrix} ~.</math>


केली-हैमिल्टन प्रमेय में कहा गया है कि विशेषता बहुपद में <math>t</math> को <math>A</math> द्वारा प्रतिस्थापित करना (परिणामी शक्तियों को आव्यूह शक्तियों के रूप में व्याख्या करना, और स्थिर पद <math>c</math> को पहचान आव्यूह के <math>c</math> गुना के रूप में व्याख्या करना) शून्य आव्यूह उत्पन्न करता है। अनौपचारिक रूप से कहें तो, प्रत्येक आव्यूह अपने स्वयं के विशिष्ट समीकरण को संतुष्ट करता है। यह कथन यह कहने के समान है कि <math>A</math> का न्यूनतम बहुपद <math>A.</math> के विशिष्ट बहुपद को विभाजित करता है
केली-हैमिल्टन प्रमेय में कहा गया है कि विशेषता बहुपद में <math>t</math> को <math>A</math> द्वारा प्रतिस्थापित करना (परिणामी शक्तियों को आव्यूह शक्तियों के रूप में व्याख्या करना, और स्थिर पद <math>c</math> को पहचान आव्यूह के <math>c</math> गुना के रूप में व्याख्या करना) शून्य आव्यूह उत्पन्न करता है। अनौपचारिक रूप से कहें तो, प्रत्येक आव्यूह अपने स्वयं के विशिष्ट समीकरण को संतुष्ट करता है। यह कथन यह कहने के समान है कि <math>A</math> का न्यूनतम बहुपद <math>A.</math> के विशिष्ट बहुपद को विभाजित करता है


दो समान आव्यूहों का विशेषता बहुपद समान होता है। चूँकि, इसका विपरीत सामान्य रूप से सत्य नहीं है: समान विशेषता बहुपद वाले दो आव्यूहों का समान होना आवश्यक नहीं है।
दो समान आव्यूहों का विशेषता बहुपद समान होता है। चूँकि, इसका विपरीत सामान्य रूप से सत्य नहीं है: समान विशेषता बहुपद वाले दो आव्यूहों का समान होना आवश्यक नहीं है।


आव्यूह <math>A</math> और उसके समिष्टान्तरण में समान विशेषता बहुपद है। <math>A</math> एक [[त्रिकोणीय मैट्रिक्स|त्रिकोणीय आव्यूह]] के समान है यदि और केवल तभी जब इसके विशेषता बहुपद को <math>K</math> के ऊपर रैखिक कारकों में पूरी तरह से विभाजित किया जा सकता है (विशेष बहुपद के अतिरिक्त न्यूनतम बहुपद के साथ भी यही सत्य है)। इस स्थिति में <math>A</math> [[जॉर्डन सामान्य रूप|जॉर्डन]] सामान्यतः एक आव्यूह के समान है।
आव्यूह <math>A</math> और उसके समिष्टान्तरण में समान विशेषता बहुपद है। <math>A</math> एक [[त्रिकोणीय मैट्रिक्स|त्रिकोणीय आव्यूह]] के समान है यदि और केवल तभी जब इसके विशेषता बहुपद को <math>K</math> के ऊपर रैखिक कारकों में पूरी तरह से विभाजित किया जा सकता है (विशेष बहुपद के अतिरिक्त न्यूनतम बहुपद के साथ भी यही सत्य है)। इस स्थिति में <math>A</math> [[जॉर्डन सामान्य रूप|जॉर्डन]] सामान्यतः एक आव्यूह के समान है।
Line 87: Line 79:
==दो आव्यूहों के गुणनफल का विशेषता बहुपद==
==दो आव्यूहों के गुणनफल का विशेषता बहुपद==


यदि <math>A</math> और <math>B</math> दो वर्ग <math>n \times n</math> आव्यूह हैं तो <math>AB</math> और <math>BA</math> के अभिलक्षणिक बहुपद संपाती होते हैं:
यदि <math>A</math> और <math>B</math> दो वर्ग <math>n \times n</math> आव्यूह हैं तो <math>AB</math> और <math>BA</math> के अभिलक्षणिक बहुपद संपाती होते हैं:
<math display="block">p_{AB}(t)=p_{BA}(t).\,</math>
<math display="block">p_{AB}(t)=p_{BA}(t).\,</math>
जब <math>A</math> गैर-एकवचन है तो यह परिणाम इस तथ्य से निकलता है कि <math>AB</math> और <math>BA</math> समान हैं:
जब <math>A</math> गैर-एकवचन है तो यह परिणाम इस तथ्य से निकलता है कि <math>AB</math> और <math>BA</math> समान हैं:
<math display="block">BA = A^{-1} (AB) A.</math>
<math display="block">BA = A^{-1} (AB) A.</math>
ऐसे स्थिति के लिए जहां <math>A</math> और <math>B</math> दोनों एकवचन हैं, वांछित पहचान <math>t</math> में बहुपद और आव्यूहों के गुणांक के बीच समानता है। इस प्रकार, इस समानता को सिद्ध करने के लिए, यह सिद्ध करना पर्याप्त है कि यह सभी गुणांकों के समिष्ट के एक गैर-रिक्त विवृत उपसमुच्चय (सामान्य [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समिष्ट]] के लिए, या, अधिक सामान्यतः, [[ज़ारिस्की टोपोलॉजी]] के लिए) पर सत्यापित है। चूँकि गैर-एकवचन आव्यूह सभी आव्यूहों के समिष्ट का एक विवृत उपसमुच्चय बनाते हैं, यह परिणाम को सिद्ध करता है।
ऐसे स्थिति के लिए जहां <math>A</math> और <math>B</math> दोनों एकवचन हैं, वांछित पहचान <math>t</math> में बहुपद और आव्यूहों के गुणांक के बीच समानता है। इस प्रकार, इस समानता को सिद्ध करने के लिए, यह सिद्ध करना पर्याप्त है कि यह सभी गुणांकों के समिष्ट के एक गैर-रिक्त विवृत उपसमुच्चय (सामान्य [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समिष्ट]] के लिए, या, अधिक सामान्यतः, [[ज़ारिस्की टोपोलॉजी]] के लिए) पर सत्यापित है। चूँकि गैर-एकवचन आव्यूह सभी आव्यूहों के समिष्ट का एक विवृत उपसमुच्चय बनाते हैं, यह परिणाम को सिद्ध करता है।


अधिक सामान्यतः, यदि <math>A</math>, <math>m \times n</math> क्रम का एक आव्यूह है और <math>B</math>, <math>n \times m,</math>, क्रम का एक आव्यूह है, तो <math>AB</math> <math>m \times m</math> है और <math>BA</math>, <math>n \times n</math> आव्यूह है, और एक के पास है<math display="block">p_{BA}(t) = t^{n-m} p_{AB}(t).\,</math>
अधिक सामान्यतः, यदि <math>A</math>, <math>m \times n</math> क्रम का एक आव्यूह है और <math>B</math>, <math>n \times m,</math>, क्रम का एक आव्यूह है, तो <math>AB</math> <math>m \times m</math> है और <math>BA</math>, <math>n \times n</math> आव्यूह है, और एक के पास है<math display="block">p_{BA}(t) = t^{n-m} p_{AB}(t).\,</math>


 
इसे सिद्ध करने के लिए, यदि आवश्यक हो, तो <math>A</math> और <math>B.</math> को अदला-बदली करके <math>n > m,</math> मान लिया जा सकता है। फिर, नीचे <math>A</math> को शून्य की <math>n - m</math> पंक्तियों से और दाईं ओर <math>B</math> को, शून्य के <math>n - m</math> स्तंभों से सीमाबद्ध करके, व्यक्ति को दो <math>n \times n</math> आव्यूह <math>A^{\prime}</math> और <math>B^{\prime}</math> इस प्रकार प्राप्त होते हैं कि <math>B^{\prime}A^{\prime} = BA</math> और <math>A^{\prime}B^{\prime}</math> शून्य की <math>n - m</math> पंक्तियों और स्तंभों से घिरे <math>AB</math> के समान हैं। परिणाम <math>A^{\prime}B^{\prime}</math> और <math>AB.</math> के विशिष्ट बहुपदों की तुलना करके, वर्ग आव्यूह के स्थिति से प्राप्त होता है
इसे सिद्ध करने के लिए, यदि आवश्यक हो, तो <math>A</math> और <math>B.</math> को अदला-बदली करके <math>n > m,</math> मान लिया जा सकता है। फिर, नीचे <math>A</math> को शून्य की <math>n - m</math> पंक्तियों से और दाईं ओर <math>B</math> को, शून्य के <math>n - m</math> स्तंभों से सीमाबद्ध करके, व्यक्ति को दो <math>n \times n</math> आव्यूह <math>A^{\prime}</math> और <math>B^{\prime}</math> इस प्रकार प्राप्त होते हैं कि <math>B^{\prime}A^{\prime} = BA</math> और <math>A^{\prime}B^{\prime}</math> शून्य की <math>n - m</math> पंक्तियों और स्तंभों से घिरे <math>AB</math> के समान हैं। परिणाम <math>A^{\prime}B^{\prime}</math> और <math>AB.</math> के विशिष्ट बहुपदों की तुलना करके, वर्ग आव्यूह के स्थिति से प्राप्त होता है


==<math>A</math><sup>k</sup> का विशेषता बहुपद==
==<math>A</math><sup>k</sup> का विशेषता बहुपद==
Line 112: Line 103:
}}
}}


अर्थात् बीजगणितीय बहुलता <math>\lambda</math> में <math>f(A)</math> के बीजगणितीय गुणन के योग के समान है ऐसा है कि <math>f(\lambda') = \lambda.</math> विशेष रूप से, <math>\operatorname{tr}(f(A)) = \textstyle\sum_{i=1}^n f(\lambda_i)</math> और <math>\operatorname{det}(f(A)) = \textstyle\prod_{i=1}^n f(\lambda_i).</math> यहाँ बहुपद <math>f(t) = t^3+1,</math> है उदाहरण के लिए, आव्यूह <math>A</math> पर मूल्यांकन किया जाता है इस प्रकार <math>f(A) = A^3+I.</math> प्रमेय किसी भी क्षेत्र या [[क्रमविनिमेय वलय]] पर आव्यूहों और बहुपदों पर प्रयुक्त होता है।<ref>{{Cite book |last=Lang |first=Serge |url=https://www.worldcat.org/oclc/852792828 |title=बीजगणित|publisher=Springer |year=1993 |isbn=978-1-4613-0041-0 |location=New York |oclc=852792828|at=p.567, Theorem 3.10}}</ref>
अर्थात् बीजगणितीय बहुलता <math>\lambda</math> में <math>f(A)</math> के बीजगणितीय गुणन के योग के समान है ऐसा है कि <math>f(\lambda') = \lambda.</math> विशेष रूप से, <math>\operatorname{tr}(f(A)) = \textstyle\sum_{i=1}^n f(\lambda_i)</math> और <math>\operatorname{det}(f(A)) = \textstyle\prod_{i=1}^n f(\lambda_i).</math> यहाँ बहुपद <math>f(t) = t^3+1,</math> है उदाहरण के लिए, आव्यूह <math>A</math> पर मूल्यांकन किया जाता है इस प्रकार <math>f(A) = A^3+I.</math> प्रमेय किसी भी क्षेत्र या [[क्रमविनिमेय वलय]] पर आव्यूहों और बहुपदों पर प्रयुक्त होता है।<ref>{{Cite book |last=Lang |first=Serge |url=https://www.worldcat.org/oclc/852792828 |title=बीजगणित|publisher=Springer |year=1993 |isbn=978-1-4613-0041-0 |location=New York |oclc=852792828|at=p.567, Theorem 3.10}}</ref>


चूँकि, यह धारणा <math>p_A(t)</math> रैखिक कारकों में गुणनखंडन सदैव सत्य नहीं होता है, जब तक कि आव्यूह सम्मिश्र संख्याओं जैसे बीजगणितीय रूप से संवृत क्षेत्र पर नही होती है।
चूँकि, यह धारणा <math>p_A(t)</math> रैखिक कारकों में गुणनखंडन सदैव सत्य नहीं होता है, जब तक कि आव्यूह सम्मिश्र संख्याओं जैसे बीजगणितीय रूप से संवृत क्षेत्र पर नही होती है।
Line 172: Line 163:
* Paul C. Shields (1980) ''Elementary Linear Algebra'' 3rd edition, p 274, [[Worth Publishers]] {{ISBN|0-87901-121-1}} .
* Paul C. Shields (1980) ''Elementary Linear Algebra'' 3rd edition, p 274, [[Worth Publishers]] {{ISBN|0-87901-121-1}} .
* [[Gilbert Strang]] (1988) ''Linear Algebra and Its Applications'' 3rd edition, p 246, [[Brooks/Cole]] {{ISBN|0-15-551005-3}} .
* [[Gilbert Strang]] (1988) ''Linear Algebra and Its Applications'' 3rd edition, p 246, [[Brooks/Cole]] {{ISBN|0-15-551005-3}} .
[[Category: बहुपदों]] [[Category: लीनियर अलजेब्रा]] [[Category: टेंसर]]


[[Category: Machine Translated Page]]
[[Category:All articles with dead external links]]
[[Category:Articles with dead external links from November 2016]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with permanently dead external links]]
[[Category:Created On 19/07/2023]]
[[Category:Created On 19/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:टेंसर]]
[[Category:बहुपदों]]
[[Category:लीनियर अलजेब्रा]]

Latest revision as of 17:25, 21 August 2023

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

वर्णक्रमीय ग्राफ सिद्धांत में, ग्राफ़ (असतत गणित) का विशेषता बहुपद इसके आसन्न आव्यूह का विशेषता बहुपद है।[4]

प्रेरणा

रैखिक बीजगणित में, ईजेनवैल्यू ​​​​और ईजेनवेक्टर मौलिक भूमिका निभाते हैं, क्योंकि, रैखिक परिवर्तन को देखते हुए, ईजेनवेक्टर सदिश होता है जिसकी दिशा परिवर्तन से नहीं बदलती है, और संबंधित ईजेनवैल्यू सदिश के परिमाण के परिणामी परिवर्तन का माप है।

अधिक स्पष्टतः, यदि परिवर्तन को वर्ग आव्यूह द्वारा दर्शाया जाता है तो ईजेनवेक्टर और संबंधित ईजेनवैल्यू समीकरण को संतुष्ट करता है

या, समकक्ष,
जहां पहचान आव्यूह है, और (चूँकि शून्य सदिश प्रत्येक के लिए इस समीकरण को संतुष्ट करता है, इसे आइजेनवेक्टर नहीं माना जाता है)।

यह इस प्रकार है कि आव्यूह एकवचन आव्यूह और उसका निर्धारक होना चाहिए

शून्य होना चाहिए.

दूसरे शब्दों में A के ईजेनवैल्यू ​​की मूल हैं

यदि A एक n×n आव्यूह है तो x डिग्री n वाला एक बहुपद है। यह बहुपद A का अभिलाक्षणिक बहुपद है।

औपचारिक परिभाषा

एक आव्यूह पर विचार करें। का विशेषता बहुपद, जिसे द्वारा निरूपित किया जाता है,[5]

जहां पहचान आव्यूह को दर्शाता हूं।

कुछ लेखक विशेषता बहुपद को के रूप में परिभाषित करते हैं, वह बहुपद यहां चिह्न द्वारा परिभाषित बहुपद से भिन्न है, इसलिए इससे के मूल मान जैसे गुणों के लिए कोई अंतर नहीं पड़ता है; चूँकि ऊपर दी गई परिभाषा सदैव एक विशेषता बहुपद देती है, जबकि वैकल्पिक परिभाषा केवल एक विशेषता बहुपद देती है

उदाहरण

आव्यूह के विशेषता बहुपद की गणना करता है

निम्नलिखित के निर्धारक की गणना की जाती है:
और का विशेषता बहुपद पाया गया एक अन्य उदाहरण अतिपरवलय कोण φ के अतिपरवलय फलनों का उपयोग करता है। आव्यूह के लिए माना
इसका विशेषता बहुपद है

गुण

आव्यूह का विशिष्ट बहुपद मोनिक है (इसका अग्रणी गुणांक है) और इसकी डिग्री है। अभिलक्षणिक बहुपद के बारे में सबसे महत्वपूर्ण तथ्य पहले से ही प्रेरक अनुच्छेद में उल्लिखित किया गया था: के स्वदेशी मान ठीक की मूल हैं (यह के न्यूनतम बहुपद (रैखिक बीजगणित) के लिए भी प्रयुक्त होता है, किन्तु इसकी डिग्री से कम हो सकती है)। विशेषता बहुपद के सभी गुणांक आव्यूह की प्रविष्टियों में बहुपद अभिव्यक्ति हैं। विशेष रूप से इसका निरंतर गुणांक है, का गुणांक एक है, और का गुणांक, जहां का ट्रेस (आव्यूह) है। (यहां दिए गए संकेत पिछले अनुभाग में दी गई औपचारिक परिभाषा के अनुरूप हैं; [6] वैकल्पिक परिभाषा के लिए ये क्रमशः और (−1)n – 1 tr(A) होते है।[7])

आव्यूह के लिए, विशेषता बहुपद इस प्रकार दिया गया है

बाह्य बीजगणित की भाषा का उपयोग करते हुए, आव्यूह के विशिष्ट बहुपद को इस प्रकार व्यक्त किया जा सकता है
जहां की वीं बाह्य शक्ति का ट्रेस है, जिसका आयाम है इस ट्रेस की गणना आकार के के सभी प्रमुख माइनरों के योग के रूप में की जा सकती है। पुनरावर्ती फ़ैडीव-लेवेरियर एल्गोरिदम इन गुणांकों की अधिक कुशलता से गणना करता है।

जब गुणांक के क्षेत्र की विशेषता होती है, तो प्रत्येक ऐसे ट्रेस को वैकल्पिक रूप से आव्यूह के एकल निर्धारक के रूप में गणना की जा सकती है,

केली-हैमिल्टन प्रमेय में कहा गया है कि विशेषता बहुपद में को द्वारा प्रतिस्थापित करना (परिणामी शक्तियों को आव्यूह शक्तियों के रूप में व्याख्या करना, और स्थिर पद को पहचान आव्यूह के गुना के रूप में व्याख्या करना) शून्य आव्यूह उत्पन्न करता है। अनौपचारिक रूप से कहें तो, प्रत्येक आव्यूह अपने स्वयं के विशिष्ट समीकरण को संतुष्ट करता है। यह कथन यह कहने के समान है कि का न्यूनतम बहुपद के विशिष्ट बहुपद को विभाजित करता है

दो समान आव्यूहों का विशेषता बहुपद समान होता है। चूँकि, इसका विपरीत सामान्य रूप से सत्य नहीं है: समान विशेषता बहुपद वाले दो आव्यूहों का समान होना आवश्यक नहीं है।

आव्यूह और उसके समिष्टान्तरण में समान विशेषता बहुपद है। एक त्रिकोणीय आव्यूह के समान है यदि और केवल तभी जब इसके विशेषता बहुपद को के ऊपर रैखिक कारकों में पूरी तरह से विभाजित किया जा सकता है (विशेष बहुपद के अतिरिक्त न्यूनतम बहुपद के साथ भी यही सत्य है)। इस स्थिति में जॉर्डन सामान्यतः एक आव्यूह के समान है।

दो आव्यूहों के गुणनफल का विशेषता बहुपद

यदि और दो वर्ग आव्यूह हैं तो और के अभिलक्षणिक बहुपद संपाती होते हैं:

जब गैर-एकवचन है तो यह परिणाम इस तथ्य से निकलता है कि और समान हैं:
ऐसे स्थिति के लिए जहां और दोनों एकवचन हैं, वांछित पहचान में बहुपद और आव्यूहों के गुणांक के बीच समानता है। इस प्रकार, इस समानता को सिद्ध करने के लिए, यह सिद्ध करना पर्याप्त है कि यह सभी गुणांकों के समिष्ट के एक गैर-रिक्त विवृत उपसमुच्चय (सामान्य टोपोलॉजिकल समिष्ट के लिए, या, अधिक सामान्यतः, ज़ारिस्की टोपोलॉजी के लिए) पर सत्यापित है। चूँकि गैर-एकवचन आव्यूह सभी आव्यूहों के समिष्ट का एक विवृत उपसमुच्चय बनाते हैं, यह परिणाम को सिद्ध करता है।

अधिक सामान्यतः, यदि , क्रम का एक आव्यूह है और , , क्रम का एक आव्यूह है, तो है और , आव्यूह है, और एक के पास है

इसे सिद्ध करने के लिए, यदि आवश्यक हो, तो और को अदला-बदली करके मान लिया जा सकता है। फिर, नीचे को शून्य की पंक्तियों से और दाईं ओर को, शून्य के स्तंभों से सीमाबद्ध करके, व्यक्ति को दो आव्यूह और इस प्रकार प्राप्त होते हैं कि और शून्य की पंक्तियों और स्तंभों से घिरे के समान हैं। परिणाम और के विशिष्ट बहुपदों की तुलना करके, वर्ग आव्यूह के स्थिति से प्राप्त होता है

k का विशेषता बहुपद

यदि , ईजेनवेक्टर के साथ वर्ग आव्यूह का एक eigenvalue है तो , का एक ईजेनवैल्यू है क्योंकि

बहुलताओं को सहमत होते हुए भी दिखाया जा सकता है, और यह इसके समिष्ट पर किसी भी बहुपद का सामान्यीकरण करता है :[8]

प्रमेय —  माना एक वर्ग हो आव्यूह और माना एक बहुपद हो. यदि की विशेषता बहुपद एक गुणनखंडन है

फिर आव्यूह का विशेषता बहुपद द्वारा दिया गया है

अर्थात् बीजगणितीय बहुलता में के बीजगणितीय गुणन के योग के समान है ऐसा है कि विशेष रूप से, और यहाँ बहुपद है उदाहरण के लिए, आव्यूह पर मूल्यांकन किया जाता है इस प्रकार प्रमेय किसी भी क्षेत्र या क्रमविनिमेय वलय पर आव्यूहों और बहुपदों पर प्रयुक्त होता है।[9]

चूँकि, यह धारणा रैखिक कारकों में गुणनखंडन सदैव सत्य नहीं होता है, जब तक कि आव्यूह सम्मिश्र संख्याओं जैसे बीजगणितीय रूप से संवृत क्षेत्र पर नही होती है।

Proof

यह प्रमाण केवल सम्मिश्र संख्याओं (या किसी बीजगणितीय रूप से संवृत क्षेत्र) पर आव्यूहों और बहुपदों पर प्रयुक्त होता है। उस स्थिति में, किसी भी वर्ग अक्व्युह के अभिलक्षणिक बहुपद को सदैव इस प्रकार गुणनखंडित किया जा सकता है

जहाँ के इजेनवैल्यू हैं संभवतः दोहराया गया. इसके अतिरिक्त, जॉर्डन अपघटन प्रमेय गारंटी देता है कि कोई भी वर्ग आव्यूह के रूप में विघटित किया जा सकता है जहाँ एक विपरीत आव्यूह है और ऊपरी त्रिकोणीय है साथ विकर्ण पर (प्रत्येक इजेनवैल्यू को उसकी बीजगणितीय बहुलता के अनुसार दोहराया जाता है)। (जॉर्डन सामान्य रूप में सशक्त गुण हैं, किन्तु ये पर्याप्त हैं; वैकल्पिक रूप से शूर अपघटन का उपयोग किया जा सकता है, जो कम लोकप्रिय है किन्तु सिद्ध करना कुछ सीमा तक सरल है)।

माना तब

ऊपरी त्रिकोणीय आव्यूह के लिए विकर्ण सहित आव्यूह विकर्ण के साथ ऊपरी त्रिकोणीय है in और इसलिए विकर्ण के साथ ऊपरी त्रिकोणीय है इसलिए, के मान है इसलिए समान है इसमें समान बीजगणितीय बहुलताओं के साथ समान इजेनवैल्यू हैं.

सेक्युलर फलन और सेक्युलर समीकरण

सेक्युलर फलन

सेक्युलर फलन शब्द का प्रयोग उस चीज़ के लिए किया गया है जिसे अब विशेषता बहुपद कहा जाता है (कुछ साहित्य में सेक्युलर फलन शब्द अभी भी प्रयोग किया जाता है)। यह शब्द इस तथ्य से आया है कि जोसेफ लुई लैग्रेंज के दोलन सिद्धांत के अनुसार, विशेषता बहुपद का उपयोग ग्रहों की कक्षाओं की सेक्युलर घटनाओं (एक सदी के समय के मापदंड पर, अर्थात वार्षिक गति की तुलना में धीमी) की गणना करने के लिए किया गया था।

सेक्युलर समीकरण

सेक्युलर समीकरण के कई अर्थ हो सकते हैं.

  • रैखिक बीजगणित में इसका प्रयोग कभी-कभी अभिलाक्षणिक समीकरण के समिष्ट पर किया जाता है।
  • खगोल विज्ञान में यह किसी ग्रह की गति में असमानताओं के परिमाण की बीजगणितीय या संख्यात्मक अभिव्यक्ति है जो छोटी अवधि की असमानताओं की अनुमति के पश्चात् बनी रहती है।[10]
  • इलेक्ट्रॉन की ऊर्जा और उसके तरंग फलन से संबंधित आणविक कक्षीय गणनाओं में विशेषता समीकरण के समिष्ट पर भी इसका उपयोग किया जाता है।

सामान्य साहचर्य बीजगणित के लिए

किसी क्षेत्र में प्रविष्टियों के साथ आव्यूह के विशेषता बहुपद की उपरोक्त परिभाषा उस स्थिति में बिना किसी बदलाव के सामान्यीकरण करती है जब केवल एक क्रमविनिमेय वलय है। गैरीबाल्डी (2004) एक क्षेत्र एफ पर एक परिमित-आयामी (साहचर्य, किन्तु आवश्यक नहीं कि क्रमविनिमेय) बीजगणित के अवयवो के लिए विशेषता बहुपद को परिभाषित करता है और इस व्यापकता में विशेषता बहुपद के मानक गुणों को सिद्ध करता है।

यह भी देखें

संदर्भ

  1. Guillemin, Ernst (1953). परिचयात्मक सर्किट सिद्धांत. Wiley. pp. 366, 541. ISBN 0471330663.
  2. Forsythe, George E.; Motzkin, Theodore (January 1952). "रैखिक समीकरणों की प्रणालियों की स्थिति में सुधार के लिए गॉस परिवर्तन का विस्तार" (PDF). American Mathematical Society – Mathematics of Computation. 6 (37): 18–34. doi:10.1090/S0025-5718-1952-0048162-0. Retrieved 3 October 2020.
  3. Frank, Evelyn (1946). "सम्मिश्र गुणांक वाले बहुपदों के शून्यकों पर". Bulletin of the American Mathematical Society. 52 (2): 144–157. doi:10.1090/S0002-9904-1946-08526-2.
  4. "Characteristic Polynomial of a Graph – Wolfram MathWorld". Retrieved August 26, 2011.
  5. Steven Roman (1992). उन्नत रैखिक बीजगणित (2 ed.). Springer. p. 137. ISBN 3540978372.
  6. Proposition 28 in these lecture notes[permanent dead link]
  7. Theorem 4 in these lecture notes
  8. Horn, Roger A.; Johnson, Charles R. (2013). मैट्रिक्स विश्लेषण (2nd ed.). Cambridge University Press. pp. 108–109, Section 2.4.2. ISBN 978-0-521-54823-6.
  9. Lang, Serge (1993). बीजगणित. New York: Springer. p.567, Theorem 3.10. ISBN 978-1-4613-0041-0. OCLC 852792828.
  10. "secular equation". Retrieved January 21, 2010.