Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Least-upper-bound property
Summary
In mathematics, the least-upper-bound property (sometimes called completeness or supremum property or l.u.b. property) is a fundamental property of the real numbers. More generally, a partially ordered set X has the least-upper-bound property if every non-empty subset of X with an upper bound has a least upper bound (supremum) in X. Not every (partially) ordered set has the least upper bound property. For example, the set of all rational numbers with its natural order does not have the least upper bound property.
The least-upper-bound property is one form of the completeness axiom for the real numbers, and is sometimes referred to as Dedekind completeness. It can be used to prove many of the fundamental results of real analysis, such as the intermediate value theorem, the Bolzano–Weierstrass theorem, the extreme value theorem, and the Heine–Borel theorem. It is usually taken as an axiom in synthetic constructions of the real numbers, and it is also intimately related to the construction of the real numbers using Dedekind cuts.
In order theory, this property can be generalized to a notion of completeness for any partially ordered set. A linearly ordered set that is dense and has the least upper bound property is called a linear continuum.
Let S be a non-empty set of real numbers.
A real number x is called an upper bound for S if x ≥ s for all s ∈ S.
A real number x is the least upper bound (or supremum) for S if x is an upper bound for S and x ≤ y for every upper bound y of S.
The least-upper-bound property states that any non-empty set of real numbers that has an upper bound must have a least upper bound in real numbers.
Completeness (order theory)
More generally, one may define upper bound and least upper bound for any subset of a partially ordered set X, with “real number” replaced by “element of X”. In this case, we say that X has the least-upper-bound property if every non-empty subset of X with an upper bound has a least upper bound in X.
For example, the set Q of rational numbers does not have the least-upper-bound property under the usual order.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related publications (102)
Related people (14)
Related units (11)
Related concepts (15)
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.
Dense order
In mathematics, a partial order or total order < on a set is said to be dense if, for all and in for which , there is a in such that . That is, for any two elements, one less than the other, there is another element between them. For total orders this can be simplified to "for any two distinct elements, there is another element between them", since all elements of a total order are comparable. The rational numbers as a linearly ordered set are a densely ordered set in this sense, as are the algebraic numbers, the real numbers, the dyadic rationals and the decimal fractions.
Monotone convergence theorem
In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the convergence of monotonic sequences (sequences that are non-decreasing or non-increasing) that are also bounded. Informally, the theorems state that if a sequence is increasing and bounded above by a supremum, then the sequence will converge to the supremum; in the same way, if a sequence is decreasing and is bounded below by an infimum, it will converge to the infimum.
Related courses (13)
MATH-100(a): Advanced analysis I
Nous étudions les concepts fondamentaux de l'analyse, le calcul différentiel et intégral de fonctions réelles d'une variable.
MATH-101(g): 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.
Related lectures (73)
Math-101(en) / Min/Max, Inf/SupMATH-101(en): Analysis I (English)
Covers minimum, maximum, infimum, and supremum concepts in real numbers with examples and proofs.
Bolzano-Weierstrass: Advanced Analysis I
Explores the Bolzano-Weierstrass theorem on bounded sequences and convergent subsequences.