# which of the following metric spaces are separable?

which of the following metric spaces are separable?

1. $C[0,1]$ with usual 'sup norm' metric.

2. the space $l_1$ of all absolutely convergent real sequences, with the metric $$d_1(a_i,b_i)=\sum_{1}^{\infty}|a_i-b_i|$$

3. The space $l_{\infty}$ of all bounded real sequences with the metric $$d_{\infty}(a_i,b_i)=\sup|a_i-b_i|$$

Well, 1 is separable as polynomials are dense in $C[0,1]$ so I can construct a set of polynomial with rational coefficients that is going to be a countable dense set for $C[0,1]$

I have no idea about 2,3 .

Well, along with this question I just want to ask The closed unit ball is compact with respect to $l_1$ metric? I guess no, because Sequence $e_1=(1,0,\dots),\dots e_n=(0,0,\dots,1(nth place),0,0\dots)$ this seqquence has no convergent subsequence so not sequentially compact. Am I right?

HINTS:

For (2), notice that if $x\in\ell_1$, then the terms of $x$ converge to $0$. Consider sequences that have rational terms that are eventually $0$.

For (3), let $D=\{x_n:n\in\Bbb N\}$ be a countable subset of $\ell_\infty$. For each $n\in\Bbb N$ choose $y(n)\in[0,1]$ so that $|y(n)-x_n(n)|\ge\frac12$. Let $y=\langle y(n):n\in\Bbb N\rangle$; is $y$ in the closure of $D$?

• could you tell me why if $x=(x_n)\in l_1\Rightarrow x_n\to 0$ – Marso Jun 1 '13 at 6:39
• @TaxiDriver: If $x\in\ell_1$, then $\|x\|_1=\sum_n|x_n|<\infty$. – Brian M. Scott Jun 1 '13 at 15:27
• well if a series is convergent then n'th term must converges to $0$ so $x_n\to 0$, thank you! – Marso Jun 1 '13 at 15:33
• @TaxiDriver: Exactly. – Brian M. Scott Jun 1 '13 at 15:33

Another possibility for (3): You have $F=\{0,1\}^{\mathbb{N}} \subset \ell_{\infty}$ and moreover for all $x,y \in F$, if $x \neq y$ then $d(x,y) =1$. So $\{B(x,1),x \in F\}$ is a family of disjoint open sets whereas $F$ is uncountable.

• thank you for nice answer. – Marso Jul 12 '12 at 20:41
• Very nice.${}{}$ – Brian M. Scott Jul 12 '12 at 20:43
• @Seirios Lovely! +1 – WhySee Jan 10 '18 at 13:04