Density of Rationals
Between any two reals there is a rational.
Key idea
Between any two reals there is a rational.
In depth
Between any two distinct reals there is a rational (and an irrational). Proof: choose n with 1/n < b − a, then pick the multiple m/n between them using the Archimedean property.
Worked example
Between √2 and √2 + 0.01 lies some rational, such as 1.42 ≈ 71/50.
Real-world uses
- Explaining why measurements with fractions can approximate any real length to any accuracy
Common mistake
Concluding that the rationals are the whole real line since they are dense.
How to learn this
- Read the key idea and say it in your own words.
- Work through the worked example, then try a similar problem.
- Use the interactive lesson’s visual and mini-quiz to check the pattern.
Frequently asked questions
What is Density of Rationals?
Between any two reals there is a rational. It is a topic at the expert level in Analysis & Topology.
Where is Density of Rationals used in real life?
Real-world examples: Explaining why measurements with fractions can approximate any real length to any accuracy.
What should I learn before Density of Rationals?
Make sure you are comfortable with Archimedean Property, the previous topic in Analysis & Topology.
What is a common mistake with Density of Rationals?
Concluding that the rationals are the whole real line since they are dense.
How can I practise Density of Rationals?
Open the interactive lesson, play with the visual, then answer the three-question mini-quiz. Getting two right marks the topic complete.
What comes after Density of Rationals?
Move on to Sequences and Convergence (ε–N) next.
Related expert topics in Analysis & Topology
- Axioms of the Real Numbers – ℝ is a complete ordered field.
- Completeness and Supremum – Every nonempty bounded-above set has a least upper bound.
- Archimedean Property – For any real x there is an integer n > x.
- Sequences and Convergence (ε–N) – aₙ → L if for every ε>0 eventually |aₙ − L| < ε.
- Limit Theorems for Sequences – Algebra of limits and squeeze theorem.
- Monotone Convergence Theorem – Bounded monotone sequences converge.