Can Rational Numbers Approximate Irrational Numbers Arbitrarily Closely?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
Sign up Log in
5 replies · 3K views
Kartik.
Messages
55
Reaction score
1
Prove the theorem comprising that an irrational number β can be described to any limit of accuracy with the help of rational.

Attempt-
Taking the β to be greater than zero and is expressed with an accuracy of 1/n
For any arbitrary value of β, it falls between two consecutive integers which are assumed to be N and N+1.Division of the interval between N and N+1 is into n parts.After this step i know that the number will fall between N+m/n and N+(M+1/n), but my question is HOW? and i also want to know about the rest of the proof.
 
Physics news on Phys.org
Kartik. said:
Prove the theorem comprising that an irrational number β can be described to any limit of accuracy with the help of rational.

Attempt-
Taking the β to be greater than zero and is expressed with an accuracy of 1/n
For any arbitrary value of β, it falls between two consecutive integers which are assumed to be N and N+1.Division of the interval between N and N+1 is into n parts.After this step i know that the number will fall between N+m/n and N+(M+1/n), but my question is HOW? and i also want to know about the rest of the proof.


Please define what is "a number can be described with the help of a rational".

I bet, for sure, that what you need here is a simple fact about limits, the euclidean topology of the reals and stuff, but if

you haven't yet studied this then it's important to know what you think you have to prove.

DonAntonio
 
I assume you mean that, given an irrational number, x, and [itex]\delta> 0[/itex], there exist a rational number, y, such that [itex]|x- y|< \delta[/itex].

How you would prove that depends upon how you are defining "real number". If, for example, you define the real numbers as "equivalence classes of Cauchy sequences of rational numbers" this is relatively simple to prove.
 
Edit: Posted in wrong thread. Sorry.
 
Kartik. said:
For any arbitrary value of β, it falls between two consecutive integers which are assumed to be N and N+1.

Can you prove this? If you can, see if you can use the same technique to prove that β falls between N+(m/n) and N+[(m+1)/n], for some m.