סגור (טופולוגיה)

בטופולוגיה, סגור של קבוצה S השייכת למרחב X הוא הקבוצה הסגורה הקטנה ביותר המכילה את S. מבחינה אינטואיטיבית אפשר לחשוב עליו כעל קבוצה המכילה את אברי S ואת כל הנקודות ש"נוגעות" בקבוצה S.

הגדרה פורמלית

יהא $\!\,X$ מרחב טופולוגי כלשהו, ותהא $\!\,S\subseteq X$ קבוצה. אם $\!\,\Lambda$ היא קבוצת הקבוצות הסגורות המקיימות $\!\,S\subseteq A\subseteq X$, אז הסגור של $\!\,S$ יסומן $\!\,Cl(S)$ או $\!\,{\bar {S}}$, ויוגדר על ידי $\!\,Cl(S)=\bigcap _{A\in \Lambda }A$.

הגדרה אלטרנטיבית ושקולה היא זו: $\!\,Cl(S)$ היא קבוצת כל האיברים של $\!\,X$ שבכל סביבה שלהם קיים איבר של $\!\,S$ (לא בהכרח שונה מהם).

עוד דרך שקולה להגדיר סגור של קבוצה היא באמצעות הפנים של המשלים של הקבוצה: $\!\,Cl(A)=\left(Int(A^{C})\right)^{C}$.

תכונות הנוגעות לסגור

• כל קבוצה סגורה שווה לסגור שלה: $\!\,A=Cl(A)$. בפרט הסגור הוא קבוצה סגורה ולכן $\!\,Cl(A)=Cl\left(Cl(A)\right)$.
• $\!\,A\subseteq B\Rightarrow Cl(A)\subseteq Cl(B)$.
• $\!\,Cl\left(A\cap B\right)\subseteq Cl(A)\cap Cl(B)$.
• $\!\,Cl\left(A\cup B\right)=Cl(A)\cup Cl(B)$.
• $\!\,f$ היא פונקציה רציפה אם ורק אם לכל $\!\,A$ בתחום שלה מתקיים $\!\,f\left(Cl(A)\right)\subseteq Cl\left(f(A)\right)$.
• אם $\!\,A$ קבוצה קשירה, לכל $\!\,A\subseteq B\subseteq Cl(A)$ מתקיים שגם $\!\,B$ קבוצה קשירה.
• קבוצה $\!\,A$ במרחב $\!\,X$ המקיימת $\!\,Cl(A)=X$ נקראת קבוצה צפופה.
• קבוצה $\!\,A$ במרחב $\!\,X$ המקיימת $\!\,Int\left(Cl(A)\right)=\emptyset$ נקראת קבוצה דלילה.