משפט הקטגוריה של בייר – הבדלי גרסאות

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