Weakly developable and weakly \(k\)-developable spaces, and the Vietoris topology (Q5928996)

A topological space \(X\) is called weakly developable if it has a sequence \(({\mathcal U}_n)_{n<\omega}\) of open covers such that for every sequence \((U_n)_{n<\omega}\) with \(U_n\in{\mathcal U}_n\) and for every \(x\in\bigcap\{U_n\mid n<\omega\}\) the sequence \((\bigcap\{U_i\mid i\leq n\})_{n<\omega}\) is a local base at \(x\). Obviously, every developable space is weakly developable. Every weakly developable space has a base of countable order [the author with \textit{A. V. Arkhangel'skij} and \textit{J. Calbrix}, ibid. 100, No. 1, 23-38 (2000; Zbl 0935.54027)]. A \(T_1\)-space is metrizable if and only if it is a monotonically normal weakly developable space. The notions of a weakly \(w\Delta\)-space and a space with a weakly \(G^*_\delta\)-diagonal are introduced and it is shown that a Hausdorff space is weakly developable if and only if it is a weakly \(w\Delta\)-space and has a weakly \(G^*_\delta\)-diagonal. If \(A\) is a subspace of a topological space \(X\) and \(({\mathcal U}_n)_{n<\omega}\) is a sequence of covers of \(A\) by open subsets of \(X\) then \(({\mathcal U}_n)_{n<\omega}\) is said to be a (special) \(p\)-sequence of \(A\) in \(X\) if \(\bigcap\{\text{St}(x,{\mathcal U}_n)\mid n<\omega\}\subset A\) (respectively \(\bigcap\{\text{St}(x,{\mathcal U}_n)\mid n<\omega\}=\{x\})\) for each \(x\in X\). Theorem: For a completely regular \(T_1\)-space \(X\) the following conditions are equivalent: (1) \(X\) is a weakly developable space; (2) \(X\) has a special \(p\)-sequence in its Stone-Čech compactification \(\beta X\); (3) \(X\) has a special \(p\)-sequence in some regular countably compact \(T_1\)-space \(Y\supset X\); (4) \(X\) has a \(G_\delta\)-diagonal and a \(p\)-sequence in some regular countably compact \(T_1\)-space \(Y\) containing \(X\). Using this theorem it is shown that a completely regular \(T_1\)-space \(X\) is weakly developable if and only if the space \({\mathcal F}(X)\) of all non-empty finite subsets of \(X\) (equipped with the Vietoris topology) is weakly developable. Similar results are obtained for the stronger weakly \(k\)-developable spaces.