Skip to main content
3 of 3
Forgot one condition on (X,d)

Isometry group of a complete separable metric space is Polish?

Let $(X,d)$ be a complete separable metric space, and endow $Iso(X,d)$ with the pointwise convergence topology.

I've seen a few sources say this is clearly a Polish group, but why is this this the case?