Corollary 2
Tag 034I, permanent. Cite it as [Bourbaki, Tag 034I].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E be a real Hilbert space. Let be a closed symmetric operator on E. The partial operator on is symmetric and closed, and admits at least one self-adjoint extension.
The partial operator is closed and symmetric by prop. 2 of IV, p. 228 and lemma 3 of IV, p. 239. The -linear isomorphism of onto such that for every and every induces an isomorphism of Hilbert spaces of Ker() onto Ker(), and one can apply corollary 1.
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.