Está en la página 1de 7

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.
ii. Cada uno de los conjuntos es cerrado y está acotado.

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.
ii. Cada uno de los conjuntos es cerrado y está acotado.

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.

También podría gustarte