הצגת המקור של הדף "זמן עצירה"

{{סימון מתמטי}}

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

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

==הגדרה==

'''גרסה ראשונה:''' יהי <math>X_1, X_2, X_3, \dots</math> תהליך מקרי ב[[מרחב מדיד]] <math>\left( X, \mathcal{F} \right)</math>. אומרים כי [[משתנה מקרי]] <math>\tau: \Omega \to \mathbb{N} \cup \left\{ \infty \right\}</math> הוא "זמן עצירה", אם לכל <math>n \in \mathbb{N}</math> מתקיים כי המאורע <math>\left\{ \omega \in \Omega \mid \tau \left( \omega \right) = n \right\}</math> [[תלות (הסתברות)|תלוי]] אך ורק במשתנים המקריים <math>X_1, X_2, \dots, X_n</math>.

משמעות ההגדרה היא שהשאלה האם <math>\tau = n</math>, כלומר השאלה האם לעצור בשלב ה-<math>n</math>, נקבעת לא יאוחר מהשלב ה-<math>n</math>.

'''גרסה מוכללת:''' תהי <math>\mathcal{F}_1 \subset \mathcal{F}_2 \subset \mathcal{F}_3 \subset \dots</math> סדרה של [[סיגמא-אלגברה|סיגמא-אלגבראות]] במרחב מדיד <math>\left( X, \mathcal{F} \right)</math>. אומרים כי [[משתנה מקרי]] <math>\tau: \Omega \to \mathbb{N} \cup \left\{ \infty \right\}</math> הוא "זמן עצירה", אם לכל <math>n \in \mathbb{N}</math> המאורע <math>\left\{ \omega \in \Omega \mid \tau \left( \omega \right) = n \right\}</math> היא מדידה ביחס לסיגמא-אלגברה <math>\mathcal{F}_n</math>.

הגרסה הראשונה מתקבלת מהגרסה המוכללת על ידי בחירת סדרת הסיגמא-אלגבראות להיות <math>\mathcal{F}_n = \sigma \left( X_1, X_2, \dots, X_n \right)</math>, כלומר, בוחרים את <math>\mathcal{F}_n</math> להיות הסיגמא-אלגברה המינימלית שעבורה <math>X_n</math> מדיד.

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

==תכונות==

אם <math>\tau_1, \tau_2: \Omega \to \mathbb{N} \cup \left\{ \infty \right\}</math> הם שני זמני עצירה, אזי המשתנים המקריים הבאים גם הם זמני עצירה:
* <math>\tau_1 + \tau_2</math>
* <math>\min \left\{ \tau_1, \tau_2 \right\}</math>
* <math>\max \left\{ \tau_1, \tau_2 \right\}</math>
* <math>\tau_1 \cdot \tau_2</math> (דווקא במקרה הבדיד, כאשר <math>1 \leq \tau_1,\tau_2</math>).
לעומת זאת ההפרש <math>\tau_1 - \tau_2</math> אינו זמן עצירה, שכן הוא עלול להיות תלוי בשלבים הבאים בתהליך.

==דוגמאות==

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

=== דוגמאות בתנועה בראונית ===
נתבונן ב[[תנועה בראונית]] <math>\left( B_t \right)_{t \geq 0}</math> מעל [[מרחב הסתברות]] <math>\left( \Omega, \mathcal{F}, \mathbb{P} \right)</math>.

נגדיר משפחת סיגמא-אלגבראות <math>\left( \mathcal{F}_t \right)_{t \geq 0}</math> להיות הסיגמא-אלגברה הנוצרת על ידי כל הקבוצות מהצורה <math>B_{s}^{-1} \left( A \right)</math> עבור כל <math>0 \leq s \leq t</math> ועבור כל <math>A \subset \mathbb{R}</math> [[קבוצת בורל]]. באופן אינטואיטיבי, <math>E \in \mathcal{F}_t</math> [[אם ורק אם]] הוא נקבע על ידי <math>\left( B_s \right)_{0 \leq s \leq t}</math>.

המשתנה המקרי <math>\tau = \inf \left\{ t \geq 1 \mid B_t > c \right\}</math> לאיזה קבוע <math>c \in \mathbb{R}</math>, הוא זמן עצירה. כלל עצירה זה אומר במילים פשוטות "עצור  בפעם הראשונה שהתנועה הבראונית תהיה גדולה מ-<math>c</math>".

לעומת זאת המשתנה המקרי המודד מתי הערך של <math> B_t</math> מקסימלי בקטע [0,1] אינו [[תנאי עצירה]], כי הוא דורש (עבור t<1) השוואה אל ערכים עתידיים.

==ראו גם==

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

==קישורים חיצוניים==
* {{אנציקלופדיה למתמטיקה|Stopping_time}}

[[קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה]]
[[קטגוריה:תהליכים סטוכסטיים]]
[[קטגוריה:תורת ההסתברות]]