数学中，最小上界性（亦称上确界性，） 是实数集和其他一些有序集的基础属性，与实数的完备性等价
。 集合具有最小上界性当且仅当的任意具有上界的非空子集有最小上界 (上确界)。
性質概述
實數
令S為實數集的一個非空子集。
- 如果實數x大於或等於所有S中的元素，則x稱為S的上界。
- 如果實數x是S的上界，并且x小於或等於所有S的上界，則x稱為S的最小上界。
最小上界性的表述為
: 所有具有上界的非空實數集都有最小上界，且最小上界為實數。
一般序集合
對任意偏序集合X，我們都可以定義X的子集的上界和最小上界，只需把前一段落的「實數」改為「X的元素」即可。
此處最小上界性的表述為
: 所有具有上界的X的非空子集都有最小上界x，并滿足x \in X。
有理數集并沒有最小上界性，考慮其子集
: \{x \in \mathbb{Q}| x^2
它有在有理數集中的上界（例如2），但它的最小上界\sqrt{2}不在有理數集中。
證明
應用
最小上界性可以用來證明許多實分析中的主要定理
中間值定理
波爾查諾-魏爾斯特拉斯定理
極值定理
海涅-博雷爾定理
参考文献
评论 (0)