Bourbaki

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 uu be a partial operator from E into F. Then uu is closed if and only if the normed space EuE_u is a Banach space (resp. a Hilbert space).

It is enough to treat the case of Banach spaces. The norm of EuE_u is obtained, by transport of structure by means of the bijective linear mapping (x,y)↦x(x, y)\mapsto x of Γu\Gamma_u onto dom(uu), from the norm obtained by restriction to the subspace Γu\Gamma_u of the norm (x,y)↦(∥x∥E2+∥y∥F2)1/2(x, y)\mapsto (\|x\|^2_E+\|y\|^2_F)^{1/2} on the Banach space E⊕FE\oplus F. Thus the space EuE_u is a Banach space if and only if the subspace Γu\Gamma_u of E⊕FE\oplus F is closed.

If uu and vv are partial operators from E into F and from F into G, respectively, and if uu is closed, then the partial operator v∘uv\circ u is not closed in general, even if vv 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.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.