קבוצה סגורה – הבדלי גרסאות

 

ניתן גם להגדיר קבוצה סגורה בעזרת שימוש במושג ה[[סגור (טופולוגיה)|סגור]]: קבוצה סגורה היא קבוצה ששווה לסגור שלה.

 

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