×

Countable normality of subsets of \(\exp (X)\). (English. Russian original) Zbl 0916.54016

Mosc. Univ. Math. Bull. 50, No. 5, 53-54 (1995); translation from Vestn. Mosk. Univ., Ser. I 1995, No. 5, 97-99 (1995).
A space is called countably normal (pseudonormal, respectively) if any two closed disjoint sets such that one of them is countable and discrete (only countable, respectively) are contained in disjoint open sets. The countable normality was defined in 1923 by P. S. Alexandroff and P. Urysohn [Verhandelingen Amsterdam 14, No. 1 (1929; JFM 55.0960.02)] and much later it was defined under the name \(D\)-property by E. K. van Douwen [The integers and topology, in ‘Handbook of set-theoretic topology’, 111-167 (1984; Zbl 0561.54004)]. Pseudonormal spaces were introduced in [C. W. Proctor, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 18, 179-181 (1970; Zbl 0191.21102)]. The following relations are obvious: normality \(\Rightarrow\) pseudonormality \(\Rightarrow\) countable normality. The space of closed subsets of the space \(X\) with Vietoris topology is denoted by \(\exp(X)\). The hereditary pseudonormality of \(\exp(X)\) implies the countable normality, perfect normality, and hereditary separability of \(X\) [the author, Mosc. Univ. Math. Bull. 47, No. 1, 48-50 (1992); translation from Vestn. Mosk. Univ., Ser. I 1992, No. 1, 102-104 (1992; Zbl 0764.54019)]. The following theorem is an amplification of the latter statement:
Theorem 1: If \(\exp(X)\) is a hereditarily countable normal space, then the space \(X\) is countably compact, perfectly normal, and hereditarily separable.

MSC:

54D15 Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.)
54B20 Hyperspaces in general topology

Keywords:

JFM 55.0960.02
PDFBibTeX XMLCite