Loading AI tools
סימון מתמטי; עוצמת המספרים הטבעיים מוויקיפדיה, האנציקלופדיה החופשית
(אָלֶף אֶפֶס) הוא הסימון המקובל בתורת הקבוצות לעוצמה של קבוצת המספרים הטבעיים, שהיא העוצמה האינסופית הקטנה ביותר[1]. כמו שמוכיח משפט קנטור, אף עוצמה אינה גדולה ביותר.
קבוצות שעוצמתן אלף אפס נקראות קבוצות בנות מנייה.
תורת הקבוצות נוסדה על ידי המתמטיקאי הגרמני גאורג קנטור בסוף המאה ה-19. הוא השתמש לראשונה בסימון אָלֶף אֶפֶס במאמר שנכתב בשנת 1893, וראה אור בדפוס בשנת 1895, בכותרת Die kleinste transfinite Cardinalzahl Alef-null (המספר המונה האינסופי הקטן ביותר אלף אפס), שהופיע בכתב העת Mathematische Annalen. במאמר כותב קנטור: wir nennen die ihr zukommende Cardinalzahl, in Zeichen (נקרא למספר המונה הקשור בקבוצה זו בסימן ).
במכתב ששלח קנטור ב-30 באפריל 1895 הסביר את מניעיו לבחור באות א של האלפבית העברי: "נראה לי שלמטרה זו מערכות אלפבית אחרות כבר היו בשימוש נרחב מדי". פרשנים שונים ייחסו לקנטור כוונות עמוקות יותר, החל מהפירוש התמים שאלף, האות הראשונה באלפבית העברי, מציינת התחלה חדשה, המשך בפירושים שלפיהם קנטור, שהיה ממשפחה מתבוללת, ידע שאלף היא האות הראשונה של המילה העברית "אינסוף", וכלה בטענה שקנטור בחר באות אלף בשל משמעותה בקבלה. או רמיזה לכינוי "אלופו של עולם" לה', שהוא אינסופי.
בדומה לסימון לעוצמה האינסופית הקטנה ביותר, מגדירים כעוצמה הקטנה ביותר הגדולה מ-, כעוצמה הקטנה ביותר הגדולה מ-, וכן הלאה. העוצמה מוגדרת כעוצמה הקטנה ביותר הגדולה מכל , וכך מוגדרת באינדוקציה טרנספיניטית העוצמה לכל מספר סודר .
את עוצמת הרצף, שהיא עוצמת הממשיים, סימן קנטור באות (כיום משתמשים גם באות , שהיא האות הראשונה של המלה continuum, לעוצמה זו). הוכחת האלכסון של קנטור מראה כי . הוכח שעוצמת המספרים הממשיים שווה לעוצמת קבוצת החזקה של המספרים הטבעיים, כלומר .
קנטור שיער ש-, כלומר, יש רק עוצמה אינסופית אחת הקטנה משל הממשיים, והיא זו של הטבעיים. השערה זו נודעה בשם "השערת הרצף". בשנת 1940 הוכיח קורט גדל שהשערת הרצף אינה עומדת בסתירה למערכת האקסיומות של תורת הקבוצות. בשנת 1963 הוכיח המתמטיקאי פול כהן שגם שלילת ההשערה אינה סותרת את מערכת האקסיומות של תורת הקבוצות. יחד, מראות התוצאות האלה שהשערת הרצף עצמאית.
גם לאות ב' יש שימוש בתורת הקבוצות. הסימון מציין את עוצמת הרצף .
מציין את .
מציין את .
מציין את .
וכן הלאה ע"פ הנוסחה עבור סודרים עוקבים, ו- עבור סודרים גבוליים.