# Box topology on $\prod_{n=1}^\infty\mathbb{R}$

Let $X$ denote $\prod_{n=1}^\infty\mathbb{R}$, the Cartesian product of countably infinitely many copies of $\mathbb R$ (which is just the set of all infinite sequences of real numbers), endowed with the box topology. Now, let $X^+\subset X$ be the subset consisting of the sequences of strictly positive real numbers, and let $z$ denote the zero sequence, that is, the one whose terms are $z_i = 0$ for all $i$. Show that $z$ is in the closure of $X^+$, but there is no sequence of elements of $X^+$ converging to $z$.

I guess I did the first part. The closure of $X^+$ is $$\bigcap_{\substack{\text{closed }S\,\subseteq X,\\ X^+\subseteq S}}S.$$ But these subsets are of the form $\prod[-E,+\infty)$ for every $E\geq 0$, right? When $E = 0$, we have the required. Is it right? And what about the second part?

-
I assume "Produtorium" means product? –  Zev Chonoles Apr 26 '12 at 1:56
Yes, sure! I'm sorry. –  Br09 Apr 26 '12 at 2:15
You can look at this post for info on how to type math here; please feel free to edit your post to clarify what you mean. –  Zev Chonoles Apr 26 '12 at 2:18

Your argument for the first part is basically ok . Not all closed sets containing $X^+$ are as you describe; but given any closed set containing $X^+$, there is a closed set of your form contained in it.
For the first part, it may be easier to show that any open set containing $z$ must contain an element of $X^+$. Note that such a set must contain an open set of the form $\prod_{i=1}^\infty O_i$ where each $O_i$ is an open set in $\Bbb R$ containing $0$.
For the second part, suppose that $(x_i)$ is a sequence in $X^+$. In the $i^{\rm th}$ copy of $\Bbb R$ in the product, let $O_i$ be an open set centered at zero such that $x_i(i)\notin O_i$. What can you say about the open set $O=\prod_{i=1}^\infty O_i$?
@ItamarSales Yes to your first question. For your second question, this shows the given sequence doesn't converge to $z$. The answer to your third question is "no": if the product is finite, we will run out of copies of $\Bbb R$ before we run through the sequence (if that makes sense). For a finite product, in fact, there is a sequence in $X^+$ converging to $z$ (for example in $\Bbb R^3$, the sequence with terms $x_n=(1/n,1/n,1/n)$. –  David Mitra Apr 26 '12 at 2:51