Vai al contenuto

Misura e integrale di Lebesgue/Proprietà della misura di Lebesgue

Wikibooks, manuali e libri di testo liberi.
Indice del libro

Parliamo delle proprietà della misura che abbiamo discusso finora. La prima proprietà fondamentale della misura di Lebesgue è che, presi insiemi numerabili a due a due disgiunti, ovvero che se , allora, posto:

Si ha che è misurabile e vale

Questa proprietà è molto interessante. Poiché possiamo considerare qualsiasi insieme come somma di insiemi disgiunti, la misura di quell'insieme, se è unione di un'infinità numerabile di insiemi, sarà esattamente la somma delle misure degli insiemi. Questo già può iniziare a far capire qualcosa ai più scaltri, ma ci arriveremo con calma.

Procediamo ora col dimostrare il primo teorema importante.

Siano due insiemi misurabili. Allora sono misurabili anche gli insiemi , e .

Dimostrazione

[modifica | modifica sorgente]

Iniziamo col dimostrare che è misurabile. Questo vuol dire che, per il teorema visto nel precedente capitolo, deve essere :

Allora costruisco due insiemi misurabili così definiti:

Poiché e sono un aperto e un compatto contenente e contenuto in , se la loro differenza misura , anche lo sarà. Posso scrivere:

Gli insiemi nella prima espressione sono tutti aperti, quindi sono misurabili secondo Lebesgue. Quindi è valida la seconda espressione. Le due misure valgono entrambe , quindi otteniamo che:

Per l'arbitrarietà di , otteniamo che è misurabile.

Per dimostrare che anche e sono misurabili, per la teoria degli insiemi possiamo scriverli come:

Poiché sono tutte operazioni tra insiemi misurabili, e sappiamo che queste operazioni non mutano la misurabilità di un insieme, possiamo concludere che tutti questi insiemi sono misurabili.

Questo primo teorema ha ampliato ancora di più l'insieme degli insiemi misurabili secondo Lebesgue. Tuttavia, la potenza della misura di Lebesgue sta nelle prossime due proprietà, che sono la subadditività e l'additività della misura.

Teorema (Sub-additività numerabile della misura di Lebesgue)

[modifica | modifica sorgente]

Sia una collezione numerabile di insiemi misurabili in . Posto , questo è misurabile; supponendo sia , vale:

Inoltre, se gli insiemi considerati sono inclusivi, cioè , vale:

Questo vuol dire che, se l'insieme che vogliamo misurare è l'unione di una quantità numerabile di sottoinsiemi, la sua misura sarà minore o al più uguale alla somma delle misure dei sottoinsiemi. Questo perché può anche capitare che ci siano parti di insieme in comune, ovvero che l'unione tra due sottoinsiemi non sia sempre vuota, e quindi la somma dei sottoinsiemi risulta maggiore dell'insieme unione. Inoltre, questo ci dice che, se conosciamo la misura dei sottoinsiemi, possiamo maggiorare la misura dell'insieme unione. L'ipotesi di numerabilità è fondamentale: se ciò non fosse possibile, non avrebbe senso parlare di sommatoria.

Teorema (Additività numerabile della misura di Lebesgue)

[modifica | modifica sorgente]

Siano una collezione numerabile di insiemi disgiunti a due a due misurabili, ovvero:

Allora, posto , questo è misurabile e vale:

Questa proprietà ha una conseguenza fondamentale. Consideriamo un'infinità numerabile di insiemi aventi tutti misura nulla; la loro unione sarà quindi un insieme di misura nulla. Vi suggerisce qualcosa?

Sappiamo che un punto, ente primitivo adimensionale, ha misura nulla. Segue che, ogni insieme numerabile contenente punti ha anch'esso misura nulla. Consideriamo la funzione di Dirichlet:

L'insieme dei razionali sappiamo essere numerabile; questo è un'unione numerabile di punti, e la cosa vale anche nell'intervallo dei reali . Per la teoria di Lebesgue vale . Questo ci indica che la funzione di Dirichlet potrà essere integrabile e che quindi avrà integrale nullo. Lo vedremo meglio in seguito.

La conseguenza dell'additività numerabile ci dice anche che . Possiamo già dire che , questo indica che . In parole povere, ciò che fa misurare l'insieme dei reali sono gli irrazionali trascendenti, come , .

Chiudiamo il modulo con un'osservazione banale: se qualunque, e si ha , allora segue .