Théorème de Cayley-Hamilton

Core idea

Overview

Le théorème de Cayley-Hamilton affirme que toute matrice carrée satisfait sa propre équation caractéristique, ce qui signifie que si p(λ) est le polynôme caractéristique de la matrice A, alors p(A) donne la matrice nulle. Ce résultat fondamental établit un lien entre l'algèbre matricielle et la théorie des polynômes, en fournissant un outil puissant pour l'analyse matricielle.

When to use: Appliquez ce théorème lorsque vous calculez de grandes puissances d'une matrice ou que vous cherchez l'inverse d'une matrice non singulière sans réduction par lignes. Il est également utilisé pour simplifier les fonctions matricielles et pour trouver le polynôme minimal d'un opérateur linéaire.

Why it matters: Il réduit considérablement la complexité des calculs dans des domaines comme la théorie du contrôle et le traitement du signal en convertissant l'exponentiation matricielle en combinaisons linéaires de puissances plus faibles. Il constitue une pierre angulaire de la forme canonique de Jordan et d'autres décompositions structurelles en algèbre linéaire.

Walkthrough

Derivation

Dérivation/Compréhension du théorème de Cayley-Hamilton

Le théorème de Cayley-Hamilton stipule que toute matrice carrée satisfait son propre polynôme caractéristique, ce qui signifie que si une matrice est substituée dans son polynôme caractéristique, le résultat est la matrice nulle.

La matrice $A$ est une matrice carrée de dimension $n \times n$ .
Le corps des scalaires est $C$ (nombres complexes) ou $R$ (nombres réels).

1

Définition du polynôme caractéristique et relation de la comatrice :

Nous commençons par définir le polynôme caractéristique $p (λ)$ pour une matrice $A$ de taille $n \times n$ . Nous rappelons ensuite la propriété fondamentale reliant une matrice, sa comatrice et son déterminant, en l'appliquant à la matrice $(A - λ I)$ .

Let A be an n \times n matrix. The characteristic polynomial is p (λ) = det (A - λ I) = c_{n} λ^{n} + c_{n - 1} λ^{n - 1} + \dots + c_{1} λ + c_{0} . We know that for any matrix M, M \cdot adj (M) = det (M) I . Applying this to (A - λ I) : (A - λ I) adj (A - λ I) = det (A - λ I) I = p (λ) I .

2

Exprimer la comatrice comme une matrice polynomiale :

Comme les éléments de la matrice comatrice sont des déterminants de sous-matrices de $(A - λ I)$ , ce sont des polynômes en $λ$ de degré au plus $n - 1$ . Cela nous permet d'exprimer la comatrice comme un polynôme en $λ$ dont les coefficients sont des matrices constantes.

The entries of adj (A - λ I) are cofactors of (A - λ I), which are polynomials in λ of degree at most n - 1. Thus, we can write adj (A - λ I) = B_{n - 1} λ^{n - 1} + B_{n - 2} λ^{n - 2} + \dots + B_{1} λ + B_{0}, where B_{k} are n \times n matrices with constant entries.

3

Égalisation des coefficients et dérivation du théorème :

En substituant les expressions polynomiales de $p (λ)$ et $adj (A - λ I)$ dans l'identité, nous pouvons égaliser les coefficients des puissances de $λ$ . Multiplier ces équations matricielles résultantes par des puissances appropriées de $A$ et les sommer conduit à une somme télescopique à gauche, qui s'annule pour donner la matrice nulle, prouvant ainsi que $p (A)$ est égal à la matrice nulle.

Substitute the polynomial forms into the identity from Step 1: (A - λ I) (B_{n - 1} λ^{n - 1} + \dots + B_{0}) = (c_{n} λ^{n} + \dots + c_{0}) I . Expanding the left side and equating coefficients of powers of λ on both sides: - I B_{n - 1} n A B_{n - 1} - I B_{n - 2} n A B_{1} - I B_{0} n A B_{0} = = = = c_{n} I c_{n - 1} I ⋮ c_{1} I c_{0} I ⋮ Multiply each equation by A^{n}, A^{n - 1}, \dots, A^{1}, A^{0} respectively, from the left: - A^{n} B_{n - 1} n A^{n} B_{n - 1} - A^{n - 1} B_{n - 2} n A^{2} B_{1} - A B_{0} n A B_{0} = = = = c_{n} A^{n} c_{n - 1} A^{n - 1} ⋮ c_{1} A c_{0} I ⋮ Summing these equations yields the zero matrix on the left side due to telescoping cancellation: 0 = c_{n} A^{n} + c_{n - 1} A^{n - 1} + \dots + c_{1} A + c_{0} I . This is precisely p (A) = 0.

Result

Substitute the polynomial forms into the identity from Step 1: (A - λ I) (B_{n - 1} λ^{n - 1} + \dots + B_{0}) = (c_{n} λ^{n} + \dots + c_{0}) I . Expanding the left side and equating coefficients of powers of λ on both sides: - I B_{n - 1} n A B_{n - 1} - I B_{n - 2} n A B_{1} - I B_{0} n A B_{0} = = = = c_{n} I c_{n - 1} I ⋮ c_{1} I c_{0} I ⋮ Multiply each equation by A^{n}, A^{n - 1}, \dots, A^{1}, A^{0} respectively, from the left: - A^{n} B_{n - 1} n A^{n} B_{n - 1} - A^{n - 1} B_{n - 2} n A^{2} B_{1} - A B_{0} n A B_{0} = = = = c_{n} A^{n} c_{n - 1} A^{n - 1} ⋮ c_{1} A c_{0} I ⋮ Summing these equations yields the zero matrix on the left side due to telescoping cancellation: 0 = c_{n} A^{n} + c_{n - 1} A^{n - 1} + \dots + c_{1} A + c_{0} I . This is precisely p (A) = 0.

Source: Introduction to Linear Algebra by Gilbert Strang

Why it behaves this way

Intuition

Imaginez une matrice carrée comme un ensemble d'instructions pour transformer des vecteurs ; le théorème de Cayley-Hamilton stipule que si vous appliquez une séquence polynomiale spécifique de ces instructions (dérivée de la matrice elle-même

Term

La matrice carrée dont les propriétés algébriques sont décrites.

Représente une transformation linéaire ou l'opérateur d'un système.

Term

Le polynôme caractéristique de la matrice A, évalué en substituant A à la variable.

Cette opération combine des puissances de A et des multiples scalaires, démontrant une identité algébrique fondamentale spécifique à A.

Term

Coefficients scalaires qui définissent le polynôme caractéristique spécifique de la matrice A.

Ces scalaires déterminent l'équation polynomiale unique que la matrice A satisfait.

Term

La matrice identité, qui agit comme l'élément neutre multiplicatif dans l'algèbre des matrices.

Assure que le terme constant

a_{0}

du polynôme caractéristique est correctement représenté comme une matrice dans l'équation.

Term

La matrice nulle, qui agit comme l'élément neutre additif dans l'algèbre des matrices.

Signifie que l'expression polynomiale, lorsqu'elle est évaluée avec A, résulte en la transformation nulle ou l'absence de tout effet net.

Free study cues

Insight

Canonical usage

This mathematical theorem describes an algebraic identity for square matrices. If the matrix elements possess physical units, then the polynomial coefficients must be chosen to ensure dimensional consistency across all terms of the identity.

One free problem

Practice Problem

Étant donnée une matrice 2×2 A avec pour éléments diagonaux m11 = 5 et m22 = 3, le théorème de Cayley-Hamilton affirme que A satisfait l'équation A² - kA + dI = 0. Trouvez la valeur de k, qui correspond à la trace de la matrice.

Hint: La trace d'une matrice est la somme de ses éléments diagonaux et apparaît comme le coefficient opposé du terme en λ dans le polynôme caractéristique.

The full worked solution stays in the interactive walkthrough.

Where it shows up

Real-World Context

En théorie du contrôle, pour calculer l'exponentielle de matrice pour résoudre des systèmes d'équations différentielles linéaires, le théorème de Cayley-Hamilton est utilisé pour calculer P(A) à partir des valeurs mesurées. Le résultat est important car il aide à relier le calcul à la forme, au taux, à la probabilité ou à la contrainte dans le modèle.

Study smarter

Tips

Calculez d'abord le polynôme caractéristique en utilisant det(λI - A) = 0.
Remplacez λ par la matrice A et le terme constant par la matrice identité I.
Utilisez-le pour exprimer A⁻¹ comme un polynôme en A en multipliant l'équation caractéristique par A⁻¹.

Avoid these traps

Common Mistakes

Appliquer le théorème à des matrices non carrées.
Oublier de multiplier le terme constant par la matrice identité lors de l'évaluation de p(A).

Keep going

Related Formulas

Common questions

Frequently Asked Questions

Le théorème de Cayley-Hamilton stipule que toute matrice carrée satisfait son propre polynôme caractéristique, ce qui signifie que si une matrice est substituée dans son polynôme caractéristique, le résultat est la matrice nulle.

Appliquez ce théorème lorsque vous calculez de grandes puissances d'une matrice ou que vous cherchez l'inverse d'une matrice non singulière sans réduction par lignes. Il est également utilisé pour simplifier les fonctions matricielles et pour trouver le polynôme minimal d'un opérateur linéaire.

Il réduit considérablement la complexité des calculs dans des domaines comme la théorie du contrôle et le traitement du signal en convertissant l'exponentiation matricielle en combinaisons linéaires de puissances plus faibles. Il constitue une pierre angulaire de la forme canonique de Jordan et d'autres décompositions structurelles en algèbre linéaire.

Appliquer le théorème à des matrices non carrées. Oublier de multiplier le terme constant par la matrice identité lors de l'évaluation de p(A).

En théorie du contrôle, pour calculer l'exponentielle de matrice pour résoudre des systèmes d'équations différentielles linéaires, le théorème de Cayley-Hamilton est utilisé pour calculer P(A) à partir des valeurs mesurées. Le résultat est important car il aide à relier le calcul à la forme, au taux, à la probabilité ou à la contrainte dans le modèle.

Calculez d'abord le polynôme caractéristique en utilisant det(λI - A) = 0. Remplacez λ par la matrice A et le terme constant par la matrice identité I. Utilisez-le pour exprimer A⁻¹ comme un polynôme en A en multipliant l'équation caractéristique par A⁻¹.

References

Sources

Wikipedia: Cayley-Hamilton theorem
Linear Algebra and Its Applications (5th ed.) by David C. Lay
Introduction to Linear Algebra (5th ed.) by Gilbert Strang
Linear Algebra and Its Applications by David C. Lay
Introduction to Linear Algebra by Gilbert Strang
Linear Algebra and Its Applications, David C. Lay

Overview

Derivation

Définition du polynôme caractéristique et relation de la comatrice :

Exprimer la comatrice comme une matrice polynomiale :

Égalisation des coefficients et dérivation du théorème :

Intuition

Insight

Practice Problem

Real-World Context

Tips

Common Mistakes

Related Formulas

Matrix Trace

Rank-Nullity Theorem

Frequently Asked Questions

Sources