Solution

ID: past-exam-of-the-functional-analysis-and-banach-and-c-algebras-course-of-the-university-of-oxford/2010/a/2/i/solution

The Baire category theorem states that a nonempty complete metric space cannot be a countable union of closed nowhere dense sets; equivalently, every countable intersection of open dense sets is dense.
Let in the space of finitely supported sequences. Each is a closed linear subspace for every norm, since a finite-dimensional subspace is closed. Hence
is a closed linear subspace of the Banach space . Every finitely supported sequence lies in some , so . By the Baire category theorem, some has nonempty interior.
A linear subspace with nonempty interior is the whole space: translate a ball in it to zero and scale any vector into that ball. Thus , giving and
The proof uses no particular choice of norm on the space of finitely supported sequences.

New to topics? Read the docs here!