Formula delle probabilità totali e formula di Bayes
In questa pagina 5
In questa pagina 4
Prima: Probabilità condizionataLa probabilità di A sapendo che si è verificato B è P(A ∣ B) = P(A ∩ B) / P(B), con P(B) > 0; è una nuova misura di probabilità, e da essa seguono la regola del prodotto e la regola della catena.Probabilità condizionata →. Dopo: Indipendenza di eventiA e B sono indipendenti se P(A ∩ B) = P(A) P(B), cioè se sapere che uno si è verificato non cambia la probabilità dell'altro; l'indipendenza passa ai complementari, non va confusa con l'incompatibilità, e per più eventi va richiesta su ogni sottofamiglia.Indipendenza di eventi →. Negli appelli compaiono in quasi ogni tema: esercizi svolti sulla malattia XXX (I parziale, Esercizio 6 · malattia XXX, Bayes e approssimazione di Poisson), sui due dadi da 6 e 12 facce (I appello, Esercizio 7 · dado a sei o a dodici facce, probabilità totali e Bayes), sui tre fornitori (III appello, Esercizio 8 · tre fornitori e componenti difettosi).
Quando servono
Molti esperimenti avvengono in due fasi: prima si "sceglie" una situazione (un dado tra due, un fornitore tra tre, un individuo maschio o femmina), poi accade qualcosa la cui probabilità dipende dalla situazione scelta. I dati del problema sono allora del tipo
- : probabilità di ciascuna situazione;
- : probabilità dell'evento sapendo di essere nella situazione .
Le due formule rispondono alle due domande naturali:
| Domanda | Formula |
|---|---|
| quanto è probabile , senza sapere in che situazione siamo? | probabilità totali |
| sapendo che è accaduto , quanto è probabile che fossimo nella situazione ? | Bayes |
Formula delle probabilità totali
Teorema (formula delle probabilità totali). Sia una partizioneFamiglia di eventi a due a due disgiunti la cui unione è Ω: ogni esito sta in uno e un solo A_i.Spazio campionario ed eventi → di (finita o numerabile) con per ogni . Allora per ogni evento
Esempio. Si sceglie a caso (con probabilità ciascuna) una di due urne, la prima con il di palline nere e la seconda con il , e se ne estrae una pallina. La partizione è ("si è scelta l'urna 1 o 2"), con ; le percentuali sono le condizionate e . Quindi .
Dimostrazione. La partizione taglia in fette: . L'uguaglianza vale perché ogni esito di sta in esattamente un (gli coprono ), quindi sta nella fetta corrispondente; è la proprietà distributivaB ∩ (A_1 ∪ A_2 ∪ ...) = (B ∩ A_1) ∪ (B ∩ A_2) ∪ ..., e A_1 ∪ A_2 ∪ ... = Ω.Operazioni tra insiemi → . Le fette sono disgiunte perché e gli sono disgiunti. Allora per σ-additivitàSe gli eventi sono a due a due disgiunti, la probabilità dell'unione è la somma (anche infinita) delle probabilità.Misura di probabilità e sue proprietà → (additività finita se la partizione è finita) e poi per la regola del prodottoP(B ∩ A_i) = P(B ∣ A_i) P(A_i).Probabilità condizionata →, che si può usare perché :
Grafico interattivo: Probabilità totali: la partizione A1, A2, A3 divide Ω in tre strisce, e l'evento B (cerchio) viene tagliato nelle fette disgiunte B ∩ A1, B ∩ A2, B ∩ A3. P(B) è la somma delle probabilità delle fette, ciascuna uguale a P(B | Ai) P(Ai)
Interpretazione: è una media pesata delle probabilità condizionate , con pesi (i pesi sono e sommano a , perché la partizione copre ). Quindi è sempre compresa tra la più piccola e la più grande delle : se per ogni , moltiplicando per e sommando si ottiene , cioè . È un ottimo controllo sui risultati (nell'esempio delle urne: ✓).
Caso più frequente: partizione .
Esempio: la malattia XXX (I parziale)
Una malattia colpisce lo dei maschi e lo delle femmine; il campione è per metà maschi e per metà femmine. Probabilità che un individuo scelto a caso sia malato?
Eventi: "maschio", "femmina" (partizione), "malato". Dati: , , .
Le percentuali e sono riferite ai maschi e alle femmine, quindi sono condizionate: . Con la partizione :
Controllo: sta tra e , esattamente a metà perché i pesi sono uguali ✓. Il seguito (numero di malati nel campione di 2000 persone) è nell'Esercizio 6 · malattia XXX, Bayes e approssimazione di Poisson.
Formula di Bayes
Teorema (formula di Bayes). Nelle stesse ipotesi, se , per ogni
Esempio. Con le due urne: . Prima di vedere la pallina l'urna 1 aveva probabilità ; una nera è più facile dall'urna 2, quindi dopo averla vista l'urna 1 scende a (e l'urna 2 sale a ).
Dimostrazione. Per definizione (serve ). Al numeratore si usa la regola del prodotto "nell'altro verso": , dove ha senso perché . Al denominatore si sostituisce con la formula delle probabilità totali.
Interpretazione. è la probabilità a priori della situazione (prima di osservare ); è la probabilità a posteriori, aggiornata dopo aver osservato . La formula "inverte" il condizionamento: dai dati del tipo ricava .
Osservazione utile: il numeratore è uno degli addendi del denominatore. Quindi conviene calcolare prima tutti i prodotti , sommarli (probabilità totali) e poi dividere quello che interessa per la somma. Le probabilità a posteriori sommano a : hanno tutte lo stesso denominatore , e la somma dei numeratori è proprio . (È anche una conseguenza del fatto che è una misura di probabilitàLa probabilità di A sapendo che si è verificato B è P(A ∣ B) = P(A ∩ B) / P(B), con P(B) > 0; è una nuova misura di probabilità, e da essa seguono la regola del prodotto e la regola della catena.Probabilità condizionata → e gli sono una partizione.)
Esempio: la malattia XXX, continuazione
Sapendo che l'individuo scelto è malato, probabilità che sia maschio?
(per semplificare si moltiplicano numeratore e denominatore per : ). Meno di : i maschi si ammalano meno, quindi tra i malati sono la minoranza. Specularmente , e ✓.
Esempio: tre fornitori (III appello)
I componenti arrivano dai fornitori con probabilità ; le probabilità di difetto sono , , .
| Fornitore | a priori | prodotto | a posteriori | |
|---|---|---|---|---|
| totale |
Come si leggono le colonne. La colonna "prodotto" contiene : ad esempio . Per sommare le frazioni si porta tutto al denominatore comune (multiplo di e di ): , , quindi (si divide per ). La colonna "a posteriori" è ogni prodotto diviso per : il denominatore si semplifica e resta, ad esempio, . Controllo: sta tra e ✓.
Il fornitore fornisce pochi pezzi ma molto difettosi: dopo aver visto un difetto, la sua probabilità sale da a . Svolgimento completo nell'Esercizio 8 · tre fornitori e componenti difettosi.
Esempio: un test diagnostico (perché Bayes sorprende)
Una malattia ha prevalenza ; un test la rileva nel dei malati e dà un falso positivo nel dei sani. Se un individuo risulta positivo (), probabilità che sia malato ()?
Dati: , quindi ; (sensibilità); (falsi positivi). Attenzione: i due sono numeri diversi che per caso coincidono.
(moltiplicando sopra e sotto per , e ).
Lo stesso conto con le frequenze. Su persone i malati sono , e di questi risultano positivi; i sani sono , e il di loro, cioè , risulta positivo. I positivi sono , di cui malati : .
Solo un positivo su sei è davvero malato: i sani sono così tanti che anche il di falsi positivi supera di molto i veri positivi. Senza Bayes si confonderebbe con .
Quanto conta la probabilità a priori. Con la prevalenza generica, lo stesso conto dà Con vale circa , con vale , con vale , con circa : lo stesso test, applicato a una popolazione in cui la malattia è rara, produce soprattutto falsi allarmi.
Grafico interattivo: Test con sensibilità 99% e falsi positivi 5%: probabilità a posteriori P(M | +) in funzione della prevalenza p = P(M). Con p = 1% vale solo 1/6; supera 1/2 solo da p ≈ 5% in su
Schema per gli esercizi
- Dare un nome agli eventi: le "situazioni" (, che devono formare una partizione) e l'evento osservato ().
- Tradurre i dati: le percentuali "tra i maschi", "del fornitore A", "per il dado A" sono probabilità condizionate ; le proporzioni delle situazioni sono .
- Probabilità totali per .
- Bayes se si chiede la probabilità di una situazione sapendo .
- Controlli: tra il minimo e il massimo dei ; le a posteriori sommano a 1.
Errori comuni
- Usare eventi che non formano una partizione (che si sovrappongono o non coprono tutto).
- Confondere con : "lo 0,4% dei maschi è malato" è , non .
- Dimenticare il denominatore in Bayes, o mettere al denominatore invece di .
Versione ripasso
Prerequisiti: Probabilità condizionataLa probabilità di A sapendo che si è verificato B è P(A ∣ B) = P(A ∩ B) / P(B), con P(B) > 0; è una nuova misura di probabilità, e da essa seguono la regola del prodotto e la regola della catena.Probabilità condizionata →. Negli appelli compaiono in quasi ogni tema: esercizi svolti sulla malattia XXX (Esercizio 6 · malattia XXX, Bayes e approssimazione di Poisson), sui dadi da 6 e 12 facce (Esercizio 7 · dado a sei o a dodici facce, probabilità totali e Bayes), sui tre fornitori (Esercizio 8 · tre fornitori e componenti difettosi).
Quando servono: l'esperimento avviene in due fasi (situazione, poi esito); si conoscono e .
Formula delle probabilità totali
Sia una partizioneUno spazio di probabilità è la terna (Ω, F, P); Ω raccoglie gli esiti possibili dell'esperimento, un evento è un sottoinsieme di Ω, e le operazioni logiche tra eventi sono unione, intersezione e complementare.Spazio campionario ed eventi → di (finita o numerabile) con . Allora per ogni evento
Dimostrazione. , con fette disgiunte perché gli sono disgiunti e coprono . Per σ-additività e per la regola del prodottoLa probabilità di A sapendo che si è verificato B è P(A ∣ B) = P(A ∩ B) / P(B), con P(B) > 0; è una nuova misura di probabilità, e da essa seguono la regola del prodotto e la regola della catena.Probabilità condizionata → si ottiene la formula.
Caso : .
Esempio (urne). Si sceglie un'urna con probabilità ciascuna: la prima ha il 30% di palline nere, la seconda il 60%. .
Esempio: la malattia XXX (I parziale)
Malattia nello dei maschi e nello delle femmine; campione metà maschi, metà femmine. Con , , :
Controllo: è a metà tra e , perché i pesi sono uguali ✓.
Formula di Bayes
Nelle stesse ipotesi, se , per ogni
Dimostrazione. ; al numeratore la regola del prodotto , al denominatore le probabilità totali.
Interpretazione. è la probabilità a priori, quella a posteriori. Bayes inverte il condizionamento: da ricava .
Esempio (urne). : l'urna 1 scende da a , l'urna 2 sale a .
Esempio: la malattia XXX, continuazione
Meno di : i maschi si ammalano meno, quindi tra i malati sono la minoranza. Si ha , e la somma è ✓.
Esempio: tre fornitori (III appello)
Fornitori con probabilità a priori ; probabilità di difetto , , .
| Fornitore | a priori | prodotto | a posteriori | |
|---|---|---|---|---|
| totale |
Controllo: sta tra e ✓. Il fornitore passa da a . Svolgimento completo nell'Esercizio 8 · tre fornitori e componenti difettosi.
Esempio: un test diagnostico
Prevalenza ; il test rileva il dei malati e dà falsi positivi nel dei sani. Dati: , , .
Solo un positivo su sei è davvero malato: senza Bayes si confonderebbe con .
Schema per gli esercizi
- Eventi: definire le "situazioni" (, partizione) e l'evento osservato ().
- Dati: tradurre le percentuali "tra i maschi", "del fornitore A" in ; le proporzioni delle situazioni sono .
- Probabilità totali per .
- Bayes se si chiede la probabilità di una situazione sapendo .
- Controlli: tra il minimo e il massimo dei ; le a posteriori sommano a 1.
Errori comuni
- Usare eventi che non formano una partizione (si sovrappongono o non coprono tutto).
- Confondere con : "lo 0,4% dei maschi è malato" è .
- Dimenticare il denominatore in Bayes, o mettere invece di .
Esercizi su questo argomento
- Esercizio 5 · eventi indipendenti, eventi di probabilità zero e formula di decomposizione
- Esercizio 6 · malattia XXX, Bayes e approssimazione di Poisson
- Esercizio 7 · dado a sei o a dodici facce, probabilità totali e Bayes
- Esercizio 8 · tre fornitori e componenti difettosi
- Esercizio 12 · somma di due geometriche indipendenti
- Esercizio 22 · somma di un numero geometrico di Bernoulli
- Esercizio - bit con rumore gaussiano, decisione a soglia e probabilità totali (esercizi del corso, cap. 2, es. 5, 6 e 11)
- Esercizio - canale binario con rumore aleatorio, capacità e Huffman sulle triplette (secondo compitino dell'11 gennaio 2019, es. 90)
- Esercizio - canale binario non simmetrico, informazione mutua, Huffman ed Elias sulle coppie e canale a cancellazione (compito del 10 febbraio 2021, es. 123)
- Esercizio - entropia condizionata, Huffman per due sorgenti e informazione mutua (compito del 25 giugno 2024, es. 178)
- Esercizio - esponenziale più variabile discreta e probabilità condizionate (esercizi del corso, cap. 2, es. 9)
- Esercizio - Chernoff e i mutui del 2008, perché serve l'indipendenza (lezioni MIT)
- Esercizio - Due scatole di caramelle e soglia casuale contro ogni input (lezioni MIT)
- Esercizio - Moneta a due teste e regola di Bayes per le risposte di un test randomizzato (lezioni MIT)
- Esercizio - diagnosi con MAP, ML e minima distanza
- Esercizio - Entropia del bacio (teoria dell'informazione)
- Esercizio - il meteorologo, entropia e informazione mutua
Teoria collegata
- Incertezza - probabilità, regola di Bayes e indipendenza condizionata
- Interventi e operatore do - criterio backdoor e aggiustamento
- Processi decisionali di Markov - utilità, equazione di Bellman, value e policy iteration
- Densità e media condizionata
- Indipendenza di eventi
- Probabilità condizionata
- Somma di variabili aleatorie indipendenti
- Spazio campionario ed eventi
- Variabili aleatorie miste
- Vettori aleatori discreti
- Vettori gaussiani
- Teoria della decisione - criteri MAP, ML e MD
- Variabili aleatorie e vettori aleatori per le comunicazioni
- Probabilità per le telecomunicazioni - eventi e variabili aleatorie discrete
- Regioni di decisione - criteri MAP, ML e minima distanza
- Tasso d'informazione, capacità di canale e teorema di Shannon
- Fairness nel machine learning
- Metriche di classificazione
- Catene di Markov - matrice di transizione, classificazione degli stati e distribuzione stazionaria
- Linearità del valore atteso e variabili indicatrici
- Union bound e verifica randomizzata - identità polinomiali e prodotti di matrici
- Capacità di canale
- Codici a blocco - distanza minima, rivelazione e correzione
- Decisione ottima - criteri MAP e ML
- Informazione, entropia e informazione mutua
- Spazio dei segnali e Gram-Schmidt