Let $X$ be a non-empty set. Suppose that $d_1$ and $d_2$ are two possibly different metrics on $X$. Let $\tau_i$ denote the topology generated by the metric $d_i$ ($i\in\{1,2\}$).
The following are known:
- $\tau_1=\tau_2\equiv\tau$;
- $(X,d_1)$ is a totally bounded metric space;
- $(X,d_2)$ is a complete metric space.
Question: Is the topological space $(X,\tau)$ compact?
This is an extra twist added to the classical result that any totally bounded and complete metric space is compact. The twist is that one is given two different metric spaces, one being totally bounded and the other complete, even though they generate the same topology. I wonder whether this twist preserves the compactness of the common topology.
In other words:
- Any totally bounded and complete metric space is compact, but...
- ...is any totally bounded and complete$\textit{ly metrizable}$ metric space compact?
It's not correct. Take $X_1 = (0,1)$ and $X_2 = \mathbb R$ (identified with $X_1$ via some homeomorphism). Then with the standard metric on both $X_i$, $X_1$ is totally bounded and $X_2$ is complete. Both are not compact.