title: Teorema di Fubini
text: # Teorema di Fubini
  
  In analisi matematica, il teorema di Fubini, chiamato in onore del matematico italiano Guido Fubini, fornisce una condizione sufficiente affinché sia possibile effettuare l'inversione dell'ordine di integrazione. Una delle più note applicazioni del teorema è la valutazione dell'integrale di Gauss, un risultato fondamentale per la teoria della probabilità.
  
  ## Il teorema
  
  Siano $(X,{\mathfrak {G}},\mu )$ e $(Y,{\mathfrak {F}},\lambda )$ due spazi di misura σ-finiti. Ad ogni funzione $f(x,y)$ che sia ${\mathfrak {G}}\times {\mathfrak {F}}$-misurabile su $X\times Y$ e ad ogni $x\in X$ si può associare una funzione $f_{x}$ definita in $Y$ nel seguente modo:
  
      $f_{x}(y)=f(x,y)\$
  
  Analogamente si definisce per ogni $y\in Y$ la funzione $f_{y}$ tale che:
  
      $f_{y}(x)=f(x,y)\$
  
  Entrambe le funzioni sono rispettivamente ${\mathfrak {F}}$-misurabile e ${\mathfrak {G}}$-misurabile.
  
  ### Enunciato
  
  Il teorema afferma che:
  
  * Se la funzione $f$ è positiva e se:
  
      $\phi (x)=\int _{Y}f_{x}d\lambda \qquad \psi (y)=\int _{X}f_{y}d\mu$
      allora $\phi$ è ${\mathfrak {G}}$-misurabile e $\psi$ è ${\mathfrak {F}}$-misurabile, inoltre:
      $\int _{X}\phi d\mu =\int _{X\times Y}fd(\mu \times \lambda )=\int _{Y}\psi d\lambda$
      dove $d(\mu \times \lambda )$ è la misura prodotto delle due misure $\mu$ e $\lambda$.
  * Se la funzione $f$ è complessa e se:
  
      $\phi ^{*}(x)=\int _{Y}|f_{x}|d\lambda \qquad \int _{X}\phi ^{*}d\mu <\infty$
      allora $f\in L^{1}(\mu \times \lambda )$.
  * Se la funzione $f\in L^{1}(\mu \times \lambda )$ allora $f_{x}\in L^{1}(\lambda )$ per quasi tutti gli $x\in X$ e $f_{y}\in L^{1}(\mu )$ per quasi tutti gli $y\in Y$. Inoltre, per le funzioni definite in precedenza si ha che $\phi (x)\in L^{1}(\mu )$ e $\psi (y)\in L^{1}(\lambda )$.
  
  ## Conseguenze
  
  Il primo punto del teorema può essere scritto in modo equivalente nel seguente modo:
  
      $\int _{X}d\mu (x)\int _{Y}f(x,y)d\lambda (y)=\int _{Y}d\lambda (y)\int _{X}f(x,y)d\mu (x)\$
  
  mentre le restanti due affermazioni comportano che se $f(x,y)$ è una funzione ${\mathfrak {G}}\times {\mathfrak {F}}$-misurabile e se:
  
      $\int _{X}d\mu (x)\int _{Y}|f(x,y)|d\lambda (y)<\infty$
  
  allora gli integrandi nella relazione precedente sono finiti e uguali.
  
  ### Corollario
  
  Se la funzione:
  
      $f(x,y)=h(x)g(y)\$
  
  soddisfa le condizioni del teorema di Fubini, allora:
  
      $\left(\int _{A}h(x)\,dx\right)\left(\int _{B}g(y)\,dy\right)=\int _{A\times B}h(x)g(y)\,d(x,y)$
  
  quindi l'integrale doppio è riconducibile al prodotto di due integrali semplici.
  
  ## Il teorema di Tonelli
  
  Il teorema di Tonelli, così chiamato in onore del matematico italiano Leonida Tonelli, è un teorema molto simile a quello di Fubini. La conclusione dei due teoremi è la stessa, ma le ipotesi sono diverse. L'enunciato del teorema di Tonelli afferma che l'integrale di una funzione non negativa sul prodotto di due spazi sigma-finiti (rispetto alla misura prodotto) coincide con l'integrale iterato rispetto alle due misure. In particolare, se l'integrale iterato ha valore finito si può applicare il teorema di Fubini e di conseguenza il valore dell'integrale è indipendente dall'ordine di integrazione.
  
  