Anda di halaman 1dari 1

Teorema de Heine-Cantor - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Teorema_de_Heine-Cantor

Teorema de Heine-Cantor
En matemticas, el teorema de Heine-Cantor, llamado as por deberse a Eduard Heine (1821 - 1881) y
Georg Cantor, establece que, si f : M N es una funcin continua entre dos espacios mtricos y M es
compacto, entonces f es uniformemente continua.

Demostracin
La continuidad uniforme de una funcin se expresa como:

donde dM, dN son las funciones distancia en los espacios mtricos M y N, respectivamente. Si ahora
asumimos que f es continua en el espacio mtrico compacto M pero no uniformemente continua, la negacin
de la continuidad uniforme de f queda as:

Eligiendo 0, para todo positivo tenemos un par de puntos x e y en M con las propiedades arriba descritas.
Si elegimos = 1/n para n = 1, 2, 3, ... obtenemos dos sucesiones {xn}, {yn} tales que

Como M es compacto, el teorema de Bolzano-Weierstrass demuestra la existencia de dos subsucesiones


convergentes ( a x0 y a y0). Se sigue que

Pero como f es continua y e convergen en el mismo punto, esta afirmacin no puede ser cierta. La
contradiccin prueba que nuestra suposicin de que f no es uniformemente continua es absurda: entonces f
debe ser uniformemente continua como afirma el teorema.

Obtenido de https://es.wikipedia.org/w/index.php?title=Teorema_de_Heine-Cantor&oldid=73929041

Se edit esta pgina por ltima vez el 21 abr 2014 a las 12:24.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

1 de 1 27/09/2017 22:57