上界和下界

来自testwiki
imported>Raymon0902022年7月24日 (日) 00:47的版本 (// Edit via WikiMirror
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

(A,)為一個偏序集,若存在yA,能滿足xBA都有xy,則y稱作集合B上界,若存在zA,能滿足xBA都有xz,則z稱作B下界

例如在實變數中,若存在一個實數b,能滿足xSR都有xb,則b即為集合S上界,若存在一個實數c,能滿足xSR都有xc,則c即為集合S下界

性質

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

参见

Template:Logic-stub