סטטיסטי מספיק

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

הגדרה מתמטית

סטטיסטי $T(X)$ הוא מספיק לפרמטר $\theta$, אם ההתפלגות המותנית של המדגם בהינתן הערך של $T(X)$ אינה תלויה ב-$\theta$. במלים אחרות, הפונקציה $Pr_{\theta }(X=x|T(X)=t)$ תלויה אולי ב-x ו-t, אבל לא ב-$\theta$.

משפט הפירוק של Fisher-Neyman

משפט הפירוק מספק אפיון נוח לכך שסטטיסטי הוא מספיק. אם פונקציית הצפיפות היא $f_{\theta }(x)$, אזי $T$ הוא מספיק עבור $\theta$ אם ורק אם קיימות פונקציות אי-שליליות g ו-h כך ש:

$f_{\theta }(x)=g_{\theta }(T(x))h(x)$

כלומר, ניתן לפרק את פונקציית הצפיפות למכפלה של שני גורמים, כך שגורם אחד, h, אינו תלוי ב-$\theta$ והגורם השני, g, אשר כן תלוי ב-$\theta$, תלוי ב-x רק דרך $T(x)$.

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

משמעות לגבי הסקה סטטיסטית

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

הוכחה

ההוכחה להלן היא ההוכחה שניתנה על ידי רוברט הוג ואלן קרייג.

המשפט (ניסוח מדויק): יהיו $X_{1},X_{2},\ldots ,X_{n}$ תצפיות של מדגם אקראי מהתפלגות עם פונקציית צפיפות: $f(x,\theta )$ עבור $l<\theta <\delta$. יהי $Y_{1}=u_{1}(X_{1},X_{2},\ldots ,X_{n})$ סטטיסטי שפונקציית הצפיפות שלו היא $g_{1}(y_{1};\theta )$. אז $Y_{1}=u_{1}(X_{1},X_{2},\ldots ,X_{n})$ הוא סטטיסטי מספיק עבור $\theta$ אם-ורק-אם קיימת פונקציה $H$ כך ש:

$\prod _{i=1}^{n}f(x_{i};\theta )=g_{1}\left[u_{1}(x_{1},x_{2},\dots ,x_{n});\theta \right]H(x_{1},x_{2},\dots ,x_{n})\,$

הוכחה:

כיוון ראשון:

נניח ש:

$\prod _{i=1}^{n}f(x_{i};\theta )=g_{1}\left[u_{1}(x_{1},x_{2},\dots ,x_{n});\theta \right]\cdot H(x_{1},x_{2},\dots ,x_{n})$

ונוכיח ש-$Y_{1}$ הוא סטטיסטי מספיק.

יהיו $Y_{i}=u_{i}(X_{1},X_{2},\ldots ,X_{n})$, ‏ $i=2,3,\ldots ,n$ סטטיסטים כלשהם שפונקציות הצפיפות שלהם הן $g_{i}(y_{i};\theta )$ בהתאמה.

נבצע את הטרנספורמציה: $y_{i}=u_{i}(x_{1},x_{2},\ldots ,x_{n})$ לכל $i=1,2,\ldots ,n$, כשהפונקציות ההפוכות הן: $x_{j}=w_{j}(y_{1},y_{2},\ldots ,y_{n})$ לכל $j=1,2,\ldots ,n$, ויעקוביאן $J=[w_{j}/y_{i}]$. אז:

$\prod _{j=1}^{n}f\left[w_{j}(y_{1},y_{2},\dots ,y_{n});\theta \right]=|J|\cdot g_{1}(y_{1};\theta )H\left[w_{1}(y_{1},y_{2},\dots ,y_{n}),\dots ,w_{n}(y_{1},y_{2},\dots ,y_{n})\right]$

הביטוי בצד שמאל של המשוואה הוא הצפיפות המשותפת: $g(y_{1},y_{2},\dots ,y_{n};\theta )$ של המשתנים (הסטטיסטים): $Y_{1},Y_{2},\ldots ,Y_{n}$.

בצד ימין של המשוואה, הביטוי $g_{1}(y_{1};\theta )$ הוא פונקציית הצפיפות של $Y_{1}$, וכך יוצא שהביטוי: $H[w_{1},\dots ,w_{n}]\cdot |J|$ שווה ל- $g(y_{1},\dots ,y_{n};\theta )$ חלקי $g_{1}(y_{1};\theta )$, כלומר, הוא שווה לפונקציית הצפיפות המותנה $h(y_{2},\dots ,y_{n}\mid y_{1};\theta )$ של $Y_{2},\dots ,Y_{n}$ בהינתן $Y_{1}=y_{1}$.

אבל לפי ההנחה, $H(x_{1},x_{2},\dots ,x_{n})$, וממילא גם $H\left[w_{1}(y_{1},\dots ,y_{n}),\dots ,w_{n}(y_{1},\dots ,y_{n}))\right]$ אינו תלוי ב-$\theta$. מכיוון ש-$\theta$ לא הוכנס בתוך הטרנספורמציה שביצענו, וכן לא בא לידי ביטוי ביעקוביאן $J$, יוצא ש-$h(y_{2},\dots ,y_{n}\mid y_{1};\theta )$ אינו תלוי ב-$\theta$ (אלא רק ב-$y_{1}$, וזאת לכל סטטיסטים $Y_{2},Y_{3},\ldots ,Y_{n}$ אפשריים), ולכן $Y_{1}$ הוא סטטיסטי מספיק עבור $\theta$.

כיוון שני:

נניח ש-$Y_{1}$ הוא סטטיסטי מספיק, ונוכיח ש:

$\prod _{i=1}^{n}f(x_{i};\theta )=g_{1}\left[u_{1}(x_{1},x_{2},\dots ,x_{n});\theta \right]\cdot H(x_{1},x_{2},\dots ,x_{n})\,$

כיוון ש-ש-$Y_{1}$ הוא סטטיסטי מספיק, ניתן לרשום:

$g(y_{1},\dots ,y_{n};\theta )=g_{1}(y_{1};\theta )h(y_{2},\dots ,y_{n}\mid y_{1})\,$

כש-$h(y_{2},\dots ,y_{n}\mid y_{1})$ אינו תלוי ב-$\theta$ כיוון ש-$Y_{2}...Y_{n}$ תלוי רק ב-$X_{1}...X_{n}$, אשר הם בלתי תלויים ב-$\Theta$ בהינתן שידוע לנו $Y_{1}$ שהוא סטטיסטי מספיק.

כעת נחלק את שני צידי המשוואה בערך המוחלט של היעקוביאן $J$, ונחליף את $y_{1},\dots ,y_{n}$ בפונקציות: $u_{1}(x_{1},\dots ,x_{n}),\dots ,u_{n}(x_{1},\dots ,x_{n})$, ונקבל:

${\frac {g\left[u_{1}(x_{1},\dots ,x_{n}),\dots ,u_{n}(x_{1},\dots ,x_{n});\theta \right]}{|J*|}}=g_{1}\left[u_{1}(x_{1},\dots ,x_{n});\theta \right]{\frac {h(u_{2},\dots ,u_{n}\mid u_{1})}{|J*|}}$

כש-$J*$ הוא היעקוביאן עם $y_{1},\dots ,y_{n}$ שהוחלפו על ידי: $x_{1},\dots ,x_{n}$.

הצד הימני הוא בהכרח הצפיפות המשותפת $\prod _{i=1}^{n}f(x_{i};\theta )$ של $X_{1},\dots ,X_{n}$. נסמן: $G_{1}\left[u_{1}(x_{1},\dots ,x_{n});\theta \right]={\frac {g_{1}\left[u_{1}(x_{1},\dots ,x_{n});\theta \right]}{|J*|}}$, ונקבל:

$\prod _{i=1}^{n}f(x_{i};\theta )=G_{1}\left[u_{1}(x_{1},x_{2},\dots ,x_{n});\theta \right]\cdot h(u_{2},\dots ,u_{n}\mid u_{1})$

כיוון ש-$h(y_{2},\dots ,y_{n}\mid y_{1})$ ולכן גם $h(u_{2},\dots ,u_{n}\mid u_{1})$ אינו תלוי ב-$\theta$ (לפי ההנחה), נקבל ש:

$H(x_{1},\dots ,x_{2})={\frac {h(u_{2},\dots ,u_{n}\mid u_{1})}{|J*|}}$

היא פונקציה שאינה תלויה ב-$\theta$, כלומר:

$\prod _{i=1}^{n}f(x_{i};\theta )=G_{1}\left[u_{1}(x_{1},x_{2},\dots ,x_{n});\theta \right]\cdot H(x_{1},x_{2},\dots ,x_{n})$

כנדרש.

סטטיסטי מספיק מינימלי

סטטיסטי מספיק הוא מינימלי אם הוא יכול להיות מוצג כפונקציה של כל סטטיסטי מספיק אחר. במילים אחרות, $S(X)$ הוא סטטיסטי מספיק מינימלי אם ורק אם:

1. $S(X)$ הוא סטטיסטי מספיק
2. לכל סטטיסטי מספיק $T(X)$, קיימת פונקציה $f$ כך ש- $S(X)=f(T(X))$

באופן אינטואיטיבי, סטטיסטי מספיק מינימלי תופס באופן היעיל ביותר את כל המידע בנוגע לפרמטר $\theta$.

מאפיין שימושי של סטטיסטי מספיק מינימלי הוא שכאשר פונקציית הצפיפות $f_{\theta }$ קיימת, $S(X)$ הוא סטטיסטי מספיק מינימלי אם ורק אם:

${\frac {f_{\theta }(x)}{f_{\theta }(y)}}$ בלתי תלוי ב-$\theta$ $\Longleftrightarrow$ $S(x)=S(y)$

זה נובע באופן ישיר ממשפט הפירוק של פישר-נימן.

מצב בו לא קיים סטטיסטי מספיק מינימלי הוצג על ידי הסטטיסטיקאי ההודי Raghu Raj Bahadur, בשנת 1954. אולם, תחת תנאים מתונים למדי, סטטיסטי מספיק מינימלי תמיד קיים.

בפרט, במרחב אוקלידי, התנאים הללו תמיד מתקיימים אם המשתנים המקריים (הקשורים ל- $P_{\theta }$) הם כולם בדידים או כולם רציפים.

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

אוסף היחסים של פונקציות נראות $\left\{{\frac {L(\theta _{1}|X)}{L(\theta _{2}|X)}}\right\}$ הוא סטטיסטי מספיק מינימלי אם $P(X|\theta )$ הוא בדיד או בעל פונקציית צפיפות.

דוגמאות

התפלגות ברנולי

אם $X_{1},...,X_{n}$ משתנים מקריים בלתי תלויים בעלי התפלגות ברנולי עם פרמטר $p$, אזי הסכום $T(X)=X_{1}+...+X_{n}$ הוא סטטיסטי מספיק עבור $p$.

מאחר שהמשתנים המקריים הם בלתי תלויים, פונקציית הצפיפות המשותפת מקיימת:

$f_{p}(X)=p^{x_{1}}(1-p)^{1-x_{1}}p^{x_{2}}(1-p)^{1-x_{2}}\cdots p^{x_{n}}(1-p)^{1-x_{n}}\,\!$

ואם נקבץ חזקות של $p$ ושל $1-p$ נקבל:

$f_{p}(X)=p^{\sum x_{i}}(1-p)^{n-\sum x_{i}}=p^{T(x)}(1-p)^{n-T(x)}\,\!$

הצגה זו מקיימת את תנאי משפט הפירוק כאשר:

$h(X)=1;g(T(X),p)=p^{\sum x_{i}}(1-p)^{n-\sum x_{i}})$

הפרמטר הבלתי ידוע, $p$, תלוי בנתונים ($X_{1},...,X_{n}$) רק דרך הסטטיסטי שלהם $T(X)={\sum x_{i}}$

התפלגות אחידה

אם $X_{1},...,X_{n}$ משתנים מקריים בלתי תלויים המתפלגים באופן אחיד בטווח $[0,\theta ]$ אזי $T(X)=\max(X_{1},...,X_{n})$ הוא סטטיסטי מספיק ל-$\theta$.

מאחר שהמשתנים המקריים הם בלתי תלויים, פונקציית הצפיפות המשותפת מקיימת:

${\begin{aligned}f_{\theta }(x_{1},\ldots ,x_{n})&={\frac {1}{\theta }}\mathbf {1} _{\{0\leq x_{1}\leq \theta \}}\cdots {\frac {1}{\theta }}\mathbf {1} _{\{0\leq x_{n}\leq \theta \}}\\&={\frac {1}{\theta ^{n}}}\mathbf {1} _{\{0\leq \min\{x_{i}\}\}}\mathbf {1} _{\{\max\{x_{i}\}\leq \theta \}}\end{aligned}}$

כאשר $\mathbf {1} _{\{\cdots \}}$ היא פונקציית האינדיקטור. לכן, אם נסמן: $g(T(X),\theta )={\frac {1}{\theta ^{n}}}\cdot \mathbf {1} _{\{\max\{x_{i}\}\leq \theta \}}={\frac {1}{\theta ^{n}}}\cdot \mathbf {1} _{\{T(X)\leq \theta \}}$

וכן $h(X)=\mathbf {1} _{\{0\leq \min(X_{i})\}}$,

נקבל את תנאי משפט הפירוק, ושאכן $T(X)=\max(X_{i})$ הוא סטטיסטטי מספיק.

התפלגות פואסון

אם $X_{1},...,X_{n}$ משתנים מקריים בלתי תלויים בעלי התפלגות פואסון עם פרמטר $\lambda$, אזי הסכום $T(X)=X_{1}+...+X_{n}$ הוא סטטיסטי מספיק עבור $\lambda$.

על מנת להיווכח בכך, נתבונן בפונקציית ההסתברות המשותפת:

$\Pr(X=x)=P(X_{1}=x_{1},X_{2}=x_{2},\ldots ,X_{n}=x_{n})\,$

ומכיוון שהתצפיות בלתי תלויות:

$P(X_{1}=x_{1},X_{2}=x_{2},\ldots ,X_{n}=x_{n})=P(X_{1}=x_{1})P(X_{2}=x_{2}),\ldots ,P(X_{n}=x_{n})$

לכן:

$P(X=x)={e^{-\lambda }\lambda ^{x_{1}} \over x_{1}!}\cdot {e^{-\lambda }\lambda ^{x_{2}} \over x_{2}!}\cdots {e^{-\lambda }\lambda ^{x_{n}} \over x_{n}!}\,=e^{-n\lambda }\lambda ^{(x_{1}+x_{2}+\cdots +x_{n})}\cdot {1 \over x_{1}!x_{2}!\cdots x_{n}!}\,=e^{-n\lambda }\lambda ^{T(x)}\cdot {1 \over x_{1}!x_{2}!\cdots x_{n}!}\,$

אם נסמן: $g(T(X),\lambda )=e^{-n\lambda }\lambda ^{T(x)}\,$, וכן: $h(X)={1 \over x_{1}!x_{2}!\cdots x_{n}!}\,$,

נקבל את תנאי משפט הפירוק, ושאכן $T(X)=X_{1}+...+X_{n}$ הוא סטטיסטטי מספיק.