מרחב הסתברות

מושג בתורת ההסתברות

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

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

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

דוגמאותעריכה

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

ראו גםעריכה

קישורים חיצונייםעריכה