最小上界- 維基百科,自由的百科全書 - Wikipedia
文章推薦指數: 80 %
在數學中,最小上界(英語:supremum,亦稱上確界,記為sup E)是序理論的重要概念,在格論和數學分析等領域有廣泛應用。
給定偏序集合(T,≤),對於S⊆T,S的上確界sup(S)定義為S的所有上界組成的集合的最小元(若有)。
即sup(S)滿足:
上確界也被稱為最小上界、lub 或 LUB,在格論中也被稱為並,在序理論中S的上確界也被記為
∨
{\displaystyle \vee }
S。
在數學分析中,實數的集