Proving Existence of Rationals: x in R & ε>0

  • Thread starter Thread starter Zhalfirin88
  • Start date Start date
  • Tags Tags
    Existence
Click For Summary

Homework Help Overview

The problem involves proving the existence of a rational number that is within a specified distance (epsilon) from a given real number (x). The subject area pertains to real analysis and the properties of rational numbers.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the concept of the density of rational numbers in the real numbers and how it relates to the problem. Some express uncertainty about how to formally express their reasoning in a proof format.

Discussion Status

There is an ongoing exploration of how to articulate the proof using the density of rationals. Some participants have suggested that the denseness property can be utilized, while others are seeking clarity on how to incorporate inequalities into their arguments.

Contextual Notes

Participants note that this is a first proofs class, which may contribute to the challenges in articulating the proof. There is an emphasis on understanding the assumptions involved in the problem.

Zhalfirin88
Messages
137
Reaction score
0

Homework Statement


Prove that if x in R and epsilon > 0 are arbitrary, then there exist r in Q such that |x - r | < epsilon

Homework Equations


The Attempt at a Solution



I'm stumped on this one. I tried using the reverse triangle inequality, but I seemingly hit dead ends with it.
 
Physics news on Phys.org
Can you use the fact that the rationals are dense in the reals? This means that any real number can be approximated by a rational number.
 
I know what you are saying, but how do I write that (this is my first proofs class).

By the denseness of Q, you can say that epsilon < p < q < ... < r < x

But I'm not sure how you get the inequality in there. Feel like I'm missing something
 
Zhalfirin88 said:
I know what you are saying, but how do I write that (this is my first proofs class).

By the denseness of Q, you can say that epsilon < p < q < ... < r < x

But I'm not sure how you get the inequality in there. Feel like I'm missing something

The assumption is that you are given an x \in \mathbb{R} and an \varepsilon &gt; 0. Using the fact that the rationals are dense in the reals, any real number can be approximated by a rational number. In other words, there exists a r \in \mathbb{Q} such that r is arbitrarily close to x, or |x - r| &lt; \varepsilon.
 

Similar threads

Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
Replies
14
Views
4K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
20
Views
4K
Replies
16
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K