謝宗翰的隨筆

Theorem:
假設 $\{f_n\}\subset L^1$ 使得 $\sum_{n=1}^\infty\int |f_n| <\infty$。則
(a) $\sum_{n=1}^\infty f_n$ almost everywhere 收斂 。
(b) $\int \sum_{n=1}^\infty f_n = \sum_{n=1}^\infty \int f_n$。

Proof:(a) 令$\{f_n\}\subset L^1$ 使得 $\sum_{n=1}^\infty\int |f_n| <\infty$，則我們有
\[
\int \sum_{n=1}^\infty |f_n| = \sum_{n=1}^\infty\int |f_n|   <\infty
\]故我們知道 $ \sum_{n=1}^\infty |f_n| \in L^1$ 且 $\sum_{n=1}^\infty |f_n|<\infty$ almost everywhere。此表明對 almost every $x$， $\sum_{n=1}^\infty f_n(x) $ (絕對)收斂。令極限
$$ f(x):=\lim_{N\to \infty} \sum_{n=1}^N f_n(x) $$ 故我們僅需證明此 $f \in L^1$。注意到 對任意 $N$， $\lim_N \sum_{n=1}^N f_n \leq \lim_N \sum_{n=1}^\infty |f_n|$ a.e. 故 $f \leq \lim_N \sum_{n=1}^N |f_n|$ a.e. 由於 $\lim_N \sum_{n=1}^N |f_n| \in L^1$ 故 $f \in L^1$。

Proof (b)
要證明 $\int \sum_{n=1}^\infty f_n = \sum_{n=1}^\infty \int f_n$。首先觀察
\[
 \int \sum_{n=1}^N f_n = \sum_{n=1}^N \int  f_n \;\;\;\; (*)
\]由於 $\sum_{n=1}^N f_n \leq \sum_{n=1}^\infty |f_n| \in L^1$ 且 $\sum_{n=1}^N f_n \to f$ a.e. in $L^1$ …

令 $(X,\mathcal{M})$ 與 $(\mathbb{R},\mathcal{L})$ 為可測空間。

Fact: 令 $1_E: (X,\mathcal{M}) \to (\mathbb{R},\mathcal{L})$ 滿足
\[ 1_E(x):=\begin{cases}
      1 & x \in E\\
      0 & x \notin E
   \end{cases}
\]則 $1_E$ 為可測函數 若且唯若 $E \in \mathcal{M}$。

Proof: $(\Leftarrow)$ 假設 $E \in \mathcal{M}$。我們要證明 $1_E$ 為可測函數。為此，令 $I:=(-\infty, \alpha]$ 為任意區間，我們僅需證明 $1_E^{-1}(I) \in \mathcal{M}$。若 $\alpha \leq 0$，則
$$
1_E^{-1}(I) =\{x:1_E(x) < \alpha\}=\varnothing \in \mathcal{M}
$$ 若 $\alpha >1$ 則
$$
1_E^{-1}(I) =\{x:1_E(x)<\alpha\}=X \in \mathcal{M}
$$最後，若 $0<\alpha \leq 1$ 則
$$
1_E^{-1}(I) =\{x:1_E(x)<\alpha\}=E^c
$$ 由於 $E\in \mathcal{M}$ 且 $\mathcal{M}$ 為 $\sigma$-algebra，故 $E^c \in \mathcal{M}$。至此我們得證 $1_E$ 為可測函數。

$(\Rightarrow)$ 假設 $1_E$ 為可測函數，我們要證明 $E \in \mathcal{M}$。由於 $1_E$ 為可測函數，對任意區間 $I=(-\infty,\alpha]$ 而言，$1_E^{-1}(I) \in \mathcal{M}$。故取 $\alpha =1/2$ 我們有
$$
1_E^{-1}(I):=\{x:\chi_E(x)<1/2\} = E^c \in \mathcal{M}
$$由於 $\cal M $為 $\sigma$-algebra，故 $E\in \mathcal{M}$。$\sq…