파투 보조정리

실해석학에서 파투 보조정리(영어: Fatou’s lemma)는 가측 함수의 열의 하극한의 르베그 적분과 르베그 적분의 하극한 사이에 성립하는 부등식이다.

정의

파투 보조정리에 따르면, 측도 공간 $(X,\Sigma ,\mu )$ 위의 임의의 음이 아닌 가측 함수의 열 $f_{n}\colon X\to ([0,\infty ],{\mathcal {B}}([0,\infty ]))$ 에 대하여, 다음이 성립한다.^[1]^:23

\int _{X}\liminf _{n\to \infty }f_{n}\mathrm {d} \mu \leq \liminf _{n\to \infty }\int _{X}f_{n}\mathrm {d} \mu

여기서 $\liminf$ 는 하극한이다.

증명:

다음과 같은 가측 함수의 열을 정의하자.

g_{n}\colon x\mapsto \inf _{k\geq n}f_{k}(x)

그렇다면 각 $n\in \mathbb {N}$ 및 $x\in X$ 에 대하여 $g_{n}(x)\leq f_{n}(x)$ 이므로

\int _{X}g_{n}\mathrm {d} \mu \leq \int _{X}f_{n}\mathrm {d} \mu

이다. 이제 단조 수렴 정리에 따르면,

\int _{X}\liminf _{n\to \infty }f_{n}\mathrm {d} \mu =\int _{X}\lim _{n\to \infty }g_{n}\mathrm {d} \mu =\lim _{n\to \infty }\int _{X}g_{n}\mathrm {d} \mu \leq \liminf _{n\to \infty }\int _{X}f_{n}\mathrm {d} \mu

을 얻어, 증명이 끝난다.

예

등식

만약 $f_{n}=c$ 이 같은 상수 함수의 열일 경우, 파투 보조정리는 등식이 된다.

부등식

실수선 $X=\mathbb {R}$ 위의 보렐 시그마 대수 $\Sigma ={\mathcal {B}}(\mathbb {R} )$ 와 그 위의 르베그 측도 $\mu =\mu _{\operatorname {L} }$ 를 생각하자.

가측 함수열

f_{n}=(1/n)1_{[n,\infty )}

의 경우, 파투 보조정리의 좌변과 우변은 각각 0과 ∞이므로, 이는 등식이 아니다.

가측 함수열

f_{n}=n1_{(0,1/n)}

의 경우도 파투 보조정리는 엄격한 부등식 0<1이다.

역사

프랑스의 수학자 피에르 파투(프랑스어: Pierre Fatou)가 증명하였다.

각주

↑ Rudin, Walter (1987). 《Real and Complex Analysis》 (영어) 3판. McGraw-Hill. ISBN 978-0-07-054234-1. MR 0924157. Zbl 0925.00005. 2014년 10월 6일에 원본 문서에서 보존된 문서. 2014년 10월 6일에 확인함. CS1 관리 - 추가 문구 (링크)

외부 링크

“Fatou theorem (on Lebesgue integrals)”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.
“Fatou’s lemma”. 《PlanetMath》 (영어).
“Proof of Fatou’s lemma”. 《PlanetMath》 (영어).
“Fatou’s lemma for integrals”. 《ProofWiki》 (영어).

[Rudin-1] Rudin, Walter (1987). 《Real and Complex Analysis》 (영어) 3판. McGraw-Hill. ISBN 978-0-07-054234-1. MR 0924157. Zbl 0925.00005. 2014년 10월 6일에 원본 문서에서 보존된 문서. 2014년 10월 6일에 확인함. CS1 관리 - 추가 문구 (링크)

[1]

파투 보조정리

정의

예

등식

부등식

역사

각주

외부 링크

€4.95