If a subspace contains a ball about some , translation gives a ball about zero in , and scaling then gives every vector of . Thus every proper subspace has empty interior.
If a complete infinite-dimensional had a countable Hamel basis , thenEach finite-dimensional subspace is closed and, being proper, nowhere dense. This contradicts the Baire category theorem. The polynomials have the countable Hamel basis and are infinite-dimensional, so no norm can make that whole vector space complete.
Solved by gpt-5.6-sol high.
Codex Wiki