フビニの定理のソースを表示

{{脚注の不足|date=2022年10月}}
[[数学]]において'''フビニの定理'''（フビニのていり、{{Lang-en-short|Fubini's theorem}}）とは、{{harvs|txt|authorlink= グイド・フビニ|first=Guido|last= Fubini|year=1907}} によって導入された、[[逐次積分]]による[[二重積分]]の計算が可能となるための条件に関する一結果である。すなわち、次のような計算が可能となる。
: <math>\int_X\left(\int_Y f(x,y)\,\text{d}y\right)\,\text{d}x=\int_Y\left(\int_X f(x,y)\,\text{d}x\right)\,\text{d}y=\int_{X\times Y} f(x,y)\,\text{d}(x,y).</math>
この結果、{{仮リンク|積分の順序|en|Order of integration (calculus)}}は逐次積分において変えることが可能となる。フビニの定理は、ある二変数函数が可積分であれば、上記のような二回の繰り返しの積分は等しいことを意味する。{{harvs|txt|first=Leonida|last=Tonelli|authorlink=レオニダス・トネリ|year=1909}} によって導入された'''トネリの定理'''（Tonelli's theorem）も同様のものであるが、その定理が適用される函数は可積分ではなくとも非負であればよい。

== 歴史 ==
フビニの定理の特別な場合として、実ベクトル空間の閉有界部分集合の積上の連続函数に対する定理は、18世紀にオイラーによって知られていた。{{harvs|txt|last=Lebesgue|year=1904}} はこの結果を、ある区間の積上の有界可測函数へと拡張した。1906年にレヴィは、この定理は有界ではなくても可積分である函数に対して拡張されると予想し、フビニは1907年にそれが事実であることを証明した。

== 積測度 ==
''X'' と ''Y'' が測度を伴う測度空間であるなら、それらの積に関する[[積測度]]を定義するいくつかの自然な方法が存在する。

測度空間の（[[圏論]]の意味での）積 ''X''&times;''Y'' は、それらの可測な部分集合の積 ''A''&times;''B'' によって生成される[[完全加法族|σ代数]]をその可測集合として持つ。''X''&times;''Y'' 上の測度 μ は、可測部分集合 ''A'' および ''B'' に対して μ(''A''&times;''B'')=μ(''A'')μ(''B'') を満たすとき、'''積測度'''と呼ばれる。一般に ''X''&times;''Y'' 上には多くの異なる積測度が存在しうる。フビニの定理とトネリの定理はいずれも、この問題を解決するための技術的な条件を必要としている。その最も一般的な方法として、すべての可測空間は σ-有限であると仮定する方法がある。この場合、''X''&times;''Y'' 上の積測度は唯一つとなる。また、可測集合の測度が、可測集合の積の可算個の合併であるような集合の測度の下限で与えられる場合、''X''&times;''Y'' 上には常に唯一つの極大積測度（maximal product measure）が存在する。その極大積測度は、可測集合の積によって生成される集合の環上で μ(''A''&times;''B'')=μ(''A'')μ(''B'') を満たすような加法的函数 μ に対して[[カラテオドリの拡張定理]]を適用することで構成できる。

二つの[[完備測度|完備測度空間]]の積は通常、完備ではない。例えば、単位区間 ''I'' 上の[[ルベーグ測度]]の積は、平方 ''I''&times;''I'' 上のルベーグ測度ではない。完備測度に対するフビニの定理の変化版も存在し、そこでは不完備な測度の積の代わりにその積の完備化が用いられる。

== 可積分函数に対するフビニの定理 ==

''X'' と ''Y'' を[[測度空間]]とし、''X&nbsp;&times;&nbsp;Y'' を与えられた極大積測度（''X'' と ''Y'' が σ-有限であるなら、それは唯一つの積測度となる）とする。フビニの定理では、''f(x,y)'' が ''X&nbsp;&times;&nbsp;Y'' 可積分であるなら、すなわち[[可測関数|可測]]かつ

:<math>\int_{X\times Y} |f(x,y)|\,d(x,y)<\infty </math>

が有限であるなら、次が成立すると述べられている。

:<math>\int_X\left(\int_Y f(x,y)\,dy\right)dx=\int_Y\left(\int_X f(x,y)\,dx\right)dy=\int_{X\times Y} f(x,y)\,d(x,y).</math>

この式のはじめの二つの積分は、それぞれ二つの測度に関する逐次積分であり、三つ目の積分はそれら二つの測度の極大積に関する積分である。上記に現れる各偏積分 <math>\textstyle\int_Y f(x,y)\,dy, \int_X f(x,y)\,dx</math> は至る所で定義されている必要はない。実際、それらが定義されない点は測度 0 の集合を構成するため、このことは問題とならない。

上述の、絶対値に関する積分が有限でないなら、上式の二つの逐次積分は実際に異なる値を取りうる。そのような可能性については、後述の内容を参照されたい。

フビニの定理はしばしば、''X'' と ''Y'' は σ-有限であるという仮定が初めから置かれ、そのような場合、積測度は極大であるという仮定は必要なくなる（実際、極大積測度が唯一つの積測度となるため）。空間が σ-有限でないなら、フビニの定理が成立しないような異なる積測度が存在する可能性もある。例えば、ある積測度と非負可測函数 ''f'' に対して、|''f''| の二重積分はゼロとなるが二つの逐次積分は異なる値となることが起こり得る（後述の、反例に関する節を参照）。ある非極大積測度に対するフビニの定理の技巧的な一般化も存在する。このことについては {{harv|Fremlin|2003}} を参照されたい。トネリの定理およびフビニ＝トネリの定理は、非 σ-有限空間上では極大積測度に対してでさえも成立しないことがある。しかし実際の場合、フビニの定理を使う対象となるほとんど全ての測度空間は、σ-有限である。

== 非負函数に対するトネリの定理 ==
（{{仮リンク|レオニダス・トネリ|en|Leonida Tonelli}}の名にちなむ）'''トネリの定理'''（Tonelli's theorem）は、フビニの定理の後継となる定理である。トネリの定理の結論はフビニの定理のものと同一であるが、フビニの定理の ''|f|'' の積分が有限であるという仮定は、''f'' が非負であるという仮定に置き換えられる。

トネリの定理では、(''X'', ''A'', μ) と (''Y'', ''B'', ν) が {{仮リンク|σ-有限測度|label= σ-有限測度空間|en|Sigma-finite measure}}であり、''X×Y'' から [0,∞] への函数 ''f'' が非負かつ可測であるなら、次が成立すると述べられている。

: <math>\int_X\left(\int_Y f(x,y)\,\text{d}y\right)\,\text{d}x=\int_Y\left(\int_X f(x,y)\,\text{d}x\right)\,\text{d}y=\int_{X\times Y} f(x,y)\,\text{d}(x,y).</math>

トネリの定理の特別な場合として、<math>\sum_x \sum_y a_{xy}=\sum_y \sum_x a_{xy}</math> のような和の順序交換が挙げられる。ただし <math>a_{xy}</math> は全ての ''x'' および ''y'' に対して非負であるとする。トネリの定理の要点は、このような和の順序交換はたとえ級数が発散する場合でも成立する、ということである。実際、和の順序交換によって値が変わるような例は、<math>+\infty</math> および <math>-\infty</math> にそれぞれ発散する部分列が存在する場合にしか起こり得ないが、今回は全ての元は非負であるため、この可能性は除かれている。

測度空間は σ-有限であるという条件が無い場合、上述の三つの積分がそれぞれ異なる値を取ることも起こり得る。何人かの研究者は、σ-有限でない測度空間に対するトネリの定理の一般化を与えているが、そのような一般化ではしばしば問題を σ-有限の場合に直ちに帰着させるような追加条件が与えられている。例えば、''A''&times;''B'' 上の σ-代数を、可測集合のすべての積によってではなく、有限測度の部分集合の積によって生成されるものと設定されることもあるが、これはその積から各要素 ''A'' および ''B'' への射影が可測ではないという望ましくない結果をもたらす。また他の例では、''f'' の台が有限測度の積の可算個の合併に含まれるという条件が加えられている。{{harvtxt|Fremlin|2003}} は、トネリの定理のいくつかの非 σ-有限空間への拡張が与えられているが、それは幾分技術的なものである。そのような一般化はどれも、抽象的な測度論の範疇を超えた点において意義深い応用例が見つかっているものではなく、実際の興味あるほとんど全ての測度空間は σ-有限である。

== フビニ＝トネリの定理 ==
フビニの定理とトネリの定理を組み合わせることで、フビニ＝トネリの定理（しばしばフビニの定理と省略して呼ばれる）が得られる。その定理では、''X'' と ''Y'' が {{仮リンク|σ-有限測度|en|σ-finite measure}}であり、''f'' は以下の三つの積分
: <math>\int_X\left(\int_Y |f(x,y)|\,\text{d}y\right)\,\text{d}x</math>
: <math>\int_Y\left(\int_X |f(x,y)|\,\text{d}x\right)\,\text{d}y</math>
: <math>\int_{X\times Y} |f(x,y)|\,\text{d}(x,y)</math>
のいずれかが有界であるような可測函数であるなら、次の等式が成立することが述べられている。
: <math>\int_X\left(\int_Y f(x,y)\,\text{d}y\right)\,\text{d}x=\int_Y\left(\int_X f(x,y)\,\text{d}x\right)\,\text{d}y=\int_{X\times Y} f(x,y)\,\text{d}(x,y).</math>

上述の条件式における ''f'' の絶対値は、''f'' の正あるいは負の部分で置き換えることが出来る。非負函数の負の部分はゼロであり、積分は有限となることから、そのような置き換えはトネリの定理を含むものであることが分かる。非公式的に、それらの条件が満たされるなら ''f'' の二重積分は（無限となることもあるが）well defined と呼ばれる。

フビニの定理に対してフビニ＝トネリの定理を用いることの利点は、絶対値 |''f''| の逐次積分は二重積分よりも容易に研究できることがあることである。フビニの定理におけるように、単一の積分は測度 0 の集合上で定義されないこともある。

== 完備測度に対するフビニの定理 ==
上述のフビニおよびトネリの定理は、ルベーグ測度を伴う実数直線 '''R''' 同士の積の上での積分に対して適用できないという厄介な問題がある。これは、'''R'''&times;'''R''' 上のルベーグ測度は '''R''' 上のルベーグ測度同士の積とは異なり、その完備化であるという点から生じる問題である。一般に二つの完備測度空間 ''X'' と ''Y'' の積は、完備ではない。この理由により、完備測度に対するフビニの定理の変形版がしばしば用いられる。大雑把に言うと、すべての測度をその完備化で置き換えるということである。上述のものと似たフビニの定理の変形版は多く存在するが、それらには以下のようないくつかの小さな差異が見られる：
* 二つの測度空間の積 ''X''&times;''Y'' を取る代わりに、ある測度の完備化を取る。
* ''X''&times;''Y'' の完備化の上で ''f'' が可測であるなら、その垂直あるいは水平直線への制限は、それらの直線内の測度 0 の部分集合に対して非可測となることがある。したがってそのような垂直あるいは水平に対する積分は、非可測な函数の積分も含むため、測度 0 の集合上では定義されない可能性も許す必要がある。可積分ではない函数は定義されていないため、このことによってわずかな差異が生じる。 
* 一般に、''X'' と ''Y'' 上の測度は完備であることが仮定される。そうでなければ、垂直あるいは水平直線に沿った二つの部分積分は well-defined であるが可測でないという場合が起こり得る。例えば ''f'' を、測度 0 の集合を含むようなある可測集合と非可測集合の積に関する特性函数とする。このとき、その積分は至る所で well-defined であるが、非可測である。

== 証明 ==
フビニおよびトネリの定理の証明は、σ-有限性に関連する仮定を用いるため、必然的に幾分技巧的なものとなる。ほとんどの証明では、以下に述べるような徐々に複雑になっていく函数に対して定理の成立を示すことで、最終的にすべてを示す方針を採っている。

* 手順１：積上の測度は積測度であるという事実を使って、長方形区間上の特性函数に対して定理を証明する。
* 手順２：空間が σ-有限であるという条件（あるいはそれに関連する条件）を使って、可測集合上の特性函数に対して定理を証明する。
* 手順３：函数が可測であるという条件を使って、単函数（有限個の値のみを取る函数。手順２の函数の有限の線型結合である）近似により正の可測函数に対して定理を証明する。これによって、トネリの定理は証明される。
* 手順４：函数が可積分であるという条件を使って、その函数を二つの正の可積分函数の差で表し、それぞれに対してトネリの定理を用いる。これによって、フビニの定理が証明される。

== 反例 ==
次の例では、フビニの定理およびトネリの定理のいくつかの仮定が満たされないとき、どのようにして定理が成立しないかを示す。

=== σ-有限空間でない場合にトネリの定理が成立しないこと ===
''X'' はルベーグ可測集合とルベーグ測度を伴う単位区間とし、''Y'' は数え上げ測度を伴う単位区間でそのすべての部分集合は可測であるものとする。したがって ''Y'' は σ-有限ではない。''f'' が ''X''&times;''Y'' の対角についての特性函数であるなら、''f'' の ''X'' に沿った積分は ''Y'' 上の函数 0 となるが、''Y'' に沿った積分は ''X'' 上の函数 1 となる。したがって二つの逐次積分の値は異なるものとなる。このことは、積測度がどのように選ばれたとしても、σ-有限でない空間に対してはトネリの定理は成立しないことを意味する。その測度はいずれも[[分解可能測度|分解可能]]であり、トネリの定理は（σ-有限測度よりもやや一般的である）分解可能測度に対しては成立しないことが示される。

=== 非極大積測度に対してフビニの定理が成立しないこと ===
たとえ σ-有限でない空間であっても、極大積測度が用いられるなら、フビニの定理は成立する。実際、上記の例において極大積測度を考えると、対角は無限測度を持ち、したがって |''f''| の二重積分は無限大となるため、（空虚な意味で）フビニの定理は成立する。しかし ''X''&times;''Y'' を、測度の集合がその水平区分のルベーグ測度の和であるような積測度とするとき、|''f''| の二重積分はゼロであるが、二つの逐次積分の値は依然として異なるものであり得る。これはフビニの定理が成立しないような積測度の例である。

このことにより、二つの測度空間の同一の積上の異なる二つの積測度の例が得られた。二つの σ-有限測度空間の積として、唯一つの積測度が存在する。

=== 非可測函数に対してトネリの定理が成立しないこと ===
''X'' は第一非可算順序数で、可測集合が（測度 0 で）可算であるか、可算個の（測度 1 の）補集合であるような有限測度を伴うものとする。''X''&times;''X'' の（非可測な）部分集合 ''E'' を ''x''<''y'' を満たすペア (''x'',''y'') で与えると、それはすべての水平直線上で可算であり、すべての垂直直線上に可算個の補集合を持つ。''f'' を ''E'' の特性函数とすると、''f'' の二種類の逐次積分が定義され、それらは 1 と 0 という異なる値を取る。この函数 ''f'' は非可測であるため、これはトネリの定理が非可測函数に対して成立しない例となる。

=== 非可測函数に対してフビニの定理が成立しないこと ===
上の例の変形版として、たとえ |''f''| が可積分でいずれの逐次積分が well-defined であっても、非可測であればフビニの定理が成立しないことがあるという例を以下に挙げる：''f'' は ''E'' 上で 1 であり、''E'' の補集合上で -1 とする。このとき |''f''| はその直積空間上で積分 1 となり可積分であるが、well-defined である各逐次積分の値はそれぞれ 1 と -1 となり、異なる。

[[連続体仮説]]を考えることで、''X'' を単位区間 ''I'' と見なすことが出来、二つの（ルベーグ測度による）逐次積分は定義されるが等しくないような ''I''&times;''I'' 上の有界非負函数が存在することが分かる。この例は {{harvs|txt|last=Sierpiński|year=1920}} によって発見された。ルベーグ測度を伴う二つの単位区間の積上に対するフビニの定理のより強い結果において、函数はもはや可測である必要はなく、二つの逐次積分が well-defined で存在していればよいが、その結果は標準的な[[集合論]]の[[ツェルメロ＝フレンケル集合論|ツェルメロ＝フレンケルの公理]]とは独立なものである。連続体仮説と[[マーティンの公理]]はいずれも、逐次積分の値が異なるような単位正方形上の函数が存在することを意味するが、{{harvs|txt|last=Friedman|year=1980}} は、それは[[公理的集合論|ZFC]]と一致し、[0,&nbsp;1] に対する強フビニ型定理が成立し、二つの逐次積分が存在するならそれらは等しくなることを示した。[[ZFCから独立な命題の一覧]] を参照。

=== 非可積分函数に対してフビニの定理が成立しないこと ===
フビニの定理によれば、（σ-有限測度空間の積上の可測函数に対して）絶対値の積分が有限であるなら、積分の順序は問題にならない。すなわち、はじめに ''x'' について積分し、続いて ''y'' について積分すれば、はじめに ''y''、続いて ''x'' について積分したものと同じ結果が得られる。絶対値の積分は有限であるという仮定は、[[ルベーグ積分|ルベーグ可積分性]]であり、この仮定が無いと二つの逐次積分は異なる値を取り得る。

逐次積分が一般に異なる値を取る簡単な例として、二つの測度空間を正の整数として定め、函数 ''f''(''x'',''y'') は ''x''=''y'' なら 1、''x''=''y''+1 なら -1、それ以外なら 0 となるものが挙げられる。このとき二つの逐次積分はそれぞれ 0 と 1 という異なる値を取る。

他の例として、次の函数が考えられる。
:<math>\frac{x^2-y^2}{(x^2+y^2)^2} = -\frac{\partial^2}{\partial x\partial y}\arctan(y/x).</math>

このとき[[二重積分|逐次積分]]は

:<math>\int_{x=0}^1\left(\int_{y=0}^1\frac{x^2-y^2}{(x^2+y^2)^2}\,\text{d}y\right)\,\text{d}x=\frac{\pi}{4}</math>

および

:<math>\int_{y=0}^1\left(\int_{x=0}^1\frac{x^2-y^2}{(x^2+y^2)^2}\,\text{d}x\right)\,\text{d}y=-\frac{\pi}{4}</math>

となり、異なる値となる。対応する二重積分は[[絶対収束]]（言い換えると、[[絶対値]]を取った積分は有限でない）しない。すなわち、

:<math>\int_0^1\int_0^1 \left|\frac{x^2-y^2}{(x^2+y^2)^2}\right|\,\text{d}y\,\text{d}x=\infty </math>

となる。

== クラトフスキ＝ウラムの定理 ==
ポーランドの数学者[[カジミェシュ・クラトフスキ]]と[[スタニスワフ・ウラム]]の名にちなむクラトフスキ＝ウラムの定理は、任意の[[第二可算的空間|第二可算的]][[ベール空間]]に対する同様の結果であり、「ベールカテゴリーに対するフビニの定理」とも呼ばれている。''X'' と ''Y'' を第二可算的ベール空間（あるいは特に、[[ポーランド空間]]）とし、<math>A\subset X\times Y</math> とする。このとき、''A'' が[[ベールの性質]]を持つものであるなら、以下の二つの条件は同値である：

# ''A'' は[[痩集合]]（meagre set）。
# 集合 <math>\{ x \in X :A_x \text{ is meager in Y}  \}</math> は X 内の補痩集合（comeagre set）。ただし <math>A_x=\pi_Y[A\cap \lbrace x \rbrace \times Y]</math> であり、<math>\pi_Y</math> は Y の上への射影。

各条件の痩集合はそれぞれ補痩集合に代えても成立する。仮に A がベールの性質を持たないとしても、条件２は条件１より従う<ref>S. Srivastava ''A course on Borel sets''. Springer, 1998, p. 112.</ref>。この定理は、任意のハウスドルフ空間 X および可算 n-基を持つハウスドルフ空間 Y に対しても（空虚な意味であることもあるが）成立する。

この定理は、考えている函数がある積空間の集合の特性函数である場合の通常のフビニの定理と類似なものである。その場合、痩集合は測度 ０ の集合、補痩集合は全測度（full measure）の集合、ベールの性質を持つ集合は可測集合に対応する。

== 関連項目 ==
* [[カヴァリエリの原理]]（フビニの定理の特別な場合）
* {{仮リンク|余面積公式|en|Coarea formula}}

== 参考文献 ==
{{reflist}}
*{{citation|MR=1897317 |last=DiBenedetto|first= Emmanuele
|title=Real analysis|series=Birkhäuser Advanced Texts: Basler Lehrbücher|publisher= Birkhäuser Boston, Inc.|place= Boston, MA|year= 2002|ISBN= 0-8176-4231-5}} 
*{{citation|MR=2462280|last=Fremlin|first= D. H.
|title=Measure theory|volume= 2 
|publisher=Torres Fremlin|place= Colchester|year=2003 |ISBN=0-9538129-2-8 }}
*{{citation |first=Wacław |last=Sierpiński |year=1920 |title=Sur un problème concernant les ensembles mesurables superficiellement |journal=Fundamenta Mathematicae |volume=1 |issue=1 |pages=112&ndash;115 |url=https://eudml.org/doc/212592 }}
*{{citation |first=Harvey |last=Friedman |year=1980 |title=A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions |journal=Illinois J. Math. |volume=24 |issue=3 |pages=390&ndash;395 |mr=573474|url=http://projecteuclid.org/euclid.ijm/1256047607 }}
*{{citation|first=G. |last=Fubini|title=Sugli integrali multipli|journal=Rom. Acc. L. Rend. (5)|volume= 16|issue=1|pages= 608-614 |year=1907| |ZBL =38.0343.02}} Reprinted in {{citation|first=G. |last=Fubini|title= Opere scelte |volume= 2 |publisher= Cremonese |year=1958|pages= 243–249}}
*{{citation|last=Lebesgue|year=1904|title=Leçons sur l'intégration et la recherche des fonctions primitives|publisher=Gauthier-Villars|place=Paris|url=https://archive.org/details/leconegrarecher00leberich}}
*{{citation|first=L.|last=Tonelli|title= Sull'integrazione per parti|journal=Atti della Accademia Nazionale dei Lincei  (5) |volume=18|issue=2 |year=1909|pages=246-253}}

== 外部リンク ==
* {{SpringerEOM|title=Fubini theorem |id=Fubini_theorem|first=L.D. |last=Kudryavtsev}}
* {{citation | last = Teschl| first = Gerald| authorlink = :en:Gerald Teschl| title = Topics in Real and Functional Analysis| url = http://www.mat.univie.ac.at/~gerald/ftp/book-fa/index.html|publisher = (lecture notes)}}

{{DEFAULTSORT:ふひにのていり}}
[[Category:測度論の定理]]
[[Category:微分積分学の定理]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]