מרחב נורמלי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ קישור
אין תקציר עריכה
שורה 2:
 
 
מרחב טופולוגי הוא נורמלי, אם לכל שתי קבוצות סגורות ו[[קבוצות זרות|זרות]] A ו- B, קיימות קבוצות פתוחות וזרות המכילות אחת את A ואחת את B. תכונה זו נקראת 'הפרדה בין קבוצות סגורות בקבוצות פתוחות'.
ניסוח שקול: לכל [[קבוצה סגורה]] F ו[[קבוצה פתוחה]] G כך ש <math>\ F \subset G</math>, קיימת קבוצה פתוחה V שעבורה <math>\ F \subset V \subset \overline{V} \subset G</math>.