משפט הגבול של פואסון

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

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

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

 ניסוח פורמלי והוכחה   

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

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

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

מאחר ש:

נובע כי:

שהוא בדיוק מקדם ההסתברות של , כנדרש.
 דוגמאות ליישומים   

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

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

 קשר למשפטים דומים   

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

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

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

 ראו גם   
 התפלגות פואסון  
 התפלגות בינומית  
 משפט הגבול המרכזי  
 תהליך פואסון  

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


הערות שוליים

קטגוריה:הוכחות
קטגוריה:משפטים בתורת ההסתברות