מרחב מטרי שלם – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
מידע ראשוני
 
אין תקציר עריכה
שורה 6: שורה 6:


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

גרסה מ־10:50, 3 ביולי 2004


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

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

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