מרחב ההסתברות[עריכה]
מרחב ההסתברות הוא שלשה:
נקראת "מרחב המדגם", F היא אוסף של תת קבוצות שהן "סיגמא-אלגברה" ו-P היא פונקציית ההסתברות.
הגדרה: סיגמא אלגברה היא אוסף F של תתי קבוצות מקבוצה
המקיים:

- אם
אז 
- אם
אז 
טענות:
- אם
אז 
- אם
אזי 
- אם
אז 
עובדות:
- אם
אז 
- אם
אז 
הגדרה: התפלגות אחידה - תהי
מרחב מדגם סופי. התפלגות אחידה של
היא מרחב הסתברות כאשר
, ולכל
מרחבי הסתברות רציפים[עריכה]
דוגמא: בחירה של נקודה אקראית ההמוגרלת באופן אחיד בקטע [0,1].
מרחב המדגם: [0,1].
אוסף המאורעות: הסיגמא אלגברה המינימלית המכילה את כל הקטעים ב [0,1].
מהי ההסתברות P? לכל קטע [a,b] המקיים
ההסתברות היא:
תהי
מהי
?
טענה:
מכאן קיים
.
. לכן:
לכל אפסילון ומכאן שווה ל-0.
משפט: קיימת הרחבה יחידה של P ל- F. כלומר, קיימת פפונקציה יחידה
שגם היא מקיימת את הדרישות מהשיעור הקודם וגם מקיימת שלכל קטע
,
דוגמא: נטיל מטבע הוגן. אם יצא עץ, נבחר נקודה בקטע [0,2/3], אם יצא פאלי נבחר נקודה בקטע [2/3,1].
מהי P? יהי [a,b] קטע אזי:
אם b<=2/3 אז:
אם a>=2/3 אז: ![{\displaystyle P([a,b])={\frac {1}{2}}{\frac {b-a}{1/3}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b4e26a18b82f278d5691dcc39a1633463d7a1a5)
אם a>2/3<b אז:
נראה שעבור כל נקודה ההסתברות זהה בשתי הדוגמאות אבל פונקציית ההסתברות שונה. מכאן פונקציית ההסתברות לא נקבעת באופן יחיד עבור הערך בכל נקודה. אם מרחב המדגם סופי- כן נקבעת.