Proposition 10
Tag 028L, permanent. Cite it as [Bourbaki, Tag 028L].
Théories spectrales, chapter I, § 3. Algèbres de Banach commutatives
Let A and B be commutative unital Banach algebras, a unital algebra morphism, not necessarily continuous. If is surjective, then is a full subalgebra of B.
Let be such that is invertible in B. For every , there exists such that , hence . Prop. 6 of I, p. 37 then shows that is invertible in A, and hence that is invertible in .
The necessary condition of the proposition is not sufficient, even if is isometric (I, p. 168, exerc. 14). One has nevertheless the following result:
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.