【SPONSORED LINK】

フビニの定理,トネリの定理,フビニ-トネリの定理のまとめ

  
   

測度空間XYに対して,重積分\dint_{X\times Y}f(x,y)\,d(x,y)と累次積分(逐次積分)\dint_{Y}\bra{\dint_{X}f(x,y)\,dx}\,dyは一致するとは限らない.

[Fubini(フビニ)の定理][Tonnelli(トネリ)の定理]は二重積分と累次積分が一致するための十分条件を述べたものであり,非常に重要な解析学の定理である.また,[Fubiniの定理]と[Tonelliの定理]を組み合わせた[Fubini-Tonelliの定理]と呼ばれる定理も存在する.

[Fubiniの定理],[Tonelliの定理],[Fubini-Tonelliの定理]を総称して「Fubiniの定理」と呼ぶ場合もある.

この記事では,[Fubiniの定理],[Tonelliの定理],[Fubini-Tonelliの定理]を概説する.

【SPONSORED LINK】

直積測度空間

[Fubiniの定理],[Tonelliの定理],[Fubini-Tonelliの定理]の主張の中で,「\sigma-有限測度空間」が現れるので,まずは\sigma-有限測度空間これについて説明する.

ただし,ユークリッド空間\R^N\sigma-有限測度空間なので,ここを読み飛ばして\sigma-有限測度空間を全て\R^Nと読み替えても良い.

測度空間(X,\mathcal{A},\mu)(Y,\mathcal{B},\nu)に対して,Xの可測部分集合AYの可測部分集合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は一意に定まる.このとき,PP=\mu\times\nuと表す.

なお,\sigma-有限測度空間の定義は次の通りである.

[\sigma-有限測度空間] 測度空間(X,\mathcal{A},\mu)\sigma-有限であるとは,\mathcal{A}の列\{X_{n}\}_{n=0}^{\infty}が存在して,次の2条件を満たすことをいう.

  1. 任意のn\in\{0,1,\dots\}に対して,\mu(X_{n})<\inftyが成り立つ.
  2. X=\bigcup\limits_{n=0}^{\infty}X_{n}が成り立つ.

[Tonelliの定理],[Fubini-Tonelliの定理]における測度空間(X,\mathcal{A},\mu)(Y,\mathcal{B},\nu)\sigma-有限であるが,[Fubiniの定理]では\sigma-有限測度空間に限る必要はない.

しかし,この記事では[Fubiniの定理]も\sigma-有限測度空間に限った主張を述べることとする.

例えば,Lebesgue測度に対するEuclid空間\mathbb{R}^{N}\sigma-有限であるから,以下の測度空間(X,\mathcal{A},\mu)(Y,\mathcal{B},\nu)はLebesgue測度をもつEuclid空間\mathbb{R}^{N}としても良い.

Fubiniの定理

まずは[Fubiniの定理]について述べる.[Fubiniの定理]の主張は次の通りである.

[Fubiniの定理I] \sigma-有限測度空間(X,\mathcal{A},\mu)(Y,\mathcal{B},\nu)に対して,X\times Y上の関数fX\times Y上可積分であれば,X上ほとんど至るところでf(x,\cdot)Y上可積分で,次の等式が成り立つ:

\dint_{X\times Y}f(x,y)\,d(\mu\times\nu)=\dint_{X}\bra{\int_{Y}f(x,y)\,d\nu}\,d\mu

X\times Y上の関数fX\times Y上可積分である」というのは,言い換えれば,fX\times Y上可測であって

\dint_{X\times Y}|f(x,y)|\,d(\mu\times\nu)<\infty

が成り立つことをいう.これは重積分の意味である.

また,「X上ほとんど至るところでf(x,\cdot)Y上可積分」……(*)というのは,x\in Xを固定するごとにYの関数f(x,\cdot)が存在するが,X上ほとんど至るところでこのYの関数f(x,\cdot)Yで積分した\dint_{Y}f(x,y)\,d\nuが存在する,ということである.

定理の等式の右辺で\dint_{Y}f(x,y)\,d\nuXで積分する以上,\dint_{Y}f(x,y)\,d\nuX上ほとんど至るところで定義されている必要があるために,主張の中に(*)があるのである.

以上を簡単にまとめると,[Fubiniの定理]は「fX\times Y上可積分であれば,累次積分\dint_{X}\bra{\int_{Y}f(x,y)\,d\nu}\,d\muが存在して,重積分\dint_{X\times Y}f(x,y)\,d(\mu\times\nu)と一致する」ということができる.

また,以上でXYを入れ替えてもよく,結局,次が成り立つ.

[Fubiniの定理II] \sigma-有限測度空間(X,\mathcal{A},\mu)(Y,\mathcal{B},\nu)に対して,X\times Y上の関数fX\times Y上可積分であれば,X上ほとんど至るところでf(x,\cdot)Y上可積分,かつY上ほとんど至るところでf(\cdot,y)X上可積分で,次の等式が成り立つ:

\dint_{X\times Y}f(x,y)\,d(\mu\times\nu) =\dint_{X}\bra{\int_{Y}f(x,y)\,d\nu}\,d\mu =\dint_{Y}\bra{\int_{X}f(x,y)\,d\mu}\,d\nu

Tonelliの定理

次に[Tonelliの定理]について述べる.[Tonelliの定理]の主張は次の通りである.

[Tonelliの定理] \sigma-有限測度空間(X,\mathcal{A},\mu)(Y,\mathcal{B},\nu)に対して,X\times Y上の関数fX\times Y上可測かつ非負であれば,次の等式が\inftyの値をとるときにも成り立つ:

\dint_{X\times Y}f(x,y)\,d(\mu\times\nu) =\dint_{X}\bra{\int_{Y}f(x,y)\,d\nu}\,d\mu =\dint_{Y}\bra{\int_{X}f(x,y)\,d\mu}\,d\nu

[Tonelliの定理]では,[Fubiniの定理]のような可積分性の条件を必要としない.ただ,fが可測かつ非負でさえあれば,重積分と累次積分が一致することを主張している.

[Fubiniの定理]における(*)にあたるものがないのは,非負可測関数の積分は\inftyを許せば必ず存在するからである.したがって,\dint_{Y}f(x,y)\,d\nuX上至るところで(\inftyを許して)存在するし,\dint_{X}f(x,y)\,d\muY上至るところで(\inftyを許して)存在する.

Fubini-Tonelliの定理

[Fubiniの定理]の問題点は,重積分\dint_{X\times Y}|f(x,y)|\,d(\mu\times\nu)が有限であることを先に示さなければならないことにある.多くの場合で重積分の計算は簡単でないため,使いにくいことがある.

一方,[Tonelliの定理]の問題点は,非負値関数に対してのみ有効であることにある.

これらの「いいとこどり」をしよう,というのが[Fubini-Tonelliの定理]である.[Fubini-Tonelliの定理]の主張は次の通りである.

[Fubini-Tonelliの定理] \sigma-有限測度空間(X,\mathcal{A},\mu)(Y,\mathcal{B},\nu)X\times Y上の可測関数fに対して,

\dint_{X\times Y}|f(x,y)|d(\mu\times\nu) =\dint_{X}\bra{\int_{Y}|f(x,y)|d\nu}d\mu =\dint_{Y}\bra{\int_{X}|f(x,y)|d\mu}d\nu

が成り立ち,この値が有限であれば,次の等式が有限の値で成り立つ:

\dint_{X\times Y}f(x,y)\,d(\mu\times\nu) =\dint_{X}\bra{\int_{Y}f(x,y)\,d\nu}\,d\mu =\dint_{Y}\bra{\int_{X}f(x,y)\,d\mu}\,d\nu

[Fubini-Tonelliの定理]は[Fubiniの定理],[Tonelliの定理]から,次のようにして直ちに導くことができる.

[証明]

fが可測関数なら,|f|は非負可測関数だから,Tonelliの定理より

\dint_{X\times Y}|f(x,y)|\,d(\mu\times\nu) =\dint_{X}\bra{\int_{Y}|f(x,y)|\,d\nu}\,d\mu =\dint_{Y}\bra{\int_{X}|f(x,y)|\,d\mu}\,d\nu

が成り立つ.

また,この値が有限であるとすると,|f|X\times Y上可積分だからfX\times Y上可積分である.よって,Fubiniの定理より

\dint_{X\times Y}f(x,y)\,d(\mu\times\nu) =\dint_{X}\bra{\int_{Y}f(x,y)\,d\nu}\,d\mu =\dint_{Y}\bra{\int_{X}f(x,y)\,d\mu}\,d\nu

が成り立つ.

[証明終]

応用上,[Fubini-Tonelliの定理]は,「累次積分\dint_{X}\bra{\int_{Y}|f(x,y)|\,d\nu}\,d\muまたは累次積分\dint_{Y}\bra{\int_{X}|f(x,y)|\,d\mu}\,d\nuのどちらかが計算でき,有限の値を持てばfの重積分と累次積分は一致する」として用いることが多い.

(むしろ,重積分\dint_{X\times Y}|f(x,y)|\,d\mu\times\nuが計算できるなら,Fubiniの定理のみで十分である.)

関連記事

【良いと思ったらシェアを!】

最後まで読んでいただきありがとうございました!

良ければシェアボタンから共有をお願いします!

コメントを残す

*

このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください