* הסגור של [[קטע פתוח|הקטע הפתוח]] <math> \ (a,b) </math> הוא הקטע הסגור <math> \ [a,b] </math>.
* הסגור של [[קטע פתוח|הקטע הפתוח]] <math> \ (a,b) </math> הוא הקטע הסגור <math> \ [a,b] </math>.
* הסגור של [[מספר רציונאלי|קבוצת המספרים הרציונאלים]] <math> \mathbb{Q}</math> הוא הישר הממשי כולו <math> \mathbb{R}</math>.
* הסגור של [[מספר רציונלי|קבוצת המספרים הרציונלים]] <math> \mathbb{Q}</math> הוא הישר הממשי כולו <math> \mathbb{R}</math>.
==תכונות הנוגעות לסגור==
==תכונות הנוגעות לסגור==
גרסה מ־14:02, 29 באוקטובר 2007
בטופולוגיה, סְגוֹר של קבוצה S השייכת למרחב X הוא הקבוצה הסגורה הקטנה ביותר המכילה את S. מבחינה אינטואיטיבית אפשר לחשוב עליו כעל קבוצה המכילה את אברי S ואת כל הנקודות ש"נוגעות" בקבוצה S.
הגדרה פורמלית
יהא מרחב טופולוגי כלשהו, ותהא קבוצה. אם היא קבוצת הקבוצות הסגורות המקיימות , אז הסגור של יסומן או , ויוגדר על ידי:
.
נביא כאן מספר הגדרות אלטרנטיביות ששקולות להגדרה שהבאנו (כלומר, ניתן להוכיח אותן מההגדרה, ואם מקבלים אותם כהגדרה, ניתן להוכיח מהם את ההגדרה המקורית):
היא קבוצת כל האיברים של שבכל סביבה שלהם קיים איבר של (לא בהכרח שונה מהם).