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

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

נתונה סדרת משתנים מקריים ${\displaystyle X_{1},X_{2},X_{3},\ldots }$ בלתי תלויים ושווי התפלגות עם תוחלת 0 ושונות 1. נסמן ${\displaystyle S_{n}:=\sum _{i=1}^{n}X_{i}}$. התהליך הסטוכסטי ${\displaystyle S:=(S_{n})_{n\in \mathbb {N} }}$ נקרא הילוך מקרי. נגדיר לכל ${\displaystyle t\in [0,1]}$,

${\displaystyle .W^{(n)}(t):={\frac {S_{\lfloor nt\rfloor }}{\sqrt {n}}}}$

ממשפט הגבול המרכזי נובע כאשר ${\displaystyle n\to \infty }$, הסדרה ${\displaystyle W^{(n)}(1)}$ מתכנסת בהתפלגות למשתנה מקרי נורמלי תקני ${\displaystyle W(1)}$. עקרון האינווריאנטיות של דונסקר^[1][2] מרחיב את ההתכנסות הזו לכל הפונקציה ${\displaystyle W^{(n)}:=(W^{(n)}(t))_{t\in [0,1]}}$. ליתר דיוק, בצורתו המודרנית, מעקרון האינווריאנטיות של דונסקר נובע שכפונקציות מקריות השייכות למרחב סקורוקוד ${\displaystyle {\mathcal {D}}[0,1]}$, כאשר ${\displaystyle n\to \infty }$, הפונקציות ${\displaystyle W^{(n)}}$ מתכנסות בהתפלגות לתנועה בראונית סטנדרטית ${\displaystyle W:=(W(t))_{t\in [0,1]}}$.

נתונה סדרה ${\displaystyle F_{n}}$ של פונקציות ההתפלגות האמפיריות הנבנית מתוך סדרה של משתנים מקריים ${\displaystyle X_{1},X_{2},X_{3},\ldots }$ בלתי תלויים ושווי התפלגות מהתפלגות ${\displaystyle F}$. נגדיר

${\displaystyle G_{n}(x)={\sqrt {n}}(F_{n}(x)-F(x))}$

לכל ${\displaystyle x\in \mathbb {R} }$. לפי משפט הגבול המרכזי הקלאסי, עבור ${\displaystyle x}$ נתון, כאשר ${\displaystyle n}$ שואף לאינסוף, המשתנה המקרי ${\displaystyle G_{n}(x)}$ מתכנס בהתפלגות למשתנה מקרי נורמלי ${\displaystyle G(x)}$ עם תוחלת ${\displaystyle 0}$ ושונות ${\displaystyle F(x)(1-F(x))}$.

הסדרה של ${\displaystyle G_{n}(x)}$, כפונקציות קדלג מקריות של מרחב סקורוקוד ${\displaystyle {\mathcal {D}}(-\infty ,\infty )}$, מתכנסת בהתפלגות לתהליך גאוסי ${\displaystyle G}$ עם תוחלת ${\displaystyle 0}$ ושונות משותפת;

${\displaystyle .\operatorname {cov} [G(s),G(t)]=E[G(s)G(t)]=\min\{F(s),F(t)\}-F(s)F(t)}$

ניתן לכתוב ${\displaystyle G(x)=B(F(X))}$ כאשר ${\displaystyle B}$ הוא גשר בראוני סטנדרטי.

קולמוגורוב (1933) הראה שכאשר התפלגות ${\displaystyle F}$ היא רציפה, החסם העליון ${\displaystyle \sup _{x}G_{n}(x)}$ והחסם העליון של הערך המוחלט, ${\displaystyle \sup _{x}|G_{n}(x)|}$ מתכנס בהתפלגות לגשר בראוני ${\displaystyle B(x)}$ (ראה מבחן קולמוגורוב-סמירנוב). בשנת 1949 שאל דוב האם ההתכנסות בהתפלגות מתקיימת עבור פונקציונלים כלליים יותר, ובכך ניסח בעיה של התכנסות חלשה של פונקציות מקריות במרחב פונקציות מתאים.^[3]

ב-1952 דונסקר הצהיר והוכיח (לא לגמרי נכון)^[4] הרחבה כללית התואמת לגישה היוריסטית של דוב-קולמוגורוב. במאמר המקורי, דונסקר הוכיח שההתכנסות של ${\displaystyle G(x)}$ לגשר בראוני מתקיימת עבור התפלגות אחידה ${\displaystyle U(0,1)}$ ביחס להתכנסות במידה שווה על פני הקטע ${\displaystyle [0,1]}$.^[2]

אולם כאמור, הניסוח של דונסקר לא היה ממש נכון, בגלל בעיית המדידות של פונקציונלים של תהליכים בלתי רציפים. בשנת 1956 הגדירו סקורוקוד וקולמוגורוב מטריקה ${\displaystyle d}$ ניתנת להפרדה, הנקראת מטריקת סקורוקוד, על המרחב ${\displaystyle {\mathcal {D}}[0,1]}$ של פונקציות קדלג על-${\displaystyle [0,1]}$ והראו כי במרחב זה ${\displaystyle G_{n}}$ מתכנס ב - ${\displaystyle {\mathcal {D}}[0,1]}$ לגשר הבראוני.

מאוחר יותר דאדלי ניסח מחדש והוכיח את התוצאה של דונסקר תוך כדי עקיפת הצורך להשתמש במטריקת סקורוקוד.^[4]

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

• משפט גליבנקו-קנטלי