Bourbaki

Exercice 30, § 6

É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~\widetilde{A} l’algèbre de Banach obtenue à partir de A par adjonction d’un élément unité, noté 1.

a) Soit x∈Ax\in A. Alors xx appartient à l’idéal à gauche fermé engendré par xx. b) Pour tout ε>0\varepsilon >0 et toute famille finie (xi)i∈I(x_i)_{i\in I} d’éléments de A, il existe e∈Ae\in A tel que ∥e∥⩽1\|e\|\leqslant 1 et ∥exi−xi∥<ε\|ex_i-x_i\|< \varepsilon pour tout i∈Ii\in I.

c) Soient x∈A,ε>0x\in A,\varepsilon >0 et 0<γ⩽1/80< \gamma \leqslant 1/8. Il existe η>0\eta >0 tel que pour tout e∈Ae\in A vérifiant ∥e∥⩽1\|e\|\leqslant 1 et ∥ex−x∥<η\|ex-x\|< \eta, alors α=(1−γ)⋅1+γe\alpha = (1-\gamma )\cdot 1+\gamma e est inversible dans A~\widetilde{A} et ∥x−α−1x∥<ε\|x-\alpha^{-1}x\|< \varepsilon.

d) Soient x∈A,ε>0,δ>0x\in A,\varepsilon >0,\delta >0 et 0<γ⩽1/80< \gamma \leqslant 1/8. Il existe une suite (en)n⩾1(e_n)_{n\geqslant 1} dans A ayant les propriétés suivantes :

(i) On a ∥en∥<2\|e_n\|<2 pour tout n⩾1n\geqslant 1 ;

(ii) L’élément

yn=∑k=1nγ(1−γ)k−1ek+(1−γ)n⋅1 y_n=\sum_{k=1}^n\gamma (1-\gamma )^{k-1}e_k+ (1-\gamma )^n\cdot 1

est inversible dans A~\widetilde{A} pour tout n⩾1n\geqslant 1 et

∥yn−1x−yn−1−1x∥<δ2−n(n⩾2),∥y1−1x−x∥<δ/2 \|y_n^{-1}x-y_{n-1}^{-1}x\|< \delta 2^{-n}(n\geqslant 2),\|y^{-1}_1x-x\|< \delta /2

(Supposant que (e1,...,en)(e_1, . . . , e_n) ont été définis, considérer un élément en+1e_{n+1} quelconque de norme <2<2 ; observer que

yn+1=((1−γ)⋅1+en+1)(∑k=1nγ(1−γ)k−1ek′+(1−γ)n⋅1) y_{n+1}= ((1-\gamma )\cdot 1 +e_{n+1})(\sum_{k=1}^n\gamma (1-\gamma )^{k-1}e'_k+ (1-\gamma )^n\cdot 1)

où ek′=((1−γ)⋅1+en+1)−1eke'_k= ((1-\gamma )\cdot 1 +e_{n+1})^{-1}e_k, et déterminer en+1e_{n+1} vérifiant les conditions demandées en exploitant le fait que l’ensemble des éléments inversibles de A~\widetilde{A} est ouvert, et que l’application a↦a−1a\mapsto a^{-1} est continue.)

e) Pour tout x∈Ax\in A, il existe yy et zz dans A tels que x=yzx=yz (« théorème de factorisation de Cohen »). Soit δ>0\delta >0. On peut supposer que zz appartient à l’idéal à gauche fermé engendré par xx et que ∥y−z∥<δ\|y-z\|< \delta. (Considérer une suite (en)n⩾1(e_n)_{n\geqslant 1} comme ci-dessus et définir yny_n comme précédemment ; la suite zn=yn−1xz_n=y_n^{-1}x converge vers un élément z∈Az\in A, et znz_n appartient à l’idéal à gauche fermé engendré par xx; la suite (yn)(y_n) converge vers y∈Ay\in A et x=yz.x=yz.)

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.