5
$\begingroup$

I'm trying to show the Moore plane $M$ (or Niemytzki plane) is not locally compact (I'm told it isn't).

My guess is problems will arise somehow when considering compact neighbourhoods for a point $(p,0) \in M$, since the basic open sets around points in $\{(x,y)\in M \mid y>0\}$ behave just like open balls in Euclidean space.. But I'm not seeing it.

  • 3
    See *Cou$n$terexamples i$n$ topology by Ly$n$n $A$rthur Steen,J. $A$rthur Seeba$c$h* page 102.2011-08-16

1 Answers 1

4

Suppose $(0,0)$ (or any other point on the x-axis) has a compact neighbourhood $\mathcal{N}$. Then $\mathcal{N}$ contains a basic open neighbourhood $\mathcal{U}$, say $\mathcal{U}$ is $(0,0)$ along with the open disc of radius $r$ centred at $(0,r)$. Since the Moore plane is Hausdorff and $\mathcal{N}$ is compact, $\mathcal{N}$ must be closed. Thus $\mathcal{N}$ contains the boundary $\operatorname{bd}(\mathcal{U})$ of $\mathcal{U}$. Thus $\operatorname{bd}(\mathcal{U})$ is also compact. But $\operatorname{bd}(\mathcal{U})$ is the circle radius $r$ centred at $(0,r)$ with the point $(0,0)$ deleted. In particular, it's contained in the complement of the x-axis, which is homeomorphic to the upper half-plane with the usual topology. But of course a circle with a point deleted is not compact in the usual topology.