On the density of the hyperspace of a metric space
We calculate the density of the hyperspace of a metric space, endowed with the Hausdorff or the locally finite topology. To this end, we introduce suitable generalizations of the notions of totally bounded and compact metric space.