The weight and Lindelöf property in spaces and topological groups (Q2400885)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The weight and Lindelöf property in spaces and topological groups
scientific article

    Statements

    The weight and Lindelöf property in spaces and topological groups (English)
    0 references
    30 August 2017
    0 references
    By \(w(X)\), \(nw(X)\), \(d(X)\), \(l(X)\), \(wl(X)\), and \(c(X)\) the author denotes the weight, network weight, density, Lindelöf number, weak Lindelöf number, and cellularity of a given space \(X\), respectively. Let \(\beta X\) be the Stone-Čech compactification of a Tychonoff space \(X\) and \(\mathcal C\) the family of all closed subsets of \(\beta X\). A subfamily \(\mathcal F\) of \(\mathcal C\) separates points of \(X\) from \(\beta X \setminus X\) if for every pair of points \(x\in X\) and \(y \in \beta X\setminus X\), there exists \(F\in {\mathcal F}\) such that \(x \in F\) and \(y \not \in F\). Then we put \[ \mathrm{Nag}(X) = \min\{| {\mathcal F}| : {\mathcal F} \subset {\mathcal C}\;\text{and}\;{\mathcal F} \;\text{separates points of}\;X \;\text{from} \;\beta X \setminus X\} \] and call \(\mathrm{Nag}(X)\) the \textit{Nagami number} of \(X\). If \(\mathrm{Nag}(X) \leq \omega \), then the space \(X\) is called a Lindelöf \(\Sigma\)-space. The main results of this paper are the following: (1) If \(Y\) is a dense subspace of a Tychonoff space X, then \(|C(X)| \leq nw(Y )^{\mathrm{Nag}(Y)}\). (2) If a Lindelöf \(\Sigma\)-group \(G\) is a dense subgroup of a topological group \(H\), then \(w(H) = w(G) \leq \psi (G)^{\omega}.\) Similarly, if a Lindelöf \(\Sigma\)-space \(X\) generates a dense subgroup of a topological group \(H\), then \(w(H) \leq 2^{\psi(X)}.\) (3) If a regular Lindelöf \(\Sigma\)-space \(Y\) is homeomorphic to a subspace of a separable Hausdorff space, then \(w(Y ) \leq c\). The same conclusion is valid if \(Y\) is a Lindelöf \(P\)-space, i.e. all \(G_\delta\)-sets in \(Y\) are open. (4) There exists a countably compact abelian topological group \(G\) homeomorphic to a subspace of a separable Hausdorff space such that \(d(G) = 2^c\) and \(w(G) = 2^{2^{c}}\) , i.e. \(G\) has the maximal possible density and weight.
    0 references
    0 references
    0 references
    0 references
    0 references
    weight
    0 references
    density
    0 references
    \(\omega\)-narrow
    0 references
    Lindelöf
    0 references
    \(\Sigma\)-space
    0 references
    separable
    0 references
    countably compact
    0 references
    0 references
    0 references