Spazio misurabile

Da Wikipedia, l'enciclopedia libera.
Jump to navigation Jump to search

In matematica, uno spazio misurabile è una struttura astratta alla base di molte idee e nozioni dell'analisi, in particolare in teoria della misura, come quelle di funzione misurabile, insieme misurabile, misura, integrale, sistema dinamico.[1]

Gli spazi misurabili sono oggetto della Matematica sin dal XIX secolo, quando si iniziò uno studio sistematico degli oggetti matematici connessi con l'idea di integrale. Tuttavia, è solo all'inizio del XX secolo che la attuale teoria della misura, e conseguentemente la nozione astratta di spazio misurabile, prende corpo.[2]

Oltre ad un interesse in sé, gli spazi misurabili sono interessanti in quanto è possibile costruire strutture più complesse a partire da essi. Ciò accade ad esempio per le importanti strutture di spazio di misura, spazio di probabilità e sistema dinamico. Inoltre, sono basate sul concetto di spazio misurabile le nozioni di insieme misurabile e funzione misurabile.

Definizione[modifica | modifica wikitesto]

Uno spazio misurabile è una coppia costituita da un insieme non vuoto ed una σ-algebra su . Gli elementi di sono detti insiemi misurabili di .[3]

Gli spazi misurabili formano una categoria, i cui morfismi sono le funzioni misurabili.

L'insieme è chiamato a volte spazio campionario, soprattutto nelle applicazioni inerenti alla statistica e la probabilità.

Costruzione di spazi misurabili[modifica | modifica wikitesto]

Spazi boreliani[modifica | modifica wikitesto]

Magnifying glass icon mgx2.svgLo stesso argomento in dettaglio: Algebra di Borel.

Data una famiglia di sottoinsiemi di , risulta ben definita la σ-algebra generata da . Dato uno spazio topologico è possibile costruire uno spazio misurabile , semplicemente ponendo , la σ-algebra generata da . Gli spazi misurabili di questo tipo, quelli cioè generati da una topologia, prendono il nome di spazi boreliani.[4]

Una semplice osservazione che chiarisce la connessione tra la struttura topologica e quella di misurabilità di tali spazi è la seguente:[5] siano due spazi topologici, e i relativi spazi boreliani. Se un'applicazione è continua (rispetto a ), allora essa è misurabile (rispetto a ).

Spazi con misurabilità indotta da funzioni[modifica | modifica wikitesto]

Siano uno spazio misurabile, un insieme non vuoto, ed un'applicazione arbitraria da a . Si può definire su una struttura di spazio misurabile, costruendo la σ-algebra come la più piccola σ-algebra rispetto a cui sia misurabile.[6] La struttura di spazio si dice indotta da su . Un'importante caratterizzazione di è la seguente:

In pratica, è la σ-algebra i cui elementi sono le controimmagini (rispetto ad ) di elementi di .

Più in generale, se è una famiglia (finita o non finita) di funzioni da a , si può definire su la σ-algebra come la più piccola σ-algebra che rende tutte le funzioni in misurabili.

Spazi prodotto[modifica | modifica wikitesto]

Se e sono due spazi misurabili, si può definire una struttura di spazio misurabile sul prodotto cartesiano , equipaggiando con una opportuna σ-algebra , di cui sono di seguito date due caratterizzazioni.

  • Siano le proiezioni canoniche (ossia, ad esempio ). Allora si può definire come la più piccola σ-algebra rispetto a cui entrambe siano misurabili. Si noti l'analogia tra questa definizione e quella di topologia prodotto.
  • Si consideri la famiglia di sottoinsiemi di costituita dai sottoinsiemi che sono il prodotto cartesiano di un elemento di per un elemento di , ossia si pone con e .
In generale, non sarà una σ-algebra (né un'algebra). Infatti l'unione di due insiemi di non sarà necessariamente un insieme di , e dunque tale famiglia non è stabile per unioni (si noti tuttavia che essa è stabile per intersezione, è cioè un π-sistema). Si può allora porre (che, per definizione, è una σ-algebra.[7]).

Non è difficile verificare che le due caratterizzazioni date coincidono; lo spazio misurabile così costruito prende il nome di spazio misurabile prodotto.

Più in generale, si può effettuare la costruzione sul prodotto cartesiano di una famiglia qualunque di spazi misurabili. Sia una qualsiasi famiglia (finita o infinita) di spazi misurabili, e sia:

La prima caratterizzazione si estende facilmente a questo caso: sarà sufficiente definire come la più piccola σ-algebra rispetto a cui tutte le proiezioni canoniche siano continue. La seconda caratterizzazione è leggermente più complessa. Si dovrà infatti porre , dove è ora definito come:

Si noti che nel caso in cui siano due spazi boreliani, si possono costruire due diverse σ-algebre sullo spazio prodotto . Una è quella appena descritta, mentre l'altra è la σ-algebra boreliana generata dalla topologia prodotto. Risulta che questa seconda σ-algebra contiene sempre la prima, e che esse coincidono nel caso in cui le topologie di , soddisfino il primo assioma di numerabilità. Pertanto, in questo caso, potremo affermare che lo spazio prodotto di due spazi boreliani è boreliano.

La nozione di spazio prodotto è molto importante per la teoria della misura, dal momento che offre delle caratterizzazioni per gli integrali multipli, e nella teoria della probabilità, in quanto consente di costruire esplicitamente variabili casuali indipendenti.

Esempi[modifica | modifica wikitesto]

  • Qualsiasi insieme non vuoto munito della σ-algebra minimale o della σ-algebra del suo insieme delle parti è uno spazio misurabile.
  • In alcuni casi, vi sono più σ-algebre interessanti, e quindi più spazi misurabili, definibili su di uno stesso insieme . Questo è ad esempio il caso della retta reale (o più in generale di ), in cui sono spesso considerate le σ-algebre di Borel (vedi sopra) e di Lebesgue. La prima è in genere utilizzata quando si studiano funzioni misurabili, ad esempio il precedente lemma di misurabilità delle funzioni continue risulta utile in questo contesto. La seconda è una σ-algebra molto più ampia di questa, ed è interessante nelle questioni riguardanti le misure e gli insiemi misurabili (infatti, è il completamento della σ-algebra di Borel rispetto alla misura di Lebesgue); tuttavia tale σ-algebra risulta piuttosto scomoda per definire le funzioni misurabili: risulta infatti che neanche le funzioni continue da in sono misurabili rispetto alla σ-algebra di Lebesgue.

Note[modifica | modifica wikitesto]

  1. ^ Per un'introduzione alle idee della teoria della misura ed alle loro applicazioni si veda Billingsley Probability and measure. Una presentazione generale, ma più astratta, è data anche in Cohn, Measure Theory. Un testo introduttivo classico è Halmos Measure Theory.
  2. ^ Un breve resoconto dello sviluppo storico della teoria della misura e dell'integrazione si trova in Boyer History of Mathematics, cap. 28.
  3. ^ W. Rudin, Pag. 8.
  4. ^ Si faccia attenzione a non confondere gli spazi boreliani con gli spazi boreliani standard. Questi ultimi sono degli spazi boreliani nel senso discusso sotto, ma con l'ipotesi aggiuntiva che Ω abbia una struttura di spazio polacco. Gli spazi boreliani standard hanno un notevole interesse, ma sono trattati in questa voce solo in quanto spazi boreliani generali.
  5. ^ Per una dimostrazione breve ed elementare di questo risultato si veda Halmos Measure Theory, pag. 102-107.
  6. ^ Si noti che il concetto di più piccola σ-algebra è ben definito, dal momento che se una funzione è misurabile rispetto a tutti gli elementi di una famiglia di σ-algebre, essa è misurabile anche rispetto alla loro intersezione (che è ancora una σ-algebra).
  7. ^ Data una famiglia di sottoinsiemi di Ω risulta ben definita la σ-algebra da essa generata. .

Bibliografia[modifica | modifica wikitesto]

Voci correlate[modifica | modifica wikitesto]

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