Un Mapa es continuo en la imagen inversa del conjunto (−∞,r](−∞,r](-\infty,r]. ¿Esta imagen inversa es un conjunto cerrado?

Dejar tu ser un espacio topológico y un mapa gramo : tu R . Para una dada r R , definir mi := { X tu : gramo ( X ) r } . Si gramo es continua en cada punto de mi , entonces ¿Es cierto que mi es un conjunto cerrado en U? Si es así, demuéstralo. Si no, da un contraejemplo.

Supongo que sí. Aquí está mi intento. Dejar X norte mi Sea una sucesión tal que límite norte X norte = X . estoy tratando de probar X mi . Por continuidad de gramo , tenemos gramo ( X norte ) también converge. Además, gramo ( X norte ) r para todos norte . Por lo tanto, límite norte gramo ( X norte ) r .

Aquí estoy atascado. Si demuestro que límite norte gramo ( X norte ) = gramo ( X ) , Termine. ¿Puede alguien ayudarme aquí?

¿En qué punto de tu ¿Estás usando la continuidad de gramo ? ¿Estás seguro de que gramo es continuo ahi?
¿Cuál es su definición de continuidad? ¿Has intentado aplicarlo a la secuencia? { gramo norte ( X ) } ?

Respuestas (2)

Dejar tu = R y r = 0 y definir F como sigue:

F : R R : X { broncearse X , si  π 2 < X < π 2 1 , de lo contrario.

Entonces mi = ( π 2 , 0 ] , F es continua en mi (y de hecho en todas partes excepto ± π 2 ), y mi no está cerrado en R .

NO. P.ej tu = R y mi = ( 0 , ) . Dejar r = 1. Dejar gramo ( X ) = 0 para X mi . Dejar gramo ( X ) = 2 para X 0.

si tu tambien quieres gramo ser discontinuo en cada punto de tu \ mi luego modifique el ejemplo anterior para gramo ( X ) = 2 cuando 0 X q y gramo ( X ) = 3 cuando 0 > X q .

Dado un espacio no vacío mi siempre podemos encontrar un espacio tu tal que mi es un subespacio abierto no cerrado de tu . por ejemplo deja tu = mi { pag } con pag mi . Dejar T mi ser la topología en mi y dejar que la topología en tu ser { tu } T mi .

Si mi es un subespacio abierto no cerrado de tu , dejar r = 1. Dejar gramo ( X ) = 0 para X mi . Dejar gramo ( X ) = 2 para X tu \ mi .