Define
The hypothesis makes everywhere defined. The dual is Banach even when is incomplete. If in and in , then coordinatewise convergence gives , so the graph of is closed. The closed graph theorem therefore gives
Taking the supremum over the unit ball proves the required finite bound.

Articles by others on the same topic (0)

There are currently no matching articles.