Autor Tema: Espacios topológicos homeomorfos

0 Usuarios y 1 Visitante están viendo este tema.

30 Octubre, 2021, 05:54 am
Leído 190 veces

isabelgonzalezz

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 4
  • País: ve
  • Karma: +0/-0
Dados los espacios topológicos Homeomorfos, \(  X ~ y ~ Y  \) como se demuestra que si uno es normal, el otro también lo es?

30 Octubre, 2021, 08:51 am
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 51,522
  • País: es
  • Karma: +0/-0
Hola

Dados los espacios topológicos Homeomorfos, \(  X ~ y ~ Y  \) como se demuestra que si uno es normal, el otro también lo es?

Probar que este tipo de propiedades topológicas (que se definen sólo a partir de la topología de cada espacio) se conservan por homemorfismo es muy mecánico y siempre sigue el mismo esquema.

Tenemos \( f:X\to Y \) homemomorfismo. Y una determinada propiedad que se cumple en \( Y. \)

- Entonces tomamos los conjuntos implicados en la propiedad en \( X \).
- Los trasladamos a \( Y \) mediante \( f \) y sus imágenes siguen cumpliendo las mismas características topológicas por ser homeomorfismo.
- Como en \( Y \) se cumple la propiedad, esas imágenes la verifican y eso tiene alguna consecuencia.
- Se vuelve a trasladar esa consecuencia a \( X \) por \( f^{-1} \).

En tu caso supón que \( Y \) es normal (separa cerrados). Veamos que también ese normal \( X \).

- Toma dos cerrados disjuntos \( A,B\subset X \).
- Por ser \( f \) homeomorfismo (cerrada y biyectiva) \( f(A),f(B)\subset Y \) son cerrados disjuntos de \( Y \).
- Por ser \( Y \) normal existen abiertos disjuntos \( U,V\subset  Y \) tales que \( f(A)\subset U,\,f(B)\subset V \).
- Entonces \(  f^{-1}(U) \) y \( f^{-1}(V) \) por ser \( f \) continua son abiertos disjuntos que separan \( A \) y \( B \).

Saludos.