1. 为什么这个命题值得单独拎出来证明如果你正在预习工科方向的泛函分析或者正在为实变函数与泛函分析的期中期末做准备那你大概率会在第一章就撞上这个命题可测集上的连续函数都是可测函数。这句话看起来特别废话——连续函数那么好的性质可测不是理所当然的吗但恰恰是这种看起来显然的命题考试里最爱考因为它串联了可测集、可测函数、连续映射、开集原像这几块最基础也最容易混淆的概念。我先说清楚这篇笔记的定位它不是教科书式的定理罗列而是一个正在预习的人把证明思路、每一步为什么这么走、哪里容易卡壳、考试会怎么变着法儿考你全部摊开来梳理一遍。适合两类人看一类是刚接触实变函数、对可测这个概念还停留在定义层面、做题时不知道从哪下手的同学另一类是学过一遍但证明细节记不清、需要快速重建逻辑链的人。核心结论先摆出来设 (E \subset \mathbb{R}^n) 是可测集(f: E \to \mathbb{R}) 是连续函数则 (f) 是 (E) 上的可测函数。证明的关键只有一句话——连续函数的开集原像是开集而开集是可测集于是可测函数的定义条件被满足。但这一句话背后藏着好几个必须交代清楚的技术细节下面逐个拆。2. 证明之前必须锁死的几个定义2.1 可测函数到底是怎么定义的很多人证明写不下去根本原因不是不会证而是定义没记牢。可测函数的定义有好几种等价说法工科教材里最常见的是这一条设 (E \subset \mathbb{R}^n) 是可测集(f: E \to \mathbb{R})。若对任意实数 (a)集合 [ {x \in E : f(x) a} ] 都是可测集则称 (f) 是 (E) 上的可测函数。注意这里用的是 (f(x) a)不是 (\geq)也不是 ( a)。这三种写法在可测性上是等价的但证明时必须选一个固定下来否则逻辑会乱。我建议你统一用 (f(x) a) 这一条因为后面构造开集的时候最顺手。为什么定义里用的是水平集而不是别的因为可测函数的核心思想是用函数值把定义域切成一层层每一层都要求是可测集。这跟黎曼积分里用分割逼近的思路是一脉相承的只不过勒贝格积分要求这些层必须是可测的才能定义测度和积分。2.2 连续函数的拓扑刻画连续函数有 (\varepsilon)-(\delta) 定义也有拓扑定义。证明这个命题必须用拓扑定义因为 (\varepsilon)-(\delta) 是逐点的而可测性是集合层面的两者不在一个维度上。拓扑定义是这样的(f: E \to \mathbb{R}) 连续当且仅当对 (\mathbb{R}) 中任意开集 (G)其原像 [ f^{-1}(G) {x \in E : f(x) \in G} ] 是 (E) 中相对于 (E) 的开集即存在 (\mathbb{R}^n) 中的开集 (U)使得 (f^{-1}(G) U \cap E)。这里有个容易忽略的点(f) 的定义域是 (E)不是整个 (\mathbb{R}^n)。所以原像的开性是相对于 (E) 而言的不是相对于 (\mathbb{R}^n)。这个细节在证明里必须体现否则严格性上会被扣分。2.3 相对开集与可测性的关系既然原像是相对开集那它可测吗这就涉及到可测集的一个基本性质若 (E) 可测(U) 是 (\mathbb{R}^n) 中的开集则 (U \cap E) 可测。理由很直接开集 (U) 可测因为开集都是博雷尔集博雷尔集都可测而可测集的交仍可测。所以 (U \cap E) 可测。这条性质是整个证明的最后一公里。很多人证到原像是相对开集就停了忘了补一句相对开集是可测集结果证明不完整。3. 完整证明的逐步拆解3.1 证明的主线逻辑先把主线理清楚再填细节。整个证明分四步任取实数 (a)构造 (\mathbb{R}) 中的开集 (G (a, \infty))由 (f) 连续得 (f^{-1}(G)) 是 (E) 中的相对开集相对开集可写成 (U \cap E)其中 (U) 是 (\mathbb{R}^n) 中开集由 (U) 可测、(E) 可测得 (U \cap E) 可测即 ({x \in E: f(x) a}) 可测。四步走完由 (a) 的任意性(f) 可测。这个逻辑链没有任何跳跃但每一步都有需要交代的理由。下面逐步展开。3.2 第一步为什么选开集 ((a, \infty))可测函数定义里要求的是 ({f a}) 可测。而 ({f a} f^{-1}((a, \infty)))。所以自然要把 ((a, \infty)) 拿出来。((a, \infty)) 是开集这一点不用证是实数轴上的基本事实。选它的好处是开集的原像有现成的连续性定理可用不需要额外构造。如果你用的是 ({f \geq a}) 这个版本的定义那就得选 ([a, \infty))但这是闭集连续函数的闭集原像是闭集闭集可测也能证。不过闭集原像的定理不如开集原像的定理常用所以还是选开集版本更稳。3.3 第二步连续性的直接调用由 (f: E \to \mathbb{R}) 连续根据连续函数的拓扑刻画对开集 ((a, \infty))其原像 (f^{-1}((a, \infty))) 是 (E) 中的相对开集。这一步是白给的只要你记得连续性的拓扑等价定义。但考试里经常有人在这里卡住因为他脑子里只有 (\varepsilon)-(\delta)不知道怎么从逐点定义跳到集合定义。我的建议是把连续性的拓扑刻画当成一个独立定理背下来不要每次现推。3.4 第三步相对开集的显式表示相对开集的定义是存在 (\mathbb{R}^n) 中的开集 (U)使得 (f^{-1}((a, \infty)) U \cap E)。这一步是存在性陈述不需要构造具体的 (U)。但如果你想写得更具体可以取 [ U \bigcup_{x \in f^{-1}((a,\infty))} B(x, \delta_x) ] 其中 (\delta_x) 是连续性给出的那个邻域半径。这个 (U) 是开集开球的并且满足 (U \cap E f^{-1}((a,\infty)))。不过考试里一般不需要写这么细直接引用相对开集的定义即可。3.5 第四步可测性的收尾(U) 是 (\mathbb{R}^n) 中的开集所以 (U) 可测。(E) 已知可测。可测集的交可测所以 (U \cap E) 可测。于是 ({x \in E: f(x) a} U \cap E) 可测。由 (a) 任意(f) 可测。证毕。这四步里第三步和第四步是最容易被省略的。很多人觉得相对开集当然可测但严格证明里必须把相对开集 开集交 (E)和可测集交可测集可测这两条都写出来。这是拿满分和拿部分分的区别。4. 证明里最容易踩的五个坑4.1 把相对开集当成开集这是最高频的错误。(f^{-1}((a,\infty))) 是 (E) 中的相对开集不是 (\mathbb{R}^n) 中的开集。举个例子(E [0,1])(f(x) x)则 (f^{-1}((0.5, \infty)) (0.5, 1])。这个集合在 (\mathbb{R}) 中不是开集因为 (1) 不是内点但在 (E) 中是相对开集因为 ((0.5, 1] (0.5, 1.5) \cap [0,1])。如果你直接说原像是开集那就错了。必须说相对开集。4.2 忘记 (E) 可测这个前提命题里可测集上的连续函数这个可测集上不是装饰是必须用的。如果 (E) 不可测那 (U \cap E) 就未必可测整个证明就断了。所以证明里必须显式用到(E) 可测。我见过有人证到最后一步写(U \cap E) 可测但没说明为什么阅卷老师会追问(E) 可测用在哪了答案就是用在这一步。4.3 混淆 (f(x) a) 和 (f(x) \geq a)定义里用的是 ()证明里就必须用 ()。如果你中途换成 (\geq)那开集 ((a, \infty)) 就得换成 ([a, \infty))虽然结论一样但证明路径变了容易自乱阵脚。统一用 ()从头到尾不要换。4.4 忽略 (a) 的任意性可测函数定义要求对任意实数 (a)。证明里必须体现这一点。常见写法是开头写任取 (a \in \mathbb{R})结尾写由 (a) 的任意性。这两句话不能省否则逻辑不闭合。4.5 把连续和可测的因果关系搞反连续 (\Rightarrow) 可测但可测 (\nRightarrow) 连续。这个命题只证一个方向。考试里如果问你可测函数是否一定连续答案是否定的反例是狄利克雷函数有理数集上取 1无理数集上取 0它可测但不连续。证明里不要试图去证逆命题也不要在结尾画蛇添足说反之亦然。5. 这个命题在泛函分析里的位置5.1 它是勒贝格积分理论的入口泛函分析里勒贝格积分是核心工具之一。而勒贝格积分的定义要求被积函数是可测函数。所以连续函数可测这个命题实际上是保证了连续函数都可以做勒贝格积分。这一点在工科背景下特别重要。工科里遇到的函数大多是连续的或者分段连续的如果连续函数不可测那勒贝格积分就没法用整个理论就塌了。所以这个命题是理论自洽性的基石。5.2 它是 (L^p) 空间理论的前提泛函分析里另一个核心是 (L^p) 空间。(L^p) 空间里的元素是可测函数更准确说是几乎处处相等的可测函数等价类。如果连续函数不可测那连续函数就不一定属于 (L^p)很多逼近定理就没法陈述。所以这个命题虽然简单但它是后面一大堆定理的地基。预习的时候不要因为它简单就跳过反而要把它证得滚瓜烂熟因为后面很多证明都会用到类似的开集原像 可测性套路。5.3 它和博雷尔可测的关系严格来说连续函数不仅是勒贝格可测还是博雷尔可测。因为开集是博雷尔集开集原像是相对开集相对开集是博雷尔集开集交博雷尔集所以 ({f a}) 是博雷尔集。博雷尔可测比勒贝格可测更强。工科教材里一般只要求勒贝格可测但如果你在证明里直接说原像是博雷尔集也是对的而且更简洁。不过为了跟教材定义对齐还是用勒贝格可测的说法更稳妥。6. 考试里这个命题会怎么变6.1 直接考证明最基础的考法就是原题证明可测集上的连续函数可测。这种题分值一般 8 到 10 分按上面四步写每步都有分。评分点通常是构造开集2 分、调用连续性2 分、相对开集表示2 分、可测性收尾2 分、任意性总结2 分。少一步扣一步。6.2 考推广形式常见变体是证明可测集上的连续函数列的可测性或者证明连续函数与可测函数的复合可测。前者用可测函数列的极限可测这一定理后者用连续函数可测 可测函数复合可测这一定理。但复合的证明要小心因为 (f) 连续、(g) 可测(f \circ g) 可测这个结论对但证明不能直接套用上面的四步需要先证可测函数的连续函数复合可测。6.3 考反例有时候会问可测函数是否一定连续举反例。这时候狄利克雷函数是标准答案。或者问连续函数是否一定可测这是原命题答是。反例题的关键是反例要具体、可验证。狄利克雷函数可测因为有理数集可测、无理数集可测但不连续因为处处不连续。这个反例要背下来。6.4 考与几乎处处连续的关系还有一个进阶考法几乎处处连续的函数是否可测答案是肯定的因为几乎处处连续意味着不连续点集是零测集零测集可测连续点集可测函数在连续点集上可测在不连续点集上可测零测集上任意函数可测所以整体可测。这个证明比原命题复杂但思路是一样的把定义域拆成可测的两块分别证可测。7. 预习这个命题的实操建议7.1 先默写定义再动手证明我自己的习惯是证任何命题之前先把涉及的定义默写一遍。可测集、可测函数、连续函数、相对开集这四个定义必须能一字不差地写出来。写不出来就别急着证因为证到一半肯定会卡。默写完之后把定义里的关键词圈出来。比如可测函数定义里的任意实数 (a)、(f(x) a)、可测集这三个词就是证明里必须回应的点。7.2 用目标反推法找思路证明卡住的时候从结论反推。结论是 ({f a}) 可测。要证它可测得先知道它是什么。它是 (f^{-1}((a,\infty)))。要证这个原像可测得知道它有什么性质。由连续性它是相对开集。相对开集可测吗可测因为它是开集交 (E)。这样一步步反推思路就出来了。比正着硬推要快得多。7.3 把证明写成四句话我复习的时候会把每个证明压缩成四句话背下来。这个命题的四句话是取开集 ((a,\infty))原像是相对开集相对开集等于开集交 (E)开集可测(E) 可测交可测由 (a) 任意(f) 可测。四句话背熟考试直接展开成完整证明不会漏点。7.4 动手写一遍不要只看这是最重要的建议。看别人证一遍觉得自己会了一动手就卡。必须自己拿纸笔写一遍写的时候不要看书写完再对照。我第一遍写的时候就在相对开集可测这一步卡住了因为忘了开集交可测集可测这条性质。写一遍就记住了。7.5 配套练习证可测集上的连续函数列的可测性学完这个命题顺手把可测函数列的极限可测也证一遍。这两个命题经常连着考而且证明思路有相似之处都是把集合拆成可测的部分。一起证印象更深。8. 常见问题速查问题原因解决方法证到原像是相对开集就停了忘了相对开集可测补一句相对开集 开集交 (E)可测说原像是开集混淆相对开集与开集改成相对开集并说明相对于 (E)没用到 (E) 可测漏了前提在交可测那一步显式写出 (E) 可测用 (\geq) 代替 ()定义记混统一用 ()开集取 ((a,\infty))忘了 (a) 任意逻辑不闭合开头任取 (a)结尾由 (a) 任意试图证逆命题画蛇添足只证连续 (\Rightarrow) 可测不证反向这张表是我自己踩坑之后整理的考试前扫一眼能避免大部分低级错误。9. 一个容易被忽略的细节(E) 是 (\mathbb{R}^n) 的子集工科教材里(E) 通常是 (\mathbb{R}^n) 的子集(n) 可能是 1、2、3也可能是任意正整数。证明里所有涉及开集、开球的地方都要在 (\mathbb{R}^n) 的框架下理解。比如开集 (U)是 (\mathbb{R}^n) 中的开集开球 (B(x,\delta))是 (\mathbb{R}^n) 中的开球。如果 (n1)开球就是开区间如果 (n2)开球就是开圆盘。这些具体形式不影响证明但理解的时候要清楚维度。另外(f) 的值域是 (\mathbb{R})不是 (\mathbb{R}^m)。如果值域是 (\mathbb{R}^m)命题依然成立但证明里开集要取 (\mathbb{R}^m) 中的开集稍微复杂一点。工科教材一般只要求值域是 (\mathbb{R})所以按 (\mathbb{R}) 来证就行。10. 我个人预习这个命题的体会最后说点实在的。这个命题我第一遍看的时候觉得这还用证结果第一次考试就考了我写了三行就写不下去了因为相对开集可测这一步我根本没意识到需要证。后来我把证明拆成四步每步都问自己为什么可以这样才真正搞懂。我的建议是不要因为它简单就轻视它。实变函数和泛函分析里很多难题都是由这些简单命题堆起来的。你把每一个简单命题都证到滚瓜烂熟后面难题才有拆解的基础。另外证明的时候尽量写完整不要跳步。考试里跳步是要扣分的而且跳步容易掩盖逻辑漏洞。宁可多写两句把为什么交代清楚也不要为了简洁而省略关键推理。这个命题后续还可以这样扩展把连续函数换成上半连续函数结论是否成立答案是成立的因为上半连续函数的 ({f a}) 是开集。再换成下半连续函数用 ({f a}) 是开集来证。这些变体在泛函分析的后续章节里会反复出现提前熟悉有好处。
