The graph is closed if it is a closed subset of . Equivalently, and imply .
The closed graph theorem states that an everywhere-defined linear map between Banach spaces is bounded if and only if its graph is closed. Completeness of both spaces is part of the theorem. A bounded map has a closed graph by continuity.
Conversely, if the graph is closed, it is a Banach space in the product norm . The coordinate projection , , is a bounded linear bijection. The open mapping theorem makes bounded. The other coordinate projection is bounded, and is therefore bounded. This proves the theorem from the permitted result.

Articles by others on the same topic (0)

There are currently no matching articles.