Automatic continuity of group operations (Q1356973)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic continuity of group operations
scientific article

    Statements

    Automatic continuity of group operations (English)
    0 references
    2 March 1998
    0 references
    A subset \(A\) of a topological space \(X\) is said to have the Baire property if there is an open set \(U\subseteq X\) with \(A\Delta U\) meagre. Call a function \(f: C\to Y\) Baire measurable if, for any open set \(U\subseteq Y\), \(f^{-1}(U)\) has the Baire property. It is proved that if \((G,\cdot)\) is a group with a metric, separable and Baire topology \(\tau\) such that \(h\to g\cdot g\) is continuous for all \(g\in G\) and \(g\to g\cdot h\) is Baire measurable for all \(h\in G\), then \((G,\tau)\) is a topological group. As a consequence of this result, the author also considers the standard Borel groups. Some results of \textit{A. S. Kechris} [Classical descriptive set theory. Graduate Texts in Math. 156 (Berlin 1995; Zbl 0819.04002)] concerning Polish groups and free actions of standard Borel groups are established.
    0 references
    automatic continuity
    0 references
    semitopological group
    0 references
    Baire property
    0 references
    Baire measurable
    0 references
    standard Borel groups
    0 references
    Polish groups
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references