קבוצה כמעט פתוחה
![]() בערך זה |
במתמטיקה, ובפרט בטופולוגיה, קבוצה כמעט פתוחה (נקראת גם קבוצה עם תכונת בייר) היא קבוצה אשר ניתנת לייצוג כהפרש סימטרי בין קבוצה פתוחה לקבוצה מקטגוריה ראשונה. כלומר, קבוצה כמעט פתוחה היא קבוצה פתוחה עד כדי החסרת או הוספת מספר בן מניה של קבוצות דלילות.
קבוצות מסוג זה נחקרו לראשונה בראשית המאה ה-20 על-ידי המתמטיקאי הצרפתי רנה-לואי בייר.[1]
מונחים בסיסיים
עריכהעבור מרחב טופולוגי עם טופולוגיה הקבוצה תקרא קבוצה דלילה אם ורק אם הפנים של הסגור שלה ריק. כלומר, .
קבוצה תקרא קבוצה מקטגוריה ראשונה אם ורק אם היא מהווה איחוד בן מניה של קבוצות דלילות.
הגדרה מתמטית
עריכהבהינתן מרחב טופולוגי עם הטופולוגיה וקבוצה , הקבוצה תקרא קבוצה כמעט פתוחה אם ורק אם היא מקיימת את אחד התנאים השקולים הבאים:[2]
- קיימת קבוצה פתוחה וקבוצה מקטגוריה ראשונה כך ש-
- קיימת קבוצה פתוחה כך ש- היא קבוצה מקטגוריה ראשונה.
- קיימת קבוצה סגורה וקבוצה מקטגוריה ראשונה כך ש-
- קיימת קבוצה סגורה כך ש- היא קבוצה מקטגוריה ראשונה.
- קיימת קבוצה מסוג (חיתוך בן מניה של קבוצות פתוחות) וקבוצה פתוחה כך ש- .
- קיימת קבוצה מקטגוריה ראשונה כך ש- היא קבוצה מסוג (איחוד בן מניה של קבוצות סגורות).
סיגמא-אלגברה של קבוצות כמעט פתוחות
עריכהמשקילות ההגדרות של קבוצה כמעט פתוחה ניתן להסיק כי:[3]
- המשלים של קבוצה כמעט פתוחה הוא קבוצה כמעט פתוחה.
- איחוד בן מניה של קבוצות כמעט פתוחות הוא קבוצה כמעט פתוחה.
כלומר, כל הקבוצות הכמעט פתוחות מהוות סיגמא-אלגברה. מכיוון שכל קבוצה פתוחה היא קבוצה כמעט פתוחה, סיגמא-אלגברת הקבוצות הכמעט פתוחות מכילה את סיגמא-אלגברת בורל. לבסוף, מכיוון שסיגמא-אלגברת בורל היא הסיגמא-אלגברה המינימלית המכילה את הקבוצות הפתוחות, משמעות הדבר היא שכל קבוצה בסיגמא-אלגברת בורל היא קבוצה כמעט פתוחה, ובפרט:
- כל קבוצה פתוחה
- כל קבוצה סגורה
- כל קבוצה דלילה
- כל קבוצה מקטגוריה ראשונה
- כל קבוצה מסוג
- כל קבוצה מסוג
דוגמאות
עריכהתחת הטופולוגיה הסטנדרטית במרחב המספרים הממשיים , הקבוצות הבאות כמעט פתוחות:
- הקבוצה הריקה.
- כל יחידון.
- קבוצת קנטור.
- קבוצת המספרים השלמים .
- קבוצת המספרים הרציונליים .
- מרחב המספרים הממשיים כולו.
- קבוצת כל המספרים האי-רציונליים בין 0 ל-1:
דוגמאות נגדיות
עריכהניתן לייצר דוגמה נגדית לקבוצה כמעט פתוחה תחת מרחב המספרים הממשיים על-ידי שימוש באקסיומת הבחירה. דוגמה לקבוצה שאיננה קבוצה כמעט פתוחה היא קבוצת ויטלי.
ראו גם
עריכההערות שוליים
עריכה- ^ 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