Proposition 10 (Hellinger–Toeplitz)
Tag 033I, permanent. Cite it as [Bourbaki, Tag 033I].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let be a symmetric partial operator on the Hilbert space E. If the domain of is equal to E, then and is hermitian.
In fact, the partial operator is closable (prop. 8 of IV, p. 237), and therefore closed since its domain is E (IV, p. 228, Remark). We then conclude by invoking EVT, I, p. 19, cor. 5.
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.