Misura di Lebesgue

In matematica, la misura di Lebesgue è la misura solitamente utilizzata per i sottoinsiemi di uno spazio euclideo di dimensione . Si tratta di una misura positiva completa che costituisce una generalizzazione dei concetti elementari di area e volume di sottoinsiemi dello spazio euclideo. Gli insiemi a cui è possibile assegnare una misura di Lebesgue sono detti misurabili secondo Lebesgue o Lebesgue-misurabili.

Si tratta di una misura molto usata in analisi matematica, e riveste particolare importanza nella definizione dell'integrale di Lebesgue. Se si assume l'assioma della scelta non tutti gli insiemi in sono Lebesgue-misurabili, ed un classico esempio di insieme non misurabile è l'insieme di Vitali. Il comportamento degli insiemi non misurabili dà origine a risultati come il paradosso di Banach-Tarski, una conseguenza anch'esso dell'assioma della scelta.

Henri Lebesgue ha descritto la sua misura nel 1901, seguita l'anno seguente dalla descrizione dell'integrale di Lebesgue. Entrambi furono pubblicati come parte della sua dissertazione nel 1902.

Definizione

modifica

Per definire la misura di Lebesgue è necessario introdurre una particolare classe di insiemi elementari. Siano:

 

due vettori in   con   per ogni  .

Un insieme del tipo:

 

è detto  -cella.[1]

Si definisce volume di una cella il numero:

 

Si dimostra che esiste una misura positiva completa   definita su una sigma-algebra   in   tale che:[2]

  • Si ha:
 
per ogni  -cella  .
  • Un insieme   appartiene a   se e solo se per ogni   esistono in   un insieme   unione al più numerabile di aperti ed un insieme   intersezione al più numerabile di chiusi tali per cui:
 
Segue inoltre che   è regolare. Si dice anche, in modo più sintetico, che   contiene tutti gli insiemi di Borel di  .
  • La misura   è invariante per traslazione, ossia:
 
per ogni insieme   di   e per ogni   di  .
  • Se   è una misura di Borel invariante per traslazione su   e tale che:
 
per ogni insieme compatto   (si dice in questo caso che   è di Radon o Radon-regolare), allora esiste una costante   tale che:
 
per ogni insieme di Borel di  .

Gli elementi di   sono detti insiemi di Lebesgue, la misura   è detta misura di Lebesgue in  .[2]

Nel caso particolare in cui  ,   e   è continua, allora l'integrale di Riemann:

 

e l'integrale di Lebesgue:

 

sono coincidenti.[3]

Proprietà

modifica

La misura di Lebesgue ha le seguenti proprietà:

  • Se   è un prodotto cartesiano di intervalli della forma  , allora   è Lebesgue-misurabile e  , dove   indica la lunghezza dell'intervallo  -esimo.
  • Se   è l'unione disgiunta di un numero finito o numerabile di insiemi disgiunti Lebesgue-misurabili, allora   è Lebesgue-misurabile e   è uguale alla somma (o alla serie) delle misure degli insiemi misurabili coinvolti.
  • Se   è Lebesgue-misurabile, allora lo è anche il suo complemento.
  •   per ogni insieme Lebesgue-misurabile  .
  • Se   e   sono Lebesgue-misurabili e   è un sottoinsieme di  , allora  , come conseguenza del secondo, terzo e quarto punto.
  • Unioni e intersezioni numerabili di insiemi Lebesgue-misurabili sono Lebesgue-misurabili, come conseguenza del secondo e terzo punto.
  • Se   è un sottoinsieme aperto o chiuso di   (vedi spazio metrico), allora   è Lebesgue-misurabile.
  • Se   è un insieme Lebesgue-misurabile con  , ossia un insieme di misura nulla, allora ogni sottoinsieme di   è un insieme di misura nulla.
  • Se   è Lebesgue-misurabile e   allora la traslazione di   mediante  , definita da   è Lebesgue-misurabile e ha la stessa misura di  .

Tutte le affermazioni summenzionate possono essere riassunte dicendo che gli insiemi misurabili secondo Lebesgue formano una σ-algebra contenente tutti i prodotti di intervalli, e   è l'unica misura invariante per traslazioni e completa su questa sigma-algebra con  . La misura secondo Lebesgue ha anche la proprietà di essere sigma-finita, ossia è possibile ricoprire tutto lo spazio con un'unione numerabile di sottoinsiemi di misura di Lebesgue finita.

Insiemi di misura nulla

modifica

Un sottoinsieme di   è un insieme di misura nulla se per ogni   può essere coperto con un insieme numerabile di prodotti di   intervalli il cui volume totale è al massimo  . Tutti gli insiemi numerabili sono insiemi di misura nulla, così pure gli insiemi in   la cui dimensione è più piccola di  , ad esempio rette o circonferenze in  .

Per mostrare che un dato insieme   è misurabile secondo Lebesgue, in genere si cerca di trovare un insieme più "gradevole"   che differisce da   solo per un insieme di misura nulla (nel senso che la differenza simmetrica   è un insieme di misura nulla) e quindi mostrare che   può essere generato usando unioni e intersezioni numerabili di insiemi aperti o chiusi.

Costruzione della misura di Lebesgue

modifica

La costruzione moderna della misura di Lebesgue, basata sulle misure esterne, è dovuta a Carathéodory. Per ogni sottoinsieme   di   si può definire:

 

dove   è l'unione numerabile di prodotti di intervalli e   è la somma dei prodotti delle lunghezze degli intervalli coinvolti. Si può dimostrare che   è una misura esterna. Si definisce quindi l'insieme   misurabile secondo Lebesgue se:

 

per tutti gli insiemi  . Per il teorema di Carathéodory questi insiemi Lebesgue-misurabili formano una σ-algebra, e la misura di Lebesgue è definita da   per ogni insieme Lebesgue-misurabile  .

Secondo il teorema di Vitali, se si ammette l'assioma della scelta, esiste un sottoinsieme dei numeri reali   che non è Lebesgue-misurabile. In caso contrario non si conoscono esempi di sottoinsiemi di   non Lebesgue-misurabili.

Rapporti con le altre misure

modifica

La misura di Borel coincide con la misura di Lebesgue sugli insiemi per cui è definita; tuttavia, esistono molti più insiemi Lebesgue-misurabili che insiemi Borel-misurabili. La misura di Borel è invariante per traslazioni, ma non completa.

La misura di Haar può essere definita su ogni gruppo localmente compatto ed è una generalizzazione della misura di Lebesgue (infatti   con l'addizione è un gruppo localmente compatto).

La misura di Hausdorff (vedi anche dimensione di Hausdorff) è una generalizzazione della misura di Lebesgue utile per misurare gli insiemi di   di dimensione minore di  , come le sottovarietà, ad esempio superfici o curve in  , e insiemi frattali.

  1. ^ W. Rudin, Pag. 49.
  2. ^ a b W. Rudin, Pag. 50.
  3. ^ W. Rudin, Pag. 52.

Bibliografia

modifica
  • (EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.
  • (EN) E. Hewitt, K.R. Stromberg, Real and abstract analysis , Springer (1965).

Voci correlate

modifica

Collegamenti esterni

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