משפט קנטור-בנדיקסון


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

נלקח מויקיפדיה

הגדרות נוספות הקשורות למשפט קנטור-בנדיקסון:
משפטים בטופולוגיה
משפטים בתורת הקבוצות