As the title suggests, this post discusses counterexample 106 in the well known book Counterexamples in Topology by Steen and Seebach [2]. We extend the discussion by adding two facts not found in the book.
The counterexample 106 is the space , which is the product of with the interval topology (ordered topology) and the product space where is of course the unit interval . The notation of , the first uncountable ordinal, in Steen and Seebach is .
Another way to notate the example is the product space where is and is the unit interval for all . Thus in this product space, all factors except for one factor is the unit interval and the lone non-compact factor is the first uncountable ordinal. The factor of makes this product space an interesting example.
The basic topological properties of the space that are covered in [2] are:
- The space is Hausdorff and completely regular.
- The space is countably compact.
- The space is neither compact nor sequentially compact.
- The space is neither separable, Lindelof nor -compact.
- The space is not first countable.
- The space is locally compact.
All the above bullet points are discussed in Steen and Seebach. In this post we add the following two facts.
- The space is not normal.
- The space has a dense subspace that is normal.
It follows from these bullet points that the space is an example of a completely regular space that is not normal. Not being a normal space, is then not metrizable. Of course there are other ways to show that is not metrizable. One is that neither of the two factors or is metrizable. Another is that is not first countable.
The space is not normal
Now we are ready to discuss the non-normality of the example. It is a natural question to ask whether the example is normal. The fact that it was not discussed in [2] could be that the tool for answering the normality question was not yet available at the time [2] was originally published, though we do not know for sure. It turns out that the tool became available in the paper [1] published a few years after the publication of [2]. The key to showing the normality (or the lack of) in the example is to show whether the second factor is a countably tight space.
The tool in [1] is this theorem: for any compact space , the product is normal if and only if is countably tight. For a proof of this theorem, see here. Thus the normality of the space (or the lack of) hinges on whether the compact factor is countably tight.
A space is countably tight (or has countable tightness) if for each and for each , there exists some countable such that . The definitions of tightness in general and countable tightness in particular are discussed here.
To show that the product space is not countably tight, we define as follows. For each finite , define such that maps to 1 and maps to 0. Let be the set of for all possible finite . Let be defined by for all .
It follows that . We claim that for any countable , . Let be countable where each is finite. Then choose . Consider the open set where for and . Then and . Thus . This shows that the product space is not countably tight.
By Theorem 1 found in this link, the space is not normal.
The space has a dense subspace that is normal
Now that we know is not normal, a natural question is whether it has a dense subspace that is normal. Consider the subspace where is the -product where is the space of all such that for each , for at most countably many .
The subspace is dense in the product space . Thus is dense in . The space is normal since the -product of separable metric spaces is normal (see here). Furthermore, can be embedded as a closed subspace of . Then is homeomorphic to a closed subspace of . Note that . Since can be embedded as a closed subspace of the normal space , the space is normal.
Reference
- Nogura, T., Tightness of compact Hausdorff space and normality of product spaces, J. Math. Soc. Japan, 28, 360-362, 1976
- Steen, L. A., Seebach, J. A., Counterexamples in Topology, Dover Publications, Inc., New York, 1995.
2015 Dan Ma
Revised January 28, 2021