确界原理证明单调有界原理

在学习检查器中查看要点和时刻，或切换阅读标签查看完整笔记。

章节

学习解说文稿

依据视频画面与讲解整理，并非逐字语音转写。

0:00观察屏幕上的直角坐标系，一系列蓝色的点从左下向右上延伸，高度逐渐增加但趋于平缓。这代表一个单调递增数列 $\{a_n\}$。随着点的不断生成，它们始终被限制在一条假想的水平线之下。屏幕左侧的文字“数列有上界必有上确界”以及公式 $\exists L, \forall n, a_n \le L$ 明确了我们的前提：该数列不仅单调递增，而且拥有上界。红色的虚线标示出了这个最小的上界，即上确界 $L$。

0:16为了证明数列收敛于 $L$，我们需要使用严格的数学语言。右侧出现的文字提示我们考察任意给定的正数 $\varepsilon > 0$。此时，图中出现了一条绿色的虚线，位于红色虚线下方距离为 $\varepsilon$ 的位置，标记为 $L - \varepsilon$。根据上确界的定义，任何比 $L$ 小的数都不能作为整个数列的上界。因此，必然存在至少一个特定的项（图中标记为黄色的点），其数值严格大于这条绿色虚线的高度。

0:24既然找到了这样一个特殊的项，我们就利用数列“单调递增”的性质。这意味着在该特殊项之后的所有项，都必须大于或等于这一项，自然也大于 $L - \varepsilon$。同时，由于 $L$ 是上界，所有这些项又都小于或等于 $L$。底部的蓝色结论框汇总了这一逻辑链条：对于足够大的 $n$，恒有 $L - \varepsilon < a_n \le L$ 成立。这正是数列以 $L$ 为极限的定义形式，从而圆满证明了单调有界数列必定收敛。

知识卡片