Me he encontrado con el término de "correcto" espacio métrico(un espacio métrico es llamada correcto si todo cerrado, delimitado subespacio es compacto), que pegó bastante interesante, pero no puedo encontrar ninguna buena ejemplos distintos de $ \mathbb{R}^n $. Me he encontrado con este artículo: http://www.math.ku.dk/~haagerup/publicaciones/proper_metric_preamble.pdf pero parece requerir de una decente de conocimiento de alebraic topología, que no tengo ninguna idea acerca de.
Hay bastante elemental ejemplos de ese tipo de espacios?