Algebra di Borel

In matematica l'algebra di Borel, o più propriamente la σ-algebra di Borel, è la più piccola σ-algebra su un insieme dotato di struttura topologica che sia compatibile con la topologia stessa, ossia che contenga tutti gli aperti della topologia.

Lo spazio misurabile così definito prende il nome di spazio boreliano, gli insiemi contenuti nella σ-algebra di Borel sono detti insiemi boreliani o insiemi di Borel ed una misura definita su una σ-algebra di Borel è detta misura di Borel.

La nozione di algebra di Borel è stata introdotta da Émile Borel nell'ambito dei numeri reali, ed in seguito generalizzata a spazi topologici arbitrari.^[1]

Definizione modifica

Sia $(X,{\mathcal {\mathrm {T} }})$ uno spazio topologico. L'algebra di Borel di $X$ rispetto a ${\mathcal {\mathrm {T} }}$ è la più piccola σ-algebra ${\mathfrak {F}}:=\sigma ({\mathcal {\mathrm {T} }})$ contenente la topologia ${\mathcal {\mathrm {T} }}$ , ossia contenente ogni sottoinsieme aperto di $(X,{\mathcal {\mathrm {T} }})$ .^[2]

La definizione data è motivata dal fatto che, dal momento che l'intersezione di una famiglia di σ-algebre è ancora una σ-algebra, data una generica collezione di insiemi si dimostra che esiste una più piccola σ-algebra che contiene la collezione. Più precisamente, se $X$ è un insieme non vuoto e ${\mathfrak {G}}$ una famiglia di sottoinsiemi di $X$ , allora è ben definita $\sigma ({\mathfrak {G}})$ , la più piccola σ-algebra su $X$ contenente ${\mathfrak {G}}$ .^[2]

Dati due spazi topologici $X$ e $Y$ e una funzione continua $f\colon X\to Y$ , allora tale funzione è misurabile rispetto alla σ-algebra di Borel. Infatti $f^{-1}(V)$ è contenuta nella σ-algebra di Borel per ogni insieme aperto $V$ di $Y$ . Se $Y$ è l'asse reale del piano complesso, le funzioni misurabili rispetto alla σ-algebra di Borel sono dette funzioni di Borel.^[3]

Ogni misura definita su una σ-algebra di Borel si dice misura di Borel, ed alcuni autori richiedono che $\mu (K)<\infty$ per ogni compatto $K$ . Una misura caratterizzata da regolarità interna ed esterna si dice regolare, mentre se è caratterizzata da regolarità interna ed è localmente finita prende il nome di misura di Radon.

Terminologia modifica

In alcuni casi si utilizza il termine "algebra di Borel" per indicare la σ-algebra generata dai compatti della topologia ${\mathcal {\mathrm {T} }}$ di $X$ . Poiché in uno spazio di Hausdorff ogni compatto è chiuso, in questo caso la σ-algebra di Borel definita in esso è più fine di quella generata dai compatti. Risulta che esse coincidono se lo spazio topologico di partenza è uno spazio metrizzabile separabile e localmente compatto. Questa seconda definizione di algebra di Borel si utilizza ad esempio per costruire la misura di Haar.

Talvolta, "algebra di Borel" identifica anche l'algebra di insiemi generata dagli aperti di uno spazio topologico, e non la σ-algebra. Questa dicitura è tuttavia meno comune. Ad esempio, intesa con questo significato, l'algebra di Borel dei numeri reali, equipaggiati con la usuale topologia euclidea, è costituita semplicemente dalle unioni finite di intervalli.

A volte si utilizza, inoltre, il termine "spazio boreliano" come abbreviazione di spazio boreliano standard. Uno spazio boreliano è detto standard se lo spazio topologico $(X,{\mathcal {\mathrm {T} }})$ , che genera lo spazio boreliano stesso, è uno spazio polacco.

Principali risultati modifica

Nella teoria delle categorie, gli spazi boreliani formano una categoria i cui morfismi sono le funzioni misurabili. Essa è una sottocategoria della categoria degli spazi misurabili.

Due spazi boreliani $(X,{\mathfrak {F}})$ e $(Y,{\mathfrak {G}})$ sono detti isomorfi se esiste una funzione $f\colon X\to Y$ biiettiva tale che $f,\,f^{-1}$ siano entrambe misurabili.

Lemma di misurabilità di funzioni continue modifica

Siano $(\Omega ,{\mathcal {\mathrm {T} }})$ e $(\Psi ,\Upsilon )$ due spazi topologici, e siano $(\Omega ,{\mathfrak {F}})$ e $(\Psi ,{\mathfrak {G}})$ i relativi spazi boreliani. Se un'applicazione $f\colon \Omega \to \Psi$ è continua rispetto a ${\mathcal {\mathrm {T} }}$ e $\Upsilon$ allora essa è misurabile rispetto a ${\mathfrak {F}}$ e ${\mathfrak {G}}$ .

Questo risultato è importante, ed è utilizzato, ad esempio, per mostrare che le funzioni continue su un compatto di $\mathbb {R} ^{n}$ sono integrabili rispetto alla misura di Lebesgue, o più in generale per compatti di gruppi topologici localmente compatti rispetto alla misura di Haar. Ne segue anche che se due spazi topologici sono omeomorfi, allora i relativi spazi boreliani sono isomorfi.

Teorema di Kuratowski modifica

Sia $(X,{\mathcal {\mathrm {T} }})$ uno spazio polacco, e ${\mathfrak {F}}$ la relativa σ-algebra di Borel. Allora lo spazio boreliano $(X,{\mathfrak {F}})$ è isomorfo ad uno dei seguenti insiemi:

L'insieme dei numeri reali $\mathbb {R}$ equipaggiato con la usuale algebra di Borel.
L'insieme dei numeri interi equipaggiato con la σ-algebra dell'insieme delle parti, che è semplicemente la σ-algebra di Borel generata dalla topologia discreta.
Un insieme finito equipaggiato con la σ-algebra dell'insieme delle parti, che è semplicemente la σ-algebra di Borel generata dalla topologia discreta.

Questo teorema, importante in molti ambiti della matematica ed in particolare in teoria descrittiva degli insiemi ed in teoria della probabilità, è dovuto al matematico polacco Kazimierz Kuratowski.

Costruzione esplicita della σ-algebra di Borel modifica

Nel caso in cui $(X,{\mathcal {\mathrm {T} }})$ sia metrizzabile (ossia, nel caso in cui sia possibile considerare la topologia ${\mathcal {\mathrm {T} }}$ come indotta da una distanza), si può dare una descrizione abbastanza esplicita della σ-algebra di Borel.

Data una famiglia ${\mathfrak {T}}$ di sottoinsiemi di $X$ , si definiscono:

${\mathfrak {T}}_{\sigma }$ la famiglia di sottoinsiemi di $X$ costituita da tutte le unioni numerabili di elementi di ${\mathfrak {T}}$ .
${\mathfrak {T}}_{\delta }$ la famiglia di sottoinsiemi di $X$ costituita da tutte le intersezioni numerabili di elementi di ${\mathfrak {T}}$ .

dove con la notazione ${\mathfrak {T}}_{\delta ,\sigma }$ si intende semplicemente $({\mathfrak {T}}_{\delta })_{\sigma }$ .

Si costruisce la σ-algebra di Borel per induzione transfinita definendo una famiglia di insiemi ${\mathfrak {G}}^{i}\subset \mathbf {2} ^{X}$ , parametrizzata dai numeri ordinali $i$ .

Base dell'induzione: si definisce ${\mathfrak {G}}^{0}:={\mathcal {\mathrm {T} }}$ , la topologia di $X$ .
Passo induttivo: si distinguono i due casi, quello in cui $i$ sia un ordinale limite, e quello in cui non lo sia. Se $i$ non è un ordinale limite, allora ammette un ordinale $i-1$ che lo precede, e si pone:

{\mathfrak {G}}^{i}:={\mathfrak {G}}_{\delta ,\sigma }^{i-1}.

Se

i

è un ordinale limite, allora si pone:

{\mathfrak {G}}^{i}:=\bigcup _{j<i}{\mathfrak {G}}^{j}.

Con queste definizioni, la σ-algebra di Borel è data da ${\mathfrak {F}}={\mathfrak {G}}^{\omega _{1}}$ , dove $\omega _{1}$ è il primo ordinale non numerabile. Infatti, in uno spazio metrico ogni aperto è l'unione dei chiusi in esso contenuti, da cui segue facilmente che ${\mathfrak {G}}^{\omega _{1}}$ è una σ-algebra. La proprietà di minimalità di ${\mathfrak {G}}^{\omega _{1}}$ (ossia il fatto che essa sia la più piccola σ-algebra contenente gli aperti) segue invece da un'osservazione più sottile. Infatti è possibile mostrare che per ogni insieme boreliano $B$ esiste un ordinale numerabile $i$ tale che $B\in {\mathfrak {G}}^{i}$ . Tuttavia, al variare del boreliano $B$ tale indice numerabile diviene arbitrariamente grande, ed approccia il primo ordinale non numerabile.

Esempi modifica

La maggior parte degli spazi misurabili che si utilizzano in analisi matematica sono boreliani.

Sia $X$ un insieme non vuoto, e siano ${\mathfrak {F}}_{0}=\{\varnothing ,X\}$ la topologia banale e ${\mathfrak {F}}_{\mathcal {P}}=\mathbf {2} ^{X}$ la topologia discreta di $X$ (qui e nel seguito $\mathbf {2} ^{X}$ indica l'insieme delle parti di $X$ ). ${\mathfrak {F}}_{0}$ e ${\mathfrak {F}}_{\mathcal {P}}$ sono anche due σ-algebre,^[4] e quindi le σ-algebre generate dalle medesime ${\mathfrak {F}}_{0}$ e ${\mathfrak {F}}_{\mathcal {P}}$ . Ne segue che esse sono delle algebre di Borel, e $(X,{\mathfrak {F}}_{0})$ e $(X,{\mathfrak {F}}_{\mathcal {P}})$ sono i più semplici esempi di spazi boreliani.
Dato un qualunque insieme non vuoto $X$ , la famiglia composta da tutti i sottoinsiemi di $X$ che hanno cardinalità numerabile o il cui complementare abbia cardinalità numerabile è una σ-algebra. È immediato verificare che questa σ-algebra è quella generata dalla topologia cofinita su $X$ , ed è pertanto un'algebra boreliana.
L'algebra di Borel utilizzata più di frequente in matematica, è la σ-algebra di Borel sui numeri reali (o più in generale sugli spazi euclidei). Questa è la più piccola σ-algebra contenente tutti gli intervalli reali, ed è generalmente utilizzata per definire le funzioni misurabili e le variabili aleatorie a valori reali, la misura di Borel, ed in alcune delle possibili costruzioni della misura di Lebesgue. Essa può essere costruita induttivamente seguendo il procedimento generale indicato sotto. Si può dimostrare che questa σ-algebra ha la cardinalità del continuo, e dunque solo pochi sottoinsiemi dei numeri reali sono boreliani. Tuttavia, tutti i sottoinsiemi di $\mathbb {R}$ che ricorrono più spesso sono boreliani, ad esempio:
- Gli insiemi numerabili, come gli interi, i razionali o loro sottoinsiemi.
- Gli intervalli aperti e chiusi, ma anche semiaperti, e le semirette aperte e chiuse. Ad esempio l'intervallo $[0,1)$ è boreliano.
- Le unioni ed intersezioni di insiemi dei tipi appena descritti.
Un esempio di σ-algebra non boreliana, è dato dalla σ-algebra di Lebesgue. Questa può ad esempio definirsi come il completamento della σ-algebra boreliana dei reali rispetto alla misura di Borel (il completamento di una σ-algebra si ottiene aggiungendo agli insiemi che la compongono gli insiemi di misura nulla).

Note modifica

^ Un breve resoconto dello sviluppo storico della teoria della misura e delle sue strutture insiemistiche si trova in Boyer, History of Mathematics, cap. 28.
^ ^a ^b W. Rudin, Pag. 12.
^ W. Rudin, Pag. 13.
^ Queste due σ-algebre sono dette improprie.

Bibliografia modifica

(EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.
(EN) Carl B. Boyer, History of Mathematics, 2nd edition, New York, John Wiley & Sons, 1989, ISBN 0-471-54397-7.
(EN) Donald L. Cohn, Measure Theory, Boston, Birkhäuser, 1980, ISBN 0-8493-7157-0.
(EN) Paul R. Halmos, Measure Theory, New York, Springer-Verlag, 1974, ISBN 0-387-90088-8.

Voci correlate modifica

Collegamenti esterni modifica

Borel, algebra di, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
(EN) Eric W. Weisstein, Algebra di Borel, su MathWorld, Wolfram Research.
(EN) V.A. Skvortsov, Borel set, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.

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

[1] Un breve resoconto dello sviluppo storico della teoria della misura e delle sue strutture insiemistiche si trova in Boyer, History of Mathematics, cap. 28.

[def-2] W. Rudin, Pag. 12.

[3] W. Rudin, Pag. 13.

[4] Queste due σ-algebre sono dette improprie.

[1]

[2]

[3]

[4]