On \(C\)-embedded subspaces of weakly Lindelöf spaces (Q2230890)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On \(C\)-embedded subspaces of weakly Lindelöf spaces
scientific article

    Statements

    On \(C\)-embedded subspaces of weakly Lindelöf spaces (English)
    0 references
    29 September 2021
    0 references
    In this well-written paper the author studies dense \(C\)-embedded subspaces of completely regular, weakly Lindelöf spaces. In particular, he is trying to find out under which conditions such subspaces are also weakly Lindelöf. Some of the interesting results are mentioned below. In Section 2 the author shows that a dense subspace \(Y\) of a product space \(X=\Pi_{i\in I}X_i\) is weakly Lindelöf if and only if \(\pi_J(Y)\) is weakly Lindelöf for every finite \(J\subset I\), where \(\pi_J\) is the projection of \(X\) onto \(\Pi_{i\in J}X_i\). Therefore, if the product space \(X\) is weakly Lindelöf and \(Y\subseteq X\) is such that \(\pi_J(Y)=\Pi_{i\in J}X_i\), for every finite \(J\subset I\), then \(Y\) is weakly Lindelöf. Then, it follows from results in Chapter 10 of the book [\textit{W. W. Comfort} and \textit{S. Negrepontis}, Chain conditions in topology. Cambridge: Cambridge University Press (1982; Zbl 0488.54002)] that if, in addition, \(\pi_J(Y)=\Pi_{i\in J}X_i\), for every countable \(J\subset I\), then \(Y\) is also \(C\)-embedded in \(X\). As a corollary of these results the author shows that if \(X\) is the product of a family of completely regular spaces of countable pseudocharacter and \(X\) is weakly Lindelöf, then every dense \(C\)-embedded subspace \(Y\) of \(X\) is also weakly Lindelöf. In Section 3 the author proves that every dense \(C^*\)-embedded subspace of an arbitrary product \(\Pi=\Pi_{i\in J}X_i\) of Eberlein compacta is pseudocompact (hence \(C\)-embedded in \(\Pi\)) and weakly Lindelöf. Examples are given to show that some possible conjectures are not true and several interesting open problems are stated.
    0 references
    compact
    0 references
    pseudocompact
    0 references
    weakly Lindelöf
    0 references
    pseudo-\( \omega_1\)-compact
    0 references
    \(C\)-embedded
    0 references
    \( C^\ast \)-embedded
    0 references
    Eberlein compacta
    0 references
    topological group
    0 references

    Identifiers