In analisi matematica uno spazio di misura (o spazio mensurale, o spazio di Lebesgue) è una struttura astratta utilizzata per formalizzare il concetto di misura, come generalizzazione delle idee elementari di lunghezza di una curva o area di una superficie[1].
Si definisce spazio di misura uno spazio misurabile
dotato di una misura
positiva definita sulla σ-algebra
costituita da sottoinsiemi misurabili di
.[2] Un tale spazio si rappresenta con una terna
.
Quando lo spazio misurabile
è uno spazio boreliano, talvolta lo spazio di misura
è detto spazio di misura boreliano. Dato uno spazio di misura
, in genere si denota con
la variazione totale di
su
.
Se
lo spazio di misura si dice finito. Se inoltre
può scriversi come unione numerabile di insiemi:
![{\displaystyle X=\bigcup _{i\in \mathbb {N} }X_{i}}](//wikimedia.org/api/rest_v1/media/math/render/svg/6768e05453642850a4d24be3e0cab9c3c52581dc)
di misura finita, cioè tali che
, allora lo spazio misurabile si dice σ-finito.
Uno spazio di misura si dice completo se ogni insieme contenuto in un insieme nullo è misurabile (avendo ovviamente in questo caso misura nulla). In generale, da un punto di vista pratico, è conveniente utilizzare spazi completi.[3] Tuttavia, dato uno spazio di misura non completo, è sempre possibile estenderlo ad uno spazio completo nel seguente senso.
Sia
uno spazio di misura. Esiste un unico spazio di misura completo
, detto completamento di
, sullo stesso insieme
con le seguenti proprietà:
- la σ-algebra
è più fine (cioè contiene)
.
- la misura
ristretta ad
coincide con
, ossia per ogni sottoinsieme misurabile di
accade
.
- se
è un altro spazio con tale proprietà, allora
è più fine di
(o equivalentemente,
è la meno fine tra tutte le σ-algebre su cui sia possibile effettuare tale costruzione).
Evidentemente, se
è completo, esso coincide col suo completamento. In generale è possibile costruire in maniera esplicita il completamento di uno spazio non completo. Ne illustriamo qui la procedura.
Consideriamo l'insieme
di tutti gli insiemi contenuti in insiemi nulli (tali insiemi sono talvolta detti trascurabili). Sia
la più piccola σ-algebra contenente sia gli elementi di
che quelli di
[4]. Poiché l'unione e l'intersezione numerabili di insiemi trascurabili è trascurabile, si vede facilmente che ogni elemento
di
può essere ottenuto da un elemento
di
unendovi o sottraendovi un insieme trascurabile. Sarà allora sufficiente estendere
ad una nuova misura su
semplicemente ponendo
.
Un caso notevole, è quello dello spazio di misura di Lebesgue (il secondo esempio sopra), che è il completamento dello spazio di Borel (il primo esempio sopra).
L'insieme degli spazi di misura forma una categoria, dove i morfismi sono dati dalle funzioni misurabili che conservano la misura. Più precisamente, dati due spazi di misura
,
un morfismo è naturalmente associato ad una funzione
tale che:
sia
-misurabile[5].
- Per ogni insieme
accade
.
In particolare, i due spazi di misura si diranno isomorfi se esiste una funzione biiettiva
misurabile e con inversa misurabile, tale che per ogni
accada
.
Dato uno spazio misurabile
, e due misure
su di esso,
si dice assolutamente continua rispetto a
se ogni insieme
che ha misura nulla rispetto a
ha misura nulla anche rispetto a
:
Due misure assolutamente continue l'una rispetto all'altra si dicono equivalenti.
Isomorfismi di spazi misurabili
Dal teorema di Radon-Nikodym si può allora dedurre la seguente preposizione: siano
e
due spazi di misura σ-finiti costruiti sopra il medesimo spazio misurabile
. Se
sono equivalenti, allora i due spazi sono isomorfi.
- Naturalmente, l'applicazione più naturale della nozione di spazio di misura si ha proprio nella teoria della misura, in quanto essa costituisce un oggetto fondamentale di tale teoria.
- Se
è uno spazio misurabile ed
un semigruppo, un'azione misurabile di
su
è una famiglia (indicizzata dal parametro
) di mappe misurabili
tali che
per ogni
. Un sistema dinamico conservativo è una quadrupla
, dove
è uno spazio di misura, e
è un'azione misurabile di un semigruppo
su
, che conserva la misura:
per ogni
. La teoria dei sistemi dinamici conservativi è -nonostante la sua generalità- molto ricca. Da essa si possono ad esempio derivare con semplicità e generalità molte delle proprietà della meccanica classica. Infatti, i sistemi hamiltoniani rientrano nella classe dei sistemi dinamici conservativi.
- La terna
, dove
è la retta reale,
è la relativa σ-algebra boreliana, e
è la misura di Borel è uno spazio di misura boreliano. Questo non è uno spazio finito, in quanto la misura (in questo caso lunghezza) dell'intera retta reale è infinita. Tuttavia tale spazio è σ-finito, in quanto ogni intervallo del tipo
ha misura
, ed
.
- La terna
, dove
è la σ-algebra di Lebesgue, e
è la misura di Lebesgue è uno spazio di misura non boreliano. Questo spazio di misura è pure σ-finito, per la stessa motivazione data sopra.
- Lo spazio discreto
, con la convenzione che ogni sottoinsieme di
è misurabile e la misura di un sottoinsieme è data da
, è uno spazio di probabilià.
- Se
è uno spazio di misura finita, allora si può ottenere uno spazio di probabilità introducendo la misura
.
Rimandiamo alla voce teoria della misura per un'introduzione storica e qualitativa alle nozioni della teoria della misura. Un'introduzione storica si trova anche in Boyer, History of Mathematics.
Uno dei vantaggi di lavorare con spazi completi è il seguente: gli insiemi di misura nulla, in un certo senso, contano poco. Molte interessanti proprietà matematiche relative a spazi di misura sono verificate quasi ovunque (ossia, a meno di un insieme di misura nulla). Se vogliamo dimostrare che una data proprietà è valida quasi ovunque, in uno spazio completo sarà sufficiente dimostrare che essa è valida almeno per tutti i punti al di fuori di un qualunque insieme di misura nulla. Invece, per uno spazio non completo, dovremo dimostrare che l'insieme di punti per cui essa non è valida, è misurabile ed ha misura nulla (questa seconda asserzione è in generale più difficile da mostrare).
Si veda la sezione Principali risultati della voce σ-algebra per approfondire la nozione di σ-algebra generata da una famiglia di insiemi.
- Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.
- Carl B. Boyer, History of Mathematics, 2nd edition, New York, John Wiley & Sons, 1989, ISBN 0-471-54397-7.