A metric space is complete if and only if every decreasing sequence of nonempty closed sets whose diameters tend to zero has nonempty intersection. In that case the intersection contains exactly one point.
Articles by others on the same topic
There are currently no matching articles.