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

דוגמה לשימוש בהגדרה האחרונה
(←‏הגדרה פורמלית: הגדרה באמצעות נוסחה)
(דוגמה לשימוש בהגדרה האחרונה)
 
*תהא <math>\!\, A</math> קבוצה כלשהי במרחב טופולוגי. נגדיר את הפנים שלה באמצעות הנוסחה הבאה המערבת [[משלים]] ו[[סגור (טופולוגיה)|סגור]]: <math>\ \mbox{Int}(A) = ( \overline{A^c} )^c </math>
 
=== דוגמה ===
 
נחשב את הפנים של ה[[קטע]] הסגור [0,1] בישר הממשי.
: <math>\ [0,1]^c = (\infty,0) \cup (1,\infty)</math>
: <math>\ \overline{[0,1]^c} = (\infty,0] \cup[(1,\infty)</math>
: <math>\ (\overline{[0,1]^c})^c = (0,1)</math>
ולכן הפנים של [0,1] הוא הקטע הפתוח (0,1).
 
==תכונות הפנים==