Definition 0.1 Let be a topological -space, and its associated topological group (that is, such that an action of on is
continuous if
is continuous). If is a Polish group and is also a Polish space, then is called a Polish G-space.
This is version 2 of Polish G-space, born on 2009-02-02, modified 2009-02-02.
Object id is 469, canonical name is PolishGSpace.
Accessed 339 times total.