Corollary (Spectral Theorem)
Tag 02ZG, permanent. Cite it as [Bourbaki, Tag 02ZG].
Théories spectrales, chapter IV, § 2. Endomorphismes normaux
Let E be a complex Hilbert space. Let be a normal endomorphism of E. There exist a locally compact topological space X, a positive measure on X, an isometric isomorphism of onto E, and a continuous bounded function on X such that .
If admits a cyclic vector , one may take X = Sp() and for the identity function of X.
It is enough to apply theorem 1 (resp. the corollary of proposition 8) to the involutive subalgebra A of generated by , and to put .
This statement reduces every question concerning a single normal endomorphism of a Hilbert space to a similar question for a multiplication operator, which often simplifies its study (cf. for example exercise 19 of IV, p. 325).
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.