序言

由于OT與測度論聯(lián)系密切，我們在這里回顧和補(bǔ)充一些測度的基本知識(shí)。此部分的內(nèi)容主要摘自徐鳳老師《實(shí)變函數(shù)》的教學(xué)視頻和周民強(qiáng)老師的《實(shí)變函數(shù)論》。

勒貝格外測度

定義： 設(shè) $a_1,b_1;a_2,b_2;...;a_n,b_n$ 是$n$組數(shù)，且$a_i\le b_i,(i=1,2,..,n)$，則稱$R^n$中的點(diǎn)集 $$I=\{x|x=(x_1,x_2,...,x_n),a_i<x_i<b_i,i=1,2,...,n\}$$ 為$R^n$中的開區(qū)間。（空集也是開區(qū)間，$a_i=b_i$）
稱點(diǎn)集 $$I=\{x|x=(x_1,x_2,...,x_n),a_i<x_i\le b_i,i=1,2,...,n\}$$
為$R^n$中的左半開區(qū)間。 若$I$為區(qū)間，則稱 $$\prod _{i=1}^n(b_i?a_i)=(b_1?a_1)\times (b_2?a_2)\times ...\times (b_n?a_n)$$
為$I$的體積，記為$|I|$。

定義：設(shè)$E?R^n$，若$I_k$是$R^n$中的可數(shù)個(gè)開矩體（開區(qū)間），且有 $$E?{\cup }_{k\ge 1}{I}_k,$$ 則稱$I_k$為$E$的L-覆蓋。
顯然，這樣的L-覆蓋有很多，且每一個(gè)L覆蓋$I_k$確定一個(gè)非負(fù)廣義實(shí)值${\sum }_{k\ge 1}|I_k|$，稱
$$m^{?}(E)=inf\{\sum _{k\ge 1}|I_k|：I_k為E的L?覆蓋\}$$
為點(diǎn)集E的Lebesgue外測度。

定理（$R^n$中點(diǎn)集的外測度的性質(zhì)）
（1）非負(fù)性：$m^{?}(E)\ge 0$，當(dāng)且僅當(dāng)$E=?$，$m^{?}(E)=0$。
（2）單調(diào)性：若$E_1?E_2$，則$m^{?}(E_1)\le m^{?}(E_2)$。
（3）次可加性：$m^{?}({\cup }_{k=1}^{\infty }{E}_k)\le {\sum }_{k=1}^{\infty }{m}^{?}(E_k)$
（4）若$d(A,B)>0$，則$m^{?}(A\cup B)=m^{?}(A)+m^{?}(B)$

推論：
（1）若$E?R^n$為可數(shù)點(diǎn)集，則$m^{?}(E)=0$。
（2）若$I$是$R^n$中的開矩體，則$m^{?}(I)=m^{?}(\bar{I})=|I|$。
注：有限點(diǎn)集和可列點(diǎn)集的并是可數(shù)點(diǎn)集。

勒貝格內(nèi)測度

定義：設(shè)$E$是$R^n$中一有界點(diǎn)集，$I$是任一包含$E$的開區(qū)間，則稱
$$|I|?m^{?}(I\backslash E)$$
為E的內(nèi)測度，記為$m_{?}(E)$

性質(zhì)：
（1）$m_{?}(E)\ge 0$
（2）$m_{?}(E)\ge m^{?}E$
（3）$E$的內(nèi)測度相當(dāng)于$E$的內(nèi)接多邊形的體積。

可測集

定義：設(shè)$E$是$R^n$中的有界集合。如果$m_{?}(E)=m^{?}(E)$，則稱$E$為有界可測集。此時(shí)稱$E$的外（內(nèi)）測度值為$E$的勒貝格測度，簡稱為E的測度，記作$m(E)$。即 $$m(E)=m_{?}(E)=m^{?}(E)$$

定義：設(shè)$E$是$R^n$中的無界點(diǎn)集，若對任何開區(qū)間$I$，$E\cap I$都是有界可測集。則稱$E$為無界可測集。且$m(E)=m^{?}(E)$

定義：有界可測集和無界可測集統(tǒng)稱為可測集。

定義（勒貝格測度常用定義）：設(shè)$E$是$R^n$中的點(diǎn)集，如果對任意點(diǎn)集$T$都有 $$m^{?}(T)=m^{?}(T\cap E)+m^{?}(T\cap C_E)$$
則稱E是勒貝格可測集，簡稱可測集。這時(shí)稱$E$的外側(cè)度$m^{?}E$為$E$的外側(cè)度，記為$m(E)$。

定理（判定集合可測的兩個(gè)充要條件）
（1）點(diǎn)集$E$為可測集的充要條件是$C_E$為可測集。
（2）點(diǎn)集$E$可測的充要條件是對任意的$A?E,B?C_E$，恒有
$$m^{?}(A\cup B)=m^{?}(A)+m^{?}(B)$$

定理：設(shè)$E_1,E_2$為可測集，則
（1）$E_1\cup E_2$為可測集。
特別地，當(dāng)$E_1\cap E_2=?$時(shí)，對任意點(diǎn)集$T$,總有
$$m^{?}(T\cap (E_1\cup E_2))=m^{?}(T\cap E_1)+m^{?}(T\cap E_2)$$
（2）$E_1\cap E_2$為可測集。
（3）$E_1\backslash E_2$為可測集。（可測集的并、交、補(bǔ)、差都是可測集）
（4）若$E_i$為可測集$(i=1,2,...)$，則其并集也屬于可測集。若進(jìn)一步有$E_i\cap E_j=?(i=j)$，則
$$m^{?}({\cup }_{i=1}^{\infty }{E}_i)=\sum _{i=1}^{\infty }{m}^{?}(E_i)$$
即$m^{?}$在可測集上滿足可加性。
（5）設(shè)$E_i(i=1,2,...)$都是可測集，則${\cap }_{i=1}^{infty}{E}_i$也是可測集。

測度的運(yùn)算

**定理（遞增可測集列的測度運(yùn)算）**若有遞增可測集列$E_1?E_2?...?E_k...$，則
$$m(\underset{k\to \infty }{\lim }{E}_k)=\underset{k\to \infty }{\lim }m(E_k)$$
注：根據(jù)集合論的知識(shí)，對于單調(diào)遞增的集合，有$E={\cup }_{n=1}^{\infty }{E}_n={\lim }_{n\to \infty }{E}_n$
**定理（遞減可測集列的測度運(yùn)算）**若有遞減的可測集列$E_1?E_2...?E_k?...$，且$m(E_1)<+\infty$，則
$$m(\underset{k\to \infty }{\lim }{E}_k)=\underset{k\to \inf }{\lim }m(E_k)$$
注：根據(jù)集合論的知識(shí)，對于單調(diào)遞減的集合，有$E={\cap }_{n=1}^{\infty }{E}_n={\lim }_{n\to \infty }{E}_n$

常見的勒貝格可測集

定理 任何區(qū)間$I$都是可測集，且$m(I)=|I|$
引理 $R^n$中任何非空開集都可表示為之多可列個(gè)開區(qū)間的并。
定理 任何開集、閉集都是可測集。
例 康托集為可測集且測度為0。
定義 若集合$G$可表為一列開集$G_i$之交：
$$G={\cap }_{i=1}^{\infty }{G}_i$$
則稱$G$為$G_{\delta }$型集。
定義 若集合$F$可表示為一列閉集$F_i$之并：
$$F={\cap }_{i=1}^{\infty }{F}_i$$
則稱$F$為$F_{\sigma }$型集。
注：由定義容易看出$G_{\delta }$（$F_{\sigma }$）型集的補(bǔ)集必為$F_{\sigma }$（$G_{\delta }$）型集。
定義 凡屬可以從開集出發(fā)，用取補(bǔ)集、有限個(gè)或可列個(gè)集合的并或交等手續(xù)得到的集合，統(tǒng)稱為Broel（波雷爾）集。
注：$G_{\delta }$型集和$F_{\sigma }$型集都是Broel集。
定理 任何Broel集都是可測集。

勒貝格可測集的構(gòu)造

引理 $R^n$中任何可測集都可表為至多可列個(gè)互不相交的有界可測集的并。
可測集與開集、閉集的關(guān)系
定理 點(diǎn)集$E$可測的充要條件是對任意$\epsilon >0$，恒有開集$G?E$，使$m^{?}(G?E)<\epsilon$。
定理 點(diǎn)集$E$可測的充要條件是對任意$\epsilon >0$，恒有閉集$F?E$，使$m^{?}(E?F)<\epsilon$

可測集與G型集合與F型集合的關(guān)系
定理 對任一可測集$E$，恒有$G_{\delta }$型集$G?E$，使得$m(G?E)=0$。
定理 對任一可測集E，恒有$F_{\sigma }$型集$F?E$，使得$m(E?F)=0$。
定理 任何可測集必是一個(gè)波雷爾集與一個(gè)測度為零的可測集并集；同時(shí)也必是一個(gè)波雷爾集與一個(gè)測度為0的可測集的差集。

總結(jié)

以上是生活随笔為你收集整理的测度的基本知识的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。