A real number is something that may be approximated by rational numbers. Equipped with the operations of addition and multiplication induced from the rational numbers, real numbers form a field, denoted $\mathbb{R}$. The underlying set is the completion of the ordered field $\mathbb{Q}$ of rational numbers: the result of adjoining to $\mathbb{Q}$ suprema for every inhabited bounded subset with respect to the natural ordering of rational numbers.
The set of real numbers also carries naturally the structure of a topological space and as such $\mathbb{R}$ is called the real line also known as the continuum. Equipped with both the topology and the field structure, $\mathbb{R}$ is a topological field and as such is the uniform completion of $\mathbb{Q}$ equipped with the absolute value metric.
Together with its cartesian products – the Cartesian spaces $\mathbb{R}^n$ for natural numbers $n \in \mathbb{N}$ – the real line $\mathbb{R}$ is a standard formalization of the idea of continuous space. The more general concept of (smooth) manifold is modeled on these Cartesian spaces. These, in turn are standard models for the notion of space in particular in physics (see spacetime), or at least in classical physics. See at geometry of physics for more on this.
The original idea of a real number came from geometry; one thinks of a real number as specifying a point on a line, with line understood as the abstract idea of the object that a pencil and a ruler draw on a piece of paper. (More precisely, given two distinct points on the line, called $0$ and $1$, you get a bijection between the points and the real numbers.)
Euclid (citing Eudoxus?) dealt with ratios of geometric magnitudes, which give positive real numbers; an arbitrary real number is then a difference of ratios of magnitudes. However, the Greeks did not think of such ratios as numbers; that appears to have been an insight of the Arabs. See more at Eudoxus real number.
A big project of the 19th century (at least in hindsight) was the ‘arithmetisation of analysis’: showing how real numbers could be defined completely in terms of rational numbers (and the desired classes of functions on them could be defined in terms of the general point-set notion of function). Two successful approaches were developed in 1872, Richard Dedekind's definition of real numbers as certain sets of rational numbers (called Dedekind cuts) and Georg Cantor's definition as certain sequences of rational numbers (called Cauchy sequences).
A more modern approach is instead to characterise the properties that the set of real numbers must have and to prove that this is categorical (unique up to a unique bijection preserving those properties). Then the important result of the 19th-century programme is simply that this is consistent (that there exists at least one such set). One can even use Hilbert's or Tarski's axioms for geometry to do this characterisation, coming full circle back to geometry.
Exactly how to define or characterise real numbers is still important in constructive mathematics and topos theory with its internal logic. For more on this, see real numbers object and the examples below.
There are two basic approaches possible: to define what a real number is as a mathematical object, or to define the real line as a specific object in some previously known category.
Consider two inhabited subsets, $L$ and $U$, of $\mathbb{Q}$ (the set of rational numbers) such that:
We may define a Dedekind real number to be such a pair, which is also called a Dedekind cut.
If $x \coloneqq (L,U)$ is a Dedekind cut, then we write $a \lt x$ to mean that $a \in L$ and $x \lt b$ to mean that $b \in U$.
We may approximate a Dedekind cut $x$ as closely as we like by applying (*) as often as necessary. This will be only finitely often, for any fixed positive level of approximation, given initial upper and lower bounds (which exist since $L$ and $U$ are inhabited).
See Dedekind cut for more.
Classically, a real number can be given by an infinite sequence of rational numbers, each of which is a decimal fraction that approximates the real number to a given number of decimal places. We can generalise this to any Cauchy sequence of rational numbers. However, now each real number has several representations, so we need to specify an equivalence relation on the Cauchy sequences. Thus, $\mathbb{R}$ is constructed as a subquotient of the function set $\mathbb{Q}^{\mathbb{N}}$.
This construction is equivalent to the construction by Dedekind cuts, at least assuming weak countable choice (which also follows from excluded middle). Thus it is popular in both classical mathematics and traditional constructive mathematics (which accepts countable choice). However, in stricter forms of constructive mathematics, including those used as internal languages in topos theory, the Cauchy reals and Dedekind reals are not equivalent. (On the other hand, by generalising to Cauchy nets, we recover the Dedekind reals again.)
See Cauchy real number for more.
There is a well-known algebraic (more or less) characterisation of the real line as the ‘complete ordered field’, or sometimes the ‘complete archimedean field’. This can be interpreted as follows:
We speak of the such field because it is unique up to unique isomorphism.
There is an archimedean field $\mathbb{R}$ which is both Dedekind-complete and terminal among archimedean fields. Furthermore, every Dedekind-complete ordered field is isomorphic to $\mathbb{R}$. (By abstract nonsense, we already know that every terminal archimedean field is isomorphic to $\mathbb{R}$ and that $\mathbb{R}$ has only the identity automorphism, so isomorphisms to it are unique.)
Construct $\mathbb{R}$ using, say, Dedekind cuts of rational numbers. Then it is well known how to prove these facts about $\mathbb{R}$, so we omit the proof for now.
However, we note that the proof is valid in weak foundations, in particular internal to any topos with a natural numbers object. One can actually work in even weaker foundations than that; see the constructions at real numbers object. Even weaker foundations are possible if one allows the underlying set of $\mathbb{R}$ to be large.
Consider a binary relation $\sim$ on rational numbers satisfying these four properties:
These relations form a frame, which we may interpret (by definition) as the locale of real numbers. It can also be defined as the localic completion of the rational numbers.
We may then define a localic real number to be a point of this locale.
This agrees with the notion of Dedekind real number, even in very weak (predicative and constructive) foundations.
See locale of real numbers for more.
The real line $\mathbb{R}$, or at least the positive real line $\mathbb{R}^+$, may be characterized as the terminal coalgebra for an endofunctor
Let Pos be the category of posets. Consider the endofunctor
that acts by ordinal product? with $\omega$
The terminal coalgebra of $F_1$ is order isomorphic to the non-negative real line $\mathbb{R}^+$, with its standard order.
There are more and similar characterizations along these lines. One is an example at final coalgebra.
There are alternative topologies on $\mathbb{R}$ sometimes considered:
Another variant of $\mathbb{R}$ as a topological space is the
The term ‘real number’ was originally introduced to indicate that one is not considering the generalistion to complex numbers or other kinds of hypercomplex numbers. Accordingly, that term ‘real’ may sometimes be used for another generalisation of real numbers to indicate again that one is not considering a complexification.
The extended real numbers include $\pm\infty$ as well as the real numbers; one may speak of finite numbers or bounded numbers to indicate that one is not considering this extension. Lower reals, upper reals, and MacNeille reals are related generalisations studied in constructive mathematics, although with excluded middle they are (at least if bounded) the same as ordinary real numbers; one may speak of located numbers to indicate that one is not considering such extensions.
Surreal numbers and the hyperreal numbers of nonstandard analysis are two ways to include infinite? and infinitesimal versions of real numbers (besides the trivial case of $\pm\infty$); one may speak of standard numbers to indicate that one is not considering such extensions (although the precise meaning of ‘standard’ depends on the universe that one is working in).
In descriptive set theory?, one often says ‘real number’ for an element of Baire space $\mathbb{N}^{\mathbb{N}}$. This is not really a generalisation; by the Schroeder-Bernstein theorem?, the sets $\mathbb{R}$ and $\mathbb{N}^{\mathbb{N}}$ are isomorphic. Constructively, $\mathbb{N}^{\mathbb{N}}$ can still be thought of as the set of irrational numbers, so this use of the term may actually be a restriction.
Floating-point numbers? are often used in computer programming to represent real numbers, but they do not behave very well; one may speak of infinite-precision numbers to indicate that one's programming environment models ‘real real numbers’.
As mentioned above, the $p$-adic numbers for various prime numbers $p$ are variations on the theme of real numbers; real numbers may be thought of as $0$-adic numbers. Similarly, the real numbers are characteristic-$0$ numbers since they are based on the prime field $\mathbb{Q}$; one could also start the construction with a different characteristic (although it makes more sense to get analogues of complex numbers than of real numbers).
Finally, one can consider points on a noncommutative line instead of the usual commutative numbers.
So in summary, this page is about the real, finite, located, standard, analytic, infinite-precision, $0$-adic, characteristic-$0$, commutative numbers.
in constructive analysis one may use the completion monad for dealing with real numbers
Lorentzian spacetime dimension | spin group | normed division algebra | brane scan entry |
---|---|---|---|
$3 = 2+1$ | $Spin(2,1) \simeq SL(2,\mathbb{R})$ | $\mathbb{R}$ the real numbers | |
$4 = 3+1$ | $Spin(3,1) \simeq SL(2, \mathbb{C})$ | $\mathbb{C}$ the complex numbers | |
$6 = 5+1$ | $Spin(5,1) \simeq SL(2, \mathbb{H})$ | $\mathbb{H}$ the quaternions | little string |
$10 = 9+1$ | $Spin(9,1) \underset{some\,sense}{\simeq} SL(2,\mathbb{O})$ | $\mathbb{O}$ the octonions | heterotic/type II string |
A formalization of the real numbers in homotopy type theory is in
Univalent Foundations Project, chapter 11 of Homotopy Type Theory – Univalent Foundations of Mathematics
Gaëtan Gilbert, Formalising Real Numbers in Homotopy Type Theory (arXiv:1610.05072)
For more see the references at analysis.