数学 {上界/下界}

数学 {上界/下界}
@LOC: 0

上界/下界 Upper and lower bounds

定义

S为一个集合, R为S集合元素的预序关系, 令$SS\subset S$;
上界Upper bound: $\forall t\in S,(\forall x\in SS,R(x,t))⟹(t为上界)$;
下界Lower bound: $\forall t\in S,(\forall x\in SS,R(t,x))⟹(t为下界)$;

性质

对于实数集上的二元关系$\le$: 任意开区间与闭区间的 上下界, 是一样的;

$(1,2)$的上下界为$(-\infty ,1],[2,+\infty )$, 而$[1,2]$的上下界 也是$(-\infty ,1],[2,+\infty )$;

@DELI;

上界: 要么不存在, 要么$\ge 1$个;
因此, 上下界 都用集合来表示;

@DELI;

以常见的实数集为例, 二元关系是$\le$ (注意不可以是$<$, 因为他不满足自反性);
上界表明: 所有$\ge SS$的元素; 小于表明: 所有$\le SS$的元素;

@DELI;

如果SS存在最大值, 则该最大值一定也是上界;

例题

令$S=\mathbb{R}$, 二元关系为$\le$ (不可以是$<$ 因为他不满足自反性);
SS = [1,2), 则上界为$[2,+\infty )$, 下界为$(-\infty ,1]$;
. 注意, 下界不是$(-\infty ,1)$, 要包含$1$的, 因为1是最小值;

@DELI;

令$S=\mathbb{R}$, 二元关系为$\le$, $SS=[3,+\infty )$, 则SS不存在上界;