The semi-Polish theorem: one-sided vs joint continuity in groups (Q387915): Difference between revisions

A right invariant metric on a group \(X\) is a mapping with the property \(d(xv,yv)=d(x,y)\) for all \(x,y,v\) in \(X\). Groups with such metrics are studied and it is shown that if a space \(X\) equipped with such a metric is non-meagre and semi-analytic, then it is a Polish topological group. Implications for proper metric spaces with right-invariant metric are shown.