הלמה של ניימן-פירסון

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש

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

ניסוח[עריכת קוד מקור | עריכה]

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

הוא המבחן בעל העוצמה הגדולה ביותר (Uniformly Most Powerful; UMP) מבין כל המבחנים ברמת מובהקות (כלומר, מתקיים , אם נכונה).

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

דוגמה[עריכת קוד מקור | עריכה]

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

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

עבור ערך קריטי מתאים.

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

הוכחה[עריכת קוד מקור | עריכה]

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

יהי אזור הדחייה אשר מוגדר על פי הלמה, כלומר:

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

נוסחת ההסתברות השלמה קובע כי לכל ,

ולכן,

 

 

 

 

(1)


ובפרט, אם , למבחנים רמת מובהקות זהה, ולכן,

כלומר:

 

 

 

 

(2)


המשפט מבקש להוכיח כי , אך מטענה (1) נובע כי לשם כך מספיק להוכיח כי


לשם הוכחת הטענה האחרונה, ניתן לשים לב כי מההנחה, בתוך מתקיים , ובפרט,

 

 

 

 

(3)

באופן דומה, בתוך ,

 

 

 

 

(4)


ועל כן,

כנדרש.

ראו גם[עריכת קוד מקור | עריכה]

לקריאה נוספת[עריכת קוד מקור | עריכה]

קישורים חיצוניים[עריכת קוד מקור | עריכה]