万维百科

最大下界本文重定向自 下确界

数学中,某个集合 X子集 E下确界(英语:infimum 或 infima,记为 inf E )是小于或等于的 E 所有其他元素的最大元素,其不一定在 E 内。所以还常用术语最大下界(简写为 glbGLB)。在数学分析中,实数的下确界是非常重要的常见特殊情况。但这个定义,在更加抽象的序理论的任意偏序集合中,仍是有效的。

下确界是上确界概念的对偶

实数集合的下确界

数学分析中,实数的子集 S下确界最大下界记为 inf(S),定义为小于等于在 S 中的所有数的最大实数。如果没有这样的数存在(因为 S 没有下界),则我们定义 inf(S) = −∞。如果 S空集,我们定义 inf(S) = ∞(参见扩展的实数轴)。

实数的一个重要性质是,任何实数集都有下确界(实数的任何有界非空子集都在非扩展的实数轴中有下确界)。

例子:

如果一个集合有最小元素,如同第一个例子,则这个最小元素就是这个集合的下确界。如后三个例子展示的,一个集合的下确界不一定属于这个集合。

下确界的概念和上确界在下列意义下是对偶的

这里

一般的说,为了证明 inf(S) ≥ A,只需要证明对于所有 S 中的 xxA。证明 inf(S) ≤ A ,则需:对于任何 ε > 0,都存在 S 中的一个元素 x 使得 xA + ε(当然,如果 S 有一个元素 x 使 xA,命题立即成立)。

参见:下极限

在偏序集合内的下确界

下确界的定义容易推广到任何偏序集合的子集上,并在序理论中有重要意义。在序理论,特别是格理论中,最大下界也叫做(英语:meet)。

形式的说,偏序集合(P,≤)的子集 S 的下确界是 P 的一个元素 l 使得

  1. 对于所有 S 中的 xlx
  2. 对于任何 P 中的 p,如果对于所有 S 中的 x 都有 px,pl

如果这样的元素存在,则其必然唯一,但是它不一定存在。因此已知特定下确界存在的序就特别有价值。详情请参见完备性英语Completeness (order theory)

外部链接

参见


本页面最后更新于2021-08-16 04:22,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器