11. 紧性与开覆盖, 一致连续性与函数列的收敛

紧性

我们先来回顾一个例子: 对多元函数 , 如果将 固定而将 视作是 的函数, 此时对 连续, 类似地, 对其它变量也连续的, 但是这样不能推导出 做为多元函数 是连续的. 我们考察了函数: 其中, 我们用 来表示 上面常用的坐标系. 这个函数对两个变量分别连续, 但是我们考虑了收敛到 点列 并发现从而, 处不连续.

我们还可以讲这个函数用极坐标系 来表达: 很明显, 这个变量不连续.

我们强调过, 尽管习惯如此, 但是我们不愿意将 写成 的形式, 因为坐标系只是对这个对象 的一种描述方式, 而这个 的连续性是不依赖于坐标系选择的 (只依赖于定义域和值域上的距离的定义) .

在第四次作业中, 我们已经将开集和闭集的概念推广到了一般的距离空间, 特别地, 我们可以在 讨论开集和闭集的概念. 我们做一下简单的回顾: 是距离空间. 对任意的点 , , 我们称 为中心以 为半径的开球. 如果 是若干开球的并, 即 (指标集 是任意的) , 就称 是距离空间 中的开集. 证明, 是开集当且仅当对任意的 , 存在 , 使得 . 我们用 表示距离空间 上的开集的全体, 并且强行规定 都是开集. 满足 (请比较命题 10.3) :

1)

, .

2)

对任意开集的集合 , 其中 为指标集合, 我们有 .

3)

对任意有限个开集 , 我们有 .

如果 的补集是开集, 我们就称 闭集. 类似于 的情况, 是闭集当且仅当对任意点列 , 如果 , 那么 . 我们还知道, 任意多闭集的交集还是闭集, 有限个闭集的并集还是闭集. 特别地, 两个距离空间 之间的映射 是连续的当且仅当对任意 中的开集 , 其逆像 中的开集.

练习. 是距离空间, 证明, 一个点所构成的集合是闭集.

我们现在引入紧集的概念:

定义 11.1 (开覆盖与紧性). 是距离空间, 是子集. 如果 中开集的集合 满足 , 我们就把 称作是 的一个开覆盖.

我们考虑 的子集 , 即 , 其中 . 如果 , 我们就把 称作是 的一个子覆盖.

是子集, 如果对 的任意开覆盖 , 都能找到一个有限的子覆盖 , 即 是有限集, 我们就称 紧集.

我们最关心的例子自然是 (和 ) 上的紧集, 我们将证明, 有界的闭区间 是紧集 (这是一个大定理) .

命题 11.2. 紧集在连续映射下被保持, 即若 是距离空间之间的连续映射, 如果 是紧集, 那么 也是紧集.

证明. 考虑 的开覆盖, 那么根据 , 的开覆盖, 从而有有限的子覆盖 , 从而 覆盖了 , 证毕.

注记. 我们知道开集和闭集在连续映射的逆下被保持, 但是通常不被连续映射保持, 请举出反例.

Heine–Borel 定理

为了刻画 上的紧集, 我们先证明引理:

命题 11.3 (Lebesgue 数). 假设 是有界闭集, 的开覆盖. 那么, 存在 (习惯上被称作是开覆盖 的一个 Lebesgue 数) , 使得对任意的 , 如果 , 那么存在 , 使得 .

证明. 我们利用反证法: 如果不然, 那么每个 , 存在 (不妨假设 ) , 使得 (特别地, ) , 但是对任意的 , 不能完整的覆盖住 , 即 .

由于 是有界的, 所以数列 是有界的, 通过选取子序列, 我们可以假设当 时, , . 根据 , 自然有 . 又因为 是闭集, 所以 .

由于 的开覆盖, , 所以存在 , 使得 . 根据 是开集, 那么存在开区间 , 此时, 根据 , , 选取很大的 , 使得 , 所以 , 矛盾.

定理 11.4 (Heine–Borel). 假设 . 那么, 是紧集当且仅当 是有界闭集.

推论 11.5. 闭区间 是紧集. 特别地, 任意选取 的一个开区间覆盖 , 其中 是开区间, , 我们都能找到有限个开区间 () , 使得 .

Heine–Borel 定理的证明. 首先假设 是紧集, 我们分两步证明 是有界闭集.

是有界的: 由于 , 所以 , 据此, 我们有 的开覆盖 . 根据 的紧性, 可以找到有限个的开区间 , 使得它们的并集包含 . 不妨假设 . 很明显, , 所以有界.

是闭集: 利用反证法, 如若不然, 存在序列 , 但是 . 通过选取子序列, 我们还可以进一步假设对任意的 , .

考虑下降的闭区间序列 , 我们自然有 . 我们注意到 是开集并且 (因为 ) ! 据此, 我们得到据此 的开覆盖 , 所以 的紧性意味着存在 , 使得 . 不妨假设 , 所以 . 根据 的定义, 与任意一个 中的点的距离至少是 , 这与 矛盾.

其次, 在 是有界闭集的假设下证明 是紧集.

任意给定 的开覆盖 , 根据前一命题, 我们可以选取该覆盖的一个 Lebesgue 数 , 通过将 适当缩小, 我们不妨假设 , 其中 . 我们将 砍成若干长度不超过 小段 , 其中 . 根据有界性, 只有有限个 是非空的, 所以我们有 . 利用 Lebesgue 数的定义, 对每个 , 存在 , 使得 , 所以 , 这就给出了有限的子覆盖.

推论 11.6 (紧性和列紧性的等价性). 是子集, 如果对任意 中的序列 , 都存在收敛的子序列 , 使得 , 我们就称 列紧的.

那么, 是紧集当且仅当 是列紧的.

证明. 假设 是紧集, 那么它是有界的, 所以对任意的 中的子序列 , 存在收敛的子序列 , 又因为 是闭集, 所以这个极限仍然在 中, 从而 是列紧的.

假设 是列紧的, 一个重要的观察是上面关于 Lebesgue 数的证明仍然成立 (只用到了列紧性) , 据此, 我们可以原封不动地重复 Heine–Borel 定理中第二步关于 是紧集的证明即可. (细节留给不放心的同学揣摩)

我们可以讲上面的推理加以简单的改造从而得到关于距离空间上紧性的若干结论, 但是我们需要先预警一下, 不是每个结论都可以推广, 比如说在一般的距离空间上, 紧性可以推出有界闭性, 但是两者不等价. 我们这些命题整理为如下几条, 其中 是距离空间:

1)

假设 是紧集, 那么 是有界闭集. 其中, 在距离空间 中有界指的是, 存在 , 使得 .

先证明 是有界的: 任意选定 , 由于 , 所以 , 据此, 我们有 的开覆盖 . 根据 的紧性, 可以找到有限个开球 , 使得它们的并集包含 . 不妨假设 . 很明显, , 所以有界.

再证明 是闭集: 利用反证法, 如若不然, 存在序列 , 但是 . 通过选取子序列, 我们还可以进一步假设对任意的 , .

考虑下降的序列 , 首先注意到是连续映射, 所以 是闭集. 我们自然有 . 注意到 是开集并且 (因为 ) ! 据此, 我们得到据此 的开覆盖 , 所以 的紧性意味着存在 , 使得 . 不妨假设 , 所以 . 根据 的定义, 与任意一个 中的点的距离至少是 , 这与 矛盾.

2)

定理 假设 是列紧的度量空间 (即如果对任意 中的点列 , 都存在收敛的子序列 , 即 存在) , 的开覆盖. 那么, 存在 (习惯上被称作是开覆盖 的一个 Lebesgue 数) , 使得对任意的 , 存在 , 使得 .

我们利用反证法: 如若不然, 那么每个 , 存在 , 使得 不被任意一个开集所包含, 即对任意的 , . 根据列紧性, 我们可以选取子列, 使得 时, . 由于 是开覆盖, 所以存在 , 使得 . 根据 是开集, 那么存在开球 . 由于 , 选取很大的 , 当 时, 使得 , 矛盾.

3)

定理 假设 度量空间, 它是列紧的当且仅当它是紧的.

首先证明, 如果 是列紧的, 那么 必然是紧的: 任意给定 的开覆盖 , 根据 2), 我们选取该覆盖的一个 Lebesgue 数 . 我们通过归纳的方式构造一个点列 (可以是有限点列) : 任选 , 那么存在某个 , 使得 . 假定 已经选定, 那么存在某个 , 使得 . 现在分两种情况:

如果 , 那么我们已经找到了有限子覆盖 , 这个过程到此结束.

如果 , 那么我们就任选 , 然后继续上面的过程. 我们注意到这一步选取的 使得 , 其中 .

当然, 上面的第二种选择不可能无限地进行, 否则我们得到一个点列 , 使得任意两个点之间的距离都不小于 , 这与列紧性矛盾. 所以, 到某一步我们就在第一种选择上结束了, 这就给出了有限的子覆盖.

其次证明, 如果 是紧的, 那么 必然是列紧的: 假设 是一列点, 如果存在点 , 使得对任意的 , 总存在 , 使得 , 那么 有收敛的子列: 因为我们对 , 取 即可.

我们用反证法: 如果 没有收敛子列, 那么对任意的 , 存在 , 使得 , 这表明 中的一个闭集. 同样的推理表明, 也是 中的闭集, 所以 是一族开集. 很明显, , 利用紧性, 我们有 , 这表明 是有限的点集, 自然收敛.

推论 11.7 (Heine–Borel). 假设 . 那么, 是紧集当且仅当 是有界闭集.

证明. 首先, 假设 是紧集, 在一般的距离中我们已经证明了 是有界闭集.

其次, 假设 是有界闭集 (在 中显然是列紧的, 因为我们可以看每个坐标) , 我们要证明 是紧集.

任意给定 的开覆盖 , 列紧性表明我们可以选取该覆盖的一个 Lebesgue 数 , 通过将 适当缩小, 我们不妨假设 , 其中 . 假设 落在方体 , 其中 是正整数. 通过将我们将这个方体分解成 个小方体 , 砍成有限个小块 . 利用 Lebesgue 数的定义, 每个小块 都包含在某个 中, 所以 , 这就给出了有限的子覆盖.

一致连续性与一致收敛

定义 11.8 (一致连续性). 假设 是连续函数, 如果对任意的 , 存在 , 使得对任意的 , 只要 , 就有 , 我们就称 一致连续.

例子. 考虑 上的函数 , 我们希望研究 处的连续性.

按照定义, 处连续, 指的是: 对任意的 , 存在 (注意到, 这个 可能依赖 ) , 使得当 时, 我们就有 .

对于 , 我们不妨先假设 已经离着 很近: , 那么所以, 要想 , 我们需要 . 由此可见, 越小, 需要选取的 就越小, 这就给出了 的依赖性. 然而, 在一致连续的概念中, 的选取不依赖于 , 所以 区间上定义的 不是一致连续的. ( 区间上定义的 是一致连续的!)

在作业题中, 我们会见到很多连续和一致连续的例子.

定理 11.9. 是有界闭区间, 每个 都是一致连续的函数.

证明. 给定 , 通过定义任意给定 , 对每个 , 存在开区间 , 使得对任意的 (等价于说 ) , 都有 . 特别地, 对任意的 , 我们都有我们得到 一个开覆盖 . 令 为这个开覆盖的 Lebesgue 数, 对于 , 按照 Lebesgue 数的定义, 落在同一个 里面, 从而 . 这就证明了一致连续性.

我们现在引入关于函数的两种收敛的概念: 是距离空间, 是函数的序列. 我们定义:

逐点收敛. 如果对每个点 , 函数值 , 即 , 我们就称 逐点收敛.

一致收敛. 如果 , 我们就称 一致收敛.

注记. 逐点收敛指的是对任意的 , 对任意的 , 存在 (可能依赖于 ) , 使得当 时, 我们有 .

一致收敛指的是对任意的 , 存在 (只依赖于 不依赖于点 ) , 使得当 时, 对任意的 , 我们都有 . 换句话说, 的选取对于 是一致的 (即不依赖于 ) .

特别地, 函数列的一致收敛能推出逐点收敛.

我们先看几个例子:

1)

, , 对于每个 , , 所以 逐点收敛到 (函数) ; 然而, 对任意的 , 所以 不一致收敛.

2)

,

逐点收敛到函数 我们注意到极限函数并不连续. 不难看出, 并不一致收敛.

有了以上的准备工作, 我们现在研究闭区间上实数 (或者复数) 值连续函数空间 , 其中 (否则不是很有意思) . 这是一个无限维的 -线性空间. 我们在 上定义一个范数我们注意到, 也是闭区间 上的连续函数, 所以有界, 从而 是良好定义的. 这个范数定义了 上的距离 .

我们应该将 和实数 做类比.

另外, 在一致收敛的概念中, 我们要求 , 也就是说, 是按照距离函数 在距离空间 里收敛. 所以, 把函数视为点, 所谓一致收敛的概念变成了我们熟悉的点列收敛的概念.

定理 11.10. 是完备赋范线性空间, 即 是完备的距离空间.

注记. 的完备性是关于连续函数最重要的性质之一. 另外, 我们强调这个性质和之前关于连续函数看法完全不同: 这不是关于一个函数的性质, 而是关于一族 (或者所有) 连续函数的性质.

从证明的角度而言, 一致连续性将起重要的作用 1, 而逐点地考虑这个问题是徒劳的, 因为有无限多个点. 由于一致连续性的证明依赖于紧性, 我们可以理解为什么函数所定义的空间的紧性 (几何性质) 非常关键: 这个概念提供了从无限到有限的途径!

证明. 假设 中 Cauchy 列, 即对任意的 , 存在 , 使得当 时, 我们有 . 我们的目标是构造 , 使得 .

首先定义函数 : 对任意 , 按照定义, 对任意的 , 我们都有 , 所以 是 Cauchy 数列, 据此, 可以定义问题的关键在于证明 是连续的.

任选 , 我们证明 处连续: 对任意的 , 先选取 , 当 时, 有 . 特别地, . 由于 连续 2, 所以存在 , 使得当 时, 我们有 . 从而, 对任意的 , 当 时, 我们有此时, 对任意满足 , 存在 , 使得 , 从而, 我们有这就证明了 是连续函数.

最终, 我们说明 一致收敛到 3, 即 . 任取 , 首先, 根据 是 Cauchy 数列, 存在 , 使得当 时, 我们有 .

对任意的 , 根据逐点收敛性, 存在 , 使得 . 因此对任意的 , 都有因此 .

脚注

1.

^ 上传者注: 事实上, 的完备性并不需要用到紧性和一致连续性! 开区间上, 依 范数构成 Cauchy 列的函数列也必定一致收敛到连续函数. 只不过对于开区间上的连续函数来说, 并不总是良定义的 (因为开区间上的连续函数未必有界) , 因此并不构成赋范空间.

2.

^ 上传者注: 讲义中这里写的是一致连续; 实则并不需要, 只需要 处连续即可.

3.

^ 上传者注: 这里原讲义写的较为混乱, 并且用到了并不需要的紧性. 此处重写了这一部分证明.