Coarse proximity and proximity at infinity

We define coarse proximity structures, which are an analog of small-scale proximity spaces in the large-scale context. We show that metric spaces induce coarse proximity structures, and we construct a natural small-scale proximity structure, called the proximity at infinity, on the set of equivalence classes of unbounded subsets of an unbounded metric space given by the relation of having finite Hausdorff distance. We show that this construction is functorial. Consequently, the proximity isomorphism type of the proximity at infinity of an unbounded metric space X is a coarse invariant of X.