2026-10-08 · 有限采样何时控制整条曲线

0. 导读与元结构 (Orientation & Meta-structure)

2026 年 10 月 8 日，星期四。 Develata，今天的问题不是“每个函数是否连续”，而是：给出无穷多条连续曲线，何时能从中抽出一列，在整个定义域上同时稳定下来？

有限维中，有界序列总能抽出收敛子列；换成连续函数，只有统一幅度界却不够。曲线可以把变化压进越来越窄的空间区间，使任何固定采样精度失效。需要补充的不是“再小一点的幅度”，而是整族函数共用的空间变化控制。

对象与量词层。 固定非空紧度量空间 $(K,d)$，函数族 $\mathcal{F}\subset C(K,\mathbb{R})$。同时存在空间点 $x$、函数 $f$、误差 $\epsilon$ 和尺度 $\delta$；关键在于 $\delta$ 是否依赖 $f$，其次才是它是否依赖 $x$。收敛目标是上确界范数，而非逐点收敛。

位置与增量。 这是三日锚点微弧的第 1 日：函数族紧致判据 → 连续向量场的近似解与存在性 → 路径空间中确定性模量和概率紧性的连接。它有意深化 2026-07-18：该期第 5 节已经提出函数族有限网问题，今天给出完整构造、必要性证明，以及非紧域上的精确失效。不是把原来的度量紧致性等价定理换一个标题重讲。

预备与证明引擎。 只需连续性、紧度量空间有限网、实数有界区间的有限划分，以及“完备 + 全有界 $\Rightarrow$ 紧致”。主线是

$$\text{共同空间模量}+\text{有限网采样}+\text{函数值量化}⟹\text{函数空间有限网}.$$

研究生延伸在于紧集上一致收敛及紧致性方法 (compactness method)：先制造近似对象，再回收极限；这与求出显式公式是不同的存在性机制。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 三个条件，三个不同的职责

在 $C(K,\mathbb{R})$ 上定义

$$\parallel f-g{\parallel }_{\mathrm{\infty }}=\underset{x\in K}{sup}|f(x)-g(x)|.$$

上确界有限，因为连续函数在紧域上有界。

定义：逐点有界 (pointwise boundedness)。

$$\mathrm{\forall }x\in K\mathrm{\exists }{M}_x=M(x,\mathcal{F})<\mathrm{\infty }\mathrm{\forall }f\in \mathcal{F},|f(x)|\le M_x.$$

每个观察点上的幅度都受控，但此时还没有统一于 $x$ 的界。

定义：等度连续 (equicontinuity)。 本文先用局部版本：

$$\mathrm{\forall }x\in K\mathrm{\forall }\epsilon >0\mathrm{\exists }\delta =\delta (x,\epsilon ,\mathcal{F})>0\mathrm{\forall }f\in \mathcal{F}\mathrm{\forall }y\in K,d(x,y)<\delta \Rightarrow |f(x)-f(y)|<\epsilon .$$

定义：一致等度连续 (uniform equicontinuity)。

$$\mathrm{\forall }\epsilon >0\mathrm{\exists }\delta =\delta (\epsilon ,\mathcal{F})>0\mathrm{\forall }f\in \mathcal{F}\mathrm{\forall }x,y\in K,d(x,y)<\delta \Rightarrow |f(x)-f(y)|<\epsilon .$$

RMK. 每个 $f$ 各自一致连续，只给出 $\delta =\delta (\epsilon ,f)$；不能把它偷偷搬到 $\mathrm{\forall }f$ 之前。等度连续是在控制一族曲线，而非逐条发放连续性证书。

称 $\mathcal{F}$ 相对紧致 (relatively compact)，指它在 $C(K,\mathbb{R})$ 中的闭包紧致。等价地，每个 $\mathcal{F}$ 中序列都有一致收敛子列，极限属于 $C(K,\mathbb{R})$，但不必属于 $\mathcal{F}$。

1.2 先把局部模量统一，再把逐点幅度统一

引理。 紧域上的等度连续蕴含一致等度连续。

给定 $\epsilon >0$，对每个 $a\in K$ 取 $r_a>0$，使

$$d(a,z)<r_a\Rightarrow |f(a)-f(z)|<\epsilon /2(\mathrm{\forall }f\in \mathcal{F}).$$

从开覆盖 $\{B(a,r_a/2):a\in K\}$ 中选有限子覆盖，中心记为 $a_1,\dots ,a_s$。令 $\delta =\underset{i}{min}{r}_{a_i}/2>0$。若 $d(x,y)<\delta$，选 $i$ 使 $x\in B(a_i,r_{a_i}/2)$，则 $x,y\in B(a_i,r_{a_i})$，故

$$|f(x)-f(y)|\le |f(x)-f(a_i)|+|f(a_i)-f(y)|<\epsilon .$$

注意有限最小值只消除了 $x$ 的依赖；不依赖 $f$ 这一点早已包含在等度连续的假设里。

再取误差 $1$ 对应的公共尺度 ${\delta }_1$，用有限个 ${\delta }_1$-球覆盖 $K$，中心为 $b_1,\dots ,b_t$。若还逐点有界，则

$$|f(x)|<1+\underset{1\le i\le t}{max}{M}_{b_i}=:M(\mathrm{\forall }x\in K,f\in \mathcal{F}).$$

所以在这个组合假设下，逐点有界自动升级为统一有界 (uniform boundedness)。这里不是调用泛函分析的“一致有界原理”，而是直接使用有限覆盖。

1.3 Arzelà–Ascoli 定理：从点集紧性到函数紧性

定理（实值紧度量域版本）。 设 $K$ 非空且紧，$\mathcal{F}\subset C(K,\mathbb{R})$。以下等价：

1. $\mathcal{F}$ 在上确界范数下相对紧致；
2. $\mathcal{F}$ 逐点有界且等度连续。

这可看作 Bolzano–Weierstrass 的函数空间版本，但“有界”必须补上“共同模量”。权威核对见 Tao 课程笔记的 Theorem 13、Corollary 14；下面采用有限编码证明，而不是其主文的稠密点对角抽取证明。[1]

充分性：关键是构造真正的函数网。 空族情形平凡，以下设 $\mathcal{F}\ne \varnothing$。给定 $\epsilon >0$，由引理取得统一界 $M$，并取尺度 $\delta$ 使所有函数在距离 $<\delta$ 时振荡 $<\epsilon /4$。取有限 $\delta$-网 $x_1,\dots ,x_N$。

将 $[-M,M]$ 划分为有限个互不相交、直径 $\le \epsilon /4$ 的小区间。以

$$(f(x_1),\dots ,f(x_N))$$

各坐标所属的小区间为 $f$ 编码。若每坐标有 $q$ 种编码，总编码数至多 $q^N$。

必须补的一步： 对每个实际出现的编码，选一条实际函数 $g\in \mathcal{F}$ 作代表。不要把任意格点向量直接说成连续函数，更不能未经构造就假定它满足原来的约束。

若 $f,g$ 编码相同，则各采样点处 $|f(x_i)-g(x_i)|\le \epsilon /4$。对任意 $x\in K$ 选 $x_i$ 使 $d(x,x_i)<\delta$，有

$$\begin{array}{rl}|f(x)-g(x)|& \le |f(x)-f(x_i)|+|f(x_i)-g(x_i)|+|g(x_i)-g(x)|\\ & <3\epsilon /4.\end{array}$$

于是 $\parallel f-g{\parallel }_{\mathrm{\infty }}\le 3\epsilon /4<\epsilon$。有限代表集就是 $\mathcal{F}$ 的有限 $\epsilon$-网，因此 $\mathcal{F}$ 全有界。

最后使用完备性：一致 Cauchy 函数列在每点都是实数 Cauchy 列；实数完备性给出逐点极限，尾部一致 Cauchy 估计保证一致收敛，而连续函数的一致极限连续。因此 $C(K,\mathbb{R})$ 完备，$\bar{\mathcal{F}}$ 是完备且全有界的度量空间，故紧致。

必要性：紧函数族反过来制造共同模量。 若 $H=\bar{\mathcal{F}}$ 紧致，评价映射 $E_x:H\to \mathbb{R}$，$E_x(f)=f(x)$ 满足

$$|E_x(f)-E_x(g)|\le \parallel f-g{\parallel }_{\mathrm{\infty }},$$

所以 $E_x(H)$ 紧且有界，得到逐点有界。

再固定 $\epsilon >0$，取 $H$ 的有限 $\epsilon /4$-网 $g_1,\dots ,g_m$。这些有限多条连续曲线各自在紧域上一致连续；取它们对应误差 $\epsilon /4$ 的尺度之最小值 $\delta >0$。对任意 $f\in \mathcal{F}$ 选 $g_i$ 使 $\parallel f-g_i{\parallel }_{\mathrm{\infty }}<\epsilon /4$，便有

$$d(x,y)<\delta \Rightarrow |f(x)-f(y)|\le 2\parallel f-g_i{\parallel }_{\mathrm{\infty }}+|g_i(x)-g_i(y)|<\epsilon .$$

必要性同样是一条有限化论证，只是这次有限网取在函数空间里。

1.4 谱系及研究生延伸：局部回收，不等于全局回收

逻辑谱系是：有限维有界集可量化 → 紧域可有限采样 → 等度连续填补采样间隙 → 函数空间相对紧致。它不是宣称所有无限维有界闭集都紧，而是指出哪些附加结构能恢复有限编码。

Graduate extension：紧集上一致收敛 (uniform convergence on compact sets)。 若 $f_n\in C(\mathbb{R},\mathbb{R})$ 逐点有界且等度连续，则可先在 $[-1,1]$ 上抽取一致收敛子列，再在 $[-2,2]$ 上从中抽取子子列，依次继续；取对角子列后，在每个 $[-j,j]$ 上一致收敛。各局部极限在重叠部分一致，拼成连续的全局函数。[1, Exercise 30 的特例]

这里得到的是每个紧集上的一致收敛，而非整个 $\mathbb{R}$ 上的一致收敛。第 4 节的平移帐篷恰好说明差别。

用于微分方程时，还需证明方程或积分关系能随所选收敛传递；“抽到了极限”并不自动等于“极限是解”，更不等于唯一解。[1, Remark 8]

2. 固定模板习题 (Template Exercise)

题目

设 $f_n\in C^1([0,1],\mathbb{R})$，存在与 $n$ 无关的有限常数 $A,L\ge 0$，使

$$|f_n(0)|\le A,\underset{x\in [0,1]}{sup}|f_n^{\prime }(x)|\le L,{\int }_0^1{f}_n(x)dx=0.$$

证明存在严格递增的指标 $n_k$ 和函数 $f\in C([0,1],\mathbb{R})$，使 $f_{n_k}\to f$ 一致，且

$$|f(x)-f(y)|\le L|x-y|(\mathrm{\forall }x,y\in [0,1]),{\int }_0^{1}f(x)dx=0.$$

模板识别

“导数有统一界 + 一点值有界”是将微分估计转成函数族紧性的信号；积分约束则提示：抽子列之后还要检查约束是否在目标拓扑下闭合。不要把题目误判成需要显式算出极限。

分级提示

1. 第一层。 中值定理把导数界变成怎样的两点差估计？
2. 第二层。 把其中一个点固定为 $0$，再分别检查 Arzelà–Ascoli 的两个假设。
3. 第三层。 抽子列后，固定 $x,y$ 再取极限；对积分差使用区间长度乘上确界范数。

3. 大家之言 (Mathematician in Their Own Words)

可核验语境。 Terence Tao 在其个人网站的学习建议短文 Ask yourself dumb questions – and answer them! 中讨论：精修过的数学呈现会隐去发现过程中的失败路线，而主动改动命题有助于理解方法。该页未在本次提取的正文中显示可确认的发表日期，故不补写年份。以下引的是 Tao 自己的正文，不是页面开头所转引的 Halmos。[2]

“For instance, given a standard lemma in a subject, you can ask what happens if you delete a hypothesis, or attempt to strengthen the conclusion;”

中译。 “例如，面对一个领域里的标准引理，你可以问：删掉一个假设会怎样，或者尝试加强结论会怎样；”

转述（paraphrase）。 他紧接着建议比较不同证明方法：新的方法即使更不优雅、甚至不能奏效，也可能照亮两种方法的相对力量。这不是鼓励任意猜测，而是把失败变成有定位的信息。

本文评论。 今天可以把这条建议变成三次有明确对象的实验：删去等度连续，测试 $x^n$；删去幅度控制，测试常函数 $n$；保留正则性却把紧域换成全实线，测试平移帐篷。每个实验都问“证明中哪一步失效”，而不是笼统地说“无限维很复杂”。

同样，有限编码证明与稠密集对角线证明没有必要争夺唯一正确路线：前者暴露覆盖复杂度，后者适合直接从一条给定序列抽子列。理解差别，比背同一个定理的两份推导更有价值。

4. 反例与边界 (Counterexample & Boundary)

4.1 每条都一致连续，整族却没有公共尺度

在 $[0,1]$ 上令 $f_n(x)=x^n$。

• 连续与有界： 每个 $f_n$ 连续，且 $0\le f_n\le 1$；每条函数在紧区间上各自一致连续。
• 不等度连续： 令 $y_n=2^{-1/n}$。则 $y_n\to 1$，但 $|f_n(1)-f_n(y_n)|=1/2$。取误差 ${\epsilon }_0=1/4$，任意 $\delta >0$ 都会被充分大的 $n$ 击破。
• 无一致收敛子列： 任意严格递增 $n_k$ 都趋于无穷，其逐点极限必为 $h(x)=0$（$x<1$）、$h(1)=1$。这个函数不连续；而连续函数的一致极限连续，故不可能一致收敛。

边界精确落在量词上：各自的 $\delta (\epsilon ,n)$ 存在，不提供统一的 $\delta (\epsilon )$。[1, Example 2]

另一个独立缺口是 $g_n(x)=n$：全族等度连续，因为所有两点差均为零；但在任一点都不有界，因而没有一致收敛子列。共同模量管变化，不管整体高度。

4.2 甚至共同 Lipschitz 常数也挡不住空间逃逸

在 $\mathbb{R}$ 上定义三角帐篷

$$\varphi (t)=max\{1-|t|,0\},h_n(x)=\varphi (x-3n).$$

逐项检查：

1. 统一幅度： $0\le h_n\le 1$，且 $h_n(3n)=1$。
2. 共同正则性： $\varphi$ 是 $1$-Lipschitz；平移保持该常数，因此 $|h_n(x)-h_n(y)|\le |x-y|$ 对全部 $n,x,y$ 成立。
3. 逐点乃至局部一致消失： 支撑包含于 $[3n-1,3n+1]$，所以给定任意有界区间，充分大的 $n$ 在该区间恒为零。
4. 全局无法回收： 若 $m\ne n$，在 $x=3n$ 有 $h_n(x)=1,h_m(x)=0$。结合两函数都取值于 $[0,1]$，得到 $\parallel h_n-h_m{\parallel }_{\mathrm{\infty }}=1$。故任何子列都不是全局一致 Cauchy 列。

这里丢失的不是等度连续，而是定义域紧性：无法用有限个固定尺度采样点覆盖整条实线。正则性阻止曲线在采样间隙剧烈跳动，却不阻止整座峰跑到所有有限观察窗之外。这个例子也验证了第 1.4 节为何只承诺紧集上一致收敛。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设 $K$ 是非空连通紧度量空间，$\mathcal{F}\subset C(K,\mathbb{R})$ 等度连续。若只知道某一个固定点 $x_0\in K$ 上

$$\underset{f\in \mathcal{F}}{sup}|f(x_0)|<\mathrm{\infty },$$

是否已经足以推出 $\mathcal{F}$ 相对紧致？去掉连通性又如何？

方向提示。 不要预设 $K$ 路径连通。对共同尺度 $\delta$，考虑从 $x_0$ 出发能由有限条长度 $<\delta$ 的步子到达的点；研究这个集合及其补集的开性。再想想紧性在统一幅度上还要做什么。这里保留完整证明空间。

数学地图。

• 前置：度量紧性、连续性的量词、实数完备性。
• 今日：局部等度连续 → 共同模量 → 有限采样编码 → 一致范数相对紧致。
• 邻接：紧耗尽与局部一致拓扑；Lipschitz／Hölder 控制；有限覆盖数。
• 下一站：近似解的积分关系如何穿过极限，以及 Peano 型存在性为何不保证唯一性。
• 概率方向：随机曲线的有限维分布只记录有限采样；要控制整条路径，还需要连续模量的概率估计。这是路线预告，不把确定性 Ascoli 直接冒充概率紧性定理。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：导数界 → 两点差与幅度界 → Ascoli 抽子列 → 闭约束传递。

对每个 $n$ 及 $x,y\in [0,1]$，由中值定理（$x=y$ 时平凡）有

$$|f_n(x)-f_n(y)|\le L|x-y|.$$

于是

$$|f_n(x)|\le |f_n(0)|+L|x|\le A+L,$$

给出统一有界性。对每个 $\epsilon >0$，取 $\delta =\epsilon /(L+1)>0$，则 $|x-y|<\delta$ 时，对全部 $n$ 都有 $|f_n(x)-f_n(y)|<\epsilon$，包括 $L=0$ 情形。因此函数族一致等度连续。

Arzelà–Ascoli 定理给出严格递增的 $n_k$ 和连续函数 $f$，满足

$$\mathrm{\forall }\epsilon >0\mathrm{\exists }{k}_0=k_0(\epsilon )\mathrm{\forall }k\ge k_0,\parallel f_{n_k}-f{\parallel }_{\mathrm{\infty }}<\epsilon .$$

固定任意 $x,y\in [0,1]$，在两点差估计中令 $k\to \mathrm{\infty }$，得到

$$|f(x)-f(y)|=\underset{k\to \mathrm{\infty }}{lim}|f_{n_k}(x)-f_{n_k}(y)|\le L|x-y|.$$

最后，连续性保证所有积分存在，且

$$|{\int }_0^{1}f(x)dx|=|{\int }_0^1(f(x)-f_{n_k}(x))dx|\le \parallel f-f_{n_k}{\parallel }_{\mathrm{\infty }}⟶0.$$

因此 ${\int }_0^{1}f=0$，结论全部成立。

不要多取一个结论。 这里证明了极限 Lipschitz，并没有证明 $f\in C^1$。一致收敛控制函数值，不控制导数列；题目刻意把结论停在真正获得的正则性上。

资料与来源 (Sources)

1. L2／作者课程原文。 Terence Tao, 245B, Notes 10: Compactness in topological spaces, 2009-02-09，文末注明 2 月 20 日修订。第 4 部分，尤其 Example 2、Theorem 13、Corollary 14、Exercise 30、Remark 8，核对 Ascoli 判据、幂函数反例、紧集上一致版本与紧致性方法。本文有限编码证明及平移帐篷的逐项验算是 Deve Hermes 的自足推导；不另行虚构历史首发年份。 https://terrytao.wordpress.com/2009/02/09/245b-notes-10-compactness-in-topological-spaces/
2. L2／学者本人方法论短文。 Terence Tao, Ask yourself dumb questions – and answer them!, What's new, Career advice；本次正文未确认发表日期。第 3 节短引文逐字核对自作者正文，未采用开头的二手 Halmos 引文。 https://terrytao.wordpress.com/career-advice/ask-yourself-dumb-questions-and-answer-them/
3. L1／本刊延续对象。 《每日数学》2026-07-18，把无限压回有限：紧致性、全有界性与子列极限，尤其第 5 节“今日一问”。本期明确接续其函数族有限网问题，而非宣称第一次介绍相关思想。 本地档案：/opt/data/output/daily-mathematics-journal/2026/07/2026-07-18.md。

核验说明。 本期来源核验日期为 2026-10-08（Asia/Shanghai），不把检索日当成原文发表日。发现上下文刷新成功，所提供近期条目仅作候选；本期按数学质量选择旧课程与方法论原文，不作时效性新闻判断。证明与反例采用上述解析推导，没有声称运行过数值实验。