Documentos de Académico
Documentos de Profesional
Documentos de Cultura
x ∈X. Más aún, nuestra función f tiene que ser continua (de otro modo
la prueba sería trivial y el teorema no tendría contenido significante),
mapear el conjunto A en el 0 y el conjunto B en el 1. Todo lo que
sabemos de X es nuestra hipótesis de que es normal. Vamos a definir
una gran colección de abiertos en X; entonces decidiremos para cada
x ∈ X, qué debería ser a partir de los conjuntos de la colección a los
cuales pertenece o no.
Sea D el conjunto de los racionales dinámicos en [0,1], es decir
D= {0,1/2,1/4,3/4,1/8,3/8,5/8,7/8,….}. Construiremos la secuencia de
abiertos 𝑢𝑞 , con índices q ∈ D.
Primero sea 𝑢1 = 𝑋. Puesto que X es normal, existen vecindades
abiertas y disjuntas 𝑢(𝐴) 𝑦 𝑣(𝐵). Notemos que la existencia de
𝑣 Disjunta de 𝑢 nos dice que 𝑢 ∩ 𝐵 = ∅, es decir 𝑢 ⊂ (𝑋\𝐵).
Sea 𝑢0 esta vecindad 𝑢(𝐴). Entonces, para todos los subconjuntos
subsecuentes 𝑢𝑞 que definiremos, tendremos 𝐴 ⊆ 𝑢𝑞 ; y para todo q<1,
𝑢𝑞 ∩ 𝐵 = ∅.
El conjunto cerrado 𝑢̅0 está contenido en el conjunto abierto X\B . Dado
que X es normal, existe un abierto (que llamaremos 𝑢1/2 ) tal que
𝑢̅0 ⊆ 𝑢1 ⊆ 𝑢̅1 ⊆ (𝑋\𝐵)
2 2