Definition 11
Tag 034F, permanent. Cite it as [Bourbaki, Tag 034F].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let be a closed symmetric operator on a complex Hilbert space E. A boundary condition for is a partially isometric linear mapping (TVS, V, p. 41, Def. 3) of Ker() into Ker().
Let be a closed symmetric operator on a complex Hilbert space E and a boundary condition for . Let I = Ker() be the initial subspace of . We denote by the reduction of to the subspace of dom() which is the direct sum of dom() and of the graph in of the restriction of to I. Since dom() (Prop. 26), the partial operator is well defined.
In other words, the domain of is the space of elements of the form , where dom() and belongs to the initial subspace of . One then has .
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.