Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
בטופולוגיה, מרחב מטרי היא קבוצה שמוגדרת עליה פונקציה סימטרית וחיובית, המקיימת את אי-שוויון המשולש. פונקציה כזו (הנקראת מטריקה) מקיימת את התכונות היסודיות של המרחק הגאוגרפי, ולכן רואים בה הכללה של מושג המרחק. המטריקה מאפשרת להגדיר במרחב כדורים, שבזכותם יש למרחבים מטריים תכונות טופולוגיות אופטימליות.
מטריקה על קבוצה לא ריקה היא פונקציה המקיימת את התכונות הבאות לכל :
קבוצה שמוגדרת עליה מטריקה נקראת מרחב מטרי.
מרחבים נורמיים הם דוגמה חשובה למרחב מטרי, שהרי הנורמה מאפשרת להגדיר מטריקה על ידי . בפרט הישר והמישור הם מרחבים מטריים מהסוג הזה, כאשר המטריקה היא המרחק הגאומטרי המוכר.
על כל קבוצה אפשר להגדיר את המטריקה . מטריקה זו ידועה בתור "המטריקה הדיסקרטית" והטופולוגיה שמשרה היא הטופולוגיה הדיסקרטית (כלומר, במרחב זה כל קבוצה היא קבוצה פתוחה).
במרחב מטרי, קבוצת הנקודות שמרחקן מנקודה מסוימת קטן מקבוע חיובי מסוים, נקראת "כדור פתוח". קבוצה המוכלת בכדור כזה נקראת קבוצה חסומה (ואם המרחב כולו הוא קבוצה חסומה, אומרים שהמרחב חסום).
אוסף הכדורים הפתוחים מהווה בסיס לטופולוגיה, וכך אפשר לראות כל מרחב מטרי כמרחב טופולוגי. בניגוד לסתם מרחב טופולוגי, כל מרחב מטרי מקיים את תכונת ההפרדה T4 (יתרה מזאת, כל מרחב מטרי הוא מרחב נורמלי באופן מושלם או T6). מרחב מטרי הוא מרחב קומפקטי אם ורק אם הוא חסום כליל ושלם. אם המרחב חסום כליל, ההשלמה שלו היא דוגמה לקומפקטיפיקציה.
מרחב טופולוגי שניתן להגדיר עליו מטריקה שתגדיר את הטופולוגיה שלו נקרא מרחב מטריזבילי.
האוסדורף הגדיר מטריקה בין תת-הקבוצות הסגורות של מרחב מטרי קומפקטי, לפי , כאשר . בהגדרה זו השתמש גרומוב כדי להגדיר את המרחק בין שני מרחבים מטריים A,B, כמרחק (האוסדורף) המינימלי בין כל שתי תמונות איזומטריות של המרחבים במרחב מטרי שלישי. מרחק האוסדורף-גרומוב של שני מרחבים הוא אפס אם ורק אם הם איזומטריים. הגדרה זו מובילה ל"טופולוגיית האוסדורף-גרומוב", שלפיה סדרת מרחבים מטריים מנוקדים מתכנסת למרחב מטרי מנוקד, אם לכל , המרחקים בין הכדורים ברדיוס במרחבים הנתונים, לבין הכדור ברדיוס במרחב המטרה, שואפים לאפס. בדרך כלל קשה לחשב את המרחק המדויק בין שני מרחבים.
יהיו A,B מרחבים מטריים. העיוות של יחס הוא הסופרמום של ההפרשים על פני כל הזוגות . נאמר שיחס R הוא התאמה (correspondence) אם ההטלות שלו על שני הרכיבים הן על. מרחק גרומוב-האוסדורף בין המרחבים A,B שווה למחצית האינפימום של כל העיוותים של התאמות בין A ל-B.
פונקציה המקיימת את האקסיומה (שהיא חזקה יותר מאי-שוויון המשולש) נקראת אולטרה-מטריקה. מרחב שמוגדרת עליו אולטרה-מטריקה נקרא מרחב מטרי לא ארכימדי, או מרחב אולטרה-מטרי.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.