本文介绍了Lebesgue可测集的定义及其性质，包括可测集的构造、开矩体的测度、可测集的运算规则以及可列可加性和递增序列的极限。此外，还探讨了可测集与Borel集的关系，以及集合的平移不变性和测度的极限定理。
定义1（可测集）： 设 E ⊂ R n E \sub \mathbb{R}^n E⊂Rn，若 ∀ T ⊂ R n \forall T \sub \mathbb{R}^n ∀T⊂Rn，有 m ∗ ( T ) = m ∗ ( T ∩ E ) + m ∗ ( T ∩ E c ) , m^{*}(T)=m^{*}(T \cap E)+m^{*}(T\cap E^c), m∗(T)=m∗(T∩E)+m∗(T∩Ec),称 E E E是Lebesgue可测集，简称为可测集。可测集全体记作 M n \mathcal{M}_n Mn，称为 R n \mathbb{R}^n Rn的可测集类。如果要强调可测集类的维数，则记成 M n \mathcal{M}_n Mn。
当
E
∈
M
E\in \mathcal{M}
E∈M时，
m
∗
(
E
)
m^{*}(E)
m∗(E)称为
E
E
E的测度，简记作
m
(
E
)
m(E)
m(E)，则
2
R
n
\
M
2^{\mathbb{R}^n} \backslash \mathcal{M}
2Rn\M中的元素称为不可测集。由外测度的次可加性，对于
∀
T
⊂
R
n
\forall T \sub \mathbb{R}^n
∀T⊂Rn，有
m
∗
(
T
)
≥
m
∗
(
T
∩
E
)
+
m
∗
(
T
∩
E
c
)
m^{*}(T)\ge m^{*}(T\cap E)+m^{*}(T \cap E^c)
m∗(T)≥m∗(T∩E)+m∗(T∩Ec)
定理1： 若 m ∗ ( E ) = 0 m^{*}(E)=0 m∗(E)=0，则 E ∈ M E \in \mathcal{M} E∈M。
证明： 因为 m ∗ ( E ) = 0 m^{*}(E)=0 m∗(E)=0，则对于 ∀ T ⊂ R n \forall T \sub \mathbb{R}^n ∀T⊂Rn ，有 T ∩ E ⊂ E T\cap E \sub E T∩E⊂E，故 m ∗ ( T ∩ E ) = 0 m^{*}(T \cap E)=0 m∗(T∩E)=0，于是 m ∗ ( T ∩ E ) + m ∗ ( T ∩ E c ) = m ∗ ( T ∩ E c ) ≤ m ∗ ( T ) m^{*}(T\cap E)+m^{*}(T \cap E^c)=m^{*}(T \cap E^c)\le m^{*}(T) m∗(T∩E)+m∗(T∩Ec)=m∗(T∩Ec)≤m∗(T)由此得 E ∈ M E \in \mathcal{M} E∈M。
定理2： R n \mathbb{R}^n Rn中开矩体 I ∈ M I \in \mathcal{M} I∈M，且 m ( I ) = ∣ I ∣ m(I)=|I| m(I)=∣I∣。
证明： 只要验证对于每个开矩体 J J J，有 m ∗ ( J ) = m ∗ ( J ∩ I ) + m ∗ ( J ∩ I c ) m^{*}(J)=m^{*}(J \cap I)+m^{*}(J \cap I^c) m∗(J)=m∗(J∩I)+m∗(J∩Ic) J ∩ I J \cap I J∩I仍是开矩体，有 m ∗ ( J ∩ I ) = ∣ J ∩ I ∣ m^{*}(J \cap I)=|J \cap I| m∗(J∩I)=∣J∩I∣。而 J ∩ I c = J \ ( J ∩ I ) J \cap I^c=J \backslash(J\cap I) J∩Ic=J\(J∩I)，它是开矩体中挖去一个开矩体，有 m ∗ ( J ∩ I c ) = ∣ J ∣ − ∣ J ∩ I ∣ m^{*}(J \cap I^c)=|J|-|J \cap I| m∗(J∩Ic)=∣J∣−∣J∩I∣，因此有 m ∗ ( J ) = ∣ J ∣ = ∣ J ∩ I ∣ + ∣ J ∣ − ∣ J ∩ I ∣ = m ∗ ( J ∩ I ) + m ∗ ( J ∩ I c ) m^{*}(J)=|J|=|J\cap I|+|J|-|J\cap I|=m^{*}(J \cap I)+m^{*}(J \cap I^c) m∗(J)=∣J∣=∣J∩I∣+∣J∣−∣J∩I∣=m∗(J∩I)+m∗(J∩Ic)所以 I ∈ M I \in \mathcal{M} I∈M。
定理3： 可测集性质 ：
（1） ∅ ∈ M \emptyset \in\mathcal{M} ∅∈M， m ( ∅ ) = 0 m(\emptyset)=0 m(∅)=0；
（2）若 E ∈ M E \in \mathcal{M} E∈M，则 E c ∈ M E^c \in \mathcal{M} Ec∈M；
（3）若 E , F ∈ M E,F\in \mathcal{M} E,F∈M，则 E ∪ F , E ∩ F , E \ F ∈ M E \cup F,E \cap F,E \backslash F\in \mathcal{M} E∪F,E∩F,E\F∈M;
（4）可列可加性：若 E j ∈ M , j = 1 , 2 , ⋯ E_j \in \mathcal{M},j =1,2,\cdots Ej∈M,j=1,2,⋯，则 ⋃ n = 1 ∞ E j ∈ M \bigcup\limits_{n=1}^{\infty}E_j \in \mathcal{M} n=1⋃∞Ej∈M；若还有 E i ∩ E j = ∅ ( i ≠ j ) E_i \cap E_j =\emptyset(i\ne j) Ei∩Ej=∅(i=j)，则 m ( ⋃ j = 1 ∞ E j ) = ∑ j = 1 ∞ m ( E j ) m\left(\bigcup_{j=1}^{\infty} E_j\right)=\sum\limits_{j=1}^\infty m(E_j) m(j=1⋃∞Ej)=j=1∑∞m(Ej)
推论1： 若 E j ∈ M ( j = 1 , 2 , ⋯ ) E_j \in \mathcal{M}(j=1,2,\cdots) Ej∈M(j=1,2,⋯)，则 ⋂ j = 1 ∞ E j ∈ M \bigcap\limits_{j=1}^{\infty}E_j \in \mathcal{M} j=1⋂∞Ej∈M。
定理4： 若有递增可测集列 E 1 ⊂ E 2 ⊂ ⋯ ⊂ E k ⊂ ⋯ E_1\sub E_2 \sub \cdots \sub E_k \sub \cdots E1⊂E2⊂⋯⊂Ek⊂⋯，则 lim k → ∞ ∈ M \lim\limits_{k \rightarrow \infty }\in \mathcal{M} k→∞lim∈M，且 m ( lim k → ∞ E k ) = lim k → ∞ m ( E k ) m\left(\lim\limits_{k \rightarrow \infty}E_k\right)=\lim\limits_{k \rightarrow \infty}m(E_k) m(k→∞limEk)=k→∞limm(Ek)
推论2： 若 E 1 ⊂ E 2 ⊂ ⋯ ⊂ E k ⊂ ⋯ E_1\sub E_2 \sub \cdots \sub E_k \sub \cdots E1⊂E2⊂⋯⊂Ek⊂⋯是递减可测集列，且 m ( E 1 ) < ∞ m({E_1})< \infty m(E1)<∞，则 m ( lim k → ∞ E k ) = lim k → ∞ m ( E k ) m(\lim\limits_{k \rightarrow \infty}E_k)=\lim\limits_{k \rightarrow \infty}m(E_k) m(k→∞limEk)=k→∞limm(Ek)
定理5： 若 E ∈ M E \in \mathcal{M} E∈M，则 ∀ x ∈ R n \forall x \in \mathbb{R}^n ∀x∈Rn， E + { x } ∈ M E+\{x\}\in \mathcal{M} E+{x}∈M成立。
定理6： 若 E E E是可测集，则存在 B o r e l \mathrm{Borel} Borel集 G , F G,F G,F，使 F ⊂ E ⊂ G F\sub E\sub G F⊂E⊂G且 m ( F ) = m ( G ) = m ( E ) m(F)=m(G)=m(E) m(F)=m(G)=m(E)。
扫一扫
2948
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
