On inverse systems and cardinal functions of topological spaces (Q1314670)

For an infinite cardinal number \(\tau\), a partially ordered set \(A\) is called \(\tau\)-directed if, for any \(B \subset A\) with cardinality \(| B | \leq \tau\), there exists \(\beta \in A\) such that \(\beta \geq \alpha\) for any \(\alpha \in B\). An inverse system of topological spaces \(\Sigma = \{Y_ \alpha, \pi_{\beta \alpha}; A\}\) is called \(\tau\)- directed if the set \(A\) is \(\tau\)-directed, and it is called weakly \(\sigma\)-continuous if for any sequence of indices \(\alpha (k) \in A\), \(\alpha (k) \leq \alpha (k + 1)\), \(k \in \omega\), in \(A\) there exists \(\beta = \sup \{\alpha (k) : k \in \omega \}\) and the diagonal product \(\Delta \{\pi_{\beta \alpha (k)} : k \in \omega\}\) of the space \(Y_ \beta\) to the limit of the inverse sequence is an injection. The author first proves the main theorem which is a general theorem on \(\tau\)-directed weakly \(\sigma\)-continuous inverse systems and then he introduces the concept of the class of openly generated spaces. A topological space \(E\) is said to be an \(\omega\)-openly generated (or simply an openly generated) space if there exists an \(\omega\)-directed, weakly continuous, open lattice \(L = \{ \pi_ \alpha : \alpha \in A\}\) of continuous mappings on \(E\) such that, for each \(\alpha \in A\), the space \(\pi_ \alpha E\) is Tikhonov and has a continuous bijection onto a regular \(T_ 2\)-space with \(\omega\)-locally finite base. The class of openly generated spaces is shown to include the \(\kappa\)-metrizable compacta in the sense of \textit{E. V. Shchepin} [Izv. Akad. Nauk SSSR, Ser. Mat. 43, 442-478 (1979; Zbl 0409.54040)], and the od-spaces in the sense of \textit{V. V. Uspenskij} [Math. USSR, Sb. 67, No. 2, 555-580 (1990); translation from Mat. Sb. 180, 1092-1118 (1989; Zbl 0684.22001)]. Consequently, all Hausdorff topological groups are openly generated spaces. The author then shows, as corollaries of the main theorem, in rather general supposition that an openly generated space \(X\) has countable \(\omega\)-cellularity and is hereditarily perfect \(\kappa\)- normal; the closure of any union of \(G_ \delta\)-sets is a \(G_ \delta\)-set in \(X\); if besides \(X\) is completely paracompact then \(\text{ind} X=\text{Ind} X\). These corollaries generalize results previously obtained by \textit{E. V. Shchepin} in the above-mentioned paper, by \textit{D. B. Shakhmatov} [Topology Appl. 33, 105-113 (1989; Zbl 0687.54026)], by \textit{M. G. Tkachenko} [ibid. 38, No. 1, 21-37 (1991; Zbl 0722.54039)], and by \textit{V. V. Uspenskij} [Sov. Math., Dokl. 32, 802-806 (1985); translation from Dokl. Akad. Nauk SSSR 285, 824-827 (1985; Zbl 0602.22003)].