Bourbaki

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 uu is a normal endomorphism of E, so that Sp(uu) is a compact subset of C\mathbf{C}. Since the bounded transform b(u)b(u) coincides with β(u)\beta (u) (formula (5)), and Sp(b(u)b(u)) =β=\beta(Sp(uu)) (Corollary 2 of Proposition 7 of I, p. 111), the spectrum of b(u)b(u) is a compact subset of D. For every continuous function f∈Cf\in \mathscr{C} (Sp(uu)), the function fβf_{\beta} coincides with the restriction of f∘β−1f\circ \beta^{-1} to Sp(uu). Consequently, fβ(β(u))f_{\beta}(\beta (u)) coincides with the endomorphism f(u)f(u) defined by the continuous functional calculus of uu. The above definition is therefore compatible with that of the continuous functional calculus of the involutive algebra L(E)\mathscr{L}(E).

Let f∈Kf\in \mathscr{K} (Sp(uu)). We have

∥f(u)∥⩽∥fβ∥∞=∥f∥∞ \|f(u)\|\leqslant \|f_{\beta}\|_{\infty}=\|f\|_{\infty}

so that, for all xx and yy in E, one obtains the inequality ∣⟨x∣f(u)y⟩∣⩽∥x∥∥y∥∥f∥∞|\langle x|f(u)y\rangle |\leqslant \|x\| \|y\| \|f\|_{\infty}. The mapping f↦⟨x∣f(u)y⟩f\mapsto \langle x|f(u)y\rangle is therefore a bounded measure on Sp(uu), of total mass ⩽∥x∥∥y∥\leqslant \|x\|\|y\| (INT, IV, p. 154, § 4, no7^o7). If x=yx=y, it is a positive measure, since f(u)f(u) is positive when f⩾0f\geqslant 0.

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.4, gpt-5-6-mini, 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.