可测函数为何可由水平集的可测性刻画？¶

先备知识¶

熟悉 Lebesgue 可测 σ-代数、逆像和实数稠密性。

学习目标¶

用水平集判别实值或扩展实值函数的可测性。

牵引问题¶

怎样把函数问题还原为已经建立的集合可测性？

探索与猜想¶

检查函数落在半直线中的点集，便能重建开区间逆像。

概念与理论¶

障碍¶

函数有无穷多个值，逐个检查纤维既不够也不可行。

证明路线¶

固定所有阈值 (a)，检查上水平集并用可数有理阈值互换严格与非严格不等式。

逐步证明¶

设 (f:E\to[-\infty,+\infty])，其中 (E) 可测。若对每个 (a\in\mathbb R)， \(\{x\in E:f(x)>a\}\) 可测，就称 (f) 为扩展实值可测函数。

由补集，\(\{f\le a\}\) 可测；由 \(\{f\ge a\}=\bigcap_{n\ge1}\{f>a-1/n\}\) 得非严格上水平集可测；再取补集得 \(\{f<a\}\) 可测。反向显然。开区间逆像 \(\{a<f<b\}=\{f>a\}\cap\{f<b\}\) 可测，开集可写成可数个有理端点开区间之并， 故开集逆像也可测。\(\{f=+\infty\}=\bigcap_n\{f>n\}\)，负无穷类似。

假设用在何处¶

σ-代数的可数并交处理阈值极限；扩展实值集合由整数阈值交表示。

失败边界¶

只检查有限个阈值不能推出可测；数值采样也不能覆盖全部逆像。

例题与迁移¶

例 1：指示函数¶

\(\mathbf1_A\) 可测当且仅当 (A) 可测，因为 (0<a<1) 时 \(\{\mathbf1_A>a\}=A\)。

例 2：连续函数¶

连续函数把开集逆像变成开集，因此是 Borel 可测，也 Lebesgue 可测。

即时检验与回望¶

即时检验 1¶

为何检查 \(\{f>a\}\) 已足够？

即时检验 2¶

如何写 \(\{f=+\infty\}\)？

常见误区与后续¶

• 可测不等于连续；指示函数通常不连续但可以可测。
• 扩展实值允许无穷值，但后续积分要单独审计无穷运算。

习题与答案¶

习题 1¶

写出可测函数定义。

习题 2¶

\(\{f\le a\}\) 如何得到？

习题 3¶

\(\{f=a\}\) 可测吗？

习题 4¶

常值函数可测吗？

习题 5¶

指示函数可测的条件是什么？

习题 6¶

连续函数为何可测？

习题 7¶

有限阈值检查足够吗？

习题 8¶

扩展实值包括哪些新值？

习题 9¶

定义域需要可测吗？

习题 10¶

可测性能否由有限采样证明？