Example 4
Tag 02E2, permanent. Cite it as [Bourbaki, Tag 02E2].
Théories spectrales, chapter I, § 6. Algèbres stellaires
Let X be a locally compact space and let be the commutative unital star algebra of continuous bounded functions on X (Example 2 of I, p. 102). Let ; its spectrum S is the closure in of the set of values of (Example 3 of I, p. 17). The functional calculus mapping of is then the mapping , for . In fact, this mapping is a unital morphism of star algebras such that the identical mapping on S has image .
In the case where X is compact, one has and .
Let be a unital morphism of unital star algebras. The element of is normal and its spectrum relative to is contained in Sp. One then has:
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.