Teoria di Lebesgue, le liste positive e negative

Lista positiva
I. La teoria della misura..
Tutte le definizioni. In particolare: intervalli in Rn , pluriintervalli, misura
di un aperto, misura di un compatto, misura esterna, misura interna,
misurabilit`a di un insieme limitato, misurabilit`a di un insieme non necessariamente limitato. -algebre generali. Misura su una -algebra. Insiemi
di misura nulla.
Tutti gli enunciati delle osservazioni, lemmi, proposizioni e teoremi contenuti nelle dispense. Di un particolare interesse `e losservazione che
limj (Aj ) = (A) se Aj Aj+1 e che i grafici di funzioni continue
hanno misura Lebesgue nulla.
II. Funzioni misurabili.
Le definizioni, o dal Giusti, o dal Lanconelli o dalle dispense. (Lanconelli
e dispense coincidano, ma differiscono per una convenzione da quelle di
Giusti.)
Esempi di funzioni misurabili: le funzioni continue, le monotone su [a, b],
le semplici. Attenzione alla differenza tra semplice secondo Riemann e
semplice secondo Lebesgue.
La funzione di Dirichlet.
Teoremi sulle funzioni misurabili. Enunciati, e, a scelta, o una dimostrazione
sulle propriet`a algebriche (somme, risp. prodotti, di funzioni misurabili), o il
teorema sui vari tipi di limiti per successioni di funzioni misurabili.
III. Lintegrale secondo Lebesgue.
Leggere Lebesgue alla francese.
1

 Definizione dellintegrale. Dipende da dove la prendete. Se non la prendete

dalle dispense, avvertitemi allorale.
Funzioni sommabili: definizione.
Il teorema del confronto: enunciato.
Le propriet`a dellintegrale: una delle propriet`a, a scelta, con dimostrazione.
Il teorema di convergenza dominata Lebesgue. Dipende da dove lo prendete. Se lo prendete dalle dispense e libri simili (col lemma di Egorov),
vi chieder`o, a scelta, o la dimostrazione del lemma di Egorov, o la dimostrazione del lemma assumendo gi`a dimostrato il lemma di Egorov.
(Scelta raccomandata.)
Il teorema di Fubini-Tonelli e lapplicazione per lintegrazione su domini
che ho chiamato standard. (Solo enunciati.)
Cambiamento di variabili. 2 parti della dimostrazione a scelta.
La sommabilit`a delle funzioni ||x|| su {||x|| 1} e su {||x|| 1}.

Teoria di Lebesgue. Lista negativa.

La misura interna di un insieme `e pi`
u piccola della misura esterna.
Per insiemi aperti e compatti le misure esterne ed interne coincidano.
Lintegrale di Riemann di una funzione continua coincide col suo integrale
di Lebesgue.
Dimostrazione completa del teorema di convergenza dominata (anche il
lemma di Egorov). (Per chi lo dimostra come nelle dispense. Chi la
prende da altri libri, la deve sapere ugualmente completa.)
Cambio di variabili. La dimostrazione, tranne i dettagli della scomposizione di un diffeomorfismo in una composizione di due diffeomorfismi di
forma semplice.