מרחב הסתברות בתורת ההסתברות הוא שלשה
שאיבריה הם מרחב מדגם, סיגמא-אלגברה ומידת הסתברות. לפי האקסיומטיקה שהציע אנדריי קולמוגורוב, דורשים מרכיבי השלשה לקיים את הדרישות הבאות:
- מרחב המדגם
: קבוצת כל התוצאות האפשריות בניסוי. מרחב המדגם יכול להיות סופי, כמו בדוגמת הקובייה להלן, או אינסופי, כמו בדוגמה של בחירת מספר ממשי להלן. על אף שבהטלת קובייה אוסף התצפיות האפשרי נראה ברור מאליו, יש למרחב המדגם חשיבות בעריכת ניסויים מסובכים יותר. לרוב, חוקר ייקח את מרחב המדגם ויחלק אותו לקבוצות על מנת להסיק מסקנות כלשהן.
היא סיגמא-אלגברה של
, ומהווה את אוסף תת-הקבוצות שאפשר לחשב את הסתברותן ("מאורעות").
- מידת הסתברות
: הפונקציה
היא פונקציית מידה משדה המאורעות
אל המידה
, שמקיימת
.
במונחים של תורת המידה, ניתן להגדיר מרחב הסתברות בפשטות כמרחב מידה שבו מידת המרחב כולו היא 1 (כלומר
בסימונים שלעיל).