  Gromov introduced two distance functions, the box distance and the observable
distance, on the space of isomorphism classes of metric measure spaces and
developed the convergence theory of metric measure spaces. We investigate
several topological properties on the space equipped with these distance
functions toward a deep understanding of convergence theory.
