Étiquette 02FX, permanente. À citer comme [Bourbaki, Tag 02FX].
Théories spectrales, I, p. 185
Bourbaki marks this one as harder than the rest.
Soit A une algèbre de Banach ayant une unité approchée. Notons A l’algèbre de Banach obtenue à partir de A par adjonction d’un élément unité, noté 1.
a) Soit x∈A. Alors x appartient à l’idéal à gauche fermé engendré par x. b) Pour tout ε>0 et toute famille finie (xi)i∈I d’éléments de A, il existe e∈A tel que ∥e∥⩽1 et ∥exi−xi∥<ε pour tout i∈I.
c) Soient x∈A,ε>0 et 0<γ⩽1/8. Il existe η>0 tel que pour tout e∈A vérifiant ∥e∥⩽1 et ∥ex−x∥<η, alors α=(1−γ)⋅1+γe est inversible dans A et ∥x−α−1x∥<ε.
d) Soient x∈A,ε>0,δ>0 et 0<γ⩽1/8. Il existe une suite (en)n⩾1 dans A ayant les propriétés suivantes :
(i) On a ∥en∥<2 pour tout n⩾1 ;
(ii) L’élément
yn=k=1∑nγ(1−γ)k−1ek+(1−γ)n⋅1
est inversible dans A pour tout n⩾1 et
∥yn−1x−yn−1−1x∥<δ2−n(n⩾2),∥y1−1x−x∥<δ/2
(Supposant que (e1,...,en) ont été définis, considérer un élément en+1 quelconque de norme <2 ; observer que
où ek′=((1−γ)⋅1+en+1)−1ek, et déterminer en+1 vérifiant les conditions demandées en exploitant le fait que l’ensemble des éléments inversibles de A est ouvert, et que l’application a↦a−1 est continue.)
e) Pour tout x∈A, il existe y et z dans A tels que x=yz (« théorème de factorisation de Cohen »). Soit δ>0. On peut supposer que z appartient à l’idéal à gauche fermé engendré par x et que ∥y−z∥<δ. (Considérer une suite (en)n⩾1 comme ci-dessus et définir yn comme précédemment ; la suite zn=yn−1x converge vers un élément z∈A, et zn appartient à l’idéal à gauche fermé engendré par x; la suite (yn) converge vers y∈A et x=yz.)