Fubiniの定理

重積分と逐次積分が一致するための条件
 ※

Th. Tonelli
1. 可測性から可積分性を導く。
2. 正値関数に対する積分の順序交換
Fubiniの前段として，fの可積分性  を示すのに使う。


 可測
このとき，以下のいずれかが有限ならば，



fは可積分 で，積分の順序交換(※)が成立する。

注. [柴田]では，正値関数  に対してこの定理を示している。
ここでは便宜を図り，絶対値をとった形を入れることで必ずしも正値でない関数の可積分性に拡張している。

Th. Fubini
fがX×Yで可積分とする。

このとき，xを固定して得られる関数f(x,y)はa.e.xに対してY可積分。

また，yを固定した場合も同様


従ってx,yの片方だけ積分して定義される関数はそれぞれ可積分で，


重積分と累次積分の変換(※)が成立する。