## You are here

HomeFubini's theorem

## Primary tabs

# Fubini’s theorem

Fubini’s theorem Let $I\subset\mathbb{R}^{N}$ and $J\subset\mathbb{R}^{M}$ be compact intervals, and let $f:I\times J\to\mathbb{R}^{K}$ be a Riemann integrable function such that, for each $x\in I$ the integral

$F(x):=\int_{J}f(x,y)\,d\mu_{J}(y)$ |

exists. Then $F:I\to\mathbb{R}^{K}$ is Riemann integrable, and

$\int_{I}F=\int_{{I\times J}}f.$ |

This theorem effectively states that, given a function of $N$ variables, you may integrate it one variable at a time, and that the order of integration does not affect the result.

Example Let $I:=[0,\pi/2]\times[0,\pi/2]$, and let $f:I\to\mathbb{R},x\mapsto\sin(x)\cos(y)$ be a function. Then

$\begin{split}\int_{I}f&=\iint_{{[0,\pi/2]\times[0,\pi/2]}}\sin(x)\cos(y)\\ &=\int_{0}^{{\pi/2}}\left(\int_{0}^{{\pi/2}}\sin(x)\cos(y)\,dy\right)\,dx\\ &=\int_{0}^{{\pi/2}}\sin(x)\left(1-0\right)\,dx=(0--1)=1.\end{split}$ |

Note that it is often simpler (and no less correct) to write $\idotsint_{I}f$ as $\int_{I}f$.

Related:

TonellisTheorem, FubinisTheoremForTheLebesgueIntegral, IntegrationUnderIntegralSign

Type of Math Object:

Theorem

Major Section:

Reference

Groups audience:

## Mathematics Subject Classification

26B12*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 22

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

## Corrections

More coming? by mathcam ✓

Decapitalize Theorem by mathwizard ✓

grammar by mathwizard ✓

states order by HkBst ✓

Decapitalize Theorem by mathwizard ✓

grammar by mathwizard ✓

states order by HkBst ✓