Metric topologies over some categories of simple open regions in Euclidean space (2109.08663v2)

Abstract: What does it mean for a shape to change continuously? Over the space of convex regions, there is only one "reasonable" answer. However, over a broader class of regions, such as the class of star-shaped regions, there can be many different "reasonable" definitions of continuous shape change. We consider the relation between topologies induced by a number of metrics over a number of limited categories of open bounded regions in n-dimensional Euclidean space. Specifically, we consider a homeomorphism-based metric; the Hausdorff metric; the dual-Hausdorff metric; the symmetric difference metric; and the family of Wasserstein metrics; and the topologies that they induce over the space of convex regions; the space of convex regions and unions of two separated convex regions; and the space of star-shaped regions. We demonstrate that: Over the space of convex regions, all five metrics, and indeed any metric that satisfies two general well-behavedness constraints, induce the same topology. Over the space of convex regions and unions of two separated convex regions, these five metrics are all ordered by "strictly finer than" relations. In descending order of fineness, these are: the homeomorphism-based, the dual-Hausdorff, the Hausdorff, the Wasserstein, and the symmetric difference. Also, Wasserstein metrics are strictly ordered among themselves. Over the space of star-shaped regions, the topologies induced by the Hausdorff metric, the symmetric-difference metric, and the Wasserstein metrics are incomparable in terms of fineness.