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

{{פירוש נוסף|
נוכחי=פונקציה (בטופולוגיה) המכלילה את מושג המרחק|
אחר=יישום פונקציה שכזו ברשתות מחשבים|
ראו=[[מטריקה (רשתות)]]
}}
ב[[טופולוגיה]], '''מֶטְרִיקָה''' (נקראת גם פונקציית מרחק) היא [[פונקציה]] המתאימה לכל זוג נקודות במרחב [[מספר אי-שלילי]], ומקיימת כמה תנאים פשוטים. בזכות תנאים אלה, אפשר לראות במטריקה [[הכללה (מתמטיקה)|הכללה]] של מושג ה[[מרחק]] מה[[מרחב אוקלידי|מרחב האוקלידי]] ל[[מרחב (מתמטיקה)|מרחב]] כלשהו.

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

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

==הגדרה פורמלית==

תהא <math>S</math> קבוצה כלשהי. פונקציה <math>d \colon S \times S \to \mathbb{R}</math> תיקרא מטריקה כאשר היא מקיימת את שלוש התכונות הבאות עבור כל <math>x,y,z\isin S</math>:

#<math>d(x,y)=0</math> [[אם ורק אם]] <math>x=y</math>
#<math>d\left(x,y\right) = d(y,x)</math> ([[פונקציה סימטרית|סימטריות]])
#<math>d(x,z) \le d(x,y)+d(y,z)</math> ([[אי-שוויון המשולש]])

נובע מכך ש-<math>d(x,y)\ge 0</math> (אי שליליות) שהרי מהאקסיומות מתקיים

<math>0 = d(x,x) \leq d(x,y) + d(y,x) = d(x,y) + d(x,y) = 2d(x,y)</math>.

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

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

==דוגמאות== 
* [[המטריקה הדיסקרטית]]: אם <math>x=y</math> אז <math>d(x,y)=0</math>, אחרת <math>d(x,y)=1</math>.
* המטריקה ב[[גאומטריית נהגי המוניות]]: בהינתן מערכת צירים, ניתן לנוע רק במקביל לאחד מהם. בשפה [[מתמטיקה|מתמטית]]: <math>d=|\Delta x|+| \Delta y|</math>.
*מטריקה על קבוצת כל המילים האפשריות בנות ארבע אותיות: המטריקה היא מספר הצעדים המזערי שיש לבצע כדי לעבור ממילה <math>x</math> למילה <math>y</math>, כשצעד מוגדר כהחלפה של אות אחת. מטריקה זו קרויה [[מרחק המינג]].
* מטריקה בין חיילים: מספר הצעדים המזערי שנחוץ כדי להעביר מסר מחייל <math>x</math> לחייל <math>y</math>, כשצעד מותר הוא העברת מסר מחייל למפקדו או ממפקד לחייל הנתון לפקודתו.
לעומת זאת, המרחק בין שתי נקודות במפה על-פי אורך הדרך שיש לנסוע כדי להגיע מאחת לשנייה אינו מטריקה, עקב קיומם של כבישים חד סיטריים, שגורמים למצבים שבהם <math>d\left(x,y\right) \ne d(y,x)</math>.

==שקילות מטריקות==
שתי מטריקות על אותו מרחב הן '''שקולות''' אם הן מגדירות את אותה [[טופולוגיה מטרית]]. ניתן להראות ששתי מטריקות הן שקולות אם ורק אם כל [[כדור (טופולוגיה)|כדור פתוח]] ביחס למטריקה אחת, מכיל כדור פתוח בעל אותו המרכז ביחס למטריקה האחרת. מכיוון שהטופולוגיה של מרחב מטרי נקבעת על ידי התכנסות של סדרות, שתי מטריקות הן שקולות אם ורק אם כל [[סדרה מתכנסת]] ביחס לאחת מהן, מתכנסת גם ביחס לשנייה. עם זאת, המושג של [[סדרת קושי]], התלוי במטריקה, אינו נשמר תחת שקילות (לדוגמה, המטריקה <math>d(x,y)=\left|\frac{x}{1-x}-\frac{y}{1-y}\right|</math> על הקטע <math>(0,1)</math> שקולה למטריקה הרגילה שם, אבל הסדרה <math>\frac{1}{2},\frac{2}{3},\frac{3}{4},\dots</math>, שאינה מתכנסת, היא סדרת קושי לפי המטריקה הרגילה, אבל לא לפי <math>d</math>). 

כל שתי [[נורמה (אנליזה)|נורמות]] על המרחב <math> \mathbb{R}^n </math> שקולות (כמטריקות), ולכן יש למרחב הזה טופולוגיה נורמית אחת ויחידה.

== הטנזור המטרי ==

ב[[גאומטריה דיפרנציאלית]] ו[[אנליזה על יריעות]] המונח "מטריקה" משמש כדי לציין את [[הטנזור המטרי]] המוגדר מעל [[יריעה חלקה]] <math>M</math>, זהו [[שדה טנזורי]] המתאים לכל נקודה במרחב [[טנזור]]. הטנזור הזה מייצג בעצם את המטריקה הלוקלית של מרחק אינפיניטסימלי בין שתי נקודת במרחק של הנקודה.
כלומר, אלמנט האורך ה[[אינפיניטסימל|איפיניטסימלי]] נתון על ידי
:<math>\mathrm{d}s^2 (k) = \sum_{\mu} \sum_{\nu} g_{\mu \nu} (k) \mathrm{d}x^\mu \, \mathrm{d}x^\nu</math>
כאשר <math>\mu,\nu</math> רצים על האינדקסים של [[בסיס (אלגברה)|וקטורי הבסיס]] בנקודה <math>k</math>. 

כדי לקבל את המרחק בין שתי נקודת כלשהן, <math>a</math> ו-<math>b</math>, יש לבצע אינטגרציה על אלמנט האורך האינפיניטסימלי. כלומר, אנו מגדירים מטריקה חדשה על ידי
:<math>d(a,b) = 
\inf \int_{a}^{b} \mathrm{d}s = 
\inf \int_{a}^{b} \sqrt{\sum_{\mu} \sum_{\nu} g_{\mu \nu} (k) \, \mathrm{d}x^\mu (k) \, \mathrm{d}x^\nu (k)} =
\inf \int_{a}^{b} \sqrt{\sum_{\mu} \sum_{\nu} g_{\mu \nu} (k) \frac{\mathrm{d}x^\mu}{\mathrm{d}k} \frac{\mathrm{d}x^\nu}{\mathrm{d}k}} \,\mathrm{d}k </math>
כאשר <math>k</math> הוא פרמטר של [[עקומה]] גיאודזית <math>\gamma \colon \mathbb{R} \to M</math> המחברת בין <math>a</math> ל-<math>b</math> ואת <math>g_{ \mu \nu} (k)</math> יש לפרש כטנזור המטרי בנקודה <math>\gamma (k)</math> והאינטגרציה מתבצעת כ[[אינטגרל מסלולי]] לאורך עקומה זו.

==בתורת היחסות==
בתורת היחסות מוגדר [[מרחב-זמן]], הנקרא גם מרחב [[הרמן מינקובסקי|מינקובסקי]].

ב[[תורת היחסות הפרטית]], מותאם למרחב-זמן מרחק בריבוע, המוגדר על ידי:
:<math>\mathrm{d}s^2 = c^2 \mathrm{d}t^2 - \mathrm{d}x^2 - \mathrm{d}y^2 - \mathrm{d}z^2</math>
כאשר <math>\mathrm{d}x,\mathrm{d}y,\mathrm{d}z</math> הם המרחקים ב[[מרחב אוקלידי|מרחב האוקלידי]] התלת-ממדי, <math>\mathrm{d}t</math> הוא הפרש הזמנים (המרחק בציר הזמן) ו-<math>c</math> היא [[מהירות האור]]. במקרה זה, המרחק בריבוע יכול להיות גם אפס או שלילי, בניגוד לחלק מהדרישות על מטריקה. על כן, אומרים שהמטריקה ב[[תורת היחסות הפרטית]] היא מטריקה מוכללת, ומהווה הרחבה של מושג המטריקה הקלאסי.

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

==ראו גם==
* [[גאומטריית נהגי המוניות]]
* [[מרחק צ'בישב]]
* [[מרחב מטרי]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

{{אלגברה ליניארית}}

[[קטגוריה:מרחבים מטריים]]
[[קטגוריה:גאומטריה דיפרנציאלית]]