Citat:
Ursprungligen postat av spudwish
"Sats: Låt A_1,...,A_n vara oförenliga händelser sådana att P(A_i) > 0, i=1,...,n, och anta att händelserna tillsammans utgör hela utfallsrummet... Då gäller P(B) = sum{i=1,n} P(B|A_i) P(A_i)
Bevis: Från satsens förutsättningar gäller att B = union{i=1,n} (B snitt A_i); ... även de mindre mängderna B snitt A_i [är] oförenliga"
Dvs B snitt A_i är nollmängden för alla i, så B är unionen av en massa nollmängder, och alltså en nollmängd. Eller inte. Vad betyder det där egentligen? (B|A = B betingat A)
Att mängderna B snitt A_i (dvs, mängderna (B snitt A_1), (B snitt A_2), osv) är oförenliga betyder inte att B snitt A_i = nollmängden, utan att för i och j olika så är
(B snitt A_i) snitt (B snitt A_j) = nollmängden.
Detta är sant ty vänsterledet är lika med B snitt (A_i snitt A_j), och vi vet att A_i snitt A_j = nollmängden eftersom A_i:na är oförenliga.