משפט הקטגוריה של בייר – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q1052678 |
|||
שורה 2:
==ניסוח המשפט==
:יהי <math>\ X</math> [[מרחב מטרי]] [[מרחב שלם|שלם]],או מרחב האוסדורף קומפקטי מקומית. אזי ה[[פנים (טופולוגיה)|פנים]] של כל [[קבוצה (מתמטיקה)|קבוצה]] מ[[הקטגוריה ראשונה|קטגוריה ראשונה]] ב-<math>\ X</math> הוא [[קבוצה ריקה|ריק]].
כאשר קבוצה מקטגוריה ראשונה היא קבוצה הניתנת להצגה כ[[איחוד (מתמטיקה)|איחוד]] [[קבוצה בת מנייה|בן מנייה]] של [[קבוצה דלילה|קבוצות דלילות]]. קבוצה דלילה היא קבוצה שהפנים של ה[[סגור (טופולוגיה)|סגור]] שלה הוא ריק.
| |||