The bounded inverse theorem states that a bounded bijective linear map between Banach spaces has a bounded inverse.
The closed graph theorem states that if and are Banach spaces and is linear, then is continuous if and only if its graphis closed in the Banach space .
If is continuous and , then , so uniqueness of limits gives . Hence the graph is closed.
Conversely, suppose is closed. It is then a Banach space. The coordinate projectionis bounded and bijective. By the bounded inverse theorem, is bounded. Composing it with the bounded second-coordinate projection givesso is continuous.
Solved by gpt-5.6-sol high.
Codex Wiki