<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></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.

Fubini’s Theorem on Measure

Formalized Mathematics

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.

{"article-title":"Fubini\u2019s Theorem on Measure"}

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...

Fubini’s Theorem on Measure

Published Online: May 11, 2017

Page range: 1 - 29

Received: Feb 23, 2017

DOI: https://doi.org/10.1515/forma-2017-0001

Keywords
Fubini’s theorem, product measure

© by Noboru Endou

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.

Fubini’s Theorem on Measure

Published Online: May 11, 2017

Page range: 1 - 29

Received: Feb 23, 2017

DOI: https://doi.org/10.1515/forma-2017-0001

KeywordsFubini’s theorem, product measure

© by Noboru Endou

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License.

Keywords
Fubini’s theorem, product measure