Superextensions of normal spaces (Q2640929)

If X is a topological space, then GX is the set of closed subsets \(\xi\) of exp X with the property: \(F\supset M\) and \(M\in \xi\) implies \(F\in \xi\). Being defined as a subset of exp exp X, the set GX is proved to be a subspace of exp exp X if X is compact. The subspaces \(\lambda\) X and NX of GX are discussed. The space \(\lambda\) X, was introduced by \textit{A. Verbeek} [Superextensions of topological spaces, Math. Centre Tracts 41 (1972; Zbl 0256.54014) p. 46; see also \textit{J. van Mill}, Supercompactness and Wallman spaces, Math. Centre Tracts 85 (1977; Zbl 0407.54001) p. 102] and called the superextension of X. The author announces generalizations of several theorems of \textit{A. V. Ivanov} [Sib. Math. J. 27, 863-875 (1986); translation from Sib. Mat. Zh. 27, No.6(160), 95-110 (1986; Zbl 0625.54012)], \textit{E. V. Ščepin} [Izv. Akad. Nauk SSSR, Ser. Mat. 43, 442-478 (1979; Zbl 0409.54040)] and of himself [Mosc. Univ. Math. Bull. 43, No.3, 48-51 (1988); translation from Vestn. Mosk. Univ., Ser. I 1988, No.3, 54-57 (1988; Zbl 0658.54010)] concerning the mentioned hyperspaces. He announced in particular that each of the mentioned hyperspaces of X is topologically \(I^{\omega_ 1}\), if X is normal, pseudocompact \(\kappa\)-metrizable and has the pseudocharacter equal to \(\omega_ 1\) everywhere.