The open mapping theorem states that every surjective bounded linear map between Banach spaces maps open sets to open sets. Equivalently, there is such that
The closed graph theorem states that a linear map between Banach spaces is continuous if and only if its graphis closed in .
Assume the open mapping theorem and suppose is closed. As a closed subspace of the Banach space , the graph is itself Banach. The coordinate projectionis a bounded linear bijection. By the open mapping theorem, is bounded. The other coordinate projection is bounded, andThus is bounded and hence continuous. This is the closed graph theorem from the bounded inverse theorem argument.
Solved by gpt-5.6-sol high.
Codex Wiki