ה'''חוץ''' של קבוצה מוגדרכפנים של המשלים שלה. החוץ של קבוצה <math>A</math> מסומן <math>\ \mbox{Ext}(A) = \mbox{Int}(A^c)</math>. ה[[שפה (טופולוגיה)|שפה]] שלקבוצה,היא קבוצת האיברים במרחבשלא נמצאים בפנים שלה ולא נמצאים בחוץ שלה.
ה'''חוץ''' של קבוצה <math>A</math>, המסומן <math>\mbox{Ext}(A)</math>, מוגדר כפנים של המשלים שלה: <math>\ \mbox{Ext}(A) = \mbox{Int}(A^c)</math>. באופן שקול, ניתן להגדיר את החוץ כמשלים של ה[[סגור (טופולוגיה)|סגור]]: <math>\ \mbox{Ext}(A) = (\overline{A})^c</math>.
ה[[שפה (טופולוגיה)|שפה]] של קבוצה, היא קבוצת האיברים במרחב שלא נמצאים בפנים שלה ולא נמצאים בחוץ שלה.
{{נ}}
{{נ}}
גרסה מ־11:58, 26 במרץ 2012
בטופולוגיה, הפְּנים של קבוצה הוא אינטואיטיבית אוסף הנקודות שנמצאות "בתוך" הקבוצה ולא על השפה שלה. נהוג לסמן את הפנים של קבוצה ב- או ב-.
הגדרה פורמלית
ישנן כמה דרכים שקולות להגדיר את הפנים של קבוצה:
תהא קבוצה כלשהי במרחב טופולוגי. נגדיר את הפנים שלה, , בתור קבוצת כל הנקודות כך שקיימת קבוצה פתוחה כך ש- - כלומר, הקבוצה היא סביבה של .
תהא קבוצה כלשהי במרחב טופולוגי. נגדיר את הפנים שלה בתור הקבוצה הפתוחה הגדולה ביותר שמוכלת ב-. על פי הגדרה זו, הפנים הוא איחוד כל הקבוצות הפתוחות המוכלות ב-.
תהא קבוצה כלשהי במרחב טופולוגי. נגדיר את הפנים שלה באמצעות הנוסחה הבאה המערבת משלים וסגור: .