Remark
Tag 035K, permanent. Cite it as [Bourbaki, Tag 035K].
Théories spectrales, chapter IV, § 5. Opérateurs partiels normaux et théorème spectral
Suppose that is a normal endomorphism of E, so that Sp() is a compact subset of . Since the bounded transform coincides with (formula (5)), and Sp() (Sp()) (Corollary 2 of Proposition 7 of I, p. 111), the spectrum of is a compact subset of D. For every continuous function (Sp()), the function coincides with the restriction of to Sp(). Consequently, coincides with the endomorphism defined by the continuous functional calculus of . The above definition is therefore compatible with that of the continuous functional calculus of the involutive algebra .
Let (Sp()). We have
so that, for all and in E, one obtains the inequality . The mapping is therefore a bounded measure on Sp(), of total mass (INT, IV, p. 154, § 4, n). If , it is a positive measure, since is positive when .
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.