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