אקסיומות ההפרדה

מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

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

אקסיומות ההפרדה (נקראות גם "תכונות ההפרדה") הן תכונות של מרחב טופולוגי, הקשורות ביכולת של הטופולוגיה להפריד בין נקודות או קבוצות שונות במרחב. ישנן כתריסר אקסיומות שונות, שהחשובה שבהן היא תכונת האוסדורף, הקרויה גם תכונת $\ T_2$ . לכמה מתכונות ההפרדה המרכזיות משתמשים בסימון $\ T_n$ , עבור ערכים שונים של $\ n$ . מקורה של האות T בהקשר זה הוא במלה הגרמנית Trennung, שפירושה 'הפרדה'.

מרחבים מטריים מקיימים את כל אקסיומות ההפרדה, ולכן אפשר לראות באקסיומות ההפרדה מעין היררכיה של מרחבים טופולוגיים, המודדת עד כמה דומה מרחב נתון (מבחינת יכולת ההפרדה שלו) למרחב מטרי.

המינוח הקשור באקסיומות ההפרדה נודע כמינוח לא אחיד: בספרים שונים השתמשו באותם שמות כדי לתאר תכונות שונות, ולכן כשמצטטים תוצאות בתחום זה, חשוב לברר באיזו הגדרה השתמש המחבר. נקודת המוצא היא האקסיומה הקרויה $\ T_0$ , שהיא דרישה פרימיטיבית באופן יחסי (כלומר, רוב המרחבים הטופולוגיים המופיעים בספרות, מקיימים אותה). בוויקיפדיה אנו מאמצים את הגישה המודרנית יותר, לפיה התכונות $\ T_3, T_4$ ונגזרותיהן מכילות את ההנחה $\ T_0$ כחלק מההגדרה, בעוד שמרחבים רגולריים ומרחבים נורמליים, על הוריאציות של תכונות אלה (ראו בהמשך), אינם נדרשים לקיים את התכונה הזו. בעבר, ובפרט בספר החשוב "Counterexamples in Topology" (שכתבו Steen ו- Seebach ב- 1970), היה מקובל היפוך של המונחים.

[עריכה] אקסיומות ההפרדה

ישנן שתי תכונות בסיסיות שמקובל למנות בין אקסיומות ההפרדה, למרות שבעצם אינן כאלה. הראשונה היא $\ T_0$ :

מרחב טופולוגי מקיים את התכונה $\ T_0$ , אם לכל שתי נקודות שונות, קיימת קבוצה פתוחה המכילה אחת מהן אבל לא את השנייה. במלים אחרות, לא קיימות שתי נקודות שיש להן בדיוק אותן סביבות.

במרחב שאינו מקיים דרישה זו, ישנם זוגות של נקודות שאי אפשר להבחין ביניהן במשקפי הטופולוגיה.

התכונה $\ T_1$ היא תכונה מעט חזקה יותר, מעין גרסה סימטרית של התכונה הקודמת:

מרחב טופולוגי מקיים את התכונה $\ T_1$ , אם לכל שתי נקודות שונות, קיימת קבוצה פתוחה המכילה את זו ולא את זו, וכן להיפך.

תכונה זו שקולה לכך שכל נקודה מהווה קבוצה סגורה. כל מרחב $\ T_1$ הוא בפרט $\ T_0$ .

[עריכה] הפרדה בין נקודות

כדי להציג את אקסיומות ההפרדה השונות, נפתח בכמה דוגמאות.

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

לכל שתי נקודות $\ p \neq q$ , קיימות קבוצות פתוחות וזרות, שאחת מהן מכילה את p, והשנייה את q.

לתכונה זו קוראים 'הפרדה בין נקודות על-ידי קבוצות פתוחות', כאשר ה'הפרדה' פירושה שאפשר מתוך התבוננות בקבוצות הפתוחות להווכח בכך שהנקודות שונות זו מזו (שהרי הקבוצות זרות).

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

מרחב אוריסון, או מרחב $\ T_{2\frac{1}{2}}$ , הוא מרחב טופולוגי, המקיים את הדרישה כי לכל שתי נקודות $\ p \neq q$ , קיימות סביבות סגורות וזרות, שאחת מהן מכילה את p, והשנייה את q.

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

יש תכונת הפרדה חזקה עוד יותר - באמצעות פונקציות רציפות.

מרחב האוסדורף לחלוטין (completely Hausdorff), הוא מרחב טופולוגי X, המקיים את הדרישה: לכל שתי נקודות $\ p \neq q$ , קיימת פונקציה רציפה $\ f : X \rightarrow [0,1]$ , כך ש- $\ f(p)=0$ ו- $\ f(q)=1$ .

זוהי בוודאי הפרדה חזקה יותר מאשר באמצעות סביבות סגורות, משום שאת הנקודות 0 ו- 1 אפשר להפריד בסביבות סגורות על הישר הממשי, והמקורות של סביבות סגורות במרחב X (תחת פונקציה רציפה) הם סביבות סגורות.

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

[עריכה] הפרדה בין קבוצה סגורה לנקודה

מרחב שבו אפשר להפריד בין קבוצה סגורה לנקודה (שאינה שייכת, כמובן, לקבוצה) באמצעות קבוצות פתוחות, נקרא מרחב רגולרי.

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

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

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

מרחב רגולרי שהוא גם $\ T_1$ נקרא מרחב $\ T_3$ .

כל מרחב כזה מקיים את התכונה $\ T_2$ , ולכן הם נקראים גם 'מרחבי האוסדורף רגולריים'. אפשר לראות שכל מרחב רגולרי $\ T_0$ מקיים את התכונה $\ T_1$ , ולכן הוא מהווה מרחב $\ T_3$ .

מרחב רגולרי לחלוטין שהוא גם $\ T_1$ נקרא מרחב טיכונוף, או מרחב $\ T_{3\frac{1}{2}}$ .

גם כאן, מרחב רגולרי לחלוטין שהוא $\ T_0$ מקיים את התכונה $\ T_1$ , ולכן הוא מהווה מרחב $\ T_{3\frac{1}{2}}$ . כל מרחב כזה הוא בפרט $\ T_3$ .

[עריכה] הפרדה בין קבוצות סגורות

מרחב שבו אפשר להפריד בין שתי קבוצות סגורות וזרות באמצעות קבוצות פתוחות, נקרא מרחב נורמלי.

הלמה של אוריסון קובעת שבמרחב כזה, אפשר להפריד בין שתי קבוצות סגורות וזרות גם באמצעות פונקציה רציפה - ולכן שלוש הרמות הראשונות של הפרדה מתלכדות. בדרך כלל הפרדה זו אינה הפרדה מדויקת (מושג שיוגדר בהמשך).

מרחב נורמלי המקיים בנוסף את התכונה $\ T_1$ , נקרא מרחב $\ T_4$ .

כל מרחב $\ T_4$ הוא בפרט $\ T_{3\frac{1}{2}}$ (מרחב טיכונוף).

[עריכה] תכונות הפרדה חזקות

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

'קבוצות מופרדות' הן קבוצות $\ A,B$ במרחב טופולוגי, שכל אחת מהן זרה לסגור של רעותה (ישנו קשר מסוים בין מונח זה לבין אקסיומות ההפרדה, אבל הוא אינו הדוק במיוחד). כל שתי קבוצות סגורות וזרות הן כמובן מופרדות, ולכן הפרדה בין קבוצות מופרדות היא משימה קשה יותר (אפילו בהעדר ההנחה $\ T_0$ ).

מרחב שבו אפשר להפריד כל שתי קבוצות מופרדות באמצעות קבוצות פתוחות, נקרא מרחב נורמלי לחלוטין, או מרחב נורמלי תורשתי.

במרחב כזה, כל תת-מרחב הוא נורמלי בטופולוגיה המושרית.

מרחב נורמלי לחלוטין שהוא גם $\ T_1$ , נקרא מרחב $\ T_5$ , או מרחב $\ T_4$ לחלוטין.

כל מרחב $\ T_5$ הוא בפרט מרחב $\ T_4$ .

בכיוון אחר, אומרים שאפשר להפריד בין הקבוצות A ו- B במרחב X הפרדה מדויקת באמצעות פונקציה, אם קיימת פונקציה רציפה $\ f:X\rightarrow \mathbb{R}$ , כך ש- $\ f^{-1}(0)=A$ ו- $\ f^{-1}(1)=B$ . נעיר שבהפרדה רגילה אנו דורשים רק $\ f^{-1}(0) \supseteq A$ ו- $\ f^{-1}(1) \supseteq B$ . קבוצות שאפשר להפריד ביניהן הפרדה מדויקת מוכרחות להיות קבוצות סגורות, שהרי הקבוצות $\ \{0\}$ ו- $\ \{1\}$ סגורות בעצמן.

מרחב שבו אפשר להפריד כל שתי קבוצות סגורות הפרדה מדויקת באמצעות פונקציה, נקרא מרחב נורמלי באופן מושלם (perfectly normal).

מרחב נורמלי באופן מושלם הוא כמובן נורמלי, ואף נורמלי לחלוטין (את זה קצת קשה יותר להוכיח). במרחב נורמלי באופן מושלם, כל קבוצה סגורה היא קבוצת $\ G_\delta$ (או באופן שקול: כל קבוצה פתוחה היא קבוצת $\ F_\sigma$ ). תכונה זו מאפיינת מרחבים נורמליים באופן מושלם.

מרחב נורמלי באופן מושלם שהוא גם $\ T_1$ , נקרא מרחב $\ T_4$ באופן מושלם, או מרחב $\ T_6$ .

כל מרחב $\ T_6$ הוא בפרט מרחב $\ T_5$ .

מרחב מטרי מקיים את התכונה $\ T_6$ , ולכן גם את שאר תכונות ההפרדה שמנינו.

[עריכה] טענות הקשורות לאקסיומות ההפרדה

מרחב $\ T_3$ בעל בסיס בן מניה הינו $\ T_4$ .
תת מרחב של מרחב $\ T_i$ (כאשר i=1,2,3,3.5) הוא $\ T_i$ .
מרחב מכפלה של מרחבי $\ T_i$ (כאשר i=1,2,3,3.5) גם הוא $\ T_i$ .
שתי הטענות הקודמות אינן נכונות בהכרח עבור מרבי $\ T_4$ - למשל המרחבים $Ω$ ו $Ω 1$ הינם נורמליים, אולם מכפלתם אינה נורמלית,ומכפלה זו היא בעצמה תת מרחב של $Ω 1 x Ω 1$ , שהוא מרחב נורמלי.

[עריכה] סיכום

הטבלה מציגה את שמו של מרחב המקיים משימת הפרדה נתונה באופן נתון. בסוגריים מצוין שמו של מרחב כזה, אם מניחים בנוסף את התכונה $\ T_1$ .

סיכום	שתי קבוצות מופרדות	שתי קבוצות סגורות	קבוצה סגורה ונקודה	שתי נקודות
הפרדה מדויקת על-ידי פונקציה	-	נורמלי באופן מושלם ( $\ T_6$ )	-	-
הפרדה על-ידי פונקציה	-	נורמלי	רגולרי לחלוטין ( $\ T_{3\frac{1}{2}}$ )	האוסדורף לחלוטין
הפרדה על-ידי סביבות סגורות	-	נורמלי	רגולרי	אוריסון ( $\ T_{2\frac{1}{2}}$ )
הפרדה על-ידי סביבות	נורמלי לחלוטין ( $\ T_5$ )	נורמלי ( $\ T_4$ )	רגולרי ( $\ T_3$ )	האוסדורף ( $\ T_2$ )

כל מרחב המופיע בטבלה מקיים גם את התכונה במשבצת שמתחת לזו בה הוא מופיע. אם מניחים את התכונה $\ T_1$ , אז כל מרחב מקיים גם את התכונות שמשמאל למשבצת שבה הוא מופיע. בפרט, $\ T_b \Rightarrow T_a$ לכל $\ b > a$ . בכך בנינו מעין היררכיה בין אקסיומות ההפרדה.