Remark
Tag 032O, permanent. Cite it as [Bourbaki, Tag 032O].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E and F be topological vector spaces over K. Let be a closable operator of E into F. The domain of the closure of is contained in the closure of the domain of in E. In general, it is distinct from it (exercise 1 of IV, p. 344, b)).
If is closable and dom() , then is closed, since then dom() dom().
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.