Polish topometric groups (Q2846987)

A~topometric space is a~topological space with a~lower semi-continuous distance~\(\partial\), which means that the sets \(\{(x,y):\partial(x,y)\leq r\}\) are closed for all~\(r\). A~topometric group is a~topological group that is a~topometric space. The authors define and study the notion of ample metric generics for a~Polish topological group based on the concept of a~Polish topometric group. This notion is a~weakening of the notion of ample generics introduced by \textit{A. S. Kechris} and \textit{C. Rosendal} [Proc. Lond. Math. Soc. (3) 94, No. 2, 302--350 (2007; Zbl 1118.03042)], whose work serves as a~guide for the research in the paper. The isometry group of the bounded Urysohn space, the unitary group of a~separable Hilbert space, and the automorphism group \(\text{Aut}([0,1],\lambda)\) of the Lebesgue measure algebra on \([0,1]\) are examples of Polish groups with ample metric generics. Using the work of \textit{J. Kittrell} and \textit{T. Tsankov} [Ergodic Theory Dyn. Syst. 30, No. 2, 525--545 (2010; Zbl 1185.37010)], the authors prove that the group \(\text{Aut}([0,1],\lambda)\) has the automatic continuity property, i.e., every morphism from this group into a~separable topological group is continuous.