Proposition 4
Tag 032U, permanent. Cite it as [Bourbaki, Tag 032U].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E and F be Banach spaces (resp. Hilbert spaces), and let be a partial operator from E into F. Then is closed if and only if the normed space is a Banach space (resp. a Hilbert space).
It is enough to treat the case of Banach spaces. The norm of is obtained, by transport of structure by means of the bijective linear mapping of onto dom(), from the norm obtained by restriction to the subspace of the norm on the Banach space . Thus the space is a Banach space if and only if the subspace of is closed.
If and are partial operators from E into F and from F into G, respectively, and if is closed, then the partial operator is not closed in general, even if is continuous (exercise 1 of IV, p. 344, c)). One nevertheless has the following sufficient condition:
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.