Let be a real Banach space and be linear with for every . If and in , positivity of and passage to the limit givefor every real and every . Taking small of either sign forces . Thus the graph of is closed, and the closed graph theorem makes continuous.
Codex Wiki