Sigma-algebra

Da Wikipedia, l'enciclopedia libera.
Nota disambigua.png
Il titolo di questa voce non è corretto per via delle caratteristiche del software MediaWiki. Il titolo corretto è σ-algebra.

In matematica, una σ-algebra (pronunciata sigma-algebra) o tribù (termine introdotto dal francese Bourbaki) su di un insieme \Omega, è una famiglia di sottoinsiemi di \Omega che ha delle proprietà di stabilità rispetto ad alcune operazioni insiemistiche, in particolare l'operazione di unione numerabile e di passaggio al complementare. La struttura di σ-algebra è particolarmente utile nelle teorie della misura e probabilità ed è alla base di tutte le nozioni di misurabilità, sia di insiemi che di funzioni. Essa è un caso particolare di algebra di insiemi e, rispetto a quest'ultima, è utilizzata molto più ampiamente in Analisi (per via delle numerose proprietà che le misure definite su σ-algebre hanno rispetto alle operazioni di passaggio al limite).

Le σ-algebre che ricorrono più spesso in matematica sono le σ-algebre boreliane e la σ-algebra di Lebesgue. Anche storicamente queste due classi di σ-algebre hanno motivato lo sviluppo del concetto stesso di σ-algebra, nato a cavallo di XIX secolo e XX secolo col fine di formalizzare la teoria della misura. Esso, infatti, precisa l'idea euristica di evento o insieme misurabile. Molte importanti strutture astratte, al centro dei progressi della matematica dell'ultimo secolo, sono definibili mediante σ-algebre.[1]

Definizione e prime proprietà[modifica | modifica sorgente]

Dato un insieme  \Omega , si definisce σ-algebra su  \Omega una famiglia  \mathfrak{F} di sottoinsiemi di  \Omega tale che:[2]

  • L'insieme  \Omega appartiene a  \mathfrak{F} .
  • Se un insieme  A è in  \mathfrak{F}, allora il suo complementare è in  \mathfrak{F} .
  • Se gli elementi  A_i di una famiglia numerabile di insiemi  \{A_i\}_{i \in \mathbb{N}} sono in  \mathfrak{F} , allora la loro unione:
A = \bigcup_{i = 1}^\infty A_i
appartiene a  \mathfrak{F} .

Se  \mathfrak{F} è una σ-algebra su  \Omega , allora  \Omega si dice spazio misurabile e gli elementi di  \mathfrak{F} sono detti insiemi misurabili in  \Omega .[2]

Una σ-algebra, in particolare, è un'algebra di insiemi, poiché la terza condizione sopraindicata implica la stabilità per unione finita richiesta nella definizione di struttura di algebra. In tal caso si richiede la stabilità anche per unioni numerabili, da cui l'identificativo σ, un'abbreviazione per successione.

Dalla definizione segue che:[3]

  • L'insieme vuoto appartiene a  \mathfrak{F} , essendo il complementare di  \Omega .
  • Una σ-algebra  \mathfrak{F} è stabile per intersezione numerabile. Infatti, se  A_i \in \mathfrak{F} per ogni  i \in \mathbb{N} , allora:
 \bigcap_{i \in \mathbb{N}} A_i= \left(\bigcup_{i \in \mathbb{N}} A_i^c \right)^c \in \mathfrak{F}
  • Se gli insiemi  A e  B appartengono a  \mathfrak{F} , allora:
 A - B = B^c \cap A \in \mathfrak{F}

Date due σ-algebre \mathfrak{F}, \mathfrak{G} su di uno stesso insieme \Omega, si dice che \mathfrak{F} è meno fine di \mathfrak{G} se \mathfrak{F} è contenuta in \mathfrak{G}, ovvero se ogni sottoinsieme E \subset \Omega appartenente ad \mathfrak{F} appartiene anche a \mathfrak{G}. La relazione essere meno fine di definisce un ordinamento parziale sull'insieme delle σ-algebre su di un dato insieme \Omega.

Dati due insiemi (\Omega_1, \mathfrak{F}) e (\Omega_2, \mathfrak{G}), dove \mathfrak{F} e \mathfrak{G} sono le rispettive sigma-algebre, la sigma-algebra \mathfrak{F} \otimes \mathfrak{G} è costituita da sottoinsiemi del prodotto cartesiano \Omega_1 \times \Omega_2, ed è la più piccola sigma-algebra che contiene \{ R \times F : R \in \mathfrak{F} , F \in \mathfrak{G} \}.

Il completamento di una σ-algebra si ottiene aggiungendo agli insiemi che la compongono gli insiemi di misura nulla. Il completamento di una σ-algebra \mathfrak{F} è cioè la più piccola σ-algebra che contiene \mathfrak{F} e tutti gli insiemi a cui \mathfrak{F} assegna misura nulla.

Strutture definite utilizzando σ-algebre[modifica | modifica sorgente]

La nozione di σ-algebra fornisce la possibilità di costruire strutture matematiche più complesse a partire da essa. Le seguenti strutture fondamentali, largamente studiate durante il XX secolo, stanno alla base della teoria della misura e dell'integrale di Lebesgue.

Spazio misurabile[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi Spazio misurabile.

Uno spazio misurabile è una coppia (\Omega, \mathfrak{F}) costituita da un insieme non vuoto \Omega ed una σ-algebra \mathfrak{F} su \Omega. Gli elementi di \mathfrak{F} sono detti insiemi misurabili di \Omega.[2] Gli spazi misurabili formano una categoria, i cui morfismi sono le funzioni misurabili. L'insieme \Omega è chiamato a volte spazio campionario, soprattutto nelle applicazioni inerenti alla statistica e la probabilità.

Spazio di misura[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi Spazio di misura.

Si definisce spazio di misura uno spazio misurabile (X,\mathfrak{F}) dotato di una misura \mu positiva definita sulla σ-algebra \mathfrak{F} costituita da sottoinsiemi misurabili di X.[4] Un tale spazio si rappresenta con una terna (X,\mathfrak{F},\mu).

Se |\mu|(X)<\infty lo spazio di misura si dice finito. Se inoltre X può scriversi come unione numerabile di insiemi:

X=\bigcup_{i \in \mathbb{N}} X_i

di misura finita, cioè tali che |\mu|(X_i)<\infty, allora lo spazio misurabile si dice σ-finito.

Funzioni misurabili[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi Funzione misurabile.

Sia  (X, \mathfrak{F}) uno spazio misurabile e  (Y, \mathfrak{G}) uno spazio topologico. Un'applicazione  f: X \to Y viene detta misurabile o (\mathfrak{F},\mathfrak{G})-misurabile se la controimmagine di ogni elemento di  \mathfrak{G} è in  \mathfrak{F} , ossia se f^{-1}(V) è un insieme misurabile di X per ogni aperto V di Y:[2]

f^{-1}(A) \in \mathfrak{F} \qquad \forall A \in \mathfrak{G}

Utilizzando il linguaggio della teoria delle categorie si può definire una funzione misurabile come un morfismo di spazi misurabili.

Sistema dinamico[modifica | modifica sorgente]

Exquisite-kfind.png Per approfondire, vedi Sistema dinamico.

Sia (\Omega, \mathfrak{F}) uno spazio misurabile, S un semigruppo e, per ogni  s \in S, sia  T_s :\Omega \mapsto \Omega un'applicazione misurabile con la proprietà che  T_s \circ T_t=T_{st}. In altri termini,  T è un'azione misurabile di  S su  \Omega . La terna  (\Omega, \mathfrak{F}, T) è detta sistema dinamico.

Principali risultati[modifica | modifica sorgente]

Data una famiglia \left\{\mathfrak{F}_\alpha \right\}_{\alpha \in \mathcal{A}} qualunque di σ-algebre, si verifica che la loro intersezione:

\mathfrak{F}_{\mathcal{A}}:= \bigcap_{\alpha \in \mathcal{A}} \mathfrak{F}_\alpha

è ancora una σ-algebra. Essa è la più grande σ-algebra contenuta in tutte le algebre \mathfrak{F}_\alpha, ossia se \mathfrak{F} \subset \mathfrak{F}_\alpha per ogni \alpha \in \mathcal{A}, allora \mathfrak{F} \subset \mathfrak{F}_\mathcal{A}.

Pertanto, data una famiglia qualsiasi  \mathfrak{G} di sottoinsiemi di \Omega, si può considerare la σ-algebra generata da  \mathfrak{G} come l'intersezione di tutte le σ-algebre contenenti \mathfrak{G}. Dunque, dalla definizione stessa di σ-algebra generata da  \mathfrak{G} segue che essa è la più piccola σ-algebra contenente  \mathfrak{G}. Questa osservazione è molto utilizzata per la costruzione di misure, in quanto consente di definire una σ-algebra semplicemente fornendo una famiglia di insiemi che la generano. La σ-algebra generata da un insieme  \mathfrak{G} è spesso denotata  \sigma(\mathfrak{G}).

Nel caso di famiglie finite \mathfrak{G}= \{G_1,...,G_n\}, tale σ-algebra si può enumerare esplicitamente ponendo:

\sigma(\mathfrak{G}) = \{\bigcup_{i=1}^n G_i^*, G_i^* = G_i, G_i^C , n \in \N\}

e chiudendo la famiglia rispetto alle operazioni di unione e complementare.

Un π-sistema  \mathcal{P} è una famiglia non vuota di sottoinsiemi di  \Omega stabile per intersezione: se  A, B \in \mathcal{P} allora  A \cap B \in \mathcal{P}. Analogamente, una famiglia  \mathcal{L} di sottoinsiemi di  \Omega è detta un λ-sistema se:

  •  \Omega \in \mathcal{L} .
  •  \Omega è chiusa per passaggio al complementare, ovvero se  A \in \mathcal{L} allora  A^c \in \mathcal{L} .
  •  \Omega è stabile per unioni numerabili disgiunte: se gli insiemi  A_i \in \mathcal{L} per  i \in \mathbb{N} sono a due a due disgiunti, allora:
 \bigcup_{i \in \mathbb{N}} A_i \in \mathcal{L}

In tale contesto, è possibile dimostrare in maniera elementare il teorema π-λ di Dynkin, che afferma che su un qualunque insieme  \Omega non vuoto, se un π-sistema  \mathcal{P} è contenuto in un λ-sistema  \mathcal{L} , allora l'intera σ-algebra generata da  \mathcal{P} è contenuta in  \mathcal{L} . Ossia  \mathcal{P} \subset \mathcal{L} implica \sigma(\mathcal{P}) \subset \mathcal{L}.

Tale teorema è molto spesso utilizzato in teoria della misura [5]. Ad esempio, ne segue che è sufficiente assegnare i valori di una misura  \mu su di un λ-sistema contenente un π-sistema  \mathcal{P} per costruire lo spazio di misura  \left(\Omega, \sigma(\mathcal{P}), \mu \right) . Infatti, proprio per il teorema π-λ di Dynkin, la misura  \mu è ben definita su tutto  \sigma(\mathcal{P}).

Esempi ed applicazioni[modifica | modifica sorgente]

  • Dato un qualunque insieme non vuoto \Omega, la famiglia di sottoinsiemi  \mathfrak{F}_0= \{\emptyset, \Omega \} è una σ-algebra. Anche la famiglia \mathfrak{F}_{\mathcal{P}} costituita da tutti i sottoinsiemi di \Omega (insieme delle parti) è una σ-algebra. Queste sono rispettivamente la più piccola e la più grande σ-algebra su  \Omega ; ossia se  \mathfrak{F} è una σ-algebra su  \Omega , allora  \mathfrak{F}_0 \subset \mathfrak{F}\subset \mathfrak{F}_{\mathcal{P}} . In genere, queste due σ-algebre sono dette improprie o banali.
  • Ogni algebra di insiemi composta da un numero finito di elementi è una σ-algebra, in quanto non ci sono famiglie di insiemi con un numero infinito di elementi (si vedano gli esempi alla voce algebra di insiemi).
  • Dato un qualunque insieme non vuoto \Omega, la famiglia composta da tutti i sottoinsiemi di \Omega che hanno cardinalità numerabile o il cui complementare abbia cardinalità numerabile è una σ-algebra. Essa è distinta dall'insieme delle parti di \Omega se e solo se \Omega è non numerabile.
  • Si consideri l'insieme dei numeri reali, o più in generale  \mathbb{R}^n , con la usuale topologia euclidea  \mathcal{\Tau} (ossia  \mathcal{\Tau} è la famiglia dei sottoinsiemi aperti di  \mathbb{R}^n ). Si definisce σ-algebra boreliana la σ-algebra generata da  \mathcal{\Tau}, in genere denotata con \mathfrak{B}= \sigma(\mathcal{\Tau}) . Gli elementi di  \mathfrak{B} sono detti boreliani, e si può dimostrare che essi hanno la cardinalità del continuo (dunque, i sottoinsiemi boreliani sono "pochi" rispetto a tutti i sottoinsiemi della retta reale che hanno un cardinalità superiore a quella dei reali stessi). Sulla σ-algebra boreliana si possono definire molte delle misure (sull'asse reale) comunemente utilizzate. È anche interessante notare che la nozione di σ-algebra è nata storicamente proprio dalla generalizzazione di questa costruzione.
  • Più in generale, la costruzione di σ-algebra boreliana si può effettuare su qualunque spazio topologico  (X, \mathcal{\Tau}) semplicemente ponendo \mathfrak{B}= \sigma(\mathcal{\Tau}) . Questa σ-algebra è utilizzata per costruire misure in spazi più generali della retta reale. Ad esempio, la misura di Haar su gruppi topologici localmente compatti è definita proprio mediante la σ-algebra boreliana del gruppo. Analogamente, la nozione di dualità tra funzioni continue e misure su di uno spazio topologico si costruisce (in spazi sufficientemente regolari) proprio equipaggiando lo spazio con la sua σ-algebra boreliana.
  • Nel caso in cui  \Omega = \mathbb{R}^n , è talvolta utilizzata una σ-algebra molto più ampia di quella boreliana: la σ-algebra di Lebesgue. Essa è definita come il completamento della σ-algebra boreliana rispetto alla misura di Borel, ed è fondamentale per la costruzione della celebre misura di Lebesgue. La σ-algebra di Lebesgue ha cardinalità superiore a quella del continuo: naturalmente essa è contenuta nell'insieme delle parti dei numeri reali (si veda il primo esempio sopra). È tuttavia lecito chiedersi se vi siano sottoinsiemi dei numeri reali che non appartangono alla σ-algebra di Lebesgue. Tali sottoinsiemi sono anche detti insiemi non misurabili secondo Lebesgue, e l'esistenza di tali sottoinsiemi è legata all'assioma della scelta, ovvero essi si possono costruire se e solo se si assume tale assioma. Un esempio di tali insiemi è l'insieme di Vitali.

Note[modifica | modifica sorgente]

  1. ^ Un breve resoconto dello sviluppo storico della teoria della misura e dell'integrazione si trova in Boyer History of Mathematics, cap. 28. Per un'introduzione alle idee della teoria della misura si veda Billingsley, Probability and measure. Una presentazione generale, ma più astratta, è data anche in Cohn, Measure Theory. Un classico testo introduttivo è Halmos Measure Theory.
  2. ^ a b c d W. Rudin, op. cit., Pag. 8
  3. ^ W. Rudin, op. cit., Pag. 10
  4. ^ W. Rudin, op. cit., Pag. 16
  5. ^ Alcune esempi sono dati in Vestrup, The Theory of Measures and Integration cap. 3 e cap. 11

Bibliografia[modifica | modifica sorgente]

Voci correlate[modifica | modifica sorgente]

Collegamenti esterni[modifica | modifica sorgente]

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