企业官网建设流程全解析

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 证明的主线逻辑

先把主线理清楚，再填细节。整个证明分四步：

1. 任取实数 (a)，构造 (\mathbb{R}) 中的开集 (G = (a, +\infty))；
2. 由 (f) 连续，得 (f^{-1}(G)) 是 (E) 中的相对开集；
3. 相对开集可写成 (U \cap E)，其中 (U) 是 (\mathbb{R}^n) 中开集；
4. 由 (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 把证明写成"四句话"

我复习的时候会把每个证明压缩成四句话，背下来。这个命题的四句话是：

1. 取开集 ((a,+\infty))，原像是相对开集；
2. 相对开集等于开集交 (E)；
3. 开集可测，(E) 可测，交可测；
4. 由 (a) 任意，(f) 可测。

四句话背熟，考试直接展开成完整证明，不会漏点。

7.4 动手写一遍，不要只看

这是最重要的建议。看别人证一遍，觉得自己会了，一动手就卡。必须自己拿纸笔写一遍，写的时候不要看书，写完再对照。我第一遍写的时候，就在"相对开集可测"这一步卡住了，因为忘了"开集交可测集可测"这条性质。写一遍就记住了。

7.5 配套练习：证"可测集上的连续函数列的可测性"

学完这个命题，顺手把"可测函数列的极限可测"也证一遍。这两个命题经常连着考，而且证明思路有相似之处（都是把集合拆成可测的部分）。一起证，印象更深。

8. 常见问题速查

这张表是我自己踩坑之后整理的，考试前扫一眼，能避免大部分低级错误。

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) 中的开球。如果 (n=1)，开球就是开区间；如果 (n=2)，开球就是开圆盘。这些具体形式不影响证明，但理解的时候要清楚维度。

另外，(f) 的值域是 (\mathbb{R})，不是 (\mathbb{R}^m)。如果值域是 (\mathbb{R}^m)，命题依然成立，但证明里开集要取 (\mathbb{R}^m) 中的开集，稍微复杂一点。工科教材一般只要求值域是 (\mathbb{R})，所以按 (\mathbb{R}) 来证就行。

10. 我个人预习这个命题的体会

最后说点实在的。这个命题我第一遍看的时候，觉得"这还用证？"，结果第一次考试就考了，我写了三行就写不下去了，因为"相对开集可测"这一步我根本没意识到需要证。后来我把证明拆成四步，每步都问自己"为什么可以这样"，才真正搞懂。

我的建议是：不要因为它简单就轻视它。实变函数和泛函分析里，很多难题都是由这些"简单命题"堆起来的。你把每一个简单命题都证到滚瓜烂熟，后面难题才有拆解的基础。

另外，证明的时候尽量写完整，不要跳步。考试里跳步是要扣分的，而且跳步容易掩盖逻辑漏洞。宁可多写两句，把"为什么"交代清楚，也不要为了简洁而省略关键推理。

这个命题后续还可以这样扩展：把连续函数换成上半连续函数，结论是否成立？答案是成立的，因为上半连续函数的 ({f > a}) 是开集。再换成下半连续函数，用 ({f < a}) 是开集来证。这些变体在泛函分析的后续章节里会反复出现，提前熟悉有好处。