לא בדיוק
מרחב מטרי זה כשקיימת מטריקה למרחב מרחב וקטורי, ברור לנו מה זה. מרחב מכפלה פנימית (ממ"פ) זה מרחב וקטורי עליו מוגדרת מכפלה פנימית (פונקציה VxV->R/C שמוגדרת בעזרת תבנית בילינארית סימטרית (תבנית ססאקווילינארית (כי פשוט זה יוצר עם צמוד מקדם חופשי מהאיבר השני בתבנית) והרמיטית במקרה המרוכב VxV->C) וחיובית לחלוטין (חובה בשניהם), למשל המכפלה הפנימית הסטנדרטית מעל R^n היא המכפלה הסקלרית (אפשר להוכיח שהיא המכפלה היחידה על R^n, בכפוף לדימיון (בC זה הצמדה אורתוגנאלית), כי כל מטריצה חיובית לחלוטין דומה לI) עכשיו אם יש תבנית כזאת, אז המכפלה הפנימית מוגדרת ע"י
(u,v)=u^t*A*v או אם מדובר במקרה המרוכב ההרמיטי אז (u,v)=u^t*A*(v_) v_ מסמל v צמוד
וכמובן A המטריצה המייצגת של התבנית הבילינארית ביחס לבסיס מסויים (כדי לבחור בסיס אורתונורמלי). כעת במכפלה פנימית כזאת, ניתן להגדיר נורמה, נורמה היא פונקציה || ||:V->R המקיימת ש
לכל x בV |
|>=0 |
|=0 <=> x=0 ||ax||=|a
| אי שיוויון המשולש ||x+y||<=|
|+||y||
לכן ניקח בתור נורמה את הפונקציה הבאה
|
|=sqrt((v,v)) כלומר את שורש המכפלה הפנימית של הוקטור בעצמו
אפשר להוכיח שזוהי נורמה (דיי פשוט) (קיימות גם נורמות אחרות שלא מוגדרות בעזרת מכפלה פנימית אבל זה עניין אחר) בעזרת הנורמה אפשר להגדיר מטריקה (מעין פונקציה שמודדת מרחק בין 2 נקודות) ע"י
d(u,v)=||u-v||
וזהו, וככה קיבלנו מרחב+מטריקה => מרחב מטרי אני דיי בטוח חלק מהדברים כאן נכונים רק למרחבים ממימד סופי, ולכן למשל לא הכל יעבוד על מרחבים ממימד אינסופי כמו C[0,1] וכאלה