El rigor continúa su andadura

 La nueva formulación de los conceptos será todavía

más formal y rigurosa, y paralelamente mucho
menos intuitiva.
 Será necesario concretar el significado de “cantidad
variable” y “variable continua”.
 Para seguir avanzando será igualmente necesario
acabar de una vez con las distinciones entre número y
cantidad.
 La fundamentación del sistema de números reales
será debida a R. Dedekind y G. Cantor
Los números reales
A mediados del siglo XIX no era posible demostrar
algunos resultados básicos del cálculo:
Toda función creciente y acotada tiene límite,
El teorema del valor intermedio para funciones
continuas
Faltaba codificar una propiedad fundamental de los
números reales, la que ahora llamamos completitud y
entonces se llamaba propiedad de continuidad.
En 1872 se publicaron dos trabajos, uno de Cantor y otro
de Dedekind, en los que, a partir del sistema de los
números racionales, cada autor desarrollaba una
construcción matemática de los números reales.
Julius Wilhelm Richard Dedekind

 Julius Wilhelm Richard Dedekind (1831 - 1916),

matemático alemán, nació en Brunswick.
 En 1848 entró en el Colegium Carolinum de su ciudad
natal, y en 1850, con sólidos conocimientos de
matemáticas en la Universidad de Gotinga.
J. Richard Dedekind
 Fue alumno del matemático Moritz Abraham Stern, y
del físico Wilhelm Weber. Su tesis doctoral (1852),
fue supervisada por Gauss, que lo consideró su último
alumno.
 Estudió la teoría de los números y otras materias con
G. Dirichlet, al que le uniría una gran amistad.
 Para ampliar sus conocimientos, abordó el estudio de
las funciones abelianas y elípticas de la mano del
genial Bernhard Riemann.
 Su correspondencia con otros matemáticos resultó
fructífera y estimulante
Cortaduras de Dedekind
Sus cortaduras zanjan definitivamente el problema de la
fundamentación del análisis al definir el conjunto de
los números reales a partir de los racionales.
En su magistral artículo de 1872, titulado “Continuidad
y números irracionales “, caracterizó los números
reales como un cuerpo ordenado y completo.
Al comienzo del artículo manifiesta su propósito de
reducir los números reales a la aritmética, eliminando
así todo contenido geométrico en la idea de número
real.
Sustento intuitivo
Para explicar lo que él hizo vamos a partir de la intuición
de una recta.
Elegido un punto como origen y un segmento como
unidad, podemos hacer corresponder a cada número
racional un punto de esa recta.
Cualquier punto que corresponda con un segmento de
longitud inconmensurable con la unidad elegida no
puede ser representado por un número racional .
Los números racionales no son suficientes para describir
numéricamente "el continuo“, ya que dejarían"huecos“.
Idea de Dedekind
 Se preguntaba Dedekind: ¿En qué consiste la
propiedad de la continuidad?
 “el problema es indicar una característica precisa de
la continuidad que pueda servir como base para
deducciones válidas”.
 Antes de revelar el secreto previene al lector,
 Muchos de mis lectores quedarán grandemente
disgustados al saber que con una vulgar observación
se revela el secreto de la continuidad.
R. Dedekind
 ¿Cuál es esa vulgar observación'?
 Todo punto de una recta la divide en dos partes
disjuntas,
 la parte A, formada por los puntos de la recta que están
a su izquierda,
 y la parte B, formada por los puntos de la recta que
están a su derecha.
 El propio punto podemos incluirlo bien en A o en B.
Estrategia
Una cortadura de Q es un par (A. B), donde A y B son dos conjuntos no
vacíos de números racionales tales que Q = A U B, y todo número de
A es menor que todo número de B y A no tiene máximo.
Todo número racional r de Q produce una cortadura dada por A = {x єQ :
x < r} , B = {x єQ : x ≥ r}.
Pero en la recta racional hay muchas cortaduras que no están producidas
por números racionales.
El par (A,B) A = {x єQ: x² < 2}, B = {x єQ : 2≤x² } define una cortadura de
Q que no está producida por ningún número racional
Idea genial
¿De dónde sacamos los números reales si todo lo que
tenemos son los racionales'?
 "Si todos los puntos de la recta se dividen en dos clases
tales que todo punto de la primera clase queda a la
izquierda de todo punto de la segunda clase,
 Entonces existe uno, y sólo un punto que produce esta
división ...“
 Un número real es una cortadura de Q .
 La idea es que la recta es continua porque entre
dos puntos de ella sólo hay puntos de la misma
recta.
R. Dedekind
 En su trabajo ¿Qué son y para qué sirven los
números? publicado en 1888 da la siguiente
definición:
 Un sistema S se llama infinito cuando es semejante a
una parte propia de sí mismo; en caso contrario, se dice
que S es un sistema finito.
 Además precisa el significado de las operaciones
elementales de la teoría de conjuntos,
 y da la definición general de función entre conjuntos
abstractos, generalizando así la dada por Dirichlet
para funciones reales.
George Cantor

George Cantor (1845 San Petersburgo-1918) fue un matemático

alemán, el primero capaz de formalizar la noción de infinito
bajo la forma de los números transfinitos (cardinales y
ordinales).
La relación personal y epistolar con su gran amigo R. Dedekind
fue decisiva para el desarrollo de la teoría de conjuntos .
George Cantor
 La manera en que Cantor llegó a interesarse por los
problemas del infinito es ciertamente curiosa. En 1869
el joven Cantor llega a la pequeña Universidad de Halle
para obtener su Habilitación (con una Tesis en Teoría de
números) y
 Allí conoce a H. Heine (1821-1881), quien le introduce
en un problema en el que llevaba tiempo trabajando: la
unicidad de la representación de una función por medio
de series trigonométricas.
George Cantor
 En una serie de artículos publicados en 1870 y 1871,
Cantor logró probar la unicidad de representación
cuando la serie trigonométrica convergía puntualmente,
salvo a lo más en un conjunto finito de puntos de un
intervalo de periodicidad.
 La pregunta natural era si el resultado sigue siendo
cierto para un conjunto infinito de puntos.
 Obviamente, la respuesta es negativa para el conjunto
formado por todo el intervalo,
 luego se trataba de saber qué tipo de conjuntos infinitos
(si había alguno) proporcionaban una respuesta
Los números reales
Esto llevó a Cantor a plantearse el estudio y posible
clasificación de los subconjuntos infinitos de números
reales.
Y para ello tuvo que comenzar estableciendo una noción
rigurosa de número real.
En 1872 aparece su famoso trabajo en Mathematische
Annalen en el que construye el conjunto de los números
reales clasificando las distintas sucesiones de Cauchy
de números racionales.
Demuestra las propiedades fundamentales, incluyendo la
completitud, y comienza el estudio riguroso de
conjuntos arbitrarios de números reales.
De los racionales a los reales
En una carta a Dedekind, de fecha 29 de noviembre de
1873, Cantor afirmaba, sin incluir prueba alguna, que
los racionales positivos y, más generalmente, el
conjunto de las sucesiones finitas de enteros positivos,
podía ponerse en correspondencia biyectiva con los
enteros positivos, y preguntaba si eso mismo se podía
hacer con los números reales.
Correspondencia
Dedekind le respondió, a vuelta de correo, que en su
opinión nada se oponía a ello, y añadió, con
demostración incluida, que el conjunto de los números
algebraicos sí es biyectivo al de los enteros positivos.
Los números algebraicos son números, reales o
complejos, que son raíces de alguna ecuación
polinómica con coeficientes enteros.
Todo número racional es evidentemente algebraico
Los números que no son algebraicos se llaman
trascendentes.
Números trascendentes
 Demostrar que un número concreto es trascendente es
muy difícil.
 Era conocida la trascendencia del número e,
demostrada por Charles Hermite en 1 873,
 Ferdinand Lindemann logró probar la trascendencia
de π en 1882 (demostrando así que el problema de la
cuadratura del círculo no tenía solución).
George Cantor
 Tras su trabajo sobre los reales, el interés de Cantor
derivó hacia los problemas del infinito y el continuo,
con objeto de precisar la idea de tamaño y elaborar una
teoría de comparación de conjuntos infinitos.
 Su teoría de conjuntos y números transfinitos se
encuentra dispersa en muchos trabajos.
 En el primero de ellos considera al menos dos clases de
infinitos: el de los números naturales y el de números
reales.
George Cantor
 Había logrado demostrar que el conjunto de números
reales no es numerable (no existe una biyección de él
con N).
 Dado que el conjunto de los números algebraicos sí se
puede poner en correspondencia biyectiva con el de los
números naturales, dedujo un teorema de Liouville:
 la existencia de infinitos números trascendentes
Conjunto infinito
 En el siguiente artículo, Cantor establece ya como idea
central de su teoría la noción de conjunto:
 Una colección de objetos bien definidos que la mente
puede concebir como un todo y decidir si un objeto
dado pertenece o no a ella.
 Introduce la idea de equivalencia de conjuntos por
medio de la existencia de una biyección entre ellos.
 Para Cantor (como para Bolzano y Dedekind), un
conjunto es infinito si puede ponerse en
correspondencia biyectiva con un subconjunto propio.
G. Cantor
 Cantor prueba que los racionales es el conjunto
infinito con menor potencia, y que la potencia de R y
de R^n es la misma para cualquier entero positivo n
 (este resultado sorprendió tanto a Cantor que cuando
se lo comunicó a su amigo Dedekind en 1877, escribió
“¡lo veo, pero no lo creo!”).
Conjuntos transfinitos
Cantor introduce los números transfinitos o cardinales
transfinitos con la siguiente idea:
Por el mismo proceso que podemos abstraer la idea de
número 5 c0m0 la clase de todos los conjuntos
equipotentes a un conjunto cualquiera con cinco
elementos.
Dado un conjunto A, por doble abstracción de la
naturaleza de sus elementos y del posible orden en que
estén dados, podemos asociar a cada conjunto A un
objeto matemático, card(A) que se llama su número
cardinal potencial
Conjuntos transfinitos
El potencial es el mismo para todos los conjuntos
equipotentes a A.
Cuando A es finito, card(A) es el número de elementos
de A.
La potencia de los conjuntos numerables (infinitos) la
rcpresentó Cantor por la primera letra del alfabeto
hebreo ‫ﭏ‬.
La potencia de la recta real y de cualquier intervalo no
vacío y no reducido a un punto, se representa por c y se
llama la potencia del continuo.
No hay parto sin dolor
 La novedad de los conceptos y técnicas empleadas y los
sorprendentes resultados obtenidos, que contradecían
muchas ideas arraigadas sobre el “tamaño” de distintos
conjuntos, hizo que las teorías de Cantor despertaran
la oposición e incluso la hostilidad de muchos
matemáticos contemporáneos.
 Entre ellos destaca la figura de L. Kronecker (1823-
1891), muy influyente en la época , que pasó incluso
del ataque científico al ataque personal. Lo que le
produjo a Cantor una crisis nerviosa y una profunda
depresión entre 1884 y 1887,
George Cantor
 En fin, en 1895 y 1897 aparecieron en Mathematische
Annalen sus dos principales trabajos sobre la teoría de
conjuntos, con una exposición sistemática y moderna
de la misma.
 Al parecer, Cantor retrasó la publicación del segundo
artículo, esperando incluir una prueba de la hipótesis
del continuo, que él mismo había formulado.
 La hipótesis del continuo viene a decir:
 No existen conjuntos cuyo tamaño esté comprendido
estrictamente entre el de los enteros y el de los números
reales.
George Cantor

Hoy en día, la comunidad matemática reconoce

plenamente su trabajo, y admite que significa un salto
cualitativo importante en el raciocinio lógico. Le
reconoce así mismo como el creador de la Teoría de
conjuntos.
Murió en una clínica psiquiátrica de monjas, aquejado de
una enfermedad maníaco-depresiva (Trastorno
Bipolar) provocada por sus intentos de comprobar
matemáticamente la Hipótesis del continuo.
Siglo XX
 A pesar de las reticencias iniciales, poco a poco se fue
consolidando la idea de que la Teoría de Conjuntos
podía ser la base sobre la cual construir toda la
Matemática.
 Una sólida fundamentación de la Teoría de Conjuntos,
proporcionaría la ansiada base firme sobre la que
asentar toda la Matemática.
Pero…vuelven las paradojas
Si A es un conjunto con n elementos, hay exactamente
2^n subconjuntos de A (incluyendo el vacío y el total). Esto
es, el cardinal del conjunto formado por todos los
subconjuntos de A es estrictamente mayor que el de A.
Cantor demostró la validez de este hecho para cualquier
conjunto no necesariamente finito: el cardinal del conjunto
de las partes de un conjunto A es estrictamente mayor
que el de A.
Si U es el conjunto de todos los conjuntos, el conjunto de sus
partes es un subconjunto de U y, por tanto, ¡su cardinal no
puede ser mayor que el de U!