הבדלים בין גרסאות בדף "סגור (טופולוגיה)"

אין תקציר עריכה
מ (הגהה, עריכת נוסחאות)
 
==הגדרה פורמלית==
יהא <math>X</math> מרחב טופולוגי כלשהו, ותהא <math>S\subseteq X</math> קבוצה. אם <math>\Lambda</math> היא קבוצת הקבוצות הסגורות <math>A</math> המקיימות <math>S\subseteq A\subseteq X</math>, אז ה'''סגור''' של <math>S</math> יסומן <math>\mbox{Cl}(S)</math> או <math>\baroverline{S}</math>, ויוגדר על ידי:
::<math>\overline{S} = \mbox{Cl}(S)=\bigcap_{A\isin\Lambda}A</math>.