Polish group
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.
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):
bci1
As of this snapshot date, this entry was owned by
bci1
.