The observable diameter of metric measure spaces and the existence of points of positive measures

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.
Comment: 27 pages