בתורת ההסתברות, משפט סלוצקי מרחיב כמה מהתכונות של פעולות אלגבריות על סדרות מתכנסות של מספרים ממשיים על סדרות של משתנים מקריים.[1]
המשפט נקרא על שם יבגני (אויגן) סלוצקי.[2] המשפט מיוחס גם להרלד קרמר.[3]
יהו {Xn}, {Yn} סדרות של משתנים מקריים סקלריים/וקטוריים/מטריציים.
אם Xn מתכנס בהתפלגות למשתנה מקרי
;
ו-Yn מתכנס בהסתברות לקבוע c, אז


, כל עוד c הפיך.
כאשר
מציין התכנסות בהתפלגות.
- הערות
- הדרישה כי הסדרה Yn מתכנסת לקבוע היא חשובה — אילו היא הייתה מתכנסת למשתנה מקרי שאיננו מנוון, המשפט לא היה תקף.
- המשפט נשאר תקף אם נחליף את כל התכנסויות בהתפלגות עם התכנסויות בהסתברות (בשל מאפיין זה).
אם Xn מתכנס בהתפלגות ל-X ו-Yn מתכנס בהסתברות לקבוע c, אז הווקטור (Xn, Yn) מתכנס בהתפלגות אל (X, c) (ראו כאן).
נגדיר לכל אחת ממסקנות המשפט פונקציה:
,
,
,
בהתאמה. כל אחת מהפונקציות האלו רציפה (במקרה האחרון, הפונקציה רציפה רק אם y הפיך), והמסקנות נובעות עכשיו ממשפט ההעתקה הרציפה.
- Grimmett, G.; Stirzaker, D. (2001). Probability and Random Processes (שלישית ed.). Oxford.