Corollary 3
Tag 034J, permanent. Cite it as [Bourbaki, Tag 034J].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let be a symmetric operator on E. The following conditions are equivalent:
(i) The operator is essentially self-adjoint;
(ii) The spaces Ker() and Ker() are zero;
(iii) The spaces Im() and Im() are dense in E;
(iv) The partial symmetric operator has a unique self-adjoint extension.
Conditions (ii) and (iii) are equivalent by prop. 7, c) of IV, p. 236.
The partial operator is essentially self-adjoint if and only if is self-adjoint, that is to say if Ker() Ker() (cor. of prop. 26). Since (prop. 8 of IV, p. 237), condition (i) is therefore equivalent to condition (ii). Moreover, the preceding corollary shows that (ii) implies that has a unique self-adjoint extension, which is condition (iv).
Finally, suppose that has a unique self-adjoint extension . Then the same is true of , since every self-adjoint extension of is one of , hence is equal to . By the preceding corollary, the spaces Ker() and Ker() must be zero, whence condition (ii), using again .
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.