2
$\begingroup$

Let $X$ be a real separable Banach space. Let $A\subset X$ be the enumerable set, given by the separability. How can i define a continuous "bijective" function $f:A\rightarrow\mathbb{Q}$, where im assuming the induced topology in both space (in case $\mathbb{Q}\subset\mathbb{R}$).

Thanks for the help.

  • 1
    Here's a [reference](http://at.yorku.ca/p/a/c/a/25.htm). I worked through an argument once years ago. If I can reconstruct it, I'll post an answer, but it's more than just a few lines.2012-10-20

0 Answers 0