מאורע

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

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

לפי אקסיומות ההסתברות, לכל מאורע  מתקיים  .

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

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

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

זוג מאורעות  נקראים בלתי תלויים ביחס למידת הסתברות נתונה, אם מתקיים . המשמעות היא שהתרחשות אחד איננה משפיעה על התרחשות השני. אם השוויון לא מתקיים המאורעות נקראים תלויים.

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

קישורים חיצוניים

 

תורת ההסתברות