上界和下界




(A,≤){displaystyle (A,leq )}(A,leq )為一個偏序集,若存在y∈A{displaystyle yin A}{displaystyle yin A},能滿足x∈B⊆A{displaystyle forall xin Bsubseteq A}{displaystyle forall xin Bsubseteq A}都有x≤y{displaystyle xleq y}{displaystyle xleq y},則y{displaystyle y}y稱作集合B{displaystyle B}B上界,若存在z∈A{displaystyle zin A}{displaystyle zin A},能滿足x∈B⊆A{displaystyle forall xin Bsubseteq A}{displaystyle forall xin Bsubseteq A}都有x≥z{displaystyle xgeq z}{displaystyle xgeq z},則z{displaystyle z}z稱作B{displaystyle B}B下界


例如在實變數中,若存在一個實數b{displaystyle b}b,能滿足x∈S⊆R{displaystyle forall xin Ssubseteq R}{displaystyle forall xin Ssubseteq R}都有x≤b{displaystyle xleq b}{displaystyle xleq b},則b{displaystyle b}b即為集合S{displaystyle S}S上界,若存在一個實數c{displaystyle c}c,能滿足x∈S⊆R{displaystyle forall xin Ssubseteq R}{displaystyle forall xin Ssubseteq R}都有x≥c{displaystyle xgeq c}{displaystyle xgeq c},則c{displaystyle c}c即為集合S{displaystyle S}S下界



性質


连续性公理:在非空实数集中,若含上界,則必含最小上界(上确界);若含下界,則必存在最大下界(下确界)。[1]



参见



  • 偏序集

  • 最小上界

  • 最大下界








  1. ^ 确界存在定理-学术百科-知网空间. wiki.cnki.com.cn. 知网空间. [2017-06-08]. 




Popular posts from this blog

Schooner

巴黎地鐵5號線

Y