מרחב מטרי שלם

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

בטופולוגיה, מרחב מטרי שלם הוא מרחב בו לכל סדרת קושי של נקודות מתוכו קיים גבול במרחב. בצורה אינטואיטיבית, ניתן לומר כי מרחב שלם הוא מרחב שאין בו "חורים": אם יש סדרה של נקודות שהולכות ומתקרבות אחת לשנייה, הן יתקרבו לנקודה אחת מסוימת במרחב. למשל, המספרים הרציונליים לא מהווים מרחב מטרי שלם, שכן ניתן למשל לבנות סדרת קושי שתתכנס ל-\sqrt{2}, אבל מספר זה אינו רציונלי, ועל כן אינו שייך למרחב.

תנאי הכרחי ומספיק לכך שמרחב מטרי יהיה שלם מנוסח במשפט החיתוך של קנטור. מרחב מטרי שלם הוא קומפקטי אם ורק אם הוא חסום לחלוטין.

השלמה[עריכת קוד מקור | עריכה]

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

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

שיטות בנייה למרחב משלים[עריכת קוד מקור | עריכה]

ישנן שתי שיטות בנייה בסיסיות למרחב המשלים.

שיטה ראשונה

נעזר בטענה - כל מרחב מטרי (X,d) ניתן לשכן בתוך מרחב בנך (הסבר מפורט על כך ניתן למצוא בערך זה תחת מרחבי פונקציות ). כלומר, קיים שיכון f:X\hookrightarrow { L }^{ \infty  }(X), כאשר מרחב הפונקציות הוא מרחב שלם. מספיק יהיה להביט בתמונה של X בתוך מרחב הפונקציות (שכן היא איזומורפית למרחב X). כדי להשלים את f(X), נביט בקבוצה Cl(f(X)), היא הסגור של הקבוצה. קבוצה זו אכן סגורה, ולכן משלימה את תמונת X, ולכן משלימה (איזומורפית) את X.

שיטה שנייה

השיטה השנייה היא יותר קונסטרוקטיבית, ובמידה מסוימת יותר "חסכונית".

נביט בקבוצה X' הכוללת את כל סדרות קושי במרחב X. נגדיר עליה את הפסאודו מטריקה d'(\{ { x }_{ n }\} ,\{ { y }_{ n }\} )=\lim _{ n\rightarrow \infty  }{ d( } { x }_{ n },{ y }_{ n }) . פונקציה זו מוגדת היטב ומגדירה פסאודו מטריקה על X'. נגדיר יחס שקילות ~ על X' על ידי \{ { x }_{ n }\} \sim \{ { y }_{ n }\}  \Leftrightarrow d'(\{ { x }_{ n }\} ,\{ { y }_{ n }\} )=0 \Leftrightarrow  \lim _{ n\rightarrow \infty  }{ d( } { x }_{ n },{ y }_{ n })=0 ביחס שקילות זה, נביט בקבוצת מחלקות השקילות: { X }_{ c }=\{ [\{ { x }_{ n }\} ] | \{ { x }_{ n }\} \in X'\} . ראשית, קל לשכן את המרחב X למרחב {X}_{c} על ידי a\mapsto [{ \{ a(n)=a\}  }_{ n\in N }]. השלמת המרחב X תהיה שוב הסגור של התמונה.

מרחבים מטריים עם מבנה אלגברי[עריכת קוד מקור | עריכה]

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

מרחב נורמי שלם נקרא מרחב בנך ואילו מרחב מכפלה פנימית שלם נקרא מרחב הילברט.