I came across the following theorem:

A Banach Space cannot have a denumerable basis which has been proven in my book.

I can't understand why is it true since $\mathbb R$ is a banach space over $\mathbb R$ and it has a countable basis i.e $\{1\}$

Where am I missing the link?

  • $\begingroup$ If your book proves this, which step of the proof fails in the case of $\mathbb R$? Could the statement really say "cannot have a countably infinite base"? $\endgroup$ – Hagen von Eitzen Aug 26 '15 at 6:12
  • $\begingroup$ interior of a proper subspace of a nls is empty: which is false in R @HagenvonEitzen $\endgroup$ – Learnmore Aug 26 '15 at 6:13
  • 1
    $\begingroup$ The only proper subspace of $\mathbb R$ is $0$ and has empty interior ... $\endgroup$ – Hagen von Eitzen Aug 26 '15 at 6:15
  • $\begingroup$ yes sorry ;you are right @HagenvonEitzen $\endgroup$ – Learnmore Aug 26 '15 at 6:17
  • 2
    $\begingroup$ Ok, denumerable = countably infinite. Then it is true. $\endgroup$ – A.Γ. Aug 26 '15 at 7:06

Suppose that $\{e_1,e_2,...\}$ is a basis of the Banach spaces $M$. Let $M_n=\{e_1,e_2,...,e_n\}$. So $M_n$ is closed and $int(M_n)=\emptyset$. Given $x\in M$, since $\{e_1,e_2,...\}$ is a hamel basis of $M$ there exists $n$ such that $x=\sum_{j=1}^n\alpha_je_j$, so $x\in M_n$. This prove that $M=\cup_nM_n$. Then $M$ is a countable union of sets with empty interior, by Baire'ss theorem $M$ needs to satisfy $int(M) \neq \emptyset$, contradiction.


Of course every finite dimensional Banach space has a finite basis. As a consequence of Baires category theorem every infintedimensional Banach space cannot have a countable Hamel Basis, but very often a Schauder basis.There exist separable Banach spaces that don´t even have a Schauder basis so as was shown by Per Enflo. So You are right, the word "infinitedimensional" is missing in the statement


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.