Proposition 1
Tag 032M, permanent. Cite it as [Bourbaki, Tag 032M].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E and F be topological vector spaces over K. A partial operator of E into F is closable if and only if the closure of the graph of in is a functional graph. There then exists a unique partial operator of E into F whose graph is , and it is the smallest closed extension of .
If the closure of the graph of in is a functional graph, it is the graph of a partial operator, and this is a closed extension of , so that is closable. Conversely, suppose that with closed. The closure of the graph of in is contained in , hence is a functional graph.
The last assertion follows from the fact that if is a closed extension of , then the graph of contains .
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.