Tag 02FX, permanent. Cite it as [Bourbaki, Tag 02FX].
Spectral Theories, I, p. 185
Bourbaki marks this one as harder than the rest.
Let A be a Banach algebra having an approximate unit. Denote by A the Banach algebra obtained from A by adjunction of a unit element, denoted by 1.
a) Let x∈A. Then x belongs to the closed left ideal generated by x. b) For every ε>0 and every finite family (xi)i∈I of elements of A, there exists e∈A such that ∥e∥⩽1 and ∥exi−xi∥<ε for all i∈I.
c) Let x∈A,ε>0 and 0<γ⩽1/8. There exists η>0 such that for every e∈A satisfying ∥e∥⩽1 and ∥ex−x∥<η, then α=(1−γ)⋅1+γe is invertible in A and ∥x−α−1x∥<ε.
d) Let x∈A,ε>0,δ>0 and 0<γ⩽1/8. There exists a sequence (en)n⩾1 in A having the following properties:
(i) We have ∥en∥<2 for all n⩾1 ;
(ii) The element
yn=k=1∑nγ(1−γ)k−1ek+(1−γ)n⋅1
is invertible in A for all n⩾1 and
∥yn−1x−yn−1−1x∥<δ2−n(n⩾2),∥y1−1x−x∥<δ/2
(Assuming that (e1,...,en) have been defined, consider an arbitrary element en+1 of norm <2 ; observe that
where ek′=((1−γ)⋅1+en+1)−1ek, and determine en+1 satisfying the required conditions by exploiting the fact that the set of invertible elements of A is open, and that the mapping a↦a−1 is continuous.)
e) For every x∈A, there exist y and z in A such that x=yz (“Cohen factorization theorem”). Let δ>0. We may suppose that z belongs to the closed left ideal generated by x and that ∥y−z∥<δ. (Consider a sequence (en)n⩾1 as above and define yn as previously; the sequence zn=yn−1x converges to an element z∈A, and zn belongs to the closed left ideal generated by x; the sequence (yn) converges to y∈A and x=yz.)