It is well-known that the product of arbitrary normal spaces need not be normal; the finite product even need not be normal. Robert Sorgenfrey demonstrated such an example with the Sorgenfrey plane. What is is true is that the finite product of metric spaces is normal. In fact, we can say more: the countable product of metric (metrizable) spaces is itself a metric (metrizable) space, hence normal.
As the uncountable product of metic (metrizable) spaces need not be a metric (metrizable) space, perhaps we should not be surprised that the uncountable product of normal spaces need not be normal. This fact motivates the consideration of fully normal/paracompact factor spaces. The concluding result of Stone’s paper is that the product of nonempty metric spaces is normal if and only its fully normal, which is true precisely when at most countably many of the factor spaces are not compact.
Before we get to that result, we’ll first spend a bit of time showing that the product of uncountably many metric spaces need not be normal by demonstrating a counterexample. This counterexample was presented by A.H. Stone in his original paper, and I have followed his exposition fairly closely.
Let denote the topological space consisting of the positive integers equipped with the discrete topology (i.e. the discrete metric). is trivially normal. Let be an uncountable set, say the reals. Define a topological space by equipping the Cartesian product (i.e. the set of all -valued functions on ) with the product topology. We restrict our attention to basic open sets where a finite set of coordinates are restricted to fixed values .
For each , define to be the set of all such that if , then there is at most one index with .
I claim that the sets are pairwise disjoint, closed sets in . Consider , for fixed. Since is uncountable (this is the only place where I can see that we use this hypothesis) and is countable, there exist at least two indices such that . By definition of , we have , which establishes disjointness. To see that is closed, let . Then there are at least two indices such that . Hence,
is an open neighborhood of contained in . To prove that is not normal, we will show that there do not exist disjoint, open sets and containing and , respectively, by means of a contradiction.
We inductively define sequences of points , of increasing integers , and of indices . Let be the point such that for all . It is evident that , so there exists a basic open neighborhood containing where denotes the set of coordinates such that for all . Suppose we have defined points , integers , and indices that are restricted coordinates in a basic open neighborhood containing . Define coordinate-wise by
It is clear that , so there exists a basic open neighborhood containing . By enlarging by finitely many elements if necessary, we may assume that . Define to be the cardinality of and enumerate the elements of by . This completes the induction step.
Define a point coordinate-wise by
It is evident that , so there is a basic open neighborhood containing . is finite, so there exists an integer such that . Define a point by
We conclude that , which yields the desired contradiction.
The preceding example gives us a necessary condition for a product of nonempty spaces to be normal. Indeed, the product is compact only if at most a countably many factor spaces are not limit point compact (i.e. every infinite subset has a limit point in the factor space). Indeed, a topological space which is not limit point compact necessarily has infinitely many points. Let be an enumeration of a countably infinite subset which does not have a limit in . is closed, otherwise contains a point for which every open neighborhood intersects , implying has a limit point in . In fact, every subset does not have a limit point in , implying that the subspace topology on is just the discrete topology. Taking many such factor spaces yields a space that is homeomorphic to .
Using the results collected over these three blog posts on Stone’s theorem and, perhaps, a reference to Munkres’s Topology, we can completely characterize the arbitrary product of metric spaces.
Theorem. The following statements about a product of nonempty metric spaces are equivalent:
- The product is normal.
- The product is fully normal (equivalently, paracompact).
- At most countably many of the factor spaces are noncompact.
Following in a long tradition of math authors, I leave the proof of the theorem as an exercise to the reader.