מספר סוריאליסטי

מספר סוריאליסטי הוא מבנה קומבינטורי המייצג משחק אסטרטגיה, שאותו ניתן לעיתים לפרש כמספר. המתמטיקאי האנגלי-אמריקאי ג'ון קונווי המציא או גילה (כדבריו של קונווי) את המספרים הסוריאליסטים בתחילת שנות ה-70 של המאה ה-20. הם הופיעו לראשונה בנובלה פרי עטו של דונלד קנות' שאף נתן להם את שמם. מאוחר יותר הופיעה התאוריה בספרו של קונווי  On Numbers and Games. המספרים הסוריאליסטים מהווים מערכת מספרים משוכללת, המכלילה במובנים רבים את מערכות המספרים המוכרות (כגון שדה המספרים הממשיים ואוסף המספרים הסודרים). השם Surreal number רומז לאופי הסוריאלסטי-משהו של הבנייה, ולכך שמספרים אלו ניצבים (במידת-מה) מעבר למספרים הממשיים (Real numbers).
מערכת המספרים הסוריאליסטיים מאפשרת פיתוח של מערכות המספרים בדרך שונה מזו המקובלת במתמטיקה (והמוצגת בערך מערכות מספרים). בנוסף לכך, היא מהווה כלי תאורטי חשוב בניתוח משחקים, במסגרת תורת המשחקים הקומבינטורית.

משחקים

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

מִספרים כמשחקים

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

שדה המספרים הסוריאליסטיים

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