Let $X$ be an infinite dimensional Banach space. Prove that every basis of $X$ is uncountable.
Can anyone help how can I solve the above problem?
Let $X$ be an infinite dimensional Banach space. Prove that every basis of $X$ is uncountable.
Can anyone help how can I solve the above problem?
It seems that the proof using the Baire category theorem can be found in several places on this site, but none of those questions is an exact duplicate of this one. Therefore I'm posting a CW-answer, so that this question is not left unanswered.
We assume that a Banach space $X$ has a countable basis $\{v_n; n\in\mathbb N\}$. Let us denote $X_n=[v_1,\dots,v_n]$.
Then we have:
So we see that $\operatorname{Int} \overline{X_n} = \operatorname{Int} X_n=\emptyset$, which means that $X_n$ is nowhere dense. So $X$ is a countable union of nowhere dense subsets, which contradicts the Baire category theorem.
Some further references:
Other questions and answers on MSE
Online
Books