Teorema de Encaje de Cantor

UNIVERSIDAD NACIONAL AUTÓNOMA DE NICARAGUA
UNAN - LEÓN
Facultad de Ciencias y Tecnología

Departamento de Matemática y Estadística
Carrera: Matemática
Componente: Análisis Matemático II
Docente: M.Sc. Claudia Zepeda
Contenido: Teorema de encaje de Cantor
Integrantes:
1. Br. Luis Enmanuel Velásquez Chavarría
2. Br. Giusseppe Benito Bervis Quintero
León, 30 de marzo de 2016
“A la libertad por la Universidad”

INFORMACIÓN PRELIMINAR
Teorema de Bolzano-Weierstrass. Si un conjunto acotado de contiene una infinidad

de puntos, entonces existe por lo menos un punto de que es un punto de acumulación.
Teorema. La unión de una colección finita de conjuntos cerrados es cerrada, y la

intersección de una colección arbitraria de conjuntos cerrados es cerrada.
Teorema. Un conjunto es cerrado si y solo si contiene a todos los puntos de acumulación.
Conjunto acotado: Se dice que un conjunto de está acotada si está contenido

totalmente en una -bola centrada en con radio y algún .
Entorno o vecindad: Si , entonces cualquier conjunto que contenga un conjunto

abierto conteniendo a se llama entorno de .
Punto de acumulación: Si y , entonces se llama un punto de

acumulación de si cada -bola centrada en contiene por lo menos un punto de distinto
de .
Conjunto infinito numerable: Un conjunto se dice infinito si no es finito. Se dice que es

infinito numerable si existe una correspondencia biyectiva . O equivalentemente,
se puede decir que es infinito-numerable si sus elementos pueden ser ordenados en una
sucesión infinita de términos distintos.
TEOREMA DE ENCAJE DE CANTOR
Reseña biográfica de George Cantor
George Cantor (San Petersburgo, 1845 - Halle, Alemania, 1918): Matemático alemán de
origen ruso. El joven Cantor permaneció en Rusia junto a su familia durante once años,
hasta que la delicada salud de su padre les obligó a trasladarse a Alemania. En 1862 ingresó
en la Universidad de Zurich, pero tras la muerte de su padre, un año después, se trasladó a
la Universidad de Berlín, donde estudió matemáticas, física y filosofía. Se doctoró en 1867
y empezó a trabajar como profesor adjunto en la Universidad de Halle.
Partiendo de las ideas contenidas en una obra póstuma de Bernhard

Bolzano, Paradojas de lo infinito (1851), en 1874 publicó su primer trabajo sobre teoría de
conjuntos. Entre 1874 y 1897, demostró que el conjunto de los números enteros tenía el
mismo número de elementos que el conjunto de los números pares, y que el número de
puntos en un segmento es igual al número de puntos de una línea infinita, de un plano y de
cualquier espacio. Es decir, que todos los conjuntos infinitos tienen «el mismo tamaño».
Cantor consideró estos conjuntos como entidades completas con un número de

elementos infinitos completos. Llamó a estos números infinitos completos «números
transfinitos» y articuló una aritmética transfinita completa. Por este trabajo fue ascendido a
profesor en 1879.
Sin embargo, el concepto de infinito en matemáticas había sido tabú hasta entonces,
y por ello se granjeó algunos enemigos, especialmente Leopold Kronecker, que hizo lo
imposible por arruinar su carrera. Estancado en una institución docente de tercera clase,
privado del reconocimiento por su trabajo y constantemente atacado por Kronecker, sufrió
su primera crisis nerviosa en 1884.
Sus teorías sólo fueron reconocidas a principios del siglo XX, y en 1904 fue
galardonado con una medalla de la Sociedad Real de Londres y admitido tanto en la
Sociedad Matemática de Londres como en la Sociedad de Ciencias de Gotinga. En la
actualidad se le considera como el padre de la teoría de conjuntos, punto de partida de
exepcional importancia en el desarrollo de la matemática moderna. Murió en una
institución mental.
Teorema de encaje de Cantor. Sea { } una colección numerable de conjuntos, no

vacíos, de tales que:
i.
ii. Cada uno de los conjuntos es cerrado y está acotado.
Entonces en la intersección ⋂ es cerrada y no vacía.
Demostración
Sea { ⁄ } una colección numerable de conjuntos.
Sea { } { } una colección de conjuntos, no vacíos, de que cumple

las siguientes condiciones:
i.
Sea
Primero probaremos que S es cerrado.
Por el teorema que establece que la intersección de una colección arbitraria de conjuntos
cerrados es cerrada, concluimos que es cerrada.
Ahora probaremos que . Para ello debemos encontrar un punto .
Supongamos que existe un que contiene una cantidad finita de puntos. Asumamos que
es dicho conjunto. Dado que , tenemos que . Por consiguiente
todos los conjuntos de la colección también contienen una cantidad finita de puntos.
Así,
Supongamos ahora que los contienen una infinidad de puntos.
Formemos entonces una colección de puntos distintos
{ }
donde .
Como es un conjunto infinito contenido en el conjunto acotado , de acuerdo con el

teorema de Bolzano-Weierstrass [Si un conjunto acotado de contiene una infinidad de
puntos, entonces existe por lo menos un punto de que es un punto de acumulación],
tenemos que poseerá un punto de acumulación; llamémoslo .
Probaremos que , esto es, , para cada .
Como todos los son cerrados, para probar que , para cada , debemos demostrar
que es un punto de acumulación para cada Esto nos lo garantiza el teorema que
establece que “Un conjunto es cerrado si y solo si contiene a todos los puntos de
acumulación”.
Dado que es un conjunto infinito, todo entorno de , es decir, todo conjunto que contenga
un conjunto abierto conteniendo a , contiene infinitos puntos de , y como todos excepto
(quizá) un número finito de puntos de pertenecen a cada entorno contiene infinitos
puntos de .
Por consiguiente, es también un punto de acumulación de y dado que todos los son
cerrados , para cada .
Así,
Luego,
∴ Hemos probado que si { } una colección numerable de conjuntos, no vacíos, de

tales que:
i.
Entonces se verifica que la intersección ⋂ es cerrada y no vacía.

BIBLIOGRAFÍA
1. Tom M. Apostol. (1996). Análisis matemático. España: Editorial Reverté.

2. E. T. Bell. (2001). Los grandes matemáticos (Desde Zenón a Poincaré): Su vida y
sus obras. Argentina: Editorial Losada.

Teorema de Encaje de Cantor

Cargado por

Copyright:

Formatos disponibles

Teorema de Encaje de Cantor

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teorema de Encaje de Cantor

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL AUTÓNOMA DE NICARAGUA

Facultad de Ciencias y Tecnología

León, 30 de marzo de 2016

“A la libertad por la Universidad”

Teorema de Bolzano-Weierstrass. Si un conjunto acotado de contiene una infinidad

Teorema. La unión de una colección finita de conjuntos cerrados es cerrada, y la

Teorema. Un conjunto es cerrado si y solo si contiene a todos los puntos de acumulación.

Conjunto acotado: Se dice que un conjunto de está acotada si está contenido

Entorno o vecindad: Si , entonces cualquier conjunto que contenga un conjunto

Punto de acumulación: Si y , entonces se llama un punto de

Conjunto infinito numerable: Un conjunto se dice infinito si no es finito. Se dice que es

Reseña biográfica de George Cantor

Partiendo de las ideas contenidas en una obra póstuma de Bernhard

Cantor consideró estos conjuntos como entidades completas con un número de

Teorema de encaje de Cantor. Sea { } una colección numerable de conjuntos, no

Entonces en la intersección ⋂ es cerrada y no vacía.

Sea { ⁄ } una colección numerable de conjuntos.

Sea { } { } una colección de conjuntos, no vacíos, de que cumple

Primero probaremos que S es cerrado.

Supongamos ahora que los contienen una infinidad de puntos.

Formemos entonces una colección de puntos distintos

Como es un conjunto infinito contenido en el conjunto acotado , de acuerdo con el

Probaremos que , esto es, , para cada .

∴ Hemos probado que si { } una colección numerable de conjuntos, no vacíos, de

Entonces se verifica que la intersección ⋂ es cerrada y no vacía.

1. Tom M. Apostol. (1996). Análisis matemático. España: Editorial Reverté.

También podría gustarte