Schema della sezione

  • Algebre, sigma algebre e misure.


  • Massimo e minimo limite di insiemi. Misure finite, sigma finite, complete. Teorema di completamento (solo enunciato). Misura esterna.


  • Intervalli in R^n, misura esterna di Lebesgue, sigma-algebre e misura di Lebesgue. Misurabilità di semispazi. I Boreliani sono insiemi di Lebesgue. Misura degli intervalli.


  • Caratterizzazione per approssimazione degli insiemi di Lebesgue


  • Definizione somma modulo 1. Invarianza della misura per traslazioni (somma modulo 1). L'insieme di Vitali non è Lebesgue misurabile. L'insieme di Cantor: costruzione e proprietà.


  • Funzione di Cantor. Funzioni misurabili: definizione e proprietà. Insieme Lebesgue misurabile ma non Boreliano.


  • Operazioni su funzioni misurabili. Successione di funzioni misurabili. Convergenza quasi ovunque. Approssimazione di funzioni misurabili con funzioni semplici.


  • Convergenza quasi uniforme. Teorema di Egorov-Severini. Convergenza in misura, convergenza alla Cauchy in misura. Convergenza alla Cauchy in misura e convergenza quasi uniforme di una sottosuccessione.

  • Approssimazione di funzioni misurabili su R^n con funzioni a scalino e funzioni continue. Teorema di Tietze (solo enunciato). Teorema di Lusin. Integrale di funzioni misurabili nonnegative.