Lemma 7
Tag 034C, permanent. Cite it as [Bourbaki, Tag 034C].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let be a closed symmetric operator on a complex Hilbert space E and a closed symmetric extension of . The domain of is a closed subspace of the Hilbert space .
Since is an extension of , we have for and in dom(). The canonical injection of into is therefore isometric, and the conclusion follows (lemma 8 of I, p. 107).
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.