Proposition 9
Tag 028J, permanent. Cite it as [Bourbaki, Tag 028J].
Théories spectrales, chapter I, § 3. Algèbres de Banach commutatives
Let A be a Banach algebra, let B be a commutative Banach algebra without radical, Every morphism of the underlying algebra of A into the underlying algebra of B is continuous.
Let be an algebra morphism and let be a point adherent to the graph Γ of . Let . The function from A into is an algebra homomorphism, hence is continuous (I, p. 29, th. 1). The map from into given by is therefore continuous; it is zero on Γ, hence zero at . Thus one has for every . Since B is without radical, one has . Thus the graph of is closed and therefore is continuous (EVT, I, p. 19, cor. 5).
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.