Ehtimollikning aksiomatik ta’rifi
Ehtimollar nazariyasini aksiomatik qurishda A.N. Kolmogorov tomonidan 30-yillarning boshlarida asos solingan.
- biror tajribaning barcha elementar hodisalar to‘plami, S-hodisalar algebrasi bo‘lsin.
S hodisalar algebrasida aniqlangan, haqiqiy qiymatlar qabul qiluvchi fuksiya ehtimollik deyiladi, agar u uchun quyidagi aksiomalar o‘rinli bo‘lsa:
A1: ihtiyoriy hodisaning ehtimolligi manfiy emas (nomanfiylik aksiomasi);
A2: muqarrar hodisaning ehtimolligi birga teng (normallashtirish aksiomasi);
A3: juft-jufti bilan birgalikda bo‘lmagan hodisalar yig‘indisining ehtimolligi shu hodisalar ehtimollari yig‘indisiga teng, ya’ni agar bo‘lsa, u holda
(additivlik aksiomasi);
uchlik ehtimollik fazosi deyiladi, bu yerda -elementar hodisalar fazosi, S-hodisalar algebrasi, P- A1-A3 aksiomalarni qanoatlantiruvchi sanoqli funksiya.
Kolmogorov aksiomalarining tatbiqi sifatida quyidagi xossalarni keltiramiz:
Mumkin bo‘lmagan hodisaning ehtimoli nolga teng
.
Qarama-qarshi hodisalarning ehtimolliklari yig‘indisi birga teng
.
Ixtiyoriy hodisaning ehtimolligi uchun quyidagi munosabat o‘rinli:
Agar bo‘lsa, u holda .
Agar birgalikda bo‘lmagan hodisalar to‘la gruppani tashkil etsa, ya’ni va bo‘lsa u holda
.
Isboti:
1. tengliklardan A3 aksiomaga ko‘ra
2. tengliklardan hamda A2 va A3 aksiomalardan esa tenglik kelib chiqadi.
3. 2-xossaga ko‘ra va A1 aksiomaga asosan .
4. ekanligidan va . A3 aksiomaga ko‘ra , ammo bo‘lgani uchun .
5. tenglik, A2 va A3 aksiomalarga ko‘ra . ■
Do'stlaringiz bilan baham: |