Jump to content
החלפת מצב תפריט
שינוי מצב תפריט ההעדפות
החלפת מצב תפריט אישי
לא בחשבון
כתובת ה־IP שלך תהיה גלויה לציבור אם תעשה עריכות כלשהן.

פנים (טופולוגיה)

מתוך ויקיפדיה, האנציקלופדיה החופשית
קובץ:Neighborhood illust1.svg
הנקודה 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>x\isin A</math> כך שקיימת קבוצה פתוחה <math>B</math> כך ש-<math>x\isin B\subseteq A</math> – כלומר, הקבוצה <math>A</math> היא סביבה של <math>x</math>.
  • תהא <math>A</math> קבוצה כלשהי במרחב טופולוגי. נגדיר את הפנים שלה בתור הקבוצה הפתוחה הגדולה ביותר שמוכלת ב-<math>A</math>. על פי הגדרה זו, הפנים הוא איחוד כל הקבוצות הפתוחות המוכלות ב-<math>A</math>.
  • תהא <math>A</math> קבוצה כלשהי במרחב טופולוגי. נגדיר את הפנים שלה באמצעות הנוסחה הבאה המערבת משלים וסגור: <math>\mbox{Int}(A) = ( \overline{A^c} )^c </math>.

דוגמה עריכה

נחשב את הפנים של הקטע הסגור <math>[0,1]</math> בישר הממשי.

<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>

ולכן הפנים של <math>[0,1]</math> הוא הקטע הפתוח <math>(0,1)</math>.

תכונות הפנים עריכה

נשים לב שרבות מתכונות אלו מזכירות את תכונות הסגור.

  • כל קבוצה פתוחה שווה לפנים שלה: <math>A=\mbox{Int}(A)</math>. בפרט הפנים הוא קבוצה פתוחה ולכן <math>\mbox{Int}(A)=\mbox{Int}\left(\mbox{Int}(A)\right)</math>.
  • <math>A\subseteq B \rArr \mbox{Int}(A)\subseteq \mbox{Int}(B)</math>
  • <math>\mbox{Int}(A)\cup \mbox{Int}(B)\subseteq \mbox{Int}\left(A\cup B\right)</math>
  • <math>\mbox{Int}\left(A\cap B\right)= \mbox{Int}(A)\cap \mbox{Int}(B)</math>

חוץ עריכה

החוץ של קבוצה <math>A</math>, המסומן <math>\mbox{Ext}(A)</math>, מוגדר כפנים של המשלים שלה: <math>\mbox{Ext}(A) = \mbox{Int}(A^c)</math>. באופן שקול, ניתן להגדיר את החוץ כמשלים של הסגור: <math>\mbox{Ext}(A) = (\mbox{Cl}(A))^c</math>.

השפה של קבוצה, היא קבוצת האיברים במרחב שלא נמצאים בפנים שלה ולא נמצאים בחוץ שלה.

ראו גם עריכה

קישורים חיצוניים עריכה

  • פנים, באתר MathWorld (באנגלית)