Definition 10
Tag 034A, permanent. Cite it as [Bourbaki, Tag 034A].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let be a closed symmetric operator on a complex Hilbert space E. Let Ker() and Ker(). The pair of subspaces of dom() is called the deficiency pair of . The subspaces and are closed subspaces of E (prop. 3 of IV, p. 229). The pair (dim(E), dim(E)) of the Hilbert dimensions of these subspaces is called the deficiency index of .
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.