משפט הקטגוריה של בייר

מתוך ויקיפדיה, האנציקלופדיה החופשית

משפט הקטגוריה של בייר (Baire) הוא משפט מרכזי באנליזה פונקציונלית ובטופולוגיה קבוצתית. המשפט קובע כי כל מרחב מטרי שלם וכל מרחב רגולרי קומפקטי מקומית הם מרחבי בייר.[1]

המשפט מהווה בסיס מרכזי להוכחת משפטים חשובים אחרים, ביניהם משפט ההעתקה הפתוחה, משפט הגרף הסגור ומשפט בנך-שטיינהאוס. המשפט מוכיח כי המרחבים הם מרחבי בייר עם הטופולוגיה הסטנדרטית.

המשפט הוכח לראשונה בשנת 1899 על-ידי המתמטיקאי הצרפתי רנה-לואי בייר.[2]

מונחים בסיסיים[עריכת קוד מקור | עריכה]

בהנתן מרחב טופולוגי וטופולוגיה :

באופן כללי קבוצה מקטגוריה ראשונה אינה בהכרח דלילה. כך לדוגמה, המספרים הרציונליים הם קבוצה מקטגוריה ראשונה (כאיחוד בן מנייה של יחידונים, שהם דלילים), והפנים של הסגור שלהם הוא כל הישר הממשי.

ניסוח המשפט[עריכת קוד מקור | עריכה]

למשפט שני ניסוחים:

משפט בייר הראשון: יהי מרחב מטרי שלם. אזי, הוא מרחב בייר.

משפט בייר השני: יהי מרחב רגולרי קומפקטי מקומית. אזי הוא מרחב בייר. הדבר נכון בפרט כאשר הוא מרחב האוסדורף קומפקטי מקומית.

תקציר הוכחת המשפט[עריכת קוד מקור | עריכה]

נתון מרחב טופולוגי וטופולוגיה העונה לתנאים של אחד המשפטים לעיל. כמו כן, נתונה קבוצה מקטגוריה ראשונה . כדי להוכיח ש- הוא מרחב בייר, יש להוכיח כי הפנים של ריק. מספיק להוכיח כי לכל קבוצה פתוחה קיימת נקודה שאינה ב-, כלומר .[3]

בגלל ש- קבוצה מקטגוריה ראשונה, ניתן להגדיר כאשר קבוצות דלילות. בונים סדרה של קבוצות קומפקטיות כך שלכל :

  1. (הפנים של ) לא ריק, ולכן גם לא ריק.
  2. .

יש לשים לב כי בשתי גרסאות המשפט מובטח כי כל קבוצה קומפקטית היא סגורה, לכן קבוצות סגורות. כאשר מדובר במרחב מטרי, נבנים בעזרת כדורים סגורים. במקרה של מרחב טופולוגי קומפקטי מקומית, בונים את על-ידי לקיחת סביבה קומפקטית לאיבר כלשהו מ- העומדת בתנאים.

כעת מגדירים . יש להוכיח כי אינו ריק. מניחים בשלילה כי קבוצה ריקה. לכן משפחת המשלימים היא כיסוי פתוח של . בגלל הקומפקטיות של קיים תת-כיסוי סופי. ניתן להסיק מכך כי קיים כך ש-. מצד שני , וזו סתירה.

מכיוון ש- אינו ריק, קיים . לכל מתקיים . לכן:

משמע , ובכך מוכיחים את המשפט. מ.ש.ל.

מסקנות מן המשפט[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ Eric W. Weisstein, Baire Category Theorem, mathworld.wolfram.com (באנגלית)
  2. ^ René Baire, Sur les fonctions de variables réelles, Bernardoni de C. Rebeschini, 1899. (בצרפתית)
  3. ^ Alan Sokal, THE BAIRE CATEGORY THEOREM AND ITS CONSEQUENCES, University College London, ‏2013 (באנגלית)