On a theorem of D. P. Baturov (Q523123)

A subset \(K\) of a topological space \(X\) is called relatively countably compact in \(X\) if each sequence of points of \(K\) has a cluster point in \(X\). A Hausdorff space \(X\) is called angelic if each relatively countably compact subset \(K\) of \(X\) is relatively compact and has the property that each point from the closure of \(K\) is a limit in \(X\) of a sequence of points of \(K\). In a letter to the reviewer in June 2017, David Fremlin kindly informed that he had introduced angelic spaces around 1964 and presented his preliminary results about them in a splinter group at the British Mathematical Colloquium in spring 1966. The books [\textit{A. V. Arkhangel'skij}, Topological function spaces. Transl. from the Russian by R. A. M. Hoksbergen. Dordrecht etc.: Kluwer Academic Publishers (1992; Zbl 0758.46026)] and [\textit{J. Kąkol} et al., Descriptive Topology in Selected Topics of Functional Analysis. Berlin: Springer (2011; Zbl 1231.46002)] are necessary to read the article with understanding. The main topic of this article is to give new proofs in ZFC to known theorems about what internal conditions on a Tychonoff space \(X\) are sufficient for \(C_p(X)\) to be angelic. In particular, in a way distinct from the one in [\textit{J. Orihuela}, J. Lond. Math. Soc., II. Ser. 36, No. 1--2, 143--152 (1987; Zbl 0608.46007)], the author proves in ZFC one of Orihuela's theorems which states that if \(X\) is a web-compact Tychonoff space, then \(C_p(X)\) is angelic. It is somewhat disturbing that the definition of a web-compact space introduced by Orihuela is not cited correctly on page 500 in this article. The author makes comments on consequences of Baturov's theorem, see [\textit{A. V. Arkhangel'skij}, loc. cit.], which asserts that if \(X\) is a Lindelöf \(\Sigma\)-space, then for each subspace \(Y\) of \(C_p(X)\) the extent of \(Y\) equals the Lindelöf number of \(Y\). Among other results of ZFC, it is deduced that if a Tychonoff space \(X\) contains a Lindelöf \(\Sigma\)-subspace separating the functions of \(C(X)\), then every compact subspace of \(C_p(X)\) is Gul'ko compact, while \(C_p(X)\) is angelic. Finally, the author applies weak topologies on locally convex topological vector spaces and proves in ZFC that if \(X\) is a Lindelöf \(\Sigma\)-space, then the function space \(C(X)\) equipped with the compact-open topology is weakly angelic.