לדלג לתוכן

משפט ההרחבה של קולמוגורוב

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

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

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

המשפט בגרסתו לתהליכים מקריים מוצגת עבור תהליך מקרי המקבל ערכים במרחב האוקלידי . קיימת גרסה כללית יותר עבור כל מרחב.[3]

נוסח פורמלי

[עריכת קוד מקור | עריכה]

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

  1. אינווריאנטיות לתמורות: לכל תמורה של ולכל אוסף קבוצות מדידות ,
  2. לכל ולכל אוסף קבוצות מדידות ,

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

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

הכרחיות תְּנָאֵי העקביות

[עריכת קוד מקור | עריכה]

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

תנאי העקביות השני, בהמשך לדוגמה זו, אומר כי . גם זו דרישה יסודית שתנאי העקביות השני הוא הכללה שלה.

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

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

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

הערות שוליים

[עריכת קוד מקור | עריכה]
  1. ^ Bernt Øksendal, Stochastic Differential Equations: An Introduction with Applications (Sixth ed.), Berlin: Springer (2003), page 11.
  2. ^ John Aldrich, But you have to remember PJ Daniell of Sheffield, in: Electronic Journal for History of Probability and Statistics, Vol. 3, number 2, 2007
  3. ^ טרנס טאו, An Introduction to Measure Theory, בתוך: Graduate Studies in Mathematics. 126‏ (2011), עמוד 195