A characterization of strongly countably complete topological groups

DOI10.1016/J.TOPOL.2011.03.020MaRDI QIDQ429353zbMATH OpenOpenAlexFDO

Authors Mikhail Tkachenko

Publication date 19 June 2012

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

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

zbMATH Keywords

\(G_{\delta }\)-tightnesscompactcompletely metrizablecountably compactfeathered groupMoscow spacepseudocompactsequentially completestrongly countably completeČech-complete

Mathematics Subject Classification ID

Structure of general topological groups (22A05) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25) Complete metric spaces (54E50) Topological groups (topological aspects) (54H11)

Review text

The article is devoted to the study of strongly countably complete topological groups. Following \textit{Z. Frolík} [Czech. Math. J. 11(86), 237--248 (1961; Zbl 0149.40302)], a topological space \(X\) is called strongly countably complete if there exists a sequence \(\{ \gamma_n: n\in\omega\}\) of open coverings of \(X\) such that every decreasing sequence \(\{ F_n: n\in\omega\}\) of nonempty closed sets in \(X\) has nonempty intersection provided each \(F_n\) is contained in some element of \(\gamma_n\). Every (locally) countably compact space as well as each Čech-complete space is strongly countably complete. Nevertheless, the author gives an example of two countably compact topological groups such that their product is not strongly countably complete. In the article a complete characterization of strongly countably complete topological groups is given: a topological group \(G\) is strongly countably complete if and only if \(G\) contains a closed countably compact subgroup \(H\) such that the quotient space \(G/H\) is completely metrizable and the quotient mapping \(\pi : G\to G/H\) is closed. It is shown that every strongly countably complete group \(G\) has the following properties: (a) \(G\) is sequentially complete; (b) \(G\) is \(G_\delta\)-dense in the Raĭkov completion \(\rho G\) of \(G\); (c) the Dieudonné completion of \(G\) coincides with \(\rho G\); (d) the \(G_\delta\)-tightness of \(G\) is countable; and (e) \(G\) is a Moscow group. It is proved that a strongly countably complete topological group is (locally) pseudocompact iff it is (locally) countably compact. The author presents an example of a pseudocompact topological Abelian group \(H\) with the Fréchet-Urysohn property such that \(H\) fails to be sequentially complete answering in the positive a question posed by \textit{D. Dikranjan}, \textit{E. Martín Peinador} and \textit{V. Tarieladze} in [Appl. Categ. Struct. 15, No. 5--6, 511--539 (2007; Zbl 1135.22003)].

Recommendations

• On (para)topological groups with a countably \((s\)-)complete sieve
• A pseudocompact group which is not strongly pseudocompact
• Topological groups in which all countable subgroups are closed
• scientific article; zbMATH DE number 2152040
• Quotients of strongly realcompact groups

Cites work

• Abelian groups admitting a Fréchet-Urysohn pseudocompact topological group topology
• Baire spaces and some generalizations of complete metric spaces
• Compactness type properties in topological groups
• Continuity of the Inverse
• Conway's question: the chase for completeness
• Countably compact groups from a selective ultrafilter
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 2110056 (Why is no real title available?)
• scientific article; zbMATH DE number 3214659 (Why is no real title available?)
• scientific article; zbMATH DE number 3325674 (Why is no real title available?)
• scientific article; zbMATH DE number 3083532 (Why is no real title available?)
• Introduction to topological groups
• Precompact noncompact reflexive abelian groups
• Pseudocompactness and uniform continuity in topological groups
• Separate continuity and joint continuity
• Sequential completeness of quotient groups
• The Product of Two Countably Compact Topological Groups
• Topological groups and related structures
• Topologically Complete Groups
• Zur Bohr-Konvergenz von Folgen.

Cited in

(14)

• On (para)topological groups with a countably \((s\)-)complete sieve
• On strongly \(\omega\)-balanced topological groups
• Quotients of strongly realcompact groups
• scientific article; zbMATH DE number 4152726 (Why is no real title available?)
• scientific article; zbMATH DE number 4025723 (Why is no real title available?)
• Strong realcompactness and strong Dieudonné completeness in topological groups
• scientific article; zbMATH DE number 703508 (Why is no real title available?)
• scientific article; zbMATH DE number 2152040 (Why is no real title available?)
• A pseudocompact group which is not strongly pseudocompact
• Some generalized countably compact properties in topological groups
• On countably complete topological groups
• On _-factorizable groups
• Some characterizations on strongly topological gyrogroups
• Properties of isocompact spaces in topological groups

This page was built for publication: A characterization of strongly countably complete topological groups

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