PlanetPhysics/Polish G Space

Let $X$ be a [[../TopologicalGSpace/|topological $G$-space]], and $G$ its associated [[../TrivialGroupoid/|topological group]] (that is, such that an action $a$ of $G$ on $X$ is continuous if $a:G\times X\to X$ is continuous). If $G$ is a [[../PolishGroup/|Polish group]] and $X$ is also a Polish space, then $X$ is called a Polish G-space .