  A metric measure space is a metric space with a Borel measure. In Gromov's
theory of metric measure spaces, there are important invariants called the
partial diameter and the observable diameter. We obtain the result that the
partial diameter or the observable diameter equals zero if and only if there
exists a point that has positive measure.
