Arithmetic
Real Numbers
The number line seems simple, a line with points. But what are 'all the points'? There are infinitely many rational numbers, and they are dense, between any two there are more. But that's not enough! Adding the irrationals gives us real numbers, the first truly 'continuous' set.
- **Geometry:** lengths, areas, volumes, real numbers
- **Physics:** time, coordinates, velocities, ℝ
- **Data analysis:** continuous quantities
What are Real Numbers
Rational numbers form a dense set, but with 'gaps' (√2, π, e). Adding irrational numbers gives us the **real numbers**, the complete number line with no gaps.
**Real numbers ℝ:** ℝ = ℚ ∪ {irrational numbers} Every real number is either rational (a fraction) or irrational (not a fraction).
The symbol ℝ denotes the set of real numbers. In everyday mathematics, these are all the numbers met on the number line, no gaps, no missing points.
Which statement is correct?
Completeness of Real Numbers
The main property of real numbers is **completeness**. In ℝ there are no 'gaps': every bounded sequence has a limit in ℝ.
**Intuition for completeness:** Think of the number line as a rope. • ℚ, a rope with holes (√2, π, ... are missing) • ℝ, a continuous rope with no breaks Completeness = 'no holes'.
Completeness is a technically subtle concept from calculus. For arithmetic the key idea is: ℝ is 'all points on the line', with nothing missing.
Why is ℚ called an 'incomplete' set?
The Number Line
The number line is the geometric embodiment of real numbers. Every point corresponds to a number, every number corresponds to a point.
**Bijection (one-to-one correspondence):** Points of the line ↔ Real numbers This is the fundamental idea of Descartes (1637): geometry = algebra through coordinates.
The number line is not just a visual aid. It is a precise model of ℝ. All properties of numbers (order, operations, completeness) are reflected in the geometry of the line.
What does 'every point on the line is a real number' mean?
Density and Cardinality
Both rational and irrational numbers are dense in ℝ: between any two numbers there are both rational and irrational ones. But their 'quantity' differs!
**Cantor's Theorem:** There are strictly more real numbers than rational numbers. |ℝ| > |ℚ| This is proved by the 'diagonal method', one of the most beautiful proofs in mathematics.
Paradoxically, rational numbers are dense in ℝ but 'occupy' measure 0. If a point is picked at random on the number line, the probability of landing on a rational number is exactly 0!
Rational and irrational numbers alternate on the number line
Both rationals and irrationals are dense, between any two numbers there are both
One cannot say 'after √2 comes a rational', between √2 and any other number there are infinitely many of both rationals and irrationals. They don't alternate; they are 'mixed' with infinite density. At the same time, irrationals are 'incomparably more numerous' in terms of cardinality.
Which are there 'more' of, rational or irrational numbers?
Key Ideas
- ℝ = ℚ ∪ {irrationals}, all points on the line
- Completeness: ℝ has no 'gaps'
- ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ, hierarchy of sets
- There are 'more' irrationals than rationals (uncountability)
Related Topics
Real numbers are the foundation of analysis:
- Rational Numbers — ℚ ⊂ ℝ
- Irrational Numbers — The complement of ℚ in ℝ
- Limits and Calculus — Completeness of ℝ is the foundation
Вопросы для размышления
- Why does calculus need real numbers rather than just rational numbers?
- What does 'rationals are countable, reals form a continuum' mean?
- How are the completeness of ℝ and the continuity of the number line related?