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