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.
Articles by others on the same topic
There are currently no matching articles.