2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/221109Following a similar result of Uspenskij on the unitary group of a separable Hilbert space we show that with respect to the lower (or Roelcke) uniform structure the Polish group $G= \Aut(μ)$, of automorphisms of an atomless standard Borel probability space $(X,μ)$, is precompact. We identify the corresponding compactification as the space of Markov operators on $L_2(μ)$ and deduce that the algebra of right and left uniformly continuous functions, the algebra of weakly almost periodic functions, and the algebra of Hilbert functions on $G$, all coincide. Again following Uspenskij we also conclude that $G$ is totally minimal.Dynamical SystemsGeneral Topology54H11, 22A05 (Primary) 37B05, 54H20 (Secondary)text