Let denote the space of continuous functions from to and let denote the space of continuously differentiable functions. Then the mapping
-
which assigns to a function its derivative, is
linear.
In analysis, we proof that
-
for
and another function
holds.