démonstration
La série P+∞
n=0 An
n!converge normalement sur la boule ouverte B(0,R) de
Mn(K), donc uniformément : exp est continue sur B(0,R), puis sur
SR>0B(0, R) = Mn(K).
On a utilisé les résultats suivants (p289, 290) :
- Soit (fn)une suite de fonctions définies sur un ensemble X à valeurs dans
un Banach F.
Si la série Pfnconverge normalement sur X, alors elle converge uniformé-
ment sur X.
- Soit (fn)une suite de fonctions définies et continues sur un espace mé-
trique E à valeurs dans un evn F. Si Pfnconverge uniformément sur E,
alors la somme est continue sur E.
3.2 Différentiabilité
Proposition
L’application exponentielle est de classe C1sur Mn(K).
démonstration (à la main) [TT1 MP 830]
* Montrons d’abord qu’elle est différentiable.
Soit U et H dans Mn(K). On a exp(U+H)−exp(U) = P+∞
n=1 1
n!((U+H)n−Un).
On écrit ((U+H)n−Un)sous la forme Ln(H) + Rn(H)avec Ln(H) =
Pn
i=1 U...UHU...U qui ne contient qu’un seul H à la i-ème place et Rn(H)
est une somme de produits de n facteurs contenant au moins deux H.
On montre facilement que
→P+∞
n=1 1
n!Ln(H)est absolument convergente, et définit donc un endomor-
phisme de Mn(K)
→P+∞
n=1 1
n!Rn(H)est absolument convergente et un petit o de ||H|| (à l’aide
de la majoration ||Rn(H)|| ≤ (||U|| +||H||)n− ||U||n−n||U||n−1||H||).
Ainsi exp est différentiable en U et D(exp)U(H) = P+∞
n=1 1
n!(Pn
i=1 U...UHU...U).
3