SUMMARY
If a function f: R->R is infinitely differentiable and analytic on a dense set, it does not guarantee that f is analytic everywhere. The bump function, defined as f(x) = e^{-1/x^2} for x > 0 and f(0) = 0, serves as a counterexample, being analytic on R \ {0} but not on the entire real line. Additionally, smooth functions with compact support, such as those defined on the interval [a,b], are not analytic at the endpoints a and b due to differing limits of their Taylor series from either side.
PREREQUISITES
- Understanding of infinitely differentiable functions
- Familiarity with analytic functions and Taylor series
- Knowledge of dense sets in real analysis
- Concept of compact support in functions
NEXT STEPS
- Study the properties of analytic functions in real analysis
- Explore the concept of dense sets and their implications in function analysis
- Investigate the characteristics of smooth functions with compact support
- Learn about counterexamples in mathematical analysis, particularly in the context of differentiability and analyticity
USEFUL FOR
Mathematicians, students of real analysis, and anyone interested in the properties of differentiable and analytic functions.