Remark
Tag 02DV, permanent. Cite it as [Bourbaki, Tag 02DV].
Théories spectrales, chapter I, § 6. Algèbres stellaires
The mapping is isometric; its image is the unital star-subalgebra B generated by , which is contained in the bicommutant of .
If is the restriction to Sp of a function of the form , where is a polynomial, then one has in the usual algebraic sense.
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.