# Connections and dependences between topological and algebraic basis in topological vector space

On my last functional analysis exam, one of the tasks was to show that if normed vector space $X$ have countable Hamel basis, then $X$ is separable space (over field $\mathbb{R}$).

I am not sure if what I did was correct, but I started from using fact (and sketched proof of it) that in metric spaces separability is equivalent to existence of countable (topological) base.

Then, I was trying to show that if normed space have countable Hamel base $\mathscr{B}$, then it have countable open (topological) base. I wanted to do something like this:

Let's consider arbitrary $x \in Lin \{ \mathscr{B} \} \cap {???}$ (there is more than countable many of them in $Lin \{ \mathscr{B} \}$... but maybe I can somehow fix it, for example taking only linear combinations for rational coefficients, or intersect it with some countable $???$ set?) and arbitrary positive rational $r \in \mathbb{Q}$. Then, we have (we have not (!!), but we will have after fixing what I mentioned above) countable number of balls $$B(x,r) = \{ y \in Lin \{ \mathscr{B} \} \cap {???} : ||x-y || < r \}$$ and all these balls makes topological basis of our vector space $X$.

I know that this sketch above looks a little chaotic, but can we accomplish something like that? (build countable number of balls, which make topological base of our space, using countable Hamel base in normed space?) If yes, how should I correctly construct them? Or there's also some other and easier way to do this task?

And here's where my second question, even more important (stronger) arrives. We can even say that this is the main purpose of this almost "essay" I just wrote above. After the exam I realized that I know nothing about connections between topological and algebraic bases in linear topological spaces. I also don't recall to hear anything about it on my course. I was trying to check in the internet (uncle Google), but cannot find anything useful (or I just lack awareness about it usefulness).

Do you know any dependences between algebraic and topological bases of the same space?

Do they always must to have equal powers?

Are there some interesting properties, connections, or possible differences in some of these properties between them?

How much does it differ between linear topological spaces and linear topological spaces which are metrizable, normable, etc.?

I would be glad to hear about any of things mentioned above or to receive some references, like some chapters in books, links, publications or other materials where I can find this matter discussed or explained.

• I think that if you take a basis $B$ such that for each $b\in B$ you have $\|b\|=1$ and then take all rational linear combinations, you should be able to show that this set is dense in $X$. I.e., for a given $x=c_1b_1+\dots+c_nb_n$ and given $\varepsilon>0$ you should find $d_1,\dots,d_n$ such that $x$ is $\varepsilon$-closed to $y=d_1b_1+\dots+d_nb_n$. – Martin Sleziak Jun 24 '14 at 19:17