二、有界集 ・确界原理
定义 1
设 S S S 为 R \mathbf{R} R 中的一个数集. 若存在数 M ( L ) M(L) M(L), 使得对一切 x ∈ S x \in S x∈S, 都有 x ⩽ x \leqslant x⩽ M ( x ⩾ L ) M(x \geqslant L) M(x⩾L), 则称 S S S 为有上界(下界) 的数集, 数 M ( L ) M(L) M(L) 称为 S S S 的一个上界 (下界).
若数集 S S S 既有上界又有下界, 则称 S S S 为有界集. 若 S S S 不是有界集, 则称 S S S 为无界集.
例 1
证明数集 N + = ∣ n ∣ n \mathbf{N}_{+}=|n| n N+=∣n∣n 为正整数 } \} }有下界而无上界.
证
显然,任何一个不大于 1 的实数都是 N + \mathbf{N}_{+} N+ 的下界, 故 N + \mathbf{N}_{+} N+ 为有下界的数集.
为证 N + \mathbf{N}_{+} N+无上界, 按照定义只需证明: 对于无论多么大的数 M M M,总存在某个正整数 n 0 ( ∈ N + ) n_{0}\left(\in \mathbf{N}_{+}\right) n0(∈N+), 使得 n 0 > M n_{0}>M n0>M.事实上, 对任何正数 M M M (无论多么大), 取 n 0 = [ M ] + 1 n_{0}=[M]+1 n0=[M]+1, 则 n 0 ∈ n_{0} \in n0∈ N , \mathbf{N}_{\text {, }} N, , 且 n 0 > M n_{0}>M n0>M. 这就证明了 N \mathbf{N} N, 无上界.
- 注: [ x ] [x] [x] 表示不超过数 x x x 的最大整数, 例如 [ 2.9 ] = 2 , [ − 4.1 ] = − 5 [2.9]=2,[-4.1]=-5 [2.9]=2,[−4.1]=−5.
读者还可自行证明: 任何有限区间都是有界集, 无限区间都是无界集;由有限个数组成的数集是有界集.
若数集 S S S 有上界, 则显然它有无穷多个上界,而其中最小的一个上界常常具有重要的作用,称它为数集 S S S 的上确界. 同样,有下界数集的最大下界,称为该数集的下确界.下面给出数集的上确界和下确界的精确定义.
定义 2
设 S S S 是 R \mathbf{R} R 中的一个数集. 若数 η \eta η 满足:
- (i) 对一切 x ∈ S x \in S x∈S, 有 x ⩽ η x \leqslant \eta x⩽η, 即 η \eta η 是 S S S 的上界;
- (ii) 对任何 α < η \alpha<\eta α<η, 存在 x 0 ∈ S x_{0} \in S x0∈S, 使得 x 0 > α x_{0}>\alpha x0>α, 即 η \eta η 又是 S S S 的最小上界,
则称数 η \eta η 为数集 S S S 的上确界, 记作 η = sup S \eta=\sup S η=supS
定义 3
设 S S S 是 R \mathbf{R} R 中的一个数集. 若数 ξ \xi ξ 满足:
- (i) 对一切 x ∈ S x \in S x∈S, 有 x ⩾ ξ x \geqslant \xi x⩾ξ, 即 ξ \xi ξ 是 S S S 的下界;
- (ii) 对任何 β > ξ \beta>\xi β>ξ, 存在 x 0 ∈ S x_{0} \in S x0∈S, 使得 x 0 < β x_{0}<\beta x0<β, 即 ξ \xi ξ 又是 S S S 的最大下界,
则称数 ξ \xi ξ 为数集 S S S 的下确界,记作 ξ = inf S \xi=\inf S ξ=infS
上确界与下确界统称为确界.
例 2
设 S = ∣ x ∣ x S=|x| x S=∣x∣x 为区间 ( 0 , 1 ) (0,1) (0,1) 上的有理数 ∣ \mid ∣.试按上、下确界的定义验证: sup S = S= S= 1 , inf S = 0 S=0 S=0.
解
先验证 sup