Automatic continuity of measurable homomorphisms on Cech-complete topological groups

MaRDI QIDQ6401237zbMATH OpenFDO

Authors Taras Banakh

Publication date 6 June 2022

Mathematics Subject Classification ID

Descriptive set theory (03E15) Applications of set theory (03E75) Analysis on general topological groups (22A10) General properties and structure of locally compact groups (22D05) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Continuous maps (54C05) Weak and generalized continuity (54C08) Local compactness, (sigma)-compactness (54D45) Baire category, Baire spaces (54E52) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Topological groups (topological aspects) (54H11)

Abstract: We prove that a homomorphism $h:XoY$ from a (locally compact) Cech-complete topological group $X$ to a topological group $Y$ is continuous if and only if $h$ is Borel-measurable if and only if $h$ is universally measurable (if and only if $h$ is Haar-measurable). This answers a problem of Kuznetsova and extends a result of Kleppner on the continuity of Haar-measurable homomorphisms between locally compact groups and a result of Rosendal on the continuity of universally measurable homomorphisms between Polish groups.

This page was built for publication: Automatic continuity of measurable homomorphisms on Cech-complete topological groups

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