Remarks on absolutely star countable spaces (Q386362)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Remarks on absolutely star countable spaces |
scientific article |
Statements
Remarks on absolutely star countable spaces (English)
0 references
9 December 2013
0 references
For any topological property \(\mathcal P\), a topological space \(X\) is said to be a \textit{star \(\mathcal{P}\) space} if for every open cover \(\mathcal U\) of \(X\) there is a subspace \(Y \subseteq X\) such that \(Y\) satisfies \(\mathcal P\) and \(St(Y, \mathcal U) := \bigcup\{U \in \mathcal U: U \cap Y \neq \emptyset\} = X\). A related notion is the following: \(X\) is said to be an \textit{absolutely star \(\mathcal{P}\) space} if for every open cover \(\mathcal U\) of \(X\) and for every dense subset \(D \subseteq X\) there is a subspace \(Y \subseteq X\) such that \(Y \subseteq D\), \(Y\) satisfies \(\mathcal P\) and \(St(Y, \mathcal U) = X\). A family of subsets of a set \(X\) is said to be \textit{centered} (resp. \textit{linked}) if every finite subfamily (resp. every subfamily with two elements) has non-empty intersection and is said to be \textit{\(\sigma\)-centered} (resp. \textit{\(\sigma\)-linked}) if it is a union of countably many centered subfamilies (resp. linked subfamilies). A topological space \(X\) is \textit{centered-Lindelöf} (resp. \textit{linked-Lindelöf}) if every open cover \(\mathcal{U}\) of \(X\) has a \(\sigma\)-centered (resp. \(\sigma\)-linked) subcover. In the paper under review, the author establishes the following results: {\parindent=6mm \begin{itemize}\item[(1)] Every Tychonoff linked-Lindelöf (centered-Lindelöf, star countable) space can be represented as a closed subspace of a Tychonoff pseudocompact absolutely star countable space. \item[(2)] Every Hausdorff (regular, Tychonoff) linked-Lindelöf space can be represented as a closed \(G_\delta\) subspace in a Hausdorff (regular, Tychonoff) absolutely star countable space. \item[(3)] There is a pseudocompact absolutely star countable Tychonoff space having a regular closed subspace which is not star countable (hence not absolutely star countable). \item[(4)] Assuming \(2^{\aleph_0} = 2^{\aleph_1}\), there is an absolutely star countable normal space having a regular closed subspace which is not star countable (hence not absolutely star countable). \end{itemize}}
0 references
pseudocompactness
0 references
star countable
0 references
absolutely star countable
0 references
centered Lindelöf
0 references
linked-Lindelöf
0 references
0 references