Minimizing geodesic

From Diffgeom

Definition

Given data

A metric space equipped with a metric .

Definition part

A path is termed a minimizing geodesic if it is the shortest path from to .

By shortest, we mean path of minimum length where the length of a path is defined as: