Algebra di insiemi

Da Wikipedia, l'enciclopedia libera.

In matematica, un'algebra di insiemi (o più brevemente un'algebra) su di un insieme \Omega, è una famiglia di sottoinsiemi di \Omega che abbia delle proprietà di stabilità rispetto ad alcune operazioni insiemistiche, in particolare l'operazione di unione 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[modifica | modifica sorgente]

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:

  1. L'insieme vuoto  \emptyset appartiene ad  \mathfrak{F} :  \emptyset \in \mathfrak{F} .
  2. Se un insieme  A è in  \mathfrak{F}, allora il suo complementare è in  \mathfrak{F} :  A \in \mathfrak{F} \Rightarrow A^c \in \mathfrak{F}.
  3. 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 di 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[modifica | modifica sorgente]

  • 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[modifica | modifica sorgente]

  • 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\}.
  • Un'algebra booleana finita si può rappresentare come l'algebra impropria dell'insieme delle parti di un insieme finito (vedi esempio sopra).

Bibliografia[modifica | modifica sorgente]

  • 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[modifica | modifica sorgente]

Collegamenti esterni[modifica | modifica sorgente]

Altri progetti[modifica | modifica sorgente]

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