# 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.

## References

• 1 Howard Becker, Alexander S. Kechris. 1996. The Descriptive Set Theory of Polish Group Actions Cambridge University Press: Cambridge, UK, p.14.
 Title Polish group Canonical name PolishGroup Date of creation 2013-03-22 18:24:40 Last modified on 2013-03-22 18:24:40 Owner bci1 (20947) Last modified by bci1 (20947) Numerical id 5 Author bci1 (20947) Entry type Definition Classification msc 22A25 Classification msc 22A22 Classification msc 22A10 Classification msc 54H05 Classification msc 22A05 Related topic PolishSpace Related topic Group Related topic PolishGSpace Related topic TopologicalGspace Related topic TopologicalGroup2 Related topic BasicResultsInTopologicalGroups Related topic TopologicalGSpace