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=1∞Ii⊃E,作出它的体积总和 μ = ∑ i = 1 ∞ ∣ I i ∣ \mu=\sum_{i=1}^{\infty}\left|I_{i}\right| μ=∑i=1∞∣Ii∣,所有这一切的 μ \mu μ组成一个有下界的数集,它的下确界称为 E E E的勒贝格外测度,简称 L L L外测度或外测度,记为 m ∗ E m^\ast E m∗E,也就是
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| m∗E=E⊂⋃i=1∞Iiinfi=1∑∞∣Ii∣ -
定理3.1.1(外测度的性质):(1) m ∗ E ⩾ 0 m^\ast E \geqslant 0 m∗E⩾0,当 E E E为空集时, m ∗ E = 0 m^\ast E = 0 m∗E=0;
(2)设 A ⊂ B A \subset B A⊂B,则 m ∗ A ⩽ m ∗ B m^\ast A \leqslant m^\ast B m∗A⩽m∗B(单调性);
(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=1∞Ai)⩽∑i=1∞m∗Ai(次可数可加性)。
3.2 可测集
-
定义3.2.1: 设 E E E为 R n R^n R