上界和下界
設(A,≤){displaystyle (A,leq )}為一個偏序集,若存在y∈A{displaystyle yin A}
,能滿足∀x∈B⊆A{displaystyle forall xin Bsubseteq A}
都有x≤y{displaystyle xleq y}
,則y{displaystyle y}
稱作集合B{displaystyle B}
的上界,若存在z∈A{displaystyle zin A}
,能滿足∀x∈B⊆A{displaystyle forall xin Bsubseteq A}
都有x≥z{displaystyle xgeq z}
,則z{displaystyle z}
稱作B{displaystyle B}
的下界。
例如在實變數中,若存在一個實數b{displaystyle b},能滿足∀x∈S⊆R{displaystyle forall xin Ssubseteq R}
都有x≤b{displaystyle xleq b}
,則b{displaystyle b}
即為集合S{displaystyle S}
的上界,若存在一個實數c{displaystyle c}
,能滿足∀x∈S⊆R{displaystyle forall xin Ssubseteq R}
都有x≥c{displaystyle xgeq c}
,則c{displaystyle c}
即為集合S{displaystyle S}
的下界。
性質
连续性公理:在非空实数集中,若含上界,則必含最小上界(上确界);若含下界,則必存在最大下界(下确界)。[1]
参见
- 偏序集
- 最小上界
- 最大下界
| 这是一篇與逻辑学相關的小作品。你可以通过编辑或修订扩充其内容。 |
^ 确界存在定理-学术百科-知网空间. wiki.cnki.com.cn. 知网空间. [2017-06-08].