Now that the semester is over, I actually have time to pay attention to this blog. Unfortunately I still have final exams to grade, but I really wanted to make a short entry on Lindelöf spaces. Part of the motivation here is that Lindelöf spaces are the source of many problems in general topology with (partial) set-theoretic solutions (Frank Tall has a nice paper on the subject).
Let us say that a Lindelöf space is is productively Lindelöf if the product is again Lindelöf for every Lindelöf space , and powerfully Lindelöf if its countable power is again Lindelöf. We know of spaces which fail to even be productively Lindelöf with themselves. The Sorgenfrey line is a Lindelöf space such that the product with itself fails to be normal, and hence fails to be Lindelöf. One motivation for looking at these properties is that there is a natural class of spaces which are both productively and powerfully Lindelöf, the class of -compact spaces. Now, it turns out that under CH every “small enough” productively Lindelöf space is also powerfully Lindelöf, but not much is known outside of that.
Every time I’ve seen the result that the countable products of -compact spaces is Lindelöf, it’s been cited without proof as a folklore result. The only place I’ve seen a “proof” is by way of exercises in Engleking’s General Topology. The proof is somewhat indirect, and I was curious if there was a more direct way of showing this. I asked my topology professor, and he (off the top of his head) gave a very slick direct proof. Basically, I’m using this space to write down the argument so I don’t forget it.
Theorem: Let be a family of regular -compact spaces. Then the product is Lindelöf.
Proof: We begin by writing expressing each as the union of countably many compact sets, . Now, consider the topological sum , and note that there is a natural continuous onto map . Since the property of being Lindelöf is preserved by continuous images, it suffices to show that the product is Lindelöf.
Next, we note that the space consists of countably many disjoint clopen pieces. So, we can construct a continuous map by sending each . In fact, this map is not only continuous, it is a perfect map (closed, onto, and point inverses are compact). Perfect maps have the following extremely nice properties:
- Preimages of Lindelöf spaces under perfect maps are again Lindelöf.
- The product of perfect maps is again perfect (this is a generalization of Tychonoff’s theorem that the product of compact spaces is compact).
So we see that this gives us a perfect map . Since is a seperable metric space, it follows that is Lindelöf. This gives us that is Lindelöf, and thus we can conclude that the product is Lindelöf.