Least-upper-bound property

最新推荐文章于 2024-07-12 18:56:03 发布

omipus

最新推荐文章于 2024-07-12 18:56:03 发布

阅读量191

点赞数

分类专栏： Reference 文章标签：算法

本文链接：https://blog.csdn.net/qq_66485519/article/details/128123068

版权

Reference 专栏收录该内容

581 篇文章 5 订阅

订阅专栏

In mathematics, the least-upper-bound property (sometimes called completeness or supremum property or l.u.b. property)[1] 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 {\displaystyle \mathbb {Q} }\mathbb {Q} 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.[2] 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.

在这里插入图片描述

Every non-empty subset {\displaystyle M}M of the real numbers {\displaystyle \mathbb {R} }\mathbb {R} which is bounded from above has a least upper bound.