最后更新: 2025-11-20 20:47 查看: 285 次纠错评论(0) 课件开VIP

Bolzano-Weierstrass 波尔查诺-威尔斯特拉斯聚点原理

## 极限无穷大有什么意义
先补充一个额外小知识，对于一个数列极限，如果极限是一个确定的数，那么这个数列是有界的，但是如果这个极限是无穷大，我们仍然称呼他是有界的，只是这个“界”是无穷大，既然是无穷大为什么还要说他是有界的呢？ 极限无穷大分为正无穷与负无穷。 **极限为无穷大的意义，在于它精确地描述了一种“单向的、无界的”增长或减少趋势。它赋予了“发散”一种明确的结构和方向，是数学分析中用来刻画函数和序列渐近行为的一个强大而基本的工具。**

在严格的数学语境下，我们说“极限存在”通常指的是极限是一个**有限的实数**。因此，如果 $ \lim_{n \to \infty} a_n = \infty $，我们更精确的说法是“**该数列的极限不存在（为有限实数），而是发散至无穷**”。
但这只是一种术语上的约定。说“极限是无穷大”本身就是一个非常有价值且被广泛使用的陈述。

## 定理 Bolzano－Weierstrass 聚点原理  
**(Bolzano－Weierstrass 波尔查诺-威尔斯特拉斯 聚点原理)**   $R ^n$ 中的任意有界无限点集必有聚点(极限点)。

**证明** 以 $n=2$ 为例．若 $E \subset R ^2$ 为有界无限点集，取可列集 $\left\{z_1, z_2, \cdots, z_k, \cdots\right\}$ $\subset E$ ，设 $z_k=\left(x^{(k)}, y^{(k)}\right)$ ，则 $\left\{x^{(k)}\right\} \subset R$ 为有界数列．由实数的波尔查诺－魏尔斯特拉斯（Bolzano－Weierstrass）定理，它有收敛子列 $\left\{x^{\left(k_i\right)}\right\}$ 。考虑相应的 $\left\{y^{\left(k_i\right)}\right\}$ ，它也是有界实数列，同理又有收敛子列 $\left\{y^{\left(k_{i j}\right)}\right\}$ ，则点列 $\left\{\left(x^{\left(k_{i j}\right)}, y^{\left(k_{i j}\right)}\right)\right\}$ 是 $E$ 的收敛子列，它的极限就是 $E$ 的聚点．

这个定理在《数学分析》里的意思是：**任何有界数列，一定存在有收敛的子数列**

![图片](/uploads/2025-11/81214d.jpg){width=400px}
 
 因为实数只是在一维方向上，而在《实变函数》里延伸到多维方向上。即  **$R^n$ 中任一有界无限点集E至少有一个聚点**。

## 理解：Bolzano-Weierstrass 聚点原理

一句话概括**一个拥挤的广场上，只要人数无限多，再乱也至少有一个“人气中心”。**

---

### 详细通俗解释

想象一个场景：

**场景：一个有限的操场**

*   **条件1 - “有界”/“有限”**：你有一个**有限的**操场（比如一个标准的400米环形跑道围起来的区域）。这个操场再大，也有边界，人不能跑到无限远的地方去。这就对应了数学中的 **“有界”**。
*   **条件2 - “无限”**：现在，有**无限多**个人在这个操场上活动（假设人是无限可分的点）。他们可以随意走动，姿势、路线都非常混乱。

**现在的问题是：** 这群无限多、乱糟糟的人，有什么整体规律吗？

**Bolzano-Weierstrass 聚点原理告诉我们：有！**

这个规律就是：**在这个有限的操场上，无论这群人的运动多么混乱，都至少存在一个“人气特别旺”的点，我们称之为“聚点”。**

**什么是“聚点”？**

这个“聚点”不一定是某个人站的位置，而是指：
**在这个点周围，无论你画一个多么小的圈子（比如半径只有1厘米），这个圈子里总会挤着操场上无限多个人中的一部分。**

换句话说：
*   可能没有人正好站在这个“聚点”上，但这个点的**任意近**的地方，都永远有人。
*   或者说，总有无穷多个人，会不断地、无限地靠近这个点。

**为什么必然存在这样的“聚点”？**

用“挤”的思想来理解：
*   操场是有限的，人却是无限的。
*   你没办法让无限多的人，在有限的空间里，彼此都保持一个安全的“距离”。空间就那么大，人又那么多，他们必须“挤在一起”。
*   这种“拥挤”最终会导致，至少有一个地方，其附近的人口密度是“无限大”——这就是“聚点”。

---

### 数学上的对应

把这个通俗的场景翻译回数学语言：

*   **有限的操场** → **有界区域**（例如区间 `[a, b]`）
*   **无限多的人** → **无穷点集** 或 **数列中的无穷多项**
*   **“人气中心”/“聚点”** → **极限点**
*   **原理结论**：**任何有界的无穷点集，都至少有一个极限点。**

**数列版本**：如果一个数列的所有项都落在某个有限区间内（**有界数列**），那么你一定能从这个数列中挑出一个子数列，让这个子数列最终收敛于某个确定的极限值。

---

### 举个例子

假设有一个数列，它在 -1 和 1 之间来回震荡，但幅度越来越小：
$xₙ = (-1)ⁿ / n$

这个数列是：$-1, 1/2, -1/3, 1/4, -1/5, ...$

1.  **有界**：所有数的绝对值都小于等于1。
2.  **无限**：数列有无穷多项。
3.  **找聚点**：根据定理，它至少有一个聚点。
    *   你看它的**奇数项子列**：$-1, -1/3, -1/5, ...$ 它越来越靠近 **0**。
    *   你看它的**偶数项子列**：$1/2, 1/4, 1/6, ...$ 它也越来越靠近 **0**。
    *   所以，这个数列的**聚点就是 0**。无论你在0附近画一个多小的范围，总能看到这个数列的无穷多个项落进去。

### 总结

**Bolzano-Weierstrass 聚点原理**的核心思想就是：

> **有限空间 + 无限个体 = 必然存在拥挤中心**

它是一个从“混乱”中找出“秩序”的定理，保证了在看似无序的无穷过程中，依然存在着某种确定的、收敛的模式。这是整个数学分析大厦的基石之一。

`例`一个在 [0, 1] 区间内“到处跳”的数列

设想我们有一个数列 {aₙ}，它的定义如下：
- 它的每一项都来自 [0, 1] 这个区间。
- 它**不单调**，也**不收敛**，看起来毫无规律，像是在区间内随机乱跳。

比如，这个数列的前几项可能是：
 a₁ = 0.1 
 a₂ = 0.75 
 a₃ = 0.01 
 a₄ = 0.756 
 a₅ = 0.99 
 a₆ = 0.001 
 a₇ = 0.757 
 a₈ = 0.500 
...

**问题**：这样一个看起来乱七八糟的数列，波尔查诺-威尔斯特拉斯定理能告诉我们什么？
 
尽管这个数列本身行为怪异，但因为它有界（所有项都在 [0,1] 区间内），并且有无穷多项，所以它**一定存在至少一个收敛的子列**。

---

### 让我们来“找出”这个收敛的子列

我们可以用一个系统性的方法来“捕捉”这个子列，这个方法也反映了定理证明中“二分法”的思想。

**第一步：将区间 [0,1] 二等分**
我们得到两个子区间： [0, 0.5)  和  [0.5, 1] 。
- 这两个区间中，**至少有一个**包含了原数列 {aₙ} 中的**无限多项**。
- 观察我们的数列： 0.1 ,  0.01 ,  0.001  等在左边区间  [0, 0.5) ；而  0.75 ,  0.756 ,  0.99 ,  0.757  等在右边区间  [0.5, 1] 。看起来两边都有不少项。但我们必须选一个包含**无限多项**的。假设我们检查发现，右边区间  [0.5, 1]  包含了无限多个 aₙ。我们选择这个区间，并记它为 **I₁**。
- 我们在 I₁ 中任取一个原数列的项作为子列的第一项，比如就取  a₂ = 0.75 。
   我们的子列现在是： 0.75, ...

**第二步：将区间 I₁ = [0.5, 1] 再二等分**
得到  [0.5, 0.75)  和  [0.75, 1] 。
- 同样，这两个区间中至少有一个包含了落在 I₁ 内的那些 aₙ 中的无限多个。假设我们发现  [0.75, 1]  这个区间包含了无限多项。我们记它为 **I₂**。
- 我们在 I₂ 中找一个下标比刚才 (n=2) 更大的项。比如我们找到了  a₄ = 0.756 。
    我们的子列现在是： 0.75, 0.756, ...

**第三步：将区间 I₂ = [0.75, 1] 再二等分**
得到  [0.75, 0.875)  和  [0.875, 1] 。
- 假设这次  [0.75, 0.875)  包含了无限多项。我们记它为 **I₃**。
- 我们在 I₃ 中找一个下标比 n=4 更大的项。比如我们找到了  a₇ = 0.757 。
   我们的子列现在是： 0.75, 0.756, 0.757, ...

**持续进行这个过程...**

我们不断地将区间对半分，每次都选择那个包含原数列无限多项的子区间，并从中选取一个新的、下标递增的数列项。

---

### 发生了什么？

我们构造出了一系列不断缩小的闭区间：
 I₁ = [0.5, 1] 
 I₂ = [0.75, 1] 
 I₃ = [0.75, 0.875) 
 I₄ = [0.75, 0.8125) 
...

以及一个子列：
 a₂ = 0.75 
 a₄ = 0.756 
 a₇ = 0.757 
 a_{...} = ...

**关键点**：
1.  这些区间一个套一个，并且它们的长度在不断减半，趋向于0。
2.  我们选取的子列中的每一项，都位于当前这个不断缩小的区间内。

**结论**：
这个子列  {0.75, 0.756, 0.757, ...}  最终会**收敛**到所有这些嵌套区间的唯一交点。假设这个交点是  c = 0.758 （这只是一个假设值）。那么，无论你要求这个子列多么接近  c ，只要我们的二分过程进行得足够深，子列后续的所有项都会落在  c  附近一个任意小的范围内。

### 这个例子的启示

- **原数列可以非常混乱**：它本身可以是不收敛的，到处跳跃。
- **定理的强大**：尽管原数列混乱，但**“有界性”** 这个条件就像一张无形的网，把这些无限的点都罩在了一个有限的空间里。在这个有限空间里，无限的点必须“挤在一起”，至少在一个点（聚点）附近无限密集。
- **子列是“筛选”出来的**：我们通过系统性地筛选（二分法），从混乱中找出了秩序——一个最终稳定地趋向于某个特定值的子序列。

这个例子完美地体现了波尔查诺-威尔斯特拉斯定理的精髓：**在有限的边界内，无限所带来的不可能是完全的混乱，其中必然蕴含着局部的、收敛的秩序。**

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：聚点、内点、界点、孤立点、开核、导集、闭包

下一篇：开集与闭集

本文对您是否有用？有用 (0) 无用 (0)