जॉर्डन सामान्य रूप

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

रैखिक बीजगणित में, जॉर्डन सामान्य रूप, जिसे जॉर्डन विहित रूप (जेसीएफ) के रूप में भी जाना जाता है,

विशेष रूप का ऊपरी त्रिकोणीय मैट्रिक्स है जिसे जॉर्डन मैट्रिक्स कहा जाता है जो कुछ आधार (रैखिक बीजगणित) के संबंध में परिमित-आयामी सदिश स्थल पर रैखिक ऑपरेटर का प्रतिनिधित्व करता है। ऐसे मैट्रिक्स में प्रत्येक गैर-शून्य ऑफ-विकर्ण प्रविष्टि 1 के बराबर होती है, मुख्य विकर्ण के ठीक ऊपर ( अतिविकर्ण पर), और बाईं ओर और उनके नीचे समान विकर्ण प्रविष्टियां होती हैं।

मान लीजिए V क्षेत्र (गणित) K पर सदिश समष्टि है। फिर आधार जिसके संबंध में मैट्रिक्स का आवश्यक रूप मौजूद है, मौजूद है यदि और केवल यदि मैट्रिक्स के सभी इगनवैल्यूज ​​K में हैं, या समकक्ष यदि ऑपरेटर की विशेषता बहुपद है K पर रैखिक गुणनखंडों में विभाजित हो जाता है। यदि K बीजगणितीय रूप से बंद है (उदाहरण के लिए, यदि यह जटिल संख्याओं का क्षेत्र है) तो यह स्थिति हमेशा संतुष्ट होती है। सामान्य रूप की विकर्ण प्रविष्टियाँ इगनवैल्यूज ​​​​(ऑपरेटर के) हैं, और प्रत्येक इगनवैल्यू होने की संख्या को इगनवैल्यू की बीजगणितीय बहुलता कहा जाता है। <संदर्भ नाम = नेरिंग 1970 118-127 >Nering (1970, pp. 118–127)</ref>

यदि ऑपरेटर मूल रूप से वर्ग मैट्रिक्स एम द्वारा दिया गया है, तो इसके जॉर्डन सामान्य रूप को एम का जॉर्डन सामान्य रूप भी कहा जाता है। किसी भी वर्ग मैट्रिक्स में जॉर्डन सामान्य रूप होता है यदि गुणांक के क्षेत्र को सभी इगनवैल्यूज ​​​​से युक्त तक बढ़ाया जाता है आव्यूह। इसके नाम के बावजूद, किसी दिए गए एम के लिए सामान्य रूप पूरी तरह से अद्वितीय नहीं है, क्योंकि यह जॉर्डन ब्लॉक से बना ब्लॉक विकर्ण मैट्रिक्स है, जिसका क्रम निश्चित नहीं है; समान इगनवैल्यू के लिए ब्लॉकों को साथ समूहित करना पारंपरिक है, लेकिन इगनवैल्यूज ​​​​के बीच कोई क्रम नहीं लगाया जाता है, न ही किसी दिए गए इगनवैल्यू के लिए ब्लॉकों के बीच, हालांकि बाद वाले को कमजोर रूप से घटते आकार के आधार पर ऑर्डर किया जा सकता है।<रेफ नाम = नेरिंग 1970 118-127 />

जॉर्डन-चेवेल्ली अपघटन उस आधार के संबंध में विशेष रूप से सरल है जिसके लिए ऑपरेटर अपने जॉर्डन को सामान्य रूप लेता है। विकर्णीय मैट्रिक्स के लिए विकर्ण रूप, उदाहरण के लिए सामान्य मैट्रिक्स, जॉर्डन सामान्य रूप का विशेष मामला है। जॉर्डन सामान्य रूप का नाम केमिली जॉर्डन के नाम पर रखा गया है, जिन्होंने पहली बार 1870 में जॉर्डन अपघटन प्रमेय को बताया था।

सिंहावलोकन

संकेतन

कुछ पाठ्यपुस्तकें उपविकर्ण पर होती हैं; यानी, सुपरविकर्ण के बजाय मुख्य विकर्ण के ठीक नीचे। आइगेनवैल्यू अभी भी मुख्य विकर्ण पर हैं।

प्रेरणा

n × n मैट्रिक्स A विकर्णीय मैट्रिक्स है यदि और केवल यदि ईजेनस्पेस के आयामों का योग n है। या, समकक्ष रूप से, यदि और केवल यदि A में n रैखिक रूप से स्वतंत्र इगनवेक्टर्स हैं। सभी आव्यूह विकर्णीय नहीं होते; वे आव्यूह जो विकर्णीय नहीं होते, दोषपूर्ण आव्यूह आव्यूह कहलाते हैं। निम्नलिखित मैट्रिक्स पर विचार करें:

$A=\left[{\begin{array}{*{20}{r}}5&4&2&1\\[2pt]0&1&-1&-1\\[2pt]-1&-1&3&0\\[2pt]1&1&-1&2\end{array}}\right].$

बहुलता सहित, A के इगनवैल्यूज ​​​​λ = 1, 2, 4, 4 हैं। इगनवैल्यू 4 के अनुरूप इगनस्पेस का Hamel आयाम 1 (और 2 नहीं) है, इसलिए A विकर्णीय नहीं है। हालाँकि, व्युत्क्रमणीय मैट्रिक्स P इस प्रकार है कि J = P⁻¹एपी, कहां

$J={\begin{bmatrix}1&0&0&0\\[2pt]0&2&0&0\\[2pt]0&0&4&1\\[2pt]0&0&0&4\end{bmatrix}}.$

गणित का सवाल $J$ लगभग विकर्ण है. यह ए का जॉर्डन सामान्य रूप है। नीचे दिया गया अनुभाग #उदाहरण गणना का विवरण भरता है।

संमिश्र आव्यूह

सामान्य तौर पर, वर्ग जटिल मैट्रिक्स ए ब्लॉक विकर्ण मैट्रिक्स के समान (रैखिक बीजगणित) होता है

$J={\begin{bmatrix}J_{1}&\;&\;\\\;&\ddots &\;\\\;&\;&J_{p}\end{bmatrix}}$

जहां प्रत्येक ब्लॉक जे_iप्रपत्र का वर्ग मैट्रिक्स है

$J_{i}={\begin{bmatrix}\lambda _{i}&1&\;&\;\\\;&\lambda _{i}&\ddots &\;\\\;&\;&\ddots &1\\\;&\;&\;&\lambda _{i}\end{bmatrix}}.$

तो व्युत्क्रमणीय मैट्रिक्स P मौजूद है जैसे कि P⁻¹AP = J ऐसा है कि J की केवल गैर-शून्य प्रविष्टियाँ विकर्ण और अतिविकर्ण पर हैं। J को A का 'जॉर्डन सामान्य रूप' कहा जाता है। प्रत्येक J_i ए का जॉर्डन ब्लॉक कहा जाता है। किसी दिए गए जॉर्डन ब्लॉक में, सुपरडायगोनल पर प्रत्येक प्रविष्टि 1 है।

इस परिणाम को मानते हुए, हम निम्नलिखित गुण निकाल सकते हैं:

• बहुलताओं की गणना करते हुए, J के इगनवैल्यूज , और इसलिए A के, विकर्ण प्रविष्टियाँ हैं।
• इगनवैल्यू λ दिया गया है_i, इसकी ज्यामितीय बहुलता ker(A − λ का आयाम है_i I), जहां I पहचान मैट्रिक्स है, और यह λ के अनुरूप जॉर्डन ब्लॉक की संख्या है_i.
• इगनवैल्यू λ के अनुरूप सभी जॉर्डन ब्लॉकों के आकार का योग_i इसकी बीजगणितीय बहुलता है.* A विकर्णीय है यदि और केवल यदि, A के प्रत्येक इगनवैल्यू λ के लिए, इसकी ज्यामितीय और बीजगणितीय बहुलताएं मेल खाती हैं। विशेष रूप से, इस मामले में जॉर्डन ब्लॉक 1 × 1 मैट्रिक्स हैं; अर्थात् अदिश।
• λ के अनुरूप जॉर्डन ब्लॉक λI + N के रूप का है, जहां N निलपोटेंट मैट्रिक्स है जिसे N के रूप में परिभाषित किया गया है_ij =डी_i,j−1 (जहाँ δ क्रोनकर डेल्टा है)। एफ(ए) की गणना करते समय एन की शून्यक्षमता का उपयोग किया जा सकता है जहां एफ जटिल विश्लेषणात्मक कार्य है। उदाहरण के लिए, सिद्धांत रूप में जॉर्डन फॉर्म घातीय exp(A) के लिए बंद-फॉर्म अभिव्यक्ति दे सकता है।
• कम से कम j आकार के λ के अनुरूप जॉर्डन ब्लॉकों की संख्या मंद केर (A − λI) है^j − dim ker(A − λI)^ज−1. इस प्रकार, j आकार के जॉर्डन ब्लॉकों की संख्या है

  $2\dim \ker(A-\lambda _{i}I)^{j}-\dim \ker(A-\lambda _{i}I)^{j+1}-\dim \ker(A-\lambda _{i}I)^{j-1}$

• इगनवैल्यू λ दिया गया है_i, न्यूनतम बहुपद में इसकी बहुलता इसके सबसे बड़े जॉर्डन ब्लॉक के आकार के बराबर है।

उदाहरण

मैट्रिक्स पर विचार करें $A$ पिछले अनुभाग के उदाहरण से. जॉर्डन सामान्य रूप कुछ मैट्रिक्स समानता द्वारा प्राप्त किया जाता है:

$P^{-1}AP=J;$ वह है, $AP=PJ.$

होने देना $P$ कॉलम वैक्टर हैं $p_{i}$, $i=1,\ldots ,4$, तब

$A{\begin{bmatrix}p_{1}&p_{2}&p_{3}&p_{4}\end{bmatrix}}={\begin{bmatrix}p_{1}&p_{2}&p_{3}&p_{4}\end{bmatrix}}{\begin{bmatrix}1&0&0&0\\0&2&0&0\\0&0&4&1\\0&0&0&4\end{bmatrix}}={\begin{bmatrix}p_{1}&2p_{2}&4p_{3}&p_{3}+4p_{4}\end{bmatrix}}.$

हमने देखा कि

$(A-1I)p_{1}=0$

$(A-2I)p_{2}=0$

$(A-4I)p_{3}=0$

$(A-4I)p_{4}=p_{3}.$

के लिए $i=1,2,3$ अपने पास $p_{i}\in \ker(A-\lambda _{i}I)$, वह है, $p_{i}$ का इगनवेक्टर है $A$ इगनवैल्यू के अनुरूप $\lambda _{i}$. के लिए $i=4$, दोनों पक्षों को गुणा करने पर $(A-4I)$ देता है

$(A-4I)^{2}p_{4}=(A-4I)p_{3}.$

लेकिन $(A-4I)p_{3}=0$, इसलिए

$(A-4I)^{2}p_{4}=0.$

इस प्रकार, $p_{4}\in \ker(A-4I)^{2}.$ वेक्टर जैसे $p_{4}$ A के सामान्यीकृत इगनवेक्टर्स कहलाते हैं।

उदाहरण: सामान्य रूप प्राप्त करना

यह उदाहरण दिखाता है कि किसी दिए गए मैट्रिक्स के जॉर्डन सामान्य रूप की गणना कैसे करें।

मैट्रिक्स पर विचार करें

$A=\left[{\begin{array}{rrrr}5&4&2&1\\0&1&-1&-1\\-1&-1&3&0\\1&1&-1&2\end{array}}\right]$

जिसका उल्लेख लेख की शुरुआत में किया गया है।

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

${\begin{aligned}\chi (\lambda )&=\det(\lambda I-A)\\&=\lambda ^{4}-11\lambda ^{3}+42\lambda ^{2}-64\lambda +32\\&=(\lambda -1)(\lambda -2)(\lambda -4)^{2}.\,\end{aligned}}$

इससे पता चलता है कि बीजगणितीय बहुलता के अनुसार इगनवैल्यूज ​​​​1, 2, 4 और 4 हैं। इगनवैल्यू 1 के अनुरूप इगनस्पेस समीकरण Av = λv को हल करके पाया जा सकता है। यह कॉलम वेक्टर v = (−1, 1, 0, 0) द्वारा फैलाया गया है^टी. इसी प्रकार, इगनवैल्यू 2 के संगत इगनस्पेस को w = (1, −1, 0, 1) द्वारा फैलाया गया है।^टी. अंत में, इगनवैल्यू 4 के अनुरूप इगनस्पेस भी एक-आयामी है (भले ही यह दोहरा इगनवैल्यू है) और x = (1, 0, −1, 1) द्वारा फैला हुआ है^टी. तो, तीनों इगनवैल्यूज ​​​​में से प्रत्येक की ज्यामितीय बहुलता (यानी, दिए गए इगनवैल्यू के इगनस्पेस का आयाम) है। इसलिए, 4 के बराबर दो इगनवैल्यूज ​​​​ एकल जॉर्डन ब्लॉक के अनुरूप हैं, और मैट्रिक्स ए का जॉर्डन सामान्य रूप मैट्रिक्स जोड़ # प्रत्यक्ष योग है

$J=J_{1}(1)\oplus J_{1}(2)\oplus J_{2}(4)={\begin{bmatrix}1&0&0&0\\0&2&0&0\\0&0&4&1\\0&0&0&4\end{bmatrix}}.$

तीन सामान्यीकृत ईजेनवेक्टर#जॉर्डन श्रृंखलाएं हैं। दो की लंबाई है: {v} और {w}, जो क्रमशः इगनवैल्यूज ​​​​1 और 2 के अनुरूप हैं। इगनवैल्यू 4 के अनुरूप लंबाई दो की श्रृंखला है। इस श्रृंखला को खोजने के लिए, गणना करें

$\ker(A-4I)^{2}=\operatorname {span} \,\left\{{\begin{bmatrix}1\\0\\0\\0\end{bmatrix}},\left[{\begin{array}{r}1\\0\\-1\\1\end{array}}\right]\right\}$

जहां I 4 × 4 पहचान मैट्रिक्स है। उपरोक्त अवधि में वेक्टर चुनें जो A − 4I के कर्नेल में नहीं है; उदाहरण के लिए, y = (1,0,0,0)^टी. अब, (A − 4I)y = x और (A − 4I)x = 0, इसलिए {y, x} इगनवैल्यू 4 के अनुरूप लंबाई दो की श्रृंखला है।

संक्रमण मैट्रिक्स P इस प्रकार है कि P⁻¹AP = J इन सदिशों को दूसरे के बगल में रखकर इस प्रकार बनाया जाता है

$P=\left[{\begin{array}{c|c|c|c}v&w&x&y\end{array}}\right]=\left[{\begin{array}{rrrr}-1&1&1&1\\1&-1&0&0\\0&0&-1&0\\0&1&1&0\end{array}}\right].$

गणना से पता चलता है कि समीकरण पी⁻¹एपी = जे वास्तव में कायम है।

$P^{-1}AP=J={\begin{bmatrix}1&0&0&0\\0&2&0&0\\0&0&4&1\\0&0&0&4\end{bmatrix}}.$

यदि हमने उस क्रम को बदल दिया है जिसमें चेन वैक्टर दिखाई देते हैं, अर्थात, v, w और {x, y} के क्रम को साथ बदलते हुए, जॉर्डन ब्लॉकों को आपस में बदल दिया जाएगा। हालाँकि, जॉर्डन रूप जॉर्डन रूपों के समकक्ष हैं।

सामान्यीकृत ईजेनवेक्टर

Main article: सामान्यीकृत ईजेनवेक्टर

इगनवैल्यू λ दिया गया है, प्रत्येक संबंधित जॉर्डन ब्लॉक रैखिक रूप से स्वतंत्र वैक्टर पी की 'जॉर्डन श्रृंखला' को जन्म देता है_i, i = 1, ..., b, जहां b जॉर्डन ब्लॉक का आकार है। 'जनरेटर', या 'लीड वेक्टर', पी_bश्रृंखला का सामान्यीकृत इगनवेक्टर है जैसे कि (A − λ'I')^बीप_b = 0. वेक्टर पी₁ = (ए - λ'आई')^b−1p_b λ के अनुरूप साधारण इगनवेक्टर है। सामान्य तौर पर, पी_i पी की पूर्व छवि है_i−1 A - λ'I' के अंतर्गत। तो लीड वेक्टर A - λ'I' से गुणा करके श्रृंखला उत्पन्न करता है।इसलिए यह कथन कि प्रत्येक वर्ग मैट्रिक्स ए को जॉर्डन में सामान्य रूप में रखा जा सकता है, इस दावे के बराबर है कि अंतर्निहित वेक्टर स्थान का आधार जॉर्डन श्रृंखलाओं से बना है।

प्रमाण

हम प्रेरण द्वारा प्रमाण देते हैं कि किसी भी जटिल-मूल्य वर्ग मैट्रिक्स ए को जॉर्डन सामान्य रूप में रखा जा सकता है। चूँकि अंतर्निहित सदिश स्थान दिखाया जा सकता है इगनवैल्यूज ​​​​से जुड़े अपरिवर्तनीय उप-स्थानों का प्रत्यक्ष योग होने के लिए, A को केवल इगनवैल्यू λ माना जा सकता है। 1×1 मामला मामूली है. मान लीजिए A n × n मैट्रिक्स है। A - λ'I' के फलन की सीमा, जिसे Ran(A - λ'I द्वारा निरूपित किया जाता है, A का अपरिवर्तनीय उपस्थान है। इसके अलावा, चूँकि λ A का इगनवैल्यू है, Ran(A - λ) का आयाम 'I'), r, n से बिल्कुल कम है, इसलिए, आगमनात्मक परिकल्पना के अनुसार, Ran(A - λ'I') का आधार है (रैखिक बीजगणित) {p₁, …, पीr}जॉर्डन श्रृंखलाओं से बना है।

इसके बाद कर्नेल (रैखिक बीजगणित) पर विचार करें, यानी, रैखिक उपस्थान केर (ए − λ'I')। अगर

$\operatorname {Ran} (A-\lambda I)\cap \ker(A-\lambda I)=\{0\},$

वांछित परिणाम रैंक-शून्यता प्रमेय से तुरंत प्राप्त होता है। (यह मामला होगा, उदाहरण के लिए, यदि ए हर्मिटियन मैट्रिक्स था।)

अन्यथा, यदि

$Q=\operatorname {Ran} (A-\lambda I)\cap \ker(A-\lambda I)\neq \{0\},$

माना Q का आयाम s ≤ r है। Q में प्रत्येक वेक्टर इगनवेक्टर है, इसलिए Ran(A − λ'I') में s रैखिक रूप से स्वतंत्र इगनवेक्टर्स के अनुरूप s जॉर्डन श्रृंखला होनी चाहिए। इसलिए आधार {p₁, ..., पी_r} में s सदिश होना चाहिए, मान लीजिए {p_r−s+1, ..., पी_r}, जो इन जॉर्डन श्रृंखलाओं के प्रमुख वैक्टर हैं। हम इन लीड वैक्टरों की पूर्वछवियाँ लेकर श्रृंखलाओं का विस्तार कर सकते हैं। (यह मुख्य कदम है।) चलो q_i ऐसा हो कि

$\;(A-\lambda I)q_{i}=p_{i}{\mbox{ for }}i=r-s+1,\ldots ,r.$

सेट {q_i}, रैखिक रूप से स्वतंत्र सेट {p. की पूर्वछवियाँ होने के नाते_i}ए - λ 'आई' के तहत, भी रैखिक रूप से स्वतंत्र है। स्पष्टतः q का कोई गैर-तुच्छ रैखिक संयोजन नहीं है_i {p के लिए ker(A − λI) में स्थित हो सकता है_i}_{i=r−s+1, ..., r} रैखिक रूप से स्वतंत्र है. इसके अलावा, q का कोई गैर-तुच्छ रैखिक संयोजन नहीं है_i Ran(A − λ 'I') से संबंधित हो सकता है क्योंकि तब यह मूल वैक्टर p का रैखिक संयोजन होगा₁, ..., पी_r, और इस रैखिक संयोजन में मूल वैक्टर का योगदान होगा जो कि केर (ए - λI) में नहीं है क्योंकि अन्यथा यह केर (ए - λI) से संबंधित होगा। दोनों रैखिक संयोजनों पर ए - λI की कार्रवाई तब लीड वैक्टर के गैर-तुच्छ रैखिक संयोजन और गैर-लीड वैक्टर के ऐसे रैखिक संयोजन की समानता उत्पन्न करेगी, जो (पी) की रैखिक स्वतंत्रता का खंडन करेगी।₁, ..., पी_r).

अंततः, हम कोई भी रैखिकतः स्वतंत्र समुच्चय {z चुन सकते हैं₁, ..., साथ_t} जिसका प्रक्षेपण फैला हुआ है

$\ker(A-\lambda I)/Q.$

प्रत्येक z_i 1 लंबाई की जॉर्डन श्रृंखला बनाता है। निर्माण से, तीन सेटों का मिलन {पी₁, ..., पी_r}, {क्यू_{r−s +1}, ..., क्यू_r}, और {z₁, ..., साथ_t} रैखिक रूप से स्वतंत्र है, और इसके सदस्य मिलकर जॉर्डन श्रृंखला बनाते हैं। अंत में, रैंक-शून्यता प्रमेय द्वारा, संघ की कार्डिनैलिटी n है। दूसरे शब्दों में, हमें जॉर्डन श्रृंखलाओं से बना आधार मिला है, और इससे पता चलता है कि ए को जॉर्डन के सामान्य रूप में रखा जा सकता है।

विशिष्टता

यह दिखाया जा सकता है कि किसी दिए गए मैट्रिक्स ए का जॉर्डन सामान्य रूप जॉर्डन ब्लॉक के क्रम तक अद्वितीय है।

आइजेनवैल्यू की बीजगणितीय और ज्यामितीय बहुलताओं को जानना ए के जॉर्डन सामान्य रूप को निर्धारित करने के लिए पर्याप्त नहीं है। यह मानते हुए कि आइजेनवैल्यू λ की बीजगणितीय बहुलता एम(λ) ज्ञात है, जॉर्डन फॉर्म की संरचना को रैंकों का विश्लेषण करके पता लगाया जा सकता है। शक्तियां (ए - λI)^एम(λ). इसे देखने के लिए, मान लीजिए कि n × n मैट्रिक्स A का केवल इगनवैल्यू λ है। तो m(λ) = n. सबसे छोटा पूर्णांक k₁ ऐसा है कि

$(A-\lambda I)^{k_{1}}=0$

ए के जॉर्डन रूप में सबसे बड़े जॉर्डन ब्लॉक का आकार है (यह संख्या k₁ इसे λ का सूचकांक भी कहा जाता है। निम्नलिखित अनुभाग में चर्चा देखें।) की रैंक

$(A-\lambda I)^{k_{1}-1}$

k आकार के जॉर्डन ब्लॉकों की संख्या है₁. इसी प्रकार, का पद

$(A-\lambda I)^{k_{1}-2}$

k आकार के जॉर्डन ब्लॉकों की संख्या दोगुनी है₁ साथ ही k आकार के जॉर्डन ब्लॉकों की संख्या₁- 1. सामान्य मामला समान है।

इसका उपयोग जॉर्डन रूप की विशिष्टता दिखाने के लिए किया जा सकता है। चलो जे₁ और जे₂ ए के दो जॉर्डन सामान्य रूप बनें। फिर जे₁ और जे₂ समान हैं और इनका स्पेक्ट्रम भी समान है, जिसमें आइगेनवैल्यू की बीजगणितीय बहुलताएं भी शामिल हैं। पिछले पैराग्राफ में उल्लिखित प्रक्रिया का उपयोग इन मैट्रिक्स की संरचना निर्धारित करने के लिए किया जा सकता है। चूँकि मैट्रिक्स की रैंक समानता परिवर्तन द्वारा संरक्षित होती है, जे के जॉर्डन ब्लॉकों के बीच आपत्ति होती है₁ और जे₂. यह कथन की विशिष्टता वाले भाग को सिद्ध करता है।

वास्तविक आव्यूह

यदि A वास्तविक मैट्रिक्स है, तो इसका जॉर्डन रूप अभी भी गैर-वास्तविक हो सकता है। जैसा कि ऊपर चर्चा की गई है, इसे जटिल इगनवैल्यूज ​​​​और सुपरडायगोनल पर प्रस्तुत करने के बजाय, वास्तविक उलटा मैट्रिक्स P मौजूद है जैसे कि P⁻¹एपी = जे वास्तविक ब्लॉक विकर्ण मैट्रिक्स है जिसमें प्रत्येक ब्लॉक वास्तविक जॉर्डन ब्लॉक है। वास्तविक जॉर्डन ब्लॉक या तो जटिल जॉर्डन ब्लॉक के समान होता है (यदि संबंधित इगनवैल्यू $\lambda _{i}$ वास्तविक है), या स्वयं ब्लॉक मैट्रिक्स है, जिसमें 2×2 ब्लॉक शामिल हैं (गैर-वास्तविक आइजेनवैल्यू के लिए)। $\lambda _{i}=a_{i}+ib_{i}$ फॉर्म की दी गई बीजगणितीय बहुलता के साथ)।

$C_{i}=\left[{\begin{array}{rr}a_{i}&-b_{i}\\b_{i}&a_{i}\\\end{array}}\right]$

और गुणन का वर्णन करें $\lambda _{i}$ जटिल तल में. सुपरडायगोनल ब्लॉक 2×2 पहचान मैट्रिक्स हैं और इसलिए इस प्रतिनिधित्व में मैट्रिक्स आयाम जटिल जॉर्डन फॉर्म से बड़े हैं। पूर्ण वास्तविक जॉर्डन ब्लॉक द्वारा दिया गया है

$J_{i}={\begin{bmatrix}C_{i}&I&&\\&C_{i}&\ddots &\\&&\ddots &I\\&&&C_{i}\end{bmatrix}}.$

यह वास्तविक जॉर्डन स्वरूप जटिल जॉर्डन स्वरूप का परिणाम है। वास्तविक मैट्रिक्स के लिए गैर-वास्तविक ईजेनवेक्टर और सामान्यीकृत ईजेनवेक्टर को हमेशा जटिल संयुग्म जोड़े बनाने के लिए चुना जा सकता है। वास्तविक और काल्पनिक भाग (वेक्टर और उसके संयुग्म का रैखिक संयोजन) लेते हुए, नए आधार के संबंध में मैट्रिक्स का यह रूप है।

फ़ील्ड में प्रविष्टियों के साथ मैट्रिक्स

जॉर्डन घटना को किसी भी वर्गीकृत मैट्रिक्स M के लिए विस्तारित किया जा सकता है जिसके अंश क्षेत्र K में होते हैं। परिणाम के अनुसार, किसी भी M को योग के रूप में लिखा जा सकता है, जहां D अर्धसरल ऑपरेटर है, N शून्यभूत है, और DN = ND है। इसे जॉर्डन-चेवली विघटन कहा जाता है। जब भी K M के इजनमानों को सम्मिलित करता है, विशेष रूप से जब K बीजगणितीय बंद होता है, नियमित रूप जॉर्डन-चेवली विघटन को जॉर्डन ब्लॉकों के प्रत्यक्ष योग के रूप में स्पष्ट रूप से व्यक्त किया जा सकता है।

K को चरण संख्याओं के रूप में अंशों की ज्यामिति जहां 1 ≤ k ≤ m के लिए (M − λI)^k के कर्नलों की आयामों को जानना, एम के जॉर्डन रूप को निर्धारित करने में सहायता करता है, यहां m ईजनमान की बहुपदिता है। हम विचार करके K[x]-मॉड्यूल के रूप में उपस्थित वेक्टर स्थान V को K-रेखांकितता के रूप में देख सकते हैं, जिसमें x की क्रिया को M के अनुप्रयोग के रूप में माना जाता है और K-रेखांकितता द्वारा विस्तार किया जाता है। तब पॉलिनोमियल (x − λ)^k M के तत्व विभाजक होते हैं, और जॉर्डन नियमित रूप को प्राथमिकताओं से जुड़े ब्लॉकों के लिए प्रस्तुत करने में लगे होते हैं।

जॉर्डन सामान्य रूप का प्रमाण आमतौर पर प्रमुख आदर्श डोमेन पर अंतिम रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय के रिंग (गणित) K[x] के अनुप्रयोग के रूप में किया जाता है, जिसका यह परिणाम होता है।

परिणाम

जॉर्डन नियमित रूप को स्वतंत्रता सूत्र का तथ्य के रूप में देखा जा सकता है जो वर्गीकरण मैट्रिक्सों के लिए होता है, और इसलिए रूप से कई महत्वपूर्ण परिणाम रूप में उसके परिणाम के रूप में देखे जा सकते हैं।

स्पेक्ट्रल मैपिंग प्रमेय

जॉर्डन नियमित रूप का उपयोग करके, सीधी गणना से प्रारम्भिक विभाजक के लिए स्पेक्ट्रल मैपिंग सूत्र मिलता है: A n × n मैट्रिक्स हो, जिसके इजनमान हैं λ₁, ..., λ_n, तो किसी भी बहुपद p के लिए, p(A) के इजनमान होंगे p(λ₁), ..., p(λ_n)।

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

A का लक्षणिक बहुपद है $p_{A}(\lambda )=\det(\lambda I-A)$ समान मैट्रिक्सों का ही लक्षणिक बहुपद होता है। इसलिए ${\textstyle p_{A}(\lambda )=p_{J}(\lambda )=\prod _{i}(\lambda -\lambda _{i})^{m_{i}}}$यहां $\lambda _{i}$ का ith मूल है ${\textstyle p_{J}}$ और $m_{i}$ इसकी अवधिकता है, क्योंकि यह स्पष्ट रूप से A के जॉर्डन रूप का लक्षणिक बहुपद है।

केली-हैमिल्टन प्रमेय

केली-हैमिल्टन उपन्यास के अनुसार, हर मैट्रिक्स A अपनी लक्षणिक समीकरण को पूरा करती है: यदि p A A का लक्षणिक बहुपद है, तो $p_{A}(A)=0$ यह जॉर्डन रूप में सीधी गणना के माध्यम से दिखाया जा सकता है, क्योंकि यदि λ ई अवधिकता का इजनमान है, तो इसका जॉर्डन खंड J ई निश्चित रूप से संपूर्ण करता है $(J_{i}-\lambda _{i}I)^{m_{i}}=0$ अगर यहां संपूर्ण खंड को एक-दूसरे को प्रभावित नहीं करते हैं, तो $(A-\lambda _{i}I)^{m_{i}}$ का i वाला नुकताचीन खंड होता है $(J_{i}-\lambda _{i}I)^{m_{i}}=0$। इसलिए ${\textstyle p_{A}(A)=\prod _{i}(A-\lambda _{i}I)^{m_{i}}=0}$.

जॉर्डन रूप को यहां माना जा सकता है कि यह मैट्रिक्स की मूलभूत ज्यामिति का क्षेत्र होता है, उदाहरण के लिए p के विभाजन क्षेत्र के ऊर्ध्वाधिक्य के लिए; इस क्षेत्र का विस्तार मैट्रिक्स p(A) को किसी भी तरीके से नहीं बदलता है।

न्यूनतम बहुपद

वर्गीकृत मैट्रिक्स A का न्यूनतम बहुपद (रैखिक बीजगणित) P वह एकमान्य मोनिक बहुपद है, जिसकी अवधि m कम से कम होती है, ऐसा कि P(A) = 0 होता है। वैकल्पिक रूप से, दी गई A को समाप्त करने वाले बहुपदों का सेट बहुपदों का आईडीयल I बनाता है, C[x] में बहुपदों के प्रमुख आईडीयल डोमेन, जिसमें घटाक संख्याओं के अनुरूप। I को उत्पन्न करने वाला मोनिक तत्व बिल्कुल P होता है।

λ₁, …, λ_q को A के अलग-अलग इजनमानों का प्रतिनिधित्व करने वाले प्रतिष्ठित इजनमानों का आकार si होने पर प्रकट है। जॉर्डन रूप से स्पष्ट है कि A के न्यूनतम बहुपद का डिग्री Σs_i होता है।

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

प्रारंभिक विभाजक का डिग्री उससे संबंधित जॉर्डन खंड का आकार होता है, इसलिए उससे संबंधित नियामक उपस्थिति का आयाम। यदि सभी प्रारंभिक विभाजक रैखिक होते हैं, तो A वैज्ञानिक होता है।

अपरिवर्तनीय उप-स्थान अपघटन

n × n मैट्रिक्स A का जॉर्डन रूप खंडगदीय होता है, और इसलिए n आयामी यूक्लिडीय स्थान का स्वतंत्र उपविभाजन देता है। प्रत्येक जॉर्डन खंड J_i का प्रतिनिधित्व करने वाला अविभाज्य उपस्थान X_i होता है। चिह्नित रूप में, हम लिखते हैं

$\mathbb {C} ^{n}=\bigoplus _{i=1}^{k}X_{i}$

जहां प्रत्येक X_i, संबंधित जॉर्डन श्रृंखला के तारक के अंक की स्पैन होता है, और k जॉर्डन श्रृंखलाओं की संख्या होती है।

जॉर्डन रूप के माध्यम से हम थोड़ा अलग उपविभाजन भी प्राप्त कर सकते हैं। इजनमान λ_i के द्वारा, उसके सबसे बड़े संबंधित जॉर्डन ब्लॉक का आकार s_i को उसकी सूची कहते हैं और v(λi) द्वारा चिह्नित किया जाता है। (इसलिए, न्यूनतम बहुपद का डिग्री सभी सूचकों के योग होता है.) Y_i द्वारा उपस्थान Y_i की परिभाषा कीजिए

$Y_{i}=\ker(\lambda _{i}I-A)^{v(\lambda _{i})}.$

इससे यह उपविभाजन देता है

$\mathbb {C} ^{n}=\bigoplus _{i=1}^{l}Y_{i}$

जहां l, A के विभिन्न इजनमानों की संख्या होती है। अवचित्र रूप से, हम समान इजनमान के लिए जॉर्डन खंड अविभाज्य उपस्थानों को एकत्रित करते हैं। चरम मामले में जब A पहचान मात्रिका का गुणक होता है, तब हमें k = n और l = 1 होता है।

Yi पर परावर्तन को और सभी अन्य Y_j (j ≠ i) के अलावा के रूप में विधायक प्रोजेक्शन कहा जाता है, जिसे v_i पर A का आधारभूत विधायक प्रोजेक्शन के रूप में चिह्नित किया जाता है। स्पेक्ट्रल प्रोजेक्शन एक-दूसरे के साथ अपरस्पष्टता करते हैं, जिसका अर्थ है कि P(λ_i ; A) P(v_j ; A) = 0 यदि i ≠ j है। इसके अलावा, वे A के साथ संघात करते हैं और उनका योग पहचान मात्रिका होता है। J में हर vi को में बदलते हैं और अन्य सभी प्रविष्टियों को शून्य करते हैं, फिर P(vi ; J) मिलता है, और यदि U J U⁻¹ समानता परिवर्तन है जिसके लिए A = U J U⁻¹ होता है, तब P(λ_i ; A) = U P(λ_i ; J) होता है। यह सीमित आयामसे बाहर नहीं होते हैं। कॉम्पैक्ट ऑपरेटर्स के लिए उनके इस्पाती उपयोग के लिए नीचे देखें, और और सामान्य चर्चा के लिए होलोमोर्फिक कार्यात्मक कैलकुलस में नीचे देखें।

दो उपविभाजनों को तुलना करते हुए, ध्यान दें कि सामान्य रूप में, l ≤ k होता है। जब A सामान्य होता है, तो प्रथम उपविभाजन में X_i's उपस्थान एक-आयामी होते हैं और एक-दूसरे के लिए संघाती होते हैं। यह सामान्य ऑपरेटर्स के लिए स्पेक्ट्रल सिद्धांत है। दूसरा उपविभाजन आयामीय उपविभाजनों के लिए अधिक सरलतापूर्ण रूप से सामान्य संकुचित ऑपरेटर्स पर बढ़ता है।

यहां नुकताचीन सूचकांक की कुछ गुणधर्मों का उल्लेख करना दिलचस्प हो सकता है। अधिक सामान्यतः, समान्य संख्या λ के लिए, उसकी सूचकांक को उस नकारात्मक अथवा नानात्विक संख्या ν(λ) की अल्पतम अगतिशाखा के रूप में परिभाषित किया जा सकता है, जो यह साबित करता है कि

$\ker(A-\lambda I)^{\nu (\lambda )}=\ker(A-\lambda I)^{m},\;\forall m\geq \nu (\lambda ).$

इसलिए ν(v) > 0 अगर और केवल अगर λ A का इजनमान है। सीमित आयामी मामले में, ν(λ) ≤ वैज्ञानिक अनुपात है।

समतल (सपाट) सामान्य रूप

जॉर्डन रूप का उपयोग मात्रिकाओं की समकोण तक समरूपता के लिए साधारण रूप खोजने के लिए किया जाता है, जिसके परिणामस्वरूप साधारण मात्रिकाएँ मूल मात्रिका स्थान में न्यूनतम स्थानिकीय डिग्री की बीजगणित संख्याओं का समूह होता है।

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

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

यह बीजगणितिक बंद क्षेत्रों के लिए पीटरिस डौगुलिस ने बीजगणित बंदों के निर्माण को समस्या का हल किया। मात्रिका के अद्वितीय निर्धारित विमान निरूपण का निर्माण जॉर्डन रूप को विचार करके शुरू होता है।

मैट्रिक्स फ़ंक्शंस

Main article: मैट्रिक्स फ़ंक्शन

जॉर्डन श्रृंखला का अनुक्रमणिका विविध और प्रयोजनों के लिए विस्तार को प्रेरित करता है। संख्यात्मक मैट्रिक्सों के लिए, मैट्रिक्स फ़ंक्शन मिलता है; इसे संकुचित ऑपरेटरों और होलोमोर्फिक कार्यात्मक विश्लेषण में विस्तारित किया जा सकता है, जैसा नीचे विवरण दिया गया है।

जॉर्डन साधारण रूप सबसे आसान है मैट्रिक्स फ़ंक्शनों की गणना के लिए (हालांकि यह कंप्यूटर की गणना के लिए सबसे अच्छा चयन नहीं हो सकता है)। f(z) संज्ञात्मकीय तार्किक चर का विश्लेषण हो। n×n जॉर्डन ब्लॉक J पर फ़ंक्शन का लागू होना, जिसमें इजीनमान λ होता है, ऊपरी त्रिकोणीय मैट्रिक्स देता है।

$f(J)={\begin{bmatrix}f(\lambda )&f'(\lambda )&{\tfrac {f''(\lambda )}{2}}&\cdots &{\tfrac {f^{(n-1)}(\lambda )}{(n-1)!}}\\0&f(\lambda )&f'(\lambda )&\cdots &{\tfrac {f^{(n-2)}(\lambda )}{(n-2)!}}\\\vdots &\vdots &\ddots &\ddots &\vdots \\0&0&0&f(\lambda )&f'(\lambda )\\0&0&0&0&f(\lambda )\end{bmatrix}},$

ताकि परिणामी मैट्रिक्स के k-th सुपरडायागोनल के तत्व ${\tfrac {f^{(k)}(\lambda )}{k!}}$ हों। सामान्य जॉर्डन नियमित रूप की मैट्रिक्स के लिए उपरोक्त संवेदनशीलता को प्रत्येक जॉर्डन ब्लॉक पर लागू किया जाना चाहिए।

निम्नलिखित उदाहरण पावर फ़ंक्शन f(z)=zⁿ के अनुप्रयोग को दिखाता है:

${\begin{bmatrix}\lambda _{1}&1&0&0&0\\0&\lambda _{1}&1&0&0\\0&0&\lambda _{1}&0&0\\0&0&0&\lambda _{2}&1\\0&0&0&0&\lambda _{2}\end{bmatrix}}^{n}={\begin{bmatrix}\lambda _{1}^{n}&{\tbinom {n}{1}}\lambda _{1}^{n-1}&{\tbinom {n}{2}}\lambda _{1}^{n-2}&0&0\\0&\lambda _{1}^{n}&{\tbinom {n}{1}}\lambda _{1}^{n-1}&0&0\\0&0&\lambda _{1}^{n}&0&0\\0&0&0&\lambda _{2}^{n}&{\tbinom {n}{1}}\lambda _{2}^{n-1}\\0&0&0&0&\lambda _{2}^{n}\end{bmatrix}},$

यहां बाइनोमियल संख्याओं की परिभाषा है ${\textstyle {\binom {n}{k}}=\prod _{i=1}^{k}{\frac {n+1-i}{i}}}$ यहां n के लिए पूर्णांक पॉजिटिव है, तो इसका मान आम परिभाषा के बराबर होता है। n के लिए नकारात्मक मान के लिए पहचान ${\textstyle {\binom {-n}{k}}=(-1)^{k}{\binom {n+k-1}{k}}}$ का उपयोग किया जा सकता है।

कॉम्पैक्ट ऑपरेटर

जॉर्डन सामान्य फॉर्म के अनुरूप परिणाम बनच स्थान पर कॉम्पैक्ट ऑपरेटरों के लिए होता है। इसलिए कॉम्पैक्ट ऑपरेटरों पर प्रतिबंधित होता है क्योंकि हर बिंदु x को कॉम्पैक्ट ऑपरेटर T के स्पेक्ट्रम का अवधारणीय बिंदु कहा जाता है; एकमात्र अपवाद यह है जब x स्पेक्ट्रम का सीमा बिंदु है। यह सामान्यतः बाध्य ऑपरेटरों के लिए सत्य नहीं है। इस सामान्यीकरण की विचार देने के लिए, हम पहले कार्यकला विश्लेषण को कार्यात्मक विश्लेषण की भाषा में पुनः रचते हैं।

होलोमोर्फिक कार्यात्मक कैलकुलस

Further information: होलोमोर्फिक कार्यात्मक कैलकुलस

X बैनाक स्थान हो, L(X) X पर सीमित ऑपरेटर्स हों, और σ(T) T ∈ L(X) का स्पेक्ट्रम हो। होलोमोर्फिक कार्यात्मक विश्लेषण निम्न रूप में परिभाषित होता है:

सीमित ऑपरेटर T को ठीक करें। σ(T) को शामिल करने वाले किसी खुले सेट G पर होलोमोर्फिक फ़ंक्शनका परिवार Hol(T) को विचार करें। Γ = {γ_i} संख्यात्मक जॉर्डन परिसंचय हो जिसमें σ(T) Γ के भीतर होता है, हम f(T) को निम्न रूप में परिभाषित करते हैं।

$f(T)={\frac {1}{2\pi i}}\int _{\Gamma }f(z)(z-T)^{-1}\,dz.$

खुला सेट G, f के साथ भिन्न हो सकता है और इसे कनेक्ट करने की आवश्यकता नहीं है। इंटीग्रल को रीमैन योग की सीमा के रूप में परिभाषित किया गया है, जैसा कि अदिश मामले में होता है। यद्यपि इंटीग्रल निरंतर एफ के लिए समझ में आता है, हम शास्त्रीय फ़ंक्शन सिद्धांत (उदाहरण के लिए, कॉची इंटीग्रल फॉर्मूला) से मशीनरी को लागू करने के लिए होलोमोर्फिक फ़ंक्शंस तक सीमित रखते हैं। यह धारणा कि σ(T) Γ के अंदर स्थित है, यह सुनिश्चित करता है कि f(T) अच्छी तरह से परिभाषित है; यह Γ की पसंद पर निर्भर नहीं है। कार्यात्मक कैलकुलस, Hol(T) से L(X) तक की मैपिंग Φ है

$\;\Phi (f)=f(T).$

हमें इस कार्यात्मक कैलकुलस के निम्नलिखित गुणों की आवश्यकता होगी:

1. Φ बहुपद कार्यात्मक कलन का विस्तार करता है।
2. स्पेक्ट्रल मैपिंग सिद्धांत सत्य होता है: σ(f(T)) = f(σ(T))।.
3. Φ बीजगणित मानक होता है।

परिमित-आयामी मामला

परिमित-आयामी मामले में, σ(T) = {λ_i} कंप्लेक्स समतल में सीमित अस्पष्ट समूह होता है। लेट ei ऐसा फ़ंक्शन हो जो λi के कुछ खुले पड़ोस में 1 होता है और अन्यथा 0 होता है। कार्यकलाप की गुणधर्म 3 के द्वारा,

$e_{i}(T)$

प्रक्षेपण होता है। इसके अलावा, ν_i λ_i का सूचकांक होता है और

$f(z)=(z-\lambda _{i})^{\nu _{i}}.$

विद्युतमान अनुक्रमणिका के अनुसार हमें बताता है

$f(T)e_{i}(T)=(T-\lambda _{i})^{\nu _{i}}e_{i}(T)$

का स्पेक्ट्रम {0} होता है। गुणधर्म 1 के द्वारा, f(T) को सीधे जॉर्डन रूप में निर्धारित किया जा सकता है, और निरीक्षण से, हम देखते हैं कि ऑपरेटर f(T)e_i(टी) शून्य मैट्रिक्स है.

गुणधर्म 3 के द्वारा, f(T) e_i(T) = e_i(T) f(T)। इसलिए e_i(T) सीधे उन उपस्थिति पर प्रक्षेपण होता है

$\operatorname {Ran} e_{i}(T)=\ker(T-\lambda _{i})^{\nu _{i}}.$

संबंध

$\sum _{i}e_{i}=1$

से हमें मिलता है

$\mathbb {C} ^{n}=\bigoplus _{i}\;\operatorname {Ran} e_{i}(T)=\bigoplus _{i}\ker(T-\lambda _{i})^{\nu _{i}}$

जहां सूचकांक I, T के विशिष्ट इगनवैल्यूज ​​​​के माध्यम से चलता है। यह अपरिवर्तनीय उप-स्थान अपघटन है

$\mathbb {C} ^{n}=\bigoplus _{i}Y_{i}$

यह पिछले अनुभाग में दिए गए अविचलित उपस्थिति विभाजन है। प्रत्येक e_i(T) λi के लिए जोर्डन श्रृंखलाओं के उपस्थिति के द्वारा निर्धारित सशर्त पर्यायों की ओर प्रक्षेपण होता है। अन्य शब्दों में, e_i(T) = P(λi;T)। ऑपरेटर e_i(T) की इस स्पष्ट पहचान द्वारा पटलिका के लिए स्पष्ट रूप दिया जाता है।

मैट्रिक्स के लिए लौरेंट श्रृंखला प्रतिस्थापन का स्पष्ट रूप भी देता है:

सभी f ∈ Hol(T) के लिए,

$f(T)=\sum _{\lambda _{i}\in \sigma (T)}\sum _{k=0}^{\nu _{i}-1}{\frac {f^{(k)}}{k!}}(T-\lambda _{i})^{k}e_{i}(T).$

ध्यान दें कि f(T) का व्यक्तिगतीकरण सीमित योग है क्योंकि, हर प्रदेश में, हमने f की टेलर श्रृंखला को v_i के लिए केंद्रित चुना है।

ऑपरेटर के ध्रुव

T सीमित ऑपरेटर हो, λ T के σ(T) का अलगावित बिंदु हों। (जैसा कि पहले कहा गया है, जब T संकुचित होता है, तो उसके स्पेक्ट्रम में हर बिंदु अलगावित बिंदु होता है, केवल सीमा बिंदु 0 का सीमा बिंदु हो सकता है।)

ऑपरेटर T का बिंदु λ अग्रेय अवधि ν के साथ पोल कहलाता है अगर अग्निस्थापना समारेखी RT द्वारा परिभाषित होती है

$R_{T}(\lambda )=(\lambda -T)^{-1}$

जो λ पर ν का ध्रुव (जटिल विश्लेषण) होता है।

हम दिखाएंगेकि, सीमित आयाम मामले में, इजीनमान की आदेश उसके सूचकांक के साथ मेल खाती है। परिणाम संकुचित ऑपरेटर के लिए भी सत्य होता है।

λ के केंद्रित चक्र के पास आयामी इलाके A की विचार करें जिसमें ऐसा पर्याप्त छोटा त्रिज्या ε हो कि खुले वर्तुल Bε(λ) और σ(T) के प्राप्ति का छेद {λ} हों। आयामी RT A पर होलोमोर्फिक होती है। गणितीय कार्यकला से परिणाम का विस्तार करके, RT के पास A पर लॉरेंट श्रृंखला का प्रतिनिधित्व होती है:

$R_{T}(z)=\sum _{-\infty }^{\infty }a_{m}(\lambda -z)^{m}$

जहां

$a_{-m}=-{\frac {1}{2\pi i}}\int _{C}(\lambda -z)^{m-1}(z-T)^{-1}dz$ और C छोटा चक्र λ को केंद्रित है।

पिछले चर्चा के आधार पर, हमने दिखाया है

$a_{-m}=-(\lambda -T)^{m-1}e_{\lambda }(T)$ जहाँ $e_{\lambda }$ 1 पर है $B_{\varepsilon }(\lambda )$ और अन्यत्र 0.

लेकिन हमने देखा है कि सबसे छोटा सकारात्मक पूर्णांक m ऐसा होता है

$a_{-m}\neq 0$ और $a_{-l}=0\;\;\forall \;l\geq m$

जहां ν(λ) इसके सबसे छोटा सकारात्मक पूर्णांक होता है। दूसरे शब्दों में, फ़ंक्शन RT के पास λ पर ν(λ) की पूर्णांक का पोल होता है।

संख्यात्मक विश्लेषण

यदि मैट्रिक्स A में कई इगनवैल्यूज ​​​​हैं, या कई इगनवैल्यूज ​​​​वाले मैट्रिक्स के करीब है, तो इसका जॉर्डन सामान्य रूप गड़बड़ी के प्रति बहुत संवेदनशील है। उदाहरण के लिए मैट्रिक्स पर विचार करें

$A={\begin{bmatrix}1&1\\\varepsilon &1\end{bmatrix}}.$

यदि ε = 0, तो जॉर्डन सामान्य रूप सरल है

${\begin{bmatrix}1&1\\0&1\end{bmatrix}}.$

हालाँकि, ε ≠ 0 के लिए, जॉर्डन सामान्य रूप है

${\begin{bmatrix}1+{\sqrt {\varepsilon }}&0\\0&1-{\sqrt {\varepsilon }}\end{bmatrix}}.$

यह शर्त संख्या के कारण, जॉर्डन मानक रूप के लिए मजबूत संख्यात्मक एल्गोरिदम विकसित करना बहुत मुश्किल हो जाता है, क्योंकि परिणाम में निर्धारित किया जाता है कि क्या दो इजीनमान को समान माना जाता है या नहीं। इसी कारण संख्यात्मक विश्लेषण में जॉर्डन मानक रूप आमतौर पर टाल दिया जाता है; स्थिर शूर अपघटन या छद्म छद्मस्पेक्ट्रम सके बेहतर विकल्प हैं।

यह भी देखें

• विहित आधार
• कानूनी फॉर्म
• फ्रोबेनियस सामान्य रूप
• जॉर्डन मैट्रिक्स
• जॉर्डन-शेवेल्ली अपघटन
• मैट्रिक्स अपघटन
• मोडल मैट्रिक्स
• अजीब विहित रूप

संदर्भ

• 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
• Cullen, Charles G. (1966), Matrices and Linear Transformations, Reading: Addison-Wesley, LCCN 66021267
• Dunford, N.; Schwartz, J. T. (1958), Linear Operators, Part I: General Theory, Interscience
• Finkbeiner II, Daniel T. (1978), Introduction to Matrices and Linear Transformations (3rd ed.), W. H. Freeman and Company
• 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
• Golub, Gene H.; Wilkinson, J. H. (1976). "Ill-conditioned eigensystems and the computation of the Jordan normal form". SIAM Review. 18 (4): 578–619. doi:10.1137/1018113.
• Holt, Derek; Rumynin, Dmitriy (2009), Algebra I – Advanced Linear Algebra (MA251) Lecture Notes (PDF)
• Horn, Roger A.; Johnson, Charles R. (1985), Matrix Analysis, Cambridge University Press, ISBN 978-0-521-38632-6
• James, Glenn; James, Robert C. (1976), Mathematics Dictionary (2nd ed.), Van Nostrand Reinhold
• MacLane, Saunders; Birkhoff, Garrett (1967), Algebra, Macmillan Publishers
• Michel, Anthony N.; Herget, Charles J. (1993), Applied Algebra and Functional Analysis, Dover Publications
• Nering, Evar D. (1970), Linear Algebra and Matrix Theory (2nd ed.), New York: Wiley, LCCN 76091646
• Shafarevich, I. R.; Remizov, A. O. (2012), Linear Algebra and Geometry, Springer, ISBN 978-3-642-30993-9
• Shilov, Georgi E. (1977), Linear Algebra, Dover Publications
• Jordan Canonical Form article at mathworld.wolfram.com