PlanetPhysics/Polish Group
Let be a topological group regarded as a topological space. Then is defined to be a Polish group if it is also a Polish space.
All Sources
editReferences
edit- ↑ Howard Becker, Alexander S. Kechris. 1996. The Descriptive Set Theory of Polish Group Actions Cambridge University Press: Cambridge, UK, p.14.