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

מ
קישור
מ (קישור)
ב[[טופולוגיה]], '''משפט החיתוך של קנטור''' (הקרוי על שמו של [[גאורג קנטור]]) הוא תנאי הכרחי ומספיק ל[[מרחב מטרי שלם|שלמות]] של מרחב מטרי - כל סדרה יורדת של [[קבוצה סגורה|קבוצות סגורות]] במרחב מטרי, כך ש[[קוטר]] הקבוצות שואף לאפס, היא בעלת [[חיתוך]] לא ריק [[אם ורק אם]] המרחב שלם. משפט זה מהווה [[הכללה (מתמטיקה)|הכללה]] של [[הלמה של קנטור]] מ[[חשבון אינפיניטסימלי]].
 
==ניסוח פורמלי==