Analysis: Is f(x) Continuous at Every Number?

  • Thread starter Thread starter AlexHall
  • Start date Start date
  • Tags Tags
    Analysis
Click For Summary
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.

AlexHall
Messages
7
Reaction score
0
I need to show if the following is true or false.

If the function f: (0,1)--> R is continuous in every irrational number x then f is continuous at every number.

Thank you
 
Physics news on Phys.org
The answer is false: Define f by f(x) = 0 if x is irrational; and f(x) = 1/q where x = p/q, p coprime to q. This function is continuous at every irrational and discontinuous at all the rationals.
 
e(ho0n3 said:
The answer is false: Define f by f(x) = 0 if x is irrational; and f(x) = 1/q where x = p/q, p coprime to q. This function is continuous at every irrational and discontinuous at all the rationals.

There are functions where this is true. f(x) = x is continuous at every irrational number on [0,1], and is continuous at every number. However, this is not generally the case:
I believe Thomae's function serves as a counterexample to the statement which you need to disprove which is what e(ho0on3 mentioned.

There is an interesting paper on Thomae's function by Dr. Beanland, discussing how to modify the function so that is differentiable
<www.people.vcu.edu/~kbeanland/Papers/ThomaesFunction.pdf>
Very interesting, he mentions some way to quantify irrationalness which is the part of the paper that goes over my head, but is interesting nonetheless
 

Similar threads

Replies
5
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 58 ·
2
Replies
58
Views
5K
Replies
4
Views
2K