1. 为什么这个命题值得单独拎出来证明1.1 从一道预习笔记里的证明题说起工科背景的人学泛函分析多半绕不开实变函数这块硬骨头而实变函数里最先让人产生“这也要证”困惑的命题之一就是可测集上的连续函数是可测函数。直觉上连续函数图像是一条连绵不断的曲线可测函数无非是要求“对任意实数阈值函数值大于该阈值的原像集合是可测集”连续函数的原像本身就是开集开集当然可测这看起来几乎是废话。但预习笔记里把它单独列出来证明是有道理的。原因在于连续性的定义建立在拓扑结构上可测性的定义建立在σ-代数结构上这两套语言在逻辑上是平行的并不天然包含对方。换句话说连续函数可测这件事不是“显然成立”而是“拓扑结构与Borel σ-代数相容”这一深层事实的直接推论。把这条证明吃透后面学可测函数列的极限运算、Lusin定理、乃至Lebesgue积分与Riemann积分的关系时很多结论的证明思路都能顺下来。这篇笔记面向的是正在预习工科泛函分析、实变函数基础还不太扎实的读者。我会把证明的完整逻辑链拆开补上预习笔记里通常省略的细节包括σ-代数的定义回顾、Borel集与开集的关系、原像运算与集合运算的交换律以及为什么“连续”这个条件不能随便削弱。同时我会给出几种不同的证明路径方便你根据自己的知识储备选择最容易接受的那条。1.2 预习阶段最容易卡住的三个点在正式进入证明之前先把我自己预习时踩过的坑列出来你大概率也会遇到分不清“开集可测”和“开集是Borel集”开集可测是因为Borel σ-代数包含所有开集而Lebesgue σ-代数是Borel σ-代数的完备化。这两个“可测”在大多数工科教材里是混用的但严格来说有区别。原像与集合运算的交换律记不牢$f^{-1}(A \cup B) f^{-1}(A) \cup f^{-1}(B)$ 这类等式看着简单但证明时一旦涉及可数并、可数交就容易写错方向。连续性的ε-δ定义与开集定义之间的等价性没打通很多工科教材只讲ε-δ不讲“开集的原像是开集”这个等价刻画导致证明时无从下手。这三个点打通了下面的证明就是水到渠成的事。2. 证明之前必须锁死的定义与前置结论2.1 可测集与可测函数的严格定义先把定义摆清楚不然后面每一步都悬空。设 $X$ 是一个集合$\mathcal{M}$ 是 $X$ 上的一个σ-代数即满足以下三条$X \in \mathcal{M}$若 $E \in \mathcal{M}$则 $E^c X \setminus E \in \mathcal{M}$若 $E_1, E_2, \ldots \in \mathcal{M}$ 是可数个集合则 $\bigcup_{n1}^{\infty} E_n \in \mathcal{M}$。称 $(X, \mathcal{M})$ 为可测空间$\mathcal{M}$ 中的集合称为可测集。在此基础上设 $f: X \to \mathbb{R}$或 $\overline{\mathbb{R}}$若对任意实数 $a$都有$$ f^{-1}((a, \infty]) {x \in X : f(x) a} \in \mathcal{M}, $$则称 $f$ 是可测函数。注意这里的阈值集合取 $(a, \infty]$ 只是一种等价刻画。实际上把 $(a, \infty]$ 换成 $[a, \infty]$、$(-\infty, a)$、$(-\infty, a]$ 中的任意一种定义都是等价的。这个等价性本身也是一道值得做的习题后面我会在排查技巧里提一下。2.2 连续函数的开集刻画工科教材里连续函数的定义通常是ε-δ形式$f: \mathbb{R} \to \mathbb{R}$ 在 $x_0$ 处连续指对任意 $\varepsilon 0$存在 $\delta 0$使得当 $|x - x_0| \delta$ 时$|f(x) - f(x_0)| \varepsilon$。但证明可测性时ε-δ形式几乎用不上真正管用的是它的开集刻画$f: \mathbb{R} \to \mathbb{R}$ 连续当且仅当对 $\mathbb{R}$ 中任意开集 $U$其原像 $f^{-1}(U)$ 也是 $\mathbb{R}$ 中的开集。这个等价性在拓扑学里是基本结论工科泛函分析教材一般会作为引理给出。它的证明思路是连续性的ε-δ定义保证每个点的邻域被映射到目标点的邻域内从而开集的原像中每个点都是内点反过来开集原像为开集直接推出ε-δ条件。2.3 Borel σ-代数与开集的可测性设 $\mathcal{B}(\mathbb{R})$ 是 $\mathbb{R}$ 上由所有开集生成的σ-代数称为Borel σ-代数其中的集合称为Borel集。由定义所有开集都是Borel集。在Lebesgue测度理论中Lebesgue σ-代数 $\mathcal{L}$ 是 $\mathcal{B}(\mathbb{R})$ 的完备化因此 $\mathcal{B}(\mathbb{R}) \subset \mathcal{L}$。也就是说所有Borel集都是Lebesgue可测集开集自然也是Lebesgue可测集。这一步是整条证明链的关键接口连续函数把开集拉回开集开集属于Borel σ-代数Borel σ-代数包含于Lebesgue σ-代数所以原像是可测集。3. 主证明连续函数可测的完整逻辑链3.1 证明的总体框架把上面的前置结论串起来证明的主线只有四步取任意实数 $a$构造开集 $U (a, \infty)$由 $f$ 连续利用开集刻画得 $f^{-1}(U)$ 是开集由开集是Borel集Borel集是Lebesgue可测集得 $f^{-1}(U)$ 可测由 $a$ 的任意性按可测函数定义得 $f$ 可测。这个框架清晰到几乎不需要解释但预习笔记里如果只写这四步你可能会在第二步和第三步之间卡住为什么开集的原像是开集为什么开集可测下面我把每一步展开。3.2 第一步构造阈值开集对任意固定的 $a \in \mathbb{R}$令$$ U_a (a, \infty) {y \in \mathbb{R} : y a}. $$$U_a$ 是 $\mathbb{R}$ 中的开集这是显然的对任意 $y_0 \in U_a$取 $\delta (y_0 - a)/2 0$则 $(y_0 - \delta, y_0 \delta) \subset U_a$。这一步看似 trivial但它是整个证明的起点。可测函数的定义要求对任意实数 $a$某个阈值集合的原像可测所以我们先把这个阈值集合明确写出来并且确认它是开集为下一步用连续性做准备。3.3 第二步连续性的开集刻画给出原像为开集由 $f$ 在 $\mathbb{R}$ 上连续根据2.2节的开集刻画对任意开集 $U \subset \mathbb{R}$$f^{-1}(U)$ 是开集。取 $U U_a (a, \infty)$得$$ f^{-1}(U_a) {x \in \mathbb{R} : f(x) a} $$是开集。这里有一个细节值得展开开集刻画中的“开集”是目标空间中的开集原像开集是定义域空间中的开集。在 $\mathbb{R}$ 到 $\mathbb{R}$ 的情形下两个空间都是 $\mathbb{R}$所以不涉及空间切换的问题。但如果定义域是 $\mathbb{R}^n$ 或更一般的拓扑空间原像开集是在定义域拓扑下开的这一点在推广时要注意。另外连续性的开集刻画通常要求 $f$ 在整个定义域上连续。如果 $f$ 只在可测集 $E$ 上连续那么严格来说$f$ 是定义在 $E$ 上的函数$E$ 作为 $\mathbb{R}$ 的子空间其上的开集是 $\mathbb{R}$ 中开集与 $E$ 的交。此时连续性应理解为子空间拓扑下的连续性原像开集是 $E$ 中的开集即 $E \cap V$ 的形式其中 $V$ 是 $\mathbb{R}$ 中的开集。这个细节在工科教材里经常被省略但预习时搞清楚后面做习题会顺很多。3.4 第三步开集的可测性由2.3节$\mathbb{R}$ 中所有开集都是Borel集而Borel σ-代数包含于Lebesgue σ-代数所以开集是Lebesgue可测集。因此 $f^{-1}(U_a)$ 可测。这一步的逻辑链是$$ \text{开集} \subset \mathcal{B}(\mathbb{R}) \subset \mathcal{L}. $$其中第一个包含关系是Borel σ-代数的定义由开集生成第二个包含关系是Lebesgue σ-代数是Borel σ-代数的完备化。提示如果你的教材把“可测集”直接定义为Borel集那么第三步只需要用到第一个包含关系。工科泛函分析教材有时会简化处理直接用Borel可测性代替Lebesgue可测性这在大多数应用场景下不影响结论。3.5 第四步由任意性得可测函数由 $a \in \mathbb{R}$ 的任意性对每个实数 $a$集合 ${x : f(x) a}$ 都可测。按2.1节可测函数的定义$f$ 是可测函数。证明完毕。把四步连起来写就是预习笔记里最精简的版本对任意 $a \in \mathbb{R}$$(a, \infty)$ 是开集。由 $f$ 连续$f^{-1}((a, \infty))$ 是开集。开集是Borel集从而是可测集。故 $f$ 可测。但如果你只记这个精简版考试时遇到“定义域是可测集$E$”或“值域是扩充实数系”的变体就容易卡壳。下面我把这些变体逐一拆开。4. 三种常见变体的处理方式4.1 定义域是可测集而非全空间设 $E \subset \mathbb{R}$ 是可测集$f: E \to \mathbb{R}$ 在 $E$ 上连续。要证 $f$ 是可测函数即对任意 $a$${x \in E : f(x) a}$ 是可测集。处理方式有两种方式一子空间拓扑。$E$ 作为 $\mathbb{R}$ 的子空间其上的开集是 $E \cap V$ 的形式$V$ 是 $\mathbb{R}$ 中的开集。由 $f$ 在 $E$ 上连续$f^{-1}((a, \infty))$ 是 $E$ 中的开集即存在 $\mathbb{R}$ 中开集 $V$使得$$ {x \in E : f(x) a} E \cap V. $$$E$ 可测$V$ 是开集从而可测可测集的交可测所以 ${x \in E : f(x) a}$ 可测。方式二延拓法。把 $f$ 延拓为 $\mathbb{R}$ 上的函数 $F$例如令 $F(x) f(x)$ 当 $x \in E$$F(x) 0$ 当 $x \notin E$。但这样延拓后 $F$ 未必连续所以不能直接用全空间上的结论。更稳妥的做法是用方式一。注意方式一中“可测集的交可测”用到了σ-代数对有限交封闭而有限交封闭可由De Morgan律和可数并封闭推出。这个细节在预习时最好自己推一遍。4.2 值域是扩充实数系如果 $f: E \to \overline{\mathbb{R}} \mathbb{R} \cup {-\infty, \infty}$连续性的定义需要调整因为扩充实数系上的拓扑与 $\mathbb{R}$ 不同。通常的做法是若 $f$ 只取有限值则归结为4.1的情形若 $f$ 取 $\pm \infty$则需要单独处理 ${x : f(x) \infty}$ 和 ${x : f(x) -\infty}$ 的可测性。在工科泛函分析的多数应用场景中连续函数通常取有限值所以这个变体出现频率不高。但如果你在做与Lebesgue积分相关的习题可能会遇到取无穷值的可测函数这时需要额外验证无穷值原像的可测性。4.3 定义域和值域都是一般拓扑空间如果 $f: X \to Y$$X$ 和 $Y$ 是一般拓扑空间$\mathcal{M}$ 是 $X$ 上的σ-代数$\mathcal{N}$ 是 $Y$ 上的σ-代数且 $\mathcal{N}$ 包含 $Y$ 的所有开集即 $\mathcal{N}$ 是Borel σ-代数或更大则 $f$ 连续推出 $f$ 关于 $\mathcal{M}$ 和 $\mathcal{N}$ 可测前提是 $\mathcal{M}$ 包含 $X$ 的所有开集。这个一般情形的证明与 $\mathbb{R}$ 上的证明完全平行对任意 $B \in \mathcal{N}$若 $B$ 是开集则 $f^{-1}(B)$ 是 $X$ 中开集从而属于 $\mathcal{M}$。但可测函数的定义通常要求对 $\mathcal{N}$ 中所有集合的原像可测而不仅仅是开集。这里需要用到原像运算保持σ-代数运算这一事实若 $\mathcal{N}$ 由开集生成则 $f^{-1}(\mathcal{N})$ 是由 $f^{-1}(\text{开集})$ 生成的σ-代数而后者包含于 $\mathcal{M}$所以 $f^{-1}(\mathcal{N}) \subset \mathcal{M}$。这个一般情形的证明在工科泛函分析里通常不作为重点但理解它有助于你把握“连续性”与“可测性”之间的本质关系连续性保证开集原像开可测性保证σ-代数原像可测而σ-代数由开集生成所以连续性是可测性的充分条件。5. 常见问题与排查技巧实录5.1 为什么不能反过来可测函数未必连续这是预习时最容易产生的误解。可测函数的定义只要求阈值集合的原像可测这个条件比连续性弱得多。典型的反例是Dirichlet函数$$ D(x) \begin{cases} 1, x \in \mathbb{Q}, \ 0, x \notin \mathbb{Q}. \end{cases} $$$D$ 在 $\mathbb{R}$ 上处处不连续但它是可测函数。验证对任意 $a$若 $a 0$${x : D(x) a} \mathbb{R}$可测若 $0 \le a 1$${x : D(x) a} \mathbb{Q}$可测有理数集是Borel集因为它是可数个单点集的并若 $a \ge 1$${x : D(x) a} \emptyset$可测。所以 $D$ 可测但不连续。这个反例说明连续性是严格强于可测性的条件。5.2 阈值集合的等价刻画怎么选可测函数定义中阈值集合可以取 $(a, \infty]$、$[a, \infty]$、$(-\infty, a)$、$(-\infty, a]$ 中的任意一种它们互相等价。证明等价性的关键是利用集合运算$$ {x : f(x) a} \bigcup_{n1}^{\infty} {x : f(x) \ge a 1/n}, $$$$ {x : f(x) \ge a} \bigcap_{n1}^{\infty} {x : f(x) a - 1/n}. $$这两个等式说明$$ 和 $\ge$ 两种阈值集合可以互相表示而σ-代数对可数并和可数交封闭所以一种阈值集合可测推出另一种也可测。实操心得做题时选哪种阈值集合取决于哪种更容易验证。连续函数的原像开集性质对开区间 $(a, \infty)$ 最直接所以证明连续函数可测时优先选 $(a, \infty)$。5.3 原像运算的常见错误原像运算与集合运算的交换律是证明中的高频工具但有几个容易写错的地方运算正确等式常见错误并集$f^{-1}(A \cup B) f^{-1}(A) \cup f^{-1}(B)$写成 $f(A \cup B)$交集$f^{-1}(A \cap B) f^{-1}(A) \cap f^{-1}(B)$写成 $f^{-1}(A) \cup f^{-1}(B)$补集$f^{-1}(A^c) (f^{-1}(A))^c$忘记取补集的范围是定义域可数并$f^{-1}(\bigcup_n A_n) \bigcup_n f^{-1}(A_n)$写成有限并可数交$f^{-1}(\bigcap_n A_n) \bigcap_n f^{-1}(A_n)$写成有限交这些等式对任意函数都成立不需要可测性或连续性。预习时最好自己动手推一遍尤其是补集那条容易在定义域上出错。5.4 连续函数可测的证明能否绕开开集可以但会麻烦很多。如果不用开集刻画直接从ε-δ定义出发需要证明对任意 $a$${x : f(x) a}$ 可测。思路是把这个集合写成可数个闭集或开集的并交组合例如$$ {x : f(x) a} \bigcup_{n1}^{\infty} {x : f(x) \ge a 1/n}, $$然后对每个 $n$证明 ${x : f(x) \ge a 1/n}$ 是闭集。闭集是可测集可数并可测所以原集合可测。证明 ${x : f(x) \ge a 1/n}$ 是闭集设 $x_k \to x$ 且 $f(x_k) \ge a 1/n$由 $f$ 连续$f(x_k) \to f(x)$所以 $f(x) \ge a 1/n$即 $x$ 属于该集合。故该集合闭。这条路径绕开了开集刻画但用到了“闭集可测”和“连续函数保持极限”两个事实。两条路径各有优劣开集刻画更简洁ε-δ路径更贴近工科教材的起点。6. 从这道证明延伸出去的知识网络6.1 可测函数与连续函数的关系图谱把这道证明放在更大的知识框架里它连接了以下几个核心概念拓扑结构开集、闭集、连续映射σ-代数结构可测集、Borel集、Lebesgue可测集函数空间连续函数空间 $C(X)$、可测函数空间 $M(X, \mathcal{M})$积分理论Lebesgue积分对可测函数定义连续函数可测保证了连续函数的Lebesgue积分有意义。这张关系图谱的核心逻辑是拓扑结构生成Borel σ-代数连续映射保持开集原像从而保持Borel集原像所以连续函数关于Borel σ-代数可测。这条逻辑链是实变函数与泛函分析中许多结论的共同基础。6.2 后续常遇到的三个相关命题学完这道证明后下面三个命题会反复出现建议一并预习可测函数列的极限可测若 $f_n$ 是可测函数则 $\sup_n f_n$、$\inf_n f_n$、$\limsup_n f_n$、$\liminf_n f_n$ 都可测。证明关键是把这些运算写成可数并交的形式。连续函数与可测函数的复合若 $f$ 可测$g$ 连续则 $g \circ f$ 可测。证明用到 $g^{-1}(\text{开集})$ 是开集而开集是Borel集。Lusin定理可测函数在去掉一个任意小测度的集合后连续。这是连续函数可测的某种“逆命题”但条件更弱结论也更强。这三个命题的证明都建立在“连续函数可测”的基础上所以这道预习笔记里的证明不是孤立的习题而是后续内容的地基。6.3 工科视角下的应用场景工科泛函分析里连续函数可测这个结论的应用场景主要有信号处理连续信号是可测函数从而可以进行Lebesgue积分这是能量谱分析的基础控制理论系统的状态轨迹通常是连续函数可测性保证了状态空间上的积分运算有意义概率论随机变量是可测函数连续随机变量的分布函数连续可测性保证了概率的计算合法。这些应用场景的共同点是需要在一个集合上做积分而积分运算要求被积函数可测。连续函数可测保证了工程中大量出现的连续信号、连续轨迹、连续分布都可以纳入Lebesgue积分框架。7. 预习笔记的整理方法与自测建议7.1 证明笔记应该记什么预习阶段整理这道证明的笔记建议按以下结构记录命题陈述完整写出“可测集上的连续函数是可测函数”注明定义域、值域、可测性的含义前置结论清单列出用到的定义和引理包括σ-代数定义、可测函数定义、连续性的开集刻画、Borel集与开集的关系证明主线用四步框架写出精简证明变体处理记录定义域为可测集、值域为扩充实数系两种变体的处理方式反例记录Dirichlet函数作为“可测但不连续”的反例延伸命题记录可测函数列极限、复合函数可测性、Lusin定理三个后续命题。这样整理的笔记复习时能快速定位每个知识点的位置也方便和后续内容建立联系。7.2 自测题与参考答案要点自测题1设 $E \subset \mathbb{R}$ 是可测集$f: E \to \mathbb{R}$ 连续。证明对任意 $a$${x \in E : f(x) \ge a}$ 可测。参考答案要点${x \in E : f(x) \ge a} \bigcap_{n1}^{\infty} {x \in E : f(x) a - 1/n}$每个 ${x \in E : f(x) a - 1/n}$ 可测可数交可测。自测题2证明可测函数定义中阈值集合取 $(a, \infty)$ 和取 $[a, \infty)$ 等价。参考答案要点用5.2节的两个等式互相表示利用σ-代数对可数并交封闭。自测题3举一个可测但不连续的函数例子并验证其可测性。参考答案要点Dirichlet函数按5.1节分三种情况验证。自测题4若 $f$ 可测$g$ 连续证明 $g \circ f$ 可测。参考答案要点对任意开集 $U$$(g \circ f)^{-1}(U) f^{-1}(g^{-1}(U))$$g^{-1}(U)$ 是开集从而是Borel集$f$ 可测保证Borel集原像可测。7.3 我自己的预习节奏建议最后分享一点我自己的预习节奏。实变函数和泛函分析这类课程预习时不要贪多一天吃透一个命题的完整证明链就够了。具体做法是第一遍只看命题陈述和证明主线不纠结细节建立整体印象第二遍逐行推导每个“显然”“由定义”都自己补一遍卡住的地方标记出来第三遍做变体和自测题检验是否真的理解第四遍把这道证明和前后章节的命题连起来画一张知识关系图。这道“连续函数可测”的证明我前后过了三遍才真正通透。第一遍觉得是废话第二遍发现开集刻画和Borel集的关系没打通第三遍才把σ-代数、拓扑结构、原像运算三条线拧成一股。如果你也在预习阶段建议不要跳过这道“看起来显然”的证明它背后藏着实变函数最核心的思维方式用集合运算的语言翻译函数性质用σ-代数的封闭性保证翻译后的集合可测。这个思维方式一旦建立后面可测函数列、Lusin定理、Lebesgue积分三大收敛定理的证明都会顺很多。 连续函数可测性证明：从拓扑到σ-代数的完整逻辑链
1. 为什么这个命题值得单独拎出来证明1.1 从一道预习笔记里的证明题说起工科背景的人学泛函分析多半绕不开实变函数这块硬骨头而实变函数里最先让人产生“这也要证”困惑的命题之一就是可测集上的连续函数是可测函数。直觉上连续函数图像是一条连绵不断的曲线可测函数无非是要求“对任意实数阈值函数值大于该阈值的原像集合是可测集”连续函数的原像本身就是开集开集当然可测这看起来几乎是废话。但预习笔记里把它单独列出来证明是有道理的。原因在于连续性的定义建立在拓扑结构上可测性的定义建立在σ-代数结构上这两套语言在逻辑上是平行的并不天然包含对方。换句话说连续函数可测这件事不是“显然成立”而是“拓扑结构与Borel σ-代数相容”这一深层事实的直接推论。把这条证明吃透后面学可测函数列的极限运算、Lusin定理、乃至Lebesgue积分与Riemann积分的关系时很多结论的证明思路都能顺下来。这篇笔记面向的是正在预习工科泛函分析、实变函数基础还不太扎实的读者。我会把证明的完整逻辑链拆开补上预习笔记里通常省略的细节包括σ-代数的定义回顾、Borel集与开集的关系、原像运算与集合运算的交换律以及为什么“连续”这个条件不能随便削弱。同时我会给出几种不同的证明路径方便你根据自己的知识储备选择最容易接受的那条。1.2 预习阶段最容易卡住的三个点在正式进入证明之前先把我自己预习时踩过的坑列出来你大概率也会遇到分不清“开集可测”和“开集是Borel集”开集可测是因为Borel σ-代数包含所有开集而Lebesgue σ-代数是Borel σ-代数的完备化。这两个“可测”在大多数工科教材里是混用的但严格来说有区别。原像与集合运算的交换律记不牢$f^{-1}(A \cup B) f^{-1}(A) \cup f^{-1}(B)$ 这类等式看着简单但证明时一旦涉及可数并、可数交就容易写错方向。连续性的ε-δ定义与开集定义之间的等价性没打通很多工科教材只讲ε-δ不讲“开集的原像是开集”这个等价刻画导致证明时无从下手。这三个点打通了下面的证明就是水到渠成的事。2. 证明之前必须锁死的定义与前置结论2.1 可测集与可测函数的严格定义先把定义摆清楚不然后面每一步都悬空。设 $X$ 是一个集合$\mathcal{M}$ 是 $X$ 上的一个σ-代数即满足以下三条$X \in \mathcal{M}$若 $E \in \mathcal{M}$则 $E^c X \setminus E \in \mathcal{M}$若 $E_1, E_2, \ldots \in \mathcal{M}$ 是可数个集合则 $\bigcup_{n1}^{\infty} E_n \in \mathcal{M}$。称 $(X, \mathcal{M})$ 为可测空间$\mathcal{M}$ 中的集合称为可测集。在此基础上设 $f: X \to \mathbb{R}$或 $\overline{\mathbb{R}}$若对任意实数 $a$都有$$ f^{-1}((a, \infty]) {x \in X : f(x) a} \in \mathcal{M}, $$则称 $f$ 是可测函数。注意这里的阈值集合取 $(a, \infty]$ 只是一种等价刻画。实际上把 $(a, \infty]$ 换成 $[a, \infty]$、$(-\infty, a)$、$(-\infty, a]$ 中的任意一种定义都是等价的。这个等价性本身也是一道值得做的习题后面我会在排查技巧里提一下。2.2 连续函数的开集刻画工科教材里连续函数的定义通常是ε-δ形式$f: \mathbb{R} \to \mathbb{R}$ 在 $x_0$ 处连续指对任意 $\varepsilon 0$存在 $\delta 0$使得当 $|x - x_0| \delta$ 时$|f(x) - f(x_0)| \varepsilon$。但证明可测性时ε-δ形式几乎用不上真正管用的是它的开集刻画$f: \mathbb{R} \to \mathbb{R}$ 连续当且仅当对 $\mathbb{R}$ 中任意开集 $U$其原像 $f^{-1}(U)$ 也是 $\mathbb{R}$ 中的开集。这个等价性在拓扑学里是基本结论工科泛函分析教材一般会作为引理给出。它的证明思路是连续性的ε-δ定义保证每个点的邻域被映射到目标点的邻域内从而开集的原像中每个点都是内点反过来开集原像为开集直接推出ε-δ条件。2.3 Borel σ-代数与开集的可测性设 $\mathcal{B}(\mathbb{R})$ 是 $\mathbb{R}$ 上由所有开集生成的σ-代数称为Borel σ-代数其中的集合称为Borel集。由定义所有开集都是Borel集。在Lebesgue测度理论中Lebesgue σ-代数 $\mathcal{L}$ 是 $\mathcal{B}(\mathbb{R})$ 的完备化因此 $\mathcal{B}(\mathbb{R}) \subset \mathcal{L}$。也就是说所有Borel集都是Lebesgue可测集开集自然也是Lebesgue可测集。这一步是整条证明链的关键接口连续函数把开集拉回开集开集属于Borel σ-代数Borel σ-代数包含于Lebesgue σ-代数所以原像是可测集。3. 主证明连续函数可测的完整逻辑链3.1 证明的总体框架把上面的前置结论串起来证明的主线只有四步取任意实数 $a$构造开集 $U (a, \infty)$由 $f$ 连续利用开集刻画得 $f^{-1}(U)$ 是开集由开集是Borel集Borel集是Lebesgue可测集得 $f^{-1}(U)$ 可测由 $a$ 的任意性按可测函数定义得 $f$ 可测。这个框架清晰到几乎不需要解释但预习笔记里如果只写这四步你可能会在第二步和第三步之间卡住为什么开集的原像是开集为什么开集可测下面我把每一步展开。3.2 第一步构造阈值开集对任意固定的 $a \in \mathbb{R}$令$$ U_a (a, \infty) {y \in \mathbb{R} : y a}. $$$U_a$ 是 $\mathbb{R}$ 中的开集这是显然的对任意 $y_0 \in U_a$取 $\delta (y_0 - a)/2 0$则 $(y_0 - \delta, y_0 \delta) \subset U_a$。这一步看似 trivial但它是整个证明的起点。可测函数的定义要求对任意实数 $a$某个阈值集合的原像可测所以我们先把这个阈值集合明确写出来并且确认它是开集为下一步用连续性做准备。3.3 第二步连续性的开集刻画给出原像为开集由 $f$ 在 $\mathbb{R}$ 上连续根据2.2节的开集刻画对任意开集 $U \subset \mathbb{R}$$f^{-1}(U)$ 是开集。取 $U U_a (a, \infty)$得$$ f^{-1}(U_a) {x \in \mathbb{R} : f(x) a} $$是开集。这里有一个细节值得展开开集刻画中的“开集”是目标空间中的开集原像开集是定义域空间中的开集。在 $\mathbb{R}$ 到 $\mathbb{R}$ 的情形下两个空间都是 $\mathbb{R}$所以不涉及空间切换的问题。但如果定义域是 $\mathbb{R}^n$ 或更一般的拓扑空间原像开集是在定义域拓扑下开的这一点在推广时要注意。另外连续性的开集刻画通常要求 $f$ 在整个定义域上连续。如果 $f$ 只在可测集 $E$ 上连续那么严格来说$f$ 是定义在 $E$ 上的函数$E$ 作为 $\mathbb{R}$ 的子空间其上的开集是 $\mathbb{R}$ 中开集与 $E$ 的交。此时连续性应理解为子空间拓扑下的连续性原像开集是 $E$ 中的开集即 $E \cap V$ 的形式其中 $V$ 是 $\mathbb{R}$ 中的开集。这个细节在工科教材里经常被省略但预习时搞清楚后面做习题会顺很多。3.4 第三步开集的可测性由2.3节$\mathbb{R}$ 中所有开集都是Borel集而Borel σ-代数包含于Lebesgue σ-代数所以开集是Lebesgue可测集。因此 $f^{-1}(U_a)$ 可测。这一步的逻辑链是$$ \text{开集} \subset \mathcal{B}(\mathbb{R}) \subset \mathcal{L}. $$其中第一个包含关系是Borel σ-代数的定义由开集生成第二个包含关系是Lebesgue σ-代数是Borel σ-代数的完备化。提示如果你的教材把“可测集”直接定义为Borel集那么第三步只需要用到第一个包含关系。工科泛函分析教材有时会简化处理直接用Borel可测性代替Lebesgue可测性这在大多数应用场景下不影响结论。3.5 第四步由任意性得可测函数由 $a \in \mathbb{R}$ 的任意性对每个实数 $a$集合 ${x : f(x) a}$ 都可测。按2.1节可测函数的定义$f$ 是可测函数。证明完毕。把四步连起来写就是预习笔记里最精简的版本对任意 $a \in \mathbb{R}$$(a, \infty)$ 是开集。由 $f$ 连续$f^{-1}((a, \infty))$ 是开集。开集是Borel集从而是可测集。故 $f$ 可测。但如果你只记这个精简版考试时遇到“定义域是可测集$E$”或“值域是扩充实数系”的变体就容易卡壳。下面我把这些变体逐一拆开。4. 三种常见变体的处理方式4.1 定义域是可测集而非全空间设 $E \subset \mathbb{R}$ 是可测集$f: E \to \mathbb{R}$ 在 $E$ 上连续。要证 $f$ 是可测函数即对任意 $a$${x \in E : f(x) a}$ 是可测集。处理方式有两种方式一子空间拓扑。$E$ 作为 $\mathbb{R}$ 的子空间其上的开集是 $E \cap V$ 的形式$V$ 是 $\mathbb{R}$ 中的开集。由 $f$ 在 $E$ 上连续$f^{-1}((a, \infty))$ 是 $E$ 中的开集即存在 $\mathbb{R}$ 中开集 $V$使得$$ {x \in E : f(x) a} E \cap V. $$$E$ 可测$V$ 是开集从而可测可测集的交可测所以 ${x \in E : f(x) a}$ 可测。方式二延拓法。把 $f$ 延拓为 $\mathbb{R}$ 上的函数 $F$例如令 $F(x) f(x)$ 当 $x \in E$$F(x) 0$ 当 $x \notin E$。但这样延拓后 $F$ 未必连续所以不能直接用全空间上的结论。更稳妥的做法是用方式一。注意方式一中“可测集的交可测”用到了σ-代数对有限交封闭而有限交封闭可由De Morgan律和可数并封闭推出。这个细节在预习时最好自己推一遍。4.2 值域是扩充实数系如果 $f: E \to \overline{\mathbb{R}} \mathbb{R} \cup {-\infty, \infty}$连续性的定义需要调整因为扩充实数系上的拓扑与 $\mathbb{R}$ 不同。通常的做法是若 $f$ 只取有限值则归结为4.1的情形若 $f$ 取 $\pm \infty$则需要单独处理 ${x : f(x) \infty}$ 和 ${x : f(x) -\infty}$ 的可测性。在工科泛函分析的多数应用场景中连续函数通常取有限值所以这个变体出现频率不高。但如果你在做与Lebesgue积分相关的习题可能会遇到取无穷值的可测函数这时需要额外验证无穷值原像的可测性。4.3 定义域和值域都是一般拓扑空间如果 $f: X \to Y$$X$ 和 $Y$ 是一般拓扑空间$\mathcal{M}$ 是 $X$ 上的σ-代数$\mathcal{N}$ 是 $Y$ 上的σ-代数且 $\mathcal{N}$ 包含 $Y$ 的所有开集即 $\mathcal{N}$ 是Borel σ-代数或更大则 $f$ 连续推出 $f$ 关于 $\mathcal{M}$ 和 $\mathcal{N}$ 可测前提是 $\mathcal{M}$ 包含 $X$ 的所有开集。这个一般情形的证明与 $\mathbb{R}$ 上的证明完全平行对任意 $B \in \mathcal{N}$若 $B$ 是开集则 $f^{-1}(B)$ 是 $X$ 中开集从而属于 $\mathcal{M}$。但可测函数的定义通常要求对 $\mathcal{N}$ 中所有集合的原像可测而不仅仅是开集。这里需要用到原像运算保持σ-代数运算这一事实若 $\mathcal{N}$ 由开集生成则 $f^{-1}(\mathcal{N})$ 是由 $f^{-1}(\text{开集})$ 生成的σ-代数而后者包含于 $\mathcal{M}$所以 $f^{-1}(\mathcal{N}) \subset \mathcal{M}$。这个一般情形的证明在工科泛函分析里通常不作为重点但理解它有助于你把握“连续性”与“可测性”之间的本质关系连续性保证开集原像开可测性保证σ-代数原像可测而σ-代数由开集生成所以连续性是可测性的充分条件。5. 常见问题与排查技巧实录5.1 为什么不能反过来可测函数未必连续这是预习时最容易产生的误解。可测函数的定义只要求阈值集合的原像可测这个条件比连续性弱得多。典型的反例是Dirichlet函数$$ D(x) \begin{cases} 1, x \in \mathbb{Q}, \ 0, x \notin \mathbb{Q}. \end{cases} $$$D$ 在 $\mathbb{R}$ 上处处不连续但它是可测函数。验证对任意 $a$若 $a 0$${x : D(x) a} \mathbb{R}$可测若 $0 \le a 1$${x : D(x) a} \mathbb{Q}$可测有理数集是Borel集因为它是可数个单点集的并若 $a \ge 1$${x : D(x) a} \emptyset$可测。所以 $D$ 可测但不连续。这个反例说明连续性是严格强于可测性的条件。5.2 阈值集合的等价刻画怎么选可测函数定义中阈值集合可以取 $(a, \infty]$、$[a, \infty]$、$(-\infty, a)$、$(-\infty, a]$ 中的任意一种它们互相等价。证明等价性的关键是利用集合运算$$ {x : f(x) a} \bigcup_{n1}^{\infty} {x : f(x) \ge a 1/n}, $$$$ {x : f(x) \ge a} \bigcap_{n1}^{\infty} {x : f(x) a - 1/n}. $$这两个等式说明$$ 和 $\ge$ 两种阈值集合可以互相表示而σ-代数对可数并和可数交封闭所以一种阈值集合可测推出另一种也可测。实操心得做题时选哪种阈值集合取决于哪种更容易验证。连续函数的原像开集性质对开区间 $(a, \infty)$ 最直接所以证明连续函数可测时优先选 $(a, \infty)$。5.3 原像运算的常见错误原像运算与集合运算的交换律是证明中的高频工具但有几个容易写错的地方运算正确等式常见错误并集$f^{-1}(A \cup B) f^{-1}(A) \cup f^{-1}(B)$写成 $f(A \cup B)$交集$f^{-1}(A \cap B) f^{-1}(A) \cap f^{-1}(B)$写成 $f^{-1}(A) \cup f^{-1}(B)$补集$f^{-1}(A^c) (f^{-1}(A))^c$忘记取补集的范围是定义域可数并$f^{-1}(\bigcup_n A_n) \bigcup_n f^{-1}(A_n)$写成有限并可数交$f^{-1}(\bigcap_n A_n) \bigcap_n f^{-1}(A_n)$写成有限交这些等式对任意函数都成立不需要可测性或连续性。预习时最好自己动手推一遍尤其是补集那条容易在定义域上出错。5.4 连续函数可测的证明能否绕开开集可以但会麻烦很多。如果不用开集刻画直接从ε-δ定义出发需要证明对任意 $a$${x : f(x) a}$ 可测。思路是把这个集合写成可数个闭集或开集的并交组合例如$$ {x : f(x) a} \bigcup_{n1}^{\infty} {x : f(x) \ge a 1/n}, $$然后对每个 $n$证明 ${x : f(x) \ge a 1/n}$ 是闭集。闭集是可测集可数并可测所以原集合可测。证明 ${x : f(x) \ge a 1/n}$ 是闭集设 $x_k \to x$ 且 $f(x_k) \ge a 1/n$由 $f$ 连续$f(x_k) \to f(x)$所以 $f(x) \ge a 1/n$即 $x$ 属于该集合。故该集合闭。这条路径绕开了开集刻画但用到了“闭集可测”和“连续函数保持极限”两个事实。两条路径各有优劣开集刻画更简洁ε-δ路径更贴近工科教材的起点。6. 从这道证明延伸出去的知识网络6.1 可测函数与连续函数的关系图谱把这道证明放在更大的知识框架里它连接了以下几个核心概念拓扑结构开集、闭集、连续映射σ-代数结构可测集、Borel集、Lebesgue可测集函数空间连续函数空间 $C(X)$、可测函数空间 $M(X, \mathcal{M})$积分理论Lebesgue积分对可测函数定义连续函数可测保证了连续函数的Lebesgue积分有意义。这张关系图谱的核心逻辑是拓扑结构生成Borel σ-代数连续映射保持开集原像从而保持Borel集原像所以连续函数关于Borel σ-代数可测。这条逻辑链是实变函数与泛函分析中许多结论的共同基础。6.2 后续常遇到的三个相关命题学完这道证明后下面三个命题会反复出现建议一并预习可测函数列的极限可测若 $f_n$ 是可测函数则 $\sup_n f_n$、$\inf_n f_n$、$\limsup_n f_n$、$\liminf_n f_n$ 都可测。证明关键是把这些运算写成可数并交的形式。连续函数与可测函数的复合若 $f$ 可测$g$ 连续则 $g \circ f$ 可测。证明用到 $g^{-1}(\text{开集})$ 是开集而开集是Borel集。Lusin定理可测函数在去掉一个任意小测度的集合后连续。这是连续函数可测的某种“逆命题”但条件更弱结论也更强。这三个命题的证明都建立在“连续函数可测”的基础上所以这道预习笔记里的证明不是孤立的习题而是后续内容的地基。6.3 工科视角下的应用场景工科泛函分析里连续函数可测这个结论的应用场景主要有信号处理连续信号是可测函数从而可以进行Lebesgue积分这是能量谱分析的基础控制理论系统的状态轨迹通常是连续函数可测性保证了状态空间上的积分运算有意义概率论随机变量是可测函数连续随机变量的分布函数连续可测性保证了概率的计算合法。这些应用场景的共同点是需要在一个集合上做积分而积分运算要求被积函数可测。连续函数可测保证了工程中大量出现的连续信号、连续轨迹、连续分布都可以纳入Lebesgue积分框架。7. 预习笔记的整理方法与自测建议7.1 证明笔记应该记什么预习阶段整理这道证明的笔记建议按以下结构记录命题陈述完整写出“可测集上的连续函数是可测函数”注明定义域、值域、可测性的含义前置结论清单列出用到的定义和引理包括σ-代数定义、可测函数定义、连续性的开集刻画、Borel集与开集的关系证明主线用四步框架写出精简证明变体处理记录定义域为可测集、值域为扩充实数系两种变体的处理方式反例记录Dirichlet函数作为“可测但不连续”的反例延伸命题记录可测函数列极限、复合函数可测性、Lusin定理三个后续命题。这样整理的笔记复习时能快速定位每个知识点的位置也方便和后续内容建立联系。7.2 自测题与参考答案要点自测题1设 $E \subset \mathbb{R}$ 是可测集$f: E \to \mathbb{R}$ 连续。证明对任意 $a$${x \in E : f(x) \ge a}$ 可测。参考答案要点${x \in E : f(x) \ge a} \bigcap_{n1}^{\infty} {x \in E : f(x) a - 1/n}$每个 ${x \in E : f(x) a - 1/n}$ 可测可数交可测。自测题2证明可测函数定义中阈值集合取 $(a, \infty)$ 和取 $[a, \infty)$ 等价。参考答案要点用5.2节的两个等式互相表示利用σ-代数对可数并交封闭。自测题3举一个可测但不连续的函数例子并验证其可测性。参考答案要点Dirichlet函数按5.1节分三种情况验证。自测题4若 $f$ 可测$g$ 连续证明 $g \circ f$ 可测。参考答案要点对任意开集 $U$$(g \circ f)^{-1}(U) f^{-1}(g^{-1}(U))$$g^{-1}(U)$ 是开集从而是Borel集$f$ 可测保证Borel集原像可测。7.3 我自己的预习节奏建议最后分享一点我自己的预习节奏。实变函数和泛函分析这类课程预习时不要贪多一天吃透一个命题的完整证明链就够了。具体做法是第一遍只看命题陈述和证明主线不纠结细节建立整体印象第二遍逐行推导每个“显然”“由定义”都自己补一遍卡住的地方标记出来第三遍做变体和自测题检验是否真的理解第四遍把这道证明和前后章节的命题连起来画一张知识关系图。这道“连续函数可测”的证明我前后过了三遍才真正通透。第一遍觉得是废话第二遍发现开集刻画和Borel集的关系没打通第三遍才把σ-代数、拓扑结构、原像运算三条线拧成一股。如果你也在预习阶段建议不要跳过这道“看起来显然”的证明它背后藏着实变函数最核心的思维方式用集合运算的语言翻译函数性质用σ-代数的封闭性保证翻译后的集合可测。这个思维方式一旦建立后面可测函数列、Lusin定理、Lebesgue积分三大收敛定理的证明都会顺很多。