Moore plane
This article describes a standard counterexample to some plausible but false implications. In other words, it lists a pathology that may be useful to keep in mind to avoid pitfalls in proofs
View other standard counterexamples in topology
Definition
The Moore plane or Niemitzky plane or tangent disk topology is defined as follows: as a set, it is the upper half-plane, along with the bounding real line. The topology is described by the following basis:
- All open disks that lie completely inside the upper half-plane
- For points which are on the bounding line, the union of such a point with an open disk tangent to the bounding line at that point
Topological space properties
| Property | Satisfied? | Explanation | Corollary properties satisfied/dissatisfied |
|---|---|---|---|
| separable space | Yes | Any dense subset of the upper half plane in the usual topology is also dense in the Moore plane. | |
| first-countable space | Yes | We can, at any point, take a local basis that only uses disks of rational radius (use tangent disks for points on the bounding line) | |
| completely regular space | Yes | Moore plane is completely regular | satisfies: regular space, Hausdorff space, T1 space, Urysohn space, Kolmogorov space |
| locally normal space | Yes | Moore plane is locally normal | |
| countably metacompact space | Yes | Moore plane is countably metacompact | |
| normal space | No | Moore plane is not normal | |
| hereditarily separable space | No | the bounding line is an uncountable discrete subset | |
| collectionwise Hausdorff space | No | Moore plane is not collectionwise Hausdorff -- the bounding line is an uncountable discrete subset | |
| metacompact space | No | Moore plane is not metacompact |