Bourbaki

Corollary 1

Tag 034H, permanent. Cite it as [Bourbaki, Tag 034H].

Théories spectrales, chapter IV, § 4. Opérateurs partiels

Let uu be a closed symmetric operator on a complex Hilbert space E. The mapping b↦ubb\mapsto u_b induces a bijection of the set of isometries of Ker(u∗−iu^*-i) onto Ker(u∗+iu^*+i) onto the set of self-adjoint extensions of uu. In particular, there exists a self-adjoint extension of uu if and only if the two components of the deficiency index of uu are equal.

This follows from the corollary of proposition 26 and the theorem, together with EVT, V, p. 25, cor. 2.

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.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.