# Showing that $X$ is locally compact

Now I would like to change question in If $X$ is locally compact, second countable and Hausdorff, then $X^*$ is metrizable and hence $X$ is metrizable.

Is it true that

If $X$ is Hausdorff, second countable, and metrizable, then $X$ is locally compact.

To show that $X$ is locally compact, need to show that for every $x\in X$ has compact neighbourhood, i.e. we can find a nbhd $U_x$ where every sequence has a convergent subsequence. I raise this question because my hunch at Locally compact Hausdorff space is metrizable is not true.

• This is not true. Take $C([0,1],\mathbb{R})$. It is separable and metrizable, and hence Hausdorff and secound countable, but it can't be locally compact, since it is a infinite dimensional topological vector space. – Aloizio Macedo Apr 12 '16 at 3:11

## 1 Answer

The irrationals are certainly metrizable (implying Hausdorff also), second countable, but not locally compact. In fact, they are nowhere locally compact.