Skip to main content
2 of 3
edited tags; edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Isometry group of a complete separable metric space is Polish?

Let $(X,d)$ be a complete 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?