Synthèse polynômes de matrices, d’endomorphismes
Gilbert Primet
19 janvier 2014
1. Pour P∈K[X], P=
n
X
k=0
akXk, on pose :
∀A∈Mp(K)p(A)=a0Ip+a1A+ · · · + akAk+ · · · + anAn=
n
X
k=0
akAk
Pour tout Kespace vectoriel E:∀u∈L(E)P(u)=a0IdE+a1u+ · · · + anun=
n
X
k=0
akuk
Dans cette définition : u0=IdEet ∀k∈N∗uk=u◦u· · · ◦ u
| {z }
ktermes
et A0=Ipet ∀k∈N∗Ak=A.· · · .A
| {z }
ktermes
On a naturellement :
∀A∈Mp(K)∀P∈K[X]p(A)∈Mp(A)
∀u∈L(E)∀P∈K[X]p(u)∈L(E)
2. On rappelle également que les puissances d’endomorphismes ou de matrices carrées ont les mêmes propriétés
que les puissances usuelles, à l’exception de celles faisant intervenir la commutativité :
∀(A,B)∈(Mp)2∀(n,m)∈N2Ap+q=ApAq(Ap)q=Apq
∀(u,v)∈L(E)2∀(n,m)∈N2up+q=up◦uq(up)q=upq
En particulier, deux puissances d’une même matrice ou d’un même endomorphisme commutent (respective-
ment pour la multiplication matricielle et la composition des endomorphismes). De plus :
∀(A,B)∈(Mp(K))2AB =B A ⇒ ∀(n)∈N(AB)n=AnBn
De même :
∀(u,v)∈L(E)2u◦v=v◦u⇒ ∀(n)∈N(u◦v)n=un◦vn
De façon plus générale, deux polynômes de matrices ou d’endomorphismes qui commutent commutent :
∀(A,B)∈(Mp(K)2AB =B A ⇒ ∀(P,Q)∈K[X]P(A)Q(B)=P(B)Q(A)
∀(u,v)∈L(E)2u◦v=v◦u⇒ ∀(P,Q)∈(L(E))2P(u)◦Q(v)=Q(u)◦P(v)
3. 0pérations Soient Pet Qdeux polynômes à coefficients dans K
Addition ∀u∈L(E)(P+Q)(u)=P(u)+Q(u)∀A∈Mn(K)(P+Q)(A)=P(A)+Q(A)
Multiplication ∀u∈L(E)(PQ)(u)=P(u)◦Q(u)∀A∈Mn(K)(PQ)(A)=P(A)Q(A)
En particulier :∀u∈L(E)P(u)◦Q(u)=Q(u)◦P(u)∀A∈Mn(K)P(A)Q(A)=Q(A)P(A)
C”est-à-dire :Deux polynômes ou puissances d’un même endomorphisme ou d’une même matrice com-
mutent
Multiplication par un scalaire ∀λ∈K(λP)(u)=λP(u)∀λ∈K∀A∈Mn(K) (λP)(A)=λ(P(A))
Image de l’unité Si P=1, alors ∀u∈L(E)P(u)=IdE∀A∈Mp(K)P(A)=Ip
Morphismes On conserve les notations précédentes
(a) L’application ½K[X]→L(E)
P7→ P(u)est un morphisme d’espaces vectoriels de (K[X], +, .) dans (L(E), +, .)
et un morphisme d’anneaux de (K[X],+,.) dans (L(E),+,◦)
(b) L’application ½K[X]→Mp(K)
P7→ P(A)est un morphisme d’espaces vectoriels de (K[X], +, .) dans (Mp(K), +, .)
et un morphisme d’anneaux de (K[X],+,.) dans (Mp(K),+,.)
1