LL1分析构造法_数学分析思想方法第 2^3 期 -- 确界与确界原理

大家好，这里是小张老师. 从本期开始，我们将进入实数理论部分的学习. 这一部分的概念和方法都比较抽象，有较高的理论难度，但也是数学专业的学生必须掌握的内容. 本期介绍实数理论的第一个概念 ---- 确界，以及有关实数系的六个基本公理之一 ---- 确界原理. 数学专业的同学掌握本期内容的内涵，非数学专业的同学了解即可.

1. 确界及其等价刻画.

定义 1 (确界) (i) 设

是一个有上界的实数集，则称

的最小上界为

的

上确界，记作

； 对无上界的实数集

，规定

.

(ii) 设

是一个有下界的实数集， 则称

的最大下界为

的

下确界，记作

； 对无下界的实数集

，规定

.

在实际应用中，“最小的上界”和“最大的下界”这样的描述往往难以刻画. 因此，下面的等价定义有更广泛地使用.

命题 2 (确界的等价刻画) (i) 数集

的上确界为

，当且仅当 (a)

是

的上界，即对

，有

；(b) 任何比

小的数不是

的上界，即对

.

(ii) 数集

的下确界为

，当且仅当 (a)

是

的下界，即对

，有

；(b) 任何比

大的数不是

的下界，即对

.

2. 确界原理.

公理 3 (确界原理) 在实数系中，有上界的数集一定有上确界，有下界的数集一定有下确界.

3. 几点说明.
(i) 确界与最值之间的关系. (a) 在实数系中，一个有上界的数集一定有上确界，但不一定有最大值；一个有下界的数集一定有下确界，但不一定有最小值. (b) 有最大值的数集一定有上界，进而有上确界，且上确界等于最大值；有最小值的数集一定有下界，进而有下确界，且下确界等于最小值.

(ii) 确界的唯一性：如果实数集的上确界或下确界存在，则一定唯一.

(iii) 取确界时，严格不等号要变成非严格不等号（类比极限的保序性）. 例如，若对

，有

，则

.

(iv) 确界原理反映了实数系的完备性，因此在实数系中才成立. 其它数域不一定具有完备性，如有理数系

.

---

例题

例题 4 设数集

的上确界为

，证明：存在

中的数列

，满足

. 进一步，如果

，则

可以是严格单调递增的.

证明

讨论

本题的证明运用了数学分析中的一个重要的思想方法，即递归法构造数列. 递归法构造数列的一般步骤为：(i) 选取

；(ii) 假设给定

，选取

，由此便递归地得到数列

. 步骤 (ii) 往往是题目的关键. 考虑本题式 (1) 中的两个表达式

和

的作用.

保证了

，即

的严格单调性；

保证了

，即

能够收敛到目标极限. 这两个条件对于正确地构造数列

都是不可缺少的. 类似地，式 (2) 中的两个表达式

和

分别保证了

的严格单调性和

趋于正无穷. 可见，根据待构造数列需要满足的性质，灵活运用已知条件，是递归法构造数列的核心.

---

练习

下面的练习是利用确界原理证明单调收敛定理. 事实上，单调收敛定理也是实数系的六个基本定理之一.

练习 5 利用确界原理证明单调收敛定理：单调有界数列必收敛.