파투의 보조정리 증명

파투의 보조정리 증명

정리 1

함숫값이 음이 아닌 가측 함수의 수열 $\left\{ f_{n} \right\}$ 에 대해 $$ \int_{E} \left( \liminf_{n \to \infty} f_{n} \right) dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm $$

설명

실해석에서의 단조 수렴 정리지배 수렴 정리를 증명하기 위해 필요한 보조정리다. 가측 함수라는 조건이 빠진 급수에 대한 파투 보조정리는 다음과 같다.

함숫값이 음이 아닌 함수의 수열 $\left\{ f_{k} : \mathbb{N} \to [0, \infty) \right\}_{k \in \mathbb{N}}$ 에 대해 $$ \sum_{j=1}^{\infty} \liminf_{k \to \infty} f_{k} (j) \le \liminf_{k \to \infty} \sum_{j=1}^{\infty} f_{k} (j) \qquad , \forall j \in \mathbb{N} $$

증명

전략: 보조정리가 다 그렇듯 유용하지만 증명이 매우 길고 복잡하므로 정신상태가 맑고 건강할 때 보는 것을 권장한다. 급수꼴에 대한 증명도 본질적으로 똑같다.


Part 1.

$$ \displaystyle f : = \liminf_{n \to \infty} f_{n} \\ \displaystyle g_{n} : = \inf_{k \le n } f_{k} $$ 이라고 하면 $\displaystyle f = \lim_{n \to \infty} g_{n}$ 이다. $$ \int_{E} f dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm $$ 를 보이기 위해선 모든 단순 함수 $\phi \le f$ 에 대해 $$ \int_{E} \phi dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm $$ 를 보이면 충분하다.

이제 아주 작은 양수 $\varepsilon > 0$ 에 대해 새로운 단순 함수 $$ \phi_{\varepsilon}(x) := \begin{cases} \phi(x) - \varepsilon & , \phi>0 \\ 0 & , \phi = 0 \end{cases} \ge 0 $$ 를 정의해보자. 그러면 충분히 큰 자연수 $n$ 에 대해 $\phi_{\varepsilon} \le g_{n} \le f$ 이 성립할 것이다. 마지막으로 $A_{k} : = \left\{ x \ | \ g_{k} \ge \phi_{\varepsilon} \right\}$ 을 정의하면 $$ A_{k} \subset A_{k+1} \\ \displaystyle \bigcup_{k=1}^{\infty} A_{k} = \mathbb{R} $$


Part 2.

$A_{n}$ 에서 $\phi_{\varepsilon} \le g_{n}$ 이므로 $$ \int_{A_{n} \cap E} \phi_{\varepsilon} dm \le \int_{A_{n} \cap E} g_{n} dm $$ $\displaystyle g_{n} = \inf_{k \le n } f_{k}$ 이었으므로 $k \le n$ 에서 $$ \int_{A_{n} \cap E} g_{n} dm \le \int_{A_{n} \cap E} f_{k} dm $$ $A_{n} \cap E \subset E$ 이므로 $$ \displaystyle \int_{A_{n} \cap E} f_{k} dm \le \int_{E} f_{k} dm $$ 따라서 다음을 얻는다. $$ \int_{A_{n} \cap E} \phi_{\varepsilon} dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm $$


Part 3.

$\phi_{\epsilon}$ 은 단순 함수였으므로 치역은 유한 집합 $\left\{ c_{1} , c_{2} , \cdots , c_{r} \right\}$ 으로 나타낼 수 있다. $B_{i} := \phi_{\epsilon}^{-1} ( \left\{ c_{i} \right\} )$ 이라고 하면 $$ \int_{A_{n} \cap E} \phi_{\varepsilon} dm = \sum_{i = 1}^{r} c_{i} m (A_{n} \cap E \cap B_{i}) $$

[7]: $A_{n} \in \mathcal{M}$, $\displaystyle A_{n} \subset A_{n+1} \implies m \left( \bigcup_{n=1}^{\infty} A_{n} \right) = \lim_{n \to \infty} m (A_{n})$

Part 1에서 $A_{n} \subset A_{n+1}$ 이고 $\displaystyle \bigcup_{n=1}^{\infty} A_{n} = \mathbb{R}$ 이었으므로 $$ \displaystyle \lim_{n \to \infty} \sum_{i = 1}^{r} c_{i} m (A_{n} \cap E \cap B_{i}) = \lim_{n \to \infty} \int_{A_{n} \cap E} \phi_{\varepsilon} dm = \int_{E} \phi_{\varepsilon} dm $$ 이제 Part 2에서 얻은 결과와 합치면 $$ \int_{E} \phi_{\varepsilon} dm \le \liminf_{k \to \infty} \int_{E} f_{k} dm $$


Part 4.

따라서 어떤 경우든 모든 단순 함수 $\phi \le f$ 에 대해 다음이 성립한다. $$ \int_{E} \phi dm \le \liminf_{n \to \infty} \int_{E} f_{n} dm $$


  1. Capinski. (1999). Measure, Integral and Probability: p82. ↩︎

댓글