檢視最大下界的原始碼

{| class="wikitable" align="right"
|-
| style="background: #008080" align= center|  '''<big>最大下界</big> '''
|-
| 
[[File:8b82b9014a90f60310a631b63312b31bb051ed29.jpg|缩略图|居中|[https://i01piccdn.sogoucdn.com/ae413be0808ed686 原图链接][https://pic.sogou.com/pics?ie=utf8&p=40230504&interV=kKIOkrELjbgQmLkElbYTkKIMkrELjbkRmLkElbkTkKIRmLkEk78TkKILkbHjMz%20PLEDmK6IPjf19z%2F19z6RLzO1H1qR7zOMTMkjYKKIPjflBz%20cGwOVFj%20lGmTbxFE4ElKJ6wu981qR7zOM%3D_844253275&query=%E9%AB%98%E7%A3%81%E5%AF%BC%E7%8E%87%E6%9D%90%E6%96%99 来自搜狗的图片]]]
|-
| style="background: #008080" align= center|
|-
| align= light|
|}
“'''下确界'''”是数学分析中的基本概念，它是在“下界”的基础上定义的。任给一数集E，我们称E的最大下界为E的下确界，记为infE. 显然，E中每个元素均大于或等于infE.
=='''简介'''==
1. 下界设给定一数集E，若存在m R，使得对于 x E，都有x m，则称m是集合E的一个[[下界]]。例：若E= ，不难验证只要m  ，m就是集合E的一个下界。2. 下确界一个数集可以由有限个数组成，也可以由无穷多个数组成，前者称为有限（数）集，后者称为无限（数）集。任何有限数集都有一个最小数，但对于无限数集来说就不一定有最小数了。例如，由一切x 1所组成的数集没有最小数；又如数集 ( )有最小数1/2. 我们知道，有界数集有无穷多个下界。因而，对于有有界数集来说，如果它有最小数，那么这个最小数也是它的下界中的一个，并且比这个最小数大的任何数都不是它的下界，这时，这个最小数自然就是它的最大的下界。但在上面的例子中已经看到，对一般无限数集来讲不一定有最小数。然而，对于某些无限数集来说，最大的下界确实存在，这里暂时撇开最大下界的存在性，而对一般数集的最大下界给予确切的定义。设给定一数集E。若存在这样一个数 ，适合以下两个条件：（i）集E中的一切数 (即 是E的一个下界)；（ii）对任意给定的正数 ，至少存在一个数 ，使得 （即比 再大一点就不是下界）， 则 叫做E的下确界，记为 或 . 这里inf是infimum的缩写。第一个条件说明 是E的下界之一，而第二个条件说明凡大于 的任何数都不是E的下界。也就是说 是E的最大下界。
注1 为方便起见，若E无下界，则记 .注2 上面的条件（ii）等价于：如果 是E的一个下界，则必有。
=='''评价'''==
1. 确界的唯一性定理定理 设数集有上（下）确界，则这上（下）确界是唯一的。证明：采用反证法。假设数集E有两个不同下确界 和 （ ），显然， 和 均为E的下界，由上面注2可知 且 ，故 . 与假设相矛盾！证毕。2. 确界存在定理定理 有上界的非空数集必有上确界，有下界的非空数集必有下确界。证明：用戴德金分割定理证明。戴德金定理：对实数集R的任意一个满足不空、不漏、不乱的划分A和B，都存在唯一的一个分点 满足记给定非空集为X。取定B为X的所有上界的集合，A=R\B. 下证A、B为不空、不漏、不乱的划分。不空：由于X非空，可取 ，易知x-1不可能为X的上界，故A非空。B非空给定；不漏：由A=R\B知 ；不乱：设 ，则由 知 不是X的上界，即 ，但又由 是X的上界知 . 综上， 又 ，矛盾。不乱得证。故存在唯一的一个分点 满足 下证分点为上确界，即 .若不然， 不成立，则 ，但此时就有 ，由 知 ，与 是划分A和B的分点相矛盾。故 .下确界同理。证毕。<ref>[https://zhuanlan.zhihu.com/p/171756902 最大下界]搜狗</ref>
=='''参考文献'''==

[[Category:310 數學總論]]