Polish group

Definition 0.1   Let $ G$ be a topological group regarded as a topological space. Then $ G$ is defined to be a Polish group if it is also a Polish space.

Bibliography

1
Howard Becker, Alexander S. Kechris. 1996. The Descriptive Set Theory of Polish Group Actions Cambridge University Press: Cambridge, UK, p.14.



Contributors to this entry (in most recent order):

As of this snapshot date, this entry was owned by bci1.