Thorme de Cayley-Hamilton : trois dmonstrations

Marc SAGE
25 octobre 2005
Table des matires
1 Introduction 2
1.1 Polynme caractristique dune matrice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Polynme caractristique dun endomorphisme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2 Premire mthode : les matrices compagnons 2
2.1 Lemme de la matrice compagnon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.2 Dmonstration de Cayley-Hamilton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3 Seconde mthode : la comatrice 4
3.1 Comatrice et M
n
(K[X]) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.2 Dmonstration de Cayley-Hamilton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
4 Troisme mthode : densit des matrices diagonalisables dans M
n
(C) 5
4.1 Cayley-Hamilton pour les matrices diagonalisables . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4.2 Cayley-Hamilton pour les matrices complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
5 Quatrime mthode : par une reprsentation intgrale des puissances dune matrices 6
Rsum
On dmontre ici le thorme de Cayley-Hamilton de trois manires direntes : par les matrices compa-
gnons, en utilisant la comatrice, puis en invoquant la densit des matrices diagonalisables dans /n (C).
1
1 Introduction
1.1 Polynme caractristique dune matrice
Soit 1 un corps commutatif et n N

un entier non nul.

On dnit le polynme caractristique dune matrice /n (1) comme le polynme

A
= det (A1n ) .
Notre but est de montrer que
A
annule , i.e.

A
() = 0.
Attention au raisonnement naf (et faux) qui consiste dire : on remplace A par dans la formule du
polynme
A
, ce qui donne

A
() = det (1n ) = det () = det 0 = 0.
Dj, crire
A
() = det (1n ) fournit un calcul de dterminant dans le corps 1, ce qui donne un
scalaire et non une matrice comme a devrait, do problme.
Lerreur rside en fait dans lordre de tapes "valuation du dterminant" et "subtitution de A".
Quand on crit proprement

A
() = [det (A1n )] () ,
on calcule le dterminant dans lanneau 1 [A], puis on value ce polynme en la matrice dans lanneau
/n (1).
1.2 Polynme caractristique dun endomorphisme
On rappelle que pour deux matrices et 1 on a
AB
=
BA
(cf. feuille Une identit classique sur le
polynme caractritique pour plusieurs dmonstrations). Ceci montre en particulier que
PAP
1 =
A
et
permet donc de dnir le polynme caractristique dun endomorphisme ) /(1) o 1 est un 1-espace
vectoriel de dimension nie non nulle par

f
=
Mat
B
f
o B est une base quelconque de 1.
2 Premire mthode : les matrices compagnons
2.1 Lemme de la matrice compagnon
Pour 1 = A
n
+on1A
n1
+... +o1A +o0 polynme unitaire, on dnit la matrice compagnon de 1 :
( (1) =
_
_
_
_
_
_
0 o0
1
.
.
.
.
.
.
.
.
. 0 on2
1 on1
_
_
_
_
_
_
;
pour n = 1, noter que 1 scrit A +o0 et ( (1) = ( (A +o0) = (o0).
( (1) sappelle matrice compagnon pour une bonne raison : son polynme caractristique se lit dedans :

C(P)
= 1.
Pour montrer cela, on raisonne par rcurrence sur la taille de la matrice.Pour n = 1, mettons 1 = A+o0,
on a

C(P)
= det (A11 ( (1)) = det (A +o0) = A +o0 = 1.
2
On rcurre ensuite en dveloppant selon la premire ligne :

C(P)
= det (A1n ( (1))
=

A o0
1
.
.
.
.
.
.
.
.
. A on2
1 A +on1

= A

A o1
1
.
.
.
.
.
.
.
.
. A on2
1 A +on1

+ (1)
n
o0

1 A
.
.
.
.
.
.
.
.
. A
1

= A
hypothse de rcurrence
..
_
o1 +o2A +... +on1A
n2
+A
n1
_
+ (1)
n
o0 (1)
n
= o1A +... +on1A
n1
+A
n
+o0
= 1.
2.2 Dmonstration de Cayley-Hamilton
Soit 1 un 1-espace vectoriel de dimension n 1 et ) /(1). On se xe un r dans 1
n
, et on va montrer
que
f
()) (r) = 0. En faisant varier r dans 1, on obtiendra ainsi
f
()) = 0 comme voulu.
Pour r = 0, cest vident par linarit. Pour r ,= 0, i.e. (r) libre, on considre
i = min
_
I 2 ;
_
r, ) (r) , ..., )
k
(r)
_
lie
_
,
de sorte que )

(r) est li avec

_
r, ..., )
1
(r)
_
qui est libre, donc se dcompose en
)

(r) = o0r +o1) (r) +... +o1)

1
(r) .
On complte ensuite la famille libre
_
r, ) (r) , ..., )
1
(r)
_
en une base B de 1
n
, dans laquelle ) scrit
Mat
B
) =
_
_
_
_
_
_
_
_
0 o0 +
1
.
.
.
.
.
. +
.
.
. 0 o2 +
1 o1 +
0 0 A
_
_
_
_
_
_
_
_
=
_
( (1) +
0 A
_
o lon a not 1 = A

o1A
1
... o1A o0. Observer que 1 ()) (r) = 0. En utilisant le lemme de
la matrice compagnon, on obtient

f
=
0
@
( (1) +
0 A
1
A
=
C(P)

M
= 1
M
,
do en appliquant en r :

f
()) (r) = [
M
1] ()) (r) =
M
_
_
_1 ()) (r)
. .
=0
_
_
_ = 0, CQFD
3
3 Seconde mthode : la comatrice
3.1 Comatrice et M
n
(K[X])
Pour une matrice A sur un anneau commutatif unitaire par exemple 1 [A] , on rappelle que lon a
A
t
comA = (det A) 1n.
Remarquer aussi que lon dispose dun isomorphisme dalgbres vident
An (1 [A]) An (1) [A]
(envoyer la matrice A
k
1i;j sur le polynme 1i;jA
k
).
3.2 Dmonstration de Cayley-Hamilton
Soit /n (1) o n est un entier 1. On pose
_
1 = A1n
o =
t
com1
matrices de /n (1 [A]).
Noter dj que det 1 = det (A1n ) =
A
, que lon crira sous la forme

A
= A
n
+on1A
n1
+... +o1A +o0.
Les coecients de o tant des polynmes tous de degr < n, on peut en crire
o = A
n1
on1 +... +Ao1 +o0
o les oj sont coecients dans 1.
Lgalit 1 o = (det 1) 1n se rcrit
(A1n )
_
A
n1
on1 +... +Ao1 +o0
_
=
A
1n.
En envoyant cette galit de An (1 [A])dans An (1) [A] puis en identiant les coecients, on trouve
_

_
on1 = 1n
on2 on1 = on11n
.
.
.
o0 o1 = o11n
o0 = o01n
.
On multiplie alors la premire ligne par
n
, la seconde par
n1
, etc., et on somme le tout pour tlescoper
le membre de gauche. Cela donne
0 =
n
+on1
n1
+... +o1+o0 =
A
() , CQFD.
Remarque. On a vu que la mthode nave (et fausse) qui consistait faire A = dans det (A1n )
bloquait car lon valuait A = avant de faire le calcul du dterminant. Or, lidentit de la comatrice permet
de se dbarasser du dterminant, ce qui permet de faire A = en toute impunit. On envoie ainsi lidentit
(A1n ) o =
A
Id ,
de An (1 [A]) dans An (1) [A], puis lon value en A = . Le terme de gauche sannule, donc le terme

A
() Id de droite galement, CQFD. Cest exactement ce que nous avons fait ci-dessus en dtaillant lva-
luation en A = .
PLus concis avec les sries G : Pour : ,= 0 assez petit, on a
det (Id :)

(:)
i
=
det (Id :)
Id :
= Com(Id:) .
En voyant lgalit prcdente dans An (C) [A], on voit que le coef en :
d
est nul droite (cofacteur), donc
celui gauche aussi. En notant
A
=

oiA
i
, on lit gauche :
n

A
_
1
z
_
=

oi:
ni
, do

oi
i
= 0.
4
4 Troisme mthode : densit des matrices diagonalisables
dans M
n
(C)
Dans cette partie, 1 est suppos gal C.
4.1 Cayley-Hamilton pour les matrices diagonalisables
Montrons que Cayley-Hamilton est dj vrai pour les matrices diagonalisables.
Soit une telle matrice. On peut crire
= 1
_
_
_
`1
.
.
.
`p
_
_
_1
1
,
de sorte que
A
=
n

i=1
(A `i) et donc

A
() =
n

i=1
_
_
_
_
_
_
`1
.
.
.
`p
_
_
_`i
_
_
_
1
.
.
.
1
_
_
_
_

_
=
n

i=1
_
_
_
_
_
_
_
_
.
.
.
`i1 `i
0
`i+1 `i
.
.
.
_
_
_
_
_
_
_
_
= 0
car un zro apparat dans chaque produit formant un coecient diagonal.
Remarquer que lon nutilise nullement ici les proprits topologiques de C, le rsultat est valable sur un
corps quelconque.
4.2 Cayley-Hamilton pour les matrices complexes
Soit maintenant quelconque dans /n (C). On sait que lon peut lapprocher par une suite de matrices
diagonalisables = lim1
k
o chaque 1
k
vrie par ce qui prcde
D
k
(1
k
) = 0. Or, on dispose du lemme
suivant :
Lemme.
Soit n N. Alors
_
1
k
k1
1 dans Cn [A]
r
k
k1
r dans
== 1
k
(r
k
) 1 (r) dans .
Pour conclure, on applique le lemme aux suites
_

D
k

A
1
k

(invoquer la continuit de A
M
),
do
D
k
(1
k
)
A
() et
A
() = 0 par unicit de la limite.
Dmonstration du lemme.
On commence par ramener le problme des choses plus simples en crivant
[1
k
(r
k
) 1 (r)[ = [1
k
(r
k
) 1 (r
k
) +1 (r
k
) 1 (r)[
[1
k
(r
k
) 1 (r
k
)[
. .
terme 1
+[1 (r
k
) 1 (r)[
. .
terme 2
.
Le problme sera rgl si lon montre que chacun des termes 1 et 2 tend vers 0.
Le terme 2 peut tre rgl immdiatement en invoquant la continuit de la fonction o 1 (o).
5
Quand au terme 1, notons
1
k
1 =
n

i=0
j
(k)
i
A
i
,
de sorte que le maximum A
k
:= max
_
j
(k)
0
, j
(k)
1
, ..., j
(k)
n
_
tende vers 0. En notant j 1 un majorant de la
suite convergente (r
k
), on a alors
[1
k
(r
k
) 1 (r
k
)[ = [[1
k
1] (r
k
)[ =

i=0
j
(k)
i
r
i
k

i=0
A
k
[r
k
[
i
A
k
(n + 1) j
n
0.
5 Quatrime mthode : par une reprsentation intgrale des
puissances dune matrices
On se donne une matrice complexe. Pour : assez grand, la matrice : est inversible, donc pour v
assez grand lintgrale
_

(re
i
)
k+1
re
i
A
d
2
a un sens pour tout entier I 0. On peut la calculer en dveloppant
linverse en srie entire :
_

_
vc
i
_
k+1
vc
i

d0
2
=
_

_
vc
i
_
k
1
A
re
i
d0
2
=
_

l0
_

vc
i
_
l _
vc
i
_
k
d0
2
?
=

l0
__

_
vc
i
_
kl
d0
2
_

l
=
k
.
On peut intervertir car la somme en prenant les modules converge :
_

l0
_
_
_
_

l
_
vc
i
_
kl
_
_
_
_
d0
2

_

l0
_
||
v
_
l
d0
2
2.
Ainsi, en notant
A
=:

o
k
A
k
, on aura

A
() =

k0
o
k

k
=

o
k
_

_
vc
i
_
k+1
vc
i

d0
2
=
_

vc
i

A
_
vc
i
_
vc
i

d0
2
=
_

vc
i
det
_
vc
i

_
vc
i

d0
2
=
_

vc
i t
com
_
vc
i

_
d0
2
.
Tout les coecients de la matrice dans lintgrande sont des poylnmes en vc
i
sans coef constant ( cause
du vc
i
devant en facteur), donc lintgrale est nulle, CQFD.
6