Corollary 2
Tag 02ZJ, permanent. Cite it as [Bourbaki, Tag 02ZJ].
Théories spectrales, chapter IV, § 2. Endomorphismes normaux
Let E be a complex Hilbert space and let be the set of normal endomorphisms of E. Endow the space with the topology of compact convergence. The mapping of into defined by is continuous.
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.