מרחב גאודזי
בטופולוגיה, מרחב גאודזי הוא מרחב מטרי (עם מטריקה ), שבו כל המרחקים נמדדים על ידי מסילות מתאימות. הדרישה המקובלת היא שלכל שתי נקודות במרחב תהיה איזומטריה מן הקטע ל-, המעבירה את נקודות הקצה ל- ול-. מרחב כזה הוא, כמובן, קשיר מסילתית. המסילה המתקבלת מ- ל- נקראת מסילה גאודזית, והיא מתארת את המרחק הקצר ביותר בין הנקודות. כל מרחב גאודזי הוא מרחב אורכים. מרחב אורכים שלם וקומפקטי מקומית הוא מרחב גאודזי.
בין הדוגמאות החשובות למרחבים גאודזיים - יריעת רימן שלמה (ובפרט כל משטח רימן); וגרף שבו מקצים על כל קשת מטריקה של קטע ממשי. כל מרחב מטרי שלם שבו לכל יש נקודה ביניהן (נקודה כך ש-), הוא גאודזי.
דוגמה למרחב מטרי שאיננו גאודזי היא (המישור האוקלידי ללא ראשית הצירים) שכן המרחק בין הנקודות הוא , אך אין מסילה באורך בין נקודות אלו.
קיימות להגדרה גם וריאציות חזקות יותר, שבהן דורשים קיומה של איזומטריה מהישר הממשי, העוברת בכל זוג נקודות נתון. במרחבים כאלו אפשר להמשיך את הקטעים הגאודזים עד לאינסוף, לשני הכיוונים, ברוח האקסיומה השנייה של אוקלידס. במרחב גאודזי ממלאות המסילות הגאודזיות תפקיד דומה לזה של הקווים הישרים במרחב אוקלידי, ואכן, המרחב האוקלידי (ביחס למטריקה הנורמית) הוא מרחב גאודזי, שבו הגאודזים הם הקווים הישרים.
ראו גם
[עריכת קוד מקור | עריכה]מקורות
[עריכת קוד מקור | עריכה]- Herbert Busemann, "The geometry of Geodesics", 1955 (Dover edition: 2005).