משתנים מקריים בלתי-תלויים ושווי-התפלגות

טקסט=A chart showing uniform distribution. Plot points are scattered randomly, with no pattern or clusters.|שמאל|ממוזער| תרשים המראה התפלגות אחידה
בתורת ההסתברות ובסטטיסטיקה, משתנים מקריים הם **בלתי-תלויים ושווי-התפלגות** (**independent and identically distributed**; בראשי תיבות: **IID**) אם לכל המשתנים המקריים אותה התפלגות הסתברות והם בלתי תלויים הדדית. המושג הוגדר לראשונה בסטטיסטיקה ויש לו חשיבות רבה בתחומים שונים כגון כריית מידע, למידת מכונה ועיבוד אותות.

## הגדרה
יהיו X ו־Y משתנים מקריים מהתפלגות שהתומך שלה, I, הוא תת-קבוצה של הממשיים, 
I \subseteq \mathbb {R}. יהיו F_X(x) = \operatorname{P}(X\leq x) ו־F_Y(y) = \operatorname{P}(Y\leq y) פונקציות ההתפלגות המצטברות של X ו־Y, בהתאמה.

נסמן ב־F_{X,Y}(x,y) = \operatorname{P}(X\leq x \land Y\leq y) את פונקציית ההתפלגות המצטברת המשותפת שלהם.

שני משתנים אקראיים X ו־Y הם **שוויי התפלגות** אם ורק אם F_X(x)=F_Y(x) \quad \forall x \in I.

שני משתנים אקראיים X ו־Yהם **בלתי תלויים** אם ורק אם F_{X,Y}(x,y) = F_{X}(x) \cdot F_{Y}(y) \quad \forall x,y \in I (ראו גם אי-תלות (הסתברות) § שני משתנים מקריים).

שני משתנים אקראיים X ו־Y הם **בלתי־תלויים ושווי־התפלגות** אם הם **בלתי תלויים** וגם **שוויי התפלגות**, כלומר אם ורק אם מתקיים:

ניתן להרחיב את ההגדרה באופן טבעי ליותר משני משתנים מקריים. נאמר כי n משתנים אקראיים X_1,\ldots,X_n הם **בלתי־תלויים ושווי־התפלגות** אם הם **בלתי־תלויים** (וראה אי-תלות (הסתברות) § יותר משני משתנים מקריים) ו**שווי-התפלגות**, כלומר אם ורק אם

כאשר F_{X_1,\ldots,X_n}(x_1,\ldots,x_n) = \operatorname{P}(X_1\leq x_1 \land \ldots \land X_n\leq x_n) מציין את פונקציית ההתפלגות המצטברת המשותפת של X_1,\ldots,X_n.

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

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

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

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

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

### דוגמה 2
מטילים מטבע 10 פעמים.

# **בלתי-תלויות** – תוצאה של כל הטלה לא תשפיע על תוצאה אחרת, כלומר 10 התוצאות אינן תלויות זו בזו.
# **שוות-התפלגות** – לא משנה אם המטבע הוא הוגן (הסתברות 1/2 ל"עץ" ו־1/2 ל"פלי") או לא הוגן, כל עוד נעשה שימוש באותו מטבע עבור כל הטלה, לכל הטלה תהיה אותה התפלגות.

סדרה כזה של שתי תוצאות בלתי־תלויות ושוות־התפלגות נקרא גם תהליך ברנולי.

### דוגמה 3
שולפים קלף אקראי מחפיסת קלפים רגילה המכילה 52 קלפים, ולאחר מכן מחזירים את הקלף לחפיסה. חוזרים על פעולה זו 52 פעמים.

# **בלתי תלויות** – תוצאה של שליפת קלף לא תשפיע על השליפה הבאה, כלומר 52 התוצאות אינן תלויות זו בזו. (לעומת זאת, אם כל קלף שנשלף אינו מוחזר לחפיסה, השליפות הבאות יושפעו ממנו, והתוצאות לא יהיו שוות-התפלגות. למשל אם הקלף הראשון שנשלף הוא מלך, ההסתברות לשליפת מלך בשליפה הבאה קטנה.
# **שוות-התפלגות** – לאחר הוצאת קלף אחד ממנו, בכל פעם ההסתברות למלך היא 4/52, מה שאומר שההסתברות זהה בכל פעם.

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

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

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

: l(\theta) = P(x_1, x_2, x_3,...,x_n|\theta) = P(x_1|\theta) P(x_2|\theta) P(x_3|\theta) ... P(x_n|\theta),

כאשר \theta מייצגת את הפרמטרים של המודל. אומדן הנראות המקסימלית \widehat{\theta} מתקבל על ידי מקסום הלוגריתם של פונקציית הנראות ולא של פונקציית הנראות עצמה. שינוי זה נובע משיקולים נומריים, כגון הפיכת הכפל לחיבור והצורך להתמודד עם ערכים קטנים מאוד. כלומר:

: \widehat{\theta} = \mathop{\operatorname{arg\,max}}\limits_{\theta \in \Theta} \log(\mathcal L(\theta)) כאשר

: \log(\mathcal L(\theta)) = \log(P(x_1|\theta)) + \log(P(x_2|\theta)) + \log(P(x_3|\theta)) + ... + \log(P(x_n|\theta)).

## ראו גם
* משתנים בלתי תלויים
* משפט הגבול המרכזי

## לקריאה נוספת

* 


## הערות שוליים

קטגוריה:תורת ההסתברות
קטגוריה:סטטיסטיקה