Banalytic spaces and characterization of Polish groups

Taras Banakh; Alex Ravsky

Home/Archive/arXiv

arXiv · 1901.10732

Banalytic spaces and characterization of Polish groups

Taras Banakh·Alex Ravsky

View original source ↗Read source document ↗Export metadata ↓

Abstract

A topological space is defined to be banalytic (resp. analytic) if it is the image of a Polish space under a Borel (resp. continuous) map. A regular topological space is analytic if and only if it is banalytic and cosmic. Each (regular) banalytic space has countable spread (and under PFA is hereditarily Lindelöf). Applying banalytic spaces to topological groups, we prove that for a Baire topological group $X$ the following conditions are equivalent: (1) $X$ is Polish, (2) $X$ is analytic, (3) $X$ is banalytic and cosmic, (4) $X$ is banalytic and has countable pseudocharacter. Under PFA the conditions (1)--(4) are equivalent to the banalycity of $X$. The conditions (1)--(3) remain equivalent for any Baire semitopological group.

Explore related subjects

math.GN math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Taras Banakh, Alex Ravsky. 2019-01-30. Banalytic spaces and characterization of Polish groups. https://arxiv.org/abs/1901.10732

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

KEEP EXPLORING

Related papers

arXiv2026

Sobriety of Scott topologies under countability conditions

In this paper, we focus on the sobriety of the Scott topology in countable case. Specifically, we show that: (1) every meet-continuous core-compact countable dcpo is sober with respect to the Scott topology; (2)every countable locally compact dcpo is sober endowed with the Scott topology; (3) the lattice of all open sets for the rational numbers space Q equipped with the Scott topology is not sober.

math.GN↗

arXiv2026

Scott--Isbell Coincidence for Continuous Dcpos beyond Bicompleteness

Lawson and Mislove posed the following problem in 1990 as Problem~535 in \emph{Open Problems in Topology}: for a core-compact space $X$ and a dcpo $P$ equipped with its Scott topology, under what conditions on $P$ do the Isbell and Scott topologies on $C(X,P)$ agree?It was proved that, for a nonempty bicomplete continuous dcpo $P$, the Isbell and Scott topologies on $C(X,P)$ coincide for every core-compact space $X$ if and only if $P$ is bounded complete; for every compact core-compact space $X$ if and only if $P$ is conditionally bounded complete; and for every RW-space $X$ if and only if $P$ is a pointed continuous $L$-domain.We remove the bicompleteness assumption from all three classifications by combining the forbidden-retract theorem of Jia, Jung and Li with a separation theorem for powers of downward well-ordered chains and suitable Alexandrov test spaces.

math.GN↗

arXiv2026

Primeless proofs of the Menger and Rothberger games

We continue the study of the Menger and Rothberger games on lattices initiated in arXiv:2102.12901. This time, we extend the earlier results by dropping some hypotheses that turned out to be unnecessary, and use Stone duality to recover known game characterizations for dense open families. We also give a formulation of Ufin for partially ordered sets and prove its game characterization without any lattice assumption. Finally, almost disjoint families give complete distributive lattices on which the selection principles and the corresponding games differ. We obtain lower bounds $\operatorname{cov}(\mathcal M)$ and $\mathfrak d$ for the least sizes of such counterexamples.

math.GN↗