Expansive maps are isometries

Orest Bucicovschi, David A. Meyer

We show that expansive maps from a dense subset of a compact metric space into the metric space itself are isometries