משפט אוריסון
מתוך ויקיפדיה, האנציקלופדיה החופשית
בטופולוגיה, מרחבים מטריים עומדים בראש הפירמידה של המרחבים הטופולוגיים, כמעט בכל היבט של התאוריה. משפט אוריסון, הידוע גם כמשפט המטריזביליזציה, אומר שמרחבים טופולוגיים המקיימים שתי תכונות חזקות במיוחד, הם בעצם מרחבים מטריים:
- כל מרחב T3 המקיים את אקסיומת המניה השניה הוא מטריזבילי. כלומר: קיימת מטריקה שמשרה את הטופולוגיה הנתונה של המרחב, ולכן המרחב הוא מבחינה מעשית מרחב מטרי ספרבילי.
באופן כללי יותר, המשפט (עם אותה הוכחה) מראה שכל מרחב רגולרי המקיים את אקסיומת המניה השנייה הוא מרחב סמי-מטרי.
מעבר לזה, המשפט מראה שמרחבי T3 (ובפרט, מרחבי האוסדורף קומפקטיים) בעלי בסיס בן מניה הם תת-מרחבים של מרחב הסדרות , ובכך הוא מבסס את המרכזיות של המרחב האחרון בטופולוגיה ובאנליזה פונקציונלית.
תוכן עניינים |
[עריכה] הוכחה
[עריכה] סכמת ההוכחה
- בשלב הראשון מראים שמרחב T3 המקיים את אקסיומת המניה השנייה הוא מרחב T4.
- בשלב השני מראים שמרחב נורמלי המקיים את אקסיומת המניה השנייה הוא מטריזבילי. עושים זאת על ידי שיכון הומיאומורפי ממרחב זה לתת-מרחב של המרחב המטרי (זהו מרחב הילברט), כאשר הבנייה נעשית באמצעות פונקציות אוריסון.
- מוכיחים שפונקציית השיכון היא רציפה ופתוחה.
[עריכה] בניית השיכון
המרחב שלנו מקיים את תכונת המניה השניה, ולכן יש לטופולוגיה שלו בסיס בן מניה. כל נקודה במרחב X שייכת לאיבר של הבסיס, . בנוסף לזה, בגלל הרגולריות, קיים איבר בסיס כך ש . לפי הלמה של אוריסון (למרחבים נורמליים), קיימת פונקציית אוריסון כך ש ו . את הפונקציות אפשר לסדר, ולסמן , לשם הפשטות.
כעת נגדיר באמצעות הנוסחה . פונקציה זו היא ההומאומורפיזם המבוקש.
[עריכה] בדיקות לגבי G
נותר להוכיח ש:
1) הפונקציה G מוגדרת היטב שכן לכל x,
- ,
ולכן . מכאן ש G מוגדרת היטב.
2) הפונקציה G היא חח"ע כי אם אזי קיימות קבוצות בסיס זרות כך ש (כי מרחב הוא בפרט מרחב האוסדורף) ולכן . עליהן אפשר לבנות פונקציית אוריסון שעבורה בבירור מתקיים ש . לכן, , כלומר, ולכן G חח"ע.
3) נוכיח ש G רציפה. תהי קבוצה פתוחה בטווח. נמצא קבוצה פתוחה V ב X שעבור כל איבר בה השוויון יתקיים. ניקח n מספיק גדול כך ש . כמו כן, לכל רכיב k=1,..,n נדרוש ש . מאחר ש gk רציפות, קיימות סביבות Vk שבהן כל פונקציה מקיימת דרישה זאת. נגדיר (זוהי קבוצה פתוחה כחיתוך סופי של קבוצות פתוחות) ובסביבה זו ברור שמתקיימות כל הדרישות הללו. לכן:
ומכאן G רציפה.
[עריכה] השריית המטריקה
נשים לב ש הוא מרחב מטרי (יתרה מכך, הוא מרחב נורמי) ולכן, נשרה מטריקה על X באופן הבא:
ובכך הוכחנו ש X מטריזבילי.
[עריכה] ראו גם
טופולוגיה קבוצתית |
מרחב מטרי | מרחב טופולוגי | קבוצה פתוחה | קבוצה סגורה | פנים | סגור | שפה | סביבה | נקודת הצטברות | בסיס | רציפות | הומיאומורפיזם | קשירות | מרחב ספרבילי | אקסיומות ההפרדה | מרחב האוסדורף | מרחב רגולרי | מרחב רגולרי לחלוטין | מרחב נורמלי | פונקציית אוריסון | מרחב מכפלה | משפט טיכונוף | סדרת קושי | קומפקטיות | קומפקטיפיקציה | קומפקטיות מקומית | אקסיומות המנייה | מרחב בייר | טופולוגיה חלשה |
אנליזה מתמטית - אנליזה וקטורית - טופולוגיה - אנליזה מרוכבת - אנליזה פונקציונלית - תורת המידה |