arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2502.11615

Topological dimension of the Gromov-Hausdorff and Gromov-Prokhorov spaces

Hiroki Nakajima·Takamitsu Yamauchi·Nicolò Zava
View original source ↗Read source document ↗Export metadata ↓

Abstract

The Gromov-Hausdorff distance is a dissimilarity metric capturing how far two spaces are from being isometric. The Gromov-Prokhorov distance is a similar notion for metric measure spaces. In this paper, we study the topological dimension of the Gromov-Hausdorff and Gromov-Prokhorov spaces. We show that the dimension of the space of isometry classes of metric spaces with at most $n$ points endowed with the Gromov-Hausdorff distance is $\frac{n(n-1)}{2}$, and that of mm-isomorphism classes of metric measure spaces whose support consists of $n$ points is $\frac{(n+2)(n-1)}{2}$. Hence, the spaces of all isometry classes of finite metric spaces and of all mm-isomorphism classes of finite metric measure spaces are strongly countable dimensional. If, instead, the cardinalities are not limited, the spaces are strongly infinite-dimensional.

Explore related subjects

math.MGmath.GN

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hiroki Nakajima, Takamitsu Yamauchi, Nicolò Zava. 2025-02-17. Topological dimension of the Gromov-Hausdorff and Gromov-Prokhorov spaces. https://arxiv.org/abs/2502.11615

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Few-Distance Sets in the Plane

Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracπ{3\,C(Λ_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Λ$ we show $$g_Λ(k)\ge (π/4) S^*(Λ) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Λ$.

math.MG↗
arXiv2026

Extensions of the Busemann-Petty Problem for Arbitrary Measures

The classical Busemann--Petty problem asks whether smaller central hyperplane sections of origin-symmetric convex bodies imply smaller total volume. Zvavitch studied the analogous question when sections and bodies are measured by two arbitrary densities. We refine this result in three directions: we allow central sections of arbitrary codimension; we relax the monotonicity requirement on the radial density ratio to a decomposition into a non-decreasing and a non-increasing part; and we permit a distinct pair of densities for each body, one for the sections and another for the full volume. We also obtain an isomorphic version, in which the comparison constant is governed by the distance from an auxiliary star body to the class of generalized $k$-intersection bodies, and we present some examples illustrating cases not covered by previous results.

math.MG↗
arXiv2026

The truncated octahedron minimizes surface area among parallelohedra of equal volume

We prove that the regular truncated octahedron uniquely minimizes surface area among all parallelohedra of fixed volume. Equivalently, every three-dimensional parallelohedron $P$ satisfies \[ \frac{\mathcal H^2(\partial P)}{|P|^{2/3}} \ge \frac{3(1+2\sqrt3)}{4^{2/3}}, \] with equality if and only if $P$ is similar to the regular truncated octahedron. Among the non-truncated Fedorov types we prove a stronger sharp bound, attained uniquely by the regular rhombic dodecahedron.

math.MG↗