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