On the topological and uniform structure of diversities

Abstract: Diversities have recently been developed as multiway metrics admitting clear and useful notions of hyperconvexity and tight span. In this note we consider the analytic properties of diversities, in particular the generalizations of uniform continuity, uniform convergence, Cauchy sequences and completeness to diversities. We develop conformities, a diversity analogue of uniform spaces, which abstract these concepts in the metric case. We show that much of the theory of uniform spaces admits a natural analogue in this new structure; for example, conformities can be defined either axiomatically or in terms of uniformly continuous pseudodiversities. Just as diversities can be restricted to metrics, conformities can be restricted to uniformities. We find that these two notions of restriction, which are functors in the appropriate categories, are related by a natural transformation.

Review text

Let \(X\) be a set and \(\mathcal P(X) = \{A \subseteq X : |A| < \infty\}\). A diversity is a pair \((X, d)\), where \(X\) is a set and \(d\) is a real function on \(\mathcal P(X)\) satisfying \(d(A) \geq 0\) and \(d(A) = 0\) iff \(|A| \leq 1\), and if \(A, B, C \in \mathcal P(X)\) with \(C \neq \emptyset\), then \(d(A \bigcup B) \leq d(A \bigcup C) + d(C \bigcup B)\). Analytical properties such as generalizations of uniform continuity, uniform convergence, Cauchy sequences and completeness of diversities are studied. A diversity analogue of uniform spaces, called conformities, is introduced and it is shown that conformities can be defined either axiomatically or in terms of uniform continuous pseudodiversities.

Recommendations

Cites work

Cited in

(6)

Describes a project that uses

Uses Software

MathOverflow

This page was built for publication: On the topological and uniform structure of diversities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2443744)