In mathematics, a Polish group is a topological group that is also a Polish space, in other words homeomorphic to a separable complete metric space.
Contents
Examples
Properties
The group of homeomorphisms of the Hilbert cube [0,1]N is a universal Polish group, in the sense that every Polish group is isomorphic to a closed subgroup of it.
References
Polish group Wikipedia(Text) CC BY-SA