Wiskunde bovenbouw · Grades 10–12
32Voorwaardelijke kansen en onafhankelijkheid
De kansrekening meet onzekerheid; de voorwaardelijke kans meet hoe informatie die onzekerheid verandert. Vernemen dat een gebeurtenis zich voorgedaan heeft, hertekent de kansen van alle andere gebeurtenissen — een mechanisme dat door Bayes geformaliseerd werd en dagelijks misbruikt wordt in rechtszalen en kranten. Dit hoofdstuk zet de regels van het conditioneren op en geeft de precieze betekenis van onafhankelijkheid.
32.1 Kansruimten (herhaling)
Een experiment met eindig veel uitkomsten wordt gemodelleerd door een uitkomstenverzameling (de verzameling van de uitkomsten) en een kans die aan elke gebeurtenis een getal toekent, additief over disjuncte verenigingen en met . Herinner je de basisregels:
Zijn alle uitkomsten even waarschijnlijk, dan is — en herleidt het berekenen van kansen zich tot de teltechnieken van Hoofdstuk 27.
32.2 Voorwaardelijke kans
Definitie 32.1 (Voorwaardelijke kans)
Zij een gebeurtenis met . De voorwaardelijke kans op gegeven is
De afbeelding is zelf een kans (alle regels gelden); ze geeft de nieuwe kennistoestand weer van wie vernomen heeft dat zich voorgedaan heeft.
Propositie 32.2 (Productregel)
Voor gebeurtenissen met kansen verschillend van nul geldt
en algemener , enzovoort.
Bewijs. Herschik de definitie; de kettingformule volgt door te herhalen. ∎
Stelling 32.3 (Wet van de totale kans)
Zij een partitie van in gebeurtenissen met kans verschillend van nul. Voor elke gebeurtenis geldt
Bewijs. De verzamelingen zijn paarsgewijs disjunct met vereniging , dus is volgens de productregel. ∎
Methode 32.4 (Boomdiagrammen voor kansen)
Een boomdiagram ordent de voorwaardelijke kansen: elke tak draagt de kans op de volgende gebeurtenis gegeven het tot dan afgelegde pad.
- De kans op een blad (een volledig pad) is het product van de kansen langs zijn takken (productregel).
- De kans op een gebeurtenis is de som van de kansen op de bladeren die ze verwezenlijken (totale kans).
- De kansen op de takken die uit één knoop vertrekken hebben som .
Stelling 32.5 (Formule van Bayes)
Zij een partitie van zoals hierboven en een gebeurtenis met . Dan geldt
Bewijs. ; werk de teller uit met de productregel en de noemer met de wet van de totale kans. ∎
Voorbeeld 32.6 (Screeningstest)
Een ziekte treft van een bevolking. Een test spoort ze op met kans (gevoeligheid) en geeft een vals positief resultaat met kans . Gegeven een positieve test is de kans dat je de ziekte werkelijk hebt
Ondanks de nauwkeurige test zijn vijf van de zes positieven vals — omdat de ziekte zeldzaam is. met verwarren is de denkfout van de aanklager.
32.3 Onafhankelijkheid
Definitie 32.7 (Onafhankelijke gebeurtenissen)
Twee gebeurtenissen en heten onafhankelijk als
Is , dan is dit gelijkwaardig met : kennen verandert de kans op niet.
Propositie 32.8
Zijn en onafhankelijk, dan zijn en dat ook (en en eveneens).
Bewijs. . ∎
Opmerking 32.9
Verwar onafhankelijk () niet met onverenigbaar (). Twee onverenigbare gebeurtenissen met kans verschillend van nul zijn nooit onafhankelijk: weten dat de ene zich voordeed, waarborgt dat de andere zich niet voordeed.
Definitie 32.10 (Onafhankelijke herhalingen)
Wordt een experiment keer herhaald zodat de uitkomst van elke proef de andere niet beïnvloedt, dan is de kans op een opgegeven opeenvolging van uitkomsten het product van de afzonderlijke kansen. Dat is het model achter de binomiale verdeling (Hoofdstuk 33).
32.4 Oefeningen
Oefening 32.1 ★
Er wordt een kaart getrokken uit een spel van 52 kaarten. Bereken de kans dat het een heer is, gegeven dat het een pop is (boer, dame of heer). Zijn de gebeurtenissen “heer” en “harten” onafhankelijk?
Oplossing
Oplossing van Oefening 32.1.
Er zijn poppen, waarvan heren: .
Onafhankelijkheid: (de hartenheer), en . Gelijk: de gebeurtenissen zijn onafhankelijk.
Oefening 32.2 ★
Een urne bevat 5 rode en 3 blauwe ballen. Er worden twee ballen na elkaar getrokken, zonder teruglegging.
- Teken het boomdiagram met de kansen.
- Bereken de kans dat beide rood zijn, en de kans dat de tweede rood is.
Oplossing
Oplossing van Oefening 32.2.
1. Eerste vertakking: rood , blauw ; tweede vertakkingen (zonder teruglegging): na rood, rood / blauw ; na blauw, rood / blauw .
2. . Volgens de wet van de totale kans:
(Hetzelfde als bij de eerste trekking — wegens de symmetrie is de tweede bal een uniform willekeurige bal uit de urne.)
Oefening 32.3 ★
Er wordt met twee zuivere dobbelstenen gegooid. Zij = “de som is ”, = “de eerste dobbelsteen toont ” en = “de som is ”. Bepaal of en onafhankelijk zijn, en daarna of en dat zijn.
Oplossing
Oplossing van Oefening 32.3.
(zes paren hebben som ), , en heeft kans : en zijn onafhankelijk. (De som is bijzonder: wat de eerste dobbelsteen ook toont, precies één waarde van de tweede geeft ze.)
en : . Niet onafhankelijk.
Oefening 32.4 ★★
Een fabriek heeft drie machines die respectievelijk , en van de totale productie leveren, met uitvalpercentages , en .
- Welk aandeel van de productie is defect?
- Een willekeurig gekozen stuk is defect. Wat is de kans dat het van de derde machine komt?
Oplossing
Oplossing van Oefening 32.4.
1. De wet van de totale kans met de partitie volgens de machine:
2. Bayes: . De machine die maar een vijfde van de productie levert, is verantwoordelijk voor ruim van de defecten.
Oefening 32.5 ★★
Bij welke prevalentie van de ziekte (in plaats van ) zou een positieve test in Voorbeeld 32.6 minstens kans op ziekte betekenen? Los de ongelijkheid op en geef commentaar.
Oplossing
Oplossing van Oefening 32.5.
De voorwaarde luidt
De noemer is positief, dus dit betekent , dat wil zeggen , dus
De test alleen haalt pas zekerheid als de ziekte al meer dan van de geteste bevolking treft — daarom vraagt massaal screenen op zeldzame ziekten altijd bevestigingstesten.
Oefening 32.6 ★★
Een valse munt valt op kruis met kans . Ze wordt drie keer opgeworpen, waarbij de worpen onafhankelijk zijn.
- Bereken de kans op de gebeurtenis = “precies twee keer kruis”.
- Voor welke is maximaal?
Oplossing
Oplossing van Oefening 32.6.
1. Drie opeenvolgingen verwezenlijken (KKM, KMK, MKK), elk met kans wegens de onafhankelijkheid: .
2. heeft , positief en daarna negatief op : een maximum in , waar .
Oefening 32.7 ★★★
(Monty Hall.) Achter een van drie deuren zit een prijs verstopt. Je kiest een deur; de presentator, die weet waar de prijs zit, opent een van de twee overige deuren en toont altijd een lege (en kiest willekeurig als beide leeg zijn), waarna hij je aanbiedt om naar de andere gesloten deur over te stappen. Bereken met de formule van Bayes de kans om te winnen als je overstapt, en als je dat niet doet.
Oplossing
Oplossing van Oefening 32.7.
Onderstel dat je deur 1 koos en dat de presentator deur 3 opende (de gebeurtenis ). Met = “de prijs zit achter deur ” is en
(zit de prijs achter jouw deur, dan kiest de presentator willekeurig tussen deur 2 en deur 3; zit ze achter deur 2, dan is hij verplicht deur 3 te openen). Bayes:
Oefening 32.8 ★★★
Een informatiekanaal verstuurt bits. Elke bit wordt door ruis omgeklapt met kans , onafhankelijk van de andere. Om een bit te beschermen wordt hij drie keer verstuurd en bij meerderheid gedecodeerd.
- Bereken de kans dat de gedecodeerde bit fout is.
- Het ontvangen woord is . Wat is de kans dat de verstuurde bit was? (Onderstel dat en met gelijke kans verstuurd worden.)
Oplossing
Oplossing van Oefening 32.8.
1. De meerderheid is fout zodra minstens twee van de drie kopieën omgeklapt zijn:
veel kleiner dan : de herhalingscode werkt.
2. Werd verstuurd (als ), dan vraagt de ontvangst van precies één omklapping: kans . Werd verstuurd (), dan zijn twee omklappingen nodig: . Bayes met gelijke voorkansen:
Het decoderen bij meerderheid () is inderdaad de waarschijnlijkste gok.
32.5 Opgave: de arts, de rechter en het spamfilter
Probleem 32.1
Weekendopgave — de formule van Bayes tegen de denkfout van het basispercentage: waarom een test van kan betekenen, waarom een treffer op een miljoen niemand veroordeelt, en hoe je mailbox denkt
Een test die van de gevallen opspoort, komt positief terug — en de werkelijke kans op ziekte ligt onder . Er wordt een DNA-profiel gevonden dat op één persoon op een miljoen past — en de verdachte is waarschijnlijk onschuldig. Beide uitspraken kloppen, beide zijn door artsen en rechtbanken verkeerd beoordeeld, en beide worden beslecht door één regel uit dit hoofdstuk: de formule van Bayes (Stelling 32.5). Deze opgave traint ze op urnen, en daarna in de kliniek, de rechtszaal en de postbus.
Deel I — Vlotheid.
- Een zuivere munt kiest urne I ( rood, blauw) of urne II ( rood, blauw), waarna één bal getrokken wordt. Bereken met de wet van de totale kans (Stelling 32.3).
- De bal is rood: bereken .
- Eén worp met een dobbelsteen: zijn de gebeurtenissen “even” en “” onafhankelijk (Definitie 32.7)? En “even” en “”?
- Twee onafhankelijke rookmelders slaan elk bij brand met kans aan. Bereken met Propositie 32.8 de kans dat er minstens één aanslaat.
- Twee kaarten zonder teruglegging: bereken met de productregel (Propositie 32.2).
Deel II — De arts. Een ziekte treft persoon op . De test spoort van de zieken op (gevoeligheid), maar slaat ook aan bij van de gezonden (vals positieven).
- Natuurlijke frequenties: stel je mensen voor. Hoeveel zijn er ziek, hoeveel gezond? Hoeveel positieven levert elke groep op, en hoeveel positieven zijn er in totaal?
- Bereken uit die aantallen . Verwerk de schok.
- Bereken het opnieuw met de formule van Bayes en ga na dat het klopt.
- In enquêtes antwoorden de meeste artsen “ongeveer ”. Noem de twee voorwaardelijke kansen die verward worden, en leg uit waarom het piepkleine basispercentage het echte antwoord bepaalt.
- Een tweede, onafhankelijke test komt ook positief terug. Werk bij: bereken met als nieuwe voorkans . Wat doet het opstapelen van bewijs?
- Bereken als dezelfde test enkel gebruikt wordt op een risicogroep met prevalentie . Leid de moraal voor de volksgezondheid af over het massaal screenen op zeldzame aandoeningen.
Deel III — De rechter.
- Een DNA-profiel van een plaats delict past op één persoon op een miljoen. De verdachte, gevonden door een databank van de miljoen inwoners van de stad te doorzoeken, past erop. Verwacht aantal onschuldige treffers in de stad? Wat is, met alleen de treffer, bij benadering?
- Noem de denkfout — welke kans citeerde de aanklager, welke had de rechtbank nodig? — en de exacte gelijkenis met vraag 9.
- De valstrik van de onafhankelijkheid: twee zeldzame drama’s in één gezin werden ooit tot “één op miljoen” gekwadrateerd door ze als onafhankelijk te behandelen, wat een onschuldige moeder veroordeelde (de zaak Sally Clark). Herbereken de grootteorde als de gebeurtenissen gedeelde risicofactoren hebben zodat de tweede, gegeven de eerste, keer waarschijnlijker is dan het basispercentage — en formuleer de les over het vermenigvuldigen van kansen.
- Ook de verdediging kan vals spelen: “tien onschuldigen passen erop, dus de treffer bewijst niets” negeert al de rest. Wat doet de formule van Bayes met verscheidene bewijsstukken, en welke ene zin zou elke jurylid moeten kennen?
Deel IV — Het spamfilter.
- Je post bestaat voor uit spam. Het woord “loterij” komt voor in van de spam en in van de eerlijke post. Een bericht bevat het: bereken .
- Foutcorrectie door herhaling (Oefening 32.8 voortgezet): met omklapkans , met welke kans faalt het decoderen bij meerderheid van vijf kopieën? Vergelijk met de code met drie kopieën.
- Een bit doorkruist onafhankelijke ruisende schakels, die hem elk met kans omklappen: hij komt precies dan correct aan wanneer het aantal omklappingen even is. Bereken die kans twee keer: door de binomiale termen op te tellen, en met de sierlijke formule .
- Echte spamfilters vermenigvuldigen het bewijs van vele woorden alsof die onafhankelijk zijn (“naïeve” Bayes). Waarom is die onderstelling vals voor woorden als “winnen” en “loterij” — en waarom werkt het filter toch goed? (Eén of twee zinnen.)
- Slotstuk — Bayes als de rekenkunde van het geloof: voorkans maal aannemelijkheid, herschalen, nakans. Herhaal de drie oordelen (kliniek, rechtszaal, postbus) in telkens één zin, en som daarna de drie valstrikken op die deze opgave blootlegde: vergeten basispercentages, valse onafhankelijkheid, en bewijs dat stuk voor stuk gelezen wordt.
Oplossing
Oplossing van Probleem 32.1.
1. .
2. .
3. en : onafhankelijk (onverwacht!). Voor : tegenover : afhankelijk.
4. De complementen van onafhankelijke gebeurtenissen zijn zelf onafhankelijk, dus
5. .
6. Ziek: ; gezond: . Positieven: terecht ( van ) en vals ( van ): in totaal positieven.
7. : van de mensen die de test aanwijst, is minder dan één op vijftig werkelijk ziek.
8. : de aantallen en de formule stemmen overeen.
9. Verward worden: (de aangeprezen kwaliteit van de test) met (de echte vraag van de patiënt). Met een basispercentage van zijn de zieken zo zeldzaam dat zelfs een lek van uit de enorme gezonde meerderheid de terechte positieven vijftig tegen één overspoelt.
10. . Elke onafhankelijke positieve test vermenigvuldigt de kansverhouding met dezelfde factor: bewijs stapelt zich op, en een derde positieve test zou voorbij duwen — daarom bestaan bevestigingstesten.
11. : op een risicogroep is dezelfde test wel informatief. Moraal: screen waar het basispercentage aanzienlijk is; massaal screenen op een zeldzame aandoening fabriceert vals alarm bij duizenden.
12. Verwacht aantal onschuldige treffers: . Onder de ongeveer passende personen ( onschuldigen en schuldige — als de dader in de stad woont) is de verdachte die alleen door de treffer gevonden werd, onschuldig met kans ongeveer .
13. De aanklager citeerde ; de rechtbank had nodig — de verwarring van vraag 9, onder ede. (En in de echte zaak die deze fouten bekend maakte, kwam er nog een tweede blunder bij: zie vraag 14.)
14. Naïef kwadrateren: . Met een tweede drama dat vijf keer waarschijnlijker is gegeven het eerste: — vijf keer groter, en dan is nog buiten beschouwing gelaten dat ook de alternatieve hypothese door Bayes gewogen moet worden. Les: kansen vermenigvuldigen vraagt onafhankelijkheid, en gedeelde oorzaken (genetica, omgeving) vernietigen die.
15. Bayes vermenigvuldigt de aannemelijkheidsverhoudingen van al het bewijs tot één nakans: de treffer, het alibi, de vezels, elk verschuiven ze de kansverhouding. De zin voor de jury: vraag hoe waarschijnlijk het bewijs is onder beide hypothesen, en verwissel nooit de ene voorwaardelijke kans met haar omkering.
16. spam: één woord beslist het bijna.
17. Vijf kopieën falen zodra er , of omklappen: — tegenover bij drie kopieën: herhaling koopt betrouwbaarheid met bandbreedte.
18. Een even aantal omklappingen: ; en : de handige formule volgt de vertekening door elke schakel.
19. Spamwoorden reizen in troepen — een bericht met “loterij” bevat zeer waarschijnlijk ook “winnen”, zodat hun gezamenlijke bewijskracht zwakker is dan het product voorwendt. Het filter werkt toch, omdat de overdrijving meestal in de juiste richting duwt: classificeren vraagt de juiste kant van , niet de juiste nakans.
20. Kliniek: een zeldzame aandoening maakt van een sterke test een zwak oordeel — werk bij vanaf het basispercentage en stapel daarna op. Rechtszaal: een zeldzame treffer in een grote stad beschuldigt de stad, niet de man — aannemelijkheden zijn geen vonnissen. Postbus: veel zwakke aanwijzingen, vermenigvuldigd, sorteren de post — zelfs naïef. De drie valstrikken: vergeet de voorkans en je wordt beetgenomen; veins onafhankelijkheid en je wordt zwaar beetgenomen; lees het bewijs stuk voor stuk en je weet nooit wat je weet.