Skip to content

Real Number

Definition

The set of all real numbers, denoted by R,\mathbb{R}\text{,} is the complete ordered number system represented by the real number line. It contains the rational numbers, obeys the usual arithmetic and order rules, and has no gaps.

Completeness distinguishes R\mathbb{R} from Q.\mathbb{Q}\text{.} In this course it appears through the existence of suprema and through convergence theorems such as the monotone convergence theorem.

Each enlargement of the number systems removes a limitation of the previous one:

N⊊Z⊊Q⊊R.\mathbb{N}\subsetneq\mathbb{Z}\subsetneq\mathbb{Q}\subsetneq\mathbb{R}.

Natural numbers support counting, integers support unrestricted subtraction, rationals support division by nonzero numbers, and real numbers fill the gaps on the number line.


Interpretation

The real numbers are the points of the number line: every point corresponds to exactly one real number, and the line has no gaps. Real numbers fill the gaps left by the rationals, allowing geometric quantities, such as the diagonal of a unit square, to be represented exactly.

A number line from -1 to 4 with the rational numbers 1/2 and -3/4 and the irrational numbers square root of 2, e and pi marked.

The figure places rationals (12\tfrac{1}{2} and −34-\tfrac{3}{4}) and irrationals (2≈1.414\sqrt{2}\approx1.414, e≈2.718\mathrm{e}\approx2.718 and π≈3.142\pi\approx3.142) on the same line. Both kinds are needed: without the irrational points the line would have holes, for example at the positive number whose square is 22.

What a gap means can be seen in the Examples. The rational numbers 1.41.4, 1.411.41, 1.4141.414, 1.4142,…1.4142,\ldots crowd closer and closer together, and their squares come closer and closer to 22, yet no rational number is the point they close in on. In R\mathbb{R} that point exists: it is 2\sqrt{2}. Arithmetic and order alone do not distinguish R\mathbb{R} from Q\mathbb{Q}, since both follow the same rules for ++, ×\times and <<; the absence of gaps is the difference. The Key Results state it precisely through least upper bounds, and it is what later makes limits of sequences work with exact numbers.


Key Results

  • Every nonempty subset of R\mathbb{R} that is bounded above has exactly one least upper bound; this existence statement is the defining advantage of R\mathbb{R} over Q.\mathbb{Q}\text{.}
  • Every real number is either rational or irrational.
  • The order on R\mathbb{R} satisfies trichotomy and is preserved by addition and by multiplication with a positive number.
  • Between any two distinct real numbers lies a rational number; this is the density of Q\mathbb{Q} in R.\mathbb{R}\text{.}
  • The Archimedean property says that for positive real numbers xx and ε,\varepsilon\text{,} there is a positive integer MM with Mε>x.M\varepsilon>x\text{.}

Examples

  • 2\sqrt{2} is a real number but not rational: no rational number squares to 2,2\text{,} yet a real number does.
  • π,\pi\text{,} the ratio of a circle's circumference to its diameter, is real but not rational.
  • The approximations 1.4, 1.41, 1.414, 1.4142,…1.4,\,1.41,\,1.414,\,1.4142,\ldots have squares approaching 2,2\text{,} but the number they approach is missing from Q.\mathbb{Q}\text{.}

Prerequisites

Sources

Aliases: real line, real number line Symbols: epsilon, integers, natural numbers, pi, rational numbers, real numbers, square root

Last updated: 27 October 2026 11:52