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

מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

בטופולוגיה, סגור של קבוצה 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\isin\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 \rArr 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$ נקראת קבוצה דלילה.