# Proof of the infinitude of rational and irrational numbers

I'm going through Apostol's Calculus Volume 1 and the first few chapters are more about real analysis than calculus. You can use all the properties of elementary algebra, inequalities and the least upper bound axiom(and fundamental properties of the supremum and infinum-should I elaborate?) I would like hints on how to prove that given two non equal reals there exists one and hence an infinite number of rational and irrational numbers between them. I've proven that there exist an infinite number of reals in between the two non equal arbitrary real but I want hints for proving the other statements. Hints instead of a complete solution will be appreciated.

• How does Apostol define the real numbers? Are they the completion of Cauchy sequences of rationals? Nov 20, 2014 at 2:14
• If you know that between any two numbers there is a rational, you can conclude that there is also an irrational: If $a<b$, use that there is a rational $p$ with $(a-\sqrt 2)<p<(b-\sqrt2)$ to conclude that there is an irrational between $a$ and $b$. How to best argue that there are rationals between $a$ and $b$ depends on the specific way that reals are constructed For instance, if reals are given by Dedekind cuts, then that there are rationals in between is essentially by definition. Nov 20, 2014 at 2:44
• From the book: "The point of view we shall adopt is nonconstructive. We shall start rather far out in the process, taking the real numbers themselves as undefined objects satisfying a number of properties that we use as axioms. All the properties of real numbers can be deduced from these axioms." The axioms listed are the commutative and associative properties, the existence of identity elements, etc. Nov 20, 2014 at 4:28