Fubini’s Theorem on Measure-Reference-Cited by-同舟云学术

Fubini’s Theorem on Measure

Published:2017-03-28 Issue:1 Volume:25 Page:1-29
ISSN:1898-9934
Container-title:Formalized Mathematics
language:en
Short-container-title:

Author:

Endou Noboru¹

Affiliation:

1. National Institute of Technology, Gifu College 2236-2 Kamimakuwa, Motosu , Gifu , Japan

Abstract

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

Publisher

Walter de Gruyter GmbH

Subject

Applied Mathematics,Computational Mathematics

Reference22 articles.

1. [1] Grzegorz Bancerek. Curried and uncurried functions. Formalized Mathematics, 1(3): 537-541, 1990.

2. [2] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.

3. [3] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.

4. [4] Heinz Bauer. Measure and Integration Theory. Walter de Gruyter Inc., 2002.

5. [5] Józef Białas. The σ-additive measure theory. Formalized Mathematics, 2(2):263-270, 1991.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multidimensional Measure Space and Integration;Formalized Mathematics;2023-09-01

2. Fubini’s Theorem;Formalized Mathematics;2019-04-01

3. Fubini’s Theorem for Non-Negative or Non-Positive Functions;Formalized Mathematics;2018-04-01

4. Integral of Non Positive Functions;Formalized Mathematics;2017-10-01