Polish group

Definition 0.1.

Let G be a topological groupMathworldPlanetmath regarded as a topological spaceMathworldPlanetmath. Then G is defined to be a Polish group if it is also a Polish spaceMathworldPlanetmath.


  • 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