We present an example of a space that is Hausdorff, locally compact, zero-dimensional (having a base consisting of closed and open sets), metacompact, completely regular but not normal. This space is a building block for defining other spaces. In a previous post, we show that the space can be turned into a space that is regular but not completely regular by adding one point (see Regular but not Completely Regular). Even though is discussed in the previous post, the space is an interesting example by itself and deserves a separate post.
Let be the set of all points such that . For each real number , define to be the set , define to be the set , and define . The topology on is defined by the following:
- Each point where is isolated.
- For each point , a basic open set is of the form where and is a finite subset of .
It is straightforward to verify that the basic open sets defined above form a base for a topology on the set and that the resulting topology is Hausdorff. One important observation to make is that this base consists of sets that are both closed and open. Whenever a space has a base consisting of closed and open sets, it is said to be a zero-dimensional space. It is straightforward to show that any zero-dimensional space is completely regular. Another interesting point about the space is that it is metacompact. Recall that a space is metacompact if every open cover of has a point-finite open refinement.
Now we discuss why is not normal. Note that the x-axis in is a closed and discrete set of cardinality continuum. Jones’ lemma states that in a normal and separable space, the cardinality of any closed and discrete set must not equal to or exceed continuum. But Jones’ lemma is of no use here since is not separable. However, the two disjoint closed sets that destroyed normality are from the x-axis, namely and .
Note that and are disjoint closed sets in . If were normal, there would be a continuous such that for all and for all (using Urysohn lemma). But this function is not possible. It can be shown that any continuous function that maps to zero would have to map the entire x-axis to zero except for a countable subset of x-axis. This fact follows from the Main Result presented in Regular but not Completely Regular.
________________________________________________________________________
Reference
- Engelking, R., General Topology, Revised and Completed edition, Heldermann Verlag, Berlin, 1989.
- Willard, S., General Topology, Addison-Wesley Publishing Company, 1970.
________________________________________________________________________