De stelling van Kolmogorov', ook Uitbreidingsstelling van Kolmogorov genoemd,[1],[2] speelt een centrale rol in de kansrekening in verband met het bestaan van kansmaten. De stelling wordt toegeschreven aan Andrej Kolmogorov, maar werd al in in 1919 in een niet-stochastische formulering bewezen door Percy John Daniell.[3] De stelling wordt daarom ook wel de Stelling van Daniel-Kolmogorov genoemd.
De stelling garandeert het bestaan van kansmaten op overaftelbare productruimten, en is dus essentieel voor het bestaan van stochastische processen, telbare en ontelbare productmaten en onafhankelijke gelijkverdeelde stochastische variabelen.
Stelling
Gegeven een niet-lege indexverzameling
en voor
borelruimten
. Laat
de verzameling zijn van alle niet-lege, eindige deelverzamelingen van
. Als een projectieve familie van kansmaten
wordt gegeven, dan bestaat er een uniek bepaalde kansmaat
op de meetbare ruimte
![{\displaystyle (\Omega ,{\mathcal {A}})=\left(\prod _{i\in I}\Omega _{i},\bigotimes _{i\in I}{\mathcal {A}}_{i}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f38934f58145ab713d2259d148aefe786c5094ac)
waarvoor
voor elke
. Hierin geeft
de projectie aan op de componenten van de indexverzameling
. Men noteert:
![{\displaystyle \varprojlim _{J\uparrow I}P_{J}=P}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56e818df4e2d904202873cc37c9a2313550eeef2)
en noemt de kansmaat
de projectieve limiet.
Voorbeeld: productmaten op overaftelbare producten
Beschouw een overaftelbare indexverzameling
en voor alle
borelruimten
, elk voorzien van een kansmaat
, dan kan voor elke
de productmaat op eindige producten
![{\displaystyle P_{J}=\bigotimes _{i\in J}P_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4180399ff0ced5280d50ba3277438b16c2075995)
geconstrueerd worden op de conventionele manier. De familie van deze productmaten
is echter projectief en kan dus volgens de bovenstaande stelling worden uitgebreid tot een unieke kansmaat
op
![{\displaystyle (\Omega ,{\mathcal {A}})=\left(\prod _{i\in I}\Omega _{i},\bigotimes _{i\in I}{\mathcal {A}}_{i}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90464f24d42d9793481c5a643a78d58b8993ea00)
De stelling van Andersen-Jessen geeft een meer algemene uitspraak over het bestaan van willekeurige productmaten, waarbij het gebruik van borelruimten achterwege kan blijven.
Bronnen, noten en/of referenties - Dit artikel of een eerdere versie ervan is een (gedeeltelijke) vertaling van het artikel Erweiterungssatz von Kolmogorov op de Duitstalige Wikipedia, dat onder de licentie Creative Commons Naamsvermelding/Gelijk delen valt. Zie de bewerkingsgeschiedenis aldaar.
|
- ↑ Klenke: Waarschijnlijkheidstheorie. 2013, blz. 295.
- ↑ Schmidt: Meting en waarschijnlijkheid. 2011, blz. 458.
- ↑ “Maar je moet P.J. Daniell uit Sheffield onthouden” – John Aldrich. Website van het Electronic Journal for History of Probability en Statistieken. Ontvangen 7 november 2015.