[Math] a non separable metric space

metric-spaces

Let $X$ be a metric space with discrete metric whose points are the positive integers. We have to show $C(X,\mathbb{R})$ is non separable. Well, what I have to do is to show $C(X,\mathbb{R})$ has no countable dense subset. I have no idea how to show that It has no countable as well as dense subset of $C(X,\mathbb{R})$, so far I guess to show it has non dense subset we need to find a sequence of functions $f_n\in C(X,\mathbb{R})$ which has some constant distance to the element of that set. Please, will any one help me to solve the problem?

Best Answer

Hint:

  1. Prove the follwing lemma. If $\{x_i:i\in I\}$ - is an uncountable family in metric space $(M,d)$ such that $$ \exists \delta>0\quad\forall i\in I\quad\forall j\in I\quad (i\neq j\Longrightarrow d(x_i,x_j)>\delta) $$ then $(M,d)$ is not separable.

  2. Take a look at binary sequences.