Proposition 1
Tag 02BV, permanent. Cite it as [Bourbaki, Tag 02BV].
Théories spectrales, chapter I, § 5. Algèbres de Banach commutatives régulières
Let A be a commutative Banach algebra. The following conditions are equivalent:
(i) The weak topology and the Jacobson topology on coincide ;
(ii) For every and every weakly closed subset F of such that , there exists an such that is equal to 1 at and to 0 on F;
(iii) For every weakly compact subset K and every weakly closed subset F of such that , there exists an element such that is equal to 1 on K and to 0 on F.
Let . To say that M is closed for the Jacobson topology means that, for every - M, there exists an such that vanishes on M but not at (lemma 2 of I, p. 39). Condition (ii) therefore means that every weakly closed subset of is closed for the Jacobson topology, which shows that (ii) (i). Moreover (iii) (ii) since the subset is weakly compact in . Finally (i) (iii) according to the cor. of prop. 15 of I, p. 81.
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.