Algebra di insiemi

In matematica, un'algebra di insiemi (o più brevemente un'algebra) su un insieme $\Omega$ , è una famiglia di sottoinsiemi di $\Omega$ che abbia delle proprietà di chiusura rispetto ad alcune operazioni insiemistiche, in particolare l'operazione di unione finita e di passaggio al complementare. La struttura di algebra di insiemi è particolarmente utile in teoria della misura e probabilità, ed è alla base di tutte le nozioni di misurabilità, sia di insiemi che di funzioni. È inoltre utilizzata nella teoria delle rappresentazioni in algebra booleana.

Euristicamente, potremmo dire che la nozione di algebra di insiemi (e quella di σ-algebra) stanno alla misurabilità, come la nozione di topologia sta a quella di continuità. Ed è infatti notevole che entrambe queste strutture possano costruirsi dando delle semplici condizioni di stabilità per operazioni insiemistiche.

La nozione di algebra di insiemi venne introdotta all'inizio del XX secolo. Attualmente, in teoria della misura il concetto di σ-algebra è divenuto molto più utilizzato di quello di algebra. Tuttavia non sono mancati matematici influenti, come Bruno de Finetti, che hanno tentato di dare alla struttura dell'algebra un ruolo centrale in teoria della misura, traducendo molti risultati riguardanti misure σ-additive (cioè definite su σ-algebre) al caso più generale di misure finitamente additive (definite su algebre).

Definizione matematica

Sia $\Omega$ un insieme, e sia ${\mathfrak {F}}$ una famiglia di sottoinsiemi di $\Omega$ (ovverosia, un sottoinsieme dell'insieme delle parti di $\Omega$ ). Diremo che ${\mathfrak {F}}$ è un'algebra su $\Omega$ se:

L'insieme vuoto $\emptyset$ appartiene ad ${\mathfrak {F}}$ : $\emptyset \in {\mathfrak {F}}$ .
Se un insieme $A$ è in ${\mathfrak {F}}$ , allora il suo complementare è in ${\mathfrak {F}}$ : $A\in {\mathfrak {F}}\Rightarrow A^{c}\in {\mathfrak {F}}$ .
Se due insiemi $A,B$ sono in ${\mathfrak {F}}$ , allora la loro unione è in ${\mathfrak {F}}$ : $A,B\in {\mathfrak {F}}\Rightarrow A\cup B\in {\mathfrak {F}}$ .

Si noti che da tali condizioni discendono delle semplici proprietà, talvolta utilizzate nella definizione stessa di algebra di insiemi:

Un'algebra ${\mathfrak {F}}$ su un insieme $\Omega$ è non vuota, ed essa ha tra i suoi elementi lo stesso insieme $\Omega$ (poiché $\emptyset \in {\mathfrak {F}}$ e $\emptyset ^{c}=\Omega$ ).
Un'algebra ${\mathfrak {F}}$ è chiusa per unione finita: Se $A_{1},A_{2},\ldots A_{n}\in {\mathfrak {F}}$ allora $\bigcup _{i=1}^{n}A_{i}\in {\mathfrak {F}}$ , come segue iterando la terza condizione della definizione.
Un'algebra ${\mathfrak {F}}$ è chiusa per intersezione: se $A,B\in {\mathfrak {F}}$ , allora $A\cap B\in {\mathfrak {F}}$ , dal momento che $A\cap B=\left(A^{c}\cup B^{c}\right)^{c}$ , che appartiene ad ${\mathfrak {F}}$ , dalla seconda e terza condizione. Iterando questa procedura, ne segue che essa è chiusa per intersezione finita.

Esempi

Dato un qualunque insieme $\Omega$ , la famiglia di sottoinsiemi ${\mathfrak {F}}_{0}=\{\emptyset ,\Omega \}$ è un'algebra. Anche la famiglia ${\mathfrak {F}}_{\mathcal {P}}$ costituita da tutti i sottoinsiemi di $\Omega$ (insieme delle parti) è un'algebra. Queste sono rispettivamente la più piccola e la più grande algebra su $\Omega$ ; ossia, se ${\mathfrak {F}}$ è un'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.
Consideriamo un insieme con quattro elementi $\Omega =\{John,Paul,Ringo,George\}$ . In questo caso finito, si possono costruire esplicitamente alcune algebre. Ad esempio si può verificare che (indicando i nomi con le rispettive iniziali):

{\mathfrak {F}}=\left\{\emptyset ,\{J\},\{P\},\{J,P\},\{R,G\},\{P,R,G\},\{J,R,G\},\Omega \right\}

soddisfa le condizioni della definizione.

Ogni σ-algebra è un'algebra. Infatti la chiusura rispetto all'unione numerabile implica chiaramente la chiusura rispetto all'unione finita. Le altre due proprietà restano invariate.

Principali risultati ed applicazioni

Data una famiglia $\left\{{\mathfrak {F}}_{\alpha }\right\}_{\alpha \in {\mathcal {A}}}$ qualunque (finita o infinita) di algebre, è facile verificare che la loro intersezione ${\mathfrak {F}}_{\mathcal {A}}:=\bigcap _{\alpha \in {\mathcal {A}}}{\mathfrak {F}}_{\alpha }$ è ancora un'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 l'algebra generata da ${\mathfrak {G}}$ , come l'intersezione di tutte le algebre contenenti ${\mathfrak {G}}$ . Dalla definizione stessa di algebra generata da ${\mathfrak {G}}$ , segue che essa è la più piccola algebra contenente ${\mathfrak {G}}$ . Ad esempio, l'algebra ${\mathfrak {F}}$ del secondo esempio sopra, è generata dall'insieme ${\mathfrak {G}}=\left\{\{J\},\{P\}\right\}$ .

Una qualunque algebra booleana si può rappresentare come un'algebra (ossia, essa ha la stessa struttura di un'algebra). Questo è il teorema di rappresentazione di Stone.

Un'algebra booleana finita si può rappresentare come l'algebra impropria dell'insieme delle parti di un insieme finito (vedi esempio sopra).

Bibliografia

Patrick Billingsley, Probability and measure, 3rd edition, New York, John Wiley & sons, 1995, ISBN 0-471-00710-2.
Peter T. Johnstone, Stone spaces, 3rd edition, Cambridge, Cambridge University Press, 1982, ISBN 0-521-23893-5.

Voci correlate

Altri progetti

Wikimedia Commons contiene immagini o altri file su Algebra di insiemi

Collegamenti esterni

M. Hazewinkel, Rings of sets, Encyclopedia of Mathematics, Springer_Science+Business_Media

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