מספר טרנספיניטי

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

עבודה בולטת על מספרים טרנספיניטיים נעשתה על ידי המתמטיקאי הפולני ואצלב שרפינסקי, בספרו משנת 1928תבנית:כ "Leçons sur les nombres transfinis", שמהדורה מורחבת שלו, בשם "Cardinal and Ordinal Numbers" יצאה לאור ב־1958תבנית:הערה ובמהדורה שנייה ב־1965.תבנית:הערה

הגדרה

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

• ${\mathrm{\aleph }}_0$ (אלף אפס): המספר המונה הטרנספיניטי הראשון. זוהי גם העוצמה של קבוצת המספרים הטבעיים. כאשר אקסיומת הבחירה מתקיימת, המספר המונה הבא הוא ${\mathrm{\aleph }}_1$. כאשר אינה מתקיימת, ייתכנו מספרים מונים אחרים שאינם ניתנים להשוואה ל־${\mathrm{\aleph }}_1$ וגדולים מ־${\mathrm{\aleph }}_0$. כך או כך, אין מספרים מונים בין ${\mathrm{\aleph }}_0$ לבין ${\mathrm{\aleph }}_1$.
• $\omega$ (אומגה): המספר הסודר הטרנספיניטי הנמוך ביותר. זהו גם טיפוס הסדר של המספרים הטבעיים לפי הסדר הליניארי הרגיל שלהם.

השערת הרצף היא הטענה שאין מספרים מונים בין ${\mathrm{\aleph }}_0$ לבין עוצמת הרצף (העוצמה של קבוצת המספרים הממשיים): או לחלופין ש־${\mathrm{\aleph }}_1$ הוא הקרדינליות של קבוצת המספרים הממשיים. בתורת הקבוצות של צרמלו–פרנקל לא ניתן להוכיח את השערת הרצף ולא את שלילתה.

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

• $𝔪$ הוא קרדינל טרנספיניטי. כלומר, יש קבוצה $A$ שהיא אינסופית לפי הגדרת דדקינד כך שהקרדינליות של $A$ היא $𝔪$.
• $𝔪+1=𝔪$.
• ${\mathrm{\aleph }}_0\le 𝔪$.
• יש מספר מונה $𝔫$ כך שמתקיים ${\mathrm{\aleph }}_0+𝔫=𝔪$.

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

דוגמאות

בתאוריה של המספרים הסודרים של קנטור, לכל מספר שלם חייב להיות עוקב. המספר השלם הבא אחרי כל השלמים הרגילים, כלומר המספר השלם האינסופי הראשון, נקרא $\omega$. בהקשר הזה, $\omega +1$ גדול מ־$\omega$ ו־$\omega \cdot 2$, ${\omega }^2$ ו־${\omega }^{\omega }$ גדולים עוד יותר. ביטויים אריתמטיים המכילים $\omega$ מציינים מספר סודר, וניתן לחשוב עליו כקבוצת כל המספרים השלמים עד למספר זה. למספר נתון יש בדרך כלל ביטויים מרובים המייצגים אותו, עם זאת, יש צורה נורמלית ייחודית של קנטור תבנית:אנג המייצגת אותו, שהיה בבסיסה רצף סופי של ספרות שנותנים מקדמים של חזקות יורדות של $\omega$.

עם זאת, לא כל המספרים השלמים האינסופיים יכולים להיות מיוצגים על ידי צורה נורמלית של קנטור, והראשון שלא ניתן לייצגו הוא הגבול ${\omega }^{{\omega }^{{\omega }^{...}}}$ המכונה ${\epsilon }_0$. ${\epsilon }_0$ הוא הפתרון הקטן ביותר למשוואה ${\omega }^{\epsilon }=\epsilon$, והפתרונות הבאים ${\epsilon }_1,...,{\epsilon }_{\omega },...,{\epsilon }_{{\epsilon }_0}...$ נותנים אורדינלים גדולים יותר, ויכולים להימשך עד שמגיעים לגבול ${\epsilon }_{{\epsilon }_{{\epsilon }_{...}}}$, שהוא הפתרון הראשון ל־${\epsilon }_{\alpha }=\alpha$. זה אומר שכדי להיות מסוגל לציין את כל המספרים השלמים הטרנספיניטיים, צריך לחשוב על רצף אינסופי של שמות: כי אם נציין מספר שלם יחיד גדול ביותר, תמיד אפשר יהיה לציין את העוקב הגדול ממנו. אבל כפי שציין קנטור, אפילו זה רק מאפשר להגיע למחלקה הנמוכה ביותר של מספרים טרנספיניטיים: אלה שגודל הקבוצות שלהם תואם למספר המונה ${\mathrm{\aleph }}_0$.

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

• Transfinite Numbers and Set Theory, The University of Utah
• תבנית:MathWorld
• תבנית:בריטניקה