Residuality of families of \({\mathcal F}_\sigma\) sets (Q5898145)

For a compact metric space \(X\), let \(K(X)\) denote the space of all closed subsets of \(X\) with the Hausdorff topology and let \(F(X)\) be the set of all \(F_\sigma\)-subsets of \(X\), that is, of all subsets of \(X\) which are unions of sequences of elements of \(K(X)\). If \(F(X)\) were given a topology then the notion of residuality of a subset of \(F(X)\) could be defined as usual (as a subset whose complement is the union of a sequence of nowhere dense subsets). However, since no good relevant topology for \(F(X)\) is apparent, the author considers instead the space \(S(X)\) of sequences in \(K(X)\) with the product topology. Let \(IS(X)\) denote the closed subspace of \(S(X)\) determined by all increasing (relative to the inclusion ordering) sequences in \(K(X)\). For a subset \(A\) of \(F(X)\) let \(S(X; A)\) be the subset of \(S(X)\) consisting of all sequences in \(K(X)\) for which the union of its terms lies in \(A\). \(A\) is said to be \(S(X)\)-residual (\(IS(X)\)-residual) if \(S(X; A)\) (\(S(X; A)\) intersected with \(IS(X)\)) is residual in \(S(X)\) (in \(IS(X)\)). The main result of the paper is: Theorem. A set is \(S(X)\)-residual iff it is \(IS(X)\)-residual. This result rests on a characterization of residuality in terms of a Banach-Mazur game. The proof essentially consists in transforming the main result into a corresponding result concerning the existence of appropriate winning strategies of certain associated Banach-Mazur games.