Un $G$-el espacio es (generalmente) un espacio topológico $X$ equipada con una acción continua por un grupo topológico $G$. Me refiero en general porque, nunca he estudiado antes de $G$-espacios y después de leer un par de ponencias relacionadas con ellas, he estado buscando la definición exacta en el internet, pero hay diferentes condiciones como:
- $G$ es solo un grupo;
- la acción no es necesariamente continua;
- $X$ es Hausdorff (creo que esto es debido a que el autor del documento fue trabajar con espacios de Hausdorff).
Así que mi petición es en cuanto a libros se refiere a la definición de una $G$-espacio en el sentido más general y, por qué no, la prioridad de su naturaleza.