היסטוריה של תורת ההסתברות

השתלשלות התפתחותה של תורת ההסתברות כתורה מדעית נחקרת

ההיסטוריה של תורת ההסתברות כתורה מדעית נחקרת, החלה במאות ה-16 וה-17, כשחישובי ההסתברות נעשו באופן נאיבי ואינטואיטיבי. היא החלה לקבל ביסוס מתמטי במאות ה-19 וה-20, בהן הפכה לתורה מתמטית העומדת על בסיס אקסיומטי איתן.

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

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

המחקר על אודות ההיסטוריה של תורת ההסתברות ידוע עוד מאמצע המאה ה-19. בשנת 1865 פרסם המתמטיקאי וההיסטוריון של המתמטיקה אייזיק טודהאנטר את הספר "היסטוריה של התאוריה המתמטית של הסתברות מזמנו של פסקל ועד זמנו של לפלס".[5]

עבודות מוקדמות

עריכה
 
לוקה פאצ'ולי, הראשון שבחן בעיה הסתברותית בכלים מתמטיים.

ניסיון להתייחס לבעיה הכוללת רכיב אקראי כאל בעיה מתמטית, נעשה בשנת 1494 על ידי המתמטיקאי האיטלקי לוקה פאצ'ולי בספרו שכונה בקיצור "סיכום".[6][7] פאצ'ולי טיפל בבעיה שכונתה בעיית הניקוד: שתי קבוצות משחקות זו נגד זו. כדי שקבוצה תנצח עליה לצבור 60 נקודות, ואז היא זוכה ב-22 דוקטים. מסיבה בלתי צפויה המשחק נפסק לפני שאף אחת משתי הקבוצות הצליחה לצבור 60 נקודות, והמצב היה שקבוצה   זכתה ב-50 נקודות וקבוצה   זכתה ב-30 נקודות. פתרונו של פאצ'ולי היה לחלק את הכסף ביחס של   בין הקבוצות, בהתאם למספר הנקודות שצברו. פתרון זה מניח כי היחס בין הסיכוי לניצחון של קבוצה   לבין הסיכוי לניצחון של קבוצה   נקבע על ידי ההיסטוריה של הניצחונות, בה היחס עמד על  . אך פתרון זה שגוי, שכן בהנחה כי יש אי-תלות בין המשחקים, הרי שהיחס בין סיכויי הניצחונות של הקבוצות נקבע על ידי מספר המשחקים העתידיים שנדרשים כדי לנצח. כך לפי ההיגיון של פאצ'ולי, אם לקבוצה   הייתה נקודה אחת ולקבוצה   לא היו נקודות כלל, קבוצה   הייתה צריכה לזכות בכל הדוקטים, אך בוודאי קיימת הסתברות חיובית כלשהי לניצחון של קבוצה  .

תובנה פילוסופית-תאולוגית הנוגעת להבחנה הסתברותית, פורסמה בשנת 1577 על ידי ברתולומיאו דה-מדינה (de Medina), תאולוג ספרדי. דה-מדינה קבע כי ניתן לבצע בחירה מוסרית שלתוצאותיה הטובות יש הסתברות חיובית כלשהי (במובן האינטואיטיבי של הסתברות), אפילו אם ההסתברות של האלטרנטיבה גבוהה יותר. כך למשל אם אדם מחזיק בדעה המנוגדת לדעתה של הכנסייה הקתולית, מותר לו לבחור לפעול בהתאם לדעתו שלו, על אף שלדעת דה-מדינה ההסתברות לכך שהצדק עם הכנסייה גבוהה מההסתברות שהצדק עמו.[8]

 
ג'ירולמו קרדנו, הראשון שעסק באופן שיטתי בבעיות הסתברותיות.

המתמטיקאי ג'ירולמו קרדנו היה הראשון שהגדיר באופן פורמלי את ערך ההסתברות להתרחשות של מאורע מסוים. בחיבורו "ספר על משחקי מזל" (בלטינית: "Liber de Ludo Aleae"), אותו כתב בשנות ה-60 של המאה ה-16, כמעין מדריך למהמר, הוצג לראשונה טיפול שיטתי בבעיות של הסתברות. בספר הובאו טבלאות להדגמת האפשרויות השונות בזריקת שתיים או שלוש קוביות יחד ואת ההסתברות לקבל צירופים שונים. למשל, בשלוש קוביות יש שש אפשרויות לשלושה מספרים זהים, 30 אפשרויות לשני מספרים זהים ואחד שונה, בשלושה סידורים שונים - ובסך הכל 90 אפשרויות. 20 אפשרויות לשלושה מספרים שונים זה מזה בשישה סידורים שונים, ובסך הכל 120 אפשרויות. סך האפשרויות הכללי הוא  . קרדנו הציג הגדרה כללית להסתברות להתרחשות תוצאה אחת מבין תוצאות שונות שלכולן סיכויים שווים, וקבע כי היא מספר האפשרויות לקבל את התוצאה, לחלק למספר האפשרויות לקבל את כל התוצאות. כדוגמה הוא מביא זריקת קוביית משחק הוגנת ובעלת שש פאות, וכותב כי ההסתברות להתרחשות קבלת מספר מסוים (למשל 2), היא  .

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

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

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

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

הולדת הקומבינטוריקה ותורת ההסתברות הנאיבית

עריכה

המקדם הבינומי

עריכה
  ערך מורחב – מקדם בינומי

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

 

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

1 שורה 0
1 1 שורה 1
1 2 1 שורה 2
1 3 3 1 שורה 3
1 4 6 4 1 שורה 4
............... .........

ערך כל איבר במשולש הוא סכום שני אילו שמעליו. האיבר ה- , כאשר  , בשורה ה- , נותן את הפתרון. למשל, ישנן 6 אפשרויות — האיבר השני (השמאלי ביותר הוא כזכור האיבר ה-0) בשורה הרביעית — לקחת שני עצמים מתוך ארבעה. בנוסף לכך, פסקל הוכיח כ-20 טענות שונות בקשר למשולש זה.

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

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

 

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

פסקל ופרמה

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

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

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

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

בנוסף התייחסו פרמה ופסקל בהתכתבותם למאורעות שאת היחסים ביניהם ניתן לתאר במונחים מאוחרים יותר כתלות, אולם הם לא הציגו תיאור כללי של תלות ואי-תלות.[12]

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

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

כאשר תנאי העצירה הם:  .

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

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

הויגנס

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

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

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

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

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

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

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

ברנולי

עריכה
 
יאקוב ברנולי, הראשון שכתב חיבור מתמטי על אודות תורת ההסתברות.

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

 
עמוד השער של ספרו של ברנולי

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

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

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

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

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

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

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

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

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

המשך התפתחותה של תורת ההסתברות

עריכה

דה-מואבר

עריכה
 
אברהם דה-מואבר, הוגה מושג ה"תלות"

המתמטיקאי הצרפתי אברהם דה-מואבר הרחיב את עבודתם של הויגנס וברנולי, וספרו "תורת הסיכויים: מתודה לחישוב הסתברויות של מאורעות במשחק",[16] הוא הספר השני המשמעותי אודות תורת ההסתברות לאחר ספרו של ברנולי. ספר זה פורסם בארבע מהדורות; הראשונה בלטינית בשנת 1711, ושלוש מהדורות נוספות באנגלית בשנים 1718, 1738 ו-1756.[18] תרומתו הכוללת של דה-מואבר לתורת ההסתברות הייתה כה חשובה, עד שבמאה ה-19 כתב עליו ההיסטוריון של המתמטיקה אייזיק טודהאנטר כי "תורת ההסתברות חייבת את רובה לדה-מואבר, עם יוצא דופן אחד והוא לפלס".[19] אמירה זו כבר אינה תקפה באשר לתורת ההסתברות בימינו אנו, אך שיקפה את מצבה של תורת ההסתברות במאה ה-19.

 
עמוד השער של ספרו של דה-מואבר

במהדורה משנת 1738 הגדיר דה-מואבר את המושג היסודי של תלות בין מאורעות, וניסח במפורש את התובנה שההסתברות להתרחשות זוג מאורעות תלויים אינה מכפלת ההסתברויות להתרחשות כל אחד מהמאורעות. עם זאת הוא לא כתב במפורש את הנוסחה הידועה  .[12]

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

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

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

גאוס

עריכה
 
קרל פרידריך גאוס, הראשון שתיאר את ההתפלגות הנורמלית

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

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

לפלס

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

בשנת 1812 פרסם המתמטיקאי הצרפתי פייר-סימון לפלס את ספרו "התאוריה האנליטית של ההסתברות",[29] שנכתב בעיקר כדי לבסס את "תורת השגיאות" — התפלגות שגיאות המדידה אותה חקר גאוס. אף על פי שגאוס תיאר לראשונה את התפלגות שגיאות המדידה כהתפלגות נורמלית, הוא לא סיפק תיאור מלא של התפלגות זו. לפלס היה זה שחישב לראשונה את הנוסחה המלאה לפונקציית ההתפלגות המצטברת של ההתפלגות הנורמלית, על ידי חישוב האינטגרל   שסיפק את הקבוע החשוב של ההתפלגות הנורמלית.[30] בבואו לחקור את התפלגות השגיאות, גישתו של לפלס הייתה הפוכה מזו של גאוס, בייסיאנית במהותה: לפלס בחר להניח כי לשגיאות המדידה ישנה התפלגות משותפת מסוימת, התפלגות אפריורית, וטען כי גם כאשר התפלגות זו אינה ההתפלגות הנורמלית — היא בכל אופן מתכנסת להתפלגות הנורמלית, כפי שקובע משפט הגבול המרכזי.[31] לפלס לא סיפק ניסוח מלא והוכחה של משפט הגבול המרכזי, אך הוא הציג גרסה ראשונה שלו עבור התפלגות בינומית, כפי שכבר חזה דה-מואבר, ובשנים 18101811 הוא פיתח את התורה של פונקציות אופייניות שסיפקה הוכחה לגרסה זו. בכך תרם לפלס לביסוס חשיבותה התאורטית העליונה של ההתפלגות הנורמלית.[32]

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

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

צ'בישב

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

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

בשנת 1863 ניסח המתמטיקאי הצרפתי אירנה-ז'ול ביינאמה (בְּיָאנְאֶמֶה) (Irénée-Jules Bienaymé) לראשונה את מה שמכונה היום אי-שוויון צ'בישב, לפיו עבור משתנה מקרי   בעל שונות   ובעל תוחלת סופית, לכל   מתקיים כי ההסתברות למאורע   חסומה מלעיל על ידי  . תוצאה זו מהווה תוצאה בעל חשיבות יסודית, והיא נקראת לעיתים גם על שמו של ביינאמה.[34]

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

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

ליאפונוב

עריכה
 
אלכסנדר ליאפונוב, הראשון שהוכיח גרסה מלאה של משפט הגבול המרכזי.

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

 

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

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

התפתחות במאה ה-20

עריכה

מרקוב

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

פיתוחה של תורת ההסתברות במהלך המאה ה-20 התרחש בעקבות דחיפה עצומה שחלה במחקר בחלקה השני של המאה ה-19. כך בשנת 1907 הצליח המתמטיקאי הרוסי אנדריי מרקוב להכליל את התוצאה של צ'בישב מ-1867, ולקבוע כי חוק המספרים הגדולים תקף גם במקרה בו השונות אינה סופית, תחת תנאי חלש יותר לפיו   לאיזה   עבור קבוע  . הוא עשה זאת באמצעות פיתוח התורה של שרשראות מרקוב, ועבודתו הכללית על הוכחת חוק המספרים הגדולים היא אבן יסוד בתורה של תהליכים מקריים, שתרמה רבות גם לתורה הארגודית.[35] בשנת 1929 הכליל המתמטיקאי הרוסי אלכסנדר חינצ'ין את התוצאה של צ'בישב בכיוון אחר, והראה כי חוק המספרים הגדולים בגרסתו החלשה תקף בכל מקרה בו התוחלת סופית, בתנאי שהמשתנים המקריים הם גם שווי-התפלגות.[35]

קולמוגורוב ועמיתיו

עריכה

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

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

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

תורת התהליכים המקריים

עריכה
  ערך מורחב – תהליך מקרי

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

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

  1.   כמעט תמיד.
  2. עבור כל  , ‏  הוא משתנה מקרי בלתי-תלוי ב- .
  3. עבור כל  , ‏  הוא משתנה מקרי בעל התפלגות נורמלית מהצורה  .
  4.   רציף במשתנה   בהסתברות  .

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

 
פול לוי, ממניחי היסודות לתורת התהליכים המקריים

בהמשך המאה ה-20 בלט המחקר בתורה של תהליכים מקריים. לפיתוח תחום זה תרם רבות המתמטיקאי הצרפתי פול לוי,[11] בפרט לתורה של תהליכים אדיטיביים, והספר החשוב הראשון בתורה זו הוא ספרו משנת 1948, "תהליכים סטוכסטיים ותנועה בראונית".[42] תורם מרכזי נוסף לתורה של תהליכים מקריים היה המתמטיקאי האמריקאי ג'וזף דוב, שפיתח בשנות ה-50 את יסודות התורה של מרטינגלים. תורה זו עסקה בהילוכים מקריים המתארים משחק הוגן, בהם התוחלת של הרווח בכל שלב נקבעת על ידי השלב הקודם. התפתחות מושג התנועה הבראונית קודם לכן הולידה גם את חקר המרטינגלים בזמן רציף, וכך למשל אחת מתרומותיו הבולטות של קודמו של דוב, לוי, היה מה שכונה "קריטריון לוי", לפיו משפחת משתנים מקריים   היא תהליך וינר אם ורק אם היא מרטינגל רציף כמעט תמיד עם התנאי  , המקיים כי   גם הוא מרטינגל. עבודתו של לוי עסקה גם בתורה של חוקי גבול כלליים יותר, וכך למשל אחת הגרסאות הנודעות של משפט הגבול המרכזי פותחה על ידי לוי.

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

הביסוס האקסיומטי והמושָׂגִי של תורת ההסתברות

עריכה

אקסיומות לפלס

עריכה

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

ספרו של לפלס נפתח בסדרת העקרונות הבאים:

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

 

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

ניסיונות מוקדמים

עריכה

הצורך בגיבוש בסיס אקסיומטי מוצק לתורת ההסתברות גבר בסוף המאה ה-19. כך בשנת 1889 פרסם המתמטיקאי הצרפתי ז'וזף ברטראן, בספרו "חשבון ההסתברות",[44] את הפרדוקס שמאוחר יותר קיבל את שמו "הפרדוקס של ברטראן". הפרדוקס עסק בשאלה הבאה: ”בהינתן מעגל במישור ומשולש שווה-צלעות החסום בו, מהי ההסתברות שמיתר אקראי יהיה ארוך יותר מצלעו של המשולש?” ברטרנד תיאר כמה צורות שונות לחשב הסתברות זאת, והגיע לתוצאות שונות. הפתרון לפרדוקס נבע מכך שמרחב ההסתברות בפרדוקס אינו מוגדר היטב, היות שלא ברור האם מה ש"אקראי" הוא נקודות הקצה של המיתר, נקודת האמצע שלו או הרדיוס.[45] כוונתו של ברטאן הייתה לערער על האפשרות להעמיד את תורת ההסתברות על יסודות אקסיומטיים, מתוך תפיסה שרכיב האקראיות סותר את העקרונות המדעיים המקובלים, וכך הוא כתב בספרו זה: ”כיצד נעז לדבר על אודות חוקי ההסתברות? האם "הסתברות" אינה האנטיתזה לכל חוק?!”[46] למרות כוונתו של ברטראן, הפרדוקס שהציג השפיע על הבנת הצורך בהגדרה מדויקת של ההתפלגות האחידה, וממנה על הבנת החשיבות של בניית מערכת אקסיומות עקבית לתורת ההסתברות.

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

ניסיון נוסף לתאר אקסיומטית את תורת ההסתברות נעשה על ידי ריכרד פון מיזס בשנת 1919.[48] ניסיון זה לא צלח, אך קולמוגורוב העיד כי הוא שאב מניסיון זה השראה.[49] באותה השנה, המתמטיקאי הצרפתי פול לוי מסר שלוש הרצאות מפורסמות באקול פוליטקניק על אודות המושגים היסודיים של תורת ההסתברות, וכן על התפלגות השגיאות לפי עבודתו של גאוס.[50] לעבודתו של לוי הייתה תרומה גדולה לגיבוש תורת ההסתברות לכדי תורה מתמטית, בפרט בספרו "תורת החשבון של הסתברות",[51] שפורסם בשנת 1925.[50]

השפעת תורת המידה

עריכה
 
אמיל בורל, הראשון שהבין את הקשר בין תורת ההסתברות לבין תורת המידה.

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

עוד קודם לקולמוגורוב, בשנת 1923, סיפק המתמטיקאי הפולני הוגו שטיינהאוס לראשונה תיאור פורמלי של מרחב ההסתברות של הטלות מטבע,[53] שהושפע מתיאורו המוקדם של בורל.[54] בנוסף, שטיינהאוס גם היה הראשון שסיפק תיאור פורמלי של ההתפלגות האחידה הרציפה, וכן למושג התלות בין שני משתנים מקריים.[55]

אקסיומות קולמוגורוב

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

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

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

מופיע בתוך: Glenn Shafer, The origins and legacy of Kolmogorov’s Grundbegriffe, Introduction, page 1

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

קולמוגורוב מציג תחילה תיאור כללי של אקסיומות מרחב הסתברות בעל אוסף מאורעות סופי, באופן הבא:

תהי   אוסף של אלמנטים  , להם נקרא מאורעות בסיסיים, ותהי   קבוצה של תת-קבוצות של  ; האיברים של הקבוצה   יכונו מאורעות מקריים.

  1.   היא שדה של קבוצות.[57]
  2.   מכילה את הקבוצה  .
  3. לכל קבוצה   ב- , מתאים מספר ממשי אי-שלילי  . מספר זה נקרא ההסתברות של המאורע  .
  4.   שווה ל- .
  5. אם ל-  ול-  אין איברים משותפים, אז  .[58]

מערכת של קבוצות,  , בצירוף הגדרה של מספרים  , המקיימת את אקסיומות 1–5, נקראת שדה הסתברות.

Elementary Theory of Probability, פרק 1: Axioms.

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

אקסיומות קוקס

עריכה

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

  1. התחלקות והשוואתיות — ההסתברות של קביעה היא מספר ממשי התלוי במידע המיוחס לקביעה עצמה.
  2. שכל ישר — ההסתברויות המיוחסות לקביעות משתנות בהתאם לסבירות של הקביעה במודל.
  3. עקביות — אם ניתן לחשב את ההסתברויות בצורות שונות, כל התוצאות צריכות להיות שוות.

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

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

השפעות על התפתחות ענפי מדע אחרים

עריכה

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

סטטיסטיקה ומתמטיקה סטטיסטית

עריכה
  ערכים מורחבים – סטטיסטיקה, היסטוריה של הסטטיסטיקה

שימוש נאיבי בסטטיסטיקה ידוע עוד אפילו מהמאה ה-9,[64] אולם הסטטיסטיקה החלה את התפתחותה הפורמלית במהלך המאה ה-18, והשתכללה לכדי תורה פורמלית ומבוססת מבחינה מתמטית רק על בסיסה של תורת ההסתברות, כפי שתיאר המתמטיקאי הצרפתי אמיל בורל: ”...אנו יכולים לנסח מהי בעיה כללית במתמטיקה סטטיסטית באופן הבא: הגדר מערכת של דגימות מתוך מצבור בעל ערבוב קבוע, כך שהתוצאה של סדרת דגימות, המתפרשת בעזרת קבועים הנבחרים לצורך הפשטות, מובילה בהסתברות (ההדגשה אינה במקור) מאוד טובה לטבלה זהה לטבלה של התצפיות.”[65]

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

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

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

מתמטיקה טהורה

עריכה
  ערכים מורחבים – תורת המידה, השיטה ההסתברותית
 
פאול ארדש, מייסד השיטה ההסתברותית

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

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

אלגוריתמיקה ומדעי המחשב

עריכה

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

במהלך שנות ה-70 של המאה ה-20 פותחו אלגוריתמים אקראיים כדי לפתור ביעילות רבה בעיות שימושיות. ב-1976 הציג המתמטיקאי הישראלי מיכאל רבין אלגוריתם אקראי לפתרון בעיה מתחום הגאומטריה החישובית, בעיית זוג הנקודות הקרובות ביותר (אנ'). אחת הבעיות הראשונות שבהן הודגמו חוזקם של אלגוריתמים הסתברותיים והייתה זרז לפיתוח האלגוריתמים האקראיים הייתה בעיית בדיקת ראשוניות.[70] באותה עת לא הייתה ידועה דרך יעילה לבדוק האם מספר הוא ראשוני בזמן ריצה פולינומי (כיום ידוע בשם מבחן AKS לראשוניות). אלגוריתם הסתברותי יעיל לפתרון בעיה זו הוצג ב-1977 על ידי המתמטיקאי האמריקאי רוברט סולוביי והמתמטיקאי הגרמני פולקר שטרסן, ושנודע בעקבות ממציאיו בשם מבחן סולוביי-שטרסן.[71] ב-1980 פורסם על ידי מיכאל רבין אלגוריתם חזק יותר לבדיקת ראשוניות, אלגוריתם מילר-רבין .[72] לאלגוריתמים אלו לבדיקת ראשוניות הייתה חשיבות רבה במדעי המחשב, שכן הם היוו את הבסיס לפיתוחן של שיטות הצפנה נפוצות כדוגמת RSA.

ב-1977 פרסם המתמטיקאי האמריקאי ג'ון גיל את מודל מכונת טיורינג הסתברותית, ובכך הניח את היסודות לניתוח אלגוריתמים הסתברותיים במסגרת תורת הסיבוכיות.[70][73]

פיזיקה סטטיסטית

עריכה
  ערכים מורחבים – פיזיקה סטטיסטית, התאוריה הקינטית של הגזים

בשנת 1738 פרסם המתמטיקאי ההולנדי-שווייצרי דניאל ברנולי את מאמרו "הידרודינמיקה", ובו הציע להתייחס לגז כאל אוסף של חלקיקים הנעים באקראי, על סמך מודל של כדורי ביליארד. בכך תרם ברנולי לייסוד התאוריה הקינטית של הגזים. בשנת 1856 פרסם אוגוסט קארל קרניג (אנ') מאמר בהשפעת זה של ברנולי, שבו נעשה לראשונה שימוש בהסתברות כדרך לתמוך בתאוריה הקינטית. קרניג לא התייחס במאמרו לסטטיסטיקה, אבל ההצדקה שלו למודל שהציע, לפיו ניתן להניח שמולקולות הגז בתוך מיכל עם דפנות חלקות נעות במקביל אחת לשנייה, תאמה את השפה שבה השתמשו כותבים שעסקו בתחום. הוא כתב, "המסלול של כל אטום גז חייב להיות כה בלתי-רגיל, שהוא בלתי ניתן לחישוב. עם זאת, בהתאם לחוקי ההסתברות ניתן להניח סדר מוחלט במקום אי-סדירות מוחלטת". באותה שנה, וככל הנראה ללא היכרות עם המאמר של קרניג, הביע רודולף קלאוזיוס את אותו הרעיון.[74]

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

 
לודוויג בולצמן, מאבות המכניקה הסטטיסטית

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

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

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

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

תורת האינפורמציה

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

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

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

מודל בלק-שולס לתמחור אופציות

עריכה
  ערך מורחב – מודל בלק ושולס

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

בראשית שנות ה-70 החלו הכלכלנים מיירון שולס ופישר בלק מאוניברסיטת שיקגו לעבוד על פיתוח מודל שייתן פתרון לבעיה של תמחור מניות, שהפכה רלוונטית יותר ככל שהתפתחו שוקי ההון. בשנת 1973 הם פרסמו את המאמר "תמחור אופציות והתחייבויות תאגידיות",[79] כאשר עמיתם הכלכלן האמריקאי רוברט קרהרט מרטון פרסם בסמוך מאמר אחר, "התאוריה של תמחור רציונלי של אופציות",[80] ובו התייחס למאמרם של השניים ופיתח את המודל. מודל זה נשען בצורה מהותית על תורת ההסתברות, בכך שהוא מבוסס על ההנחה כי השינויים בשער הם תנועה בראונית גאומטרית המתוארת על ידי התפלגות לוג-נורמלית. מרטון הוא שנתן לנוסחה את שמה "בלק-שולס", על אף שגם הוא תרם למודל. עבודה זו היוותה פריצת דרך חשובה בתחום המתמטיקה הפיננסית, ושולס ומרטון זכו עבורה בפרס נובל לכלכלה בשנת 1997 (בלק נפטר קודם לכן).

לקריאה נוספת

עריכה
  • Anders Hald, A History of Mathematical Statistics from 1750 to 1930, New York: Wiley, 1998
  • Anders Hald, A History of Probability and Statistics and Their Applications before 1750, New York: Springer, 2003
  • Ian Hacking, The Emergence of Probability, New York: Cambridge University Press, 2006
  • M. G. Kendall, Studies in the History of Probability and Statistics. XIII Isaac Todhunter's History of the Mathematical Theory of Probability, in: Biometrika, Vol. 50, No. 1/2 (Jun., 1963), pages 204-205

קישורים חיצוניים

עריכה

הערות שוליים

עריכה
  1. ^ כך למשל ביוון העתיקה הייתה נפוצה גרסה של משחק פוקר ומשחקים שונים בהם נעשה שימוש בקוביית משחק. Gambling in Ancient Civilizations.
  2. ^ כך למשל בקוראן נאסרו ה"מייסיר", כלומר הימורים, כי מדובר ב"מעשה שטן" (קוראן, סורת אל-מאאידה (5), 91-90).
  3. ^ Gerhard Gerlich, The Role of Probability and Statistics in Physics, in: "Probability and Bayesian Statistics" (1987), pages 193-201.
  4. ^ 1 2 Youssef Marzouk and Karen Wilcox, Uncertainty Quantification, chapter II.34 in: "The Princeton Companion to Applied Mathematics" (page 131), Editor: Nicholas J. Higham, Princeton University Press (2015)
  5. ^ באנגלית: "A History of the Mathematical Theory of Probability from the Time of Pascal to that of Laplace"
  6. ^ השם המקורי בלטינית: "Summa de arithmetica, geometria, proportioni et proportionalita", ובעברית: "סיכום של גאומטריה, אריתמטיקה, יחסים ומידתיות".
  7. ^ אביבה אלחנן ונצה מובשוביץ-הדר, על התפתחות תורת ההסתברות, על"ה, 10 (עמודים 28–33), מרץ 1992.
  8. ^ Bartholomew Medina באתר "New Advent".
  9. ^ Review of Liber De Ludo Aleae (Book on Games of Chance) by Gerolamo Cardano
  10. ^ A History of Probability and Statistics and Their Applications before 1750, chapter 12.2, "NEW CONTRIBUTIONS PUBLISHED BETWEEN 1657 AND 1708", page 184.
  11. ^ 1 2 Par Jean Jacod & Philip Protter, Probability Essentials, "Introduction", page 1.
  12. ^ 1 2 3 What is the early history of the concepts of probabilistic independence and conditional probability/expectation? באתר MathOverflow.
  13. ^ בלטינית: "De Ratiociniis in Ludo Aleae"
  14. ^ בלטינית: "Ars Conjectandi"
  15. ^ קרדנו פרסם רק "מדריך למשחקי מזל", והויגנס פרסם חוברת דקה שהכילה דוגמאות.
  16. ^ באנגלית: "The Doctrine of Chance: A method of calculating the probabilities of events in play"
  17. ^ ביוגרפיה של אברהם דה-מואבר, באתר MacTutor (באנגלית)
  18. ^ [17]
  19. ^ 1 2 בספרו A History of the Mathematical Theory of Probability from the Time of Pascal to that of Laplace משנת 1865. ראו: לירן זיידמן, ‏אברהם דה-מואברה – אבי תורת ההסתברות, באתר "הידען", 20 בנובמבר 2009.
  20. ^ Abraham De Moivre (November 12, 1733) "Approximatio ad summam terminorum binomii (a+b)n in seriem expansi" (self-published pamphlet), 7 pages.
  21. ^ Johnson, Norman L.; Kotz, Samuel; Balakrishnan, Narayanaswamy (1994). Continuous Univariate Distributions, Volume 1. Wiley. page 85.
  22. ^ Stephen M. Stigler, The History of Statistics: The Measurement of Uncertainty before 1900, Harvard University Press (1986), page 76.
  23. ^ Pearson, Karl. "Historical note on the origin of the normal curve of errors". Biometrika. 16: 402–404.
  24. ^ Stephen M. Stigler, Poisson on the Poisson distribution, Statistics & Probability Letters 1.1 (1982), pages 33-35.
  25. ^ באנגלית: "Research on the Probability of Criminal and Civil Verdicts"
  26. ^ Siméon-Denis Poisson, באנציקלופדיה בריטניקה.
  27. ^ בלטינית: "Theoria motus corporum coelestium in sectionibus conicis solem ambientium"
  28. ^ בספרו, בחלק 177. ראו גם: יוסי לוי, ההיסטוריה של ההתפלגות הנורמלית, באתר "נסיכת המדעים".
  29. ^ בצרפתית: "Théorie analytique des probabilités"
  30. ^ Pearson, Karl (1905). "'Das Fehlergesetz und seine Verallgemeinerungen durch Fechner und Pearson'. A rejoinder". Biometrika. 4 (1): 169–212. page 189.
  31. ^ History of the Normal Distribution באתר Online Statistics Education; יוסי לוי, ההיסטוריה של ההתפלגות הנורמלית, באתר "נסיכת המדעים".
  32. ^ Stigler, Stephen M. (1986). The History of Statistics: The Measurement of Uncertainty before 1900. Harvard University Press. ISBN 0-674-40340-1. page 144.
  33. ^ John Aldrich, R. A. Fisher on Bayes and Bayes' Theorem, Bayesian analysis (2008), 3 (1), pages 161–170
  34. ^ 1 2 3 ביוגרפיה של פפנוטי צ'בישב, באתר MacTutor (באנגלית)
  35. ^ 1 2 3 יורי פרוחורוב, Law of large numbers באתר Encyclopedia of Mathematics.
  36. ^ באנגלית: "On two theorems concerning probability"
  37. ^ A P Youschkevitch, Biography in Dictionary of Scientific Biography (New York 1970-1990).
  38. ^ Tijms Henk, Understanding Probability: Chance Rules in Everyday Life, Cambridge University Press (2004), page 169.
  39. ^ Patrick Billingsley, Probability and Measure (1995; Third edition), page 362.
  40. ^ 1 2 ביוגרפיה של אנדריי קולמוגורוב, באתר MacTutor (באנגלית)
  41. ^ ביוגרפיה של ג'ורג' פוליה, באתר MacTutor (באנגלית)
  42. ^ באנגלית: "Processus stochastiques et mouvement brownien"
  43. ^ בצרפתית: "Essai philosophique sur les probabilités"
  44. ^ בצרפתית: "Calcul des probabilitiés"
  45. ^ ראו עוד: P D Vestergaard, How long is the chord? (Bertrand's paradox) (Danish), Normat 3 (1979), 112-114; 128.
  46. ^ Chance by Henry Poincare. In: James Roy Newman (Editor), "The World of Mathematics", Volume 2, 2000.
  47. ^ Eugenio Regazzini, Probability and statistics in Italy during the First World War I: Cantelli and the laws of large numbers, in: Electronic Journal for History of Probability and Statistics, 2005.
  48. ^ A. Szafarz, "Richard von Mises: l'échec d'une axiomatique", Dialectica 38 (4), 1984, pp. 311–317.
  49. ^ אנדריי קולמוגורוב, On tables of random numbers, הודפס בכתב העת Sankhyā: The Indian Journal of Statistics, Series A (1961-2002), Vol. 25, No. 4 (Dec., 1963), pages 369-376.
  50. ^ 1 2 ביוגרפיה של פול לוי, באתר MacTutor (באנגלית)
  51. ^ בצרפתית: "Calcul des probabilités"
  52. ^ 1 2 Maurice Sion, HISTORY OF MEASURE THEORY IN THE TWENTIETH CENTURY, page 23.
  53. ^ Mark Kac, Enigmas of chance: an autobiography, University of California Press (1987), pages 49–53.
  54. ^ Mark Kac, Enigmas of chance: an autobiography, University of California Press (1987), page 65.
  55. ^ ביוגרפיה של הוגו שטיינהאוס, באתר MacTutor (באנגלית)
  56. ^ בגרמנית: "Grundbegriffe der Wahrscheinlichkeitsrechnung", ובאנגלית: "Foundations of the Theory of Probability"
  57. ^ קולמוגורוב מסביר בעצמו בהערת שוליים מהו שדה של קבוצות, בהתבסס על הגדרה של פליקס האוסדורף: קבוצה של קבוצות, שסגורה תחת איחוד, חיתוך והפרש של כל זוג קבוצות שלה. כיום נהוג לקרוא לקבוצה כזאת אלגברה של קבוצות.
  58. ^ קולמוגורוב משתמש בסימון   עבור איחוד.
  59. ^ Alan Hájek, "Interpretations of Probability", The Stanford Encyclopedia of Philosophy
  60. ^ 1 2 Stefan Arnborg and Gunnar Sjödin, On the foundations of Bayesianism, Preprint: Nada, KTH (1999).
  61. ^ oseph Y. Halpern, "A counterexample to theorems of Cox and Fine," Journal of AI research, 10, 67–85 (1999).
  62. ^ Edwin Thompson Jaynes, Probability Theory: The Logic of Science, Cambridge University Press (2003). — preprint version (1996) at http://omega.albany.edu:8008/JaynesBook.html; Chapters 1 to 3 of published version at http://bayes.wustl.edu/etj/prob/book.pdf
  63. ^ Van Horn, K. S. (2003). "Constructing a logic of plausible inference: A guide to Cox's theorem". International Journal of Approximate Reasoning. 34: 3–24.
  64. ^ Simon Singh, The code book : the science of secrecy from ancient Egypt to quantum cryptography, New York: Anchor Books (2000)
  65. ^ Colin Howson, The Development of Logical Probability, in: "Essays in Memory of Imre Lakatos", Volume 39 of the series Boston Studies in the Philosophy of Science pp 277-298.
  66. ^ באנגלית: " Annuities upon Lives: Or, the Valuation of Annuities upon any Number of Lives"
  67. ^ Frank J. Swetz, Mathematical Treasure: De Moivre’s Annuities on Lives, MATHEMATICAL ASSOCIATION OF AMERICA
  68. ^ Erdős, P.; Rényi, A. (1963), "Asymmetric graphs", Acta Mathematica Academiae Scientiarum Hungaricae, 14: 295–315
  69. ^ Cameron, Peter J. (1997), "The random graph", The mathematics of Paul Erdős, II, Algorithms Combin., 14, Berlin: Springer, pp. 333–351
  70. ^ 1 2 Richard M. Karp, An introduction to randomized algorithms, Discrete Applied Mathematics 34, 1991-11-21, עמ' 165–201 doi: 10.1016/0166-218X(91)90086-C
  71. ^ R. Solovay, V. Strassen, A Fast Monte-Carlo Test for Primality, SIAM Journal on Computing 6, 1977-03-01, עמ' 84–85 doi: 10.1137/0206006
  72. ^ Michael O Rabin, Probabilistic algorithm for testing primality, Journal of Number Theory 12, 1980-02-01, עמ' 128–138 doi: 10.1016/0022-314X(80)90084-0
  73. ^ J. Gill, Computational Complexity of Probabilistic Turing Machines, SIAM Journal on Computing 6, 1977-12-01, עמ' 675–695 doi: 10.1137/0206049
  74. ^ Theodore M. Porter, The Rise of Statistical Thinking, 1820-1900 (Princeton University Press: 2020), p. 115
  75. ^ באנגלית: "A Mathematical Theory of Communication"
  76. ^ C.E. Shannon, "A Mathematical Theory of Communication", Bell System Technical Journal (1948), vol. 27, pages 379–423, 623-656.
  77. ^ על פי Google Scholar
  78. ^ בצרפתית: "Théorie de la spéculation"
  79. ^ באנגלית: "The Pricing of Options and Corporate Liabilities"
  80. ^ באנגלית: "Theory of Rational Option Pricing"