אלף אפס

${\displaystyle \aleph _{0}}$ (אָלֶף אֶפֶס) הוא הסימון המקובל בתורת הקבוצות לעוצמה של קבוצת המספרים הטבעיים, שהיא העוצמה האינסופית הקטנה ביותר. קבוצות שעוצמתן אלף אפס נקראות קבוצות בנות מנייה.

==היסטוריה==.${\displaystyle \aleph _{0}}$ תורת הקבוצות נוסדה על ידי המתמטיקאי הגרמני גאורג קנטור בסוף המאה ה-19. הוא השתמש לראשונה בסימון אָלֶף אֶפֶס במאמר שנכתב בשנת 1893, וראה אור בדפוס בשנת 1895, בכותרת Die kleinste transfinite Cardinalzahl Alef-null (המספר המונה האינסופי הקטן ביותר אלף אפס), שהופיע בכתב העת Mathematische Annalen. במאמר כותב קנטור:

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

בדומה לסימון ${\displaystyle \aleph _{0}}$ לעוצמה האינסופית הקטנה ביותר, מגדירים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \aleph_1} כעוצמה הקטנה ביותר הגדולה מ-${\displaystyle \aleph _{0}}$, עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \aleph_2} כעוצמה הקטנה ביותר הגדולה מ-עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \aleph_1} , וכן הלאה. העוצמה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \aleph_\omega} מוגדרת כעוצמה הקטנה ביותר הגדולה מכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \aleph_n} , וכך מוגדרת באינדוקציה טרנספיניטית העוצמה ${\displaystyle \aleph _{\alpha }}$ לכל מספר סודר ${\displaystyle \alpha }$.

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

קנטור שיער ש-עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \aleph _{1}=2^{\aleph _{0}}} , כלומר, יש רק עוצמה אינסופית אחת הקטנה משל הממשיים, והיא זו של הטבעיים. השערה זו נודעה בשם "השערת הרצף". בשנת 1940 הוכיח קורט גדל שהשערת הרצף אינה עומדת בסתירה למערכת האקסיומות של תורת הקבוצות. בשנת 1963 הוכיח המתמטיקאי פול כהן שגם שלילת ההשערה אינה סותרת את מערכת האקסיומות של תורת הקבוצות. יחד, מראות התוצאות האלה שהשערת הרצף עצמאית.

ב (מתמטיקה)

גם לאות ב ישנו שימוש בתורת הקבוצות.

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \begin{align}\beth_1=2^{\aleph_0}\\\beth_{n+1}=2^{\beth_n}\end{align}}

ראו גם

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

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

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