אקסיומות ההפרדה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ ניסוח
מ ניסוח
שורה 9:
== אקסיומות ההפרדה ==
[[קובץ:Separation axioms illustrated.png|שמאל|ממוזער|250px|המחשה של אקסיומות ההפרדה. נקודה שחורה מסמלת נקודה במרחב, תחום כחול מסמל קבוצה פתוחה ומלבן אדום מסמל קבוצה סגורה.]]
ישנן שתי תכונות בסיסיות שמקובל למנות בין אקסיומות ההפרדה, למרותאף על פי שבעצם אינן כאלה. הראשונה היא <math>\ T_0</math>:
* מרחב טופולוגי מקיים את התכונה <math>\ T_0</math>, אם לכל שתי נקודות שונות, קיימת קבוצה פתוחה המכילה אחת מהן אבל לא את השנייה. במלים אחרות, לא קיימות שתי נקודות שיש להן בדיוק אותן [[סביבה (טופולוגיה)|סביבות]].
במרחב שאינו מקיים דרישה זו, ישנם זוגות של נקודות שאי אפשר להבחין ביניהן במשקפי הטופולוגיה.
שורה 72:
=== טענות הקשורות לאקסיומות ההפרדה ===
 
מרחב <math>\ T_3</math> בעל בסיס בן מניה הינוהוא <math>\ T_4</math>. {{ש}}
תת מרחב של מרחב <math>\ T_i</math> (כאשר i=1,2,3,3.5) הוא <math>\ T_i</math>. {{ש}}
מרחב מכפלה של מרחבי <math>\ T_i</math> (כאשר i=1,2,3,3.5) גם הוא <math>\ T_i</math>. {{ש}}
שתי הטענות הקודמות אינן נכונות בהכרח עבור מרבי <math>\ T_4</math> - למשל המרחבים <math> \Omega</math> ו<math> \Omega_1</math> הינםהם נורמליים, אולם מכפלתם אינה נורמלית, ומכפלה זו היא בעצמה תת-מרחב של <math> \Omega_1 \times \Omega_1</math>, שהוא מרחב נורמלי.
 
=== סיכום ===