Solution

ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2009/b/5/iv/solution

Every finitely supported sequence vanishes from some index onward, since a finite subset of the natural numbers has a greatest element. Thus the set is a union over of sequences determined by their first real entries, with zeros afterwards. Each nontrivial piece has cardinal , so the union has cardinal at most .
Conversely is an injection from . Cantor-Schröder-Bernstein therefore gives
No choice of an arbitrary infinite support is involved; it is the finite support that makes a countable union of finite-dimensional parameter spaces enough.

New to topics? Read the docs here!