第三讲 可测函数与Borel可测函数的性质

2021年03月12日 实分析笔记

欧耀彬 教二2405

可测函数的性质

  1. 可测,,则 复可测.

    证:不妨令 .

    考虑 中收敛到 的点列 ,由点列收敛等价于坐标收敛知,

    即, 是连续函数. (或 连续.)

    再由定理1.8知, 复可测.

  2. 上复可测,则 上实可测.

    证:注意到 均为连续函数.

    由定理1.7(b)知,可测函数与连续函数复合是可测函数,得证.

  3. 上复可测,则 复可测.

    证:令 ,则

    由上述推论1、2知, 可测.

  4. 可测,

    其中, 上的特征函数,则 可测.

    证:考虑 中的开集的原像

    均为可测集.

  5. 上复可测,则存在 上的复可测函数 ,且 .

    注: 表示 的方向, 表示 的大小.

    证:不妨令

    其中,记 .

    下面只需证 可测.

    构造 .

    不难发现 .

    时, 连续,由定理 1.7(b),下面只要验证 可测.

    其中, 可测是已知条件,也即只要证明 是可测集.

    注意到,复平面上的 可以由开矩形逼近,即

    其中,

    注意到, 对于每个 都是可测集,而 代数对可列交封闭,因此 也是可测集.

Borel集

Borel可测函数

  1. 若集族

    内的 代数.

    证:第一,,因为 .

    第二,若 ,则 ,即 ,即 .

    第三,

  2. 可测,且 内 Borel 集,则 .(延伸可测函数的概念)

    证:对于任意开集 ,由 可测知, 内的可测集,即 .

    由定理1.12的结论1知,,其中 为包含 代数.

    由于 的选取是任意的,记 为包含 内任意开集的最小 代数,即 Borel 代数,则 .

    再由 的定义知,.

  3. (实函数可测性的判别准则)

    ,且 ,则 可测.

    证:令结论1中的 为广义实数集 ,则

    代数.

    要证 可测,即要证对于 中的任意开子集 ,有 .

    等价于要证明 ,其中 是常规定义下的开集.

    由于 可以写成可数开区间的并,故只要证明,任意开区间 .

    即要证,对于任意 ,有

    前者成立是已知条件,后者也成立,注意到

  4. 可测, 是拓扑空间, 是 Borel 函数,且 ,则 可测.

    证:对于任意开集 中的 Borel 集,则 中的可测集,即 是可测集.