Echeloned Spaces

Abstract

We introduce the notion of echeloned spaces – an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly continuous or have a uniformly discrete image. In particular, every automorphism of a metrizable echeloned space is uniformly continuous, and for every metric space with midpoints, the automorphisms of the induced echeloned space are precisely the dilations.

Keywords

• 03C50
• 05D10
• 05C55
• 54E35
• 54E40
• 54H11