Remark
Tag 02WB, permanent. Cite it as [Bourbaki, Tag 02WB].
Théories spectrales, chapter IV, § 1. Opérateurs compacts sur un espace hilbertien
The Banach algebra is a maximal commutative closed subalgebra of . Indeed, let be an endomorphism of E which commutes with . Let . Since the orthogonal projector is diagonal in the basis B, one has , which implies that is proportional to . Thus is diagonal in the basis B.
If E is of infinite dimension, there exist maximal commutative involutive subalgebras of which are not isomorphic to (exercise 5 of IV, p. 314).
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.