可測函數

可測函數（英語：measurable function）是保持可測空間結構的函數，也是勒貝格積分中主要討論的函數。

正式定義

可測函數的定義 — 設 ${\displaystyle (X,\Sigma _{X})}$ 與 ${\displaystyle (Y,\Sigma _{Y})}$ 為可測空間。那函數 ${\displaystyle f:X\to Y}$ 對任意 ${\displaystyle B\in \Sigma _{Y}}$ 若滿足：

${\displaystyle f^{-1}(B)\in \Sigma _{X}}$

則稱 ${\displaystyle f}$ 為一個 ${\displaystyle \Sigma _{X}}$ - ${\displaystyle \Sigma _{Y}}$ 可測函數。

重要範例

實可測函數

取本節定義中的 ${\displaystyle Y}$ 為實數系 ${\displaystyle \mathbb {R} }$ ，然後取：

${\displaystyle {\mathcal {I}}={\bigg \{}A\in {\mathcal {P}}(\mathbb {R} )\,{\bigg |}\,(\exists a)(\exists b)\left[\,(a,\,b\in \mathbb {R} )\wedge (A=(a,\,b))\,\right]{\bigg \}}}$

${\displaystyle {\mathcal {B}}_{\mathbb {R} }:=\sigma ({\mathcal {I}})=\bigcap {\bigg \{}\Sigma \,{\bigg |}\,(\Sigma {\text{ is a sigma algebra.}})\wedge ({\mathcal {I}}\subseteq \Sigma ){\bigg \}}}$

換句話說，${\displaystyle {\mathcal {B}}_{\mathbb {R} }}$ 是由實數開區間所生成的博雷爾代數（注意到 ${\displaystyle {\mathcal {I}}}$ 本身是個拓撲基），那麼這樣的${\displaystyle \Sigma _{X}}$ - ${\displaystyle {\mathcal {B}}_{\mathbb {R} }}$ 可測函數 ${\displaystyle f}$ ，通常會簡稱為 ${\displaystyle \Sigma _{X}}$ - 實可測函數；甚至簡稱為實可測函數。概率論裡的隨機變量就是實可測函數。

博雷爾函數

主條目：博雷爾可測函數

如果${\displaystyle (X,\tau _{X})}$ 與 ${\displaystyle (Y,\tau _{Y})}$ 正好也是拓撲空間，這時取以下兩個最小σ-代數：

${\displaystyle \sigma (\tau _{X})=\bigcap {\bigg \{}\Sigma \,{\bigg |}\,(\Sigma {\text{ is a sigma algebra.}})\wedge (\tau _{X}\subseteq \Sigma ){\bigg \}}}$

${\displaystyle \sigma (\tau _{Y})=\bigcap {\bigg \{}\Sigma \,{\bigg |}\,(\Sigma {\text{ is a sigma algebra.}})\wedge (\tau _{Y}\subseteq \Sigma ){\bigg \}}}$

換句話說，${\displaystyle \sigma (\tau _{X})}$ 是由 ${\displaystyle X}$ 上開集所生成的博雷爾代數；${\displaystyle \sigma (\tau _{Y})}$ 是由 ${\displaystyle Y}$ 上開集所生成的博雷爾代數，那這樣 ${\displaystyle \sigma (\tau _{X})}$ - ${\displaystyle \sigma (\tau _{X})}$ 可測函數 ${\displaystyle f}$ 又稱為 ${\displaystyle \tau _{X}}$ - ${\displaystyle \tau _{Y}}$ 博雷爾函數（Borel function）。

根據拓撲空間連續函數的定義， ${\displaystyle \tau _{X}}$ - ${\displaystyle \tau _{Y}}$ 博雷爾函數必定 ${\displaystyle \tau _{X}}$ - ${\displaystyle \tau _{Y}}$ 連續，但反之不成立，原因可見下面可測函數的性質的定理(2)。

可測函數的性質

定理(1) — 設 ${\displaystyle (X,\Sigma _{X})}$ 為可測空間， ${\displaystyle Y}$ 為一集合，且有函數 ${\displaystyle f:X\to Y}$ 。那

${\displaystyle \Sigma =\left\{B\in {\mathcal {P}}(Y)\,{\big |}\,f^{-1}(B)\in \Sigma _{X}\right\}}$

為 ${\displaystyle Y}$ 的σ代數。

證明

以下將逐條檢驗 ${\displaystyle \Sigma }$ 是否符合σ代數的定義 (1) ${\displaystyle Y\in \Sigma }$ 因為： ${\displaystyle f^{-1}(Y)=\left\{x\in X\,|\,(\exists y\in Y)\left[f(x)=y\right]\right\}=X\in \Sigma _{X}}$ 所以 ${\displaystyle Y\in \Sigma }$。 (2) ${\displaystyle B\in \Sigma }$ ，則 ${\displaystyle Y-B\in \Sigma }$ 若 ${\displaystyle B\in \Sigma }$ ，因為： ${\displaystyle f^{-1}(Y-B)={\big \{}x\in X\,|\,(\exists y)\left\{(y\in Y)\wedge (y\notin B)\wedge [f(x)=y]\right\}{\big \}}=X-f^{-1}(B)\in \Sigma _{X}}$ 所以 ${\displaystyle Y-B\in \Sigma }$ 。 (3)可數個併集仍在 ${\displaystyle \Sigma }$ 中 若 ${\displaystyle \{B_{1},\,B_{2},\,\dots \}\subseteq \Sigma }$ ，那因為： ${\displaystyle f^{-1}\left(\bigcup \{B_{1},\,B_{2},\,\dots \}\right)={\big \{}x\in X\,{\big |}\,(\exists y)\left\{[f(x)=y]\wedge (\exists i\in N)(y\in B_{i})\right\}{\big \}}=\bigcup \{f^{-1}(B_{1}),\,f^{-1}(B_{2}),\,\dots \}\in \Sigma _{X}}$ 所以 ${\displaystyle \bigcup \{B_{1},\,B_{2},\,\dots \}\in \Sigma }$ 。 綜上所述， ${\displaystyle \Sigma }$ 的確是${\displaystyle Y}$ 的σ代數。${\displaystyle \Box }$

定理(2) — ${\displaystyle (X,\Sigma _{X})}$ 為可測空間 ，${\displaystyle {\mathcal {F}}_{Y}\subseteq {\mathcal {P}}(Y)}$ 是集合 ${\displaystyle Y}$ 的一個子集族 ，那對函數 ${\displaystyle f:X\to Y}$ 來說，以下兩敘述等價：

1. 對所有 ${\displaystyle B\in {\mathcal {F}}_{Y}}$ 有 ${\displaystyle f^{-1}(B)\in \Sigma _{X}}$
2. ${\displaystyle f}$ 是 ${\displaystyle \Sigma _{X}}$ - ${\displaystyle \sigma ({\mathcal {F}}_{Y})}$ 可測函數

證明

(1 ${\displaystyle \Rightarrow }$ 2) 若對所有 ${\displaystyle B\in {\mathcal {F}}_{Y}}$ 都有： ${\displaystyle f^{-1}(B)\in \Sigma _{X}}$ 換句話說： ${\displaystyle {\mathcal {F}}_{Y}\subseteq \left\{B\in {\mathcal {P}}(Y)\,{\big |}\,f^{-1}(B)\in \Sigma _{X}\right\}}$ 那根據本節之定理(1)和最小σ代數 ${\displaystyle \sigma ({\mathcal {F}}_{Y})}$ 的定義有： ${\displaystyle \sigma ({\mathcal {F}}_{Y})\subseteq \left\{B\in {\mathcal {P}}(Y)\,{\big |}\,f^{-1}(B)\in \Sigma _{X}\right\}}$ 換句話說，只要 ${\displaystyle B\in \sigma ({\mathcal {F}}_{Y})}$ 就有 ${\displaystyle f^{-1}(B)\in \Sigma _{X}}$，故 ${\displaystyle f}$ 是 ${\displaystyle \Sigma _{X}}$ - ${\displaystyle \sigma ({\mathcal {F}}_{Y})}$ 可測函數。${\displaystyle \Box }$ (2 ${\displaystyle \Rightarrow }$ 1) 若對所有${\displaystyle B\in \sigma ({\mathcal {F}}_{Y})}$ 都有 ${\displaystyle f^{-1}(B)\in \Sigma _{X}}$，換句話說： ${\displaystyle {\mathcal {F}}_{Y}\subseteq \sigma ({\mathcal {F}}_{Y})\subseteq \left\{B\in {\mathcal {P}}(Y)\,{\big |}\,f^{-1}(B)\in \Sigma _{X}\right\}}$ 這樣的話，的確可以從 ${\displaystyle B\in {\mathcal {F}}_{Y}}$ 推出 ${\displaystyle f^{-1}(B)\in \Sigma _{X}}$ 。${\displaystyle \Box }$

定理(3) — 設 ${\displaystyle (X,\Sigma _{X})}$為可測空間，${\displaystyle (Y,\tau _{Y})}$ 與 ${\displaystyle (Z,\tau _{Z})}$ 為拓撲空間，若： ^[1]

• ${\displaystyle f:X\to Y}$ 為 ${\displaystyle \Sigma _{X}}$- ${\displaystyle \sigma (\tau _{Y})}$可測函數
• ${\displaystyle g:Y\to Z}$ 為 ${\displaystyle \tau _{Y}}$ - ${\displaystyle \tau _{Z}}$ 連續函數

則複合函數 ${\displaystyle g\circ f}$ 為 ${\displaystyle \Sigma _{X}}$- ${\displaystyle \sigma (\tau _{Z})}$可測函數。

證明

根據定理(2)， ${\displaystyle g\circ f}$ 為 ${\displaystyle \Sigma _{X}}$- ${\displaystyle \sigma (\tau _{Z})}$可測函數等價於： 「對所有的 ${\displaystyle C\in \tau _{Z}}$ ， ${\displaystyle {(g\circ f)}^{-1}(C)=f^{-1}[g^{-1}(C)]\in \Sigma _{X}}$」 但因為${\displaystyle g}$ 為 ${\displaystyle \tau _{Y}}$ - ${\displaystyle \tau _{Z}}$ 連續函數，故： 「對所有的 ${\displaystyle C\in \tau _{Z}}$ ， ${\displaystyle g^{-1}(C)\in \tau _{Y}\subseteq \sigma (\tau _{Y})}$」 但 ${\displaystyle f}$ 又為 ${\displaystyle \Sigma _{X}}$- ${\displaystyle \sigma (\tau _{Y})}$可測函數，故可以得到 ${\displaystyle f^{-1}[g^{-1}(C)]\in \Sigma _{X}}$ ，所以本定理得証。${\displaystyle \Box }$

• 兩個可測的實函數的和與積也是可測的。
• 可數個實可測函數的最小上界也是可測的。
• 可測函數的逐點極限是可測的。（連續函數的對應命題需要比逐點收斂更強的條件，例如一致收斂。）
• 盧辛定理

勒貝格可測函數

勒貝格可測函數是一個實函數f : R → R，使得對於每一個實數a，集合

${\displaystyle \{x\in \mathbb {R} :f(x)>a\}}$

都是勒貝格可測的集合。勒貝格可測函數的一個有用的特徵，是f是可測的當且僅當mid{-g,f,g}對於所有非負的勒貝格可積函數g都是可積的。

不可測函數

不是所有的函數都是可測的。例如，如果${\displaystyle A}$是實數軸${\displaystyle \mathbb {R} }$的一個不可測子集，那麼它的指示函數${\displaystyle 1_{A}(x)}$是不可測的。

參見

• 可測函數的向量空間：${\displaystyle L^{p}}$空間
• 保測動態系統