Proposición 1:
Sea
una función continua en y un conjunto abierto. Entonces para todo abierto
la imagen inversa de , es un abierto de Demostración:
Sea
abierto de Supongamos que
Si
, es un abierto entonces, terminó la demostración. Ahora bien, sea
entonces luego, es punto interior de
por demostrar: es punto interior de Por hipótesis,
es continua. Sea
tal que . Dicha existe porque es abierto y Entonces, existe
tal que si entonces
es punto interior de ya que Razón:
entonces entonces implica
Proposición 2:
Sea
un abierto. Sea
Si la imagen inversa de abiertos en
es un abierto en , entonces la función es continua en Demostración:
Sea
por demostrar: es continua en Sea
por demostrar: existe tal que si entonces Sea
es un abierto de . Por hipótesis,
es abierto. Existe
tal que
es abierto, existe tal que Sea
es la que necesitamos.
Teorema:
Sea
Si
Demostración:
Sea
Como
Como
Entonces, existe una subcubierta finita
Tomemos
Si
Luego, si
En consecuencia,