フビニの定理
上記に現れる各偏積分 ∫ Y f ( x , y ) d y , ∫ X f ( x , y ) d x {\displaystyle \textstyle \int _{Y}f(x,y)\,dy,\int _{X}f(x,y)\,dx} は至る所で定義されている必要はない。実際、それらが定義されない点は測度 0 の集合を構成するため、このことは問題とならない。
上述の、絶対値に関する積分が有限でないなら、上式の二つの逐次積分は実際に異なる値を取りうる。そのような可能性については、後述の内容を参照されたい。
フビニの定理はしばしば、X と Y は σ-有限であるという仮定が初めから置かれ、そのような場合、積測度は極大であるという仮定は必要なくなる(実際、極大積測度が唯一つの積測度となるため)。空間が σ-有限でないなら、フビニの定理が成立しないような異なる積測度が存在する可能性もある。例えば、ある積測度と非負可測函数 f に対して、|f| の二重積分はゼロとなるが二つの逐次積分は異なる値となることが起こり得る(後述の、反例に関する節を参照)。ある非極大積測度に対するフビニの定理の技巧的な一般化も存在する。このことについては (Fremlin 2003) を参照されたい。トネリの定理およびフビニ=トネリの定理は、非 σ-有限空間上では極大積測度に対してでさえも成立しないことがある。しかし実際の場合、フビニの定理を使う対象となるほとんど全ての測度空間は、σ-有限である。