Spazio di misura

terna ordinata composta da un insieme, una sigma-algebra e una misura definite sul medesimo insieme
(Reindirizzamento da Spazio di Lebesgue)

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].

Definizione

modifica

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:

 

di misura finita, cioè tali che  , allora lo spazio misurabile si dice σ-finito.

Spazio di probabilità

modifica

Uno spazio di probabilità   è uno spazio di misura tale che   per ogni   e  . In questo contesto   è detta misura di probabilità. Dalla definizione stessa, segue che uno spazio di probabilità è sempre uno spazio di misura finita.

La struttura di spazio di probabilità è stata introdotta da Andrey Nikolaevich Kolmogorov negli anni trenta, nell'ambito di una serie di lavori del matematico russo che hanno posto i fondamenti dell'intera teoria della probabilità.

Completamento di uno spazio di misura

modifica

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à:

  1. la σ-algebra   è più fine (cioè contiene)  .
  2. la misura   ristretta ad   coincide con  , ossia per ogni sottoinsieme misurabile di     accade  .
  3. 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).

La categoria degli spazi di misura

modifica

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

modifica

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.

Applicazioni

modifica
  Lo stesso argomento in dettaglio: Teoria della misura e Sistema dinamico conservativo.
  • 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  .
  1. ^ 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.
  2. ^ W. Rudin, Pag. 16.
  3. ^ 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).
  4. ^ Si veda la sezione Principali risultati della voce σ-algebra per approfondire la nozione di σ-algebra generata da una famiglia di insiemi.
  5. ^ Si veda la voce funzione misurabile per eventuali chiarimenti su questa notazione.

Bibliografia

modifica

Voci correlate

modifica

Collegamenti esterni

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