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

From Vigyanwiki
Revision as of 17:20, 19 July 2023 by alpha>Indicwiki (Created page with "{{Use American English|date = April 2019}} {{short description|Polynomial whose roots are the eigenvalues of a matrix}} {{About|the characteristic polynomial of a matrix or of...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

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


प्रेरणा

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

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

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

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

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

दूसरे शब्दों में, के eigenvalues A किसी फ़ंक्शन के शून्य हैं

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

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

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

कहाँ को दर्शाता है शिनाख्त सांचा।

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

उदाहरण

मैट्रिक्स के अभिलक्षणिक बहुपद की गणना करना

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


गुण

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

एक के लिए आव्यूह अभिलक्षणिक बहुपद इस प्रकार दिया गया है

बाह्य बीजगणित की भाषा का उपयोग करते हुए, एक का अभिलक्षणिक बहुपद आव्यूह के रूप में व्यक्त किया जा सकता है

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

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

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

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

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

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

कब गैर-एकवचन मैट्रिक्स है|गैर-एकवचन यह परिणाम इस तथ्य से निकलता है और समान आव्यूह हैं:

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

अधिक सामान्यतः, यदि आदेश का एक मैट्रिक्स है और आदेश का एक मैट्रिक्स है तब है और है मैट्रिक्स, और एक के पास है

इसे साबित करने के लिए कोई मान सकता है यदि आवश्यक हो तो आदान-प्रदान करके, और फिर, बॉर्डरिंग करके द्वारा तल पर शून्य की पंक्तियाँ, और दाईं ओर, द्वारा, शून्य के स्तंभ, एक को दो मिलते हैं मैट्रिक्स और ऐसा है कि और के बराबर है द्वारा सीमाबद्ध शून्य की पंक्तियाँ और स्तंभ. परिणाम वर्ग आव्यूहों के मामले से, के विशिष्ट बहुपदों की तुलना करके प्राप्त होता है और


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

अगर एक वर्ग मैट्रिक्स का एक eigenvalue है eigenvector के साथ तब का एक प्रतिरूप है क्योंकि

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

Theorem —  Let be a square matrix and let be a polynomial. If the characteristic polynomial of has a factorization

then the characteristic polynomial of the matrix is given by

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

Proof

This proof only applies to matrices and polynomials over complex numbers (or any algebraically closed field). In that case, the characteristic polynomial of any square matrix can be always factorized as

where are the eigenvalues of possibly repeated. Moreover, the Jordan decomposition theorem guarantees that any square matrix can be decomposed as where is an invertible matrix and is upper triangular with on the diagonal (with each eigenvalue repeated according to its algebraic multiplicity). (The Jordan normal form has stronger properties, but these are sufficient; alternatively the Schur decomposition can be used, which is less popular but somewhat easier to prove).

Let Then

For an upper triangular matrix with diagonal the matrix is upper triangular with diagonal in and hence is upper triangular with diagonal Therefore, the eigenvalues of are Since is similar to it has the same eigenvalues, with the same algebraic multiplicities.

धर्मनिरपेक्ष कार्य और धर्मनिरपेक्ष समीकरण

धर्मनिरपेक्ष कार्य

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

धर्मनिरपेक्ष समीकरण

धर्मनिरपेक्ष समीकरण के कई अर्थ हो सकते हैं.

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

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

मैट्रिक्स की विशेषता बहुपद की उपरोक्त परिभाषा किसी फ़ील्ड में प्रविष्टियों के साथ जब मामले में कोई बदलाव किए बिना सामान्यीकरण किया जाता है केवल एक क्रमविनिमेय वलय है। Garibaldi (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.