UNIVERSIDAD NACIONAL FEDERICO VILLAREAL

FACULTAD DE DERECHO Y CIENCIA POLÍTICA

ESCUELA PROFESIONAL DE CIENCIA POLÍTICA

“DEMOSTRACION GRAFICA Y ANALITICA DEL TEOREMA DE GEORG CANTOR

SOBRE CONJUNTOS”

Trabajo presentado para el curso de: Matemática

AUTORES:
Madelin A. Roque Guillen
Leydi D. Talaverano Huarancca
Junior Y. Jorge Huanacuni
Nicol E. Orihuela Chuñoca
Sarita M. Santamaria Llonto
Trilce D. Bernable Navarro
Nicole A. Yanamango Sandoval
Rosa N. Verde Paricahua
Jhordan E. Leiva Jaimes
Reyshel A. Lovaton Araujo

DOCENTE:
Luis Sullca Acuña

Lima – Perú
2023

Página 1
 INDICE

1. Introducción ………...................................................................... 3
2. Hipótesis .................................................................................... 4
2.1. Hipótesis del continuo ............................................................................. 4
2.2. Álef (cardinales) ……................................................................................. 4
3. Tesis ……...................................................................................... 5
3.1. Equipotencia ……...................................................................................... 6
3.2. Cardinalidad ….......................................................................................... 7
4. Demostración …......................................................................... 12
5. Aplicación del problema de Cantor …......................................... 13

Página 2
 INTRODUCCION

En el presente trabajo, exploraremos el fascinante campo de los conjuntos a

través de la perspectiva del renombrado matemático George Cantor. Cantor, un
destacado pensador del siglo XIX y principios del XX, revolucionó la teoría de
conjuntos con sus innovadoras ideas y contribuciones.
En esta investigación, examinaremos las principales teorías y conceptos
desarrollados por Cantor, centrándonos en su enfoque pionero sobre la
cardinalidad de los conjuntos y la noción de infinitud. Exploraremos cómo
Cantor desafió las intuiciones matemáticas tradicionales al demostrar que
existen diferentes tamaños de infinito y cómo estableció la distinción entre
conjuntos numerables e innumerables.
Además, analizaremos las operaciones de conjuntos propuestas por Cantor, así
como su estudio de las relaciones entre conjuntos y la noción de conjunto
potencia. Estos conceptos fundamentales sentaron las bases para el desarrollo
de la teoría de conjuntos moderna y han tenido un impacto significativo en
diversas ramas de las matemáticas.
Espero que este trabajo sea una fuente de conocimiento y reflexión sobre la obra
de George Cantor y su impacto en la teoría de conjuntos.

Página 3
1. Hipótesis

La hipótesis dice que los conjuntos de números naturales N, enteros Z y

racionales Q son
equipotentes, con el mismo tamaño de infinito de cardinal Aleph cero. El
conjunto de números reales R domina al de naturales, enteros y reales, con un
tamaño de infinito mayor y cardinal Aleph uno.

Llegados a este punto la pregunto que se planteó seria" ¿son todos los conjuntos
infinitos numerables? o la equivalente ¿tienen todo el mismo número de
elementos?"

1.1 Hipótesis del continuo

La hipótesis del continuo (también conocida como primer problema de

Hilbert) es un enunciado relativo a la cardinalidad del conjunto de los
números reales, formulado como una hipótesis por Georg Cantor en 1878.
Su enunciado afirma que no existen conjuntos infinitos cuyo tamaño esté
estrictamente comprendido entre el del conjunto de los números naturales y
el del conjunto de los reales. El nombre continuo hace referencia al conjunto
de los reales.

No existe ningún conjunto A tal que su cardinal |A| cumpla:

ℵ0<|A|<2ℵ0

Entonces:

N<R
ℵ0 <ℵ1

1.2 Álef (cardinales)

secuencia de números usada para representar la cardinalidad de
conjuntos infinitos que pueden ser bien ordenados

En la teoría de conjuntos, un aleph es un signo utilizado para indicar ciertos

números finitos que en realidad resultan ser números ordinales iniciales y,
por tanto, números cardinales.

Aleph 0 (ℵ0)
El más pequeño y conceptualmente más fácil de todos los transfinitos
(números cardinales) es ℵ0 (léase aleph bajo cero o aleph cero). Esta
cardinalidad es el número de elementos del conjunto de los números
naturales.

Página 4
 Aleph 1 (ℵ1)
En matemáticas, ℵ1 se define como el cardinal m ás pequeño mayor que ℵ0,
es decir, el cardenal más pequeño mayor que el cardinal del conjunto de los
números naturales. Esto significa que ℵ1 es descendiente de ℵ0, que se
escribe ℵ1=ℵ0.

2. Tesis

N → biyección → R
esto es v o f

Para entender esto debemos comprender que es una función biyectiva e

inyectiva, equipotencia y cardinalidad.

Función Biyectiva e Inyectiva

 La función es inyectiva (uno-a-uno) si cada elemento del codominio es

aplicado por a lo sumo un elemento del dominio. Una función inyectiva es
una inyección. Notablemente:

 La función es biyectiva (uno-a-uno y en o con correspondencia uno a

uno) si cada elemento del codominio es aplicado por exactamente un
elemento del dominio. (Es decir, la función es tanto inyectiva como
sobreyectiva). Una función biyectiva es una biyección.

Página 5
 Una función sobreyectiva es una función cuya imagen es igual a su
condominio. Equivalentemente, una función

2.1 Equipotencia

Para hablar de conjuntos infinitos necesitamos hablar en primer lugar acerca

de la cantidad de elementos que existe tanto en un primer como segundo
conjunto, A y B respectivamente.

Imaginemos que los elementos (a,b) y (a,c) pertenecen al conjunto A y (x,

2y) y (y,2y) pertenecen al conjunto B. Cantor establece que ambos conjuntos
son equipotentes de cumplirse la existencia de una biyección entre ellas, que
básicamente entraría en la correspondencia de los elementos entre ambos
conjuntos bajo el mismo cardinal asignado. Es decir que, técnicamente para
que pueda cumplir correctamente esta relación es necesario que ambos
conjuntos tengan la misma cantidad de elementos. Entonces partiendo
desde el primer ejemplo, afirmamos como es debido que el elemento (a,b)
mantiene relación con el elemento (x,2y) y el elemento (a,c) con el elemento
(y,2y).

A B
(a,b) — (x,2y)
(a,c) — (y,2y)

Página 6
Entonces en resumen ¿Qué entendemos por equipotencia?
Básicamente la correspondencia bi unívoca en la que cada elemento del
primer conjunto corresponde sólo y únicamente a un elemento del segundo y
viceversa, que cada elemento del segundo corresponde sólo y únicamente a
un elemento del primero, y así teniendo como primera consideración la
misma cantidad de elementos.

2.2 Cardinalidad

Los conjuntos equipotentes tienen el mismo cardinal. La cardinalidad de un

conjunto X es la medida del "número de elementos del conjunto”.
"Cardinalidad" (2017)
En teoría de conjuntos, un número cardinal es una generalización de los
números naturales para contar el número de elementos, es decir, teniendo
los elementos del conjunto A, (a,b) y (a,c), lo único que hacemos para
concluir el cardinal del conjunto es contar. Por lo que se cumple que n(A) =
2.

La cardinalidad aplica a cualquier tipo de conjunto, ya sea finito o infinito. El

cardinal en un conjunto finito vendría a ser un número natural mientras que
un infinito su cardinal vendría a ser un transfinito. Bajo esto entonces
entendemos a los cardinales como representantes de todos los tamaños
posibles del conjunto del que hablamos. Aunque no todos los conjuntos
pueden tener el mismo tamaño, como en el caso en el que no se comparte un
mismo cardinal, así como sucede con los números naturales y los números
reales.

Página 7
3. MARCO TEÓRICO

3.1 Historia de Georg Cantor y su teoría de Conjuntos

En la historia de la matemática, Georg Cantor (1845-1918) ocupa un

lugar privilegiado, como responsable de una de las creaciones más
sorprendentes y atrevidas en toda la historia de las matemáticas: Fundamentos
para una teoría general de conjuntos escrita en el año 1883 nos explica la
descripción matemática de los conjuntos, donde relata la célebre
correspondencia que sostuvo con Richard Dedekind, complementada con
algunas cartas que dirigió a Hilbert y a otros, una correspondencia que nos
presenta de manera más directa resultados clave del gran matemático y de las
paradojas de la teoría de conjuntos, que tan dramáticas consecuencias tendrían
para las esperanzas de algunos matemáticos finiseculares, para conocer ello es
importante conocer la vida de Georg Cantor (Cantor & Ferreirós, 2005).

Georg Cantor nació el 3 de marzo en San Petersburgo (Rusia) en el año

1845, gran matemático que aportó científicamente a la historia de las
matemáticas marcando un antes y un después. Creció en el seno de una familia
de clase acomodada, su padre Georg Waldemar Cantor era un exitoso
comerciante y su madre Marie Bohm procedía de una familia muy inclinada
hacia las Artes y las Ciencias, por lo que, le permitió a Cantor una educación
privilegiada contratando a un instructor privado hasta los 11 años.

En 1856 por problemas de salud ante un inmenso frio en San Petersburgo

el padre de Cantor tenía problemas respiratorios y se mudó con su familia a
Alemania, donde Cantor residiría toda su vida, este, en 1860 se gradúa con un
extraordinario informe en el que se hacía particular mención de su gran talento
en matemáticas, en particular en trigonometría. Luego en 1862 pasa a estudiar
en el politécnico de Zúrich ya que su padre anhelaba ver a su hijo de ingeniero,
sin embargo, Cantor tenía en mente otros planes para formarse
académicamente, su aspiración y lo que consiguió fue luego del fallecimiento de
su padre.

Ingresa a la universidad de Berlín debido a la fama en los estudios de

matemática, donde encontró grandes influencias como de Weierstrass profesor

Página 8
e investigador con sus primeros trabajos sobre series y números reales, aunque
también estudió con Kummer y Kronecker grandes exponentes matemáticos.

Para la época recibió difícilmente su doctorado en Berlín en 1867 con una

tesis sobre teoría de números, con mención de: In re mathematica ars
proponendi pluris facienda est quam solvend con significado de "en las
Matemáticas, el arte de plantear los problemas es más importante que su
resolución”. Luego de ello se dedicó a la docencia, en 1868 atribuyó a su
conocimiento uniéndose al Seminario Schellbach para Profesores de
Matemáticas, más tarde fue admitido en la universidad de Halle en 1969,
también publicó una nueva teoría de números, todos sus esfuerzos se dedicaron
a su teoría.

Georg Cantor tenía una actitud sociable y contribuyó a que su entorno

fuese de aporte a sus investigaciones. Su principal contribución a las
Matemáticas fue su modo de plantear cuestiones abiertas en vastas áreas del
conocimiento, los planteamientos de sus problemas fueron resueltos en gran
parte por él y sus discípulos. En 1870 demostró con la ayuda de Heine, que si
una serie trigonométrica convergen ellas representarían una única función de
variable real, después complementando en 1872 en un artículo cuando no
convergen y esto debido a un conjunto de unicidad de infinitos, aquellos
conjuntos serían caracterizados con precisión a través del concepto de conjunto
derivado, todo conectaba que hasta llegó a dar su definición de los números
reales, cada vez se incrementaba su estatus y consolidaba su posición.

En Halle, es allí que con ayuda de Schwartz obtuvo el grado de Full

Professor con ayuda de Schwartz en1873, posteriormente “uno de sus colegas
científicos, E. Heine, sugirió a Cantor en los comienzos de su actividad en Halle
que se dedicase a la teoría de series trigonométricas” (Rodríguez Baltasar, 1994)
este aportó a Cantor investigaciones de gran importancia en la historia de la
trigonometría. De igual modo sus investigaciones lo condujeron a estudiar
rasgos de conjuntos de puntos, como resultado obtuvo los primeros resultados
generales de la Teoría de Conjuntos.

En consecuencia, más tarde publicó su primer trabajo de teoría de

conjuntos en 1874, sin embargo, Cantor también enfrentó críticas y resistencia
hacia sus ideas. Muchos matemáticos de su época no estaban dispuestos a
Página 9
aceptar la existencia de diferentes tipos de infinitos, hasta que llegaban a decir
que sus teorías eran contradictorias. Sobre todo, se encontró con Kronecker en
su contra, era partidario de una visión más conservadora y finitista de las
matemáticas, cuando en la juventud de Cantor tuvo su respaldo, pero se
convirtió en uno de sus mayores problemas ya que sostenía que los números y
las demostraciones matemáticas debían estar basados únicamente en los
números enteros y en operaciones finitas, rechazaba la idea de los infinitos y las
implicaciones que traían consigo, por lo que carecía de fundamentos sólidos. En
ese mismo año también se comprometió el 9 de agosto con Vally Guttmann, una
mujer con gustos artísticos que convertía una buena compañía para Cantor.

El infinito le interesó desde joven, y siendo un treintañero publicó los

artículos que desarrollaron su Teoría de conjuntos, en la que formalizó diversas
ideas sobre el infinito matemático. Para Cantor, los conjuntos son colecciones
de objetos que pueden poseer finitos o infinitos elementos. Por ejemplo, el
conjunto de los dedos de una mano tiene finitos elementos ({pulgar, índice,
corazón, anular y meñique}), mientras que el conjunto de los números naturales
(N = {0, 1, 2, 3, 4, 5, 6…}) tiene infinitos elementos. Cantor estableció el
concepto de cardinal como el número de elementos que tiene un conjunto:
siguiendo con el mismo ejemplo, el cardinal del conjunto de los dedos de una
mano es cinco (5) y el cardinal del conjunto de los números naturales es infinito
(∞).

Su colega Richard Dedekind, con el que se carteó durante años, ya había

considerado los conjuntos infinitos en 1872; pero Cantor, además, se dio cuenta
de que no todos los conjuntos infinitos son del mismo tamaño. Es decir, hay
conjuntos infinitos que poseen distintos cardinales. Mediante una discusión con
Dedekind sobre los números reales en 1778, en la demostración de la
equipotencia entre R y Rn tenemos como el concepto general de potencia o
cardinalidad de un conjunto solo quedo definido en 1878, en un artículo de
demostraba la existencia de correspondencias biunívocas entre R y cualquier
espacio euclideo Rn . Dos conjuntos A y B tienen la misma cardinalidad, ambos
son equipotentes, si y solo si existen una aplicación de ʄ de A en B que es
biyectiva (esto es, una correspondencia uno a uno entre los elementos de A y los
de B) (Cantor & Ferreirós, 2005).

Página 10
 A fines de mayo de 1884, Cantor registró su primer episodio de
depresión, por la problemática que encontró con la hipótesis del continuo y
críticas, por lo que padeció periódicamente durante el resto de su vida, este,
pasó el final de sus días en un psiquiátrico de Halle, donde murió. Sin embargo,
su Teoría de conjuntos acabó convirtiéndose en el lenguaje común empleado en
las diversas ramas de las matemáticas actuales. Su legado ha sido fundamental
para la comprensión de los infinitos y ha sentado las bases para el estudio de
muchos conceptos fundamentales en la teoría de conjuntos y la matemática en
general. Pocos años después de su muerte, el reconocido matemático David
Hilbert aseguró que la aritmética transfinita es “el más sorprendente producto
del pensamiento matemático y una de las realizaciones más bellas de la
actividad humana”.

Página 11
4. DEMOSTRACIÓN

Los números reales no pueden ser equipotentes con los números

naturales R ≅ N

Método: la diagonal de Cantor

Si (0,1) = { x 1 , x 2 , x 3 , … . }

x1 = 0, d 11 , d 21 , d 13 , d 14 , d 15…...∞

x2 = 0, d 21 , d 22 , d 23 , d 24 , d 25…..∞

x3 = 0,d 31 , d 32 , d 33 , d 34 , d 35…...∞

x4 = 0,d 41 , d 42 , d 34,d 44 , d 45 …..∞

Si d 11 , d 22 , d 33 , d 44 es un nuevo número, es decir ℵ0 , ya no ocupan un lugar con

el conjunto de los N

Por lo tanto, [ 0 , 1 ] no es numerable entonces el conjunto R tampoco lo es

y por ende no es equipotente a los N

ℵ0 < ℵ 1 R> N

ℵ1: d 11 , d 22 , d 33 , d 44

Funcionalmente la biyección se definiría: { x ∈ x / x ∈ f (x ) }

N R

1 0

2 1

3 2

Sin embargo, es definido como: { x ∈ x / x ∉ f (x ) }

Página 12
5. APLICACIÓN DEL TEOREMA DE GEORG CANTOR
Conjunto de Cantor

0 1

0 1/9 2/9 1/3 2/3 7/9 8/9 1

0 1/9 2/9 1/3 2/3 7/9 8/9 1

(0,1/9) (2/9,1/3) (2/3,7/9) (8/9,1)

Conjunto de Cantor (pequeño)

Longitud 0

0 1 Longitud removida ¿ 1

La longitud de un intervalo removido luego de un numero infinito de pasos va a

ser igual a la longitud del intervalo con el que empezamos.

Longitud removida = 1
Longitud intervalo = 1

0 1

Página 13
Iteración 1 2 3 4 5 6 7 8

N° de segmentos 2 4 8 16 32 64 128 256

Longitud de segmentos 1 1 1 1 1 1 1 1
3 9 27 81 243 729 2187 6561

Suma de todos los segmentos 2 4 8 16 32 64 128 256

3 9 27 81 243 729 2187 6561

Sea E0 en el intervalo [0,1]. Dividimos este intervalo por tres y separamos el

segmento ,
1 2
3 3 ( )
1
Sea E1= 0 ,
3 [ ][ ]
2
∪ , 1 .Dividimos ambos intervalos, cada uno en tres partes y
3
separamos los tercios centrales.

Sea E2= 0 , [ ] [ ][ ][ ]
1
9
2 3 6 7 8
∪ , ∪ , ∪ ,1
9 9 9 9 9

Continuando de este modo; Obtenemos una sucesión de conjuntos compactos

En , tales que

1. E1 ⊃ E2 ⊃ E 3 ⊃ ...........
2. En es la unión de 2n intervalos, cada uno de longitud 3−n.
∞

∑ (numero de intervalos). (longitud de cada intervalo)

i=1

∞
1
∑ 2
i−1
. 3
i
i=1

Longitud total removida luego de infinitos pasos:

∑ 12 ( 32 ) = 12 ( 1−2/3 )=1
∞ i
2/3
i=1

Sabemos que esta es una serie geométrica convergente

Página 14
 2
r = <1
3
De esta forma se prueba que el conjunto de Cantor tiene longitud 0.

Fractales del conjunto de Cantor

Iteración 1 2 3 4 5 6 7 8 …

N° de segmentos 2 4 8 16 32 64 128 256 …

Longitud de segmentos 1 1 1 1 1 1 1 1 …
3 9 27 81 243 729 2187 6561
Suma de todos los 2 4 8 16 32 64 128 256 …
segmentos 3 9 27 81 243 729 2187 6561
Fractal: Un fractal es un objeto geométrico cuya estructura básica,
fragmentada o aparentemente irregular, se repite a diferentes escalas.

CONJUNTO DE CANTOR
Longitud¿ 0
¿Se eliminaron todos los puntos del intervalo?
Para esto procederemos:

BASE 3

v
0 1
0.4273

0.42 0.43
0.4273

Página 15
Dividimos en 10  Es igual en Base 3

v
0 1
0.102112111
V

Decimales son potencias de 3

PASO 1

0 1
V
02 01
0 01

Removemos números con un 1 luego del punto hasta llegar a los puntos cuya
expansión en base 3 contiene 1s.
NO ES VACIO

Puntos fáciles de
escribir en base 3
0 01

Tiene infinitos puntos

Es grande  Infinitos puntos

Es pequeño  Longitud 0

*El Infinito no enumerable, quiero decir, la medida cero es normal en los

conjuntos infinitos, pero enumerables.

Página 16
 REFERENCIAS

Cantor, G., & Ferreirós, J. (2005). Fundamentos para una teoría general de
conjuntos. Bacelona: Editorial Critica S. L.

Gardner, M., & Machado, A. M. (s/f). Carnaval matemático (El libro de bolsillo
- Ciencias). Amzn.to. Recuperado el 25 de agosto de 2023.
https://amzn.to/3qU7Zzs

Ram Murty, M., & Fodden, B. (s/f). Hilbert’s tenth problem: An Introduction to
Logic, Number Theory, and Computability (Student Mathematical
Library). Amzn.to. Recuperado el 25 de agosto de 2023.
https://amzn.to/2XjwNnP

Cardinalidad. (10 de diciembre de 2017). En Wikipedia.

https://es.wikipedia.org/wiki/Equipotencia

Página 17
Página 18