σ-有限空間でない場合にトネリの定理が成立しないこと
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/22 10:57 UTC 版)
「フビニの定理」の記事における「σ-有限空間でない場合にトネリの定理が成立しないこと」の解説
X はルベーグ可測集合とルベーグ測度を伴う単位区間とし、Y は数え上げ測度を伴う単位区間でそのすべての部分集合は可測であるものとする。したがって Y は σ-有限ではない。f が X×Y の対角についての特性函数であるなら、f の X に沿った積分は Y 上の函数 0 となるが、Y に沿った積分は X 上の函数 1 となる。したがって二つの逐次積分の値は異なるものとなる。このことは、積測度がどのように選ばれたとしても、σ-有限でない空間に対してはトネリの定理は成立しないことを意味する。その測度はいずれも分解可能であり、トネリの定理は(σ-有限測度よりもやや一般的である)分解可能測度に対しては成立しないことが示される。
※この「σ-有限空間でない場合にトネリの定理が成立しないこと」の解説は、「フビニの定理」の解説の一部です。
「σ-有限空間でない場合にトネリの定理が成立しないこと」を含む「フビニの定理」の記事については、「フビニの定理」の概要を参照ください。
- σ-有限空間でない場合にトネリの定理が成立しないことのページへのリンク