אקסיומות ההסתברות – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Bustan1498 (שיחה | תרומות)
Bustan1498 (שיחה | תרומות)
שורה 2:
 
==ניסוח פורמלי==
יהא <math>(\Omega, \mathbbmathcal{F}, P)</math> [[מרחב הסתברות]]. הקבוצה <math>\Omega</math> נקראת [[מרחב מדגם|מרחב המדגם]] וכמו כן אנו דורשים כי <math>\mathcal{F}</math> (שדה המאורעות) תהא [[סיגמא-אלגברה]]. מהפונקציה <math>P</math> אנו דורשים את התכונות הבאות:
# לכל <math>E \in \mathcal{F}</math> מתקיים <math>0 \le P(E)</math>. דרישה זו נובעת מכך שאנו תופסים הסתברות של מאורע בתור [[מספר ממשי]] בין <math>0</math> ל-<math>1</math>, ומצפים שלכל מאורע שמעניין אותנו (כלומר, ששייך לסיגמא-אלגברה) תהיה הסתברות מוגדרת וקבועה.
# <math>P(\Omega)=1</math>. דרישה זו נובעת מכך שאנו מצפים שלפחות אחד מהאירועים הבסיסיים ש[[מרחב מדגם|במרחב המדגם]] יתקיים תמיד, בכל ניסוי שנערוך.