תודה.
'''אני לא מתרגלת אבל למיטב הבנתי התשובה היא כן.
'''גם מההגדרה ה"מקורית" של קומפקטיות- שלכל כיסוי פתוח יש תת-כיסוי סופי- אפשר לראות שמרחב סופי הוא קומפקטי באופן טריוויאלי משהו (לכל נקודה במרחב אפשר לקחת קבוצה שמכילה אותה מהכיסוי, והרי לנו תת-כיסוי סופי, פשוט כי מספר הנקודות הוא סופי). '''
'''