Heine-Borel criterion of $\mathbb{R^n}$ : closed and bounded $\implies$ compactness
Give an example of a metric space in $\mathbb{R^n}$ where this criterion does not characterize compactness
So I need a closed bounded metric space of $\mathbb{R^n}$ which is not compact
So I think I need to consider the definition of compactness where a space is compact if any open cover has a finite subcover
I am having trouble finding such a space
Best Answer
I don't understand your example, with this metric $\Bbb R^2$ is not bounded so what?
For an example where Heine-Borel does not hold, take the bounded distance on $\Bbb R^2$, i.e., $\bar{d}(x,y)=d(x,y)$ if $d(x,y)<1$ and $\bar{d}(x,y)=1$ if $d(x,y)\geq 1$. This is a metric that induces the usual topology on $\Bbb R^2$ (prove it).
With this metric, $\Bbb R^2$ is closed and bounded, but not compact.