Algebra di Borel

sigma-algebra generata da una topologia
(Reindirizzamento da Spazio boreliano)

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   uno spazio topologico. L'algebra di Borel di   rispetto a   è la più piccola σ-algebra   contenente la topologia  , ossia contenente ogni sottoinsieme aperto di  .[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   è un insieme non vuoto e   una famiglia di sottoinsiemi di  , allora è ben definita  , la più piccola σ-algebra su   contenente  .[2]

Dati due spazi topologici   e   e una funzione continua  , allora tale funzione è misurabile rispetto alla σ-algebra di Borel. Infatti   è contenuta nella σ-algebra di Borel per ogni insieme aperto   di  . Se   è 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   per ogni compatto  . 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   di  . 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  , 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   e   sono detti isomorfi se esiste una funzione   biiettiva tale che   siano entrambe misurabili.

Lemma di misurabilità di funzioni continue

modifica

Siano   e   due spazi topologici, e siano   e   i relativi spazi boreliani. Se un'applicazione   è continua rispetto a   e   allora essa è misurabile rispetto a   e  .

Questo risultato è importante, ed è utilizzato, ad esempio, per mostrare che le funzioni continue su un compatto di   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   uno spazio polacco, e   la relativa σ-algebra di Borel. Allora lo spazio boreliano   è isomorfo ad uno dei seguenti insiemi:

  • L'insieme dei numeri reali   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   sia metrizzabile (ossia, nel caso in cui sia possibile considerare la topologia   come indotta da una distanza), si può dare una descrizione abbastanza esplicita della σ-algebra di Borel.

Data una famiglia   di sottoinsiemi di  , si definiscono:

  •   la famiglia di sottoinsiemi di   costituita da tutte le unioni numerabili di elementi di  .
  •   la famiglia di sottoinsiemi di   costituita da tutte le intersezioni numerabili di elementi di  .

dove con la notazione   si intende semplicemente  .

Si costruisce la σ-algebra di Borel per induzione transfinita definendo una famiglia di insiemi  , parametrizzata dai numeri ordinali  .

  • Base dell'induzione: si definisce  , la topologia di  .
  • Passo induttivo: si distinguono i due casi, quello in cui   sia un ordinale limite, e quello in cui non lo sia. Se   non è un ordinale limite, allora ammette un ordinale   che lo precede, e si pone:
 
Se   è un ordinale limite, allora si pone:
 

Con queste definizioni, la σ-algebra di Borel è data da  , dove   è il primo ordinale non numerabile. Infatti, in uno spazio metrico ogni aperto è l'unione dei chiusi in esso contenuti, da cui segue facilmente che   è una σ-algebra. La proprietà di minimalità di   (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   esiste un ordinale numerabile   tale che  . Tuttavia, al variare del boreliano   tale indice numerabile diviene arbitrariamente grande, ed approccia il primo ordinale non numerabile.

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

  • Sia   un insieme non vuoto, e siano   la topologia banale e   la topologia discreta di   (qui e nel seguito   indica l'insieme delle parti di  ).   e   sono anche due σ-algebre,[4] e quindi le σ-algebre generate dalle medesime   e  . Ne segue che esse sono delle algebre di Borel, e   e   sono i più semplici esempi di spazi boreliani.
  • Dato un qualunque insieme non vuoto  , la famiglia composta da tutti i sottoinsiemi di   che hanno cardinalità numerabile o il cui complementare abbia cardinalità numerabile è una σ-algebra. È immediato verificare che questa σ-algebra è quella generata dalla topologia cofinita su  , 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   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   è 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).
  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.
  2. ^ a b W. Rudin, Pag. 12.
  3. ^ W. Rudin, Pag. 13.
  4. ^ Queste due σ-algebre sono dette improprie.

Bibliografia

modifica

Voci correlate

modifica

Collegamenti esterni

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