הוכחות מתמטיות/תורת הקבוצות/האלכסון של קנטור ועוצמת הממשיים

הוכחה

עריכה

ראשית, ניווכח כי אכן  :
נגדיר   כ- , מובן כי היא חח"ע.
נגדיר   כ- , אשר גם היא חח"ע.
לפי משפט קנטור-שרדר-ברנשטיין נקבל  .

שנית, מאחר ו-  נקבל אוטומטית  

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

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

אם נשלב את כל שקיבלנו, נמצא כי  .