Expansive maps are isometries

Abstract

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