ルベーグ積分において,関数$f$によっては
- 重積分$\dint_{\R^m\times\R^n}f(x,y)\,d(x,y)$
- 逐次積分$\dint_{\R^m}\bra{\dint_{\R^n}f(x,y)\,dy}\,dx$
が一致しないことがあります.
そこで,これら重積分と逐次積分が一致するための条件があれば嬉しいわけですが,この十分条件を述べた定理として[フビニ(Fubini)の定理],[トネリ(Tonelli)の定理]があります.
また,[Fubiniの定理]と[Tonelliの定理]を組み合わせた[Fubini-Tonelliの定理]と呼ばれる定理もあります.
[Fubiniの定理],[Tonelliの定理],[Fubini-Tonelliの定理]を総称して「Fubiniの定理」と呼ぶことも多く,これらは解析学において非常に重要な定理の1つです.
この記事では,[Fubiniの定理],[Tonelliの定理],[Fubini-Tonelliの定理]を概説します.
なお,これらの定理は$\R^m$と$\R^n$の代わりに$\sigma$-有限測度空間としても成り立ちますが,これについてはこの記事の最後に簡単な説明をするに留めます.
目次
Fubiniの定理
まずは[Fubiniの定理]について説明します.
[Fubiniの定理I] 関数$f:\R^m\times\R^n\to\overline{\R}$が$\R^m\times\R^n$上可積分であれば,$\R^m$上ほとんど至るところで$f(x,\cdot)$は$\R^n$上可積分で
が成り立つ.ただし,$\overline{\R}$は拡大実数$\R\cup\{\pm\infty\}$,$\mu$は$\R^m$上のルベーグ測度,$\nu$は$\R^n$上のルベーグ測度である.
なお,「$\R^m\times\R^n$上の関数$f$が$\R^m\times\R^n$上可積分である」というのは,ば$f$が$\R^m\times\R^n$上可測であって
が成り立つと言うことができます.
また,主張の中の条件
「$\R^m$上ほとんど至るところで$f(x,\cdot)$は$\R^n$上可積分」……$(*)$
は「$x\in\R^m$を固定するごとに$\R^n$の関数$f(x,\cdot)$が定まるが,$\R^m$上ほとんど至るところでこの$\R^n$の関数$f(x,\cdot)$を$\R^n$で積分した$\dint_{\R^n}f(x,y)\,d\nu$が存在する」という意味です.
定理の等式の右辺で$\dint_{\R^n}f(x,y)\,d\nu$を$\R^m$で積分する以上,$\dint_{\R^n}f(x,y)\,d\nu$が$\R^m$上ほとんど至るところで定義されている必要があるために,主張の中にこの条件$(*)$があるわけですね.
以上をまとめると,[Fubiniの定理]は「$f$が$\R^m\times\R^n$上可積分であれば,累次積分$\dint_{\R^m}\bra{\int_{\R^n}f(x,y)\,d\nu}\,d\mu$が存在して,重積分$\dint_{\R^m\times \R^n}f(x,y)\,d(\mu\times\nu)$と一致する」とも表現できますね.
また,以上で$\R^m$と$\R^n$の立場を入れ替えてもよく,結局次が成り立ちます.
[Fubiniの定理II] 関数$f:\R^m\times\R^n\to\overline{\R}$が$\R^m\times\R^n$上可積分であれば,$\R^m$上ほとんど至るところで$f(x,\cdot)$は$\R^n$上可積分,かつ$\R^n$上ほとんど至るところで$f(\cdot,y)$は$\R^m$上可積分で
が成り立つ.ただし,$\overline{\R}$は拡大実数$\R\cup\{\pm\infty\}$,$\mu$は$\R^m$上のルベーグ測度,$\nu$は$\R^n$上のルベーグ測度である.
Tonelliの定理
次に[Tonelliの定理]について説明します.
[Tonelliの定理] 関数$f:\R^m\times\R^n\to\overline{\R}$が$\R^m\times\R^n$上可測かつ非負であれば
が成り立つ.ただし,この等式は$\infty$をとる場合にも成り立ち,$\overline{\R}$は拡大実数$\R\cup\{\pm\infty\}$,$\mu$は$\R^m$上のルベーグ測度,$\nu$は$\R^n$上のルベーグ測度である.
[Tonelliの定理]では[Fubiniの定理]のような可積分性の条件を必要とせず,ただ$f$が可測かつ非負でさえあれば重積分と累次積分が一致することを主張しています.
先ほどの[Fubiniの定理]の説明における$(*)$に相当する記述がない理由は,非負可測関数の積分は$\infty$を許せば必ず存在することが理由です.
すなわち,$\dint_{\R^n}f(x,y)\,d\nu$は$\R^m$上至るところで($\infty$を許して)存在しますし,$\dint_{\R^m}f(x,y)\,d\mu$は$\R^n$上至るところで($\infty$を許して)存在します.
Fubini-Tonelliの定理
[Fubiniの定理]の欠点は重積分$\dint_{\R^m\times\R^n}|f(x,y)|\,d(\mu\times\nu)$が有限であることを先に示さなければならないことにあります.多くの場合で重積分の計算は簡単でないため,この点で[Fubiniの定理]は単体では使いにくいことが少なくありません.
一方で[Tonelliの定理]の欠点は非負値関数に対してのみ有効であることにあります.
「これらのいいとこどりをしよう」というのが次の[Fubini-Tonelliの定理]です.
[Fubini-Tonelliの定理] 関数$f:\R^m\times\R^n\to\overline{\R}$が$\R^m\times\R^n$上可測であれば
が成り立ち,この値が有限であれば
が有限の値で成り立つ.ただし,$\overline{\R}$は拡大実数$\R\cup\{\pm\infty\}$,$\mu$は$\R^m$上のルベーグ測度,$\nu$は$\R^n$上のルベーグ測度である.
[Fubini-Tonelliの定理]は[Fubiniの定理],[Tonelliの定理]から,次のようにして簡単に導くことができます.
$f$が可測関数なら,$|f|$は非負可測関数だから,Tonelliの定理より
が成り立つ.
また,この値が有限であるとすると,$|f|$が$\R^m\times\R^n$上可積分だから$f$は$\R^m\times\R^n$上可積分である.よって,Fubiniの定理より
が成り立つ.
可測関数$f$に対しては$f$が可積分であることと$|f|$が可積分であることが同値なので,Tonelliの定理からFubiniの定理が使えるようになるわけですね.
応用上,[Fubini-Tonelliの定理]は累次積分
- $\dint_{\R^m}\bra{\int_{\R^n}|f(x,y)|\,d\nu}\,d\mu$
- $\dint_{\R^n}\bra{\int_{\R^m}|f(x,y)|\,d\mu}\,d\nu$
のどちらかが計算でき,有限の値を持てば$f$の重積分と累次積分は一致する」として用いることが多いです.
もし重積分$\dint_{\R^m\times\R^n}|f(x,y)|\,d(\mu\times\nu)$が計算できるなら,[Fubiniの定理]のみで十分ですね.
直積測度空間
冒頭でも説明したように,[Fubiniの定理],[Tonelliの定理],[Fubini-Tonelliの定理]はルベーグ測度空間のみならず,$\sigma$-有限測度空間上で成り立ちます.
そこで,最後に$\sigma$-有限測度空間について簡単に説明します.
$\sigma$-有限測度空間と直積測度
$\sigma$-有限測度空間の定義は次の通りです.
[$\sigma$-有限測度空間] 測度空間$(X,\mathcal{A},\mu)$が$\sigma$-有限であるとは,$\mathcal{A}$の列$\{X_k\}_{k=1}^{\infty}$が存在して,2条件
- 任意の$k\in\{1,2,\dots\}$に対して$\mu(X_k)<\infty$
- $X=\bigcup\limits_{k=1}^{\infty}X_k$
を満たすことをいう.
ルベーグ測度空間$(\R^n,\mathcal{L},\mu)$が$\sigma$-有限であることは
によって原点中心の一辺の長さが$2k$の超立方体$Q_k$を定めると,
- 任意の$k\in\{1,2,\dots\}$に対して$\mu(Q_k)=(2k)^n<\infty$
- $X=\bigcup\limits_{k=1}^{\infty}Q_k$
が成り立つことから分かります.
測度空間$(X,\mathcal{A},\mu)$, $(Y,\mathcal{B},\nu)$に対して,$X$の可測部分集合$A$と$Y$の可測部分集合$B$の直積で生成される$\Omega:=X\times Y$の完全加法族を$\mathcal{F}$とします.
このとき,可測空間$(\Omega,\mathcal{F})$上の測度$P$で,任意の$A\in\mathcal{A}$, $B\in\mathcal{B}$に対して,$P(A\times B)=\mu(A)\nu(B)$となるものが存在します.
この$\mathcal{F}$, $P$をそれぞれ直積完全加法族,直積測度といい,測度空間$(\Omega,\mathcal{F},P)$を$(X,\mathcal{A},\mu)$, $(Y,\mathcal{B},\nu)$の直積測度空間といいます
一般の測度空間に対してこの直積測度$P$が一意であるとは限りませんが,$(X,\mathcal{A},\mu)$, $(Y,\mathcal{B},\nu)$がともに$\sigma$-有限測度空間であれば,$P$は一意に定まり,この$P$を$P=\mu\times\nu$と表します.
$\sigma$-有限測度空間を用いたFubiniの定理たち
[Fubiniの定理],[Tonelliの定理],[Fubini-Tonelliの定理]を$\sigma$-有限測度空間$(X,\mathcal{A},\mu)$, $(Y,\mathcal{B},\nu)$のもとで述べると以下のようになります.
[Fubiniの定理] 測度空間$(X,\mathcal{A},\mu)$, $(Y,\mathcal{B},\nu)$を$\sigma$-有限とする.関数$f:X\times Y\to\overline{\R}$が$X\times Y$上可積分であれば,$X$上ほとんど至るところで$f(x,\cdot)$は$Y$上可積分,かつ$Y$上ほとんど至るところで$f(\cdot,y)$は$X$上可積分で
が成り立つ.ただし,$\overline{\R}$は拡大実数$\R\cup\{\pm\infty\}$である.
[Tonelliの定理] 測度空間$(X,\mathcal{A},\mu)$, $(Y,\mathcal{B},\nu)$を$\sigma$-有限とする.関数$f:X\times Y\to\overline{\R}$が$X\times Y$上可測かつ非負であれば
が成り立つ.ただし,この等式は$\infty$をとる場合にも成り立ち,$\overline{\R}$は拡大実数$\R\cup\{\pm\infty\}$である.
[Fubini-Tonelliの定理] 測度空間$(X,\mathcal{A},\mu)$, $(Y,\mathcal{B},\nu)$を$\sigma$-有限とする.関数$f:X\times Y\to\overline{\R}$が$X\times Y$上可測であれば
が成り立ち,この値が有限であれば
が有限の値で成り立つ.ただし,$\overline{\R}$は拡大実数$\R\cup\{\pm\infty\}$である.
これらのうち[Fubiniの定理]は$\sigma$-有限測度空間上でなくとも成り立つことも知られていますが,ここでは以上の説明に留めます.