Terms and notation are defined here.
(Kechris exercise 4.11)
(a) Let be a pruned tree on . It follows that is compact iff is finite splitting.
(b) In particular, if is compact, there is such that for all , for every . Conclude that is not a countable union of compact sets.
(a) “”. Suppose is not finite splitting. So there exists , of length , such that infinitely many satisfy . For each here, there exists such that . Pick sequence . Then, , for any . Hence, there is no convergent subsequence. Hence, is not compact.
“”. Suppose is finite splitting. Let be a sequence in . If , , let be the following statement: is an infinite
set. Then, it is clear that there exists such that holds, since there are only finitely many sequences of length in (since is finite splitting).
Now, assume inductively that there exists such that holds. Then, again since is finite splitting, there are only finitely many choices for . Hence, since is infinite, there must exist such that
Hence we have inductively defined a sequence such that for some . That is, contains a convergent subsequence, so is compact.
(b) Let be compact. Then is closed, and hence corresponds to a pruned tree , such that . So, for each , is finite (by the above). So define by . This satisfies the above property.
Now, suppose , where each is compact. Then for each we have such that implies for all . Now define by . Then, for any . Therefore, .