# Minimizing geodesic

## 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: