I'm interested in conditions on a metric space $X$ which imply that boundedness is equivalent to total boundedness (or, assuming that $X$ is complete, that compactness is equivalent to precompactness). If $X$ is a normed space, then we know that this is true if and only if $X$ is finite-dimensional. Is there some suitable concept of dimension for general metric spaces such that boundedness implies total boundedness if and only if the space has finite dimension in this sense? You may assume any reasonable hypotheses on $X$ (e.g. that $X$ is a Polish metric space).



Conditions on a metric space so that boundedness implies total boundedness
If $X$ is locally compact, then it has this Heine-Borel-property. For topological vector spaces locally compactness is equivalent to finite dimension if I remember correctly.


But there are other examples even vector spaces that have the Heine-Borel-property without being locally compact. The space $H(U)$ of holomorphic functions on an open set $U\subseteq\mathbb{C}$ with the topology of locally uniform convergence of all derivatives. This is Montel's theorem and therefore such spaces are called Montel spaces (well a certain additional condition is needed, but that's not the point) Another example is the Schwartz-Space $\mathcal{S}(\mathbb{R}^n)$ of rapidly decreasing functions. Because being Montel is stable under taking strong duals, the space of tempered distributions $\mathcal{S}'(\mathbb{R}^n)$ has the Heine-Borel-property too (but is not metrizable).


