משפט ברירת זמן העצירה

בתורת ההסתברות, משפט ברירת זמן העצירה (באנגלית: Optional Stopping Time Theorem) של ג'וזף דוּבּ, מתאר עיקרון יסודי לגבי תוחלת של מרטינגל, בו עצירת המרטינגל קבועה מראש לפי כלל עצירה כלשהו. המשפט קובע שבתנאים מסוימים, כלל העצירה אינו יכול להגדיל את התוחלת.

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

זמן עצירה

יהי  מרחב הסתברות, ויהי  מרטינגל במרחב זה. נגדיר לכל  את התת-סיגמא אלגברה,

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

נוסח המשפט

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

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

הוכחה

טענה: אם  מרטינגל, אזי  לכל .

טענה: יהי  מרטינגל ו- זמן עצירה כלשהו. נגדיר  לכל . אזי  הוא מרטינגל.

נשתמש בטענות אלה כדי להוכיח את המשפט עבור שלושת התנאים:
 נשים לב כי בהתקיים תנאי 1, אז בהסתברות 1 , ולכן נובע מהטענות שהזכרנו כי .
 נשים לב כי בהתקיים תנאי 2, אז בהסתברות 1 . לכן ממשפט ההתכנסות החסומה נובע כי, 
 נשים לב כי בהתקיים תנאי 3, אז בהסתברות 1 מתקיים לכל , </center> ולכן בפרט,  נשים לב כי צד ימין של אי השוויון הוא משתנה מקרי בעל תוחלת, ולכן ממשפט ההתכנסות הנשלטת נובע כי, <center>

שימוש

ממשפט זה ניתן להסיק למשל שהילוך מקרי פשוט על  הוא נשנה, באופן הבא:

נניח כי ההילוך הוא  ומתחיל בנקודה . נרצה להראות כי בהסתברות  ההילוך יגיע לנקודה  תוך זמן סופי.

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

מצד שני, על ידי חישוב ישיר של התוחלת,

ולכן נובע בסך הכל,

מכאן נובע כי לכל ,

ולכן בהכרח , כלומר ההילוך נשנה.

ראו גם
 מרטינגל (תורת ההסתברות)
 מרטינגל (שיטת הימורים)

משפטים בתורת ההסתברות
תהליכים סטוכסטיים