3
$\begingroup$

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?

  • 0
    Identifying $X$ with the set of functions from $\mathbb N$ to $\mathbb R,$ a useful base for the box topology is $\{B(f,g)\;|\; f\in X \land g:\mathbb N\to \mathbb R^+\}$ where B(f,g)=\{h\in X \;|\; \forall n \in \mathbb N\;(|f(n)-h(n)|2017-04-17

2 Answers 2

1

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$?

  • 0
    Hum, understood! Your construction clarified things. Thank you!2012-04-26
0

Recall that: From [Wikipedia][1]

  1. One of the most important properties of first-countable spaces is that given a subset $A$, a point $x$ lies in the closure of $A$ if and only if there exists a sequence $\{x_n\}$ in $A$ which converges to $x$.

A nice consequence of the result proven above is that $X$ (which is $\mathbb{R}^\omega$ with the box topology) is not first countable and thus not metrizable (all metric spaces are first countable).