שינויים

/* השוואות עוצמות */
באופן דומה נשלח את <math>(-1,0)</math> לקטע <math>(-\infty,0)</math> וסה"כ קיבלנו פונקציה חח"ע ועל מקטע סופי לכל ציר הממשיים.
 
 
'''תרגיל.''' ראינו ש <math>|\mathbb{N}|=|\mathbb{N}\times\mathbb{N}|</math>. האם אותו דבר נכון גם לגבי הממשיים?
 
'''הוכחה.'''
 
נניח שכל איבר ממשי הוא בעצם סדרה אינסופית של ספרות ממשיות (כולל אלו שלפני ואחרי הנקודה). נפרק כל סדרה כזו לשתי תתי סדרות - סדרת הזוגיים וסדרת האי זוגיים. כל תת סדרה שכזו מגדירה מספר ממשי, לכן שלחנו מספר ממשי בודד לזוג מספרים ממשיים.
 
העתקה זו חח"ע ועל פרט לעובדה שהממשיים הם לא '''בדיוק''' אוסף הסדרות של ספרות עשרוניות, אבל לא נתמודד כרגע עם הקושי המינורי הזה.