Between any two distinct real numbers, there exists at least one rational number, and hence infinitely many. This is the density of ℚ in ℝ: the closure of ℚ is ℝ. Density means rationals are arbitrarily close to any real number, making them essential for approximation in analysis.
Prove this using the Archimedean Property: given reals a < b, show that n(b - a) > 1 for some n, then find the smallest integer m with m/n > a. Construct rational approximations to √2 and π to see the density in action.
You already know the Archimedean property: for any real ε > 0, there exists a natural number n with 1/n < ε. You also know supremum and infimum — the least upper and greatest lower bounds of a set. These two tools are precisely what you need to prove that the rationals are dense in the reals, and understanding the proof is the best way to understand what density actually means.
Here is the claim: given any two real numbers a < b, there is a rational number p/q with a < p/q < b. The proof uses the Archimedean property to find a denominator q large enough that consecutive integers of the form p/q are closer together than the gap b − a. Specifically, choose q so that 1/q < b − a, which is possible by the Archimedean property since b − a > 0. Now consider the multiples ..., −1/q, 0, 1/q, 2/q, ... — they march along the number line in steps smaller than the interval (a, b). The interval must contain at least one such multiple; let p be the smallest integer with p/q > a. Then p/q ≤ a + 1/q < a + (b − a) = b. So a < p/q < b.
What this proves is not just that one rational exists between a and b — it proves that for every smaller sub-interval of (a, b), you can repeat the argument and find another rational. The rationals are therefore dense in ℝ: every open interval contains infinitely many of them. You can think of the rationals as a countable but "everywhere-reaching" approximation net for the reals. No matter what real number you name — π, √2, e — there is a rational within any positive distance you specify.
But density does not mean the rationals *are* the reals. This is the hardest misconception to shake. The irrationals are not just a sparse exception; they vastly outnumber the rationals in a precise measure-theoretic sense. The rationals are countable; the reals are uncountable. The "holes" at irrational positions are, in a sense, almost all of ℝ. Density is a topological statement — every neighborhood of every real point contains a rational — but measure theory reveals that the set of rationals has measure zero: a randomly chosen real is rational with probability zero. This tension between topological density and measure-theoretic smallness is a recurring theme in analysis, and density of the rationals is your first encounter with it. It motivates the construction of the real numbers as the completion of the rationals — filling in all the gaps that rational sequences "want" to reach but cannot.
No topics depend on this one yet.