Definition 0.1 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.
- 1
- Howard Becker, Alexander S. Kechris. 1996. The Descriptive Set Theory of Polish Group Actions Cambridge University Press: Cambridge, UK, p.14.
|
"Polish group" is owned by bci1.(view preamble)