Show that there is a rational number and an irrational number between any two real numbers.
Asked
Active
Viewed 456 times
-2
-
1Are you familiar with the archimedian principal? – fleablood May 02 '17 at 02:45
-
1@fleablood: "principle" ;) To the OP: the answer to this question will depend heavily on what properties of the reals you are taking as given. – Martin Argerami May 02 '17 at 02:47
1 Answers
0
We know that $\mathbb{Q}$ is $dense$ in $\mathbb{R}$. This means for any $x\in\mathbb{R}$ and for any $r>0$ , $\mathbb{Q} \cap B(x;r)\not=\phi $ where $B(x;r)=\lbrace y\in\mathbb{R}:|x-y|<r \rbrace$.
Let $a, b\in\mathbb{R}$ be such that $a<b$. Then we have $\mathbb{Q}\cap B(\frac{a+b}{2};\frac{b-a}{3})\not=\phi$ by above statement. This simply means there is at least one rational number between $a$ and $b$.
Similarly, $\mathbb{R-Q}$ is also $dense$ in $\mathbb{R}$. By the similar process as above , one can easily derive that there is at least one irrational number between any two distinct real numbers.

risefrominfinite
- 840
-
Note that, usually, the way to show that $\mathbb Q$ is dense is precisely to show that between any two reals there is a rational. It depends on how one defines/constructs the reals. – Martin Argerami May 02 '17 at 04:18