Corollary
Tag 027R, permanent. Cite it as [Bourbaki, Tag 027R].
Théories spectrales, chapter I, § 3. Algèbres de Banach commutatives
Let A be a commutative Banach algebra. The space is compact. The space is locally compact, and is compact if A admits a unit element.
Let be the dual of the Banach space A. Its unit ball is weakly compact (EVT, III, p. 17, cor. 2). By Theorem 1, one has . Moreover, is closed in for the weak topology, because it is the intersection of the weakly closed sets
(for ).
It follows that is compact and that is locally compact.
If A admits a unit element 1, then is the set of such that , and is therefore a closed subset, and hence compact, of .
Every compact space is homeomorphic to for a suitable commutative unital Banach algebra A (cf. I, p. 32, cor. 2).
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.