Sigma-fragmentable spaces that are not countable unions of fragmentable subspaces (Q1602955)

Let \((T,\tau)\) be a topological space endowed with a metric \(\rho\) which need not be compatible with \(\tau\). Given a non-empty subset \(X\) of \(T\) and an \(\varepsilon>0\) we say that \(X\) is fragmented down to \(\varepsilon\) if every non-empty subset of \(X\) has a non-empty relatively \(\tau\)-open subset of \(\rho\)-diameter less than \(\varepsilon\). If \(X\) is fragmented down to \(\varepsilon\), for every \(\varepsilon >0\), it is called fragmentable. Finally, \(X\) is said to be sigma-fragmentable \((\sigma\)-fragmentable) if for each \(\varepsilon>0\) there exists a countable family \(\{X^\varepsilon_n: n\in\mathbb{N}\}\) of fragmented down to \(\varepsilon\) subsets of \(X\) such that \(X=\bigcup_{i\geq 1}X^\varepsilon_i\). Although, obviously every fragmentable space is sigma-fragmentable not every sigma-fragmentable space is fragmentable. The authors start with the following simple criterion for \(\sigma\)-fragmentability: If for the topological space \((T,\tau)\) the cardinality of \(T\) is at most that of the continuum, then \((T,\tau)\) is sigma fragmentable. In the sequel they prove that the quotient space \((\ell^\infty/c_0\), weak), although it is \(\sigma\)-fragmented by some metric, cannot be decomposed into a countable union of fragmentable spaces. The authors prove the above result by instituting a two-player game on the topological space \((\ell^\infty/c_0\), weak) and showing that there exists a winning strategy that leads to the desired result. The paper continues with certain results concerning the dual space of the Banach space \(D\) of all real-valued functions on \((0,1]\) that have finite right-hand limits at the points of \([0,1)\) and are left continuous at the points of \((0,1]\), endowed with the sup norm. It is proved that the dual of \(D\) is isometrically isomorphic to \(BV[0,1]\) and that, if \(\tau_p\) denotes the topology of pointwise convergence on \((0,1]\), the space \((BV[0,1], \tau_p)\) is not a countable union of fragmentable spaces although, of course, is sigma-fragmentable by the earlier mentioned criterion for \(\sigma\)-fragmentability.