משפט החיתוך של קנטור – הבדלי גרסאות

'''[[סדרה יורדת]]''' של קבוצות היא סדרת קבוצות מהצורה <math>\!\, A_1\supseteq A_2\supseteq A_3\supseteq\dots</math>. '''קוטר''' של קבוצה <math>A</math> במרחב מטרי <math>(X,d)</math> הוא <math>\text{diam}(A) = \sup \left\{ d(a,b) \mid a,b \in A\right\}</math>.

 

 

דוגמה לשימוש במשפט זה היא העובדה שכל [[קבוצה סגורה]] ו[[קבוצה בת מניה|בת מניה]] של מספרים ממשיים, מכילה [[נקודה מבודדת]]. זאת כי אם <math>A = \left\{a_1,a_2,\dots \right\}</math> קבוצה כזאת, ב[[אינדוקציה מתמטית|אינדוקציה]] ניתן להראות שיש סדרה יורדת של קטעים סגורים <math>I_1 \supseteq I_2 \supseteq \dots</math>, כך שהקטע <math>I_n</math> נחתך עם <math>A</math> אך לא מכיל את הנקודה <math>a_n</math>. ממשפט החיתוך של קנטור עבור <math>I_1 \cap A \supseteq I_2 \cap A \supseteq \dots</math> יש נקודה של <math>A</math> בחיתוך, מה שמוביל לסתירה.