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

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

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

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

$\!\,{\overline {S}}={\mbox{Cl}}(S)=\bigcap _{A\in \Lambda }A$.

נביא כאן מספר הגדרות אלטרנטיביות ששקולות להגדרה שהבאנו (כלומר, ניתן להוכיח אותן מההגדרה, ואם מקבלים אותם כהגדרה, ניתן להוכיח מהם את ההגדרה המקורית):

• $\!\,{\mbox{Cl}}(S)$ היא קבוצת כל האיברים של $\!\,X$ שבכל סביבה שלהם קיים איבר של $\!\,S$ (לא בהכרח שונה מהם).
• $\!\,{\mbox{Cl}}(S)=S\cup S'$, כאשר $\!\,S'$ היא קבוצת כל נקודות ההצטברות של $\!\,S$.
• הגדרה באמצעות הפנים של המשלים של הקבוצה: $\!\,{\mbox{Cl}}(A)=\left({\mbox{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$ נקראת קבוצה דלילה.