Absolute \(F_{\sigma\delta}\) spaces (Q1680129): Difference between revisions

A~completely regular topological space~\(X\) is said to be an~\(F_{\sigma\delta}\)~space, if there exists a compactification \(cX\) of~\(X\) such that \(X\) is an \(F_{\sigma\delta}\) subset of~\(cX\). \(X\)~is said to be an absolute \(F_{\sigma\delta}\)~space, if \(X\)~is an \(F_{\sigma\delta}\)~in every compactification of~\(X\). \textit{Z. Frolík} [Czech. Math. J. 13(88), 335--359 (1963; Zbl 0149.40303)] asked about a~description of the class of completely regular spaces which are absolutely~\(F_{\sigma\delta}\). Later Talagrand found an example of an \(F_{\sigma\delta}\)~space that is not absolutely~\(F_{\sigma\delta}\). Frolík's problem is still open and in the paper under the review the authors consider the following two variants of this problem: 1.~Among all \(F_{\sigma\delta}\)~spaces describe those which are absolutely~\(F_{\sigma\delta}\). 2.~Given an \(F_{\sigma\delta}\)~space~\(X\) describe the compactifications of~\(X\) in which \(X\)~is \(F_{\sigma\delta}\). The authors partially answer these questions. They prove that if \(X\) is \(F_{\sigma\delta}\) in a~compactification \(cX\), then it is \(F_{\sigma\delta}\) in all larger compactifications and in all compactifications which are not much smaller than \(cX\). They find a~sufficient condition for a~space to be absolutely \(F_{\sigma\delta}\). Applying this result they prove that hereditarily Lindelöf \(F_{\sigma\delta}\)~spaces are absolutely~\(F_{\sigma\delta}\) and that separable Banach spaces are absolutely~\(F_{\sigma\delta}\) in the weak topology.