Bounded sets in topological groups and embeddings

DOI10.1016/J.TOPOL.2005.06.021MaRDI QIDQ876519zbMATH OpenOpenAlexFDO

Publication date 18 April 2007

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2005.06.021

B-closed space bounded subset fully closed mapping Uncountable supersequence

Structure of general topological groups (22A05) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Topological groups (topological aspects) (54H11)

Review text

From the authors' introduction: ``In the article, we study the problems of when a topological group contains an uncountable supersequence (that is, a copy of the one-point compactification of an uncountable discrete space) and what the impact of the presence of such supersequences on bounded subsets of the group is. (A subset \(B\) of a space \(X\) is said to be bounded in \(X\) if for every continuous real function \(f\) defined on \(X\), the set \(f(B)\) is bounded.) In Section 2, we show (Proposition 2.8) that if a topological group \(G\) contains a duplicate of an uncountable compact space, or the two arrows space, or a copy of the ordinal space \(\omega_1\) with the order topology, then \(G\) contains an uncountable supersequence. These facts follow from a more general result proved in Theorem 2.2., which is based on the concept of fully closed mappings defined and studied by \textit{V. V. Fedorchuk} [General Topology Appl. 10, 247--274 (1979; Zbl 0453.54007) and Usp. Mat. Nauk 35, No. 3(213), 112--121 (1980; Zbl 0529.54008)]. In Section 3, the authors show, among other results, that if a topological group \(H\) contains an uncountable supersequence, \(K\) is a closed bounded subset of \(H\) which does not contain uncountable supersequences, and \(A\) is an arbitrary subset of \(K\), then \(A\) is bounded in \(H\setminus(K\setminus A)\) (Theorem 3.3). We keep quoting the Introduction: ``In Section 4 we [\dots] show that every precompact Abelian group \(H\) can be embedded as a closed subgroup into a precompact Abelian group \(G\) such that \(H\) is bounded in \(G\) and all bounded subsets of the quotient group \(G/H\) are finite. This result is closely related to the work of \textit{M. I. Ursul} on embeddings of precompact groups as closed subgroups of pseudocompact ones [Izv. Akad. Nauk Mold. SSR, Ser. Fiz.-Tekh. Mat. Nauk 1989, No. 3, 54--56 (1989; Zbl 0699.22007)].

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Bounded sets in topological groups and embeddings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876519)