Moore space (topology)

• Every metrizable space, X, is a Moore space. If {A(n)x} is the open cover of X (indexed by x in X) by all balls of radius 1/n, then the collection of all such open covers as n varies over the positive integers is a development of X. Since all metrizable spaces are normal, all metric spaces are Moore spaces. • Moore spaces are a lot like regular spaces and different from normal spaces in the sense that every subspace of a Moore space is also a Moore space. • The image of a Moore space under an injective, continuous open map is always a Moore space. (The image of a regular space under an injective, continuous open map is always regular.) • Both examples 2 and 3 suggest that Moore spaces are similar to regular spaces. • Neither the Sorgenfrey line nor the Sorgenfrey plane are Moore spaces because they are normal and not second countable. • The Moore plane (also known as the Niemytski plane) is an example of a non-metrizable Moore space. • Every metacompact, separable, normal Moore space is metrizable. This theorem is known as Traylor's theorem. • Every locally compact, locally connected normal Moore space is metrizable. This theorem was proved by Reed and Zenor. • If 2^{\aleph_0}, then every separable normal Moore space is metrizable. This theorem is known as Jones’ theorem. ==Normal Moore space conjecture==

For a long time, topologists were trying to prove the so-called normal Moore space conjecture: every normal Moore space is metrizable. This was inspired by the fact that all known Moore spaces that were not metrizable were also not normal. This would have been a nice metrization theorem. There were some nice partial results at first; namely properties 7, 8 and 9 as given in the previous section. With property 9, we see that we can drop metacompactness from Traylor's theorem, but at the cost of a set-theoretic assumption. Another example of this is Fleissner's theorem that the axiom of constructibility implies that locally compact, normal Moore spaces are metrizable. On the other hand, under the continuum hypothesis (CH) and also under Martin's axiom and not CH, there are several examples of non-metrizable normal Moore spaces. Nyikos proved that, under the so-called PMEA (Product Measure Extension Axiom), which needs a large cardinal, all normal Moore spaces are metrizable. Finally, it was shown later that any model of ZFC in which the conjecture holds, implies the existence of a model with a large cardinal. So large cardinals are needed essentially. gave an example of a pseudonormal Moore space that is not metrizable, so the conjecture cannot be strengthened in this way. Moore himself proved the theorem that a collectionwise normal Moore space is metrizable, so strengthening normality is another way to settle the matter. ==References==