Corollary
Tag 034E, permanent. Cite it as [Bourbaki, Tag 034E].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let be a closed symmetric operator on E. Then is self-adjoint if and only if the deficiency index of is equal to .
In fact, the symmetric operator is self-adjoint if and only if dom() dom(); now the proposition proves that dom() is the Hilbert sum of dom() and of the deficiency subspaces of .
Let be a closed symmetric partial operator. The spectrum of is contained in if and only if is self-adjoint. In fact, it is known that Sp() if is self-adjoint (Prop. 17 of IV, p. 248); if is not self-adjoint, one of the subspaces Ker() or Ker() is nonzero, hence the image of or of is a proper subspace of E (Prop. 25 of IV, p. 256), so that or belongs to Sp().
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.