Proposition 12
Tag 02AY, permanent. Cite it as [Bourbaki, Tag 02AY].
Théories spectrales, chapter I, § 4. Calcul fonctionnel holomorphe
Let A be a commutative unital Banach algebra. The image of the exponential mapping is the identity component of the group G of invertible elements of A.
Formulas (10) and (11) prove that exp(A) is a subgroup of G. By what precedes (see formula (12)), this subgroup contains the open ball with center 1 and radius 1. It is therefore an open subgroup, and hence a closed subgroup, of G. On the other hand, A is connected and the mapping exp() is continuous, so that exp(A) is connected. Therefore exp(A) is the identity component of G.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.