Bourbaki

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 A=Cb(X)A =\mathscr{C}_b(X) be the commutative unital star algebra of continuous bounded functions on X (Example 2 of I, p. 102). Let g∈Ag\in A; its spectrum S is the closure in C\mathbf{C} of the set g(X)g(X) of values of gg (Example 3 of I, p. 17). The functional calculus mapping of gg is then the mapping f↦f∘gf\mapsto f\circ g, for f∈C(S)f\in \mathscr{C}(S). In fact, this mapping is a unital morphism of star algebras such that the identical mapping on S has image gg.

In the case where X is compact, one has A=C(X)A =\mathscr{C}(X) and S=g(X)S =g(X).

Let π:A→A′\pi : A\rightarrow A' be a unital morphism of unital star algebras. The element π(x)\pi (x) of A′A' is normal and its spectrum relative to A′A' is contained in SpA(x)_A(x). 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.

Machine translation of the English, by gpt-5-6-mini, gpt-5.4, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.