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