Προβολή πηγαίου κώδικα για τη σελίδα Θεώρημα Κέιλι-Χάμιλτον

{{Μετάφραση}}
[[Αρχείο:Arthur_Cayley.jpg|δεξιά|μικρογραφία|333x333εσ|Άρθουρ Κέιλι, F. R. S. (1821-1895) θεωρείται ευρέως ως ο Βρετανός οδηγητής των καθαρών μαθηματικών του 19ου αιώνα. O Κέιλι το 1848 πήγε στο Δουβλίνο για να παρακολουθήσει διαλέξεις για τετραδικους αριθμούς από τον Χάμιλτον, που τους ανακάλυψε. Αργότερα ο Κέιλι τον εντυπωσίασε με το να  είναι ο δεύτερος που δημοσίευσε έργο σχετικά με αυτά.<ref name="Crilly_1">{{Harvnb|Crilly|1998}}</ref> Ο Κέιλι απέδειξε το θεώρημα για πίνακες διάστασης 3 και λιγότερο, δημοσίευσε την απόδειξη για τη δισδιάστατη περίπτωση.<ref name="Cayley_1">{{Harvnb|Cayley|1858|pp=17–37}}</ref><ref>{{Harvnb|Cayley|1889|pp=475–496}}</ref> Όσο για <math>n\times n</math> πίνακες, o Κέιλι, δήλωσε "..., Δεν έχω σκεφτεί ότι είναι απαραίτητο να αναλάβω την εργασία για μια επίσημη απόδειξη του θεωρήματος στη γενική περίπτωση ενός πίνακα οποιουδήποτε βαθμού".]]

Στη [[γραμμική άλγεβρα]], το '''θεώρημα Κέιλι-Χάμιλτον''' (αναφέρεται και ως '''θεώρημα Cayley-Hamilton''') αναφέρει ότι κάθε [[τετραγωνικός πίνακας|τετραγωνικός]] [[Πίνακας (μαθηματικά)|πίνακας]] σε έναν [[Αντιμεταθετικός δακτύλιος|αντιμεταθετικό]] [[Δακτύλιος (άλγεβρα)|δακτύλιο]] (όπως είναι τα [[Σώμα (άλγεβρα)|σώματα]] των [[πραγματικός αριθμός|πραγματικών]] ή των [[μιγαδικός αριθμός|μιγαδικών]] αριθμών) ικανοποιεί τη χαρακτηριστική του εξίσωση. Το θεώρημα πήρε το όνομά του από τους μαθηματικούς [[Άρθουρ Κέιλι]] και [[Γουίλιαμ Ρόουαν Χάμιλτον]].

Πιο συγκεκριμένα, έστω ''Α'' είναι δοθείς <math>n\times n</math> πίνακας και <math>I_n</math> είναι ο <math>n\times n</math> [[ταυτοτικός πίνακας]], τότε το χαρακτηριστικό πολυώνυμο του A ορίζεται ως<ref>{{Harvnb|Atiyah|MacDonald|1969}}</ref>
:: <math>p(\lambda)=\det(\lambda I_n-A)~,</math>
όπου <math>\mathrm{det}</math> είναι η [[ορίζουσα]] του και <math>\lambda</math> είναι το βαθμωτό στοιχείο της βάσης δακτυλίου. Δεδομένου ότι οι καταχωρήσεις του πίνακα είναι (γραμμικά ή [[σταθερή συνάρτηση|σταθερά]]) πολυώνυμα στο λ, η ορίζουσα είναι επίσης μια n-οστής τάξης κανονικού πολυωνύμου στο  λ. Το θεώρημα Κέιλι–Χάμιλτον δηλώνει ότι αντικαθιστώντας στον πίνακα  A για λ σε αυτό το πολυώνυμο έχει ως αποτέλεσμα τον [[μηδενικός πίνακας|μηδενικό πίνακα]],
:: <math>p(A)= 0.</math>
Οι δυνάμεις του Α, που λαμβάνονται  από την αντικατάσταση των δυνάμεων του λ, καθορίζονται από τον επαναλαμβανόμενο πολλαπλασιασμό πινάκων: ο σταθερός όρος του <math>p(\lambda)</math> δίνει ένα πολλαπλάσιο της δύναμης ''Α<sup>0</sup>'', του οποίου η  δύναμη ορίζεται ως ο ταυτοτικός πίνακας .
Το θεώρημα επιτρέπει το ''Α<sup>n</sup>'' να εκφραστεί ως γραμμικός συνδυασμός των χαμηλότερων δυνάμεων του πίνακα ''Α''. Όταν ο δακτύλιος είναι ένα σώμα, το θεώρημα Κέιλι-Χάμιλτον  είναι ισοδύναμο με τη δήλωση ότι το [[ελάχιστο πολυώνυμο]] ενός τετραγωνικού πίνακα διαιρεί το χαρακτηριστικό πολυώνυμο.

Το θεώρημα αποδείχτηκε για πρώτη φορά το 1853<ref name="Hamilton_1853">{{Harvnb|Hamilton|1853|p=562}}</ref> αναφορικά με τους αντίστροφους όρους των γραμμικών συναρτήσεων των τετραδικών αριθμών, ένας μη-αντιμεταθετικός δακτύλιος, από τον Hamilton.<ref name="Hamilton_1864a">{{Harvnb|Hamilton|1864a}}</ref><ref name="Hamilton_1864b">{{Harvnb|Hamilton|1864b}}</ref><ref name="Hamilton_1862">{{Harvnb|Hamilton|1862}}</ref> Αυτό αντιστοιχεί στην ειδική περίπτωση ορισμένων πραγματικών <math>4\times 4</math> πραγματικών ή <math>2\times 2</math> μιγαδικών πινάκων. Το θεώρημα ισχύει γενικά για τετραδικούς πίνακες.<ref>{{Harvnb|Zhang|1997}}</ref><ref group="nb">Due to the non-commutative nature of the multiplication operation for quaternions and related constructions, care needs to be taken with definitions, most notably in this context, for the determinant.</ref> Ο Κέιλι το 1858 το δήλωσε για <math>3\times 3</math> και μικρότερους πίνακες, αλλά δημοσίευσε μια απόδειξη μόνο για τη <math>2\times 2</math> περίπτωση.<ref name="Cayley_1"/> Η γενική περίπτωση αποδείχτηκε για πρώτη φορά  από τον Frobenius το 1878.<ref name="Frobenius 18782">{{Harvnb|Frobenius|1878}}</ref>

== Παραδείγματα ==

=== <math>1\times1</math> πίνακες ===
Για έναν <math>1\times1</math> πίνακα <math>A=(\alpha_{1,1})</math>, το χαρακτηριστικό πολυώνυμο δίνεται από την <math>p(\lambda)=\lambda-\alpha</math>, οπότε <math>p(A)=\alpha-\alpha_{1,1}=0</math> είναι προφανές.

=== <math>2\times2</math> πίνακες ===
Ως συγκεκριμένο παράδειγμα, ας πάρουμε 
: <math>A = \begin{pmatrix}1&2\\3&4\end{pmatrix}</math>.
Το χαρακτηριστικό πολυώνυμο δίνεται από
:   <math>p(\lambda)=\det(\lambda I_2-A)=\det\begin{pmatrix}\lambda-1&-2\\
-3&\lambda-4\end{pmatrix}=(\lambda-1)(\lambda-4)-(-2)(-3)=\lambda^2-5\lambda-2.</math>
Το θεώρημα Κέιλι–Χάμιλτον ισχυρίζεται ότι, αν ''ορίσουμε''
: <math>p(X)=X^2-5X-2I_2,</math>
στη συνέχεια
: <math>p(A)=A^2-5A-2I_2=\begin{pmatrix}0&0\\0&0\\\end{pmatrix}.</math>
Μπορούμε να το επιβεβαιώσουμε από υπολογισμό, ότι πράγματι,
: <math>A^2-5A-2I_2=\begin{pmatrix}7&10\\15&22\\\end{pmatrix}-\begin{pmatrix}5&10\\15&20\\\end{pmatrix}-\begin{pmatrix}2&0\\0&2\\\end{pmatrix}=\begin{pmatrix}0&0\\0&0\\\end{pmatrix}.</math>
Για ένα γενικά <math>2\times2</math> πίνακα,
: <math>A=\begin{pmatrix}a&b\\c&d\\\end{pmatrix} ,</math>
το χαρακτηριστικό πολυώνυμο που δίνεται από το<math>p(\lambda)=\lambda^2-(a+d)\lambda+(ad-bc)</math>, οπότε το θεώρημα Κέιλι–Χάμιλτον δηλώνει ότι
: <math>p(A)=A^2-(a+d)A+(ad-bc)I_2=\begin{pmatrix}0&0\\0&0\\\end{pmatrix};</math>
το οποίο πράγματι είναι πάντα η περίπτωση, εμφανής δουλεύοντας τις καταχωρήσεις του ''Α<sup>2</sup>.''

== Εφαρμογές ==

=== Ορίζουσα και αντίστροφος πίνακας ===
[[Αρχείο:William_Rowan_Hamilton_portrait_oval_combined.png|δεξιά|μικρογραφία|302x302εσ|[[Γουίλιαμ Ρόουαν Χάμιλτον]] (1805-1865), Ιρλανδός φυσικός, αστρονόμος και μαθηματικός, το πρώτο ξένο μέλος της Αμερικανικής Εθνικής Ακαδημίας Επιστημών. Διατηρώντας την αντίθετη θέση για το πώς η γεωμετρία θα πρέπει να μελετηθεί, ο Χάμιλτον διατήρησε καλές σχέσεις με τον Κέιλι.<ref name="Crilly_1">{{Harvnb|Crilly|1998}}</ref><br/>

Ο Χάμιλτον απέδειξε ότι για μια γραμμική συνάρτηση των τετραδικών αριθμών υπάρχει μια συγκεκριμένη εξίσωση, ανάλογα με τη γραμμική συνάρτηση, που ικανοποιείται μόνη της από την γραμμική συνάρτηση .<ref name="Hamilton_1864a"/><ref name="Hamilton_1864b"/><ref name="Hamilton_1862">{{Harvnb|Hamilton|1862}}</ref>]]
Για έναν γενικά <math>n\times n</math> αντιστρέψιμο πίνακα ''Α'', δηλαδή, ένας με μη μηδενική ορίζουσα, Α<sup>−1</sup> μπορεί να γραφτεί ως <math>(n-1)</math>-οστής τάξης πολυωνυμική έκφραση στον ''Α:'' Όπως αναφέρεται, το θεώρημα Κέιλι-Χάμιλτον οδηγεί στην ταυτότητα.
:<math>p(A)=A^n+c_{n-1}A^{n-1}+...+c_1A+(-1)^ndet(A)I_n</math>.

Οι συντελεστές  θα δίνονται από τα '''στοιχειώδη συμμετρικά πολυώνυμα''' των ιδιοτιμών του ''A.'' Χρησιμοποιώντας τις '''ταυτότητες''' '''Νewton''', τα στοιχειώδη [[Συμμετρικό πολυώνυμο|συμμετρικά πολυώνυμα]] μπορούν με τη σειρά τους να εκφράζονται αναφορικά με τα αθροίσματα δυνάμεων συμμετρικών πολυωνύμων των ιδιοτιμών: 
: <math>s_k = \sum_{i=1}^n \lambda_i^k = \mathrm{tr}(A^k),</math> 
όπου <span class="texhtml " contenteditable="false">tr (''A''<sup>''k''</sup>)</span> είναι το [[Ίχνος πίνακα|ίχνος του πίνακα]] ''A<sup>k</sup>''<span class="texhtml mvar" style="font-style:italic;" contenteditable="false"></span>''.'' Έτσι, μπορούμε να εκφράσουμε το<span class="texhtml " contenteditable="false"></span> όσον αφορά το ίχνος των δυνάμεων του Α.

Σε γενικές γραμμές, ο τύπος για τους συντελεστές  <math>c_i</math><span class="texhtml " contenteditable="false"></span> θα δοθεί αναφορικά με την πλήρες εκθετική έκφραση των '''Bell πολυωνύμων''' ως <ref group="nb">An explicit expression for these coefficients is
</ref>
: <math> c_{n-k} = \frac{(-1)^{k}}{k!} B_k(s_1, -1! s_2, 2! s_3, \ldots, (-1)^{k-1}(k-1)! s_k).</math>
Ειδικότερα, η ορίζουσα του <span class="texhtml " contenteditable="false">''Α''</span><span class="texhtml " contenteditable="false"></span> αντιστοιχεί στο <span class="texhtml " contenteditable="false">''c''<sub>0</sub></span><span class="texhtml " contenteditable="false"></span>. Έτσι, η ορίζουσα μπορεί να γραφτεί ως ένα '''ίχνος ταυτότητας'''
: <math>\det(A) = \frac{1}{n!} B_n(s_1, -1! s_2, 2! s_3, \ldots, (-1)^{n-1}(n-1)! s_n).</math>
Επίσης, το χαρακτηριστικό πολυώνυμο μπορεί να γραφτεί ως
: <math>-(-1)^n\det(A)I_n = A(A^{n-1}+c_{n-1}A^{n-2}+\cdots+c_{1}I_n),</math>
και, πολλαπλασιάζοντας και τις δύο πλευρές με το ''A''<sup>−1</sup>  (σημείωση −(-1)<sup>''n''</sup> = (-1)<sup>''n''-1</sup><span class="texhtml " style="line-height: 1.5em;"></span>), οδηγείται σε μια έκφραση για το αντίστροφο του ''A''<span class="texhtml " style="line-height: 1.5em;"></span> ως ίχνος της ταυτότητας,
: <math> 
\begin{align}
A^{-1} & = \frac{(-1)^{n-1}}{\det A}(A^{n-1}+c_{n-1}A^{n-2}+\cdots+c_{1}I_n), \\
 & = \frac{1}{\det A}\sum_{k=0}^{n-1} (-1)^{n+k-1}\frac{A^{n-k-1}}{k!} B_k(s_1, -1! s_2, 2! s_3, \ldots, (-1)^{k-1}(k-1)! s_k). 
\end{align}
</math>
Για παράδειγμα, τα πρώτα Bell πολυώνυμα είναι <span class="texhtml " contenteditable="false">''Β''<sub>0</sub></span><span class="texhtml " contenteditable="false"></span> = 1, <span class="texhtml " contenteditable="false">''B''<sub>1</sub>(''x''<sub>1</sub>) = ''x''<sub>1</sub></span><span class="texhtml " contenteditable="false"></span>, <span class="texhtml " contenteditable="false">''B''<sub>2</sub>(''x''<sub>1</sub>, ''x''<sub>2</sub>) = ''x''<sub>1</sub><sup>2</sup> + ''x''<sub>2</sub></span><span class="texhtml " contenteditable="false"></span>και <span class="texhtml " contenteditable="false">''Β''<sub>3</sub>(''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>) = ''x''<sub>1</sub><sup>3</sup> + 3 ''x''<sub>1</sub>''x''<sub>2</sub> + ''x''<sub>3</sub></span><span class="texhtml " contenteditable="false"></span>.

Χρησιμοποιώντας αυτές για να καθορίσετε τους συντελεστές<span class="texhtml " contenteditable="false">''''</span> ''c<sub>i</sub>'' <span class="texhtml " contenteditable="false"></span>για το χαρακτηριστικό πολυώνυμο ενός <span class="texhtml " contenteditable="false">2×2</span> πίνακα απόδοσης
: <math>c_2 = B_0 = 1, </math>
: <math>c_1 =  \frac{-1}{1!} B_1(s_1) = - s_1 = - \mathrm{tr}(A),</math>
: <math>c_0 =  \frac{1}{2!} B_2(s_1, -1! s_2) = \frac{1}{2}(s_1^2 - s_2) = \frac{1}{2}((\mathrm{tr}(A))^2 - \mathrm{tr}(A^2)).</math>
Ο συντελεστής <span class="texhtml " contenteditable="false">''c''<sub>0</sub></span><span class="texhtml " contenteditable="false"></span> δίνει την ορίζουσα του <span class="texhtml " contenteditable="false">2×2</span> πίνακα, <span class="texhtml " contenteditable="false">''c''<sub>1</sub></span><span class="texhtml " contenteditable="false"></span> μείον το ίχνος της, ενώ το αντίστροφο δίνεται από
: <math> A^{-1} = \frac{-1}{\det A}(A + c_1 I_2) = \frac{-2(A - \mathrm{tr}(A) I_2)}{(\mathrm{tr}(A))^2 - \mathrm{tr}(A^2)}.</math>
Είναι προφανές από το γενικό τύπο για το ''c<sub>n-k</sub>'', εκφρασμένο σε Bell πολυώνυμα, ότι αυτή η έκφραση, <span class="texhtml " contenteditable="false"> ½ ((tr''Α'')<sup>2</sup>&#x20;−&#x20;tr(''A''<sup>2</sup>))</span>, δίνει πάντα το συντελεστή <span class="texhtml " contenteditable="false">''c''<sub>''n''-2</sub></span><span class="texhtml " contenteditable="false"></span> του <span class="texhtml " contenteditable="false">''λ''<sup>''n''-2</sup></span><span class="texhtml " contenteditable="false"></span> στο χαρακτηριστικό πολυώνυμο κάθε <span class="texhtml " contenteditable="false">''n''×''n''</span><span class="texhtml " contenteditable="false"></span> πίνακα: για ένα <span class="texhtml " contenteditable="false">3×3</span> πίνακα ''Α'', η δήλωση από το θεώρημα Κέιλι-Χάμιλτον μπορεί επίσης να γραφτεί ως
: <math>A^3- (\operatorname{tr}A)A^2+\frac{1}{2}\left((\operatorname{tr}A)^2-\operatorname{tr}(A^2)\right)A-\det(A)I_3=0,</math>
όπου η δεξιά πλευρά ορίζει ένα <span class="texhtml " contenteditable="false">3×3</span> πίνακα με όλες τις καταχωρήσεις μειωμένες στο μηδέν. Επίσης, η ορίζουσα για την <span class="texhtml " contenteditable="false">''n''&#x20;=&#x20;3</span> περίπτωση, είναι τώρα
: <math> 
\begin{align}
\det(A) &= \frac{1}{3!} B_3(s_1, -1! s_2, 2! s_3) =  \frac{1}{6}(s_1^3 + 3 s_1 (-s_2) + 2 s_3) \\
 &= \tfrac{1}{6} \left ( (\operatorname{tr}A)^3-3\operatorname{tr}(A^2)(\operatorname{tr}A)+2\operatorname{tr}(A^3) \right ). 
\end{align}
</math>
Αυτή η έκφραση δίνει την άρνηση του συντελεστή <span class="texhtml " contenteditable="false">''c''<sub>''n''-3</sub></span><span class="texhtml " contenteditable="false"></span> του <span class="texhtml " contenteditable="false">''λ''<sup>''n''-3</sup></span><span class="texhtml " contenteditable="false"></span> στη γενική περίπτωση, όπως φαίνεται παρακάτω.

Ομοίως, μπορεί κανείς να γράψει για έναν <span class="texhtml " contenteditable="false">4×4</span> πίνακα Α,
: <math> A^4-(\operatorname{tr}A)A^3 + \tfrac{1}{2}\bigl((\operatorname{tr}A)^2-\operatorname{tr}(A^2)\bigr)A^2 - \tfrac{1}{6}\bigl( (\operatorname{tr}A)^3-3\operatorname{tr}(A^2)(\operatorname{tr}A)+2\operatorname{tr}(A^3)\bigr)A + \det(A)I_4 = 0,</math>
όπου, τώρα, η ορίζουσα είναι <span class="texhtml " contenteditable="false">''c''<sub>''n''-4</sub></span><span class="texhtml " contenteditable="false"></span>,
: <math>\tfrac{1}{24} \left ( (\operatorname{tr}A)^4-6 \operatorname{tr}(A^2)(\operatorname{tr}A)^2+3(\operatorname{tr}(A^2))^2+8\operatorname{tr}(A^3)\operatorname{tr}(A) -6\operatorname{tr}(A^4) \right ),</math>
και ούτω καθεξής για μεγαλύτερους πίνακες. Οι ολοένα και πιο πολύπλοκες εκφράσεις για τους συντελεστές <span class="texhtml " contenteditable="false">''c''<sub>''k''</sub></span><span class="texhtml " contenteditable="false"></span>   συνάγονται από τις '''ταυτότητες του Νεύτονα''' ή τον '''Faddeev-LeVerrier αλγόριθμο'''.

Μια άλλη μέθοδος για την απόκτηση αυτών των συντελεστών <span class="texhtml " contenteditable="false">''c''<sub>''k''</sub></span><span class="texhtml " contenteditable="false"></span> για γενικά έναν <span class="texhtml " contenteditable="false">''n''×''n''</span><span class="texhtml " contenteditable="false"></span> πίνακα, εφόσον δεν έχει ρίζα το μηδέν, βασίζεται στην ακόλουθη '''εναλλακτική έκφραση για''' '''την ορίζουσα,'''
: <math> p(\lambda)= \det (\lambda I_n -A) = \lambda^n \exp (\operatorname{tr} (\log (I_n - A/\lambda))). </math>
Ως εκ τούτου, δυνάμει των σειρών Mercator,
: <math>p(\lambda)= \lambda^n \exp \left( -\operatorname{tr} \sum_{m=1}^\infty {({A\over\lambda})^m \over m}  \right),</math>
όπου η εκθετική το ''μόνο'' που χρειάζεται είναι να επεκταθεί για να πάρετε το <span class="texhtml " contenteditable="false">''λ''<sup>−''n''</sup></span><span class="texhtml " contenteditable="false"></span>, δεδομένου ότι το <span class="texhtml " contenteditable="false">''p''(''λ'')</span> είναι της τάξης <span class="texhtml " contenteditable="false">''n''</span><span class="texhtml " contenteditable="false"></span>, οι καθαρά αρνητικές δυνάμεις του <span class="texhtml " contenteditable="false">''λ''</span><span class="texhtml " contenteditable="false"></span> αυτόματα εξαφανίζονται από το C–Η θεώρημα. (Και πάλι, αυτό απαιτεί ένα δακτύλιο που περιέχει τους ρητούς αριθμούς.) Οι συντελεστές του λ, μπορούν να γραφούν απευθείας αναφορικά με τα '''Bell πολυώνυμα''',συγκρίνοντας αυτή την έκφραση με την γενική συνάρτηση του Bell πολυωνύμου.

Διαφοροποίηση αυτής της έκφρασης με σεβασμό προς λ επιτρέπει την ορίζουσα των γενικών συντελεστών του χαρακτηριστικού πολυωνύμου για το γενικό n, όπως οι ορίζουσες των <span class="texhtml " contenteditable="false">''m''×''m''</span><span class="texhtml " contenteditable="false"></span> πινάκων,<ref group="nb">See, e.g., p. 54 of  {{Harvnb|Brown|1994}}, which solves Jacobi's formula, 
</ref>
: <math>c_{n-m} = \frac{(-1)^m}{m!}
\begin{vmatrix}  \operatorname{tr}A  &   m-1 &0&\cdots\\
\operatorname{tr}A^2  &\operatorname{tr}A&   m-2 &\cdots\\
 \vdots & \vdots & & & \vdots    \\
\operatorname{tr}A^{m-1} &\operatorname{tr}A^{m-2}& \cdots & \cdots & 1    \\
\operatorname{tr}A^m  &\operatorname{tr}A^{m-1}& \cdots & \cdots & \operatorname{tr}A \end{vmatrix} ~.</math>

=== ''n''-οστή Δύναμη του πίνακα ===
Το θεώρημα Κέιλι-Χάμιλτον παρέχει πάντα μια σχέση μεταξύ των δυνάμεων του Α (αν και δεν είναι πάντα η πιο απλή), η οποία επιτρέπει σε κάποιον να απλοποιήσει τις εκφράσεις που αφορούν τις εν λόγω δυνάμεις, και να τις αξιολογήσει χωρίς να χρειάζεται να υπολογίσει τη δύναμη A<sup>''n''</sup> <span class="texhtml " contenteditable="false"></span> ή τυχόν ανώτερες δυνάμεις του Α.

Λόγω χάρη, το συγκεκριμένο <span class="texhtml " contenteditable="false">2×2</span> παραπάνω παράδειγμα μπορεί να γραφτεί ως
: <math>A^2=5A+2I_2\,  .</math>
Στη συνέχεια, για παράδειγμα, για να υπολογίσετε το <math>A^4</math> ,παρατηρούμε<span class="texhtml " contenteditable="false"></span>
: <math>A^3=(5A+2I_2)A=5A^2+2A=5(5A+2I_2)+2A=27A+10I_2\,</math>
: <math>A^4=A^3A=(27A+10I_2)A=27A^2+10A=27(5A+2I_2)+10A=145A+54I_2\, .</math>
Ομοίως,
: <math>A^{-1}=\frac{A-5I_2}{2}~.</math>

=== Πίνακες συναρτήσεων ===
Δίνεται μια αναλυτική συνάρτηση 
: <math>f(x) = \sum_{k=0}^\infty a_k x^k</math>
και το χαρακτηριστικό πολυώνυμο <span class="texhtml " contenteditable="false">''p''(''x'')</span> βαθμού <span class="texhtml " contenteditable="false">''n''</span><span class="texhtml " contenteditable="false"></span> του <span class="texhtml " contenteditable="false">''n × n''</span><span class="texhtml " contenteditable="false"></span> πίνακα Α, η συνάρτηση μπορεί να εκφραστεί χρησιμοποιώντας τη διαίρεση ως
: <math>f(x) = q(x) p(x) + r(x),</math>
όπου <span class="texhtml " contenteditable="false">''q''(''x'')</span> είναι το πηλίκο πολυώνυμο και το ''r''(''x'')   είναι το υπόλοιπο πολυώνυμο τέτοια ώστε <span class="texhtml " contenteditable="false">0 ≤ ''deg'' ''r''(''x'') < ''n''</span><span class="texhtml " contenteditable="false"></span>. Από το θεώρημα Κέιλι-Χάμιλτον,αντικαθιστώντας το x από τον πίνακα Α δίνει <span class="texhtml " contenteditable="false">''p''(''A'') = 0</span>, οπότε έχει
: <math>f(A) = r(A). </math> 
Έτσι, η αναλυτική συνάρτηση του πίνακα ''A''<span class="texhtml mvar" style="font-style:italic;" contenteditable="false"></span> μπορεί να εκφραστεί ως πίνακας πολυώνυμων βαθμού μικρότερο από ''n''<span class="texhtml mvar" style="font-style:italic;" contenteditable="false"></span>.

Το υπόλοιπο πολυώνυμο ας είναι
: <math>r(x) = c_0 + c_1 x + \cdots + c_{n-1} x^{n-1}.</math>
Δεδομένου ότι το <span class="texhtml " contenteditable="false">''p''(''λ'') = 0</span>, κατά την αξιολόγηση της συνάρτησης <span class="texhtml " contenteditable="false">''f''(''x'')</span> για τις  <span class="texhtml " contenteditable="false">''n''</span><span class="texhtml " contenteditable="false"></span> ιδιοτιμές του <span class="texhtml " contenteditable="false">''A''</span><span class="texhtml " contenteditable="false"></span>,δίνουν
: <math> f(\lambda_i) = r(\lambda_i) = c_0 + c_1 \lambda_i + \cdots + c_{n-1} \lambda_i^{n-1}, \qquad \mathrm{for} \qquad i=1,2,...,n.</math>
Αυτό ισοδυναμεί με ένα σύστημα <span class="texhtml " contenteditable="false">''n''</span><span class="texhtml " contenteditable="false"></span> γραμμικών εξισώσεων, το οποίο μπορεί να λυθεί για τον προσδιορισμό των συντελεστών ''c<sub>i</sub>''. <span class="texhtml " contenteditable="false"></span>Έτσι, το ένα έχει
: <math>f(A) = \sum_{k=0}^{n-1} c_k A^k.</math>
Όταν οι ιδιοτιμές είναι επαναλαμβανόμενες, ''λ<sub>i</sub> = λ<sub>j</sub>'' για κάποιο <span class="texhtml " contenteditable="false">''i ≠ j''</span>, δύο ή περισσότερες εξισώσεις είναι ίδιες, και ως εκ τούτου οι γραμμικές εξισώσεις δεν μπορούν να λυθούν μεμονωμένα. Σε τέτοιες περιπτώσεις, για μια ιδιοτιμή <span class="texhtml " contenteditable="false">''λ,''</span> με πολλαπλότητα <span class="texhtml " contenteditable="false">''m''</span>, η πρώτη <span class="texhtml " contenteditable="false">''m'' – 1</span> [[παράγωγος]] της <span class="texhtml " contenteditable="false">''p(x)''</span> εξαφανίζεται στις ιδιοτιμές. Έτσι, υπάρχουν οι επιπλέον <span class="texhtml " contenteditable="false">''m'' – 1</span> γραμμικά ανεξάρτητες λύσεις
: <math>\frac{\mathrm{d}^{k}f(x)}{\mathrm{d}x^k}\Big|_{x=\lambda} = \frac{\mathrm{d}^{k}r(x)}{\mathrm{d}x^k}\Big|_{x=\lambda}\qquad \mathrm{for} \qquad k = 1, 2, \ldots, m-1,</math>
οι οποίες, όταν συνδυάζονται με άλλους,  δίνουν τις απαιτούμενες <span class="texhtml " contenteditable="false">''n''</span><span class="texhtml " contenteditable="false"></span> εξισώσεις για την επίλυση του ''c<sub>i</sub>''.<span class="texhtml " contenteditable="false"></span>

Η εύρεση ενός πολυωνύμου που περνάει από τα σημεία <span class="texhtml " contenteditable="false">(''λ<sub>i</sub>'', ''f'' (''λ<sub>i</sub>''))</span> είναι ουσιαστικά ένα '''πρόβλημα παρεμβολής''', και μπορεί να λυθεί χρησιμοποιώντας τις τεχνικές '''παρεμβολής Lagrange ή Newton''' , που οδηγούν στον '''τύπο Sylvester .'''

Για παράδειγμα, ας υποθέσουμε ότι ο στόχος είναι να βρεθείθεί το αντιπροσωπευτικό πολυώνυμο  του
: <math>f(A) = e^{At} \qquad \mathrm{where} \qquad A = \begin{pmatrix}1&2\\0&3\end{pmatrix}.</math>
Το χαρακτηριστικό πολυώνυμο είναι <span class="texhtml " contenteditable="false">''p(x) = (x - 1)(x - 3) = x<sup>2</sup> - 4 x + 3''</span><span class="texhtml " contenteditable="false"></span>, και οι ιδιοτιμές είναι <span class="texhtml " contenteditable="false">''λ = 1, 3''</span><span class="texhtml " contenteditable="false"></span>. Ας είναι <span class="texhtml " contenteditable="false">''r(x) = c<sub>0</sub> + c<sub>1</sub>x''</span><span class="texhtml " contenteditable="false"></span>. Υπολογίζοντας το  <span class="texhtml " contenteditable="false">''f(λ) = r(λ)''</span><span class="texhtml " contenteditable="false"></span> για τις  ιδιοτιμές, η μια περιέχει δύο γραμμικές εξισώσεις ''e<sup>t</sup> = c<sub>0</sub> + c<sub>1</sub>'' και ''e<sup>3t</sup> = c<sub>0</sub> + 3 c<sub>1</sub>''.  <span class="texhtml " contenteditable="false"></span><span class="texhtml " contenteditable="false"></span>. Η επίλυση των εξισώσεων δίνει <span class="texhtml " contenteditable="false">''c<sub>0</sub> = (3 e<sup>t</sup> - e<sup>3t</sup>)/2''</span><span class="texhtml " contenteditable="false"></span> και <span class="texhtml " contenteditable="false">''c<sub>1</sub> = (e<sup>3t</sup> - e<sup>t</sup>)/2''</span><span class="texhtml " contenteditable="false"></span>. Συνεπώς, προκύπτει ότι
: <math>e^{At} = c_0 I_2 + c_1 A = \begin{pmatrix}c_0 + c_1 & 2 c_1\\ 0 & c_0 + 3 c_1\end{pmatrix} = \begin{pmatrix}e^{t} & e^{3t} - e^{t} \\ 0 & e^{3t}\end{pmatrix}. </math>
Αν, αντίθετα, η συνάρτηση ήταν ''f(A) = sin At'' τότε οι συντελεστές θα ήταν <span class="texhtml " contenteditable="false">''c<sub>0</sub> = (3 sin t - sin 3t)/2''</span><span class="texhtml " contenteditable="false"></span> και <span class="texhtml " contenteditable="false">''c<sub>1</sub> = (sin 3t - sin t)/2''</span><span class="texhtml " contenteditable="false"></span> :ως εκ τούτου,
: <math>\sin(At) = c_0 I_2 + c_1 A = \begin{pmatrix}\sin t & \sin 3t - \sin t \\ 0 & \sin 3t\end{pmatrix}.</math>
Ως ένα ακόμη παράδειγμα, κατά την εξέταση
: <math>f(A) = e^{At} \qquad \mathrm{where} \qquad A = \begin{pmatrix}0 & 1\\-1 & 0\end{pmatrix},</math>
τότε το χαρακτηριστικό πολυώνυμο είναι <span class="texhtml " contenteditable="false">''p(x) = x<sup>2</sup> + 1''</span><span class="texhtml " contenteditable="false"></span>, και οι ιδιοτιμές είναι <span class="texhtml " contenteditable="false">''λ = i, -i''</span><span class="texhtml " contenteditable="false"></span>. Όπως και πριν, ο υπολογισμός της συνάρτησης για τις  ιδιοτιμές μας δίνει τις γραμμικές εξισώσεις ''e<sup>it</sup> = c<sub>0</sub> + i c<sub>1</sub>'' και ''e<sup>-it</sup> = c<sub>0</sub> - i c<sub>1</sub>'' <span class="texhtml " contenteditable="false"></span><span class="texhtml " contenteditable="false"></span>η λύση του οποίου δίνει, <span class="texhtml " contenteditable="false">''c<sub>0</sub> = (e<sup> '</sup> + e<sup>-</sup>)/2 = cos t''</span><span class="texhtml " contenteditable="false"></span> και <span class="texhtml " contenteditable="false">''c<sub>1</sub> = (e<sup> ' </sup> - e<sup>-</sup>)/2i = sin t''</span><span class="texhtml " contenteditable="false"></span>. Έτσι, για την περίπτωση αυτή,
: <math>e^{At} = (\cos t) I_2 + (\sin t) A =  \begin{pmatrix}\cos t & \sin t\\ -\sin t & \cos t \end{pmatrix},</math>
η οποία είναι ένας '''αντίστροφος πίνακας.'''

Πρότυπα παραδείγματα τέτοιας χρήσης είναι '''η εκθετική απεικόνιση''' από την '''Άλγεβρα Lie''' '''των πινάκων της ομάδας Lie'''  σε ομάδα'''.''' Δίνεται από έναν '''εκθετικό πίνακα,'''
: <math>\exp: \mathfrak g \rightarrow G; tX \mapsto e^{tX} = \sum_{n=0}^\infty \frac{t^nX^n}{n!} = I + tX + \frac{t^2X^2}{2} + \cdots, t \in \mathbb R, X \in \mathfrak g .</math>
Τέτοιες εκφράσεις είναι γνωστό από καιρό για την <span class="texhtml " contenteditable="false">SU(2)</span>,
: <math>e^{i(\theta/2)(\hat n \cdot \sigma)} = I_2 \cos \theta/2 + i(\hat n \cdot \sigma) \sin \theta/2,</math>
όπου το σ είναι οι '''πίνακες Pauli''' και για το SO <span class="texhtml " contenteditable="false">(3)</span>,
: <math>e^{i\theta(\hat n \cdot \mathbf J)} = I_3 +  i(\hat n \cdot \mathbf J) \sin \theta  + (\hat n \cdot \mathbf J)^2 (\cos \theta - 1),</math>
το οποίο είναι '''ο τύπος της περιστροφής του Rodrigues'''. Για το συμβολισμό, παρακαλούμε δείτε την ομάδα περιστροφής '''SO(3)#A σημείωση σχετικά με τις αναπαραστάσεις.'''

Πιο πρόσφατα, εκφράσεις έχουν εμφανιστεί για άλλες ομάδες, όπως η '''ομάδα Lorentz'''  SO<span class="texhtml " contenteditable="false">(3, 1)</span>,<ref>{{Harvnb|Zeni|Rodrigues|1992}}</ref> <span class="texhtml " contenteditable="false">O(4, 2)</span><ref>{{Harvnb|Barut|Zeni|Laufer|1994a}}</ref> και <span class="texhtml " contenteditable="false">SU(2, 2)</span>,<ref>{{Harvnb|Barut|Zeni|Laufer|1994b}}</ref> , καθώς και <span class="texhtml " contenteditable="false">GL(''n'', '''R''')</span>.<ref>{{Harvnb|Laufer|1997}}</ref> Η ομάδα <span class="texhtml " contenteditable="false">O(4, 2)</span> είναι  η σύμμορφος ομάδα του [[Χωροχρόνος|χωροχρόνου]], <span class="texhtml " contenteditable="false">SU(2, 2)</span> η απλή συνδεδεμένη κάλυψή της (για να είμαι ακριβής,το απλό συνδεδεμένο κάλυμμα της συνεκτικής συνιστώσας     SO<sup>+</sup>(4, 2)  της <span class="texhtml " contenteditable="false">O(4, 2)</span>). Οι εκφράσεις που λαμβάνονται ισχύουν για την τυπική αναπαράσταση των ομάδων αυτών. Απαιτούν γνώση από (κάποιες από) τις [[Ιδιοτιμές και ιδιοδιανύσματα|ιδιοτιμές]] του πίνακα των εκθετών. Για το <span class="texhtml " contenteditable="false">SU(2)</span> (και ως εκ τούτου, για το SO<span class="texhtml " contenteditable="false">(3)</span>), κλειστές εκφράσεις έχουν πρόσφατα ληφθεί για όλες τις αμείωτες αναπαραστάσεις, δηλαδή για κάθε γύρισμα.<ref>{{Harvnb|Curtright|Fairlie|Zachos|2014}}</ref>

== Απόδειξη του θεωρήματος γενικά ==
Όπως τα παραπάνω παραδείγματα δείχνουν, η απόκτηση  από το θεώρημα Κέιλι-Χάμιλτον για ένα {{Math|''n''×''n''}} πίνακα
: <math>A=(a_{ij})_{i,j=1}^n</math>
απαιτεί δύο βήματα: πρώτα οι συντελεστές {{Math|''c''<sub>''i''</sub>}} του  χαρακτηριστικού πολυωνύμου καθορίζονται από την ανάπτυξη ως ένα πολυώνυμο {{Math|''t''}} της ορίζουσας
: <math>p(t) = \det(t I_n - A) =
\begin{vmatrix}t-a_{1,1}&-a_{1,2}&\cdots&-a_{1,n}\\
-a_{2,1}&t-a_{2,2}&\cdots&-a_{2,n}\\
\vdots & \vdots & \ddots & \vdots\\
-a_{n,1}&-a_{n,2}& \cdots& t-a_{n,n}\\ \end{vmatrix} = t^n+c_{n-1}t^{n-1}+\cdots+c_1t+c_0,</math>
και τότε οι συντελεστές αυτοί χρησιμοποιούνται σε ένα γραμμικό συνδυασμό των αρμοδιοτήτων της {{Math|''A''}} που είναι ίσο με το {{Math|''n''×''n''}} [[μηδενικός πίνακας|μηδενικό πίνακα]]:
: <math>A^n+c_{n-1}A^{n-1}+\cdots+c_1A+c_0I_n=\begin{pmatrix}0&\cdots&0\\\vdots&\ddots&\vdots\\0&\cdots&0\end{pmatrix}.</math>
Η αριστερή πλευρά μπορεί να εργαστεί σε ένα {{Math|''n''×''n''}} πίνακα του οποίου οι καταχωρήσεις είναι (τεράστιες) πολυωνυμικές εκφράσεις στο σύνολο καταχωρήσεων {{Math|''a''<sub>''i'',''j''</sub>}} του {{Math|''A''}}, οπότε το θεώρημα Κέιλι-Χάμιλτον δηλώνει ότι κάθε ένα από τις  {{Math|''n''<sup>2</sup>}} εκφράσεις είναι ίσες με {{Math|0}}. Για κάθε σταθερή τιμή της {{Math|''n''}} οι ταυτότητες αυτές μπορούν να ληφθούν από κουραστικούς αλλά εντελώς απλούς αλγεβρικόυς χειρισμούς. Κανένας από αυτούς τους υπολογισμούς δε μπορεί να δείξει, ωστόσο, γιατί το θεώρημα Κέιλι-Χάμιλτον θα πρέπει να ισχύει για τους πίνακες όλων των πιθανών μεγεθών {{Math|''n''}}, έτσι μια ομοιόμορφη απόδειξη για όλα τα {{Math|''n''}} είναι απαραίτητη

'''Απλή Απόδειξη'''

<math>\mathsf{Let \ }A=XDX^{-1}, \quad D=diag(\lambda_i), \quad i=1,2,...,n
</math>

<math>p_A(A)=|A-\lambda I|=\mathsf{product \ of \ eigenvalues \ of \ }A-\lambda I=\prod_{i=1}^n (\lambda_i-\lambda)=\sum_{k=0}^n a_k\lambda^k</math>

<math>B_{ii}=\sum_{k=0}^na_k\lambda_i^k=\prod_{i=1}^n(\lambda_i-\lambda_i)=0</math>

<math>B_{i,j\neq i}=0</math>

<math>\therefore p_A(A)=B=O</math>

'''Προκαταρκτικά'''  
[[File:GeorgFrobenius.jpg|220px|thumb|[[Ferdinand Georg Frobenius]] (1849–1917),γερμανός μαθηματικός. Τα κύρια ενδιαφέροντα ήταν [[:en:Elliptic function|ελλειπτικές λειτουργίες]] [[Διαφορική εξίσωση|διαφορικές εξισώσεις]], και αργότερα [[Θεωρία ομάδων|της ομάδας θεωρία]]. Το 1878, έδωσε την πρώτη πλήρη απόδειξη του θεωρήματος Κέιλι-Χάμιλτον.<ref name="Frobenius 18782"/>]]

Αν ένα διάνυσμα {{Math|''v''}} με μέγεθος {{Math|''n''}} συμβαίνει να είναι ένα [[Ιδιοτιμές και ιδιοδιανύσματα|ιδιοδιάνυσμα]] του {{Math|''A''}} με ιδιοτιμές {{Math|''λ''}}, με άλλα λόγια, αν {{Math|''A''⋅''v'' {{=}} ''λv''}}, τότε 
: <math>\begin{align}
p(A)\cdot v & = A^n\cdot v+c_{n-1}A^{n-1}\cdot v+\cdots+c_1A\cdot v+c_0I_n\cdot v \\[6pt]
& = \lambda^nv+c_{n-1}\lambda^{n-1}v+\cdots+c_1\lambda v+c_0 v=p(\lambda)v,
\end{align}</math>
: η οποία είναι το μηδενικό διάνυσμα από το {{Math|''p''(''λ'') {{=}} 0}} (οι ιδιοτιμές του {{Math|''A''}} είναι ακριβώς οι [[Ρίζα (μαθηματικά)|ρίζες]] του {{Math|''p''(''t'')}}. Αυτό ισχύει για όλες τις πιθανές ιδιοτιμές {{Math|''λ''}}, έτσι ώστε οι δύο πίνακες εξισώνονται με το θεώρημα θα δώσουν σίγουρα το ίδιο (μηδενικό) αποτέλεσμα όταν εφαρμόζονται σε κάθε ιδιοκορφή. Τώρα, αν {{Math|''A''}} παραδέχεται μια [[Basic Linear Algebra Subprograms|βάση]] των ιδιοδιανυσμάτων, με άλλα λόγια, αν {{Math|''A''}} είναι [[Diagonalizable matrix|διαγωνοποιήσιμος]] , τότε το θεώρημα Κέιλι-Χάμιλτον θα πρέπει να περιμένετε για {{Math|''A''}}, από δύο πίνακες που δίνουν τις ίδιες αξίες, όταν εφαρμόζεται σε κάθε στοιχείο της βάσης πρέπει να είναι ίσες. Δεν είναι όλοι οι πίνακες [[Diagonalizable matrix|διαγωνοποιήσιμοι]], αλλά για πίνακες με μιγαδικούς συντελεστές πολλοί από αυτούς είναι: το σύνολο των [[Diagonalizable matrix|διαγωνοποιήσιμων]] συγκροτημάτων τετραγωνικών πινάκων του συγκεκριμένου μεγέθους είναι [[:en:Dense set|πυκνό]] στο σύνολο όλων αυτών των τετραγωνικών πινάκων<ref name="Bhatia 1997, p. 7">Bhatia 1997, p. 7</ref> (για ένα πίνακα για να γίνει  να διαγώνιος αρκεί, για παράδειγμα, ότι το χαρακτηριστικό πολυώνυμο δεν έχει πολλαπλές ρίζες). Τώρα, αν οποιαδήποτε από τις {{Math|''n''<sup>2</sup>}} εκφράσεις, ότι το θεώρημα ισοδυναμεί με {{Math|0}} , δεν θα είναι μηδενική έκφραση, με άλλα λόγια, αν είναι ένα μη μηδενικό πολυώνυμο είναι οι συντελεστές του μηδενικού πίνακα, τότε το σύνολο των περίπλοκων πινάκων για τα οποία η έκφραση αυτή γίνεται για να δώσει {{Math|0}} δεν είναι πυκνό στο σύνολο όλων των πινάκων, η οποία έρχεται σε αντίθεση με το γεγονός ότι το θεώρημα ισχύει για όλους τους διαγωνοποιήσιμους πίνακες. Έτσι, μπορεί κανείς να δει ότι το θεώρημα Κέιλι-Χάμιλτον θα πρέπει να είναι αλήθεια.
: Ενώ αυτό παρέχει μια έγκυρη απόδειξη (για πίνακες πάνω από τους μιγαδικούς αριθμούς), το επιχείρημα δεν είναι πολύ ικανοποιητικό, δεδομένου ότι οι ταυτότητες που αντιπροσωπεύεται από το θεώρημα σε καμία περίπτωση, δεν εξαρτώνται από τη φύση του πίνακα (διαγώνιος ή όχι), ούτε για το είδος των καταχωρήσεων επιτρέπεται (για πίνακες με πραγματική καταχωρήσεις οι διαγώνιοι αυτοί δεν σχηματίζουν ένα πυκνό σύνολο, και αν  φαίνεται παράξενο, θα πρέπει να εξετάσετε μιγαδικούς πίνακες για να δείτε ότι το θεώρημα Κέιλι-Χάμιλτον ισχύει και για αυτούς). Ως εκ τούτου, πρέπει τώρα να εξετάσετε μόνο τα επιχειρήματα που αποδεικνύουν το θεώρημα άμεσα για οποιαδήποτε πίνακα με τη χρήση αλγεβρικών χειρισμών, μόνο αυτά έχουν επίσης το πλεονέκτημα της εργασίας για πίνακες με καταχωρήσεις σε κάθε [[Αντιμεταθετικός δακτύλιος|αντιμεταθετική δαχτυλίδι]].
: Υπάρχει μια μεγάλη ποικιλία από τέτοιες αποδείξεις από το θεώρημα Κέιλι-Χάμιλτον, εκ των οποίων πολλές θα δοθούν εδώ. Διαφέρουν στο ποσό των αφηρημένων αλγεβρικών εννοιών που απαιτούνται για να κατανοήσουμε την απόδειξη. Η απλούστερες αποδείξεις χρησιμοποιούν μόνο εκείνες τις έννοιες που απαιτούνται για να διατυπώσουμε το θεώρημα (πίνακες, πολυώνυμα με αριθμητικές καταχωρήσεις, καθοριστικούς παράγοντες), αλλά περιλαμβάνει τεχνικές υπολογισμών που καθιστούν κάπως μυστηριώδη το γεγονός ότι μπορούν να οδηγήσουν ακριβώς στο σωστό συμπέρασμα. Είναι δυνατόν να αποφευχθούν τέτοιου είδους λεπτομέρειες, αλλά στην τιμή που περιλαμβάνει πιο λεπτές αλγεβρικές έννοιες: πολυωνύμων με συντελεστές σε ένα μη-αντιμεταθετική δαχτυλίδι, ή πίνακες με ασυνήθιστα είδη καταχωρίσεων.
: '''Συζυγής πίνακες'''
: Όλες οι αποδείξεις κάτω κάνουν χρήση της έννοιας του [[Adjugate matrix|συζυγή πίνακα]] {{Math|adj(''M'')}} ενός {{Math|''n''×''n''}} πίνακα {{Math|''M''}}, η [[:en:Transpose|μεταφορά]] του [[:en:Minor (linear algebra)|συμπαράγοντα μήτρα]].
: Αυτός είναι ένας πίνακας των οποίων οι συντελεστές δίνονται από πολυωνυμικές εκφράσεις των συντελεστών {{Math|''M''}} (στην πραγματικότητα, από ορισμένους {{Math|(''n''&nbsp;−&nbsp;1)×(''n''&nbsp;−&nbsp;1)}} καθοριστικούς παράγοντες), με τέτοιο τρόπο ώστε  οι ακόλουθες θεμελιώδεις σχέσεις να είναι,
:: <math>\operatorname{adj}(M)\cdot M=\det(M)I_n=M\cdot\operatorname{adj}(M)~.</math> Οι σχέσεις αυτές αποτελούν άμεση συνέπεια των βασικών ιδιότητων των οριζουσών: αξιολόγηση της {{Math|(''i'',''j'')}} την είσοδο του πίνακα προϊόντων στα αριστερά δίνει την επέκταση από τη στήλη {{Math|''j''}} της ορίζουσας του πίνακα που λαμβάνεται από {{Math|''M''}} αντικαθιστώντας στήλη {{Math|''i''}} από αντίγραφο της στήλης {{Math|''j''}}, το οποίο είναι {{Math|det(''M'')}} αν {{Math|''i'' {{=}} ''j''}} και μηδέν διαφορετικά * η μήτρα προϊόντων στα δεξιά είναι παρόμοια, αλλά για επεκτάσεις από σειρές.
: Ήταν συνέπεια μιας αλγεβρικής έκφρασης , οι σχέσεις αυτές ισχύουν για πίνακες με καταχωρήσεις σε κάθε αντιμεταθετικό δαχτυλίδι (αντιμεταθετικός πρέπει να θεωρείται για τους καθοριστικούς παράγοντες για να καθοριστεί στην πρώτη θέση). Είναι σημαντικό να σημειωθεί εδώ, γιατί οι σχέσεις αυτές θα πρέπει να εφαρμόζονται  για πίνακες με μη αριθμητικές καταχωρήσεις όπως πολυώνυμα.
: '''Άμεση αλγεβρική απόδειξη''' 
: Η απόδειξη χρησιμοποιεί το είδος των αντικειμένων που απαιτούνται για να διατυπώσουμε το θεώρημα Κέιλι-Χάμιλτον: πίνακες με πολυώνυμα ως καταχωρήσεις. Ο πίνακας  {{Math|''t I''<sub>n</sub> −''A''}} του οποίου η ορίζουσα είναι το χαρακτηριστικό πολυώνυμο του {{Mvar|A}} είναι ένας πίνακας, και από τα πολυωνύμωνα αποτελούν ένα αντιμεταθετικό δαχτυλίδι, έχει ένα συζυγή.
:: <math>B=\operatorname{adj}(tI_n-A).</math> Στη συνέχεια, σύμφωνα με το "δεξί- χέρι" θεμελιώδη σχέση του συζυγή, έχει
:: <math>(t I_n - A) \cdot B = \det(t I_n - A) I_n = p(t) I_n~.</math> Το {{Math|''B''}} είναι επίσης ένας πίνακας με πολυώνυμα σε {{Math|''t''}} ,   για κάθε i  γίνεται να επιλέξουν τους συντελεστές του {{Math|''t<sup>i</sup>''}} σε κάθε είσοδο για να διαμορφώσει ένα πίνακα {{Math|''B'' <sub>''i''</sub>}} αριθμών, όπως αυτό έχει

: <math>B = \sum_{i = 0}^{n - 1} t^i B_i   ~.</math>
(Ο τρόπος που ορίζονται  οι είσοδοι της {{Math|''B''}} , καθιστά σαφές ότι δεν υπάρχουν δυνάμεις ανώτερες από τον {{Math|''t''<sup>''n''−1</sup>}} ). Ενώ αυτό ''φαίνεται'' σαν ένας πίνακας με συντελεστές πολυώνυμα, δεν θα εξετάσει μια τέτοια έννοια, είναι απλώς ένας τρόπος για να γράψει ένα πίνακα με πολυώνυμο καταχωρήσεις ως γραμμικός συνδυασμός των {{Mvar|n}} σταθερών πινάκων, και ο συντελεστής {{Math|''t <sup>i</sup>''}} έχει γραφτεί αριστερά από τον πίνακα για να τονίσω αυτή την άποψη.

Τώρα, μπορεί κανείς να επεκτείνει τον πίνακα στην εξίσωση μας  με bilinearity 
: <math>\begin{align}
 p(t) I_n &= (t I_n - A) \cdot B \\
 &=(t I_n - A) \cdot\sum_{i = 0}^{n - 1} t^i B_i  \\
 &=\sum_{i = 0}^{n - 1} tI_n\cdot t^i B_i - \sum_{i = 0}^{n - 1} A\cdot t^i B_i \\
 &=\sum_{i = 0}^{n - 1} t^{i + 1}  B_i- \sum_{i = 0}^{n - 1} t^i A\cdot B_i  \\
 &=t^n B_{n - 1} + \sum_{i = 1}^{n - 1}  t^i(B_{i - 1} - A\cdot  B_i) - A \cdot B_0~.
\end{align}</math>
Γράφοντας 
: <math>p(t)I_n=t^nI_n+t^{n-1}c_{n-1}I_n+\cdots+tc_1I_n+c_0I_n~,</math>
κάποιος αποκτά  ισότητα των δύο πινάκων με πολυώνυμο καταχωρήσεις, γραμμένοι  ως γραμμικοί συνδυασμοί των σταθερών πινάκων με τις δυνάμεις του {{Math|''t''}} ως συντελεστές.

Μια τέτοια ισότητα μπορεί να κρατήσει μόνο αν σε κάθε πίνακα τη θέση της καταχώρησης που πολλαπλασιάζεται με μια δεδομένη δύναμη {{Math| ''t<sup>i</sup>''}} είναι το ίδιο και στις δύο πλευρές, προκύπτει ότι οι σταθεροί πίνακες  
: <math>B_{n - 1} = I_n, \qquad B_{i - 1} - A\cdot B_i = c_i I_n\quad \text{for }1 \leq i \leq n-1, \qquad -A B_0 = c_0 I_n~.</math> 
: Τέλος, πολλαπλασιάζουμε την εξίσωση των συντελεστών του {{Math|''t''<sup>''i''</sup>}} από τα αριστερά από το {{Math|''A''<sup>''i''</sup>}}, και να συνοψίσω: το αριστερό χέρι πλευρές σχηματίζουν ένα [[:en:Telescoping sum|τηλεσκοπικό άθροισμα]] και να ακυρώσει εντελώς, από την οποία προκύπτει η εξίσωση 
:: <math> 0=A^n+c_{n-1}A^{n-1}+\cdots+c_1A+c_0I_n= p(A)~.</math> 
:: Αυτό ολοκληρώνει την απόδειξη 
::  
: '''Απόδειξη χρησιμοποιώντας πολυώνυμα με συντελεστές πίνακες'''  
: Αυτή η απόδειξη είναι παρόμοια με την πρώτη, αλλά προσπαθεί να δώσει νόημα στην έννοια της πολυώνυμο με συντελεστές πίνακες που προτάθηκε από τις εκφράσεις που εμφανίζονται στην απόδειξη. Αυτό απαιτεί μεγάλη προσοχή, αφού είναι κάπως ασυνήθιστο η εξέταση πολυωνύμων με συντελεστές σε ένα μη-αντιμεταθετικό δαχτυλίδι, και όχι όλο το σκεπτικό που ισχύει για αντιμεταθετικά πολυώνυμα μπορεί να εφαρμοστεί σε αυτή τη ρύθμιση 
: Συγκεκριμένα, όσο  η αριθμητική των πολυωνύμων είναι πάνω από ένα αντιμεταθετικό δαχτύλιο η αριθμητική τιμή του [[Πολυώνυμο|πολυωνύμου λειτουργίες]], αυτό δεν είναι η περίπτωση πάνω από ένα μη-αντιμεταθετικό δαχτύλιο (στην πραγματικότητα δεν υπάρχει προφανής έννοια της πολυωνυμικής συνάρτησης σε αυτή την περίπτωση που είναι κλειστό κάτω από τον πολλαπλασιασμό). Έτσι, όταν εξετάζουμε πολυώνυμα σε {{Mvar|t}} με συντελεστές πίνακες, η μεταβλητή {{Mvar|t}} δεν πρέπει να θεωρηθεί ως ένα "άγνωστο", αλλά ως επίσημο σύμβολο που είναι να χειραγωγηθεί σύμφωνα με δεδομένους κανόνες * ειδικότερα, δεν μπορεί κανείς να απλά ρυθμίσει {{Mvar|t}} σε μια συγκεκριμένη τιμή. 
: <math>(f+g)(x) = \sum_i \left (f_i+g_i \right )x^i = \sum_i{f_i x^i} + \sum_i{g_i x^i} = f(x) + g(x)</math> 
: Ας ''M''(''n'', ''R'') είναι ο δακτύλιος των ''n''×''n'' πινάκων με καταχωρήσεις σε ορισμένες δακτυλίου ''R'' (όπως οι πραγματικοί ή μιγαδικοί αριθμοί) που έχει {{Mvar|A}} στοιχείο. Πίνακες με τους συντελεστές πολυωνύμων σε {{Mvar|t}}, όπως <math>tI_n - A</math> ή τον συζυγή ''Β'' στην πρώτη απόδειξη, είναι στοιχεία του ''M''(''n'', ''R''[''t'']).  
: Από τη συλλογή σαν δυνάμεις του {{Mvar|t}}, τόσο ο πίνακας μπορεί να γραφτεί ως "πολυώνυμα" σε {{Mvar|t}} με σταθερούς πίνακες ως συντελεστές, γράψτε ''M''(''n'', ''R'')[''t''] για το σύνολο αυτών των πολυωνύμων. Από αυτό το σύνολο είναι σε ισομορφισμό με ''M''(''n'', ''R''[''t'']),  ορίζει αριθμητικές πράξεις πάνω αντίστοιχα, ιδίως πολλαπλασιασμό δίνεται από 
:: <math>\left (\sum_iM_it^i \right )\cdot \left (\sum_jN_jt^j \right )=\sum_{i,j}(M_i\cdot N_j)t^{i+j},</math> 
: τηρώντας την εντολή του συντελεστή πίνακα από τους δύο τελεστές * προφανώς αυτό δίνει μια μη-αντιμεταθετικό πολλαπλασιασμό 
: Έτσι, η ταυτότητα 
:: <math>(t I_n - A) \cdot B = p(t) I_n.</math>  
:: από την πρώτη απόδειξη μπορεί να θεωρηθεί ως συνεπαγωγή του πολλαπλασιασμού των στοιχείων ''M''(''n'', ''R'')[''t'']. 
: Σε αυτό το σημείο, είναι δελεαστικό να  ρυθμίσετε απλά {{Mvar|t}} ίσομε τον  πίνακα {{Mvar|A}} , που κάνει ο πρώτος παράγοντας στα αριστερά ίσο με το μηδενικό  πίνακα, και η δεξιά  πλευρά ίση με {{Math|''p''(''A'')}} * ωστόσο, αυτό δεν είναι μια επιτρεπτή  λειτουργία όταν συντελεστές δεν μετακινούνται. Είναι δυνατόν να ορίσετε μια "δεξιά-αξιολόγηση χάρτη" ev<sub>{{Mvar|A}}</sub> : '''M'''[''t''] → '''M''', το οποίο αντικαθιστά κάθε ''t<sup>i</sup>'' από τον πίνακα δύναμης  {{Mvar|A}} <sup>''-''</sup>  από {{Mvar|A}} , όπου ορίζει ότι η δύναμη  πρέπει πάντα να πολλαπλασιάζεται από τα δεξιά του  αντίστοιχου  συντελεστή 
: Αλλά αυτό δεν είναι το δαχτυλίδι ομομορφισμού: η σωστή αξιολόγηση ενός προϊόντος διαφέρει σε γενικές γραμμές από το προϊόν των  σωστά-αξιολογήσεις. Αυτό συμβαίνει επειδή ο πολλαπλασιασμός πολυωνύμων με συντελεστές πίνακες δεν  τυποποιεί τον  πολλαπλασιασμό των εκφράσεων που περιέχουν αγνώστους: ένα προϊόν <math>Mt^i Nt^j = (M\cdot N)t^{i+j}</math> ορίζεται αν υποθέσουμε ότι {{Mvar|t}} πηγαινοέρχεται με το {{Mvar|N}}, αλλά αυτό μπορεί να αποτύχει, εάν {{Mvar|t}} αντικαθίσταται από τον πίνακα Α.☃☃ 
: Μπορεί κανείς να επιλύσει αυτό το πρόβλημα με την συγκεκριμένη κατάσταση με το χέρι, δεδομένου ότι το ανωτέρω δικαίωμα-αξιολόγηση  γίνει ένα δαχτυλίδι ομομορφισμού αν ο πίνακας {{Mvar|A}} είναι το [[:en:Center (algebra)|κέντρο]] του δακτυλίου των συντελεστών, έτσι ώστε να πηγαινοέρχεται με όλους τους συντελεστές των πολυωνύμων (το επιχείρημα που αποδεικνύει αυτή είναι απλή, ακριβώς επειδή μετακινήσεις {{Mvar|t}} με συντελεστές είναι πλέον δικαιολογημένη μετά από αξιολόγηση).  
: Τώρα, {{Mvar|A}} δεν είναι πάντα στο κέντρο του '''M''', αλλά μπορεί να αντικαταστήσει '''M''' με ένα μικρότερο δακτύλιο με την προϋπόθεση ότι περιέχει όλους τους συντελεστές των πολυωνύμων: <math>I_n</math>, {{Mvar|A}}και οι συντελεστές <math>B_i</math> του πολυωνύμου ''B''. Η προφανής επιλογή για έναν τέτοιον υποδακτύλιο  είναι ο [[Centralizer|κεντροποιητής]] ''Z'' από {{Mvar|A}}, ο υποδακτύλιος όλων των πινάκων που μετακινούνται με {{Mvar|A}};, εξ ορισμού, {{Mvar|A}} είναι στο κέντρο του ''Z''.  
: Αυτός ο [[Centralizer|κεντροποιητης]] προφανώς περιέχει <math>I_n</math>και {{Mvar|A}}, αλλά το ένα έχει να δείξει ότι αυτό περιέχει τους πίνακες <math>B_i</math>. Για να το κάνετε αυτό, ένα συνδυάζει τις δύο βασικές σχέσεις για τα συζυγή, γράφοντας το συζυγή ''Β'' ως πολυώνυμο: 
:: <math>\begin{align}
  \left(\sum_{i = 0}^m B_i t^i\right) (t I_n - A)&=(tI_n - A) \sum_{i = 0}^m B_i t^i \\
  \sum_{i = 0}^m B_i t^{i + 1} - \sum_{i = 0}^m B_i A t^i &= \sum_{i = 0}^m B_i t^{i + 1} - \sum_{i = 0}^m A B_i t^i \\
 \sum_{i = 0}^m B_i A t^i &= \sum_{i = 0}^m A B_i t^i .
 \end{align}</math>  
:: [[:en:Equating the coefficients|Εξισώνοντας τους συντελεστές που]] δείχνει ότι για κάθε ''i'', έχουμε {{Mvar|A}} ''B <sub>-</sub>''  = ''B <sub>-</sub>''  {{Mvar|A}} , όπως είναι επιθυμητό. Έχοντας βρει το κατάλληλο σκηνικό στο οποίο ev<sub>{{Mvar|A}}</sub> είναι πράγματι ένας ομομορφισμός δαχτύλιος, μπορεί κανείς να ολοκληρώσει την απόδειξη, όπως προτείνεται παραπάνω: 
:: <math>\begin{align}
 \operatorname{ev}_A\bigl(p(t) I_n\bigr) &= \operatorname{ev}_A((t I_n - A)\cdot B)  \\
  p(A)&= \operatorname{ev}_A(t I_n - A)\cdot \operatorname{ev}_A(B) \\
  p(A) &= (A \cdot I_n - A) \cdot \operatorname{ev}_A(B) = 0\cdot\operatorname{ev}_A(B) = 0 .
 \end{align}</math> 
:: Αυτό ολοκληρώνει την απόδειξη 
: '''Μια σύνθεση των δύο πρώτων αποδείξεων'''  
:  Στην πρώτη απόδειξη , ένα ήταν σε θέση να προσδιορίσει τους συντελεστές Bi της Β βασίζεται στο δεξί-χέρι θεμελιώδης σχέση μόνο για το συζυγές . Στην πραγματικότητα, οι πρώτες n εξισώσεις που προέρχονται μπορούν να ερμηνευθούν ως τον καθορισμό του πηλίκου Β της [[Euclidean division|Ευκλείδειας διαίρεσης]] του πολυωνύμου p ( t )  στα αριστερά από το [[μονικό πολυώνυμο]] Int -Α , ενώ η τελική εξίσωση εκφράζει το γεγονός ότι το υπόλοιπο είναι μηδέν . Η διαίρεση αυτή εκτελείται στο δακτύλιο πολυωνύμων με συντελεστές . Πράγματι , ακόμη και πάνω από ένα μη ισόμορφο δαχτύλιο , Ευκλείδεια διαίρεση με ένα μονικό πολυώνυμο P ορίζεται , και παράγει πάντα ένα μοναδικό πηλίκο και υπόλοιπο με την ίδια κατάσταση βαθμό όπως στην αντιμεταθετική περίπτωση , υπό την προϋπόθεση ότι έχει καθοριστεί σε ποια πλευρά κάποιος επιθυμεί P για να είναι ένας παράγοντας ( εδώ που είναι προς τα αριστερά ) . Για να δείτε ότι το πηλίκο και το υπόλοιπο είναι το μοναδικό (το οποίο είναι το σημαντικό μέρος της δήλωση εδώ), αρκεί να γράψετε <math>PQ+r=PQ'+r'</math> ως <math>P(Q-Q')=r'-r</math> και παρατηρούμε ότι από το {{Math|''P''}} είναι μονικό, {{Math|''P(Q−Q') ''}} δεν μπορεί να έχει βαθμό μικρότερο από αυτό του {{Math|''P''}}, εκτός αν {{Math|''Q''{{=}}''Q' ''}}. 
:  Αλλά το μέρισμα {{Math|''p''(''t'')''I<sub>n</sub>''}} και ο  διαιρέτης {{Math|''I<sub>n</sub>t''−''A''}} χρησιμοποιείται εδώ και οι δύο βρίσκονται στον υποδαχτύλιο {{Math|(''R''[''A''])[''t'']}}, όπου {{Math|''R''[''A'']}} είναι ο υποδαχτύλιος του πίνακα δακτυλίου {{Math|''M''(''n'', ''R'')}} που παράγεται από {{Math|''A''}}: το {{Math|''R''}}-γραμμική έκταση του όλες τις εξουσίες του {{Math|''A''}}. Ως εκ τούτου, η Ευκλείδεια διαίρεση, μπορεί στην πραγματικότητα να πραγματοποιηθεί εντός ''αντιμεταθετικό'' πολυώνυμο δαχτύλιο, και φυσικά στη συνέχεια να δίνει το ίδιο πηλίκο {{Math|''B''}} και υπόλοιπο 0 ως το μεγαλύτερο δαχτυλίδι * ειδικότερα, αυτό δείχνει ότι {{Math|''B''}} βρίσκεται στο {{Math|(''R''[''A''])[''t'']}}.  
:  Αλλά, σε αυτή την αντιμεταθετική ρύθμιση, είναι έγκυρη για να ρυθμίσετε {{Math|''t''}} να {{Math|''A''}} στην εξίσωση  
:: <math>p(t)I_n=(I_nt-A)B</math>* με άλλα λόγια, να εφαρμόσει την αξιολόγηση χάρτης
:: <math>\operatorname{ev}_A:(R[A])[t]\to R[A]</math> το οποίο είναι ένα δαχτυλίδι homomorphism, δίνοντας 
:: <math>p(A)=0\cdot\operatorname{ev}_A(B)=0</math> όπως και στη δεύτερη απόδειξη, όπως είναι επιθυμητό. 
:  Επιπλέον να αποδεικνύει το θεώρημα, το παραπάνω επιχείρημα, μας λέει ότι οι συντελεστές {{Math| ''B<sub>i</sub>''}} της {{Math|''B''}} είναι πολυώνυμα σε {{Math|''A''}}, ενώ από την δεύτερη απόδειξη ξέραμε μόνο ότι λένε ψέματα στον κεντροποιητή  {{Math|''Z''}} από {{Math|''A''}} γενικά, {{Math|''Z''}} είναι ένας μεγαλύτερος υποδαχτύλιος από {{Math|''R''[''A'']}}, και όχι απαραίτητα αντιμεταθετικός. Ειδικότερα ο σταθερός όρος {{Math|''B''<sub>0</sub>{{=}} adj(−''A'')}} έγκειται στο {{Math|''R''[''A'']}}. Από το {{Math|''A''}} είναι ένας αυθαίρετος τετραγωνικός πίνακας, αυτό αποδεικνύει ότι {{Math|adj(''A'')}} μπορεί πάντα να εκφραστεί ως ένα πολυώνυμο {{Math|''A''}} (με συντελεστές που εξαρτώνται από {{Math|''A'')}}.  
:  Στην πραγματικότητα, οι εξισώσεις που βρέθηκαν στην πρώτη απόδειξη επιτρέπουν διαδοχικά εκφράζοντας <math>B_{n-1}, \ldots, B_1, B_0</math> ως πολυώνυμα σε {{Math|''A''}}, το οποίο οδηγεί στην ταυτότητα 
:  ισχύει για όλα τα {{Math|''n''×''n''}} πίνακες, που  
:  <math>p(t)=t^n+c_{n-1}t^{n-1}+\cdots+c_1t+c_0</math> 
:  είναι το χαρακτηριστικό πολυώνυμο του {{Math|''A''}}.  
:  Σημειώστε ότι αυτή η ταυτότητα συνεπάγεται επίσης τη δήλωση από το θεώρημα Κέιλι-Χάμιλτον: μπορεί κανείς να κινηθεί {{Math|adj(−''A'')}} στην δεξιά πλευρά, πολλαπλασιάστε το αποτέλεσμα της εξίσωσης (αριστερά ή δεξιά) από τη {{Math|''A''}}, και το γεγονός ότι 
:: <math>-A\cdot \operatorname{adj}(-A)=\operatorname{adj}(-A)\cdot (-A)=\det(-A)I_n=c_0I_n.</math>

====      Απόδειξη χρησιμοποιώντας πίνακες ενδομορφισμού ====
Όπως αναφέρθηκε παραπάνω, ο πίνακας ''p''(''A'') σε δήλωση του θεωρήματος προκύπτει υπολογίζοντας πρώτα την ορίζουσα και, στη συνέχεια, αντικαθιστώντας τον πίνακα Α με ''t,''το να γίνει αυτή η αντικατάσταση στον πίνακα <math>tI_n-A</math> πριν από τον υπολογισμό της ορίζουσαν είναι ανούσιο. Παρ ' όλα αυτά, είναι δυνατόν να δωθεί μια ερμηνεία όπου ο ''p''(''A'') προκύπτει άμεσα ως η τιμή μίας συγκεκριμένης ορίζουσας, αλλά αυτό απαιτεί μια πιο περίπλοκη ρύθμιση, έναν εκ των πινάκων πάνω από τον δακτύλιο στον οποίο μπορεί κανείς να ερμηνεύσει τόσο τις καταχωρήσεις <math>A_{i,j}</math> του Α και τον ίδιο τον Α . Θα μπορούσε κανείς να πάρει αυτόν τον δαχτύλιο ''M''(''n'', ''R'') των ''n''×''n'' πινάκων πάνω από το ''R'', όπου η καταχώρηση <math>A_{i,j}</math> γίνεται αντιληπτή, ως <math>A_{i,j}I_n</math>και ως ο ίδιος ο Α . Αλλά, λαμβάνοντας υπόψη πίνακες με πίνακες, ως  καταχωρήσεις μπορεί να προκαλέσει σύγχυση με το [[:en:Block matrix|μπλοκ πίνακες]], το οποίο δεν είναι επιθυμητό, καθώς αυτό δίνει τη λάθος έννοια της ορίζουσας (υπενθυμίζεται ότι η ορίζουσα ενός πίνακα ορίζεται ως το σύνολο του γινομένου των καταχωρήσεων, και στη περίπτωση ενός μπλοκ πίνακα αυτό γενικά δεν είναι το ίδιο όπως και το αντίστοιχο άθροισμα από των γινομένων των πινάκων!). !). Είναι πιο σαφές να διαχωρίσουμε τον Α από τον ενδομορφισμό φ ενός ''n''-διάστατου διανυσματικού χώρου ''V'' (ή ελεύθερου ''R''-module αν το ''R'' δεν είναι ένα πεδίο), το οποίο ορίζεται από αυτό σε μια βάση ''e''<sub>1</sub>, ..., ''e<sub>n</sub>'', και για να παρθούν πίνακες πάνω από τον δακτύλιο End(''V'') όλων αυτών των ενδομορφισμών. Στη συνέχεια, φ ∈ End(''V'') είναι μια πιθανή καταχώρηση για τον πίνακα, ενώ ο Α παράγει το στοιχείο του ''M''(''n'', και End(''V'')), του οποίου i,''j'' καταχώρηση είναι ενδομορφισμός του κλιμακωτού πολλαπλασιασμού κατά <math>A_{i,j}</math>, ομοίως ο ''I<sub>n</sub>'' θα πρέπει να ερμηνευθεί ως στοιχείο του ''M''(''n'', και End(''V'')). Ωστόσο, αφού End(''V'') δεν είναι αντιμεταθετικός δακτύλιος, καμία ορίζουσα δεν ορίζεται στο ''M''(''n'', και End(''V'')). αυτό μπορεί να γίνει μόνο για πίνακες πάνω από έναν αντιμεταθετικό υποδακτύλιο του End(''V''). Τώρα οι καταχωρήσεις του πίνακα <math>\varphi I_n-A</math> ,  βρίσκονται στον υποδακτύλιο ''R''[φ] που παράγεται από το ταυτοτικό στοιχείο και την φ, η οποία είναι αντιμεταθετική. Στη συνέχεια, μία καθοριστική αντιστοίχηση  ''M''(''n'', ''R''[φ]) → ''R''[φ] ορίζεται, και <math>\det(\varphi I_n-A)</math> υπολογίζει την τιμή ''p''(φ) του χαρακτηριστικού πολυωνύμου του ''Α'' στο φ (αυτό ισχύει ανεξάρτητα από τη σχέση μεταξύ των ''Α'' και δ). το θεώρημα Κέιλι-Χάμιλτον δηλώνει ότι ''p''(φ) είναι το κενός ενδομορφισμός.

Σε αυτή τη μορφή, η ακόλουθη απόδειξη μπορεί να ληφθεί από αυτή {{Harvard citations|last1=Atiyah|last2=MacDonald|year=1969|loc=Prop. 2.4}} (η οποία στην πραγματικότητα είναι η πιο γενική δήλωση που συνδέεται με την [[:en:Nakayama lemma|Nakayama λήμμα]] * η οποία χρειάζεται κατ' εκδοχήν σε αυτή την πρόταση ολόκληρο τον δακτύλιο ''R''). Το γεγονός ότι ο Α είναι ο πίνακας της φ στην βάση ''e''<sub>1</sub>, ..., ''e<sub>n</sub>'' σημαίνει ότι

<math>\varphi(e_i) = \sum_{j = 1}^n A_{j,i} e_j \quad\text{for }i=1,\ldots,n.</math>

Μπορεί κανείς να ερμηνεύσει αυτές, ως ''n'' στοιχεία μιάς εξίσωσης στον ''V<sup>n</sup>'', τα μέλη της οποίας μπορούν να γραφτούν χρησιμοποιώντας τον βαθμωτό πίνακα διανυσμάτων ''M''(''n'', και End(''V'')) × ''V<sup>n</sup>'' → ''V<sup>n</sup>'' που ορίζεται ως συνήθως, αλλά με ξεχωριστές καταχωρήσεις ψ ∈ End(''V'') και το ''v'' στον ''V'' "πολλαπλασιάζεται" με τη διαμορφώνοντας το <math>\psi(v)</math>, αυτό δίνει:

<math>\varphi I_n \cdot E= A^\mathrm{tr}\cdot E,</math>

όπου <math>E\in V^n</math> είναι το στοιχείο του οποίου η συνιστώσα i ''θα'' είναι ''e<sub>i</sub>'' (με άλλα λόγια, είναι η βάση ''e''<sub>1</sub>, ..., ''e<sub>n</sub>'' του ''V'' που γράφεται ως μια στήλη διανυσμάτων). Γράφοντας αυτή την εξίσωση ως

<math>(\varphi I_n-A^\mathrm{tr})\cdot E=0\in V^n</math>

κάποιος αναγνωρίζει τη [[:en:Transpose|μετατόπιση]] του πίνακα <math>\varphi I_n-A</math> που μελετήθηκε παραπάνω, και την ορίζουσά του (ως στοιχείο του ''M''(''n'', ''R''[φ])) είναι επίσης ''σ''(φ). Αυτό που απορρέει από αυτή την εξίσωση ειναι ότι ''σ''(φ) = 0 ∈ Ενδ(''V''), που πολλαπλασιάζεται από αριστερά με τον συζυγή πίνακα της <math>\varphi I_n-A^\mathrm{tr}</math>, ο οποίος ορίζεται στον πίνακα δακτυλίου ''M''(''n'', ''R''[φ]), δίνοντας

<math>\begin{align}
 0&=\operatorname{adj}(\varphi I_n-A^\mathrm{tr})\cdot((\varphi I_n-A^\mathrm{tr})\cdot E)\\
  &= (\operatorname{adj}(\varphi I_n-A^\mathrm{tr})\cdot(\varphi I_n-A^\mathrm{tr}))\cdot E\\
  &= (\det(\varphi I_n-A^\mathrm{tr})I_n)\cdot E\\
  &= (p(\varphi)I_n)\cdot E;
\end{align}</math>

η συσχέτιση  πίνακα-πίνακα και πίνακα-διανυσματικών πολλαπλάσιων που χρησιμοποιείται κατά το πρώτο βήμα είναι μια καθαρά τυπική ιδιότητα των πράξεων αυτών, ανεξάρτητα από τη φύση των καταχωρήσεων. Τώρα η συνιστώσα i αυτής της εξίσωσης λέει ότι ''σ''(φ)(''e <sub>'</sub>'' ) = 0 ∈ ''V''. έτσι ''p''(φ) απαλοίφει  όλα τα  ''e<sub>i</sub>'',  και δεδομένου ότι τα στοιχεία αυτά παράγουν τον ''V'' έπεται ότι ''σ''(φ) = 0 ∈ End(''V''), ολοκληρώνοντας την απόδειξη.

Ένα επιπλέον γεγονός που προκύπτει από αυτή απόδειξη είναι ότι ο πίνακας Α του οποίου το χαρακτηριστικό πολυώνυμο έχει βρεθεί δεν χρειάζεται να είναι ταυτόσημο με την τιμή του φ το οποίο αντικαταστάται σε αυτό το πολυώνυμο * αρκεί ότι η φ είναι ένας ενδομορφισμός του ''V'' που ικανοποιεί τις αρχικές εξισώσεις

<math>\varphi(e_i) = \sum_j A_{j,i} e_j</math>

για ''κάποια'' ακολουθία στοιχείων ''του e''<sub>1</sub>,...,''e<sub>n</sub>'' που παράγουν τον ''V'' (ο χώρος αυτός μπορεί να έχει μικρότερη διάσταση από ''n'', ή σε περίπτωση που ο δακτύλιος ''R'' δεν είναι σώμα  μπορεί να μην είναι ένα ελεύθερο συζυγές τελικά ).

===== Μία ψευδής "απόδειξη": ''p''(''A'') = det(''AI<sub>n</sub>''&nbsp;−&nbsp;''A'') = det(''A''&nbsp;−&nbsp;''A'') = 0 =====
Μια συνεχές στοιχειώδες αλλά '''''εσφαλμένο''''' όρισμα<ref name="Bhatia 1997, p. 7"/> για το θεώρημα είναι "απλά" να πάρετε τον ορισμό

<math>p(\lambda) = \det(\lambda I_n - A)</math>

και να αντικαταστήσετε τον Α με {{Mvar|λ}}, λαμβάνοντας

<math>p(A)=\det(A I_n - A) = \det(A - A) = 0~.</math>

Υπάρχουν πολλοί τρόποι για να δείτε γιατί αυτό το όρισμα είναι λάθος. Πρώτον, στο θεώρημα Κέιλι-Χάμιλτον, ο  ''p''(''A'') είναι ένας ''n×n πίνακας''. Ωστόσο, στο δεξί μέρος της παραπάνω εξίσωσης είναι η τιμή της ορίζουσας, η οποία είναι ''κλιμακωτή''. Έτσι, δεν μπορούν να εξισωθούν, εκτός αν ''n''&nbsp;=&nbsp;1 (δηλ. ''ο Α'' είναι απλά κλιμακωτός). Δεύτερον, στην έκφραση <math>\det(\lambda I_n - A)</math>, η μεταβλητή λ προκύπτει στην πραγματικότητα στις διαγώνιες καταχωρήσεις του πίνακα <math>\lambda I_n - A</math>. Για παράδειγμα, σκεφτείτε το χαρακτηριστικό πολυώνυμο στο προηγούμενο παράδειγμα πάλι:

<math>\det\begin{pmatrix}\lambda-1&-2\\-3&\lambda-4\end{pmatrix}.</math>

Αν κάποιος αντικαταστήσει όλο τον πίνακα ''Α'' με λ σε αυτές τις θέσεις, παίρνει

<math>\det\begin{pmatrix} \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} - 1 & -2 \\ -3 &\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} - 4\end{pmatrix},</math>

κατά την οποία η έκφραση "πίνακας" απλά δεν είναι έγκυρη. Σημειώστε, ωστόσο, ότι ,αν αφαιρούνται κατά τα παραπάνω, βαθμωτά πολλαπλάσια του ταυτοτικού πίνακα αντί για βαθμωτά, δηλ. αν η αντικατάσταση γίνεται ως

<math> \det \begin{pmatrix} \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} - I_2 & -2I_2 \\ -3I_2 &\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} - 4I_2 \end{pmatrix},</math>

τότε η ορίζουσα είναι όντως  μηδέν, αλλά ο ανεπτυγμένος πίνακας δεν υπολογίζεται από <math>A I_n-A</math> ούτε μπορεί η ορίζουσά του (κλιμακωτή) να συγκριθεί με του ''p''(''A'') (πίνακα). Οπότε το όρισμα ότι <math>p(A)=\det(AI_n-A)=0</math> ακόμα δεν μπορεί να εφαρμοσθεί.

Στην πραγματικότητα, αν ένα τέτοιο όρισμα ισχύει,πρέπει επίσης να ισχύει όταν άλλες πολυγραμμικές μορφές , αντί για την ορίζουσα, χρησιμοποιούνται. Για παράδειγμα, αν θεωρήσουμε μία σταθερή συνάρτηση και την ορίσουμε <math>q(\lambda) = \operatorname{perm}(\lambda I_n - A)</math> και  στη συνέχεια, με το ίδιο όρισμα, θα πρέπει να είμαστε σε θέση να "αποδείξουμε" ότι ''q''(''A'')&nbsp;=&nbsp;0. Αλλά αυτός ο ισχυρισμός είναι αποδεδειγμένα λάθος. Στη 2-διάστατο περίπτωση, για παράδειγμα, η ορίζουσα ενός πίνακα δίνεται από

<math>\operatorname{perm} \begin{pmatrix} a & b \\ c & d \end{pmatrix} = ad + bc. </math>

Έτσι, για τον πίνακα Α του προηγούμενου παραδείγματος,

<math>
\begin{align}
q(\lambda) & = \operatorname{perm} (\lambda I_2 - A) = \operatorname{perm} \begin{pmatrix} \lambda - 1 & -2  \\ -3 & \lambda-4 \end{pmatrix} \\[6pt]
& = (\lambda - 1)(\lambda - 4) + (-2)(-3) = \lambda^2 - 5\lambda + 10.
\end{align}
</math>

Ακόμα μπορεί κανείς να επαληθεύσει ότι

<math>q(A)=A^2-5A+10I_2=12I_2\not=0.</math>

Μία από τις αποδείξεις για το θεώρημα Κέιλι-Χάμιλτον παραπάνω φέρει κάποια ομοιότητα με το όρισμα ότι το <math>p(A)=\det(AI_n-A)=0</math>. Με την εισαγωγή ενός πίνακα με μη αριθμητικούς συντελεστές, μπορεί κανείς να αφήσει τον Α ως καταχώρηση σε έναν πίνακα, αλλά μετά ο <math>A I_n</math> δεν είναι ίσος με ''Α'', και το συμπέρασμα είναι διαφορετικό.

== Αφηρημένες έννοιες και γενικεύσεις ==
Οι παραπάνω αποδείξεις δείχνουν ότι το θεώρημα Κέιλι-Χάμιλτον ισχύει για πίνακες με καταχωρήσεις σε κάθε αντιμεταθετικό δακτύλιο ''R'', και ότι ''σ''(φ) = 0 θα ισχύει όποτε φ είναι ένας ενδομορφισμός συζυγής του ''R'' που παράγεται από στοιχεία ''του e''<sub>1</sub>,...,''e<sub>n</sub>'' και που να ικανοποιεί

<math>\varphi(e_j)=\sum a_{ij}e_i, \qquad j =1, \ldots, n.</math>

Αυτή η πιο γενική εκδοχή του θεωρήματος είναι η πηγή του καταξιωμένου [[:en:Nakayama lemma|Nakayama λήμμα]] στην αντιμεταθετική άλγεβρα και αλγεβρική γεωμετρία.

== Δείτε επίσης ==
* [[:en:Companion matrix|Companion matrix]]

== Παρατηρήσεις ==
1.Λόγω της μη-αντιμεταθετικής φύση της πολλαπλασιαστικής διαδικασίας για τους τετραδικούς αριθμούς και τις συναφείς κατασκευές, πρέπει να υπάρχει προσοχή με τους ορισμούς, ιδίως στο σημείο αυτό, με την ορίζουσα. Το θεώρημα ισχύει και για διαιρεμένους τετραδικούς αριθμούς που δε συμπεριφέρονται το ίδιο καλά, δείτε {{Harvard citation text|Alagös|Oral|Yüce|2012}}. Οι δακτύλιοι των τετραδικών αριθμών και των διαιρεμένων τετραδικών αριθμών μπορούν και να αναπαρασταθούν από ορισμένους {{Math|2 × 2}}μιγαδικούς πίνακες. (Όταν περιορίζεται σε μοναδιαία νόρμα, αυτές είναι οι ομάδες {{Math|SU(2)}} και {{Math|SU(1, 1)}} , αντίστοιχα.) Ως εκ τούτου, δεν είναι έκπληξη το γεγονός ότι το θεώρημα ισχύει.

Δεν υπάρχει τέτοια αναπαράσταση πίνακα  για τα [[:en:Octonion|octonions]], καθώς η διαδικασία του πολλαπλασιασμού δεν είναι προσεταιριστική σε αυτή την περίπτωση. Ωστόσο, ένα τροποποιημένο θεώρημα του Κέιλι-Χάμιλτον εξακολουθεί να ισχύει για τα octonions, δείτε {{Harvard citation text|Tian|2000}}.

2.Μία ρητή έκφραση αυτών των συντελεστών είναι

<math>c_i = \sum_{ k_1,k_2,\ldots ,k_n}\prod_{l=1}^{n} \frac{(-1)^{k_l+1}}{l^{k_l}k_{l}!}\mathrm{tr}(A^l)^{k_l},</math>

όπου το άθροισμα λαμβάνεται πάνω από τα σύνολα όλων ακέραιο διαμερίσεων {{Math|''k''<sub>''l''</sub> ≥ 0}} που ικανοποιούν την εξίσωση

<math>\sum_{l=1}^{n}lk_{l} = n-i.</math>

3.Βλ., π. χ., σελ. 54 του {{Harvnb|Brown|1994}}, η οποία λύνει [[:en:Jacobi's formula|Jacobi φόρμουλα]],

<math>\partial p(\lambda)  /\partial \lambda= p(\lambda) \sum^\infty _{m=0}\lambda ^{-(m+1)}  \operatorname{tr}A^m =  p(\lambda) ~  \operatorname{tr} \frac{I}{\lambda I -A}\equiv\operatorname{tr} B~, </math>

όπου {{Mvar|B}} είναι ο συζυγής πίνακας της  επόμενης ενότητας. Υπάρχει επίσης ένα ισοδύναμο, που σχετίζεται με αναδρομικό αλγόριθμο που εισήγαγαν οι [[Ουρμπέν Λεβεριέ|Urbain Le Verrier]] και [[:en:Dmitry Konstantinovich Faddeev|Ντμίτρι Konstantinovich Faddeev]]—το [[:en:Faddeev–LeVerrier algorithm|Faddeev–LeVerrier αλγόριθμος]]<nowiki/>που δείχνει
: <math> \begin{align}
M_0 &\equiv 0      & c_n &= 1                                                               \qquad &(k=0) \\
M_k &\equiv AM_{k-1}  -\frac{1}{k-1}(\mathrm{tr}(AM_{k-1})) I \qquad \qquad  & c_{n-k} &= -\frac 1 k \mathrm{tr}(AM_k) \qquad &k=1,\ldots ,n   ~.
\end{align}</math>
(βλ., π. χ., σ 88 της {{Harvnb|Gantmacher|1960}}.) Παρατηρείται  ''A<sup>−1</sup> = − M<sub>n</sub> /c<sub>0</sub>'', καθώς η επανάληψη τερματίζει. Δείτε την αλγεβρική απόδειξη στην παρακάτω ενότητα, που στηρίζεται στις λειτουργίες του συζυγούς, {{Math|''B<sub>k</sub> ≡ M<sub>n−k</sub>''}} . Συγκεκριμένα, <math>(\lambda I-A) B = I p(\lambda)</math> και η παραπάνω παράγωγος της {{Mvar|p}} όταν ένα ίχνος αποδίδεται

<math>\lambda p' -n p =\operatorname{tr} AB~,</math> ({{Harvnb|Hou|1998}}), και η παραπάνω αναδρομή, με τη σειρά της.

== Παρατηρήσεις==
{{Reflist|group=nb}}

== Παραπομπές==
<references />

== Βιβλιογραφία ==
* {{cite journal|url=http://mat76.mat.uni-miskolc.hu/~mnotes/index.php?page=contents&volume=13&number=2|title=Split Quaternion Matrices|last2=Oral|first2=K.|journal=Miskolc Mathematical Notes|issue=2|year=2012|volume=13|pages=223&ndash;232|issn=1787-2405|ref=harv|postscript=none|last3=Yüce|first3=S.|first1=Y.|last1=Alagös}}
* {{cite journal|url=http://mat76.mat.uni-miskolc.hu/~mnotes/index.php?page=contents&volume=13&number=2|title=Split Quaternion Matrices|last2=Oral|first2=K.|journal=Miskolc Mathematical Notes|issue=2|year=2012|volume=13|pages=223&ndash;232|issn=1787-2405|ref=harv|postscript=none|last3=Yüce|first3=S.|first1=Y.|last1=Alagös}} (open access)
* {{citation|title=Introduction to Commutative Algebra|year=1969|last1=Atiyah|last2=MacDonald|first1=M. F.|first2=I. G.|author1-link=M. F. Atiyah|author2-link=I. G. Macdonald|publisher=Westview Press|isbn=0-201-40751-5}}
* {{cite journal|url=http://iopscience.iop.org/0305-4470/27/15/022/|title=The exponential map for the conformal group O(2,4)|last2=Zeni|first2=J. R.|journal=J. Phys. A: Math. Gen.|publisher=IOPScience|issue=15|doi=10.1088/0305-4470/27/15/022|year=1994a|volume=27|pages=5239&ndash;5250|arxiv=hep-th/9408105|bibcode=1994JPhA...27.5239B|ref=harv|last3=Laufer|first3=A.|first1=A. O.|last1=Barut|authorlink1=Asım Orhan Barut}}
* {{cite journal|url=http://iopscience.iop.org/0305-4470/27/15/022/|title=The exponential map for the conformal group O(2,4)|last2=Zeni|first2=J. R.|journal=J. Phys. A: Math. Gen.|publisher=IOPScience|issue=15|doi=10.1088/0305-4470/27/15/022|year=1994a|volume=27|pages=5239&ndash;5250|arxiv=hep-th/9408105|bibcode=1994JPhA...27.5239B|ref=harv|last3=Laufer|first3=A.|first1=A. O.|last1=Barut|authorlink1=Asım Orhan Barut}}
* {{cite journal|url=http://iopscience.iop.org/0305-4470/27/20/017/|title=The exponential map for the unitary group SU(2,2)|last2=Zeni|first2=J. R.|journal=J. Phys. A: Math. Gen.|publisher=IOPScience|issue=20|doi=10.1088/0305-4470/27/20/017|year=1994b|volume=27|pages=6799&ndash;6806|arxiv=hep-th/9408145|bibcode=1994JPhA...27.6799B|ref=harv|last3=Laufer|first3=A.|first1=A. O.|last1=Barut|authorlink1=Asım Orhan Barut}}
* {{cite journal|url=http://iopscience.iop.org/0305-4470/27/20/017/|title=The exponential map for the unitary group SU(2,2)|last2=Zeni|first2=J. R.|journal=J. Phys. A: Math. Gen.|publisher=IOPScience|issue=20|doi=10.1088/0305-4470/27/20/017|year=1994b|volume=27|pages=6799&ndash;6806|arxiv=hep-th/9408145|bibcode=1994JPhA...27.6799B|ref=harv|last3=Laufer|first3=A.|first1=A. O.|last1=Barut|authorlink1=Asım Orhan Barut}}
* {{cite book|title=Matrix Analysis|last=Bhatia|first=R.|publisher=Springer|year=1997|isbn=978-0387948461|series=Graduate texts in mathematics|volume=169|ref=harv}}
* {{cite book|title=Matrix Analysis|last=Bhatia|first=R.|publisher=Springer|year=1997|isbn=978-0387948461|series=Graduate texts in mathematics|volume=169|ref=harv}}
* {{cite book|title=Quantum Field Theory|last=Brown|first=Lowell S.|publisher=[[Cambridge University Press]]|year=1994|isbn=978-0-521-46946-3|ref=harv}}
* {{cite book|title=Quantum Field Theory|last=Brown|first=Lowell S.|publisher=[[Cambridge University Press]]|year=1994|isbn=978-0-521-46946-3|ref=harv}}
* {{cite journal|title=A Memoir on the Theory of Matrices|last=Cayley|first=A.|authorlink=Arthur Cayley|journal=Phil.Trans.|year=1858|volume=148|ref=harv}}
* {{cite journal|title=A Memoir on the Theory of Matrices|last=Cayley|first=A.|authorlink=Arthur Cayley|journal=Phil.Trans.|year=1858|volume=148|ref=harv}}
* {{cite book|title=The Collected Mathematical Papers of Arthur Cayley|last=Cayley|first=A.|publisher=Forgotten books|year=1889|series=(Classic Reprint)|volume=2|ref=harv|asin=B008HUED9O}}
* {{cite book|title=The Collected Mathematical Papers of Arthur Cayley|last=Cayley|first=A.|publisher=Forgotten books|year=1889|series=(Classic Reprint)|volume=2|ref=harv|asin=B008HUED9O}}
* {{cite journal|title=The young Arthur Cayley|last=Crilly|first=T.|journal=Notes Rec. R. Soc. Lond.|publisher=Royal Society|issue=2|doi=10.1098/rsnr.1998.0050|year=1998|volume=52|pages=267–282|ref=harv}}
* {{cite journal|title=The young Arthur Cayley|last=Crilly|first=T.|journal=Notes Rec. R. Soc. Lond.|publisher=Royal Society|issue=2|doi=10.1098/rsnr.1998.0050|year=1998|volume=52|pages=267–282|ref=harv}}
* {{cite journal|title=A compact formula for rotations as spin matrix polynomials|last=Curtright|first=T L|authorlink=David Fairlie|last2=Fairlie|first2=D B|authorlink2=Thomas Curtright|journal=SIGMA|doi=10.3842/SIGMA.2014.084|year=2014|volume=10|page=084|arxiv=1402.3541|bibcode=2014SIGMA..10..084C|ref=harv|last3=Zachos|first3=C K|authorlink3=Cosmas Zachos}}
* {{cite journal|title=A compact formula for rotations as spin matrix polynomials|last=Curtright|first=T L|authorlink=David Fairlie|last2=Fairlie|first2=D B|authorlink2=Thomas Curtright|journal=SIGMA|doi=10.3842/SIGMA.2014.084|year=2014|volume=10|page=084|arxiv=1402.3541|bibcode=2014SIGMA..10..084C|ref=harv|last3=Zachos|first3=C K|authorlink3=Cosmas Zachos}}
* {{cite journal|title=Ueber lineare Substutionen und bilineare Formen|last=Frobenius|first=G.|authorlink=Ferdinand Georg Frobenius|journal=J.reine angew Math.(Crelle J.)|year=1878|volume=84|pages=1–63|ref=harv}}
* {{cite journal|title=Ueber lineare Substutionen und bilineare Formen|last=Frobenius|first=G.|authorlink=Ferdinand Georg Frobenius|journal=J.reine angew Math.(Crelle J.)|year=1878|volume=84|pages=1–63|ref=harv}}
* {{cite book|title=The Theory of Matrices|last=Gantmacher|first=F.R.|publisher=Chelsea Publishing|year=1960|location=NY|ref=harv|ISBN=0-8218-1376-5}}
* {{cite book|title=The Theory of Matrices|last=Gantmacher|first=F.R.|publisher=Chelsea Publishing|year=1960|location=NY|ref=harv|ISBN=0-8218-1376-5}}
* {{cite book|title=Abstract Algebra|url=https://archive.org/details/abstractalgebra0000garr|last=Garrett|first=Paul B.|publisher=Chapman and Hall/CRC|year=2007|location=NY|ref=harv|ISBN=1584886897}}
* {{cite book|title=Abstract Algebra|url=https://archive.org/details/abstractalgebra0000garr|last=Garrett|first=Paul B.|publisher=Chapman and Hall/CRC|year=2007|location=NY|ref=harv|ISBN=1584886897}}
* {{cite book|title=Lectures on Quaternions|url=https://archive.org/details/bub_gb_TCwPAAAAIAAJ|last=Hamilton|first=W. R.|authorlink=William Rowan Hamilton|year=1853|location=Dublin|ref=harv}}
* {{cite book|title=Lectures on Quaternions|url=https://archive.org/details/bub_gb_TCwPAAAAIAAJ|last=Hamilton|first=W. R.|authorlink=William Rowan Hamilton|year=1853|location=Dublin|ref=harv}}
* {{cite journal|title=On a New and General Method of Inverting a Linear and Quaternion Function of a Quaternion|last=Hamilton|first=W. R.|journal=[[Proceedings of the Royal Irish Academy]]|publisher=[[Royal Irish Academy]]|year=1864a|volume=viii|pages=182&ndash;183|ref=harv}}
* {{cite journal|title=On a New and General Method of Inverting a Linear and Quaternion Function of a Quaternion|last=Hamilton|first=W. R.|journal=[[Proceedings of the Royal Irish Academy]]|publisher=[[Royal Irish Academy]]|year=1864a|volume=viii|pages=182&ndash;183|ref=harv}} (communicated on June 9, 1862)
* {{cite journal|title=On the Existence of a Symbolic and Biquadratic Equation, which is satisfied by the Symbol of Linear Operation in Quaternions|last=Hamilton|first=W. R.|journal=[[Proceedings of the Royal Irish Academy]]|publisher=[[Royal Irish Academy]]|year=1864b|volume=viii|pages=190&ndash;101|ref=harv}}
* {{cite journal|title=On the Existence of a Symbolic and Biquadratic Equation, which is satisfied by the Symbol of Linear Operation in Quaternions|last=Hamilton|first=W. R.|journal=[[Proceedings of the Royal Irish Academy]]|publisher=[[Royal Irish Academy]]|year=1864b|volume=viii|pages=190&ndash;101|ref=harv}}(communicated on June 23, 1862)
* {{cite journal|title=Classroom Note: A Simple Proof of the Leverrier--Faddeev Characteristic Polynomial Algorithm|last=Hou|first=S. H.|journal=SIAM review|publisher=SIAM|doi=10.1137/S003614459732076X|year=1998|volume=40(3)|pages=706-709|ref=harv|}}
* {{cite journal|title=Classroom Note: A Simple Proof of the Leverrier--Faddeev Characteristic Polynomial Algorithm|last=Hou|first=S. H.|journal=SIAM review|publisher=SIAM|doi=10.1137/S003614459732076X|year=1998|volume=40(3)|pages=706-709|ref=harv|}} "Classroom Note: A Simple Proof of the Leverrier--Faddeev Characteristic Polynomial Algorithm"
* {{cite journal|url=http://zs.thulb.uni-jena.de/rsc/viewer/jportal_derivate_00126615/PMS_1862_Bd24_%200135.tif|title=On the Existence of a Symbolic and Biquadratic Equation which is satisfied by the Symbol of Linear or Distributive Operation on a Quaternion|last=Hamilton|first=W. R.|journal=[[Philosophical Magazine|The London, Edinburgh and Dublin Philosophical Magazine and Journal of Science]]|publisher=[[Taylor & Francis]]|year=1862|series=series '''iv'''|volume=24|pages=127&ndash;128|issn=1478-6435|ref=harv|access-date=2015-02-14}}
* {{cite journal|url=http://zs.thulb.uni-jena.de/rsc/viewer/jportal_derivate_00126615/PMS_1862_Bd24_%200135.tif|title=On the Existence of a Symbolic and Biquadratic Equation which is satisfied by the Symbol of Linear or Distributive Operation on a Quaternion|last=Hamilton|first=W. R.|journal=[[Philosophical Magazine|The London, Edinburgh and Dublin Philosophical Magazine and Journal of Science]]|publisher=[[Taylor & Francis]]|year=1862|series=series '''iv'''|volume=24|pages=127&ndash;128|issn=1478-6435|ref=harv|access-date=2015-02-14}}
* {{cite book|title=The Theory of Matrices in Numerical Analysis|url=https://archive.org/details/theoryofmatrices0000hous_u6g7|last=Householder|first=Alston S.|authorlink=Alston Scott Householder|publisher=Dover Books on Mathematics|year=2006|isbn=0486449726|ref=harv}}
* {{cite book|title=The Theory of Matrices in Numerical Analysis|url=https://archive.org/details/theoryofmatrices0000hous_u6g7|last=Householder|first=Alston S.|authorlink=Alston Scott Householder|publisher=Dover Books on Mathematics|year=2006|isbn=0486449726|ref=harv}}
* {{cite journal|url=http://iopscience.iop.org/0305-4470/30/15/029/|title=The exponential map of GL(N)|last=Laufer|first=A.|journal=J. Phys. A: Math. Gen.|publisher=IOPScience|issue=15|doi=10.1088/0305-4470/30/15/029|year=1997|volume=30|pages=5455&ndash;5470|arxiv=hep-th/9604049|bibcode=1997JPhA...30.5455L|ref=harv}}
* {{cite journal|url=http://iopscience.iop.org/0305-4470/30/15/029/|title=The exponential map of GL(N)|last=Laufer|first=A.|journal=J. Phys. A: Math. Gen.|publisher=IOPScience|issue=15|doi=10.1088/0305-4470/30/15/029|year=1997|volume=30|pages=5455&ndash;5470|arxiv=hep-th/9604049|bibcode=1997JPhA...30.5455L|ref=harv}}
* {{cite journal|url=http://link.springer.com/article/10.1007/BF03042010|title=Matrix representations of octonions and their application|last=Tian|first=Y.|journal=[[Advances in Applied Clifford Algebras]]|publisher=[[Birkhäuser|Birkhäuser-Verlag]]|issue=1|doi=10.1007/BF03042010|year=2000|volume=10|pages=61&ndash;90|arxiv=math/0003166v2|issn=0188-7009|ref=harv}}
* {{cite journal|url=http://link.springer.com/article/10.1007/BF03042010|title=Matrix representations of octonions and their application|last=Tian|first=Y.|journal=[[Advances in Applied Clifford Algebras]]|publisher=[[Birkhäuser|Birkhäuser-Verlag]]|issue=1|doi=10.1007/BF03042010|year=2000|volume=10|pages=61&ndash;90|arxiv=math/0003166v2|issn=0188-7009|ref=harv}}
* {{cite journal|url=http://www.worldscientific.com/doi/abs/10.1142/S0217751X92000776|title=A thoughful study of Lorentz transformations by Clifford algebras|last2=Rodrigues|first2=W.A.|journal=Int. J. Mod. Phys. A|publisher=[[World Scientific]]|issue=8|doi=10.1142/S0217751X92000776|year=1992|volume=7|pages=1793 pp|bibcode=1992IJMPA...7.1793Z|ref=harv|subscription=yes|last1=Zeni|first1=J. R.}}
* {{cite journal|url=http://www.worldscientific.com/doi/abs/10.1142/S0217751X92000776|title=A thoughful study of Lorentz transformations by Clifford algebras|last2=Rodrigues|first2=W.A.|journal=Int. J. Mod. Phys. A|publisher=[[World Scientific]]|issue=8|doi=10.1142/S0217751X92000776|year=1992|volume=7|pages=1793 pp|bibcode=1992IJMPA...7.1793Z|ref=harv|subscription=yes|last1=Zeni|first1=J. R.}}
* {{cite journal|url=http://www.sciencedirect.com/science/article/pii/0024379595005439|title=Quaternions and matrices of quaternions|last=Zhang|first=F.|journal=Linear Algebra and its Applications|publisher=[[Elsevier]]|doi=10.1016/0024-3795(95)00543-9|year=1997|volume=251|pages=21&ndash;57|issn=0024-3795|ref=harv|postscript=none|via=[[ScienceDirect]]}}
* {{cite journal|url=http://www.sciencedirect.com/science/article/pii/0024379595005439|title=Quaternions and matrices of quaternions|last=Zhang|first=F.|journal=Linear Algebra and its Applications|publisher=[[Elsevier]]|doi=10.1016/0024-3795(95)00543-9|year=1997|volume=251|pages=21&ndash;57|issn=0024-3795|ref=harv|postscript=none|via=[[ScienceDirect]]}} (open archive).

== Εξωτερικοί σύνδεσμοι ==
* {{SpringerEOM|title=Cayley–Hamilton theorem|id=p/c120080}}
* Μια απόδειξη από PlanetMath.
* Το θεώρημα Κέιλι-Χάμιλτον στο [https://www.mathpages.com/home/kmath640/kmath640.htm MathPages]
*Εφαρμογή που υπολογίζει το χαρακτηριστικό πολυώνυμο ενός πίνακα ([https://play.google.com/store/apps/details?id=calculator.matrix.matcalc Matrix Calculator]).

{{Portal bar|Μαθηματικά}}

[[Κατηγορία:Θεωρία πινάκων]]
[[Κατηγορία:Θεωρήματα της γραμμικής άλγεβρας]]