פנים (טופולוגיה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט: החלפת טקסט אוטומטית (-{{נ}} +) |
מ Updated image to svg format |
||
שורה 1: | שורה 1: | ||
[[תמונה:Neighborhood illust1. |
[[תמונה:Neighborhood illust1.svg|שמאל|ממוזער|250px|הנקודה p נמצאת בפנים של הקבוצה V שכן הקבוצה V מכילה סביבה של p.]] |
||
ב[[טופולוגיה]], ה'''פְּנים''' של [[קבוצה (מתמטיקה)|קבוצה]] הוא אינטואיטיבית אוסף הנקודות שנמצאות "בתוך" הקבוצה ולא על [[שפה (טופולוגיה)|השפה]] שלה. נהוג לסמן את הפנים של קבוצה <math>\ A</math> ב-<math>\ \mbox{Int}(A)</math> או ב-<math>\ A^{\circ}</math>. |
ב[[טופולוגיה]], ה'''פְּנים''' של [[קבוצה (מתמטיקה)|קבוצה]] הוא אינטואיטיבית אוסף הנקודות שנמצאות "בתוך" הקבוצה ולא על [[שפה (טופולוגיה)|השפה]] שלה. נהוג לסמן את הפנים של קבוצה <math>\ A</math> ב-<math>\ \mbox{Int}(A)</math> או ב-<math>\ A^{\circ}</math>. |
||
גרסה מ־12:05, 18 ביוני 2016
בטופולוגיה, הפְּנים של קבוצה הוא אינטואיטיבית אוסף הנקודות שנמצאות "בתוך" הקבוצה ולא על השפה שלה. נהוג לסמן את הפנים של קבוצה ב- או ב-.
הגדרה פורמלית
ישנן כמה דרכים שקולות להגדיר את הפנים של קבוצה:
- תהא קבוצה כלשהי במרחב טופולוגי. נגדיר את הפנים שלה, , בתור קבוצת כל הנקודות כך שקיימת קבוצה פתוחה כך ש- - כלומר, הקבוצה היא סביבה של .
- תהא קבוצה כלשהי במרחב טופולוגי. נגדיר את הפנים שלה בתור הקבוצה הפתוחה הגדולה ביותר שמוכלת ב-. על פי הגדרה זו, הפנים הוא איחוד כל הקבוצות הפתוחות המוכלות ב-.
דוגמה
נחשב את הפנים של הקטע הסגור בישר הממשי.
ולכן הפנים של הוא הקטע הפתוח .
תכונות הפנים
נשים לב שרבות מתכונות אלו מזכירות את תכונות הסגור.
- כל קבוצה פתוחה שווה לפנים שלה: . בפרט הפנים הוא קבוצה פתוחה ולכן .
חוץ
החוץ של קבוצה , המסומן , מוגדר כפנים של המשלים שלה: . באופן שקול, ניתן להגדיר את החוץ כמשלים של הסגור: .
השפה של קבוצה, היא קבוצת האיברים במרחב שלא נמצאים בפנים שלה ולא נמצאים בחוץ שלה.
ראו גם