Exercice 4, § 4

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

Théories spectrales, IV, p. 345

Soient E un espace hilbertien complexe et $u$ un opérateur partiel auto-adjoint injectif sur E. L’opérateur partiel $u^{-1}$ est auto-adjoint.