The paper is devoted to the study of the Gromov–Hausdorff proper class, consisting of all metric spaces considered up to isometry. In this class, a generalized Gromov–Hausdorff pseudometric is introduced and the geometry of the resulting space is investigated. The first main result is a proof of the completeness of the space, i.e., that all fundamental sequences converge in it. Then we partition the space into maximal proper subclasses consisting of spaces at a finite distance from each other. We call such subclasses clouds. A multiplicative similarity group operates on clouds, multiplying all the distances of each metric space by some positive number. We present examples of similarity mappings transferring some clouds into another ones. We also show that if a cloud contains a space that remains at zero distance from itself under action of all similarities, then such a cloud contracted to this space. In the final part, we investigate subsets of the real line with respect to their behavior under various similarities.
[1]
D. Herron.
Gromov–Hausdorff distance for pointed metric spaces
,
2016
.
[2]
Arcwise Isometries,et al.
A Course in Metric Geometry
,
2001
.
[3]
Realizations of Gromov-Hausdorff Distance
,
2016,
1603.08850.
[4]
Mikhael Gromov.
Structures métriques pour les variétés riemanniennes
,
1981
.
[5]
Samir Chowdhury,et al.
CONSTRUCTING GEODESICS ON THE SPACE OF COMPACT METRIC SPACES
,
2016
.
[6]
Hans Hermes,et al.
Introduction to mathematical logic
,
1973,
Universitext.
[7]
Extendability of Metric Segments in Gromov--Hausdorff Distance
,
2020,
2009.00458.
[8]
M. Gromov.
Metric Structures for Riemannian and Non-Riemannian Spaces
,
1999
.
[9]
The Gromov–Hausdorff metric on the space of compact metric spaces is strictly intrinsic
,
2015,
1504.03830.
[10]
D. Edwards.
The Structure of Superspace
,
1975
.