Name of the theorem "any totally bounded and closed subset in a complete metric space, is compact"

65 Views Asked by At

I know this theorem and its proof, my question is that, what is the name of this theorem? Some guys refers it as "Hausdorff theorem", but I am not sure.

1

There are 1 best solutions below

4
On

I'm not sure this has any simple name; Paul Sally's book calls it the Heine-Borel Theorem, but most sources name Heine-Borel a much more specific specialization of this broad result.