Pseudocompact \(\Delta\)-spaces are often scattered (Q2117292)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pseudocompact \(\Delta\)-spaces are often scattered |
scientific article |
Statements
Pseudocompact \(\Delta\)-spaces are often scattered (English)
0 references
21 March 2022
0 references
The following definition was given in [\textit{J. Kąkol} and \textit{A. Leiderman}, Proc. Am. Math. Soc., Ser. B 8, 86--99 (2021; Zbl 1473.54018)]: A space \(X\) is a \(\Delta\)-\emph{space} if for any decreasing sequence \(\mathcal{S}=\{X_n:n\in\omega\}\) of subsets of \(X\) with empty intersection, there exists a sequence \(\{U_n:n\in\omega\}\) of open subsets of \(X\) with empty intersection such that \(X_n\subseteq U_n\) for each \(n\in\omega\). [loc. cit.] contains a study of general \(\Delta\)-spaces, where it was shown that \(X\) is a \(\Delta\)-space if and only if it has the \(\Delta\)-\emph{property}: for any disjoint family \(\mathcal{A}=\{A_n:n\in\omega\}\) of subsets of \(X\) there exists a point-finite family \(\{U_n:n\in\omega\}\) of open sets of \(X\) such that \(A_n\subseteq U_n\) for each \(n\in\omega\). It was also shown in [loc. cit.] that Čech-complete \(\Delta\)-spaces must be scattered. It was established in [\textit{J. Kąkol} and \textit{A. Leiderman}, ibid., Ser. B 8, 267--280 (2021; Zbl 1482.54019)] that each countably compact \(\Delta\)-space is scattered. In the present paper it is shown that in a pseudocompact \(\Delta\)-space all countable subsets must be scattered, implying all pseudocompact \(\Delta\)-spaces of countable tightness are scattered. It is also established that adding a countable set to a pseudocompact \(\Delta\)-space can destroy the \(\Delta\)-property. However, if a countably compact space \(X\) has a \(\Delta\)-subspace \(Y\) such that \(X\setminus Y\) is countable, then \(X\) must be a \(\Delta\)-space. In addition, it is shown that monotonically normal \(\Delta\)-spaces are hereditarily paracompact and a subspace \(X\) of an ordinal space has the \(\Delta\)-property if and only if \(X\) is hereditarily paracompact. A series of ten questions are asked, including the following: If \(X\) is a pseudocompact \(\Delta\)-space, is it true that \(t(X)\leq\omega\)? If \(X\) is a separable pseudocompact \(\Delta\)-space, must \(X\) be scattered? If \(X\) is a Lindelöf scattered subspace of an Eberlein compact space, must \(X\) be a \(\Delta\)-space? If \(X\) is a countably compact \(\Delta\)-space, is it true that every continuous image of \(X\) is a \(\Delta\)-space?
0 references
Eberlein compact space
0 references
pseudocompact space
0 references
\(\varDelta\)-space
0 references
monotonically normal space
0 references
GO space
0 references
subspace of ordinals
0 references
0 references