¿Existe una relación entre las nociones de acciones grupales continuas y discontinuas?

Dejar GRAMO ser un grupo de homeomorfismos de un espacio topológico X . la acción de GRAMO en X se dice que es discontinua en un punto X X si

  1. GRAMO X := el estabilizador de X , es finito.

  2. X tiene un barrio abierto tu tal que gramo tu tu = para todos gramo GRAMO X

Si GRAMO es una acción grupal topológica en un espacio topológico X entonces se dice que la acción es continua si el mapa F : GRAMO × X X dada por ( gramo , X ) gramo X es continuo

Mi pregunta es: ¿son estas dos nociones opuestas entre sí (considerando la forma en que se nombran)? Eso es si GRAMO es un grupo topológico que actúa sobre X entonces el mapa F no ser continuo en algún punto ( X , gramo ) GRAMO significa que la acción es discontinua en X X ? 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.

mira a Z actuando R .
Es "correctamente discontinuo", no "discontinuo".

Respuestas (1)

"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 Z en R por traducción lo hará. (es decir, por norte en Z y X R , norte X := X + norte ). Los estabilizadores son triviales, y para un fijo X en R , encontrar tu como en su definición, puede tomar un intervalo abierto centrado en X de longitud inferior a 1 . Ciertamente esta acción, vista como un mapa de Z × R a R , es continuo (por ejemplo porque es la restricción del mapa de suma R × R R .)