Een kansruimte is een maatruimte met ; de elementen van heten gebeurtenissen, en een eigenschap geldt bijna zeker (b.z.) als haar gebeurtenis kans heeft. Een toevalsveranderlijke is een meetbare afbeelding (of : een toevalsvector); haar verdeling is de beeldkansmaat op (Oefening 11.9), vastgelegd door de verdelingsfunctie (Oefening 9.3). heeft dichtheid als ; ze heet discreet als een aftelbare combinatie van diracmassa’s is. De verwachtingswaarde is
en de overdrachtsformule (Oefening 11.9) berekent haar in de verdeling: — in het discrete geval, in het geval met een dichtheid: de formules uit het volume van bachelorjaar 2, nu stellingen van één theorie. De variantie is voor .
Voorbeelden
Voorbeeld 22.2
De standaardverdelingen en hun opmerkelijke transformaties: bernoulli , binomiaal , meetkundig, poisson (discreet: de tabellen uit het volume van bachelorjaar 2 blijven geldig); uniform op (de lebesguemaat zelf); exponentieel (dichtheid ); de gaussische verdeling met dichtheid — een kansdichtheid volgens Probleem 10.1, met gemiddelde en variantie (de gaussische momenten, Oefening 11.10).
Voorbeeld 22.14 (Wat de sterke wet oplevert)
(a) Frequenties: voor i.i.d. muntworpen convergeert de waargenomen frequentie van kop b.z. naar — de empirische rechtvaardiging van de kansrekening zelf. (b) Monte carlo: voor en i.i.d. uniform (Stelling 22.6) is b.z.: integralen door te bemonsteren, in elke dimensie, met de van de dimensie onafhankelijke snelheid die in Hoofdstuk 23 precies wordt gemaakt. (c) Normale getallen: bijna elk reëel getal heeft in zijn binaire ontwikkeling asymptotische frequentie aan enen (pas de sterke wet toe op de cijferveranderlijken van Stelling 22.6) — de stelling van Borel, een uitspraak over de meest alledaagse getallen bewezen met maat: Probleem 22.1 maakt haar in alle bases af.