Corollary
Tag 028K, permanent. Cite it as [Bourbaki, Tag 028K].
Théories spectrales, chapter I, § 3. Algèbres de Banach commutatives
On a commutative complex algebra without radical, two norms defining Banach algebra structures are equivalent.
It is enough to apply prop. 9 to the identity map of the algebra.
Let A and B be commutative Banach algebras. By No. of I, p. 9, if is a surjective morphism, is a homeomorphism of onto a closed subspace of which transforms 0 into 0. (In the case where is the injection of a subalgebra into , the map is injective under much weaker hypotheses, cf. I, p. 142, prop. 1, d).)
Now let be an injective morphism. In general, is not surjective, but the following proposition provides a necessary condition for this to be the case.
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.