Theorem
Letbe the set of rational numbers in the space setr of real numbers
with the topology induced by the Euclidan metric.
is not locally compact.
Proof
is obviously locally compact since for any
and any neighbourhood U of
there is a compact set
such that
Now takeand any compact set
such that
Sinceis compact, it is bounded and closed, and also contains infinitely many elements of
We can find rational numbersand
with
Letbe an irrational number.
We can define an open cover ofas
is an open cover of
which has no finite subcover hence
is not locally compact.