Fubini’s Theorem on Measure

Noboru Endou. "Fubini’s Theorem on Measure." Formalized Mathematics 25.1 (2017): 1-29. <http://eudml.org/doc/288132>.

@article{NoboruEndou2017,
abstract = {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.},
author = {Noboru Endou},
journal = {Formalized Mathematics},
keywords = {Fubini’s theorem; product measure},
language = {eng},
number = {1},
pages = {1-29},
title = {Fubini’s Theorem on Measure},
url = {http://eudml.org/doc/288132},
volume = {25},
year = {2017},
}

TY - JOUR
AU - Noboru Endou
TI - Fubini’s Theorem on Measure
JO - Formalized Mathematics
PY - 2017
VL - 25
IS - 1
SP - 1
EP - 29
AB - 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.
LA - eng
KW - Fubini’s theorem; product measure
UR - http://eudml.org/doc/288132
ER -