אלף אפס

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

קבוצות שעוצמתן אלף אפס נקראות קבוצות בנות מנייה.

היסטוריה

תורת הקבוצות נוסדה על ידי המתמטיקאי הגרמני גאורג קנטור בסוף המאה ה-19. הוא השתמש לראשונה בסימון אָלֶף אֶפֶס במאמר שנכתב בשנת 1893, וראה אור בדפוס בשנת 1895, בכותרת Die kleinste transfinite Cardinalzahl Alef-null (המספר המונה האינסופי הקטן ביותר אלף אפס), שהופיע בכתב העת Mathematische Annalen. במאמר כותב קנטור: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, \aleph_0} wir nennen die ihr zukommende Cardinalzahl, in Zeichen (נקרא למספר המונה הקשור בקבוצה זו בסימן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \!\, \aleph_0} ).

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

בדומה לסימון הפענוח נכשל (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} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_2} כעוצמה הקטנה ביותר הגדולה מ-הפענוח נכשל (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_\omega} מוגדרת כעוצמה הקטנה ביותר הגדולה מכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph_n} , וכך מוגדרת באינדוקציה טרנספיניטית העוצמה הפענוח נכשל (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 \alpha} .

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

קנטור שיער ש-$\aleph _{1}=2^{\aleph _{0}}$, כלומר, יש רק עוצמה אינסופית אחת הקטנה משל הממשיים, והיא זו של הטבעיים. השערה זו נודעה בשם "השערת הרצף". בשנת 1940 הוכיח קורט גדל שהשערת הרצף אינה עומדת בסתירה למערכת האקסיומות של תורת הקבוצות. בשנת 1963 הוכיח המתמטיקאי פול כהן שגם שלילת ההשערה אינה סותרת את מערכת האקסיומות של תורת הקבוצות. יחד, מראות התוצאות האלה שהשערת הרצף עצמאית.

ב

ערך מורחב – ב (מתמטיקה)

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

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

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

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

וכן הלאה ע"פ הנוסחה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beth_{\alpha+1}=2^{\beth_\alpha}} עבור סודרים עוקבים, ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beth_\lambda=\sup\{\beth_\alpha:\alpha<\lambda\}} עבור סודרים גבוליים.

ראו גם

• המלון של הילברט

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

• Earliest Uses of Symbols of Set Theory and Logic
• Aleph Null and Cantor
• אלף אפס, באתר MathWorld (באנגלית)

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

אלף אפס38970223Q1445491