שינויים
/* תרגילי העשרה (לא מומלץ להעביר בתירגול) */
'''תרגיל.'''
נגדיר "שמיניה" בתור זוג עיגולים מעגלים בגדלים כלשהם המשיקים זה לזה בנקודה כלשהי. יהי אוסף אינסופי כלשהו של שמיניות במישור הזרות זו מזו (כלומר אין שתים עם נקודת חיתוך משותפת)
א. הוכח שעוצמת קבוצה זו הינה אלף אפס
ב. הוכח שקיימת קבוצה של אינסוף עיגולים מעגלים במרחב ללא חיתוך מעוצמת אלף
'''פתרון.'''
א. בהנתן שמיניה מסוימת באוסף, נבחר נקודה רציונאלית אחת מעיגול ממעגל אחד, ואחת מהעיגול מהמעגל השני. זה נותן לנו פונקציה מהאוסף אל הזוגות הסדורים של מספרים רציונאליים.
כעת, נוכיח כי פונקציה זו הינה חח"ע. נניח בשלילה כי לשתי שמיניות שונות יש נקודות משותפים בשני העיגוליםהמעגלים. אם כן, העיגול המעגל של האחת נמצא בעיגול במעגל של האחרת ולכן גם נקודת ההשקה נמצאת בתוך העיגול המעגל האחד. מכיוון שהעיגול שמעגל השני מכיל נקודה משותפת עם העיגול המעגל השני של השמיניה השנייה, חייב להיות חיתוך בינהם בסתירה (ציור פה יקל ממש על ההבנה שלכם...).
לכן עוצמת האוסף קטנה מעוצמת הזוגות הסדורים של הרציונאליים, ולמדנו שזוגות סדורים של קבוצה בת מנייה היא קבוצה בת מנייה. לכן עוצמת האוסף קטנה מבת מנייה אבל מכיוון שהיא אינסופית היא גדולה מבת מנייה ולכן בת מנייה כדרוש.
ב. ניקח את אוסף העיגולים המעגלים עם מרכז בראשית ורדיוס ממשי חיובי. אין בינהם חיתוך, והכמות שלהם זהה לחצי ציר הממשיים והוא כמובן מעוצמת אלף.
