A linear operator has closed graph when is closed in . The closed graph theorem states that an everywhere-defined linear operator between Banach spaces is bounded if and only if it has closed graph. Boundedness gives the closed-graph property by continuity. Conversely a closed graph is Banach in the product norm . Projection of the graph onto is a bounded linear bijection, so the open mapping theorem makes its inverse bounded. Composing that inverse with the second-coordinate projection proves is bounded.
For the composition assertion, suppose and . Boundedness of gives , and boundedness of gives . Injectivity of forces . Hence has closed graph and is bounded by the theorem.
For the derivative bound take with norm , and with its supremum norm; both are Banach. Regard as a map into , and let be inclusion. This inclusion is bounded and injective, and is bounded by hypothesis. The preceding result gives a constant with . In particular uniformly in .
Articles by others on the same topic
There are currently no matching articles.