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

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