數學中,最小上界性(亦稱上確界性,英語:least-upper bound property, LUB)[1] 是實數集和其他一些有序集的基礎屬性,與實數的完備性等價[2] 。 集合X具有最小上界性當且僅當X的任意具有上界的非空子集有最小上界 (上確界)。
![Thumb](http://upload.wikimedia.org/wikipedia/commons/thumb/8/82/Illustration_of_supremum.svg/300px-Illustration_of_supremum.svg.png)
性質概述
令為實數集的一個非空子集。
- 如果實數大於或等於所有中的元素,則稱為的上界。
- 如果實數是的上界,並且小於或等於所有的上界,則稱為的最小上界。
最小上界性的表述為
- 所有具有上界的非空實數集都有最小上界,且最小上界為實數。
對任意偏序集合,我們都可以定義的子集的上界和最小上界,只需把前一段落的「實數」改為「的元素」即可。
此處最小上界性的表述為
- 所有具有上界的的非空子集都有最小上界,並滿足。
有理數集並沒有最小上界性,考慮其子集
它有在有理數集中的上界(例如2),但它的最小上界不在有理數集中。
證明
應用
最小上界性可以用來證明許多實分析中的主要定理
參考文獻
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.