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

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