De alguna manera, tenemos que asociar un número f(x) a cada punto

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

Continuamos de manera inductiva: interpolamos 𝑢1/4 entre 𝑢0 y 𝑢1/2 ;

interpolamos 𝑢3/4 entre 𝑢1/2 y 𝑋\𝑣; luego definimos 𝑢1/8 , 𝑢3/8 , etcétera.
Obtenemos una secuencia de abiertos 𝑢𝑞 tales que:
(1)Para cada 𝑞 ∈ 𝐷, 𝐴 ⊆ 𝑢̅𝑞
(2)𝐵 ⊆ 𝑢1 para cada q<1,𝑢𝑞 ∩ 𝐵 = 𝜙
(3)Para cada 𝑝, 𝑞 ∈ 𝐷 𝑐𝑜𝑛 𝑝 < 𝑞, tenemos que 𝑢̅𝑝 ⊆ 𝑢𝑞
Ahora definamos
𝑓: 𝑋 → [0,1] 𝑐𝑜𝑚𝑜 𝑓(𝑥) = inf{𝑞\𝑥 ∈ 𝑢𝑞 } 𝑝𝑎𝑟𝑎 𝑐𝑎𝑑𝑎 𝑥 ∈ 𝑋
La función f está bien definida pues todo punto 𝑥 ∈ 𝑋 pertenece a
algún conjunto 𝑢𝑞 , al menos a 𝑢1 = 𝑋. Por la condición (1), f(A)=0. Por
la condición (2), f (B)=1. Falta demostrar que f es continua.
Establecemos 2 lemas:
(a)Si f(x)>q, entonces 𝑥 ∉ 𝑢̅𝑞
(b)Si f(x) <q, entonces 𝑥 ∈ 𝑢𝑞

Para cada 𝑥 ∈ 𝑋 𝑠𝑒𝑎 𝐷(𝑥) = {𝑞\𝑥 ∈ 𝑢𝑞 }.Entonces f(x)=inf D(x).Los

números q y los conjuntos 𝑢𝑞 están ordenados de la misma manera.
Así si 𝑞 ∈ 𝐷(𝑥) 𝑦 𝑞´ > 𝑞 entonces 𝑞´ ∈ 𝐷(𝑥)
Prueba de (a): Si f(x)>q debe haber algún hueco entre q y D(x), en
particular existe algún q´ tal que q<q´<f(x). Pero q´<f(x)⟹ 𝑥 ∉ 𝑢𝑞´ y
entonces 𝑢̅𝑞 ⊆ 𝑢𝑞´ ⟹ 𝑥 ∉ 𝑢̅𝑞
Prueba de (b) Si f(x)<q , entonces 𝑞´ ∈ 𝐷(𝑥) 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑓(𝑥) < 𝑞´ < 𝑞 en
cuyo caso 𝑞 ∈ 𝐷(𝑥) 𝑎𝑠𝑖 𝑞𝑢𝑒 𝑥 ∈ 𝑢𝑞
Ahora podemos mostrar que f es continua. Necesitamos la pre imagen
de todo sub-conjunto <a,1] o [0,a> es un abierto en X .Supongamos
primero que 𝑓(𝑥) ∈< 𝑎, 1].Elegimos algún q con a < q < f(x)
.Afirmamos que el conjunto abierto 𝑤 = 𝑋\𝑢̅𝑞 es una vecindad de x que
es mapeada por f en <a,1].
Primero por (a) f(x)>q ⟹ 𝑥 ∈ 𝑤, asi w es una vecindad de x.Si y es
cualquier punto de w entonces 𝑓(𝑦) ≥ 𝑞 > 𝑎 de otro modo si f(y)< q
entonces por (b), 𝑦 ∈ 𝑢𝑞 ⊆ 𝑢̅𝑞
Hemos demostrado que X es normal si y solo si para cualesquiera
dos cerrados disjuntos A,B existe una función f:X⟹I tal que
𝑓⁄ 𝑓
𝑎 = 0 𝑦 ⁄𝑏 = 1