Completeness of the real numbersCompleteness is a property of the real numbers that, intuitively, implies that there are no "gaps" (in Dedekind's terminology) or "missing points" in the real number line. This contrasts with the rational numbers, whose corresponding number line has a "gap" at each irrational value. In the decimal number system, completeness is equivalent to the statement that any infinite string of decimal digits is actually a decimal representation for some real number.
Nombre réelEn mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.
Longue droiteLa longue droite est un espace topologique analogue à la droite réelle, « en beaucoup plus long ». En tant qu'ensemble ordonné, la longue droite, L, est le produit lexicographique du premier ordinal non dénombrable ω1 par l'ensemble des réels positifs ou nuls. En tant qu'espace topologique, c'est cet ensemble (totalement) ordonné muni de la topologie de l'ordre (les intervalles ouverts forment une base de la topologie). Cet espace topologique est une variété topologique à bord non séparable.
Coupure de Dedekindvignette|droite|upright=1.6|Dedekind introduit les coupures pour représenter les nombres irrationnels. En mathématiques, une coupure de Dedekind d'un ensemble totalement ordonné E est un couple (A, B) de sous-ensembles de E, lesquels forment à eux deux une partition de E, et où tout élément de A est inférieur à tout élément de B. D'une certaine façon, une telle coupure conceptualise quelque chose qui se trouverait « entre » A et B, mais qui ne serait pas forcément un élément de E.