1 基本概念
1.1 定义
测地线是描述空间中“最自然路径”的基本对象。在线性空间里，它表现为直线；在曲面或更一般的流形上，它则由空间自身的几何性质决定。通常情况下，测地线既可以从“局部最短”的角度理解，也可以从“长度取极值”的变分观点来刻画。
1.1.1 局部最短路径
在足够小的邻域内，一条曲线如果比附近所有连接同一点与同一点的曲线都更短，就可视为测地线的典型例子。这里强调的是“局部”而非“全局”最短，因为在复杂几何中，全局最短路径未必唯一，甚至可能不存在。
1.1.2 变分意义下的极值曲线
从变分法看，测地线是长度泛函的驻值曲线。也就是说，对曲线作微小扰动后，其长度在一阶近似下不发生变化。驻值并不总意味着严格最短，也可能对应极大值或鞍点，但在常见几何情形中，它通常与局部最短路径相一致。
1.2 测地线与直线的关系
测地线与直线在概念上密切相关。直线可被看作平直空间中的测地线，而测地线则是“直线”这一思想在弯曲空间中的推广。两者的共同点在于都体现了“无多余转折”的运动方式。
1.2.1 欧几里得空间中的测地线
在欧几里得空间中，距离结构最为简单，测地线就是通常意义上的直线。任意两点之间的最短连接段，若在空间内部，便是一条线段；若延长到无穷远，则成为直线。
1.2.2 曲面上的测地线
在曲面上，最短路径往往不再是外观上“看起来直”的线，而是沿着曲面自身自然延展的曲线。例如在球面上，大圆弧是测地线；在圆柱面上，某些螺旋线展开后会化为直线，因此也能成为测地线。
1.3 测地线的直观理解
测地线常借助日常经验来理解。尽管这些类比并不严格，但有助于把抽象的几何概念转化为可感知的路径选择问题。
1.3.1 拉紧的绳子模型
可以把测地线想象成两点之间一根绳子被拉紧后的形状。若绳子贴合在曲面上且没有额外约束，它倾向于收缩到长度最短的状态，这条形状通常就对应测地线。
1.3.2 最省力路径模型
从运动角度看，测地线也可理解为“最省力”的路线。若忽略外力干扰，物体会沿着最自然的方向前进，而这种方向在几何上往往正是测地线所描述的路径。
2 数学表述
2.1 参数化与弧长
测地线不仅是几何对象，也是可以被严格描述的参数曲线。为了讨论其性质，通常需要选择合适的参数，其中弧长参数最为自然。
2.1.1 弧长参数
若曲线以弧长作为参数，则曲线上任一点到起点的参数值等于实际长度。这种参数化方式使得许多公式更简洁，特别是在建立测地线方程时，单位速度条件能显著简化计算。
2.1.2 一般参数表示
测地线也可以用任意光滑参数来表示。此时曲线的速度不一定恒定，方程形式会相应变复杂，但几何意义不变。不同参数下描绘的其实是同一条几何轨迹。
2.2 测地线方程
测地线方程是刻画曲线在给定几何中如何“自然延伸”的核心微分方程。它把局部的几何信息，如度量和联络，转化为曲线满足的解析条件。
2.2.1 变分法推导
通过考察长度泛函对微小变动的响应，可以推导出测地线的必要条件。令曲线在固定端点下进行微扰，要求长度的一阶变化为零，即可得到对应的微分方程。
2.2.2 欧拉-拉格朗日方程
长度泛函或能量泛函可视作拉格朗日量的积分形式。对其应用欧拉-拉格朗日方程，便得到测地线方程。这种方法在解析几何和理论物理中都十分常见。
2.3 测地线的存在与唯一性
在适当条件下，给定一个初始点和初始方向，总可以找到一条对应的测地线，并且在局部范围内通常是唯一的。这一性质使测地线成为可预测、可计算的几何对象。
2.3.1 局部存在定理
在足够光滑的流形上，测地线方程作为常微分方程，满足局部存在性定理。因此，在初始条件给定后，至少在某个小区间内可以构造出测地线。
2.3.2 初值问题
测地线的初值问题是：给定一个起点和起始切向量，求解通过该点且沿指定方向出发的曲线。由于方程的结构明确，这一问题在局部通常有唯一解。
2.3.3 最大延拓性质
局部解可以在其存在范围内不断延长，直到不能继续为止。若流形满足一定完备性条件，这些测地线往往能够延拓到更大的区间，甚至无限延伸。
3 微分几何中的测地线
3.1 流形上的测地线
在微分几何中，测地线不再局限于嵌入空间中的曲线，而是通过流形内部的结构来定义。其核心在于如何比较不同点的切向量，以及如何描述曲线沿途的“最直”性质。
3.1.1 仿射联络
仿射联络提供了沿曲线比较切向量的规则。利用它可以定义协变导数，并进一步写出测地线满足的条件，即曲线的速度向量沿自身平行移动。
3.1.2 平行移动
平行移动描述了向量沿曲线“保持方向不变”的方式。若一条曲线的切向量在平行移动意义下不发生变化，那么它就被视为测地线。这种定义与“局部直”高度一致。
3.1.3 测地线指数映射
指数映射把切空间中的向量对应到流形上的点。沿某一初始方向发出的测地线，在单位时间或单位参数后到达的位置，便可视为指数映射的结果，因此它连接了线性空间与弯曲空间。
3.2 度量张量与长度
度量张量是流形上距离和角度的基础。没有度量，就无法精确定义曲线长度，也就无法讨论测地线的最短性质。
3.2.1 度量诱导的距离
度量决定了局部长度元素，从而给出曲线上每一小段的实际长度。将这些局部长度累加，便形成曲线的总长度，并由此导出点与点之间的测地距离。
3.2.2 长度泛函
长度泛函把一条曲线映射为一个数值，即曲线的总长度。测地线就是使这一泛函在局部上取驻值的曲线，因此长度泛函是理解测地线的直接工具。
3.3 曲率对测地线的影响
曲率决定了测地线的弯折方式。不同符号的曲率会导致测地线出现显著不同的行为，包括聚拢、发散或保持平行。
3.3.1 正曲率情形
在正曲率空间中，测地线往往倾向于相互靠近。例如在球面上，原本平行的方向会逐渐汇聚，这也解释了大圆为何彼此具有特殊关联。
3.3.2 负曲率情形
在负曲率空间里，测地线更容易分离，初始方向的微小差别会迅速放大。此类空间中路径选择更敏感，几何形态也更具扩张性。
3.3.3 零曲率情形
零曲率对应平直几何。此时测地线保持最简单的形态，不会因为空间弯曲而偏转，因而与传统直线完全一致。
4 经典几何中的例子
4.1 平面中的测地线
平面是理解测地线的起点。在没有曲率影响的情况下，相关现象最为直接，也最能体现定义本身。
4.1.1 直线
平面中的测地线就是直线。两点之间的最短路径在通常情形下唯一，并由线段给出。
4.1.2 折线与非光滑路径的比较
折线虽然可以连接两点，但在转折处会比直线更长，且不满足光滑极值曲线的要求。非光滑路径一般不被视为测地线，因为其局部几何性质不稳定。
4.2 球面上的测地线
球面是测地线理论中最常见的非平直例子。由于球面本身具有恒正曲率，测地线的形态与平面截然不同。
4.2.1 大圆
球面上的测地线是大圆弧，即通过球心的平面与球面的交线。若取两点之间较短的那段大圆弧，便是局部最短路径。
4.2.2 两极附近的特例
靠近两极时，经线常被用作测地线的直观例子。虽然经线在球面上是曲线，但在球面内沿纬向与经向的几何关系使其成为特殊的最短通道之一。
4.3 圆柱面与圆锥面
圆柱面和圆锥面具有可展开的特点，因此常被用来说明曲面上的测地线如何借助平面图像来理解。
4.3.1 展开后的平面表示
若将圆柱面或圆锥面剪开并展平，其局部几何会化为平面。原本在曲面上的测地线，在展开图上往往表现为直线，这为求解路径提供了简便方法。
4.3.2 螺旋线与展开路径
在圆柱面上，某些螺旋线展开后对应直线，因此可成为测地线。圆锥面上的测地线也常呈现类似规律，只是由于顶点处的特殊性，其路径形态更为复杂。
4.4 双曲几何中的测地线
双曲几何展示了负曲率空间中的典型情形。此类空间里，测地线的视觉样式和欧几里得直线差异明显，但其内在意义仍是“最直路径”。
4.4.1 上半平面模型
在上半平面模型中，测地线通常表现为垂直于边界的半圆或竖直直线。该模型保留了双曲距离结构，因此测地线的公式具有清晰的解析形式。
4.4.2 Poincaré 圆盘模型
在 Poincaré 圆盘模型里，测地线是与边界圆正交的圆弧或直径。虽然在视觉上看起来弯曲，但在双曲度量下它们对应最短连接方式。
5 广义相对论中的测地线
5.1 时空测地线
在相对论框架中，测地线不只是空间中的路径，而是时空中的轨迹。不同类型的世界线对应不同的物理意义。
5.1.1 类时测地线
类时测地线描述具有非零静质量物体的运动轨迹。它们对应物体在自身固有时间中的自然演化路径。
5.1.2 类光测地线
类光测地线对应无静质量粒子，例如理想化的光子。它们沿着时空中的“光速轨道”传播，并严格受时空几何控制。
5.1.3 类空间曲线
类空间曲线在某些坐标描述下可出现，但通常不代表可由物理粒子直接实现的运动轨迹。它们更多用于几何和因果结构分析。
5.2 自由粒子的运动
在广义相对论中，自由粒子不再被视作受力后“偏转”的对象，而是沿时空测地线运动。这一观点把引力从传统意义上的力重新解释为几何效应。
5.2.1 引力的几何解释
引力并不被理解为一种普通的远距离作用力，而是时空弯曲对运动的表现。物体在这种结构中沿测地线前进，看似“下落”或“偏转”，实则是在几何意义上保持惯性运动。
5.2.2 惯性运动与测地线
在没有非引力作用的情况下，粒子会沿测地线继续前进。这种运动与牛顿力学中的惯性概念相呼应，但其具体形式由时空度量决定。
5.3 光线传播
光在弯曲时空中的传播路径同样与测地线密切相关。测地线理论因此成为研究天体附近光路变化的重要工具。
5.3.1 光锥结构
光锥刻画了事件之间可能的因果联系。类光测地线沿着光锥边界传播，反映了光速限制下的信息传递方式。
5.3.2 引力透镜效应
当光线经过大质量天体附近时，其路径会发生弯曲，形成类似透镜的观测效果。该现象可直接用类光测地线在弯曲时空中的偏折来解释。
6 相关理论与概念
6.1 测地距离
测地距离是两个点之间沿最短测地线测得的距离，是度量几何中最基本的量之一。
6.1.1 最短路问题
求测地距离本质上是最短路问题。给定两个点，需要在所有允许路径中寻找长度最小者，而测地线正是这一问题的几何答案。
6.1.2 度量空间中的推广
在更一般的度量空间里，测地距离的思想仍可保留，但未必总能用光滑曲线来实现。此时“测地”更多强调长度最短或近似最短的路径结构。
6.2 测地曲率
测地曲率用来衡量一条曲线相对于所在曲面偏离测地线的程度。它是曲线在曲面内弯曲情况的定量表达。
6.2.1 曲线偏离测地线的程度
若一条曲线的测地曲率为零，则说明它在曲面内没有额外弯折，因而是一条测地线。测地曲率越大，表示曲线越明显地偏离“最直”状态。
6.2.2 曲面上的法向与切向分解
在曲面上分析曲率时，通常把曲线的加速度分解为法向分量和切向分量。测地曲率对应切平面内的部分，而法向部分则反映曲面本身的嵌入弯曲。
6.3 共轭点与切点
共轭点和切点是测地线理论中的重要结构，涉及测地线何时不再保持最短性质。
6.3.1 测地线失去最短性的原因
一条测地线虽然在起点附近最短，但随着延伸，可能因空间曲率和几何聚焦而失去最优性。共轭点的出现往往意味着其局部最短性开始破坏。
6.3.2 Jacobi 场
Jacobi 场描述测地线族之间的无穷小变形，可用来研究相邻测地线如何分离或汇聚。它在分析共轭点、稳定性和曲率效应时具有重要作用。
7 应用
7.1 数学与物理建模
测地线不仅是纯数学概念，也常被用于构建模型，以描述最自然的路径、轨道与传播规律。
7.1.1 曲率分析
通过研究测地线的形态，可以反推出空间的曲率特征。几何性质与测地线行为之间的对应关系，使其成为分析曲面和流形的重要工具。
7.1.2 轨道与路径计算
在天体力学、连续介质和抽象几何建模中，测地线常被用来近似或描述轨道与路径。其优势在于能够自然反映约束条件和空间背景。
7.2 导航与路径规划
测地线思想在导航系统与规划算法中具有直接意义，尤其适合处理“在给定约束下走最短或最优路线”的问题。
7.2.1 地图投影中的最短路径
在地图上，表面看似笔直的线段未必对应地球表面的最短路线。测地线帮助把平面图上的路径与真实地表距离联系起来。
7.2.2 机器人运动规划
机器人在复杂环境中移动时，往往需要在障碍物、地形和能耗约束下寻找近似测地线式的路线。这类方法有助于提高路径效率并减少转向成本。
7.3 计算机图形学
在图形处理与几何建模中，测地线常用于表面参数化、纹理铺展和局部距离计算。
7.3.1 曲面建模
通过计算曲面上的测地线，可以更准确地理解模型内部的距离关系。这对于编辑角色模型、设计工业曲面以及分析复杂网格都很有帮助。
7.3.2 网格上的近似测地线
在离散网格中，严格的连续测地线难以直接求取，通常使用近似算法进行计算。其目标是在网格边、面或顶点上找到尽可能接近真实测地线的路径。
7.4 机器学习与数据分析
测地线思想也进入了高维数据分析与流形学习领域，用于处理非线性结构中的距离与插值问题。
7.4.1 流形学习
流形学习假设高维数据分布在低维流形附近。此时，测地线距离比欧几里得距离更能反映数据的内在结构，因此常用于聚类、降维和嵌入。
7.4.2 测地距离度量
在数据分析中，测地距离可作为衡量样本相似性的指标。相比直线距离，它更能体现受约束空间中的真实可达性与连通关系。