2021年03月12日 实分析笔记
欧耀彬 教二2405
若 可测,,则 复可测.
证:不妨令 .
考虑 中收敛到 的点列 ,由点列收敛等价于坐标收敛知,
即, 是连续函数. (或 连续.)
再由定理1.8知, 复可测.
若 在 上复可测,则 在 上实可测.
证:注意到 均为连续函数.
由定理1.7(b)知,可测函数与连续函数复合是可测函数,得证.
若 在 上复可测,则 复可测.
证:令 ,则
由上述推论1、2知, 可测.
若 可测,
其中, 为 上的特征函数,则 可测.
证:考虑 中的开集的原像
均为可测集.
若 在 上复可测,则存在 上的复可测函数 ,且 .
注: 表示 的方向, 表示 的大小.
证:不妨令
其中,记 .
下面只需证 可测.
构造 .
不难发现 且 .
当 时, 连续,由定理 1.7(b),下面只要验证 可测.
其中, 可测是已知条件,也即只要证明 是可测集.
注意到,复平面上的 可以由开矩形逼近,即
其中,
注意到, 对于每个 都是可测集,而 代数对可列交封闭,因此 也是可测集.
定理1.10. 若 为 的任意子集族,则 内存在一个最小的 代数 ,使得 .
证:
令 是包含 的 代数 全体的集合.
显然, 非空,至少 的全体子集构成的子集族是包含 的 代数.
即 ,其中 是 的幂集.
而且 包含 ,下面证明 是一个 代数.
第一,对于任意 ,,则 .
第二,若 ,则对于任意 ,. 由 是 代数知,,因此 .
第三,若 ,则 ,于是,因此 .
定义1.11. 设 是拓扑空间,则 内存在一个最小的 代数 ,满足 内的任一开集均属于 .
则 被称为 Borel 代数,而 的元素为 Borel 可测集.
若集族
则 为 内的 代数.
证:第一,,因为 .
第二,若 ,则 ,即 ,即 .
第三,
若 可测,且 为 内 Borel 集,则 .(延伸可测函数的概念)
证:对于任意开集 ,由 可测知, 为 内的可测集,即 .
由定理1.12的结论1知,,其中 为包含 的 代数.
由于 的选取是任意的,记 为包含 内任意开集的最小 代数,即 Borel 代数,则 .
再由 的定义知,.
(实函数可测性的判别准则)
若 ,且 ,则 可测.
证:令结论1中的 为广义实数集 ,则
是 代数.
要证 可测,即要证对于 中的任意开子集 ,有 .
等价于要证明 ,其中 是常规定义下的开集.
由于 可以写成可数开区间的并,故只要证明,任意开区间 .
即要证,对于任意 ,有
前者成立是已知条件,后者也成立,注意到
若 可测, 是拓扑空间, 是 Borel 函数,且 ,则 可测.
证:对于任意开集 , 是 中的 Borel 集,则 是 中的可测集,即 是可测集.