88-195 בדידה מבחן מועד א' תשע"ב/פתרון

ג

מחלקת השקילות של קבוצה A הינה אוסף כל הקבוצות הנמצאות ביחס S עם A.

כלומר, אוסף כל הקבוצות כך ש [math]\displaystyle{ |A-B|\lt \aleph_0 }[/math] וגם [math]\displaystyle{ |B-A|\lt \aleph_0 }[/math] (כלומר סופיות)

אם B במחלקת השקילות של A הן חייבות להיות מאותה עוצמה (אחרת ההפרש בינהן לא היה סופי). כיוון שההפרש בינהן הוא קבוצה סופית, ניתן להוכיח כי כל הקבוצות B המקיימות את זה הן מהצורה

[math]\displaystyle{ B=A\Delta C }[/math]

כאשר C קבוצה סופית כלשהי.

לכן סה"כ עוצמת מחלקת השקילות שווה למספר תתי הקבוצות הסופיות של הממשיים, ולכן שווה לאלף