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

תוכן שנמחק תוכן שנוסף
שורה 16:
כאשר מרחב המדגם הוא [[מרחב מדיד דיסקרטי|בדיד]] (דיסקרטי), כלומר הוא [[קבוצה סופית|סופי]] או [[קבוצה בת מנייה|בן מנייה]], מספיק להגדיר את ההסתברות לכל מאורע שהוא [[יחידון]] כדי להגדיר את ההסתברות של כל תת-קבוצה של מרחב המדגם. על כן במרחב שכזה שדה המאורעות הוא [[קבוצת החזקה]] של מרחב המדגם. לעומת זאת, במרחבים אחרים כגון [[הישר הממשי]] לא קיימת [[פונקציית מידה]] המוגדרת לכל תת-קבוצה של המרחב ולכן קיימות תת-קבוצות שלא ניתן לייחס להן הסתברות (שהיא פונקציית מידה) ולא כל תת-קבוצה היא מאורע.
 
לכל מאורע <math>\ E</math> קיים מאורע משלים <math>\ \overline E</math> שהוא הקבוצתקבוצת ה[[משלים (מתמטיקה)|משלים]] של המאורע ביחס למרחב המדגם. מהגדרת פונקציית ההסתברות נקבל כי <math>\ P(\overline E) = 1-P(E)</math>.
 
זוג מאורעות A,B נקראים מאורעות [[תלות (הסתברות)|בלתי תלויים]] אם מתקיים <math>\ P(A\cap B) = P(A) \cdot P(B)</math>. המשמעות היא שהתרחשות אחד איננה משפיעה על התרחשות השני. אם השוויון לא מתקיים המאורעות נקראים מאורעות תלויים.