The purpose of this article is to show Fubini’s theorem on measure [16], [4], [7], [15], [18]. Some theorems have the possibility of slight generalization, but we have priority to avoid the complexity of the description. First of all, for the product measure constructed in [14], we show some theorems. Then we introduce the section which plays an important role in Fubini’s theorem, and prove the relevant proposition. Finally we show Fubini’s theorem on measure.
@article{bwmeta1.element.doi-10_1515_forma-2017-0001,
author = {Noboru Endou},
title = {Fubini's Theorem on Measure},
journal = {Formalized Mathematics},
volume = {25},
year = {2017},
pages = {1-29},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.doi-10_1515_forma-2017-0001}
}
Noboru Endou. Fubini’s Theorem on Measure. Formalized Mathematics, Tome 25 (2017) pp. 1-29. http://gdmltest.u-ga.fr/item/bwmeta1.element.doi-10_1515_forma-2017-0001/