The Journal About the Journal Editorial Board Submission Ethics Statement Contacts
 Recent Issues Online First Volume 1, Issue 1

### Banalytic spaces and characterization of Polish groups

Pages: 1 – 13

#### Authors

Taras Banakh and Alex Ravsky

#### 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.

Full Text (PDF format)

Received: 12 Febuary 2019; Revised: 24 April 2019; Accepted: 5 May 2019.