数学 {上确界性质 `Least-upper-bound property`}

数学 {上确界性质 Least-upper-bound property}

上确界性质 Least-upper-bound property

定义

对于集合S 和其上的一个二元关系R, $[(\forall SS\subset S\wedge SS存在上界)⟹SS一定存在上确界]⟹S具有\ast 上确界性质\ast$;

类似的, 可以得到下确界性质;

性质

实数集合 具有上确界性质;
. 比如 $[0,1)$和$[0,1]$的上界 都是$[1,+\infty )$, 其上确界是1;

有理数,无理数集合 不具有上确界性质;
. 对于有理数集$Q$, 根据$e$的位数 组成一个集合S: {1, 1.4, 1.41, 1.414, ...} (其极限为$e$) 二元关系为$\le$, 他有上界(比如2), 但在有理数集里 没有上确界, 因此$Q$不具有上确界性质;
. 对于无理数集$Q^c$, 集合 S : { n − 1 − n ∣ n ∈ N + } S: \{ \sqrt{n-1} - \sqrt{n} | n \in N^+\} S:{n−1 ​−n ​∣n∈N+} (其极限为$0$, 因为$\sqrt{x}$的导数 在$+\infty$处极限为$0$, 即他们会无限接近), 二元关系为$\le$, 他有上界(比如2), 但在无理数集里 没有上确界;