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.
References
- ↑
Howard Becker, Alexander S. Kechris. 1996. The Descriptive Set Theory of Polish Group Actions
Cambridge University Press: Cambridge, UK, p.14.