| Let A be the collection of functions
f : [0, 1] → R which have an infinite
number of derivatives. Let A_0 ⊂ A
be the subcollection of those functions
f with f(0) = 0. Define D : A_0 → A
by D(f) = df/dx. Use the mean value
theorem to show that D is injective.
Use the fundamental theorem of
calculus to show that D is surjective.
|