数学 {上确界/下确界 `Infimum and supre`}

数学 {上确界/下确界 Infimum and supre}
@LOC: 0

上确界/下确界 Infimum and supremum

定义

S为一个集合, R为S集合元素的预序关系, 令$SS\subset S$;
上确界Supremum (也称: least upper-bound): 设U为SS的上界, 则U的最小值 为SS的上确界;
下确界Infimum (也称: greatest lower-bound): 设L为SS的下界, 则U的最大值 为SS的下确界;

性质

对于全序关系, 上确界: 要么不存在, 要么唯一;

@DELI;

如果SS存在最大值, 则该最大值 就是上确界;
但如果SS不存在最大值, 可能不存在上确界 可能存在上确界(如果存在 此时上确界 一定不在SS里面);

例题

令$S=\mathbb{R}$, 二元关系为$\le$ (不可以是$<$ 因为他不满足自反性);
SS = [1,2), 则SS的上界为$[2,+\infty )$, 下界为$(-\infty ,1]$;
因此, SS的上确界为$2$ (不属于SS), 下确界为$1$ (属于SS);