הצגת המקור של הדף "מרחב מטרי"

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

==הגדרה==

'''[[מטריקה]]''' על קבוצה לא ריקה <math>S</math> היא פונקציה <math>d \colon S\times S \rarr \mathbb{R}</math> המקיימת את התכונות הבאות לכל <math>x,y,z\isin S</math>:
* אי-שליליות: <math>d(x,y)\ge 0</math>.
* הפרדת נקודות: <math>d(x,y)=0</math> [[אם ורק אם]] <math>x=y</math> (ולכן, מכך שהמטריקה היא אי-שלילית, נובע ש <math>d(x,y)\neq 0</math> אם ורק אם <math>x\neq y</math>, כלומר המטריקה מפרידה נקודות).
* סימטריות: <math>\,d(x,y) = d(y,x)</math>.
* [[אי-שוויון המשולש]]: <math>\,d(x,z) \le d(x,y)+d(y,z)</math>.

קבוצה <math>S</math> שמוגדרת עליה מטריקה <math>d</math> נקראת '''מרחב מטרי''' ומסומנת כזוג הסדור <math>(S,d)</math>, כאשר כאן הקבוצה <math>S</math> היא המרחב, ואילו הפונקציה <math>d</math> היא המטריקה (שלפעמים מכונה ״המרחק״). לעיתים, במיוחד כאשר ברור מהי המטריקה, מקצרים את הסימון ומתייחסים אל <math>S</math> כאל המרחב המטרי.

==דוגמאות==

[[מרחב נורמי|מרחבים נורמיים]] הם דוגמה חשובה למרחב מטרי, שהרי ה[[נורמה (אנליזה)|נורמה]] מאפשרת להגדיר מטריקה על ידי <math>g(x,y)= \| x-y \|</math>. בפרט הישר הממשי (עם נורמת הערך המוחלט: <math>d(x,y)=|x-y|</math>), המישור האוקלידי ו[[המרחב האוקלידי]] הם מרחבים מטריים מהסוג הזה, כאשר המטריקה היא המרחק הגאומטרי המוכר, כלומר הנורמה האוקלידית.

דוגמה חשובה נוספת, שמכלילה את המקרה של מרחב נורמי, היא [[מרחב גאודזי]] (או מרחב מטרי גאודזי), למשל [[ספירה (גאומטריה)|פני כדור אוקלידי]] (כלומר ספירה, שם, בהינתן שתי נקודות  <math>x</math> ו <math>y</math>, מסתכלים על המעגל הגדול עליהן הן נמצאות, כלומר על המעגל שעובר דרך שתי הנקודות ומרכזו הוא הראשית ורדיוסו 1; בין שתי הנקודות  <math>x</math> ו <math>y</math> עוברות שתי קשתות שנמצאות על המעגל, ומגדירים את <math>d(x,y)</math> להיות אורך הקשת הקצרה שעוברת ביניהן). דוגמה נוספת של מרחב גאודזי (יותר כללית מפני כדור) היא [[יריעת רימן]] שלמה. באופן כללי, מה שמאפיין מרחבים גאודזיים הוא שלכל שתי נקודות  <math>x</math> ו <math>y</math> במרחב ניתן למצוא מסילה שמחברת ביניהן באופן שומר מרחק, כלומר יש פונקציה (שתסומן ב <math>\gamma</math>) מהקטע  <math>[0,d(x,y)]</math> על הישר הממשי למרחב המטרי עצמו, והפונקציה הזו מקיימת <math>\gamma(0)=x</math> (כלומר מעתיקה את 0 ל  <math>x</math>), <math>\gamma(1)=y</math> (כלומר מעתיקה את 1 ל  <math>y</math>), והיא שומרת מרחקים (כלומר <math>d(\gamma(s),\gamma(t))=|s-t|</math> לכל <math>s, t \in [0,d(x,y)] </math>). 

על כל קבוצה אפשר להגדיר את המטריקה <math>d(x,y)=\begin{cases}0 & \text{ if } x=y \\ 1 & \text{ if } x\neq y \end{cases}</math>. מטריקה זו ידועה בתור "המטריקה הדיסקרטית" והטופולוגיה שמשרה היא [[הטופולוגיה הדיסקרטית]] (כלומר, במרחב זה כל קבוצה היא [[קבוצה פתוחה]]).

== התכנסות לגבול ==
בהינתן מרחב מטרי <math>(S,d)</math>, נסתכל על איזשהי סדרת נקודות במרחב: <math>x_1, x_2, x_3, \ldots</math>.  נאמר שהסדרה מתכנסת לגבול אם קיימת נקודה <math>x\in S</math> בעלת התכונה ש <math>\lim_{n\to\infty}d(x_n,x)=0</math>. במקרה כזה הנקודה <math>x </math> תוגדר להיות הגבול של הסדרה <math>(x_n)_{n=1}^{\infty}</math>. נשים לב שהגבול <math>\lim_{n\to\infty}d(x_n,x)=0</math> הוא גבול על הישר הממשי (כלומר גבול של סדרת המספרים הממשיים <math>(d(x_n,x))_{n=1}^{\infty}</math>), שבעזרתו מגדירים גבול במרחב המטרי  <math>(S,d)</math>. 

לדוגמה, נניח שהמרחב המטרי <math>(S,d)</math> הוא אוסף הפונקציות הרציפות על הקטע <math>[1,2]</math>, כאשר המרחק בין שתי פונקציות מוגדר להיות נורמת הסופרמום (<math>d(f,g):=\sup\{|f(t)-g(t)|: t\in [1,2]\}</math>), ונסתכל על סדרת הפונקציות <math>f_n(t):=\sin(t)+\frac{tn}{tn+1}, t\in [1,2]</math>. כפי שנראה מייד, סדרה זו מתכנסת לפונקציה <math>f(t):=\sin(t)+1, t\in [1,2]</math> : אכן, חישוב פשוט מראה ש <math>
d(f_n,f)=\sup\{|f_n(t)-f(t)|: t\in [1,2]\}=\sup\left\{\frac{1}{tn+1}: t\in [1,2]\right\}=\frac{1}{n+1}

</math>, ולכן באמת <math>
\lim_{n\to\infty}d(f_n,f)=0

</math>, כלומר לפי הגדרת הגבול הפונקציה <math>f</math> שהוגדרה לעיל היא גבול של הסדרה <math>(f_n)_{n=1}^{\infty}
</math>. 

באופן כללי,  לא כל סדרה במרחב מטרי היא סדרה מתכנסת (דוגמה:  <math>S=[-2,2]</math>, <math>x_n:=(-1)^n</math>), אבל ניתן להראות שאם סדרה היא סדרה מתכנסת, אז קיים לה גבול אחד ויחיד.  

== סדרות קושי ומרחב מטרי שלם ==
בהינתן מרחב מטרי <math>(S,d)</math> וסדרת נקודות <math>(x_n)_{n=1}^{\infty}</math> במרחב, נאמר שהסדרה היא [[סדרת קושי]] (על שם המתמטיקאי [[אוגוסטן לואי קושי|אוגוסטין לואי קושי]]) אם היא בעלת התכונה הבאה: לכל <math>\epsilon>0</math> קיים מספר טבעי <math>n_0</math> כך שלכל שני מספרים טבעיים <math>m, n</math> המקיימים <math>m\geq n_0</math> וגם <math>n\geq n_0</math> מתקיים <math>d(x_n,x_m)<\epsilon</math>. במילים אחרות, החל ממקום מסוים המרחקים בין כל שני איברים בסדרה נהיים קטנים כרצוננו ובמידה אחידה.  

ניתן להראות שכל סדרה מתכנסת היא סדרת קושי, אבל לא תמיד סדרת קושי היא סדרה מתכנסת. דוגמה: <math>S=(0,1)</math>, <math>d(x,y)=|x-y|</math>, כלומר הקטע הפתוח על הישר הממשי בין 0 ל 1 שאינו כולל את נקודת הקצה השמאלית 0 ונקודת הקצה הימנית 1, והמטריקה היא מטריקת הערך המוחלט. במרחב הזה נבחר את הסדרה  <math>(x_n)_{n=1}^{\infty}</math> שמוגדרת באופן הבא: <math>x_n:=1/(n+1)</math> לכל <math>n</math> טבעי. הסדרה הזו נמצאת במרחב  <math>S</math>'','' אבל לא קיימת נקודה במרחב <math>S</math> אליה הסדרה מתכנסת. אכן, נניח בשלילה שהסדרה כן הייתה מתכנסת לאיזשהי נקודה <math>s\in S</math>. אז בפרט <math>s>0</math>, ולכן אם ניקח  <math>m</math> טבעי מספיק גדול, כלומר כזה שמקיים  <math>\frac{1}{s}-1<m</math>, אז נקבל ש <math>x_m=1/(m+1)<s</math>, ולכל מספר טבעי <math>n</math> שמקיים <math>n>m</math> יתקיים <math>x_n=1/(n+1)<1/(m+1)=x_m<s</math>. לכן החל מהמקום <math>m+1</math> כל איברי הסדרה יהיו מחוץ לסביבה <math>(s-r,s+r)</math> עבור <math>r:=\min\{0.5(s-x_m),0.5(1-s)\}>0</math>, ולכן, לפי הגדרת הגבול, הסדרה <math>(x_n)_{n=1}^{\infty}</math> לא יכולה להתכנס ל <math>s</math>. הגענו לסתירה שמראה שהנחת השלילה הייתה שגויה, ולכן לא קיימת נקודה במרחב <math>S</math> אליה הסדרה <math>(x_n)_{n=1}^{\infty}</math> מתכנסת. יש לציין שאם במקום <math>S</math> היינו מסתכלים על הקטע <math>[0,1)</math> עם מטריקת הערך המוחלט, או על כל הישר הממשי עם מטריקת הערך המוחלט, אז הסדרה הייתה מתכנסת לנקודה 0, אבל במרחב <math>S</math> הנקודה 0 לא נמצאת.  

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

== מרחב מטרי כמרחב טופולוגי ==

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

אוסף הכדורים הפתוחים מהווה [[בסיס (טופולוגיה)|בסיס לטופולוגיה]], וכך אפשר לראות כל מרחב מטרי כ[[מרחב טופולוגי]]. בניגוד לסתם מרחב טופולוגי, כל מרחב מטרי מקיים את [[אקסיומות ההפרדה|תכונת ההפרדה]] [[מרחב נורמלי|T4]] (יתרה מזאת, כל מרחב מטרי הוא [[מרחב נורמלי באופן מושלם]] או T6). מרחב מטרי הוא [[מרחב קומפקטי]] אם ורק אם הוא [[חסום כליל]] ו[[מרחב מטרי שלם|שלם]]. אם המרחב חסום כליל, ה[[השלמה של מרחב מטרי|השלמה]] שלו היא דוגמה ל[[קומפקטיפיקציה]].

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

== מרחק האוסדורף ומרחק גרומוב-האוסדורף ==

[[פליקס האוסדורף|האוסדורף]] הגדיר מטריקה בין תת-הקבוצות הסגורות של מרחב מטרי קומפקטי, לפי <math>\ d(A,B) = \inf_{r} \{A\subseteq \operatorname{B}_r(B), B\subseteq \operatorname{B}_r(A)\}</math>, כאשר <math>\ \operatorname{B}_r(A) = \cup_{a \in A} \operatorname{B}_r(a)</math>. בהגדרה זו השתמש [[מיכאיל גרומוב|גרומוב]] כדי להגדיר את המרחק <math>d_{GH}(A,B)</math> בין שני מרחבים מטריים A,B, כמרחק (האוסדורף) המינימלי בין כל שתי תמונות איזומטריות של המרחבים במרחב מטרי שלישי. מרחק האוסדורף-גרומוב של שני מרחבים הוא אפס אם ורק אם הם איזומטריים. הגדרה זו מובילה ל"טופולוגיית האוסדורף-גרומוב", שלפיה סדרת מרחבים מטריים מנוקדים מתכנסת למרחב מטרי מנוקד, אם לכל <math>r</math>, המרחקים בין הכדורים ברדיוס <math>r</math> במרחבים הנתונים, לבין הכדור ברדיוס <math>r</math> במרחב המטרה, שואפים לאפס. בדרך כלל קשה לחשב את המרחק המדויק בין שני מרחבים.

יהיו A,B מרחבים מטריים. ה'''עיוות''' <math>d(R)</math> של יחס <math>R \subset A \times B</math> הוא ה[[סופרמום]] של ההפרשים <math>|d(a,a')-d(b,b')|</math> על פני כל הזוגות <math>(a,b),(a',b') \in R</math>. נאמר שיחס R הוא '''התאמה''' (correspondence) אם ההטלות שלו על שני הרכיבים הן על. מרחק גרומוב-האוסדורף בין המרחבים A,B שווה למחצית ה[[אינפימום]] של כל העיוותים של התאמות בין A ל-B.

== מרחבים אולטרה-מטריים ==

פונקציה המקיימת את האקסיומה <math>d(x,z) \le \textrm{max}\{d(x,y),d(y,z)\}</math> (שהיא חזקה יותר מאי-שוויון המשולש) נקראת '''אולטרה-מטריקה'''. מרחב שמוגדרת עליו אולטרה-מטריקה נקרא '''מרחב מטרי לא ארכימדי''', או '''[[מרחב אולטרה-מטרי]]'''.

==ראו גם==
* [[מטריקה]]
* [[נורמה (אנליזה)|נורמה]]
* [[מרחב אורכים]] ו[[מרחב גאודזי]]
* [[מרחב פסאודו-מטרי]]

==לקריאה נוספת==
* דניאלה ליבוביץ, '''טופולוגיה קבוצתית''', כרך א', הוצאת [[האוניברסיטה הפתוחה]], 1997.

==קישורים חיצוניים==
{{מיזמים|ויקימילון=מ"מ}}
* {{MathWorld}}
* {{בריטניקה}}
* {{דף שער בספרייה הלאומית|987007529311005171|מרחבים מטריים}}

{{טופולוגיה}}
{{בקרת זהויות}}
[[קטגוריה:מרחבים מטריים|*]]