Dejar ser un grupo de homeomorfismos de un espacio topológico . la acción de en se dice que es discontinua en un punto si
el estabilizador de , es finito.
tiene un barrio abierto tal que para todos
Si es una acción grupal topológica en un espacio topológico entonces se dice que la acción es continua si el mapa dada por es continuo
Mi pregunta es: ¿son estas dos nociones opuestas entre sí (considerando la forma en que se nombran)? Eso es si es un grupo topológico que actúa sobre entonces el mapa no ser continuo en algún punto significa que la acción es discontinua en ? No puedo ver por qué esto debería ser cierto.
¿Puede alguien darme un ejemplo de una acción grupal continua que sea discontinua (si es posible)?
Gracias.
"Discontinuo" es una extraña elección de terminología para esto, que desafortunadamente es estándar. No es lo contrario de continuo en este contexto. De hecho, uno más o menos nunca considera acciones de grupos topológicos que no son continuos.
Por ejemplo, la acción de en por traducción lo hará. (es decir, por en y , ). Los estabilizadores son triviales, y para un fijo en , encontrar como en su definición, puede tomar un intervalo abierto centrado en de longitud inferior a . Ciertamente esta acción, vista como un mapa de a , es continuo (por ejemplo porque es la restricción del mapa de suma .)
MU
YCor