Θεώρημα Κέιλεϊ-Χάμιλτον

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση
Arthur Cayley, F. R. S. (1821-1895) θεωρείται ευρέως ως ο Βρετανός οδηγητής των καθαρών μαθηματικών του 19ου αιώνα. O Κέιλεϊ το 1848 πήγε στο Δουβλίνο για να παρακολουθήσει διαλέξεις για τετραδικους αριθμούς από τον Χάμιλτον, που τους ανακάλυψε. Αργότερα ο Κέιλεϊ τον εντυπωσίασε με το να  είναι ο δεύτερος που δημοσίευσε έργο σχετικά με αυτά.[1] Ο Cayley απέδειξε το θεώρημα για πίνακες διάστασης 3 και λιγότερο, δημοσίευσε την απόδειξη για τη δισδιάστατη περίπτωση.[2][3] Όσο για πίνακες, Cayley, δήλωσε "..., Δεν έχω σκεφτεί ότι είναι απαραίτητο να αναλάβω την εργασία για μια επίσημη απόδειξη του θεωρήματος στη γενική περίπτωση ενός πίνακα οποιουδήποτε βαθμού".

Στη γραμμική άλγεβρα, το θεώρημα Κέιλεϊ – Χάμιλτον (πήρε το όνομά του από τους μαθηματικούς Άρθουρ Κέιλεϊ και Γουίλιαμ Ρόουαν Χάμιλτον) αναφέρει ότι κάθε τετραγωνικός πίνακας πάνω από έναν αντιμεταθετικό δακτύλιο (όπως είναι τα σώματα των πραγματικών ή των μιγαδικών) ικανοποιεί τη δική του χαρακτηριστική εξίσωση.

Αν Α είναι δοθείς  πίνακας και είναι ο  ταυτοτικός πίνακας, τότε το χαρακτηριστικό πολυώνυμο του A ορίζεται ως[4]

όπου είναι η ορίζουσα και ; είναι το βαθμωτό στοιχείο της βάσης δακτυλίου. Δεδομένου ότι οι καταχωρήσεις του πίνακα είναι (γραμμικά ή σταθερά) πολυώνυμα στο λ, η ορίζουσα είναι επίσης μια n-οστής τάξης κανονικού πολυωνύμου στο  λ. Το θεώρημα Cayley–Hamilton δηλώνει ότι αντικαθιστώντας στον πίνακα  A για λ σε αυτό το πολυώνυμο έχει ως αποτέλεσμα τον μηδενικό πίνακα,

Οι δυνάμεις του Α, που λαμβάνονται  από την αντικατάσταση των δυνάμεων του λ, καθορίζονται από τον επαναλαμβανόμενο πολλαπλασιασμό πινάκων: ο σταθερός όρος του δίνει ένα πολλαπλάσιο της δύναμης Α0, του οποίου η  δύναμη ορίζεται ως ο ταυτοτικός πίνακας . Το θεώρημα επιτρέπει το Αn να εκφραστεί ως γραμμικός συνδυασμός των χαμηλότερων δυνάμεων του πίνακα Α. Όταν ο δακτύλιος είναι ένα σώμα, το θεώρημα Κέιλεϊ-Χάμιλτον είναι ισοδύναμο με τη δήλωση ότι το ελάχιστο πολυώνυμο ενός τετραγωνικού πίνακα διαιρεί το χαρακτηριστικό πολυώνυμο.

Το θεώρημα αποδείχτηκε για πρώτη φορά το 1853[5] αναφορικά με τους αντίστροφους όρους των γραμμικών συναρτήσεων των τετραδικών αριθμών, ένας μη-αντιμεταθετικός δακτύλιος, από τον Hamilton.[6][7][8] Αυτό αντιστοιχεί στην ειδική περίπτωση ορισμένων πραγματικών  πραγματικών ή μιγαδικών πινάκων. Το θεώρημα ισχύει γενικά για τετραδικούς πίνακες.[9][nb 1] Ο Cayley το 1858 το δήλωσε για  και μικρότερους πίνακες, αλλά δημοσίευσε μια απόδειξη μόνο για τη  περίπτωση.[2] Η γενική περίπτωση αποδείχτηκε για πρώτη φορά  από τον Frobenius το 1878.[10]

Παραδείγματα[Επεξεργασία | επεξεργασία κώδικα]

πίνακες[Επεξεργασία | επεξεργασία κώδικα]

Για έναν  πίνακα , το χαρακτηριστικό πολυώνυμο δίνεται από την , οπότε είναι προφανές.

πίνακες[Επεξεργασία | επεξεργασία κώδικα]

Ως συγκεκριμένο παράδειγμα, ας πάρουμε 

.

Το χαρακτηριστικό πολυώνυμο δίνεται από

   

Το θεώρημα Cayley–Hamilton ισχυρίζεται ότι, αν ορίσουμε

στη συνέχεια

Μπορούμε να το επιβεβαιώσουμε από υπολογισμό, ότι πράγματι,

Για ένα γενικά πίνακα,

το χαρακτηριστικό πολυώνυμο που δίνεται από το, οπότε το θεώρημα Cayley–Hamilton δηλώνει ότι

το οποίο πράγματι είναι πάντα η περίπτωση, εμφανής δουλεύοντας τις καταχωρήσεις του Α2.

Εφαρμογές[Επεξεργασία | επεξεργασία κώδικα]

Ορίζουσα και αντίστροφος πίνακας[Επεξεργασία | επεξεργασία κώδικα]

William Rowan Hamilton (1805-1865), Ιρλανδός φυσικός, αστρονόμος και μαθηματικός, το πρώτο ξένο μέλος της Αμερικανικής Εθνικής Ακαδημίας Επιστημών. Διατηρώντας την αντίθετη θέση για το πώς η γεωμετρία θα πρέπει να μελετηθεί,ο Χάμιλτον διατήρησε καλές σχέσεις με τον Cayley.[1]

Ο Χάμιλτον απέδειξε ότι για μια γραμμική συνάρτηση των τετραδικών αριθμών υπάρχει μια συγκεκριμένη εξίσωση, ανάλογα με τη γραμμική συνάρτηση, που ικανοποιείται μόνη της από την γραμμική συνάρτηση .[6][7][8]

Για έναν γενικά  αντιστρέψιμο πίνακα Α, δηλαδή, ένας με μη μηδενική ορίζουσα, Α-1 μπορεί να γραφτεί ως -οστής τάξης πολυωνυμική έκφραση στον Α: Όπως αναφέρεται, το θεώρημα Cayley–Hamτην ilton ανέρχεται στην ταυτότητα.

Οι συντελεστές θα δίνονται από τα στοιχειώδη συμμετρικά πολυώνυμα των ιδιοτιμών του A. Χρησιμοποιώντας τις ταυτότητες Νewton, τα στοιχειώδη συμμετρικά πολυώνυμα μπορούν με τη σειρά τους να εκφράζονται αναφορικά με τα αθροίσματα δυνάμεων συμμετρικών πολυωνύμων των ιδιοτιμών:

όπου tr (Ak) είναι το ίχνος  του πίνακα Ak. Έτσι, μπορούμε να εκφράσουμε το όσον αφορά το ίχνος των δυνάμεων του Α.

Σε γενικές γραμμές, ο τύπος για τους συντελεστές   θα δοθεί αναφορικά με την πλήρες εκθετική έκφραση των Bell πολυωνύμων ως [nb 2]

Ειδικότερα, η ορίζουσα του Α αντιστοιχεί στο c0. Έτσι, η ορίζουσα μπορεί να γραφτεί ως ένα ίχνος ταυτότητας

Επίσης, το χαρακτηριστικό πολυώνυμο μπορεί να γραφτεί ως

και, πολλαπλασιάζοντας και τις δύο πλευρές με το A−1 (σημείωση −(-1)n = (-1)n-1), οδηγείται σε μια έκφραση για το αντίστροφο του A ως ίχνος της ταυτότητας,

Για παράδειγμα, τα πρώτα Bell πολυώνυμα είναι Β0 = 1, B1(x1) = x1, B2(x1, x2) = x12 + x2και Β3(x1, x2, x3) = x13 + 3 x1x2 + x3.

Χρησιμοποιώντας αυτές για να καθορίσετε τους συντελεστές  ci για το χαρακτηριστικό πολυώνυμο ενός 2×2 πίνακα απόδοσης

Ο συντελεστής c0 δίνει την ορίζουσα του 2×2 πίνακα, c1 μείον το ίχνος της, ενώ το αντίστροφο δίνεται από

Είναι προφανές από το γενικό τύπο για το cn-k, εκφρασμένο σε Bell πολυώνυμα, ότι αυτή η έκφραση, ½ ((trΑ)2 − tr(A2)), δίνει πάντα το συντελεστή cn-2 του λn-2 στο χαρακτηριστικό πολυώνυμο κάθε n×n πίνακα: για ένα 3×3 πίνακα Α, η δήλωση από το θεώρημα Cayley–Hamilton μπορεί επίσης να γραφτεί ως

όπου η δεξιά πλευρά ορίζει ένα 3×3 πίνακα με όλες τις καταχωρήσεις μειωμένες στο μηδέν. Επίσης,η ορίζουσα για την n = 3 περίπτωση, είναι τώρα

Αυτή η έκφραση δίνει την άρνηση του συντελεστή cn-3 του λn-3 στη γενική περίπτωση, όπως φαίνεται παρακάτω.

Ομοίως, μπορεί κανείς να γράψει για έναν 4×4 πίνακα Α,

όπου, τώρα, η ορίζουσα είναι cn-4,

και ούτω καθεξής για μεγαλύτερους πίνακες. Οι ολοένα και πιο πολύπλοκες εκφράσεις για τους συντελεστές ck   συνάγονται από τις ταυτότητες του Νεύτονα ή τον Faddeev-LeVerrier αλγόριθμο.

Μια άλλη μέθοδος για την απόκτηση αυτών των συντελεστών ck για γενικά έναν n×n πίνακα, εφόσον δεν έχει ρίζα το μηδέν, βασίζεται στην ακόλουθη εναλλακτική έκφραση για την ορίζουσα,

Ως εκ τούτου, δυνάμει των σειρών Mercator,

όπου η εκθετική το μόνο που χρειάζεται είναι να επεκταθεί για να πάρετε το λn, δεδομένου ότι το p(λ) είναι της τάξης n, οι καθαρά αρνητικές δυνάμεις του λ αυτόματα εξαφανίζονται από το C–H θεώρημα. (Και πάλι, αυτό απαιτεί ένα δακτύλιο που περιέχει τους ρητούς αριθμούς.) Οι συντελεστές του λ, μπορούν να γραφούν απευθείας αναφορικά με τα Bell πολυώνυμα,συγκρίνοντας αυτή την έκφραση με την γενική συνάρτηση του Bell πολυωνύμου.

Διαφοροποίηση αυτής της έκφρασης με σεβασμό προς λ επιτρέπει την ορίζουσα των γενικών συντελεστών του χαρακτηριστικού πολυωνύμου για το γενικό n, όπως οι ορίζουσες των m×m πινάκων,[nb 3]

n-οστή Δύναμη του πίνακα[Επεξεργασία | επεξεργασία κώδικα]

Το θεώρημα Cayley–Hamilton παρέχει πάντα μια σχέση μεταξύ των δυνάμεων του Α (αν και δεν είναι πάντα η πιο απλή), η οποία επιτρέπει σε κάποιον να απλοποιήσει τις εκφράσεις που αφορούν τις εν λόγω δυνάμεις, και να τις αξιολογήσει χωρίς να χρειάζεται να υπολογίσει τη δύναμη An  ή τυχόν ανώτερες δυνάμεις του Α.

Λόγω χάρη, το συγκεκριμένο 2×2 παραπάνω παράδειγμα μπορεί να γραφτεί ως

Στη συνέχεια, για παράδειγμα, για να υπολογίσετε το ,παρατηρούμε

Ομοίως,

Πίνακες συναρτήσεων[Επεξεργασία | επεξεργασία κώδικα]

Δίνεται μια αναλυτική συνάρτηση

και το χαρακτηριστικό πολυώνυμο p(x) βαθμού n του n × n πίνακα Α, η συνάρτηση μπορεί να εκφραστεί χρησιμοποιώντας τη διαίρεση ως

όπου q(x) είναι το πηλίκο πολυώνυμο και το r(x)  είναι το υπόλοιπο πολυώνυμο τέτοια ώστε 0 ≤ deg r(x) < n. Από το θεώρημα Cayley-Hamilton,αντικαθιστώντας το x από τον πίνακα Α δίνει p(A) = 0, οπότε έχει

Έτσι, η αναλυτική συνάρτηση του πίνακα A μπορεί να εκφραστεί ως πίνακας πολυώνυμων βαθμού μικρότερο από n.

Το υπόλοιπο πολυώνυμο ας είναι

Δεδομένου ότι το p(λ) = 0, κατά την αξιολόγηση της συνάρτησης f(x) για τις  n ιδιοτιμές του A,δίνουν

Αυτό ισοδυναμεί με ένα σύστημα n γραμμικών εξισώσεων, το οποίο μπορεί να λυθεί για τον προσδιορισμό των συντελεστών ci. Έτσι, το ένα έχει

Όταν οι ιδιοτιμές είναι επαναλαμβανόμενες, λi = λj για κάποιο i ≠ j, δύο ή περισσότερες εξισώσεις είναι ίδιες, και ως εκ τούτου οι γραμμικές εξισώσεις δεν μπορούν να λυθούν μεμονωμένα. Σε τέτοιες περιπτώσεις, για μια ιδιοτιμή λ, με πολλαπλότητα m, η πρώτη m – 1 παράγωγος της p(x) εξαφανίζεται στις ιδιοτιμές. Έτσι, υπάρχουν οι επιπλέον m – 1 γραμμικά ανεξάρτητες λύσεις

οι οποίες, όταν συνδυάζονται με άλλους,  δίνουν τις απαιτούμενες n εξισώσεις για την επίλυση του ci.

Η εύρεση ενός πολυωνύμου που περνάει από τα σημεία (λi, f (λi)) είναι ουσιαστικά ένα πρόβλημα παρεμβολής, και μπορεί να λυθεί χρησιμοποιώντας τις τεχνικές παρεμβολής Lagrange ή Newton , που οδηγούν στον τύπο Sylvester .

Για παράδειγμα, ας υποθέσουμε ότι ο στόχος είναι να βρεθείθεί το αντιπροσωπευτικό πολυώνυμο  του

Το χαρακτηριστικό πολυώνυμο είναι p(x) = (x - 1)(x - 3) = x2 - 4 x + 3, και οι ιδιοτιμές είναι λ = 1, 3. Ας είναι r(x) = c0 + c1x. Υπολογίζοντας το  f(λ) = r(λ) για τις  ιδιοτιμές, η μια περιέχει δύο γραμμικές εξισώσεις et = c0 + c1 και e3t = c0 + 3 c1.  . Η επίλυση των εξισώσεων δίνει c0 = (3 et - e3t)/2 και c1 = (e3t - et)/2. Συνεπώς, προκύπτει ότι

Αν, αντίθετα, η συνάρτηση ήταν f(A) = sin At τότε οι συντελεστές θα ήταν c0 = (3 sin t - sin 3t)/2 και c1 = (sin 3t - sin t)/2 :ως εκ τούτου,

Ως ένα ακόμη παράδειγμα, κατά την εξέταση

τότε το χαρακτηριστικό πολυώνυμο είναι p(x) = x2 + 1, και οι ιδιοτιμές είναι λ = i, -i. Όπως και πριν, ο υπολογισμός της συνάρτησης για τις  ιδιοτιμές μας δίνει τις γραμμικές εξισώσεις eit = c0 + i c1 και e-it = c0 - i c1 η λύση του οποίου δίνει, c0 = (e ' + e-)/2 = cos t και c1 = (e ' - e-)/2i = sin t. Έτσι, για την περίπτωση αυτή,

η οποία είναι ένας αντίστροφος πίνακας.

Πρότυπα παραδείγματα τέτοιας χρήσης είναι η εκθετική απεικόνιση από την Άλγεβρα Lie των πινάκων της ομάδας Lie  σε ομάδα. Δίνεται από έναν εκθετικό πίνακα,

Τέτοιες εκφράσεις είναι γνωστό από καιρό για την SU(2),

όπου το σ είναι οι πίνακες Pauli και για το SO (3),

το οποίο είναι ο τύπος της περιστροφής του Rodrigues. Για το συμβολισμό, παρακαλούμε δείτε την ομάδα περιστροφής SO(3)#A σημείωση σχετικά με τις αναπαραστάσεις.

Πιο πρόσφατα, εκφράσεις έχουν εμφανιστεί για άλλες ομάδες, όπως η ομάδα Lorentz  SO(3, 1),[11] O(4, 2)[12] και SU(2, 2),[13] , καθώς και GL(n, R).[14] Η ομάδα O(4, 2) είναι  η σύμμορφος ομάδα του χωροχρόνου, SU(2, 2) η απλή συνδεδεμένη κάλυψή της (για να είμαι ακριβής,το απλό συνδεδεμένο κάλυμμα της συνεκτικής συνιστώσας SO+(4, 2) της O(4, 2)). Οι εκφράσεις που λαμβάνονται ισχύουν για την τυπική αναπαράσταση των ομάδων αυτών. Απαιτούν γνώση από (κάποιες από) τις ιδιοτιμές του πίνακα των εκθετών. Για το SU(2) (και ως εκ τούτου, για το SO(3)), κλειστές εκφράσεις έχουν πρόσφατα ληφθεί για όλες τις αμείωτες αναπαραστάσεις, δηλαδή για κάθε γύρισμα.[15]

Απόδειξη του θεωρήματος γενικά[Επεξεργασία | επεξεργασία κώδικα]

Όπως τα παραπάνω παραδείγματα δείχνουν, η απόκτηση από το θεώρημα Cayley–Hamilton για ένα n×n πίνακα

απαιτεί δύο βήματα: πρώτα οι συντελεστές ci του χαρακτηριστικού πολυωνύμου καθορίζονται από την ανάπτυξη ως ένα πολυώνυμο t της ορίζουσας

και τότε οι συντελεστές αυτοί χρησιμοποιούνται σε ένα γραμμικό συνδυασμό των αρμοδιοτήτων της A που είναι ίσο με το n×n μηδενικό πίνακα:

Η αριστερή πλευρά μπορεί να εργαστεί σε ένα n×n πίνακα του οποίου οι καταχωρήσεις είναι (τεράστιες) πολυωνυμικές εκφράσεις στο σύνολο καταχωρήσεων ai,j του A, οπότε το θεώρημα Cayley–Hamilton δηλώνει ότι κάθε ένα από τις n2 εκφράσεις είναι ίσες με 0. Για κάθε σταθερή τιμή της n οι ταυτότητες αυτές μπορούν να ληφθούν από κουραστικούς αλλά εντελώς απλούς αλγεβρικόυς χειρισμούς. Κανένας από αυτούς τους υπολογισμούς δε μπορεί να δείξει, ωστόσο, γιατί το θεώρημα Cayley–Hamilton θα πρέπει να ισχύει για τους πίνακες όλων των πιθανών μεγεθών n, έτσι μια ομοιόμορφη απόδειξη για όλα τα n είναι απαραίτητη

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

Προκαταρκτικά

Ferdinand Georg Frobenius (1849–1917),γερμανός μαθηματικός. Τα κύρια ενδιαφέροντα ήταν ελλειπτικές λειτουργίες διαφορικές εξισώσεις, και αργότερα της ομάδας θεωρία.Το 1878, έδωσε την πρώτη πλήρη απόδειξη των Cayley–Hamilton θεώρημα.[16]


Αν ένα διάνυσμα v με μέγεθος n συμβαίνει να είναι ένα ιδιοδιάνυσμα του A με ιδιοτιμές λ, με άλλα λόγια, αν Av = λv, τότε

η οποία είναι το μηδενικό διάνυσμα από το p(λ) = 0 (οι ιδιοτιμές του A είναι ακριβώς οι ρίζες του p(t). Αυτό ισχύει για όλες τις πιθανές ιδιοτιμές λ, έτσι ώστε οι δύο πίνακες εξισώνονται με το θεώρημα θα δώσουν σίγουρα το ίδιο (μηδενικό) αποτέλεσμα όταν εφαρμόζονται σε κάθε ιδιοκορφή. Τώρα, αν A παραδέχεται μια βάση των ιδιοδιανυσμάτων, με άλλα λόγια, αν A είναι διαγωνοποιήσιμος , τότε το θεώρημα Cayley–Hamilton θα πρέπει να περιμένετε για A, από δύο πίνακες που δίνουν τις ίδιες αξίες, όταν εφαρμόζεται σε κάθε στοιχείο της βάσης πρέπει να είναι ίσες. Δεν είναι όλοι οι πίνακες διαγωνοποιήσιμοι, αλλά για πίνακες με μιγαδικούς συντελεστές πολλοί από αυτούς είναι: το σύνολο των διαγωνοποιήσιμων συγκροτημάτων τετραγωνικών πινάκων του συγκεκριμένου μεγέθους είναι πυκνό στο σύνολο όλων αυτών των τετραγωνικών πινάκων[17] (για ένα πίνακα για να γίνει να διαγώνιος αρκεί, για παράδειγμα, ότι το χαρακτηριστικό πολυώνυμο δεν έχει πολλαπλές ρίζες). Τώρα, αν οποιαδήποτε από τις n2 εκφράσεις, ότι το θεώρημα ισοδυναμεί με 0 , δεν θα είναι μηδενική έκφραση, με άλλα λόγια, αν είναι ένα μη μηδενικό πολυώνυμο είναι οι συντελεστές του μηδενικού πίνακα, τότε το σύνολο των περίπλοκων πινάκων για τα οποία η έκφραση αυτή γίνεται για να δώσει 0 δεν είναι πυκνό στο σύνολο όλων των πινάκων, η οποία έρχεται σε αντίθεση με το γεγονός ότι το θεώρημα ισχύει για όλους τους διαγωνοποιήσιμους πίνακες. Έτσι, μπορεί κανείς να δει ότι το θεώρημα Cayley–Hamilton θα πρέπει να είναι αλήθεια.
Ενώ αυτό παρέχει μια έγκυρη απόδειξη (για πίνακες πάνω από τους μιγαδικούς αριθμούς), το επιχείρημα δεν είναι πολύ ικανοποιητικό, δεδομένου ότι οι ταυτότητες που αντιπροσωπεύεται από το θεώρημα σε καμία περίπτωση, δεν εξαρτώνται από τη φύση του πίνακα (διαγώνιος ή όχι), ούτε για το είδος των καταχωρήσεων επιτρέπεται (για πίνακες με πραγματική καταχωρήσεις οι διαγώνιοι αυτοί δεν σχηματίζουν ένα πυκνό σύνολο, και αν φαίνεται παράξενο, θα πρέπει να εξετάσετε μιγαδικούς πίνακες για να δείτε ότι το θεώρημα Cayley–Hamilton ισχύει και για αυτούς). Ως εκ τούτου, πρέπει τώρα να εξετάσετε μόνο τα επιχειρήματα που αποδεικνύουν το θεώρημα άμεσα για οποιαδήποτε πίνακα με τη χρήση αλγεβρικών χειρισμών, μόνο αυτά έχουν επίσης το πλεονέκτημα της εργασίας για πίνακες με καταχωρήσεις σε κάθε αντιμεταθετική δαχτυλίδι.
Υπάρχει μια μεγάλη ποικιλία από τέτοιες αποδείξεις από το θεώρημα Cayley–Hamilton, εκ των οποίων πολλές θα δοθούν εδώ. Διαφέρουν στο ποσό των αφηρημένων αλγεβρικών εννοιών που απαιτούνται για να κατανοήσουμε την απόδειξη. Η απλούστερες αποδείξεις χρησιμοποιούν μόνο εκείνες τις έννοιες που απαιτούνται για να διατυπώσουμε το θεώρημα (πίνακες, πολυώνυμα με αριθμητικές καταχωρήσεις, καθοριστικούς παράγοντες), αλλά περιλαμβάνει τεχνικές υπολογισμών που καθιστούν κάπως μυστηριώδη το γεγονός ότι μπορούν να οδηγήσουν ακριβώς στο σωστό συμπέρασμα. Είναι δυνατόν να αποφευχθούν τέτοιου είδους λεπτομέρειες, αλλά στην τιμή που περιλαμβάνει πιο λεπτές αλγεβρικές έννοιες: πολυωνύμων με συντελεστές σε ένα μη-αντιμεταθετική δαχτυλίδι, ή πίνακες με ασυνήθιστα είδη καταχωρίσεων.
Συζυγής πίνακες
Όλες οι αποδείξεις κάτω κάνουν χρήση της έννοιας του συζυγή πίνακα adj(M) ενός n×n πίνακα M, η μεταφορά του συμπαράγοντα μήτρα.
Αυτός είναι ένας πίνακας των οποίων οι συντελεστές δίνονται από πολυωνυμικές εκφράσεις των συντελεστών M (στην πραγματικότητα, από ορισμένους (n − 1)×(n − 1) καθοριστικούς παράγοντες), με τέτοιο τρόπο ώστε οι ακόλουθες θεμελιώδεις σχέσεις να είναι,
Οι σχέσεις αυτές αποτελούν άμεση συνέπεια των βασικών ιδιότητων των οριζουσών: αξιολόγηση της (i,j) την είσοδο του πίνακα προϊόντων στα αριστερά δίνει την επέκταση από τη στήλη j της ορίζουσας του πίνακα που λαμβάνεται από M αντικαθιστώντας στήλη i από αντίγραφο της στήλης j, το οποίο είναι det(M) αν i = j και μηδέν διαφορετικά * η μήτρα προϊόντων στα δεξιά είναι παρόμοια, αλλά για επεκτάσεις από σειρές.
Ήταν συνέπεια μιας αλγεβρικής έκφρασης , οι σχέσεις αυτές ισχύουν για πίνακες με καταχωρήσεις σε κάθε αντιμεταθετικό δαχτυλίδι (αντιμεταθετικός πρέπει να θεωρείται για τους καθοριστικούς παράγοντες για να καθοριστεί στην πρώτη θέση). Είναι σημαντικό να σημειωθεί εδώ, γιατί οι σχέσεις αυτές θα πρέπει να εφαρμόζονται για πίνακες με μη αριθμητικές καταχωρήσεις όπως πολυώνυμα.
Άμεση αλγεβρική απόδειξη
Η απόδειξη χρησιμοποιεί το είδος των αντικειμένων που απαιτούνται για να διατυπώσουμε το θεώρημα Cayley–Hamilton: πίνακες με πολυώνυμα ως καταχωρήσεις. Ο πίνακας t InA του οποίου η ορίζουσα είναι το χαρακτηριστικό πολυώνυμο του A είναι ένας πίνακας, και από τα πολυωνύμωνα αποτελούν ένα αντιμεταθετικό δαχτυλίδι, έχει ένα συζυγή.
Στη συνέχεια, σύμφωνα με το "δεξί- χέρι" θεμελιώδη σχέση του συζυγή, έχει
Το B είναι επίσης ένας πίνακας με πολυώνυμα σε t , για κάθε i γίνεται να επιλέξουν τους συντελεστές του ti σε κάθε είσοδο για να διαμορφώσει ένα πίνακα B i αριθμών, όπως αυτό έχει

(Ο τρόπος που ορίζονται οι είσοδοι της B , καθιστά σαφές ότι δεν υπάρχουν δυνάμεις ανώτερες από τον tn−1 ). Ενώ αυτό φαίνεται σαν ένας πίνακας με συντελεστές πολυώνυμα, δεν θα εξετάσει μια τέτοια έννοια, είναι απλώς ένας τρόπος για να γράψει ένα πίνακα με πολυώνυμο καταχωρήσεις ως γραμμικός συνδυασμός των n σταθερών πινάκων, και ο συντελεστής t i έχει γραφτεί αριστερά από τον πίνακα για να τονίσω αυτή την άποψη.

Τώρα, μπορεί κανείς να επεκτείνει τον πίνακα στην εξίσωση μας με bilinearity

Γράφοντας

κάποιος αποκτά ισότητα των δύο πινάκων με πολυώνυμο καταχωρήσεις, γραμμένοι ως γραμμικοί συνδυασμοί των σταθερών πινάκων με τις δυνάμεις του t ως συντελεστές.

Μια τέτοια ισότητα μπορεί να κρατήσει μόνο αν σε κάθε πίνακα τη θέση της καταχώρησης που πολλαπλασιάζεται με μια δεδομένη δύναμη ti είναι το ίδιο και στις δύο πλευρές, προκύπτει ότι οι σταθεροί πίνακες

Τέλος, πολλαπλασιάζουμε την εξίσωση των συντελεστών του ti από τα αριστερά από το Ai, και να συνοψίσω: το αριστερό χέρι πλευρές σχηματίζουν ένα τηλεσκοπικό άθροισμα και να ακυρώσει εντελώς, από την οποία προκύπτει η εξίσωση
Αυτό ολοκληρώνει την απόδειξη
Απόδειξη χρησιμοποιώντας πολυώνυμα με συντελεστές πίνακες
Αυτή η απόδειξη είναι παρόμοια με την πρώτη, αλλά προσπαθεί να δώσει νόημα στην έννοια της πολυώνυμο με συντελεστές πίνακες που προτάθηκε από τις εκφράσεις που εμφανίζονται στην απόδειξη. Αυτό απαιτεί μεγάλη προσοχή, αφού είναι κάπως ασυνήθιστο η εξέταση πολυωνύμων με συντελεστές σε ένα μη-αντιμεταθετικό δαχτυλίδι, και όχι όλο το σκεπτικό που ισχύει για αντιμεταθετικά πολυώνυμα μπορεί να εφαρμοστεί σε αυτή τη ρύθμιση
Συγκεκριμένα, όσο η αριθμητική των πολυωνύμων είναι πάνω από ένα αντιμεταθετικό δαχτύλιο η αριθμητική τιμή του πολυωνύμου λειτουργίες, αυτό δεν είναι η περίπτωση πάνω από ένα μη-αντιμεταθετικό δαχτύλιο (στην πραγματικότητα δεν υπάρχει προφανής έννοια της πολυωνυμικής συνάρτησης σε αυτή την περίπτωση που είναι κλειστό κάτω από τον πολλαπλασιασμό). Έτσι, όταν εξετάζουμε πολυώνυμα σε t με συντελεστές πίνακες, η μεταβλητή t δεν πρέπει να θεωρηθεί ως ένα "άγνωστο", αλλά ως επίσημο σύμβολο που είναι να χειραγωγηθεί σύμφωνα με δεδομένους κανόνες * ειδικότερα, δεν μπορεί κανείς να απλά ρυθμίσει t σε μια συγκεκριμένη τιμή.
Ας M(n, R) είναι ο δακτύλιος των n×n πινάκων με καταχωρήσεις σε ορισμένες δακτυλίου R (όπως οι πραγματικοί ή μιγαδικοί αριθμοί) που έχει A στοιχείο. Πίνακες με τους συντελεστές πολυωνύμων σε t, όπως ή τον συζυγή Β στην πρώτη απόδειξη, είναι στοιχεία του M(n, R[t]).
Από τη συλλογή σαν δυνάμεις του t, τόσο ο πίνακας μπορεί να γραφτεί ως "πολυώνυμα" σε t με σταθερούς πίνακες ως συντελεστές, γράψτε M(n, R)[t] για το σύνολο αυτών των πολυωνύμων. Από αυτό το σύνολο είναι σε ισομορφισμό με M(n, R[t]), ορίζει αριθμητικές πράξεις πάνω αντίστοιχα, ιδίως πολλαπλασιασμό δίνεται από
τηρώντας την εντολή του συντελεστή πίνακα από τους δύο τελεστές * προφανώς αυτό δίνει μια μη-αντιμεταθετικό πολλαπλασιασμό
Έτσι, η ταυτότητα
από την πρώτη απόδειξη μπορεί να θεωρηθεί ως συνεπαγωγή του πολλαπλασιασμού των στοιχείων M(n, R)[t].
Σε αυτό το σημείο, είναι δελεαστικό να ρυθμίσετε απλά t ίσομε τον πίνακα A , που κάνει ο πρώτος παράγοντας στα αριστερά ίσο με το μηδενικό πίνακα, και η δεξιά πλευρά ίση με p(A) * ωστόσο, αυτό δεν είναι μια επιτρεπτή λειτουργία όταν συντελεστές δεν μετακινούνται. Είναι δυνατόν να ορίσετε μια "δεξιά-αξιολόγηση χάρτη" evA : M[t] → M, το οποίο αντικαθιστά κάθε ti από τον πίνακα δύναμης A - από A , όπου ορίζει ότι η δύναμη πρέπει πάντα να πολλαπλασιάζεται από τα δεξιά του αντίστοιχου συντελεστή
Αλλά αυτό δεν είναι το δαχτυλίδι ομομορφισμού: η σωστή αξιολόγηση ενός προϊόντος διαφέρει σε γενικές γραμμές από το προϊόν των σωστά-αξιολογήσεις. Αυτό συμβαίνει επειδή ο πολλαπλασιασμός πολυωνύμων με συντελεστές πίνακες δεν τυποποιεί τον πολλαπλασιασμό των εκφράσεων που περιέχουν αγνώστους: ένα προϊόν ορίζεται αν υποθέσουμε ότι t πηγαινοέρχεται με το N, αλλά αυτό μπορεί να αποτύχει, εάν t αντικαθίσταται από τον πίνακα Α.☃☃
Μπορεί κανείς να επιλύσει αυτό το πρόβλημα με την συγκεκριμένη κατάσταση με το χέρι, δεδομένου ότι το ανωτέρω δικαίωμα-αξιολόγηση γίνει ένα δαχτυλίδι ομομορφισμού αν ο πίνακας A είναι το κέντρο του δακτυλίου των συντελεστών, έτσι ώστε να πηγαινοέρχεται με όλους τους συντελεστές των πολυωνύμων (το επιχείρημα που αποδεικνύει αυτή είναι απλή, ακριβώς επειδή μετακινήσεις t με συντελεστές είναι πλέον δικαιολογημένη μετά από αξιολόγηση).
Τώρα, A δεν είναι πάντα στο κέντρο του M, αλλά μπορεί να αντικαταστήσει M με ένα μικρότερο δακτύλιο με την προϋπόθεση ότι περιέχει όλους τους συντελεστές των πολυωνύμων: , Aκαι οι συντελεστές του πολυωνύμου B. Η προφανής επιλογή για έναν τέτοιον υποδακτύλιο είναι ο κεντροποιητής Z από A, ο υποδακτύλιος όλων των πινάκων που μετακινούνται με A;, εξ ορισμού, A είναι στο κέντρο του Z.
Αυτός ο κεντροποιητης προφανώς περιέχει και A, αλλά το ένα έχει να δείξει ότι αυτό περιέχει τους πίνακες . Για να το κάνετε αυτό, ένα συνδυάζει τις δύο βασικές σχέσεις για τα συζυγή, γράφοντας το συζυγή Β ως πολυώνυμο:
Εξισώνοντας τους συντελεστές που δείχνει ότι για κάθε i, έχουμε A B - = B - A , όπως είναι επιθυμητό. Έχοντας βρει το κατάλληλο σκηνικό στο οποίο evA είναι πράγματι ένας ομομορφισμός δαχτύλιος, μπορεί κανείς να ολοκληρώσει την απόδειξη, όπως προτείνεται παραπάνω:
Αυτό ολοκληρώνει την απόδειξη
Μια σύνθεση των δύο πρώτων αποδείξεων
Στην πρώτη απόδειξη , ένα ήταν σε θέση να προσδιορίσει τους συντελεστές Bi της Β βασίζεται στο δεξί-χέρι θεμελιώδης σχέση μόνο για το συζυγές . Στην πραγματικότητα, οι πρώτες n εξισώσεις που προέρχονται μπορούν να ερμηνευθούν ως τον καθορισμό του πηλίκου Β της Ευκλείδειας διαίρεσης του πολυωνύμου p ( t ) στα αριστερά από το μονικό πολυώνυμο Int -Α , ενώ η τελική εξίσωση εκφράζει το γεγονός ότι το υπόλοιπο είναι μηδέν . Η διαίρεση αυτή εκτελείται στο δακτύλιο πολυωνύμων με συντελεστές . Πράγματι , ακόμη και πάνω από ένα μη ισόμορφο δαχτύλιο , Ευκλείδεια διαίρεση με ένα μονικό πολυώνυμο P ορίζεται , και παράγει πάντα ένα μοναδικό πηλίκο και υπόλοιπο με την ίδια κατάσταση βαθμό όπως στην αντιμεταθετική περίπτωση , υπό την προϋπόθεση ότι έχει καθοριστεί σε ποια πλευρά κάποιος επιθυμεί P για να είναι ένας παράγοντας ( εδώ που είναι προς τα αριστερά ) . Για να δείτε ότι το πηλίκο και το υπόλοιπο είναι το μοναδικό (το οποίο είναι το σημαντικό μέρος της δήλωση εδώ), αρκεί να γράψετε ως και παρατηρούμε ότι από το P είναι μονικό, P(Q−Q') δεν μπορεί να έχει βαθμό μικρότερο από αυτό του P, εκτός αν Q=Q' .
Αλλά το μέρισμα p(t)In και ο διαιρέτης IntA χρησιμοποιείται εδώ και οι δύο βρίσκονται στον υποδαχτύλιο (R[A])[t], όπου R[A] είναι ο υποδαχτύλιος του πίνακα δακτυλίου M(n, R) που παράγεται από A: το R-γραμμική έκταση του όλες τις εξουσίες του A. Ως εκ τούτου, η Ευκλείδεια διαίρεση, μπορεί στην πραγματικότητα να πραγματοποιηθεί εντός αντιμεταθετικό πολυώνυμο δαχτύλιο, και φυσικά στη συνέχεια να δίνει το ίδιο πηλίκο B και υπόλοιπο 0 ως το μεγαλύτερο δαχτυλίδι * ειδικότερα, αυτό δείχνει ότι B βρίσκεται στο (R[A])[t].
Αλλά, σε αυτή την αντιμεταθετική ρύθμιση, είναι έγκυρη για να ρυθμίσετε t να A στην εξίσωση
* με άλλα λόγια, να εφαρμόσει την αξιολόγηση χάρτης
το οποίο είναι ένα δαχτυλίδι homomorphism, δίνοντας
όπως και στη δεύτερη απόδειξη, όπως είναι επιθυμητό.
Επιπλέον να αποδεικνύει το θεώρημα, το παραπάνω επιχείρημα, μας λέει ότι οι συντελεστές Bi της B είναι πολυώνυμα σε A, ενώ από την δεύτερη απόδειξη ξέραμε μόνο ότι λένε ψέματα στον κεντροποιητή Z από A γενικά, Z είναι ένας μεγαλύτερος υποδαχτύλιος από R[A], και όχι απαραίτητα αντιμεταθετικός. Ειδικότερα ο σταθερός όρος B0= adj(−A) έγκειται στο R[A]. Από το A είναι ένας αυθαίρετος τετραγωνικός πίνακας, αυτό αποδεικνύει ότι adj(A) μπορεί πάντα να εκφραστεί ως ένα πολυώνυμο A (με συντελεστές που εξαρτώνται από A).
Στην πραγματικότητα, οι εξισώσεις που βρέθηκαν στην πρώτη απόδειξη επιτρέπουν διαδοχικά εκφράζοντας ως πολυώνυμα σε A, το οποίο οδηγεί στην ταυτότητα
ισχύει για όλα τα n×n πίνακες, που
είναι το χαρακτηριστικό πολυώνυμο του A.
Σημειώστε ότι αυτή η ταυτότητα συνεπάγεται επίσης τη δήλωση από το θεώρημα Cayley–Hamilton: μπορεί κανείς να κινηθεί adj(−A) στην δεξιά πλευρά, πολλαπλασιάστε το αποτέλεσμα της εξίσωσης (αριστερά ή δεξιά) από τη A, και το γεγονός ότι

Απόδειξη χρησιμοποιώντας πίνακες ενδομορφισμού[Επεξεργασία | επεξεργασία κώδικα]

Όπως αναφέρθηκε παραπάνω, ο πίνακας p(A) σε δήλωση του θεωρήματος προκύπτει υπολογίζοντας πρώτα την ορίζουσα και, στη συνέχεια, αντικαθιστώντας τον πίνακα Α με t,το να γίνει αυτή η αντικατάσταση στον πίνακα  πριν από τον υπολογισμό της ορίζουσαν είναι ανούσιο. Παρ ' όλα αυτά, είναι δυνατόν να δωθεί μια ερμηνεία όπου ο p(A) προκύπτει άμεσα ως η τιμή μίας συγκεκριμένης ορίζουσας, αλλά αυτό απαιτεί μια πιο περίπλοκη ρύθμιση, έναν εκ των πινάκων πάνω από τον δακτύλιο στον οποίο μπορεί κανείς να ερμηνεύσει τόσο τις καταχωρήσεις  του Α και τον ίδιο τον Α . Θα μπορούσε κανείς να πάρει αυτόν τον δαχτύλιο M(nR) των n×n πινάκων πάνω από το R, όπου η καταχώρηση  γίνεται αντιληπτή, ως και ως ο ίδιος ο Α . Αλλά, λαμβάνοντας υπόψη πίνακες με πίνακες, ως καταχωρήσεις μπορεί να προκαλέσει σύγχυση με το μπλοκ πίνακες, το οποίο δεν είναι επιθυμητό, καθώς αυτό δίνει τη λάθος έννοια της ορίζουσας (υπενθυμίζεται ότι η ορίζουσα ενός πίνακα ορίζεται ως το σύνολο του γινομένου των καταχωρήσεων, και στη περίπτωση ενός μπλοκ πίνακα αυτό γενικά δεν είναι το ίδιο όπως και το αντίστοιχο άθροισμα από των γινομένων των πινάκων!). !). Είναι πιο σαφές να διαχωρίσουμε τον Α από τον ενδομορφισμό φ ενός n-διάστατου διανυσματικού χώρου V (ή ελεύθερου R-module αν το R δεν είναι ένα πεδίο), το οποίο ορίζεται από αυτό σε μια βάση e1, ..., en, και για να παρθούν πίνακες πάνω από τον δακτύλιο End(V) όλων αυτών των ενδομορφισμών. Στη συνέχεια, φ ∈ End(V) είναι μια πιθανή καταχώρηση για τον πίνακα, ενώ ο Α παράγει το στοιχείο του M(n, και End(V)), του οποίου i,j καταχώρηση είναι ενδομορφισμός του κλιμακωτού πολλαπλασιασμού κατά , ομοίως o In θα πρέπει να ερμηνευθεί ως στοιχείο του M(n, και End(V)). Ωστόσο, αφού End(V) δεν είναι αντιμεταθετικός δακτύλιος, καμία ορίζουσα δεν ορίζεται στο M(n, και End(V)). αυτό μπορεί να γίνει μόνο για πίνακες πάνω από έναν αντιμεταθετικό υποδακτύλιο του End(V). Τώρα οι καταχωρήσεις του πίνακα  , βρίσκονται στον υποδακτύλιο R[φ] που παράγεται από το ταυτοτικό στοιχείο και την φ, η οποία είναι αντιμεταθετική. Στη συνέχεια, μία καθοριστική αντιστοίχηση  M(nR[φ]) → R[φ] ορίζεται, και  υπολογίζει την τιμή p(φ) του χαρακτηριστικού πολυωνύμου του Α στο φ (αυτό ισχύει ανεξάρτητα από τη σχέση μεταξύ των Α και δ). το θεώρημα Cayley–Hamilton δηλώνει ότι p(φ) είναι το κενός ενδομορφισμός.

Σε αυτή τη μορφή, η ακόλουθη απόδειξη μπορεί να ληφθεί από αυτή (Atiyah & MacDonald 1969, Prop. 2.4) (η οποία στην πραγματικότητα είναι η πιο γενική δήλωση που συνδέεται με την Nakayama λήμμα * η οποία χρειάζεται κατ' εκδοχήν σε αυτή την πρόταση ολόκληρο τον δακτύλιο R). Το γεγονός ότι ο Α είναι ο πίνακας της φ στην βάση e1, ..., en σημαίνει ότι

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

όπου  είναι το στοιχείο του οποίου η συνιστώσα i θα είναι ei (με άλλα λόγια, είναι η βάση e1, ..., en του V που γράφεται ως μια στήλη διανυσμάτων). Γράφοντας αυτή την εξίσωση ως

κάποιος αναγνωρίζει τη μετατόπιση του πίνακα  που μελετήθηκε παραπάνω, και την ορίζουσά του (ως στοιχείο του M(nR[φ])) είναι επίσης σ(φ). Αυτό που απορρέει από αυτή την εξίσωση ειναι ότι σ(φ) = 0 ∈ Ενδ(V), που πολλαπλασιάζεται από αριστερά με τον συζυγή πίνακα της , ο οποίος ορίζεται στον πίνακα δακτυλίου M(nR[φ]), δίνοντας

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

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

για κάποια ακολουθία στοιχείων του e1,...,en που παράγουν τον V (ο χώρος αυτός μπορεί να έχει μικρότερη διάσταση από n, ή σε περίπτωση που ο δακτύλιος R δεν είναι σώμα μπορεί να μην είναι ένα ελεύθερο συζυγές τελικά ).

Μία ψευδής "απόδειξη": p(A) = det(AIn − A) = det(A − A) = 0[Επεξεργασία | επεξεργασία κώδικα]

Μια συνεχές στοιχειώδες αλλά εσφαλμένο όρισμα[18] για το θεώρημα είναι "απλά" να πάρετε τον ορισμό

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

Υπάρχουν πολλοί τρόποι για να δείτε γιατί αυτό το όρισμα είναι λάθος. Πρώτον, στο θεώρημα Cayley–Hamilton,ο  p(A) είναι ένας n×n πίνακας. Ωστόσο, στο δεξί μέρος της παραπάνω εξίσωσης είναι η τιμή της ορίζουσας, η οποία είναι κλιμακωτή. Έτσι, δεν μπορούν να εξισωθούν, εκτός αν n = 1 (δηλ. ο Α είναι απλά κλιμακωτός). Δεύτερον, στην έκφραση , η μεταβλητή λ προκύπτει στην πραγματικότητα στις διαγώνιες καταχωρήσεις του πίνακα . Για παράδειγμα, σκεφτείτε το χαρακτηριστικό πολυώνυμο στο προηγούμενο παράδειγμα πάλι:

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

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

τότε η ορίζουσα είναι όντως μηδέν, αλλά ο ανεπτυγμένος πίνακας δεν υπολογίζεται από ούτε μπορεί η ορίζουσά του (κλιμακωτή) να συγκριθεί με του p(A) (πίνακα). Οπότε το όρισμα ότι  ακόμα δεν μπορεί να εφαρμοσθεί.

Στην πραγματικότητα, αν ένα τέτοιο όρισμα ισχύει,πρέπει επίσης να ισχύει όταν άλλες πολυγραμμικές μορφές , αντί για την ορίζουσα, χρησιμοποιούνται. Για παράδειγμα, αν θεωρήσουμε μία σταθερή συνάρτηση και την ορίσουμε και στη συνέχεια, με το ίδιο όρισμα, θα πρέπει να είμαστε σε θέση να "αποδείξουμε" ότι q(A) = 0. Αλλά αυτός ο ισχυρισμός είναι αποδεδειγμένα λάθος. Στη 2-διάστατο περίπτωση, για παράδειγμα, η ορίζουσα ενός πίνακα δίνεται από

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

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

Μία από τις αποδείξεις για το θεώρημα Cayley–Hamilton παραπάνω φέρει κάποια ομοιότητα με το όρισμα ότι το . Με την εισαγωγή ενός πίνακα με μη αριθμητικούς συντελεστές, μπορεί κανείς να αφήσει τον Α ως καταχώρηση σε έναν πίνακα, αλλά μετά ο  δεν είναι ίσος με Α, και το συμπέρασμα είναι διαφορετικό.

Αφηρημένες έννοιες και γενικεύσεις[Επεξεργασία | επεξεργασία κώδικα]

Οι παραπάνω αποδείξεις δείχνουν ότι το θεώρημα Cayley–Hamilton ισχύει για πίνακες με καταχωρήσεις σε κάθε αντιμεταθετικό δακτυλίο R, και ότι σ(φ) = 0 θα ισχύει όποτε φ είναι ένας ενδομορφισμός συζυγής του R που παράγεται από στοιχεία του e1,...,en και που να ικανοποιεί

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

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]

Παρατηρήσεις[Επεξεργασία | επεξεργασία κώδικα]

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

Δεν υπάρχει τέτοια αναπαράσταση πίνακα για τα octonions, καθώς η διαδικασία του πολλαπλασιασμού δεν είναι προσεταιριστική σε αυτή την περίπτωση.Ωστόσο, ένα τροποποιημένο θεώρημα του Cayley-Hamilton εξακολουθεί να ισχύει για τα octonions, δείτε Tian (2000).

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

όπου το άθροισμα λαμβάνεται πάνω από τα σύνολα όλων ακέραιο διαμερίσεων kl ≥ 0 που ικανοποιούν την εξίσωση

3.Βλ., π. χ., σελ. 54 του Brown 1994, η οποία λύνει Jacobi φόρμουλα,

όπου B είναι ο συζυγής πίνακας της επόμενης ενότητας. Υπάρχει επίσης ένα ισοδύναμο, που σχετίζεται με αναδρομικό αλγόριθμο που εισήγαγαν οι Urbain Le Verrier και Ντμίτρι Konstantinovich Faddeev—το Faddeev–LeVerrier αλγόριθμοςπου δείχνει

(βλ., π. χ., σ 88 της Gantmacher 1960.) Παρατηρείται  A−1 = − Mn /c0, καθώς η επανάληψη τερματίζει. Δείτε την αλγεβρική απόδειξη στην παρακάτω ενότητα, που στηρίζεται στις λειτουργίες του συζυγούς, Bk ≡ Mn−k . Συγκεκριμένα,  και η παραπάνω παράγωγος της p όταν ένα ίχνος αποδίδεται

 (Hou 1998), και η παραπάνω αναδρομή, με τη σειρά της.


Παρατηρήσεις[Επεξεργασία | επεξεργασία κώδικα]

  1. 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.
  2. An explicit expression for these coefficients is
  3. See, e.g., p. 54 of Brown 1994, which solves Jacobi's formula,

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

Βιβλιογραφία[Επεξεργασία | επεξεργασία κώδικα]

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]