Lemma 1
Tag 032Q, permanent. Cite it as [Bourbaki, Tag 032Q].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E, F and G be topological vector spaces over K. Let be a closed operator from E into F.
a) For every , the partial operator is closed.
b) For every , the partial operator is closed.
Let us prove a). Let be the mapping of into itself; it is continuous. For every , one has if and only if dom() and , that is to say that . The assertion follows.
Let us prove b). The mapping of into is continuous; for every , one has , hence . The assertion follows.
Let E and F be topological vector spaces over K, F being separated. Let . If is closable, the same is true of . If , one has , and is closed if and only if is. If , the closure of is , and is equal to ; it may therefore happen that is closed but that is not.
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.