Unboundedness of derivative evaluation in the supremum norm
ID: unboundedness-of-derivative-evaluation-in-the-supremum-norm
On a nondegenerate interval, point evaluation of the derivative is unbounded for the supremum norm on smooth functions. The functions have supremum norm at most one but . Adding the supremum norm of the derivative makes this evaluation a bounded linear functional.
New to topics? Read the docs here!