What is the key to proving continuity using rational numbers?

Click For Summary
SUMMARY

The discussion centers on proving continuity of real-valued functions using rational numbers. Specifically, it addresses two problems: first, showing that if a continuous function f satisfies f(r) = 0 for all rational numbers r in the interval (a, b), then f(x) = 0 for all x in (a, b). Second, it proves that if two continuous functions f and g agree on all rational numbers in (a, b), then they must agree on the entire interval. The key theorem referenced is the epsilon-delta definition of continuity, which is essential for these proofs.

PREREQUISITES
  • Understanding of the epsilon-delta definition of continuity
  • Familiarity with real-valued functions and their properties
  • Knowledge of limits and sequences in real analysis
  • Basic concepts of rational and irrational numbers
NEXT STEPS
  • Study the epsilon-delta definition of continuity in detail
  • Explore the properties of limits and sequences in real analysis
  • Investigate the role of dense subsets in proving continuity
  • Learn about the implications of continuity on function behavior in intervals
USEFUL FOR

Students of real analysis, mathematicians focusing on continuity and limits, and educators teaching foundational concepts in calculus and analysis.

steelphantom
Messages
158
Reaction score
0
Two problems, actually, but they are very similar. Here goes:

Homework Statement


Let f be a continuous real-valued function with domain (a, b). Show that if f(r) = 0 for each rational number r in (a, b,), then f(x) = 0 for all x in (a, b).

Homework Equations



The Attempt at a Solution




Homework Statement


Let f and g be continuous real-valued functions on (a, b) such that f(r) = g(r) for each rational number r in (a, b). Prove that f(x) = g(x) for all x in (a, b).

Homework Equations



The Attempt at a Solution



Alright, well I'm thinking I should approach both of these problems in pretty much the same way. I know the following theorem, but I'm not sure where to go from here: "f is continuous at x_0 in dom(f) iff for each epsilon > 0 there exists delta > 0 such that x in dom(f) and |x - x_0| < delta imply |f(x) - f(x_0)| < epsilon.

Any ideas? Thanks!
 
Physics news on Phys.org
For any delta>0 there is a rational number in the interval |x-x0|<delta. What does that tell you about f(x0)?
 
Another way to do this is to use the fact that [itex]\lim_{x\rightarrow a} f(x)= \lim_{n\rightarrow \infty} f(x_n)[/itex] where [itex]{x_n}[/itex] is any sequence of numbers converging to a. In particular, there always exist a sequence of rational numbers converging to a.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
5
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K