עוצמה (מתמטיקה)

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

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

• העוצמה של הקבוצה הריקה היא אפס.
• העוצמה של קבוצת ימי השבוע היא שבע.
• העוצמה של קבוצת חברי הכנסת המכהנים כיום היא 120.

דוגמאות לקבוצות עם עוצמה אינסופית:

• כל המספרים השלמים המתחלקים ב־3.
• כל המספרים (הלא שלמים) בין 0 ל־1.

את העוצמה של קבוצה $A$ מסמנים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |A|} .

שקילות בין קבוצות

ערך מורחב – קבוצות שקולות

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

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

אחת התוצאות המפתיעות הראשונות של ההגדרה הזו היא שקבוצה יכולה לחפוף לתת-קבוצה שלה. למשל, קבוצת המספרים הטבעיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1,2,3,\ldots} חופפת לקבוצת כל המספרים הזוגיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2,4,6,\ldots} , כאשר ההתאמה או הזיווג הוא של כל מספר טבעי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} עם המספר הזוגי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2n} . ברור שההתאמה הזו מסדרת את המספרים משתי הקבוצות בזוגות, ושהזוגות ממצים את כל המספרים משתי הקבוצות. כלומר, לקבוצת המספרים הטבעיים ולקבוצת המספרים הזוגיים יש אותה עוצמה.

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

תוצאה שאינה מובנת מאליה היא הוכחתו של גאורג קנטור שהמספרים הרציונליים החיוביים הם קבוצה בת מנייה, כלומר, קיימת התאמה חד־חד־ערכית בינם לבין המספרים הטבעיים. אכן, אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r=\frac{a}{b}} מספר רציונלי (כאשר $a,b$ שלמים), נקרא ל־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |a|+|b|} הגובה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} . לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} טבעי יש מספר סופי של שברים מגובה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} , ולכן אפשר למנות את הרציונליים על ידי מעבר על השברים מגובה 1, אחר־כך על השברים מגובה 2, וכן הלאה.

ריבוי עוצמות

למרות התוצאות שהודגמו להלן, אין זה נכון שלכל הקבוצות האינסופיות יש אותה עוצמה: משפט קנטור קובע שעוצמתה של קבוצת החזקה של $A$ גדולה מעוצמתה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , ובפרט לכל קבוצה קיימת קבוצה בעלת עוצמה גדולה יותר. אוסף כל העוצמות הוא כה גדול עד שבתורת הקבוצות האקסיומטית הוא אינו נחשב לקבוצה אלא למחלקה (ולכן אין לו עוצמה).

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

את העוצמה של המספרים הטבעיים סימן קנטור באות העברית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_0} (קרי: אלף 0), ואת עוצמת הממשיים (עוצמת הרצף) סימן באות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph} (כיום משתמשים גם בסימון $c$ לעוצמה זו). למעשה עוצמת המספרים הממשיים שווה לעוצמת קבוצת החזקה של המספרים הטבעיים, כלומר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph=2^{\aleph_0}} .

אריתמטיקה של עוצמות

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

חיבור. הסכום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |A|+|B|} מוגדר כעוצמת האיחוד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\cup B} , בתנאי שהקבוצות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A,B} זרות. זוהי פעולה קומוטטיבית ואסוציאטיבית, אך קיומן של עוצמות אינסופיות אינו מאפשר להגדיר את פעולת החיסור: $\aleph _{0}+n=\aleph _{0}$ לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} טבעי, ואפילו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_0+\aleph_0=\aleph_0} . הסכום של קבוצה כלשהי של עוצמות מוגדרת באותה צורה כעוצמה של האיחוד של קבוצות מעוצמות מתאימות, שזרות זו לזו בזוגות. ראו עקרון החיבור.

כפל. המכפלה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |A|\cdot|B|} מוגדרת כעוצמתה של המכפלה הקרטזית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\times B} . גם פעולה זו היא קומוטטיבית ואסוציאטיבית, ואף דיסטריבוטיבית ביחס לחיבור. המכפלה של קבוצה כלשהי של עוצמות מוגדרת באותה צורה כעוצמת המכפלה הקרטזית של קבוצות מעוצמות מתאימות. ראו עקרון הכפל.

חזקה. החזקה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |A|^{|B|}} מוגדרת כעוצמתה של קבוצת הפונקציות $B\to A$ . הפעולה מקיימת את האקסיומות הרגילות של החזקה, כדוגמת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ |A|^{|B|+|C|}=|A|^{|B|}\cdot|A|^{|C|},|A|^{|B|\cdot|C|}=(|A|^{|B|})^{|C|}} . מכיוון שיש בדיוק פונקציה אחת מן הקבוצה הריקה לכל קבוצה (הלא היא הפונקציה הריקה), מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |A|^0=1} לכל עוצמה; בפרט הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0^0=1} . ממשפט קנטור ומההתאמה בין קבוצת החזקה לקבוצת הפונקציות מקבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} לקבוצה $\{0,1\}$ מקבלים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |A|<|P(A)|=2^{|A|}} . בהשוואה לזה, עקבי להניח את השערת הרצף הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^{\aleph_0}=\aleph_1} , את שלילתה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^{\aleph_0}>\aleph_1} , ואפילו את הגרסה החזקה יותר של השלילה, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^{\aleph_1}=2^{\aleph_0}} (ראו משפט איסטון ).

אם מניחים את אקסיומת הבחירה, ולפחות אחת מהעוצמות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \kappa,\mu} היא אינסופית, אז מתקיים $\kappa +\mu =\kappa \cdot \mu =\max\{\kappa ,\mu \}$ . לכן עיקר העניין הוא במכפלות ובסכומים אינסופיים של עוצמות.

מספרים מונים

הגדרת העוצמה כמחלקת שקילות של קבוצות בעלות אותו מספר איברים (כפי שהוגדרה להלן), היא בעייתית במסגרת תורת הקבוצות האקסיומטית, משום שבהגדרה הזו כל עוצמה היא מחלקה ולא קבוצה. לכן, תחת ההגדרה הנאיבית, לא ניתן לדבר על קבוצות של עוצמות ומושגים דומים במסגרת הלוגיקה מסדר ראשון של ZFC. ניתן להתגבר על הבעיה הזו באופן כללי על ידי שימוש ב"טריק" של דנה סקוט, באמצעות שימוש באקסיומת היסוד – נגדיר את העוצמה של הקבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} להיות אוסף כל הקבוצות בעלות דרגה מינימלית שיש פונקציה חח"ע ועל ביניהן לבין הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} . ניתן להראות כי אוסף זה הוא אכן קבוצה.

בהנחת אקסיומת הבחירה ניתן לפתור את הבעיה באופן פשוט יותר, באמצעות הגדרת המונה של פון נוימן: מונה הוא סודר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu} כך שלכל סודר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha<\mu} אין העתקה חח"ע מ־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu} ל־$\alpha$ . אקסיומת הבחירה שקולה לכך שכל עוצמה מיוצגת על ידי מספר מונה – כלומר שלכל קבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} יש מונה שעוצמתו היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |X|} .

כיוון שהמונים הם סודרים – הם סדורים היטב, ולכל מונה יש מונה מינימלי שגדול ממנו שנקרא המונה העוקב. למשל המונה הראשון שגדול מ־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_0} מסומן ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_1} . ניתן להמשיך ולהגדיר באינדוקציה טרנספיניטית את סדרת ה"אלף" – סדרת העוצמות של המונים האינסופיים:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_0,\aleph_1,\aleph_2,\ldots,\aleph_\omega,\aleph_{\omega+1},\ldots}

מקובל לסמן ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega_\alpha} את המספר המונה שמתאים לעוצמה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_\alpha} . אם אקסיומת הבחירה לא מתקיימת, הסדרה הזו לא ממצה את כל העוצמות ויש עוצמות שלא שוות לאף הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_\alpha} – אלו העוצמות של הקבוצות אותן לא ניתן לסדר היטב. למרות זאת, אין אף עוצמה שגדולה מכל סדרת האלף, כלומר לכל קבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} אפשר למצוא מספר אלף הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu=\aleph_\beta} כך שאין פונקציה חד חד ערכית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f:\mu\rightarrow X} (זהו מספר הרטוגס של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} ).

סדרת האלף היא סדרה נורמלית (כלומר היא עולה ממש ולכל סודר גבולי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_\alpha=\sup_{\beta<\alpha}\aleph_\beta} ) ולכן יש לה נקודות שבת, כלומר יש מונים שמקיימים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mu=\aleph_\mu} . למשל, הגבול של הסדרה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \omega,\omega_\omega,\omega_{\omega_\omega}\ldots} הוא נקודת שבת של סדרת האלף.

ראו גם

• תורת הקבוצות - מונחים
• השערת הרצף
• מונה גדול
• פונקציית הזיווג של קנטור

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

• עוצמה (מתמטיקה), באתר אנציקלופדיה למתמטיקה (באנגלית)

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

]