Remark 2
Tag 02QM, permanent. Cite it as [Bourbaki, Tag 02QM].
Théories spectrales, chapter III, § 2. Exemples d’applications linéaires compactes
*It will be seen later (cf. IV, p. 149, theorem 1) that when , every normal compact endomorphism of the Hilbert space is of the form , where is a diagonal compact endomorphism and is a unitary endomorphism (EVT, V, p. 40) of the Hilbert space
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.