Definition 11
Tag 0374, permanent. Cite it as [Bourbaki, Tag 0374].
Théories spectrales, chapter IV, § 5. Opérateurs partiels normaux et théorème spectral
Let be a partial operator on E. A partial operator on E is said to be bounded relatively to if dom() dom() and if defines, by passage to the subspace, a continuous linear mapping of into E.
Let be a partial operator on E. Let be a partial operator bounded relatively to . There exists a real number such that
for all dom(). The greatest lower bound of the real numbers such that there exists a real number such that
is called the relative norm of with respect to , and is denoted by ,
for every dom(). The relative norm of is therefore less than or equal to the norm of the restriction of to the space .
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.