ÁREA DE CIENCIAS BÁSICAS Y TECNOLÓGICAS

GRUPO N°3

TEMA: Teoría de conjuntos de Georg Cantor y sus paradojas

PROFESOR: Jesús Avalos Rodríguez

INTEGRANTES:

1) Florian Tirado Nilson

2) Valeria Villanueva Briceño
3) Minchola Alva Gabriela Sofía
4) Miranda Villena Alejandro
5) Sequeiros Benites Lourdes
6) Melchor Llapo Cedany Antony
7) Leon Aguilar Omar
8) Leiva Garcia Joseph
9) Meléndez Gennell Alonso

Trujillo, junio del 2018

 UNIVERSIDAD NACIONAL DE TRUJILLO
2018

INFORME DE JEFE DE GRUPO:

N° INTEGRANTES DEL APORTES

GRUPO
1) Florian Tirado  Sintetizó información.
Nilson  Apoyo con la edición del informe.
 Aporte: 11%
2) Valeria  Sintetizó información.
Villanueva  Apoyo con la edición del informe.
Briceño  Aporte: 11%
3) Melchor Llapo  Sintetizó información.
Cedany Antony  Apoyo con el contenido de las diapositivas.
 Aporte: 15%

4) Miranda Villena  Apoyo con el contenido de las diapositivas.

Alejandro  Apoyo con la edición del informe.
 Aporte: 11%
5) Leiva Garcia  Sintetizó información.
Joseph  Aporte: 8%

6) Leon Aguilar  Sintetizó información.

Omar  Apoyo con la edición del informe.
 Aporte: 11%

7) Minchola Alva  Sintetizó información.

Gabriela Sofía  Apoyo con la edición del informe.
 Aporte: 11%

8) Sequeiros  Sintetizó información.

Benites Lourdes  Apoyo con la edición del informe.
 Aporte: 11%

9) Meléndez  Apoyo con el diseño de las diapositivas.

Gennell Alonso  Apoyo con la edición del informe.
 Aporte: 11%
NOTA: El presente informe tuvo una fecha de reunión.

1° Reunión: División de subtemas entre los integrantes y sintetizacion de

información. Lugar: Universidad Nacional de Trujillo (Biblioteca).Fecha: 22/06/2018

Página 2
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

Presentación

La idea o concepción de lo que significa el infinito ha sido muy difícil de comprender

para el pensamiento humano. De una manera simplificada se entiende por infinito a
aquello que no tiene un principio o un fin, algo muy numeroso que representa
grandes cantidades o un valor mayor a cualquier valor asignable, ¿pero de verdad
esta manera de entender el infinito es correcta?

Es por eso que a partir de mediados del siglo XIX, un gran matemático llamado
Georg Cantor hace posible la idea de tratar con infinitos, con una nueva noción que
es similar a la posibilidad de comparar cantidades sin necesidad de contar uno a
uno sus elementos. Es así como podemos determinar de forma breve como la
cardinalidad de los números naturales es igual a la de los enteros. Otra forma más
lógica de explicarlo es utilizando un principio fundamental de la teoría de Georg
Cantor: conjuntos equipotentes, es decir dos conjuntos son equipotentes si y solo
si existe una correspondencia biunívoca de los elementos de cada uno.

Pero se dice que dos conjuntos iguales son equipotentes, si se da una función
biyectiva que relaciona los elementos de ambos conjuntos. Se debe aclarar que no
siempre se demuestra en conjuntos infinitos, por ejemplo:
N pares N
1
2
3
4 2
6 4
8 6

8
No obstante, usando el principio explicado anteriormente, se llega a la conclusión
de que la cardinalidad de los números pares es igual a la de los naturales, entonces
son equipotentes.

Finalmente la aportación más importante de Cantor es dar una concepción nueva

de infinito, comparándolos e inclusive determinar infinitos mayores o iguales; de
manera análoga, su teoría sobre conjuntos fue aceptada y también puesta a prueba
por las distintas paradojas que se forman de sus principios.

Página 3
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

Historia de Cantor
Sus primeros trabajos con las series de Joseph Fourier lo llevaron al desarrollo de
una teoría de los números irracionales y en 1874 apareció su primer trabajo sobre
la Teoría de conjuntos.

Los primeros años de investigación de Cantor fueron los más felices de su vida.
Sus cartas durante este periodo expresan su entusiasmo, que raramente se aprecia
en los años posteriores, en los que intentaba ganar la aceptación de la Teoría de
Conjuntos.

Cantor esperaba conseguir una plaza de profesor en Berlín de más prestigio y

mejor pagada, pero en Berlín estaba el casi omnipotente Kronecker que le bloqueó
el camino. Él estaba en desacuerdo con las opiniones de Cantor sobre números
transfinitos y frustraba todos los intentos de Cantor para mejorar su situación
académica volviendo a la capital.

Debido a sus resultados en la investigación y a sus éxitos docentes

Pronto le fueron conferidos los primeros honores. Así fue elegido miembro 303 de
la Sociedad para el estudio de la Naturaleza de Halle, y en 1873 miembro
correspondiente de la Sociedad de las Ciencias de Gotinga. Finalmente, como
hemos dicho, fue ascendido, en un intervalo de tiempo relativamente breve a Full
Profesor de la Universidad de Halle. 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. Muy pronto obtuvo algunos resultados
fundamentales en esta área. Además, sus investigaciones le llevaron al estudio de
las propiedades de ciertos conjuntos de puntos.

Con la generalización de los teoremas obtenidos consiguió los primeros resultados

de la Teoría de Conjuntos. Estos resultados y los problemas que de ellos surgieron
se convirtieron desde entonces en el campo principal de las investigaciones de
Cantor. Con intensísimo trabajo logró plantear y resolver muchas cuestiones que
superaron concepciones que eran consideradas en Matemáticas como definitivas.
Su primer trabajo sobre Teoría de Conjuntos se publicó en 1874.

Página 4
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

El concepto de conjunto es intuitivo y se podría definir como una "agrupación bien

definida de objetos no repetidos y no ordenados"; así, se puede hablar de un
conjunto de personas, ciudades, gafas, lapiceros o del conjunto de objetos que hay
en un momento dado encima de una mesa. Un conjunto está bien definido si se
sabe si un determinado elemento pertenece o no al conjunto. El conjunto de los
bolígrafos azules está bien definido, porque a la vista de un bolígrafo se puede
saber si es azul o no. El conjunto de las personas altas no está bien definido,
porque a la vista de una persona, no siempre se podrá decir si es alta o no, o puede
haber distintas personas, que opinen si esa persona es alta o no lo es. En el siglo
XIX, según Frege, los elementos de un conjunto se definían sólo por tal o cual
propiedad. Actualmente la teoría de conjuntos está bien definida por el sistema
ZFC. Sin embargo, sigue siendo célebre la definición que publicó Cantor.

Cuando los matemáticos supieron de esta paradoja, muchos se preguntaron si las

matemáticas en realidad eran consistentes, y sobre todo verdaderas, ya que
cualquier suposición matemática podía basarse en una teoría inconsistente.

La primera propuesta para solucionar el problema de las paradojas provino de un

matemático holandés llamado Brouwer, quien propuso una redefinición radical de
todas las matemáticas y prometió una solución al conflicto. El programa de Brouwer
se basaba en lo más simple de la intuición: el aceptaba los conceptos que son

Página 5
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

aparentes a la intuición general. Esta filosofía rechazaba muchos principios

fundamentales de las matemáticas, pero en cambio, solucionaba satisfactoriamente
el problema de las paradojas. Particularmente Brouwer rechazaba el principio del
medio excluido, el cuál decía que los elementos de un conjunto o bien tienen una
propiedad A o no la tienen, lo cuál sería la negación de la propiedad A. A esta
corriente de pensamiento se le llamó intuicionismo.

Por otro lado, David Hilbert se opuso al intuicionismo y aunque no toleraba las
paradojas, no estaba dispuesto a ver las matemáticas mutiladas. En 1904 propuso
la teoría de la prueba, la cuál era una teoría de la lógica independiente del contexto
y podría ser aplicada a las matemáticas sin encontrar paradojas. Russell a su vez
desarrolló su teoría de los tipos para evitar las paradojas. El proponía que los
enunciados se acomodaran jerárquicamente. Russell publicó sus resultados en
1908 con la colaboración de Alfred North Whitehead.

La cuarta respuesta a la paradoja fue de Ernst Zermelo en 1908 con la

axiomatización de la teoría de conjuntos.

La mejor prueba de que la teoría de conjuntos no ha logrado unificar a las

matemáticas es que éstas se han ramificado en áreas muy diferenciadas, como la
aritmética, el álgebra, la trigonometría y geometría; también se han separados
distintos campos como el cálculo, la topología, la teoría de conjuntos, la teoría de
los números y la estadística.

Teoría de Conjuntos

Georg Cantor (1845-1918) es considerado el padre de la Teoría de Conjuntos. La

primera investigación sobre los conjuntos infinitos se atribuye a Bernard Bolzano
(1782-1848), quien introdujo el término Menge (conjunto). Sin embargo, fue Cantor
quien se dio cuenta de la importancia de las funciones uno a uno entre conjuntos e
introdujo el concepto de cardinalidad de un conjunto. Con Cantor se originó la teoría
de los números cardinales (infinitos) y ordinales (infinitos), así como las
investigaciones de la topología de la recta real. Cantor comenzó a publicar sus
investigaciones en un artículo de 1874, donde demostró que el conjunto de los
números reales no es numerable, mientras que el conjunto de todos los números

Página 6
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

reales algebraicos es numerable. En otro artículo de 1878 dio la primera

formulación de su famosa Hipótesis del continuo.

La siguiente imagen sugiere la idea del famoso "argumento de la diagonal" que usó
Cantor para demostrar que el conjunto de los números reales no es numerable:

En el primer párrafo del primer capítulo de una de las obras de

Cantor, "FUNDAMENTOS PARA UNA TEORIA GENERAL DE CONJUNTOS"
(1883), dice Cantor:

"La precedente exposición de mis investigaciones en Teoría de Conjuntos ha

llegado a un punto en el que su continuación depende de una extensión del
verdadero concepto de número más allá de los límites conocidos, y esta extensión
va en una dirección que hasta donde yo sé no había sido explorada antes por
nadie".

Página 7
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

¿Y cuáles son esos nuevos números a los cuales se refiere Cantor? Ye se dijo
anteriormente que son los números transfinitos: LOS NÚMEROS ORDINALES
(infinitos) Y LOS NÚMEROS CARDINALES (infinitos), ver la definición
contemporánea de los mismos, su aritmética y propiedades básicas en los textos
(entre otros) "Teoría de conjuntos" de Carlos Di Prisco e "Introduction to set theory"
de Karel Hrbacek y Thomas Jech. Ambos libros se encuentran en la biblioteca
digital de este blog y se pueden bajar. Por ejemplo la clase de los números
ordinales se puede definir intuitivamente de la siguiente manera (siguiendo a John
vonNeumann):

0=El conjunto vacío, 1={0}, 2={0,1}, 3={0,1,2}, n={0,1,2,3,...,n-1}, ...,

Omega={0,1,2,3,...,n, n+1,...}, Omega + 1 = {0,1,2,3,...,n, n+1,..., Omega}, Omega +
2 = {0,1,2,3,...,n, n+1,..., Omega, (Omega + 1)}, Omega + 3 = {0,1,2,3,...,n, n+1,...,
Omega, (Omega + 1), (Omega + 2)}, ...., Omega + Omega = {0,1,2,3,...,n, n+1,...,
Omega, (Omega + 1), (Omega + 2), (Omega + 3),....}, (Omega + Omega) + 1
= {0,1,2,3,...,n, n+1,..., Omega, (Omega + 1), (Omega + 2), (Omega + 3),....,
(Omega + Omega)},....

Así sucesivamente. Se puede apreciar claramente que cada ordinal es

igual al conjunto de los ordinales que lo preceden.

La siguiente imagen alude a la secuencia infinita de los números ordinales de

Cantor (ordinales finitos y ordinales infinitos (transfinitos):

Con respecto a la teoría de conjuntos de Cantor David Hilbert (1862-1943) dice lo

siguiente en su artículo "Acerca del Infinito", texto "Fundamentos de las
Matemáticas"
"Sin embargo, por sí solo el análisis resulta insuficiente para proporcionarnos una
visión de la más profunda esencia del infinito. Esta visión la encontramos más bien
en la teoría de conjuntos de Georg Cantor, una disciplina más cercana a un
enfoque filosófico general que ubica todo el complejo de problemas relativo al
infinito en una nueva perspectiva. Lo que aquí nos importa de ella es precisamente
aquello que en verdad constituye su núcleo fundamental, esto es, LA TEORÍA DE
LOS NÚMEROS TRANSFINITOS. En mi opinión, el sistema de Cantor constituye
no sólo la flor más admirable que el espíritu matemático ha producido, sino

Página 8
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

igualmente uno de los logros más elevados de la actividad intelectual humana en

general".

Con respecto a los principios de la Teoría de conjuntos cantoriana a continuación

se cita un comentario de Cantor sobre el "Principio del Buen Orden" que aparece
en el texto anteriormente mencionado editado por Ferreiros y después se citan
unas palabras sobre dicho comentario escritas por Ferreiros (que se encuentran en
el mismo libro en una sección llamada "Notas del editor", es la nota número siete):

Georg Cantor (1883):

"El concepto de conjunto bien ordenado resulta ser fundamental para la teoría
entera de conjuntos. Siempre resulta posible poner cualquier conjunto bien
definido en la forma de un conjunto bien ordenado; a esta ley del pensamiento, que
en mi opinión es fundamental y rica en consecuencias, y especialmente notable en
razón de su validez general, retornaré en un artículo posterior".

Comentario de José Ferreiros (2006) sobre las palabras anteriores de Cantor:

"Esta frase resulta sumamente significativa, ya que en ella Cantor formula el

Teorema del Buen Orden, si bien lo considera como un principio lógico o "ley del
pensamiento" (Denkgesetz). Años más tarde intentaría ofrecer una demostración,
como sabemos por las cartas de Hilbert y Dedekind: en 1897-1899 planeaba
escribir una tercera parte de Beiträge dedicada a este asunto. Sin embargo, ese
artículo no llegó a publicarse, de modo que el Teorema del Buen Orden no volvió a
ser mencionado por Cantor después de 1883. Lo planteó nuevamente David Hilbert
(1862-1943) en el primero de sus célebres "Mathematische Probleme" de 1900.
Ernst Zermelo (1871-1953) ofreció dos demostraciones en 1904 y 1908, sobre la
base del Axioma de Elección, con lo que suscitó un intenso debate en torno a la
teoría de conjuntos y los métodos abstractos".

Página 9
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

PARADOJAS DE CANTOR

A raíz de los principios fundamentales de la teoría de cantor y su definición

generalizadora de conjuntos se dieron contradicciones, donde en 1901 Bertrand
Russell expuso su paradoja:

Sea M el conjunto formado por todos los conjuntos que no se contengan así
mismos, si x ϵ M si solos sí, x ∉ x.

No obstante sea M ϵ M M ∉ M lo cual es absurdo.

SOBRE EL TEROREMA DE CANTOR

Sea C el conjunto de todos los conjuntos. Entonces todo subconjunto de C es así

mismo un elemento de C; luego, el conjunto potencia de C es un subconjunto de C;
pero esto implica que la cardinalidad del conjunto potencia es menor o igual a la
cardinalidad de C. Pero entonces, según el teorema de Cantor, la cardinalidad de C
debe ser menor a la cardinalidad del conjunto potencia.

Así pues, el concepto de conjunto de todos los conjuntos lleva a una contradicción.

LA PARADOJA DE LA RUEDA DE ARISTÓTELES

Si ponemos un punto en la circunferencia y marcamos su trayectoria hallaremos

que la curva formada es un cicloide, mientras que si lo ponemos en la
circunferencia interior la curva obtenida será una cicloide acortada.

LA PARADOJA DE GALILEO

Se pueden emparejar biunívocamente los números naturales con sus cuadrados

(que forman un subconjunto propio del primero conjunto) es decir una parte (el
conjunto de los cuadrados) tiene la misma cantidad de elementos que el conjunto
de todos los números naturales.

Página
10
UNIVERSIDAD NACIONAL DE TRUJILLO
2018

Conclusión:

La Paradoja de Cantor nos muestra una comparación entre la cardinalidad de un

conjunto, un subconjunto, y una potencia.

Cantor explicó que todo conjunto está incluido dentro de un conjunto universal, y
esté a su vez está incluido dentro de otro subconjunto, y esté de otro, y así hasta
nunca acabar, por lo cual concluyo que no existe un conjunto universal.

Otra forma de demostrar dicha teoría es que, en una supuesta existencia de un

conjunto universal, esté debe incluir su potencia, lo cual es errado; ya que una
potencia debe ser mayor a dicho conjunto

Referencias Bibliográficas:

1) http://fcasua.contad.unam.mx/2006/1138/docs/conjuntos.pdf
2) http://bestiariotopologico.blogspot.com/2015/03/una-historia-de-la-teoria-de-
conjuntos.html
3) https://www.gaussianos.com/numeros-algebraicos-y-trascendentes-los-15-
numeros-trascendentes-mas-famosos/
4) https://loff.it/oops/ciencia-humana/georg-cantor-el-senor-de-los-conjuntos-
infinitos-106650/
5) https://www.vix.com/es/btg/curiosidades/4696/georg-cantor-y-el-infinito
6) http://historiasdematematicas.blogspot.com/2018/01/georg-cantor-y-la-teoria-
de-los.html
7) https://encyclopaedia.herdereditorial.com/wiki/Paradoja_de_Cantor
8) https://profmate.wordpress.com/paradojas-del-infinito/

Página
11