4

Let $\ell^{\infty}$ the metric space of bounded sequences of real numbers $(x)=\{x_1, x_2,...\}$ with the metric $$d_{\infty}(x, y)=\sup_{n\in\mathbb{N}}|x_i-y_i|$$

Let $$A=\{x\in \ell^{\infty}: \exists\,\, k\in\mathbb{N}\,\,\, \text{so that}\,\,\, x_n=0, \forall n\geq k\}$$

Need to prove that this set is not closed, ie the need to set a sequence that converges to the limit but not in the group A. I thank you to help me because I could not find such a sequence.

Pedro
  • 122,002

2 Answers2

1

Let $e_k$ be the sequence whose $k$-th term is $1$, the others are $0$, and define $x_n:=\sum_{j=1}^nj^{-1}e_j$. Then $x_n\in A$, and converges in $\ell^\infty$ to the sequence $\sum_{j=1}^{+\infty}j^{-1}e_j$, which is not in $A$.

One can check that the closure of $A$ in $\ell^\infty$ is the subspace of sequences which converge to $0$.

Davide Giraudo
  • 172,925
0

An easier way is to show that the complement is not open. Let A be the point in the complement, namely the point x whose n-th coordinate is $1/n$, then any open set containing x clearly contains a point of A (since no matter how small a neighborhood we make, we will always find a coordinate of x, where x is smaller ever after). So the complement of A is not open, and so the set A is not closed.

Pax
  • 5,762