1 定义与基本概念
测地距离是指在某一给定空间内部，沿允许路径从一点到另一点所得到的最短长度。这里的“允许路径”取决于空间的结构：在平面中通常是直线，在曲面上可能必须贴着曲面前进，在图结构中则对应沿边行走。由于强调“在空间内移动”的代价，它与单纯看两点外部直线间隔的思路有所不同。
1.1 测地距离的定义
在几何学中，测地距离通常指两点之间所有可行路径长度的下确界；若最短路径确实存在，则该长度就称为两点的测地距离。对于平直空间，这一定义与通常距离一致；而在弯曲空间或受约束空间中，它更能反映空间本身的形状。
1.2 与欧几里得距离的区别
欧几里得距离是两点在平直坐标空间中的“直线长度”，不考虑中间是否存在边界、曲面弯折或障碍物。测地距离则只允许在空间内部或约定结构上移动，因此在球面、地形表面、网格或网络中，二者往往明显不同。前者强调“穿越空间”，后者强调“沿空间行进”。
1.3 测地线与最短路径
测地距离通常由测地线或最短路径实现。若空间连续且足够光滑，最短路径往往表现为测地线；若空间是离散结构，则最短路径由一串边或节点组成。
1.3.1 连续空间中的测地线
在连续空间里，测地线是局部上最短的曲线。它不一定在全局上唯一，但在足够小的邻域中通常可视为最短连接方式。平面中的直线、球面上的大圆弧，都是常见例子。
1.3.2 离散空间中的最短路径
在离散空间中，路径由有限个顶点和边构成，路径长度等于经过边权之和或边数之和。此时“测地距离”通常等同于图中两点之间的最短路长度，是空间连续版本在离散系统中的对应物。
1.4 度量空间中的表述
在度量空间中，测地距离可理解为由内部路径诱导出的距离函数。若任意两点之间都能找到一条长度等于该距离的路径，空间常被称为测地空间。此类表述为后续的几何分析、拓扑讨论和算法设计提供了统一框架。
2 数学性质
测地距离作为一种距离函数，继承了度量的基本特征，同时也受到空间连通性、边界条件和曲率的影响。它既可用于精确计算，也可用于刻画空间的整体结构。
2.1 非负性与对称性
测地距离总是非负的，因为路径长度不可能为负。对于通常的对称空间，从点A到点B的最短路径长度与从B到A的最短路径长度相同，因此测地距离满足对称性。
2.2 三角不等式
三角不等式是测地距离的重要性质之一。若从A到C经过B，则A到C的测地距离不会大于A到B与B到C距离之和。这反映了“绕路不会比直接可达更短”的基本事实，也是距离函数可用于分析空间结构的关键原因。
2.3 路径可达性与连通性
测地距离只在两点之间存在可行路径时才有有限值。若空间分为多个互不连通的部分，则分属不同部分的两点之间没有有限测地距离，通常视为不可达。因而，连通性是讨论测地距离的前提条件之一。
2.4 完备性与闭集中的最短路径
在较理想的空间中，若路径长度序列的极限也落在空间内，常可保证最短路径存在。对闭集或完备空间而言，某些最小化问题更容易获得解。相反，如果空间边界开口、存在缺口或结构不连续，最短路径可能需要借助极限意义理解。
3 几何空间中的测地距离
在不同几何背景下，测地距离的表现形式差异较大。平直空间中它较为直观，而在弯曲曲面或分片结构上，则需要结合几何性质、曲率和局部拼接方式来讨论。
3.1 平面与欧几里得空间
在欧几里得平面或更高维欧几里得空间中，测地距离与通常的直线距离相同。两点间最短路径就是连接它们的线段，这也是测地距离概念最简单、最基础的情形。
3.2 球面与大圆距离
在球面上，两点间最短路径沿球面曲面延伸，通常落在经过球心和这两点的平面所截出的圆弧上，即大圆弧。常见的地理距离、航线规划和天文坐标计算，都会用到这一类型的测地距离。
3.3 曲面与黎曼流形
在一般光滑曲面或黎曼流形上，测地距离由曲面自身的内在几何决定，不依赖于曲面嵌入外部空间的方式。即便两块曲面在外观上相似，只要曲率分布不同，其测地距离结构也可能存在显著差别。
3.3.1 局部坐标表达
在局部坐标系中，曲面上的距离通常通过度量表达式写成积分形式。路径长度可由参数曲线在局部坐标下的导数与度量张量共同确定，这使测地距离能够被转化为可计算的积分问题。
3.3.2 曲率对距离的影响
曲率会改变最短路径的形状与长度分布。正曲率区域中的最短路径往往更容易聚拢，而负曲率环境中的路径则可能更容易发散。曲率还会影响测地线是否唯一，以及两点之间最短路径是否稳定。
3.4 多面体与分片线性曲面
在多面体表面上，测地距离通常沿各个面展开，并在棱边处发生折转。由于表面由若干平面拼接而成，最短路径一般不是简单的空间直线，而是由多个面上的线段组合而成。分片线性曲面因此成为计算几何中研究测地距离的重要对象。
4 离散结构中的测地距离
在离散系统中，测地距离不再由连续曲线决定，而是由节点、边及其权重共同定义。此类定义广泛用于网络分析、图像栅格和离散建模。
4.1 图论中的最短路距离
在图论中，两个顶点之间的测地距离通常就是它们之间最短路径的长度。若以边数计量，则称为无权图距离；若以边权之和计量，则称为加权最短路距离。这一定义在社交网络、通信网络和交通网络中都非常常见。
4.2 加权图与无权图
无权图只关心经过多少条边，因此测地距离等于最少步数。加权图则把每条边赋予不同代价，例如时间、成本或阻力，测地距离就变成权重最小的路径代价。加权情形更接近现实中的路网和资源分配问题。
4.3 网格与像素空间
在规则网格或像素空间中，测地距离可按四邻域、八邻域或更复杂的邻接规则计算。不同邻接方式会改变路径长度与连通特征，因此图像中的“最短距离”并不只有一种标准，而要依赖所选模型。
4.4 网络中的测地距离计算
在复杂网络里，测地距离常用于衡量节点之间的接近程度。它既可以表示通信跳数，也可以表示传播代价或信息传输成本。对于大规模网络，测地距离的估计通常需要借助高效算法或近似方法。
5 计算方法
测地距离的计算方式与空间类型密切相关。简单情形可直接求解，复杂曲面或大型网络则常需依赖数值近似与算法工具。
5.1 解析求解
在具有明确几何公式的场景中，测地距离可以通过解析方法直接得到。例如平面两点距离、球面大圆距离、某些标准曲面上的最短路径，都可能写成封闭表达式。这类方法精确但适用范围有限。
5.2 数值近似方法
当空间较复杂、解析表达式难以获得时，常使用数值近似。典型做法包括离散化曲面、构造局部网格、迭代逼近最短路径等。此类方法能够处理实际数据，但需要在精度与效率之间做权衡。
5.3 最短路径算法
在离散模型中，测地距离通常转化为最短路问题，因此可直接调用图算法。不同算法适用于不同图规模、权重结构和查询方式。
5.3.1 Dijkstra算法
Dijkstra算法适用于边权非负的最短路径问题，可求单源到其他顶点的最短距离。它是许多测地距离计算任务中的基础工具，尤其常见于交通路网与加权图分析。
5.3.2 Floyd-Warshall算法
Floyd-Warshall算法用于求解所有顶点对之间的最短距离，适合节点数较小但需要全局距离矩阵的场景。该算法结构清晰，但时间复杂度较高，因此不适合超大规模网络。
5.3.3 A*搜索
A*搜索通过引入启发式估价加速最短路径寻找，在路径规划中使用广泛。若启发式函数合理，它能比纯粹穷举更快找到目标，同时保持较好的最优性。
5.4 曲面上的快速测地算法
对于三维曲面和复杂网格，常见快速方法包括基于前沿传播、热扩散近似和网格展开的算法。这些方法有的偏向精确，有的偏向速度，适合不同精度需求。随着模型规模增加，算法设计通常要兼顾数值稳定性与局部误差控制。
6 应用领域
测地距离在理论数学之外，也广泛出现在工程、计算机科学和空间分析中。凡是需要考虑“沿着结构本身移动”的问题，往往都能见到它的身影。
6.1 地理信息系统
在地理信息系统中，测地距离用于计算两地之间沿地表或道路网络的实际距离。它比简单平面投影距离更贴近真实空间，因此常用于交通分析、地形测量和区域规划。
6.2 计算机图形学与三维建模
在三维图形中，测地距离可用于纹理映射、模型分析、表面展开和局部变形控制。它有助于在曲面上保持更自然的几何关系，避免仅靠欧几里得距离造成的拉伸失真。
6.3 机器人路径规划
机器人在有障碍物的环境中行进时，通常需要计算可行空间内的最短路径。测地距离可以作为规划依据，帮助机器人在复杂场景下选择更安全、更高效的移动路线。
6.4 机器学习与流形学习
在高维数据分析中，测地距离常用于刻画数据点在潜在流形上的真实接近程度。相比直接使用欧几里得距离，它更能反映非线性结构，因此在降维、聚类和表示学习中具有重要价值。
6.5 图像处理与医学影像
在图像分割、骨架提取和病灶分析中，测地距离可用于描述像素或体素之间沿结构区域的传播距离。医学影像中还常借助它估计组织表面或管状结构上的相对位置。
7 相关概念
测地距离与若干几何和代数概念密切相关。理解这些概念，有助于把握它在不同学科中的具体含义。
7.1 测地线
测地线是局部最短的路径，测地距离则是两点间最短路径的长度。前者强调“路径形状”，后者强调“长度结果”。
7.2 直线距离
直线距离是在欧几里得空间中两点间的最短距离，也是最常见的几何距离。它可视为测地距离在平直空间中的特例。
7.3 曼哈顿距离
曼哈顿距离按照坐标轴方向分别累加位移，常见于网格化空间。它与测地距离的联系在于：当可行路径受到方向约束时，测地距离可能与这种轴向路径长度相似。
7.4 切比雪夫距离
切比雪夫距离取各坐标差的最大值，反映在允许多方向同步移动的模型中最少步数。它是一种与网格路径相关的距离形式，常用于离散空间分析。
7.5 度量张量
度量张量用于描述流形上局部长度和角度的计算方式，是黎曼几何中定义测地距离的重要工具。通过它可以把局部微分结构与全局距离联系起来。
8 历史与发展
测地距离的思想并非现代才出现，而是在长久的几何研究、地理实践和后来的计算方法中逐步成形。它的发展反映了人类对“空间内真实距离”的持续理解。
8.1 古典几何中的最短路径问题
古典几何早已关注两点间最短连接方式，例如“直线最短”的命题和曲面上的最短路线问题。这些研究为后来的测地距离概念奠定了直观基础。
8.2 黎曼几何中的系统化定义
随着黎曼几何的发展，距离不再只依赖平直坐标，而是由流形上的局部度量系统化定义。测地线、曲率和长度概念被统一起来，测地距离也因此获得严格的数学表达。
8.3 现代计算几何中的扩展
进入现代后，测地距离被推广到多面体网格、离散曲面和复杂网络等对象中。计算几何使其不再局限于纯理论空间，而成为可实际处理的算法问题。
8.4 数值算法的发展
随着计算能力提升，测地距离的求解从少数可解析情形扩展到大规模近似计算。最短路径算法、曲面传播方法和高效数值技术的出现，使其在工程与数据科学中的应用更加广泛。