Degenerate measure on a metric space
53361
If a measure only assumes values 0 or 1, is it a Dirac's delta?
51260
Sum of sets of measure zero
35156
Constructing a choice function in a complete & separable metric space
144353
A closed ball in a metric space is closed
140124
The distance function on a metric space
35573
A closed ball in a metric space is a closed set
57206
Lebesgue measure on probability measure
100282
Measure Convergence Version of Lebesgue Dominated Convergence Theorem
132641
Proving that Euclidean Space is a complete metric space
53663
outer measure and measurable sets
113227
Measure spaces are proper subsets
6785
Equicontinuity on a compact metric space turns pointwise to uniform convergence
92638
Approximation of measurable function by simple functions
74607
Variation of the metric with respect to the metric
77716
Not every metric is induced from a norm
16060
Showing this metric space is complete
16892
Reference request: product Borel $\sigma$-algebra of non-separable metric spaces