5 Une propriété du calcul fonctionnel holomorphe
Soient Aune algèbre de Banach et a, b ∈A. Montrer que pour toute fonction holomorphe au
voisinage de Sp ab ∪ {0}, on a af (ba) = f(ab)a.
6 Groupe topologique des inversibles d’une algèbre de Banach
et exponentielle
Soit Aune algèbre de Banach unifère. On note G=A×le groupe des éléments inversibles
de Aet G1la composante connexe de 1dans G. On rappelle que sur une algèbre de Banach,
l’exponentielle est définie par le calcul fonctionnel holomorphe ou avec sa formule en série, de
façon équivalente (car la convergence de la série est uniforme sur tout compact).
1. (a) Montrer que si Hest un groupe topologique d’unité e, alors la composante connexe
Hede edans Hest un sous-groupe distingué. Montrer que si H0est un sous-groupe
de Hqui contient un voisinage ouvert Vde e, alors H0contient He.
(b) Montrer que G1est le sous-groupe de Gengendré par {exp(a), a ∈A}. (On pourra
utiliser le théorème d’inversion locale pour les applications C1sur les ouverts d’es-
paces de Banach, qui se formule de la même façon que dans les espaces de dimension
finie).
2. Soit x∈G. On va montrer que xest de la forme exp(a)si et seulement s’il existe un
sous-groupe connexe commutatif de Gcontenant x.
(a) Montrer le sens facile.
(b) Montrer qu’il existe un voisinage Ude 0dans A, un voisinage Vde 1dans A
contenu dans la boule B(1,1), tels que exp : U→Vest un difféomorphisme de
réciproque
ln : x∈V7→ X
n≥1
(−1)n+1
n(x−1)n.
(c) Soit Hun sous-groupe commutatif connexe de Gcontenant x. Montrer qu’il existe
n≥0,y1,...,yn∈H∩V,ε1,...,εn∈ {1,−1}tels que
x=yε1
1···yεn
n.
(d) Conclure.
3. Pour Cpartie de A, on note C0le commutant de C,i.e. l’ensemble des éléments de A
qui commutent avec tous les éléments de C. On note donc C00 le bicommutant de C,i.e.
le commutant de C0. Montrer que C0est une sous algèbre unifère fermée de A, et que
pour C1⊂C2, on a C0
2⊂C0
1et C00
1⊂C00
2. Montrer que C⊂C00. Montrer que pour tout
n≥0,
C(2n+1) =C0et C(2n+2) =C00.
Montrer que le bicommutant d’une partie commutative est commutatif.
4. Montrer que si 0est dans la composante connexe non bornée de C−SpA(x), alors xest
de la forme exp(a).
5. On suppose Acommutative. Montrer que tout élément de G/G1est d’ordre infini.
2