Homepage › Solution manuals › Walter Rudin › Principles of Mathematical Analysis › Exercise 10.6
Exercise 10.6
Exercise 6: Strengthen the conclusion of Theorem 10.8 by showing that the functions can be made differentiable, and even infinitely differentiable.
Answers
Following the hint, recall that Exercise 8.1 defined an infinitely differentiable function on such that for and for all . Let . Then the function is also infinitely differentiable, equals 0 for and , and for all . Since it has compact support, we can define a function
which is infinitely differentiable, equals 1 for , equals 0 for , and for all .
Now let , and let and be open balls centered at with radii , respectively. Define the function for which is the distance between and , that is,
which is infinitely differentiable for . Then the function is infinitely differentiable on , equals 1 on , equals 0 on , and for all . We can use these functions in the proof of Theorem 10.8 to get infinitely differentiable functions .