Coarse metric and uniform metric

摘要

We introduce the notion of coarse metric. Every coarse metric induces a coarse structure on the underlying set. Conversely, we observe that all coarse spaces come from a particular type of coarse metric in a unique way. In the case when the coarse structure epsilon on a set X is defined by a coarse metric that takes values in a meet-complete totally ordered set, we define the associated Hausdorff coarse metric on the set P-0 (X) of non-empty subsets of X and show that it induces the Hausdorff coarse structure on P-0 (X).On the other hand, we define the notion of pseudo uniform metric. Each pseudo uniform metric induces a uniform structure on the underlying space. In the reverse direction, we show that a uniform structure u on a set X is induced by a map d from X x X to a partially ordered set (with no requirement on d) if and only if u admits a base B such that B boolean OR {boolean AND u) is closed under arbitrary intersections. In this case, u is actually defined by a pseudo uniform metric. We also show that a uniform structures u comes from a pseudo uniform metric that takes values in a totally ordered set if and only if u admits a totally ordered base.Finally, a valuation ring will produce an example of a coarse and pseudo uniform metric that take values in a totally ordered set. (C) 2019 Published by Elsevier B.V.