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?
Isometry group of a complete separable metric space is Polish?
pseudocydonia
- 660
- 4
- 12