# Spazio campionario

Nel calcolo delle probabilità lo spazio campionario o insieme universo (generalmente indicato dalle lettere $S$, $\Omega$ o $U$) è l'insieme dei possibili risultati di un esperimento casuale. Ad esempio, nel lancio di un dado a sei facce, lo spazio campionario è l'insieme $\{1,2,3,4,5,6\}$, nel lancio di una moneta è l'insieme $\Omega \equiv \{testa,croce\}$ (escludendo che la moneta possa rimanere in bilico sul bordo), e così via. Lo spazio campionario può anche avere infiniti elementi: se, ad esempio, siamo interessati allo studio della caduta di una pallina su un pavimento, lo spazio campionario corrisponderà all'insieme dei punti del pavimento, considerati tutti come possibili punti di impatto della pallina.

## Definizioni formali
### Spazio campionario

Dato un esperimento casuale, è detto evento elementare $\omega$ uno dei possibili esiti dell'esperimento stesso. L'insieme di tutti gli eventi elementari $\Omega \equiv \{\omega _{1},\ldots ,\omega _{n},\ldots \}$ viene detto spazio campionario (sample space nella letteratura anglosassone); gli eventi elementari rappresentano i punti di questo spazio.
I concetti di spazio campionario ed evento elementare sono concetti primitivi in teoria della probabilità, come quelli di punto o linea in geometria, e non vengono ulteriormente definiti a partire da altri concetti. Non vi sono quindi indicazioni o limitazioni sulla natura degli eventi elementari; nel seguito della voce si daranno alcuni esempi nei quali gli eventi elementari assumono una specifica natura matematica.

### Eventi

Mentre con evento elementare si indica uno dei possibili esiti di un esperimento casuale, si dice evento un qualsiasi sottoinsieme $A\subseteq \Omega$ dello spazio campionario $\Omega$ degli eventi elementari. Dunque un evento non è altro che un raggruppamento di uno o più eventi elementari. Pertanto, le espressioni evento elementare ed evento senza ulteriori specificazioni si riferiscono ad enti di natura diversa: i primi sono punti di uno spazio, la cui natura non è ulteriormente definita in generale, mentre i secondi sono insiemi, quindi trattabili con tutti gli strumenti della omonima teoria.
L'insieme corrispondente all'intero spazio campionario $\Omega$ è esso stesso un evento, in quanto insieme di eventi elementari; è detto evento certo poiché comprende tutti gli eventi elementari, cioè tutti i possibili risultati di un esperimento. L'evento corrispondente all'insieme vuoto $\varnothing$, che non comprende alcun evento elementare, è detto evento impossibile.
Dato uno spazio campionario associato a un esperimento, può darsi che l'analisi da condurre non coinvolga tutti i possibili eventi, ma solo una parte di essi. Gli eventi che hanno un ruolo in una specifica analisi vengono detti eventi di interesse.

### Sigma-algebra

Sia $\Omega$ uno spazio arbitrario purché non vuoto. Una famiglia ${\mathcal {A}}$ di eventi di $\Omega$ (cioè una qualsiasi collezione di sottoinsiemi $A_{i}\subseteq \Omega$) è detta $\sigma$-algebra (sigma-algebra) se contiene $\Omega$ ed è chiusa rispetto alle operazioni insiemistiche di unione numerabile e complementazione, ovvero se soddisfa le seguenti tre proprietà:
* $\Omega \in {\mathcal {A}}$
* $A\in {\mathcal {A}}\Rightarrow A^{c}\in {\mathcal {A}}$
* $A_{i}\in {\mathcal {A}}\;\forall i\in \mathbb {N} \Rightarrow \bigcup _{i=1}^{\infty }{A_{i}}\in {\mathcal {A}}$
Pertanto: (1) l'evento certo è un evento (come dire: "succede qualcosa"); (2) la negazione di un qualsiasi evento è essa stessa un evento; (3) qualsiasi unione di eventi è un evento (per esempio l'evento "si verifica $E$ o $F$" è l'unione dell'evento "si verifica $E$" con l'evento "si verifica $F$").
La proprietà 1. è del tutto equivalente a:
       1'. $\varnothing \in {\mathcal {A}}$
La proprietà 3. è del tutto equivalente a:
       3'. $A_{i}\in {\mathcal {A}}\;\forall i\in \mathbb {N} \Rightarrow \bigcap _{i=1}^{\infty }{A_{i}}\in {\mathcal {A}}$
cioè una sigma-algebra è anche chiusa rispetto a intersezioni numerabili.
Una sigma-algebra è il metodo più appropriato per descrivere un insieme di eventi a partire da un insieme di eventi elementari, e viene anche detta spazio degli eventi. Essa rappresenta un concetto ampiamente trattato in teoria della misura e deriva da una generalizzazione dell'algebra di insiemi. Questa, che richiede la stabilità solo per unioni finite (e non per quelle numerabili), non è tuttavia adeguata a descrivere tutti i possibili eventi, quali quelli del tipo "prima o poi piove". Infatti, questo evento è traducibile in linguaggio insiemistico come "piove oggi" oppure "piove domani" oppure " piove dopodomani", eccetera; ovvero l'evento $\ E$ è descritto dall'unione di infiniti eventi, $E=\bigcup _{i=1}^{\infty }{E_{i}}$, da cui deriva che per la definizione di algebra potrebbe essere $\ \bigcup _{i=1}^{\infty }{E_{i}}\notin {\mathcal {A}}$; quindi $\ E$ non sarebbe un evento compreso in un modello basato sull'algebra di insiemi. Per ovviare a ciò si introduce la nozione di sigma-algebra.
Dato uno spazio arbitrario $\Omega$ e una famiglia ${\mathcal {A}}$ di suoi sottoinsiemi è possibile, sempre e in vari modi, estendere la famiglia sino a renderla una sigma-algebra. La più piccola sigma-algebra contenente la famiglia ${\mathcal {A}}$ viene indicata con $\sigma ({\mathcal {A}})$ e detta sigma-algebra generata dalla famiglia.

### Spazio di probabilità

I concetti di spazio campionario $\Omega$ e di spazio degli eventi ${\mathcal {A}}$ sin qui definiti, considerati assieme a quello di una misura $\mathbb {P} (A)$, detta appunto misura di probabilità, concorrono a definire il concetto di spazio di probabilità $(\Omega ,{\mathcal {A}},\mathbb {P} )$, che rappresenta la base per lo sviluppo assiomatico della teoria della probabilità.

## Osservazioni

Gli elementi dell'insieme delle parti di $\Omega$ sono i sottoinsiemi di $\Omega$; quindi una famiglia ${\mathcal {A}}$ di sottoinsiemi di $\Omega$ è un sottoinsieme dell'insieme delle parti di $\Omega$, ${\mathcal {P}}\left(\Omega \right)$.
Un evento $A$ è un sottoinsieme di $\Omega$, e non un suo elemento. Quindi un evento, in quanto insieme, non appartiene allo spazio campionario, ma è incluso nello spazio campionario. Di converso, un evento elementare $\omega$, in quanto punto, appartiene allo spazio campionario, e l'evento $\left\{\omega \right\}$, insieme costituito da un singolo punto (e perciò detto singoletto), è incluso nello spazio campionario. Si può quindi scrivere $\omega \in \Omega$, mentre la scrittura $A\in \Omega$ è priva di significato.
Se la cardinalità di $\Omega$ è finita, allora la $\sigma$-algebra può coincidere con l'insieme delle parti; non è detto però che sia necessario considerare una famiglia di eventi così grande.
Ovviamente nulla vieta di prendere come spazio degli eventi proprio l'insieme delle parti. Questo perché, nel caso di cardinalità finita, è sempre possibile prendere come $\sigma$-algebra l'intero insieme delle parti, senza rischiare di incappare in eventi $A$ ai quali non sia possibile attribuire una probabilità $P(A)$.
Se invece la cardinalità di $\Omega$ è infinita, non è detto che sia possibile definire $P(A)\quad \forall A\in {\mathcal {P}}\left(\Omega \right)$. In tale caso, può darsi che la scelta dell'insieme delle parti come sigma-algebra non sia felice: in virtù della terza proprietà delle sigma-algebre, quando passiamo alla probabilità vengono coinvolte delle serie che non è detto convergano.
In generale, si cerca sempre di scegliere una sigma-algebra piccola, in quanto più semplice da usare. Il fatto che una sigma-algebra sia non coincidente con l'intero insieme delle parti non vuol dire che alcuni eventi elementari ne possano restare esclusi; infatti, per definizione di sigma-algebra, dev'essere $\forall \omega \in \Omega \quad \exists A\in {\mathcal {A}}:\omega \in A$. In altri termini, le sigma-algebre definite su $\Omega$ sono una copertura di $\Omega$.

## Tipi di spazio campionario

La scelta dello spazio campionario per un determinato fenomeno aleatorio deve in qualche modo equilibrare la necessità di essere fedele alla realtà fisica esaminata con la convenienza matematica.
In pratica, la maggior parte degli spazi campionari rientra nelle seguenti tipologie:

### Finito

I più semplici esperimenti aleatori consistono nel lancio di una moneta o di un dado, o nell'estrazione di una pallina da un'urna. In ogni caso lo spazio campionario sarà un insieme costituito da un numero finito di eventi elementari. In genere, ma non necessariamente, essi saranno rappresentati dai primi n numeri interi: $\{0,1,\ldots ,n-1\}$ oppure $\{1,\ldots ,n\}$.

### Numerabile

Molti importanti modelli probabilistici, come ad esempio quello poissoniano utilizzato per contare il numero di accadimenti che si verificano in un intervallo di tempo fissato, si basano su uno spazio campionario numerabile e coincidente, quindi con tutto $\mathbb {N}$ o con $\mathbb {Z}$.

### Continuo

Solitamente il modello continuo per eccellenza è la retta reale, come nel caso degli errori di misura nelle osservazioni scientifiche il cui studio sistematico è stato avviato da Karl Friedrich Gauss nel 1809. Altri modelli, utili per rappresentare i tempi di vita di componenti elettronici, hanno come modello la semiretta reale positiva.

### Vettoriale finito

Spesso un esperimento è costituito da una sequenza finita di altri esperimenti come, ad esempio, il lancio di un dado ripetuto n volte. In tale caso, se $\Omega _{0}\equiv \{\omega \in \mathbb {N} :1\leq \omega \leq 6\}$ è lo spazio campionario del singolo lancio, lo spazio campionario complessivo sarà dato dal prodotto cartesiano dei singoli spazi: $\Omega =\Omega _{0}\times \cdots \times \Omega _{0}\equiv \{(\omega _{1},\ldots ,\omega _{n}):\omega _{i}\in \Omega _{0}\quad \forall i=1,\ldots ,n\}$.
Lo spazio campionario del singolo esperimento potrà essere sia finito che numerabile che continuo.

### Vettoriale numerabile

Come nel caso vettoriale finito con l'unica differenza che la sequenza dei singoli esperimenti non è finita ma numerabile dunque: $\Omega =\Omega _{0}\times \Omega _{0}\times \cdots \equiv \{(\omega _{1},\omega _{2},\ldots ):\omega _{i}\in \Omega _{0}\quad \forall i\in \mathbb {N} \}$.
Tale modello compare, ad esempio, nelle analisi di qualità dei pezzi uscenti da una linea di produzione con $\Omega _{0}=\{0,1\}$ o nella passeggiata aleatoria (random walk) con $\Omega _{0}=\{-1,1\}$.

### Funzionale

In alcuni esperimenti aleatori della fisica, gli esiti dell'esperimento sono i percorsi o le traiettorie di una particella in un certo intervallo di tempo. Quindi ogni esito, in questo caso, è una funzione. Tale modello emerge insistentemente nei processi stocastici.

## Esempi

Per molti esperimenti può esistere più di una scelta plausibile sia per lo spazio campionario che per lo spazio degli eventi, e la loro scelta rappresenta una parte fondamentale nella costruzione di un modello probabilistico. Una scelta corretta in questa fase conferisce un vantaggio che diviene chiaro in fase di assegnazione di una misura di probabilità. Sono elencati qui alcuni esempi.

### Un mazzo di carte

Per esempio, nel caso dell'estrazione di una carta da un mazzo, si potrebbe scegliere di rappresentare nello spazio campionario il punteggio ($\Omega \equiv${Asso, Due, Tre, ..., Re}), oppure il seme ($\Omega \equiv${Cuori, Quadri, Fiori, Picche}), o ancora la scelta $\Omega \equiv${Faccia in alto, Faccia in basso} se si vuole considerare l'eventuale rovesciamento di alcune carte nel mazzo. Una descrizione più completa dei risultati potrebbe poi specificare tutti questi elementi costruendo uno spazio campionario come prodotto cartesiano degli esempi prima fatti.

### Un foglio in pezzi

Prendiamo un qualsiasi foglio: nella sua interezza rappresenterà il nostro spazio campionario. Le singole particelle del foglio corrisponderanno ai punti dello spazio campionario ovvero agli eventi elementari. Se ora strappiamo in pezzi il foglio, ognuno dei pezzi rappresenterà un evento che, in quanto aggregato di particelle, sarà un sottoinsieme del foglio originale e, in quanto pezzo, sarà un elemento dell'insieme dei pezzi del foglio (l'insieme delle parti). Osserviamo che un foglio strappato in pezzi costituisce una partizione del foglio originale. I pezzi in cui abbiamo strappato il foglio non esauriscono tutto l'insieme delle parti ma ne costituiscono solo una sua famiglia. Tale famiglia può essere estesa ad una sigma-algebra aggiungendo ad essa anche tutte le possibili composizioni ottenibili con le operazioni insiemistiche di unione numerabile, intersezione numerabile e complementazione. Ad esempio dovremo aggiungere alla famiglia l'unione di tutti i pezzi (l'intero foglio). Accanto ad ogni pezzo della famiglia dovremo aggiungere il suo complementare (ovvero l'unione di tutti gli altri pezzi), e via dicendo.
Notiamo che questo procedimento ci conduce ad una sigma-algebra ma non all'insieme delle parti, per arrivare al quale dovremmo ripetere il procedimento anche per tutti gli altri modi in cui possiamo strappare il foglio originale.

### Lancio di un dado equilibrato

Consideriamo un esperimento che consiste nel lanciare un comune dado (un cubo le cui facce sono numerate da $1$ a $6$) su una superficie piana dotata di attrito e delimitata da pareti atte a contenere il movimento del dado (ovvero una scatola!) e supponiamo che il dado sia bilanciato (ovvero che la sua distribuzione di massa sia uniforme e non privilegi una faccia rispetto alle altre).
Gli esiti di tale esperimento sono misurabili. Infatti, spesa la sua energia, il dado si fermerà inesorabilmente poggiando sulla superficie una delle sue facce e mostrando, quindi, all'esperimentatore la faccia opposta a quella di appoggio.
Il numero impresso sulla faccia esposta potrà essere utilizzato per rappresentare l'esito dell'esperimento che, complessivamente, avrà sei possibili esiti distinti (tanti quanti le facce del dado). Codificheremo tali esiti con i primi sei numeri interi.
Allora gli eventi elementari saranno i primi sei numeri interi e lo spazio campionario associato a questo esperimento sarà $\Omega \equiv \left\{\omega \in \mathbb {N} :1\leq \omega \leq 6\right\}$ che ha cardinalità $\#\Omega =6$ evidentemente finita.
Poiché ogni evento è un sottoinsieme dello spazio campionario ovvero un elemento dell'insieme delle parti di $\Omega$ ci sono $2^{6}$ possibili eventi tra i quali, ovviamente, l'insieme vuoto, l'intero $\Omega$, i sei singoletti, le ${6 \choose 2}$ possibili coppie, i pari $\left\{2,4,6\right\}$ e via dicendo.
La scelta della $\sigma$-algebra da usare dipende dagli obiettivi. Se, ad esempio, siamo interessati a calcolare la probabilità che esca un numero pari, gli unici eventi di interesse saranno $A$="è uscito un pari" e il suo complementare. La più piccola sigma-algebra contenente l'evento $A$ sarà: $\left\{\varnothing ,A,A^{c},\Omega \right\}$. Non è l'unica ma, tra tutte le sigma algebre contenenti l'evento $A$, è la più piccola dunque quella che genera meno lavoro e meno problemi.

### Sigma-algebra di Borel su $(0,1]$

Questa sigma-algebra, che prende nome dal matematico francese Émile Borel, non rappresenta un caso intuitivo, ma è qui riportato perché celebre, perché riveste un ruolo fondamentale in gran parte della teoria della probabilità e perché, nonostante la sua semplicità (è sufficiente investigare su un numero infinito di lanci di una moneta per incappare in una sigma-algebra di Borel), ha messo in crisi la teoria classica della probabilità, richiedendone la rivisitazione assiomatica di Kolmogorov.
Sia $\Omega =(0,1]$ l'intervallo reale unitario aperto a sinistra e chiuso a destra. Sia, inoltre, ${\mathcal {I}}$ la famiglia degli intervalli di $\Omega$, della forma $(a,b]$ con $a<b.$ Aggiungiamo poi ad ${\mathcal {I}}$ gli intervalli $A_{i}=(a_{i},b_{i}]$, tutte le loro unioni finite e disgiunte $A=\bigcup _{i=1}^{n}A_{i}=\bigcup _{i=1}^{n}(a_{i},b_{i}]$ ed, infine, anche l'insieme vuoto.
L'algebra di Borel ${\mathcal {B}}_{0}$ così ottenuta, nonostante sia assai numerosa, non è ancora una sigma-algebra; ad esempio ne sono esclusi i singoletti $\{x\}$ che, in virtù della proprietà 3', dovrebbero invece essere presenti. Ognuno di essi è infatti intersezione numerabile di insiemi della famiglia, in quanto $\{x\}=\bigcap _{n=1}^{\infty }\left(x-{\frac {1}{n}},x\right]$
L'insieme ${\mathcal {B}}$ ottenuto dall'unione di ${\mathcal {B}}_{0}$ con i singoletti è una sigma-algebra; inoltre, esso non coincide con l'insieme delle parti di $\Omega$, $\ {\mathcal {P}}(\Omega )$, e non è quindi banale, come sarà dimostrato da Giuseppe Vitali.

### Costruzione di una sigma-algebra

Riprendiamo ancora l'esempio del lancio di un dado. Abbiamo già visto che, se siamo interessati a valutare la probabilità che esca pari, dovremo considerare l'evento $A$={è uscito pari}. Ma $A$ preso singolarmente non basta; per completare la partizione occorrerà aggiungere ad $A$ il suo complementare. Ora $\left\{A,A^{c}\right\}$ è una partizione, in quanto chiusa rispetto alla complementazione.
Ovviamente ci sono altre partizioni possibili, quali $\{\{1,2\},\{3,4\},\{5,6\}\}$ o $\{A,\{1\},\{3\},\{5\}\}$. Tuttavia la prima non distingue tra pari e dispari, mentre la seconda aggiunge dettagli non di nostro interesse, come l'informazione se il dispari uscito sia $1$ o $3$ o $5$. Quindi $\left\{A,A^{c}\right\}$ rappresenta la migliore partizione rispetto al problema in esame.
Se, per qualche motivo, dobbiamo esaminare tutte e sei le possibili configurazioni, allora la partizione che dovremo costruire sarà la più fine possibile: $\left\{\{1\},\{2\},\{3\},\{4\},\{5\},\{6\}\right\}$. Una volta assegnato questo spazio campionario, per generare la sua sigma-algebra si considerano tutte le possibili unioni tra i suoi elementi e i loro complementari (procedimento valido per ogni insieme finito). La sigma-algebra conterrà quindi, ad esempio : $\{5\}\cup \{6\},\{1\}\cup \{2\}\cup \{3\},\{1\}^{c}\cup \{4\},\ldots$