Apri il menu principale

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 di Fubini è la valutazione dell'integrale di Gauss, un risultato fondamentale per la teoria della probabilità.

Il teoremaModifica

Siano   e   due spazi di misura σ-finiti. Ad ogni funzione   che sia  -misurabile su   e ad ogni   si può associare una funzione   definita in   nel seguente modo:

 

Analogamente si definisce per ogni   la funzione   tale che:

 

Entrambe le funzioni sono rispettivamente  -misurabile e  -misurabile.[1]

EnunciatoModifica

Il teorema afferma che:[2]

  • Se la funzione   è positiva e se:
 
allora   è  -misurabile e   è  -misurabile, inoltre:
 
dove   è la misura prodotto delle due misure   e  .
  • Se la funzione   è complessa e se:
 
allora  .
  • Se la funzione   allora   per quasi tutti gli   e   per quasi tutti gli  . Inoltre, per le funzioni definite in precedenza quasi ovunque si ha che   e  .

ConseguenzeModifica

Il primo punto del teorema può essere scritto in modo equivalente nel seguente modo:

 

mentre le restanti due affermazioni comportano che se   è una funzione  -misurabile e se:

 

allora gli integrandi nella relazione precedente sono finiti e uguali.[3]

CorollarioModifica

Se la funzione:

 

soddisfa le condizioni del teorema di Fubini, allora:

 

quindi l'integrale doppio è riconducibile al prodotto di due integrali semplici.

Il teorema di TonelliModifica

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.

NoteModifica

  1. ^ W. Rudin, Pag. 138.
  2. ^ W. Rudin, Pag. 140.
  3. ^ W. Rudin, Pag. 141.

BibliografiaModifica

  • Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.

Voci correlateModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica