קבוצה כמעט פתוחה

במתמטיקה, ובפרט בטופולוגיה, קבוצה כמעט פתוחה (נקראת גם קבוצה עם תכונת בייר) היא קבוצה אשר ניתנת לייצוג כהפרש סימטרי בין קבוצה פתוחה לקבוצה מקטגוריה ראשונה. כלומר, קבוצה כמעט פתוחה היא קבוצה פתוחה עד כדי החסרת או הוספת מספר בן מניה של קבוצות דלילות. קבוצות מסוג זה נחקרו לראשונה בראשית המאה ה-20 על-ידי המתמטיקאי הצרפתי רנה-לואי בייר. עבור מרחב טופולוגי X {\displaystyle X} עם טופולוגיה T {\displaystyle {\mathcal {T}}} הקבוצה N ⊆ X {\displaystyle N\subseteq X} תקרא קבוצה דלילה אם ורק אם הפנים של הסגור שלה ריק. כלומר, Int ⁡ ( Cl ⁡ ( N ) ) = ∅ {\displaystyle \operatorname {Int} (\operatorname {Cl} (N))=\emptyset } . קבוצה A ⊆ X {\displaystyle A\subseteq X} תקרא קבוצה מקטגוריה ראשונה אם ורק אם היא מהווה איחוד בן מניה של קבוצות דלילות. בהינתן מרחב טופולוגי X {\displaystyle X} עם הטופולוגיה T {\displaystyle {\mathcal {T}}} וקבוצה A ⊆ X {\displaystyle A\subseteq X} , הקבוצה A {\displaystyle A} תקרא קבוצה כמעט פתוחה אם ורק אם היא מקיימת את אחד התנאים השקולים הבאים: קיימת קבוצה פתוחה U {\displaystyle U} וקבוצה מקטגוריה ראשונה B {\displaystyle B} כך ש- A = U Δ B {\displaystyle A=U\Delta B} קיימת קבוצה פתוחה U {\displaystyle U} כך ש- U Δ A {\displaystyle U\Delta A} היא קבוצה מקטגוריה ראשונה. קיימת קבוצה סגורה C {\displaystyle C} וקבוצה מקטגוריה ראשונה B {\displaystyle B} כך ש- A = C Δ B {\displaystyle A=C\Delta B} קיימת קבוצה סגורה C {\displaystyle C} כך ש- C Δ A {\displaystyle C\Delta A} היא קבוצה מקטגוריה ראשונה. קיימת קבוצה G {\displaystyle G} מסוג G δ {\displaystyle G_{\delta }} (חיתוך בן מניה של קבוצות פתוחות) וקבוצה פתוחה U {\displaystyle U} כך ש- A = G ∪ U {\displaystyle A=G\cup U} . קיימת קבוצה מקטגוריה ראשונה B {\displaystyle B} כך ש- A ∪ B {\displaystyle A\cup B} היא קבוצה מסוג F δ {\displaystyle F_{\delta }} (איחוד בן מניה של קבוצות סגורות). משקילות ההגדרות של קבוצה כמעט פתוחה ניתן להסיק כי: המשלים של קבוצה כמעט פתוחה הוא קבוצה כמעט פתוחה. איחוד בן מניה של קבוצות כמעט פתוחות הוא קבוצה כמעט פתוחה. כלומר, כל הקבוצות הכמעט פתוחות מהוות סיגמא-אלגברה. מכיוון שכל קבוצה פתוחה היא קבוצה כמעט פתוחה, סיגמא-אלגברת הקבוצות הכמעט פתוחות מכילה את סיגמא-אלגברת בורל. לבסוף, מכיוון שסיגמא-אלגברת בורל היא הסיגמא-אלגברה המינימלית המכילה את הקבוצות הפתוחות, משמעות הדבר היא שכל קבוצה בסיגמא-אלגברת בורל היא קבוצה כמעט פתוחה, ובפרט: כל קבוצה פתוחה כל קבוצה סגורה כל קבוצה דלילה כל קבוצה מקטגוריה ראשונה כל קבוצה מסוג G δ {\displaystyle G_{\delta }} כל קבוצה מסוג F δ {\displaystyle F_{\delta }} תחת הטופולוגיה הסטנדרטית במרחב המספרים הממשיים R {\displaystyle \mathbb {R} } , הקבוצות הבאות כמעט פתוחות: הקבוצה הריקה. כל יחידון. קבוצת קנטור. קבוצת המספרים השלמים Z {\displaystyle \mathbb {Z} } . קבוצת המספרים הרציונליים Q {\displaystyle \mathbb {Q} } . מרחב המספרים הממשיים R {\displaystyle \mathbb {R} } כולו. קבוצת כל המספרים האי-רציונליים בין 0 ל-1: A = { x ∈ R ∣ 0 < x < 1 , x ∉ Q } {\displaystyle A=\{x\in \mathbb {R} \mid 0<x<1,x\notin \mathbb {Q} \}} ניתן לייצר דוגמה נגדית לקבוצה כמעט פתוחה תחת מרחב המספרים הממשיים על-ידי שימוש באקסיומת הבחירה. דוגמה לקבוצה שאיננה קבוצה כמעט פתוחה היא קבוצת ויטלי. קבוצה פתוחה קבוצה דלילה קבוצה מקטגוריה ראשונה קבוצת בורל Baire, R. (1905), Leçons sur les fonctions discontinues (בצרפתית), נבדק ב-2023-08-31 Baire property - Encyclopedia of Mathematics, encyclopediaofmath.org John C. Oxtoby, Measure and Category, Graduate Texts in Mathematics, 1980 doi: 10.1007/978-1-4684-9339-9