ヴィタリの収束定理

数学の実解析あるいは測度論の分野におけるヴィタリの収束定理（ヴィタリのしゅうそくていり、テンプレート:Lang-en-short）とは、イタリアの数学者ジュゼッペ・ヴィタリの名にちなむ定理で、アンリ・ルベーグの有名な優収束定理の一般化として知られる。一様可積分性に依存する強い結果であり、問題となる関数列に対して支配的な関数を見つけることが出来ないときに重宝する。そのような支配的な関数を見つけられるときは、ルベーグの定理がヴィタリの定理の特別な場合として従う。

定理の内容

$(X,ℱ,\mu )$ を正の測度空間とする。もし

1. $\mu (X)<\mathrm{\infty }$
2. $\{f_n\}$ は一様可積分
3. $f_n(x)\to f(x)$ a.e. as $n\to \mathrm{\infty }$
4. $|f(x)|<\mathrm{\infty }$ a.e.

が満たされるなら、次が成立する:

1. $f\in {ℒ}^1(\mu )$
2. $\underset{n\to \mathrm{\infty }}{\lim }\underset{X}{\int }|f_n-f|d\mu =0$.

証明の概略

定理の1を証明するために、ファトゥの補題を用いる:$\underset{X}{\int }|f|d\mu \le \underset{n\to \mathrm{\infty }}{\mathrm{lim\; inf}}\underset{X}{\int }|f_n|d\mu$

• 一様可積分性により、$\mu (E)<\delta$ であるような集合 $E$ に対して、$\underset{E}{\int }|f_n|d\mu <1$ where $E$ が得られる。
• テンプレート:仮リンクより、$f_n$ は集合 $E^C$ 上で一様収束する。$p$ を十分大きいとしたとき、すべての $n>p$ に対して $\underset{E^C}{\int }|f_n-f_p|d\mu <1$ が成立する。三角不等式により $\underset{E^C}{\int }|f_n|d\mu \le \underset{E^C}{\int }|f_p|d\mu +1=M$ を得る。
• これらの上界に関する不等式を、初めのファトウの補題による不等式の右辺に適用することにより、定理の1は示される。

定理の2のために、不等式 $\underset{X}{\int }|f-f_n|d\mu \le \underset{E}{\int }|f|d\mu +\underset{E}{\int }|f_n|d\mu +\underset{E^C}{\int }|f-f_n|d\mu$ を用いる。ここで $E\in X$ であり $\mu (E)<\delta$ である。

• この右辺の項はそれぞれ、上の定理の1と $f_n$ の一様可積分性、すべての $n>N$ に対するエゴロフの定理を用いることにより、任意に小さく出来ることが分かる。

定理の逆

$(X,ℱ,\mu )$ を正の測度空間とする。もし

1. $\mu (X)<\mathrm{\infty }$
2. $f_n\in {ℒ}^1(\mu )$
3. $\underset{n\to \mathrm{\infty }}{\lim }\underset{E}{\int }{f}_{n}d\mu$ はすべての $E\in ℱ$ に対して存在する

が満たされるなら、$\{f_n\}$ は一様可積分である。

参考文献

• テンプレート:Cite book テンプレート:MathSciNet
• テンプレート:Cite book テンプレート:MathSciNet

外部リンク

• テンプレート:PlanetMath