Remark
Tag 02ZA, permanent. Cite it as [Bourbaki, Tag 02ZA].
Théories spectrales, chapter IV, § 2. Endomorphismes normaux
Let A be a commutative unital stellar subalgebra of . For every and in E, let denote the spectral measure of relative to A. The mapping defined by of into is sesquilinear.
Let be a normal endomorphism of E and A the unital stellar subalgebra of generated by . It is commutative. The space is identified with Sp() by the mapping (lemma 10 of I, p. 109). The spectral measure of relative to A is therefore identified with a measure on Sp(), called the spectral measure of relative to . For every function (Sp()), one then has
Sp()
by def. 5 of I, p. 110.
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.