El rigor contina su

andadura

La nueva formulacin de los conceptos ser

todava ms formal y rigurosa, y
paralelamente mucho menos intuitiva.

Ser necesario concretar el signifcado de

cantidad variable y variable continua.

Para seguir avanando ser igualmente

necesario acabar de una ve con las
distinciones entre n!mero y cantidad.

La fundamentacin del sistema de n!meros

reales ser debida a ". #ede$ind y %. &antor
Los n!meros reales
' mediados del siglo ()( no era posible demostrar
algunos resultados bsicos del clculo*
+oda funcin creciente y acotada tiene lmite,
,l teorema del valor intermedio para funciones
continuas
Faltaba codifcar una propiedad fundamental de los
n!meros reales, la -ue a.ora llamamos
completitud y entonces se llamaba propiedad de
continuidad.
,n /012 se publicaron dos traba3os, uno de &antor y
otro de #ede$ind, en los -ue, a partir del sistema de
los n!meros racionales, cada autor desarrollaba una
construccin matemtica de los n!meros reales.
Julius Wilhelm Richard
Dedekind

Julius Wilhelm Richard Dedekind 4/05/ 6 /7/89,

matemtico alemn, naci en :runs;ic$.

,n /0<0 entr en el Colegium Carolinum de su

ciudad natal, y en /0=>, con slidos conocimientos
de matemticas en la ?niversidad de %otinga.
J. Richard Dedekind

@ue alumno del matemtico Aorit 'bra.am Stern,

y del fsico Bil.elm Weber. Su tesis doctoral
4/0=29, fue supervisada por auss, -ue lo
consider su !ltimo alumno.

,studi la teora de los n!meros y otras materias

con %. Dirichlet, al -ue le unira una gran amistad.

Para ampliar sus conocimientos, abord el estudio

de las funciones abelianas y elpticas de la mano
del genial :ern.ard Riemann.

Su correspondencia con otros matemticos result

fructfera y estimulante
!ortaduras de
Dedekind
Sus cortaduras an3an defnitivamente el
problema de la fundamentacin del anlisis al
defnir el con3unto de los n!meros reales a
partir de los racionales.
,n su magistral artculo de /012, titulado
&ontinuidad y n!meros irracionales ,
caracteri los n!meros reales como un cuerpo
ordenado y completo.
'l comieno del artculo manifesta su propsito
de reducir los n!meros reales a la aritmCtica,
eliminando as todo contenido geomCtrico en la
idea de n!mero real.
Sustento intuitivo
Para eDplicar lo -ue Cl .io vamos a partir de la
intuicin de una recta.
,legido un punto como origen y un segmento como
unidad, podemos .acer corresponder a cada
n!mero racional un punto de esa recta.
&ual-uier punto -ue 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 sufcientes para
describir numCricamente Eel continuo, ya -ue
de3aranE.uecos.
)dea de #ede$ind

Se preguntaba #ede$ind* F,n -uC consiste la

propiedad de la continuidadG

el problema es indicar una caracter"stica

precisa de la continuidad -ue pueda servir
como base para deducciones vlidas.

'ntes de revelar el secreto previene al lector,

Auc.os de mis lectores -uedarn

grandemente disgustados al saber -ue con
una vulgar observacin se revela el secreto de
la continuidad.
". #ede$ind

F&ul es esa vulgar observacinHG

+odo punto de una recta la divide en dos

partes dis3untas,

la parte ', formada por los puntos de la recta

-ue estn a su i-uierda,

y la parte :, formada por los puntos de la

recta -ue estn a su derec.a.

,l propio punto podemos incluirlo bien en ' o

en :.
,strategia
?na cortadura de # es un par $%. &', donde ' y : son dos
con3untos no vacos de n!meros racionales tales -ue I J '
? :, y todo nmero de % es menor (ue todo nmero
de & y ' no tiene mDimo.
+odo n!mero racional r de I produce una cortadura dada por
' J KD LI * D M rN , : J KD LI * D O rN.
Pero en la recta racional .ay muc.as cortaduras -ue no estn
producidas por n!meros racionales.
,l par 4',:9 ' J KD LI* DP M 2N, : J KD LI * 2QDP N defne
una cortadura de I -ue no est producida por ning!n
n!mero racional
)dea genial
F#e dnde sacamos los n!meros reales si todo lo
-ue tenemos son los racionalesHG

ESi todos los puntos de la recta se dividen en dos

clases tales -ue todo punto de la primera clase
-ueda a la i-uierda de todo punto de la segunda
clase,

,ntonces eDiste uno, y slo un punto -ue

produce esta divisin ...

?n n!mero real es una cortadura de I .

La idea es (ue la recta es continua por(ue

entre dos puntos de ella s)lo ha* puntos de
la misma recta.
". #ede$ind

,n su traba3o +#u, son * para (u, sirven los

nmeros- publicado en /000 da la siguiente
defnicin*

?n sistema S se llama infnito cuando es seme3ante

a una parte propia de s mismoR en caso contrario,
se dice -ue S es un sistema fnito.

'dems precisa el signifcado de las operaciones

elementales de la teor"a de con.untos,

y da la defnicin general de /unci)n entre

con.untos abstractos, generaliando as la dada
por #iric.let para funciones reales.
%eorge &antor
George Cantor (1845 San Petersburgo-1918) fue un matemtico
alemn, el primero capaz de formalizar la nocin de infinito
bajo la forma de los nmeros transfinitos (cardinales
ordinales)!
"a relaci#n $ersonal e$istolar con su gran amigo R. Dedekind
fue decisi%a $ara el desarrollo de la teor&a de con'untos .
%eorge &antor

La manera en -ue &antor lleg a interesarse por

los problemas del infnito es ciertamente curiosa.
,n /087 el 3oven &antor llega a la pe-ueSa
?niversidad de Talle para obtener su Habilitacin
(con una Tesis en Teora de nmeros) y

All conoce a 0. 0eine $123141221', -uien le

introduce en un problema en el -ue llevaba
tiempo traba3ando* la unicidad de la
representacin de una funcin por medio de
series trigonomCtricas.
%eorge &antor

,n una serie de artculos publicados en /01> y /01/,

&antor logr probar la unicidad de representacin
cuando la serie trigonomCtrica converga puntualmente,
salvo a lo ms en un con3unto fnito de puntos de un
intervalo de periodicidad.

La pregunta natural era si el resultado sigue siendo

cierto para un con3unto infnito de puntos.

Ubviamente, la respuesta es negativa para el con3unto

formado por todo el intervalo,

luego se trataba de saber -uC tipo de con3untos infnitos

4si .aba alguno9 proporcionaban una respuesta
afrmativa al problema.
Los n!meros reales
,sto llev a &antor a plantearse el estudio y posible
clasifcacin de los subcon3untos infnitos de
n!meros reales.
V para ello tuvo -ue comenar estableciendo una
nocin rigurosa de n!mero real.
,n /012 aparece su famoso traba3o en at!ematisc!e
Annalen en el "ue construye el con#unto de los
nmeros reales clasifcando las distintas sucesiones
de &auc.y de n!meros racionales.
#emuestra las propiedades fundamentales,
incluyendo la completitud, y comiena el estudio
riguroso de con3untos arbitrarios de n!meros reales.
#e los racionales a los
reales
,n una carta a #ede$ind, de fec.a 27 de
noviembre de /015, &antor afrmaba, sin
incluir prueba alguna, -ue los racionales
positivos y, ms generalmente, el con3unto de
las sucesiones fnitas de enteros positivos,
poda ponerse en correspondencia biyectiva
con los enteros positivos, y preguntaba si eso
mismo se poda .acer con los n!meros reales.
&orrespondencia
#ede$ind le respondi, a vuelta de correo, -ue en
su opinin nada se opona a ello, y aSadi, con
demostracin incluida, -ue el con3unto de los
n!meros algebraicos s es biyectivo al de los
enteros positivos.
Los n!meros algebraicos son n!meros, reales o
comple3os, -ue son ra"ces de alguna ecuaci)n
polin)mica con coefcientes enteros.
+odo n!mero racional es evidentemente algebraico
Los n!meros -ue no son algebraicos se llaman
trascendentes.
W!meros trascendentes

#emostrar -ue un n!mero concreto es

trascendente es muy difcil.

,ra conocida la trascendencia del n!mero e,

demostrada por &.arles Termite en / 015,

@erdinand Lindemann logr probar la

trascendencia de X en /002 4demostrando as
-ue el problema de la cuadratura del crculo
no tena solucin9.
%eorge &antor

+ras su traba3o sobre los reales, el interCs de

&antor deriv .acia los problemas del infnito
y el continuo, con ob3eto de precisar la idea de
tamaSo y elaborar una teora de comparacin
de con3untos infnitos.

Su teora de con3untos y n!meros transfnitos

se encuentra dispersa en muc.os traba3os.

,n el primero de ellos considera al menos dos

clases de infnitos* el de los n!meros
naturales y el de n!meros reales.
%eorge &antor

Taba logrado demostrar -ue el con3unto de

n!meros reales no es numerable 4no eDiste
una biyeccin de Cl con W9.

#ado -ue el con3unto de los n!meros

algebraicos s se puede poner en
correspondencia biyectiva con el de los
n!meros naturales, dedu3o un teorema de
Liouville*

la eDistencia de infnitos n!meros

trascendentes
&on3unto infnito

,n el siguiente artculo, &antor establece ya como

idea central de su teora la nocin de con3unto*

$na coleccin de ob#etos bien defnidos "ue la

mente puede concebir como un todo y decidir si un
ob#eto dado pertenece o no a ella.

%ntroduce la idea de e"uivalencia de con#untos por

medio de la e&istencia de una biyeccin entre ellos.

'ara Cantor (como para (ol)ano y *ede+ind), un

con#unto es infnito si puede ponerse en
correspondencia biyectiva con un subcon3unto
propio.
%. &antor

&antor prueba -ue los racionales es el

con3unto infnito con menor potencia, y -ue la
potencia de - y de -.n es la misma para
cual"uier entero positivo n

(este resultado sorprendi tanto a &antor -ue

cuando se lo comunic a su amigo #ede$ind
en /011, escribi /lo veo, pero no lo creo01).
&on3untos transfnitos
&antor introduce los n!meros transfnitos o
cardinales transfnitos con la siguiente idea*
Por el mismo proceso -ue podemos abstraer la
idea de n!mero = c>m> la clase de todos los
con3untos e-uipotentes a un con3unto cual-uiera
con cinco elementos.
#ado un con3unto ', por doble abstraccin de la
naturalea de sus elementos y del posible orden
en -ue estCn dados, podemos asociar a cada
con3unto ' un ob3eto matemtico, card4'9 -ue se
llama su n!mero cardinal potencial
&on3untos transfnitos
,l potencial es el mismo para todos los con3untos
e-uipotentes a '.
&uando ' es fnito, card4'9 es el n!mero de elementos
de '.
La potencia de los con3untos numerables 4infnitos9 la
rcpresent &antor por la primera letra del alfabeto
.ebreo .
La potencia de la recta real y de cual-uier intervalo no
vaco y no reducido a un punto, se representa por c y se
llama la potencia del continuo.

Wo .ay parto sin dolor

La novedad de los conceptos y t2cnicas empleadas y

los sorprendentes resultados obtenidos, -ue
contradecan muc.as ideas arraigadas sobre el
tamaSo de distintos con3untos, .io -ue las teoras
de &antor despertaran la oposicin e incluso la
.ostilidad de muc.os matemticos contemporneos.

,ntre ellos destaca la fgura de 5. 6ronecker $12374

1281', muy inYuyente en la Cpoca , -ue pas
incluso del ata-ue cientfco al ata-ue personal. Lo
-ue le produ3o a &antor una crisis nerviosa y una
profunda depresin entre /00< y /001,
%eorge &antor

,n fn, en /07= y /071 aparecieron en

at!ematisc!e Annalen sus dos principales traba3os
sobre la teora de con3untos, con una eDposicin
sistemtica y moderna de la misma.

'l parecer, &antor retras la publicacin del segundo

artculo, esperando incluir una prueba de la !iptesis
del continuo, "ue 2l mismo !aba 3ormulado.

La .iptesis del continuo viene a decir*

4o e&isten con#untos cuyo tama5o est2 comprendido

estrictamente entre el de los enteros y el de los
nmeros reales.
eorge !antor
Toy en da, la comunidad matemtica reconoce
plenamente su traba3o, y admite -ue signifca
un salto cualitativo importante en el raciocinio
lgico. Le reconoce as mismo como el creador
de la +eora de con3untos.
Auri en una clnica psi-uitrica de mon3as,
a-ue3ado de una enfermedad manaco6
depresiva 4+rastorno :ipolar9 provocada por
sus intentos de comprobar matemticamente
la Tiptesis del continuo.
Siglo ((

' pesar de las reticencias iniciales, poco a

poco se fue consolidando la idea de -ue la
Teora de Con#untos poda ser la base sobre la
cual construir toda la atem6tica.

$na slida fundamentacin de la +eora de

&on3untos, proporcionara la ansiada base
frme sobre la -ue asentar toda la
Aatemtica.
PeroZvuelven las
parado3as
Si % es un con.unto con n elementos, hay
exactamente 2^n subcon3untos de ' 4incluyendo
el vaco y el total9. ,sto es, el cardinal del con3unto
formado por todos los subcon3untos de A es
estrictamente mayor "ue el de '.
&antor demostr la valide de este .ec.o para
cual-uier con3unto no necesariamente fnito* el
cardinal del con3unto de las partes de un con3unto
% es estrictamente mayor que el de A.
Si ? es el con3unto de todos los con#untos, el con3unto
de sus partes es un subcon3unto de 9 y, por tanto,
[su cardinal no puede ser mayor -ue el de 9: