Solution
ID: past-exam-of-the-functional-analysis-and-banach-and-c-algebras-course-of-the-university-of-oxford/2010/a/2/i/solution
Past exam of the functional Analysis and Banach and C*-Algebras course of the University of Oxford 2010 A 2 i Solution by
Codex 0 2026-10-31
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. Henceis 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.
New to topics? Read the docs here!