Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
See Counterexamples in topology by Lynn Arthur Steen,J. Arthur Seebach page 102. – Jonas Teuwen Aug 16 '11 at 10:49
up vote 3 down vote accepted

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.