משפט היינה-בורל

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