Completeness of the real numbers

Completeness 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. Depending on the construction of the real numbers used, completeness may take the form of an axiom (the completeness axiom), or may be a theorem proven from the construction. There are many equivalent forms of completeness, the most prominent being Dedekind completeness and Cauchy completeness (completeness as a metric space). The real numbers can be defined synthetically as an ordered field satisfying some version of the completeness axiom. Different versions of this axiom are all equivalent in the sense that any ordered field that satisfies one form of completeness satisfies all of them, apart from Cauchy completeness and nested intervals theorem, which are strictly weaker in that there are non Archimedean fields that are ordered and Cauchy complete. When the real numbers are instead constructed using a model, completeness becomes a theorem or collection of theorems. Least-upper-bound property The least-upper-bound property states that every nonempty subset of real numbers having an upper bound must have a least upper bound (or supremum) in the set of real numbers. The rational number line Q does not have the least upper bound property. An example is the subset of rational numbers This set has an upper bound. However, this set has no least upper bound in Q: the least upper bound as a subset of the reals would be √2, but it does not exist in Q. For any upper bound x ∈ Q, there is another upper bound y ∈ Q with y < x. For instance, take x = 1.5, then x is certainly an upper bound of S, since x is positive and x^2 = 2.25 ≥ 2; that is, no element of S is larger than x.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (15)

Cours associés (20)

Séances de cours associées (157)

MOOCs associés (2)

Linear continuum

In the mathematical field of order theory, a continuum or linear continuum is a generalization of the real line. Formally, a linear continuum is a linearly ordered set S of more than one element that is densely ordered, i.e., between any two distinct elements there is another (and hence infinitely many others), and complete, i.e., which "lacks gaps" in the sense that every nonempty subset with an upper bound has a least upper bound.

Completeness of the real numbers

Propriété de la borne supérieure

En mathématiques, un ensemble ordonné est dit posséder la propriété de la borne supérieure si tous ses sous-ensembles non vides et majorés possèdent une borne supérieure. De même, un ensemble ordonné possède la propriété de la borne inférieure si tous ses sous-ensembles non vides et minorés possèdent une borne inférieure. Il s'avère que ces deux propriétés sont équivalentes. On dit aussi parfois qu'un ensemble possédant la propriété de la borne supérieure est Dedekind complet. Soit un ensemble ordonné (partiellement ou totalement).

Information, Calcul, Communication: Introduction à la pensée informatique

Dans une première partie, nous étudierons d’abord comment résoudre de manière très concrète un problème au moyen d’un algorithme, ce qui nous amènera dans un second temps à une des grandes questions d

Information, Calcul, Communication: Introduction à la pensée informatique

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

MATH-101(e): Analysis I

Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.

MATH-101(en): Analysis I (English)

We study the fundamental concepts of analysis, calculus and the integral of real-valued functions of a real variable.

Limite d'une séquence : Rappel et exemples MATH-101(e): Analysis I

Couvre le concept de limite d'une séquence et introduit le théorème des deux gendarmes.

Mathématiques: Analyse et algèbre Vue d'ensemble MATH-101(e): Analysis I

Fournit un aperçu des cours d'analyse et d'algèbre, en se concentrant sur les nombres réels, les limites, les fonctions et les examens.

Valeur absolue et intervalles MATH-101(f): Analysis I

Introduit la valeur absolue, les intervalles, l'inégalité des triangles et les nombres complets dans le plan complexe.