Bourbaki

Example 1

Tag 02CU, permanent. Cite it as [Bourbaki, Tag 02CU].

Théories spectrales, chapter I, § 6. Algèbres stellaires

Let X be a locally compact topological space. The Banach algebra Cb(X)\mathscr{C}_b(X) of complex-valued continuous bounded functions on X, endowed with the norm ∥f∥\|f\| = supx∈X∣f(x)∣_{x\in X}|f(x)| and the involution f↦f‾f\mapsto \overline{f}, is an involutive Banach algebra. The subalgebra C0(X)\mathscr{C}_0(X) of continuous functions tending to 0 at infinity is a closed involutive subalgebra of Cb(X)\mathscr{C}_b(X).

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.