מרחב גאודזי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
דיוק הניסוח (מעגל הוא היקפו של העיגול, ולכן לא עובר דרך מרכז הספירה). קישורים פנימיים
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד עריכה מתקדמת מהנייד
אין תקציר עריכה
שורה 4:
בין הדוגמאות החשובות למרחבים גאודזיים - [[יריעת רימן]] [[מרחב שלם|שלמה]] (ובפרט כל [[משטח רימן]]); ו[[גרף (תורת הגרפים)|גרף]] שבו מקצים על כל קשת מטריקה של קטע ממשי. כל [[מרחב מטרי שלם]] שבו לכל <math>x,y</math> יש נקודה <math>z</math> ביניהן (נקודה <math>z \neq x,y</math> כך ש-<math>d(x,z)+d(z,y)=d(x,y)</math>), הוא גאודזי.
 
דוגמה למרחב מטרי שאיננו גיאודוזיגיאודזי היא <math>\mathbb{R}^2\setminus \{(0,0)\}</math> (המישור האוקלידי ללא ראשית הצירים) שכן המרחק בין הנקודות <math>(1,0),(-1,0)</math> הוא <math>2</math>, אך אין מסילה באורך <math>2</math> בין נקודות אלו.
 
קיימות להגדרה גם וריאציות חזקות יותר, שבהן דורשים קיומה של איזומטריה מ[[הישר הממשי]], העוברת בכל זוג נקודות נתון. במרחבים כאלו אפשר להמשיך את הקטעים הגאודזים עד לאינסוף, לשני הכיוונים, ברוח ה[[גאומטריה אוקלידית#אקסיומות|אקסיומה השנייה]] של [[אוקלידס]]. במרחב גאודזי ממלאות המסילות הגאודזיות תפקיד דומה לזה של הקווים הישרים ב[[מרחב אוקלידי]], ואכן, המרחב האוקלידי (ביחס למטריקה הנורמית) הוא מרחב גאודזי, שבו הגאודזים הם הקווים הישרים.