SUMMARY
The assertion that a function f: (0,1)--> R, continuous at every irrational number, is also continuous at every number is false. A counterexample is provided by defining f(x) = 0 for irrational x and f(x) = 1/q for rational x = p/q, where p and q are coprime. This function is continuous at all irrational numbers but discontinuous at all rational numbers. Thomae's function serves as another counterexample, demonstrating that continuity at irrationals does not guarantee continuity at rationals.
PREREQUISITES
- Understanding of real analysis concepts, specifically continuity.
- Familiarity with rational and irrational numbers.
- Knowledge of Thomae's function and its properties.
- Basic understanding of function definitions and piecewise functions.
NEXT STEPS
- Study the properties of Thomae's function in detail.
- Explore the concept of continuity in real analysis.
- Research the implications of continuity at irrational numbers versus rational numbers.
- Read Dr. Beanland's paper on Thomae's function for insights on differentiability.
USEFUL FOR
Students and professionals in mathematics, particularly those studying real analysis, as well as educators looking to understand the nuances of function continuity.