Ultradiversities and their spherical completeness

Abstract

Abstract Diversities are a generalization of metric spaces which associate a positive real number to every finite subset of the space. In this paper, we introduce ultradiversities which are themselves simultaneously diversities and a sort of generalization of ultrametric spaces. We also give the notion of spherical completeness for ultradiversities based on the balls defined in such spaces. In particular, with the help of nonexpansive mappings defined between ultradiversities, we show that an ultradiversity is spherically complete if and only if it is injective.