El teorema de Fubini, que deu el seu nom a Guido Fubini, estableix que si
![{\displaystyle \int _{A\times B}|f(x,y)|\,d(x,y)<\infty ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ba0b6a9982bb9ca18988b58abc08249f7e38ecb)
aleshores la integral respecte al producte de dos intervals en l'espai
, es pot expressar com
![{\displaystyle \int _{A}\left(\int _{B}f(x,y)\,dy\right)\,dx=\int _{B}\left(\int _{A}f(x,y)\,dx\right)\,dy=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d86da38e1d6db3b2ee0975c6512f3410237763b2)
![{\displaystyle =\int _{A\times B}f(x,y)\,d(x,y),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf7f12e2e49a104769f67078d4ae02fe3e29d164)
on les dues primeres integrals són integrals simples i on la tercera és una integral sobre el producte dels dos intervals.
A més a més, també es compleix que si
![{\displaystyle f(x,y)=h(x)g(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2699f3835765a0b82c02a865bc8b6d191a2b9573)
aleshores
![{\displaystyle \int _{A}h(x)\,dx\int _{B}g(y)\,dy=\int _{A\times B}h(x)g(y)\,d(x,y)=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a03a23a2b75750a879cc861f42c97a49818952a)
![{\displaystyle =\int _{A\times B}f(x,y)\,d(x,y).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0e734e5476e11f2b7876138d6d3392b9009921)
Quan la integral de més amunt no té un valor finit, la integració doble pot donar valors diferents.
El teorema de Tonelli està fortament relacionat amb el de Fubini.
Definició formal
Siguin (X, A, μ) i (Y, B, ν) espais mesurables complets i sigui (X×Y, C, μ×ν) l'espai mesurable producte. Aleshores, per a qualsevol funció mesurable f de X×Y a la recta real estesa (recta real que inclou +∞ i −∞), si f és integrable en μ×ν, això és
![{\displaystyle \int _{X\times Y}|f|d(\mu \times \nu )<\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/11fecec5b8f63f4b2711f1628939136662f32573)
aleshores es compleixen les condicions següents:
1. Per quasi tot x de X, la funció fx que fa correspondre y (de Y) a f(x, y) és integrable. El mateix succeeix per fy.
2. La funció definida per
![{\displaystyle F_{X}(x)=\left\{{\begin{array}{ll}\int _{Y}f_{x}d\nu &{\hbox{si }}f_{x}{\hbox{ és integrable}}\\0&{\hbox{altrament}}\end{array}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15479822875b7b96efd80c06369a91b0678e69bf)
és integrable. El mateix succeeix per FY
3. Aquestes integrals satisfan
![{\displaystyle \int _{X}F_{X}d\mu =\int _{Y}F_{Y}d\nu =\int _{X\times Y}fd(\mu \times \nu )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f542dfa68f007c3f3c608ed3c7ea86049520ce4)
Aplicacions
L'avaluació de la integral de Gauß és una de les aplicacions del teorema de Fubini. Això és, que es compleix la següent igualtat
![{\displaystyle \int _{-\infty }^{\infty }e^{-x^{2}}\,dx={\sqrt {\pi }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b06d446e3c625f48f318811eabdfe5902b11508a)
Vegeu també
- Teorema de Clairaut (o Teorema de Schwarz) sobre la simetria de les segones derivades.
Integració |
---|
|
Càlcul de primitives | | ![{\displaystyle \int _{a}^{b}f(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac02adeed584466d53dee65f3228ad66939eb58b) |
---|
Taules d'integrals | |
---|
Definicions d'integració | |
---|
Extensions de la integral | |
---|
Integració numèrica | |
---|