【应用数学】实变函数与泛函分析I(3):测度论

这篇笔记介绍了测度论的基本概念,包括外测度的定义、性质,以及可测集的充要条件。讨论了可测集的运算规则,如并集、交集和差集的可测性,并阐述了零测度集的性质。此外,还探讨了Borel集、Gδ型集和Fσ型集的概念。
摘要由CSDN通过智能技术生成

200731本篇为学习实变函数与泛函分析的笔记,其实只是一个记录而已,离学明白还很远,希望多交流~今天看的是测度论。

3. 测度论

3.1 外测度

  • 定义3.1.1:设 E E E R n R^n Rn中任一点集,对于每一列覆盖 E E E的开区间 ⋃ i = 1 ∞ I i ⊃ E \bigcup_{i=1}^{\infty} I_{i} \supset E i=1IiE,作出它的体积总和 μ = ∑ i = 1 ∞ ∣ I i ∣ \mu=\sum_{i=1}^{\infty}\left|I_{i}\right| μ=i=1Ii,所有这一切的 μ \mu μ组成一个有下界的数集,它的下确界称为 E E E勒贝格外测度,简称 L L L外测度或外测度,记为 m ∗ E m^\ast E mE,也就是
    m ∗ E = inf ⁡ E ⊂ ⋃ i = 1 ∞ I i ∑ i = 1 ∞ ∣ I i ∣ m^\ast E = \inf_{E\subset \bigcup_{i=1}^\infty I_i}\sum_{i=1}^\infty |I_i| mE=Ei=1Iiinfi=1Ii

  • 定理3.1.1(外测度的性质):(1) m ∗ E ⩾ 0 m^\ast E \geqslant 0 mE0,当 E E E为空集时, m ∗ E = 0 m^\ast E = 0 mE=0

    (2)设 A ⊂ B A \subset B AB,则 m ∗ A ⩽ m ∗ B m^\ast A \leqslant m^\ast B mAmB(单调性)

    (3) m ∗ ( ⋃ i = 1 ∞ A i ) ⩽ ∑ i = 1 ∞ m ∗ A i m^\ast \left(\bigcup_{i=1}^\infty A_i\right) \leqslant \sum_{i=1}^\infty m^\ast A_i m(i=1Ai)i=1mAi(次可数可加性)

3.2 可测集

  • 定义3.2.1: 设 E E E R n R^n R

  • 0
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值