Example 1
Tag 02CO, permanent. Cite it as [Bourbaki, Tag 02CO].
Théories spectrales, chapter I, § 6. Algèbres stellaires
Let A be the algebra of complex-valued functions on a set X. The mapping is an involution in A. The subalgebra of bounded functions on X is an involutive subalgebra of A. If X is a locally compact topological space, the subalgebras and are involutive subalgebras of A.
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.