Misura di Lebesgue

In matematica, la misura di Lebesgue è la misura solitamente utilizzata per i sottoinsiemi di uno spazio euclideo di dimensione n. 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 $\mathbb {R} ^{n}$ 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

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

$a=(a_{1},\dots ,a_{k})\qquad b=(b_{1},\dots ,b_{k})$

due vettori in $\mathbb {R} ^{k}$ con $a_{i}<b_{i}$ per ogni $i=1,\dots ,k$.

Un insieme del tipo:

$W=\{(x_{1},\dots ,x_{k})\in \mathbb {R} ^{k}|\quad a_{i}<x_{i}<b_{i}\quad \forall i=1,\dots ,k\}$

è detto $k$-cella.

Si definisce volume di una cella il numero:

${\mbox{vol}}(W)=\prod _{i=1}^{k}(b_{i}-a_{i})$

Si dimostra che esiste una misura positiva completa $m$ definita su una sigma-algebra ${\mathfrak {F}}$ in $\mathbb {R} ^{k}$ tale che:

• Si ha:

${\mbox{vol}}(W)=m(W)\$

per ogni $k$-cella $W$.

• Un insieme $E$ appartiene a ${\mathfrak {F}}$ se e solo se per ogni ε esistono in $\mathbb {R} ^{k}$ un insieme $A$ unione al più numerabile di aperti ed un insieme $B$ intersezione al più numerabile di chiusi tali per cui:

$B\subset E\subset A\qquad m(A-B)\leq \varepsilon$

Segue inoltre che $m$ è regolare. Si dice anche, in modo più sintetico, che ${\mathfrak {F}}$ contiene tutti gli insiemi di Borel di $\mathbb {R} ^{k}$.

• La misura $m$ è invariante per traslazione, ovvero:

$m(E+x)=m(E)\$

per ogni insieme $E$ di ${\mathfrak {F}}$ e per ogni $x$ di $\mathbb {R} ^{k}$.

• Se $\mu$ è una misura di Borel invariante per traslazione su $\mathbb {R} ^{k}$ e tale che:

$\mu (K)<\infty$

per ogni insieme compatto $K$ (si dice in questo caso che $\mu$ è di Radon o Radon-regolare), allora esiste una costante $c$ tale che:

$\mu (E)=c\cdot m(E)\$

per ogni insieme di Borel di $\mathbb {R} ^{k}$.

Gli elementi di ${\mathfrak {F}}$ sono detti insiemi di Lebesgue, la misura $m$ è detta misura di Lebesgue in $\mathbb {R} ^{k}$.

Nel caso particolare in cui $k=1$, $I=[a,b]$ e $f\in L^{1}(I)$ è continua, allora l'integrale di Riemann:

$\int _{a}^{b}f(x)dx$

e l'integrale di Lebesgue:

$\int _{I}fd\mu \$

sono coincidenti.

Proprietà

La misura di Lebesgue ha le seguenti proprietà:

• Se $A$ è un prodotto cartesiano di intervalli della forma $I_{1}\cdot I_{2}\cdot \dots \cdot I_{n}$, allora $A$ è Lebesgue-misurabile e $m(A)=|I_{1}|\cdot |I_{2}|\cdot \dots \cdot |I_{n}|$, dove $|I_{i}|$ indica la lunghezza dell'intervallo i-esimo.
• Se $A$ è l'unione disgiunta di un numero finito o numerabile di insiemi disgiunti Lebesgue-misurabili, allora $A$ è Lebesgue-misurabile e $m(A)$ è uguale alla somma (o alla serie) delle misure degli insiemi misurabili coinvolti.
• Se $A$ è Lebesgue-misurabile, allora lo è anche il suo complemento.
• $m(A)\geq 0$ per ogni insieme Lebesgue-misurabile $A$.
• Se $A$ e $B$ sono Lebesgue-misurabili e $A$ è un sottoinsieme di $B$, allora $m(A)\leq m(B)$, 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 $A$ è un sottoinsieme aperto o chiuso di $\mathbb {R} ^{n}$ (vedi spazio metrico), allora $A$ è Lebesgue-misurabile.
• Se $A$ è un insieme Lebesgue-misurabile con $m(A)=0$, ovvero un insieme di misura nulla, allora ogni sottoinsieme di $A$ è un insieme di misura nulla.
• Se $A$ è Lebesgue-misurabile e $x\in \mathbb {R} ^{n}$ allora la traslazione di $A$ mediante $x$, definita da $A+x=\{a+x:a\in A\}$ è Lebesgue-misurabile e ha la stessa misura di $A$.

Tutte le affermazioni summenzionate possono essere riassunte dicendo che gli insiemi misurabili secondo Lebesgue formano una σ-algebra contenente tutti i prodotti di intervalli, e $m$ è l'unica misura invariante per traslazioni e completa su questa sigma-algebra con $m([0,1]\cdot [0,1]\cdot \dots \cdot [0,1])=1$. 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

Un sottoinsieme di $\mathbb {R} ^{n}$ è un insieme di misura nulla se per ogni $\varepsilon >0$ può essere coperto con un insieme numerabile di prodotti di $n$ intervalli il cui volume totale è al massimo $\varepsilon$. Tutti gli insiemi numerabili sono insiemi di misura nulla, così pure gli insiemi in $\mathbb {R} ^{n}$ la cui dimensione è più piccola di $n$, ad esempio rette o circonferenze in $\mathbb {R} ^{2}$.

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

Costruzione della misura di Lebesgue

La costruzione moderna della misura di Lebesgue, basata sulle misure esterne, è dovuta a Carathéodory. Per ogni sottoinsieme $A$ di $\mathbb {R} ^{n}$ si può definire:

$m^{*}(A)=\inf\{\operatorname {vol} (M):M\supseteq A\}$

dove $M$ è l'unione numerabile di prodotti di intervalli e $\operatorname {vol} (M)$ è la somma dei prodotti delle lunghezze degli intervalli coinvolti. Si può dimostrare che $m^{*}$ è una misura esterna. Si definisce quindi l'insieme $A$ misurabile secondo Lebesgue se:

$m^{*}(B)=m^{*}(A\cap B)+m^{*}(B-A)$

per tutti gli insiemi $B$. Per il teorema di Carathéodory questi insiemi Lebesgue-misurabili formano una σ-algebra, e la misura di Lebesgue è definita da $m(A)=m^{*}(A)$ per ogni insieme Lebesgue-misurabile $A$.

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

Rapporti con le altre misure

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 $\mathbb {R} ^{n}$ 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 $\mathbb {R} ^{n}$ di dimensione minore di $n$, come le sottovarietà, ad esempio superfici o curve in $\mathbb {R} ^{3}$, e insiemi frattali.

Bibliografia

• (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

• Algebra di Borel
• Insieme compatto
• Integrale di Lebesgue
• Misura (matematica)
• Misura di Haar
• Sigma-algebra

Collegamenti esterni

• (EN) Lebesgue measure, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Misura di Lebesgue, su MathWorld, Wolfram Research.
• (EN) V.V. Sazonov, Lebesgue measure, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.
• Paolo Acquistapace, Teoria della misura di Lebesgue (PDF), su dm.unipi.it, 29 novembre 2011. URL consultato il 25 gennaio 2012 (archiviato dall'url originale il 30 ottobre 2012).