Real Analysis - Prove f is discontinuous

Click For Summary
SUMMARY

The function f defined as f(x) = 1 for rational x and f(x) = 0 for irrational x is proven to be discontinuous at every point in R. The proof involves constructing a sequence (x_n) that converges to a point x_0, alternating between rational and irrational values. This sequence demonstrates that the limit of f(x_n) does not converge, as it oscillates between 0 and 1. The approach utilizes the definition of continuity and properties of rational and irrational numbers.

PREREQUISITES
  • Understanding of the definition of continuity in real analysis.
  • Familiarity with sequences and their convergence properties.
  • Knowledge of rational and irrational numbers.
  • Basic skills in constructing mathematical proofs.
NEXT STEPS
  • Study the properties of discontinuous functions in real analysis.
  • Learn about sequences and series, focusing on convergence criteria.
  • Explore the implications of the density of rational and irrational numbers in R.
  • Investigate other examples of discontinuous functions and their proofs.
USEFUL FOR

Students of real analysis, mathematicians interested in continuity and discontinuity, and educators teaching concepts of sequences and limits.

steelphantom
Messages
158
Reaction score
0

Homework Statement


Let f(x) = 1 for rational numbers x and f(x) = 0 for irrational numbers. Show that f is discontinuous at every x in R.

Homework Equations


Definition of continuity.


The Attempt at a Solution


I want to find a sequence (x_n) that converges to x_0 but that x_n is rational for even n, and irrational for odd n. This will show that (f(x_n)) cannot converge, since it will alternate between 0 and 1, and thus f is discontinuous. My problem is that I can't think of a sequence that does this!

Thanks for any help. :smile:
 
Physics news on Phys.org
Step 1: Find a rational sequence that converges to x.
Step 2: Find an alternating rational/irrational sequence that converges to 0.
(Hint: I suggest something of the form 0,y_1,0,y_3....)
Step 3: Add the two together.
 
How about (x_n) = x, and (y_n) = 0, 1/pi, 0, 1/pi^2, ... ? This should work, right? Thanks.
 
forget seqences
let U be an open set containing x
show f(U)={0,1}

If you must procede on the original path...
consider a standard rational sequence like
x_n=(n^-1)(floor(x*n)+(1/2)(1+(-1)^n))
altered like
x_n=(n^-1)(floor(x*n)+(1/sqrt(2))(1+(-1)^n))
 
steelphantom said:
How about (x_n) = x, and (y_n) = 0, 1/pi, 0, 1/pi^2, ... ? This should work, right? Thanks.

If you know pi is irrational
maybe it is 4...
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
Replies
1
Views
1K
Replies
34
Views
3K
Replies
10
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K