משפט אוריסון

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