How can I prove that the topological countable product of $\omega_1 + 1$ (with the order topology) is the union of $\omega_1$ closed nowhere dense sets?
countable product of $\omega_1 + 1$
1 Answers
The first thing is to figure out how to recognize a nowhere dense set. Consider a basic open set in the product. Without loss of generality it has the form $$B_0\times\dots\times B_n\times(\omega_1+1)^\omega\;,$$ where $B_0,\dots,B_n$ are open sets in $\omega_1+1$. Every non-empty open set in the product contains such a set, so if $U$ is open in $(\omega_1+1)^\omega$, there must be infinitely many factors on which its projection is the whole factor. Thus, if a closed set has bounded projections on all but finitely many factors, it must be closed and nowhere dense.
Now for $\alpha<\omega_1$ let $$F_\alpha=\{x\in(\omega_1+1)^\omega:\forall n\in\omega(x_n\le\alpha)\}\;;$$ you shouldn’t have any trouble verifying that the $F_\alpha$ are closed and nowhere dense. They cover everything except the points that are $\omega_1$ on one or more factors. What if for $n\in\omega$ you now let $$H_n=\{x\in(\omega_1+1)^\omega:x_n=\omega_1\}\;?$$
-
0Thanks this helped a lot, I have already proved that this sets are closed but I'm having problems trying to prove that they are nowhere dense, can you help me a little? I tried to prove that the complement was dense, but then I got lost :( . HELP ME PLEASE – 2012-03-24
-
0@ana: That’s what the first paragraph is about. Look at an $F_\alpha$, for instance: can it contain any basic open set? No, because its projection on every factor is $[0,\alpha]$, and every basic open set has projection $[0,\omega_1]$ on all but finitely many factors. Thus, $F_\alpha$ is in a sense too small to contain a basic open set. Of course that means that it can’t contain **any** non-empty open set, and since it’s already closed, it must be nowhere dense. – 2012-03-24
-
0@ana: The argument for $H_n$ is similar: it has projection $[0,\omega_1]$ on only **one** factor, so it also can’t contain a non-empty open set. – 2012-03-24
-
0@analucia: Have you seen the two comments that I added? If so, and if they’re not enough, can you pin down a little more specifically how they’re not helping? – 2012-03-24
-
0Thank you very much Brian, now I see everything more clear, you really helped me a lot :) – 2012-03-26