Search arXivSearch

arXiv · 1509.02874

The weight and Lindelöf property in spaces and topological groups

Abstract

We show that if $Y$ is a dense subspace of a Tychonoff space $X$, then $w(X)\leq nw(Y)^{Nag(Y)}$, where $Nag(Y)$ is the Nagami number of $Y$. In particular, if $Y$ is a Lindelöf $Σ$-space, then $w(X)\leq nw(Y)^ω\leq nw(X)^ω$. Better upper bounds for the weight of topological groups are given. For example, if a topological group $H$ contains a dense subgroup $G$ such that $G$ is a Lindelöf $Σ$-space, then $w(H)=w(G)\leq ψ(G)^ω$. Further, if a Lindelöf $Σ$-space $X$ generates a dense subgroup of a topological group $H$, then $w(H)\leq 2^{ψ(X)}$. Several facts about subspaces of Hausdorff separable spaces are established. It is well known that the weight of a separable Hausdorff space $X$ can be as big as $2^{2^{\mathfrak c}}$, where ${\mathfrak c}=2^ω$. We prove on the one hand that if a regular Lindelöf $Σ$-space $Y$ is a subspace of a separable Hausdorff space, then $w(Y)\leq \mathfrak c$, and the same conclusion holds for a Lindelöf $P$-space $Y$. On the other hand, we present an example of a countably compact topological group $G$ which is homeomorphic to a subspace of a separable Hausdorff space and satisfies $w(G)=2^{2^{\mathfrak c}}$, i.e. has the maximal possible weight.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mikhail G. Tkachenko. 2015-09-09. The weight and Lindelöf property in spaces and topological groups. https://arxiv.org/abs/1509.02874

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Calibers of canonical hyperconnected spaces and their Vietoris hyperspaces

For infinite cardinals $λ\leq κ$, we calculate the calibers of topological spaces $X$ of cardinality $κ$ whose open sets are the subsets $A$ satisfying $|X \setminus A| < λ$. We also prove that the set of calibers of $X$ coincides with the set of calibers of the Vietoris hyperspace $\mathcal{H}(X)$, where the space $\mathcal{H}(X)$ has as its underlying set a collection of subsets of $X$ that includes all its finite subsets and is contained within the collection of its closed subsets.

math.GN

The circle as a topological fractal

We prove that no family of two continuous self-maps witnesses that the circle is a topological fractal, answering a question of Karasová and the present author. Since three maps are known to suffice, this bound is optimal. In contrast, for every $\varepsilon>0$ there are two continuous self-maps of the circle, depending on $\varepsilon$, whose images cover the circle and an integer $N$ such that every composition of $N$ of them has image of diameter less than $\varepsilon$. Thus two maps suffice at any prescribed scale, but no fixed pair works at all scales.

math.GN

Singular Submodules of Abelian Groups over Their Endomorphism Rings

Let $A$ be an abelian group and $E=\Endo_{\Z}(A)$. We give a module-theoretic description of the singular $E$-submodules asked for in Fuchs' Problem~1.2. For a unital ring $R$ and a left $R$-module $M$, put $W=I_R({}_RR)\oplus I_R(M)$ and $J=\Jaco(\Endo_R(W))$, and let $u$ be the image of $1_R$. The classical essential-kernel criterion yields \[ Z_R(M)=M\cap Ju. \] For $R=E$ and $M=A$, all singular submodules are therefore the $E$-submodules of $A\cap Ju$. Writing $T=t(A)$ and $B=A/T$, we prove a torsion-transfer formula, identify the torsion part as $\bigoplus_p pT_p$, and describe simultaneous prime lifting by a canonical obstruction. The resulting extension gives an $\Extt/\Homm$ parametrization of all singular submodules. We obtain explicit formulas for torsion groups and for $\Z(p^\infty)\oplus B$ with $B$ torsion-free; in the latter case the fully invariant subgroup lattice of $B$ occurs as an interval. The general description retains the induced endomorphism action and extension data, rather than giving a classification by classical group invariants.

math.GN