[Math] Metric space on $\mathbb{R^n}$ where Heine-Borel criterion does not hold

compactnessgeneral-topologymetric-spacesreal numbers

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.

Related Question