Geodesic metric space

From Topospaces
Jump to: navigation, search

This article defines a property that can be evaluated for a metric space

Definition

Symbol-free definition

A geodesic metric space is a metric space if it satisfies the following equivalent conditions:

  • Given any two points, there is a path between them whose length equals the distance between the points
  • Fill this in later

Relation with other properties

Stronger properties

Weaker properties