-1
$\begingroup$

This is Exercise 3 from p. 39 of Munkres: Analysis on Manifolds

Let $\mathbb R^\infty$ be the set of all "infinite-tuples" $x = (x_1, x_2, \ldots )$ of real numbers that end in an infinite string of $0$s. (See the exercises of § 1.)

Define an inner product on $\mathbb R^\infty$ by the rule $\langle x, y\rangle = \sum x_iy_i$. (This is a finite sum, since all but finitely many terms vanish.) Let $\|x - y\|$ be the corresponding metric on $\mathbb R^\infty$. Define $e_i = (0, \ldots, 0, 1, 0, 0, \ldots);$ where 1 appears in the i-th place. Then the $e_i$ form a basis for $\mathbb R^\infty$.

Let $X$ be the set of all the points $e_i$. Show that $X$ is closed, bounded, and non-compact.

1 Answers 1

1

It should be easy to show, that if $i\ne j$ then $\|e_i-e_j\|=\sqrt2$. Using this fact you can show easily if a sequence of points from $X$ is convergent, then it is eventually constant. Indeed, let $(x_i)$ be a convergent sequence of points of $X$. Then it is Cauchy, i.e. there is $N$ such that $p,q>N$ implies $\|x_p-x_q\|<\sqrt{2}$. This clearly implies that all values $x_p$ for $p>N$ must be the same.

The above fact should help you to show the closedness. (A subset $X$ of a metric space is closed if and only if for every convergent sequence of points of $X$ the limit belongs to $X$ as well, see e.g. proofwiki.)

A different approach: You could try to show that the complement $\mathbb R^\infty\setminus X$ is open. Hint: Start by showing that for $x_0\notin X$ the neighborhood $U(x_0;\frac{\sqrt2}2)$ contains at most one point of $X$.

Boundedness is easy. Just notice that $\|e_i\|=1$. I.e. we have $\|x\|\le 1$ for each $x\in X$. (Definition of boundedness is that $X$ is bounded if and only if there exists an $M$ such that $\|x\|\le M$ for each $x\in X$.)

If a metric space is compact, then every sequence has a convergent subsequence. Again the fact that $\|e_i-e_j\|=\sqrt2$ should suffice you to show that $(e_i)$ has no convergent subsequence. (Recall that every convergent sequence is Cauchy, see e.g. proofwiki.)

  • 0
    @Buddy: What do you mean by sequences being closed? That the set $\{x_{n}:n\in\mathbb{N}\}$ is closed, or? And how does that relate to the set itself being closed?2012-01-26