Lindelöf number of the space of closed groups (Q1107157)

If \({\mathcal A}\) and \({\mathcal B}\) are families of subsets of the space X then the (\({\mathcal A},{\mathcal B})\)-topology on the set \({\mathcal P}(X)\) of subsets of X is the topology with the subbase \(\{\) \(\{\) \(F\in {\mathcal P}(X):\) \(A\subset F\subset X\setminus B\}:A\in {\mathcal A}\) and \(B\in {\mathcal B}\}.\) For a topological group X \({\mathcal L}(X)\) denotes the family all closed subgroups of X and \({\mathcal L}_ 0(X)\) denotes the family of those \(H\in {\mathcal L}(X)\) which contain a dense subgroup of finite order. The author proves that for every cardinal number \(\lambda\), every subgroup X of \(R^{\lambda}\) and every topological space Y, if the space \({\mathcal L}_ 0(X)\) is considered with the (\({\mathcal A},{\mathcal B})\)-topology and if \(l(Y)\leq \tau =\omega \cdot \sup \{| B|:B\in {\mathcal B}\}\) then l(Y\(\times {\mathcal L}_ 0(X))\geq \tau.\) The author gives an example showing that this theorem does not hold for the set \({\mathcal L}(X)\) even if X is a separable metrizable group and the families \({\mathcal A}\) and \({\mathcal B}\) are countable. The paper contains also two other examples and a strengthening of the theorem mentioned above to the case when \(\lambda =\omega\) and \({\mathcal B}\) is the set of all finite subsets of X.