# Indipendenza stocastica

Nell'ambito del calcolo delle probabilità, l'indipendenza stocastica di due eventi $A$ e $B$ si ha quando il verificarsi di uno non modifica la probabilità di verificarsi dell'altro, ovvero quando la probabilità condizionata $\mathbb {P} (A|B)$ oppure $\mathbb {P} (B|A)$ è pari rispettivamente a $\mathbb {P} (A)$ e $\mathbb {P} (B)$
    $\mathbb {P} (A|B)=\mathbb {P} (A),$
    $\mathbb {P} (B|A)=\mathbb {P} (B),$
queste due condizioni si possono sintetizzare con la formula
    $\mathbb {P} (A\cap B)=\mathbb {P} (A)\cdot \mathbb {P} (B).$

## Descrizione

In altre parole, dire che due eventi sono indipendenti tra loro significa dire che il fatto di sapere che uno di essi si è verificato non modifica la valutazione di probabilità sul secondo. Per esempio, il fatto di ottenere "1" quando viene lanciato un dado ed il fatto di ottenere ancora un "1" la seconda volta che il dado viene lanciato, sono indipendenti.
Analogamente, quando si afferma che due variabili casuali $X$ e $Y$ definite sullo stesso spazio campionario $H$ sono indipendenti si afferma che conoscere qualcosa riguardo al valore di una di esse non apporta alcuna informazione circa il valore dell'altra. Per esempio, il numero che appare sulla faccia superiore di un dado la prima volta che viene lanciato e il numero che appare la seconda volta sono indipendenti. Formalmente, questo si verifica quando per ogni coppia di eventi $A$ e $B$ risulta
    $\mathbb {P} (X\in A\cap Y\in B)=\mathbb {P} (X\in A)\mathbb {P} (Y\in B).$
Equivalentemente ciò si verifica se, detta $F$ la funzione di ripartizione della variabile congiunta $(X,Y)$ e $F_{X}$, $F_{Y}$ le due funzioni di ripartizione marginali, allora per ogni $x$, $y$ vale che
    $F(x,y)=F_{X}(x)F_{Y}(y).$
Condizioni analoghe si trovano per la funzione di densità di probabilità e la funzione di probabilità, se $X$ è rispettivamente una variabile casuale continua o una variabile casuale discreta:
    $f(x,y)=f_{X}(x)f_{Y}(y),$
e
    $p(x,y)=p_{X}(x)p_{Y}(y).$

## Generalizzazioni

Nell'ambito della teoria della probabilità, la nozione di indipendenza stocastica può essere generalizzata ampiamente. Sia $(\Omega ,{\mathfrak {F}},\mathbb {P} )$ uno spazio di probabilità, e sia $\{{\mathfrak {F}}_{\alpha }\}_{\alpha \in {\mathcal {A}}}$ una famiglia arbitraria (finita o non finita) di σ-algebre contenute in ${\mathfrak {F}}$: ${\mathfrak {F}}_{\alpha }\subseteq {\mathfrak {F}}$. Esse si dicono indipendenti rispetto a $\mathbb {P}$ se, per ogni sottoinsieme finito ${\mathcal {I}}=\{\alpha _{1},\ldots ,\alpha _{n}\}$ di ${\mathcal {A}}$, e per ogni sottoinsieme $A_{\alpha }\in {\mathfrak {F}}_{\alpha }$, accade:
    $\mathbb {P} \left(\bigcap _{\alpha \in {\mathcal {I}}}A_{\alpha }\right)=\prod _{\alpha \in {\mathcal {I}}}\mathbb {P} \left(A_{\alpha }\right)$.
Questa nozione si riduce alla precedente nel caso in cui la famiglia di σ-algebre sia formata da due soli elementi ${\mathfrak {F}}_{A}$ e ${\mathfrak {F}}_{B}$, dove, dato un insieme misurabile $E$, ${\mathfrak {F}}_{E}$ è la σ-algebra da esso generata: ${\mathfrak {F}}_{E}=\{\varnothing ,E,E^{c},\Omega \}$.
Questa estensione, ampiamente usata nella teoria dei processi stocastici, trova la sua motivazione nel fatto che l'indipendenza stocastica di una famiglia di σ-algebre, non è in generale equivalente all'indipendenza dei suoi elementi a due a due. Ad esempio, dati tre insiemi $A,B,C$, sapendo che $A$ e $B$, $A$ e $C$, $B$ e $C$ sono indipendenti, non se ne può dedurre che:
    $\mathbb {P} (A\cap B\cap C)=\mathbb {P} (A)\mathbb {P} (B)\mathbb {P} (C).$