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

נלקח מויקיפדיה

הגדרות נוספות הקשורות למרחב גאודזי:
•מרחבים מטריים