Real Analysis - Prove f is discontinuous

Click For Summary

Homework Help Overview

The problem involves analyzing the function f defined as f(x) = 1 for rational x and f(x) = 0 for irrational x, with the goal of demonstrating that f is discontinuous at every point in the real numbers. The context is rooted in real analysis and the definition of continuity.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the need to find a sequence that converges to a point while alternating between rational and irrational values to demonstrate discontinuity. There are suggestions for constructing such sequences, including the use of specific forms and hints about open sets.

Discussion Status

The discussion is ongoing, with various approaches being explored. Some participants offer specific sequences and methods, while others suggest alternative strategies, indicating a productive exchange of ideas without reaching a consensus.

Contextual Notes

Participants are navigating the constraints of the problem, including the requirement to utilize sequences and the implications of continuity definitions. There is also mention of the nature of rational and irrational numbers in the context of the function.

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 [itex]x[/itex].
Step 2: Find an alternating rational/irrational sequence that converges to [itex]0[/itex].
(Hint: I suggest something of the form [itex]0,y_1,0,y_3...[/itex].)
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