# Fubini’s Theorem on Measure

Formalized Mathematics (2017)

- Volume: 25, Issue: 1, page 1-29
- ISSN: 1426-2630

## Access Full Article

top## Abstract

top## How to cite

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

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.