Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Breve Historia Del Rigor PDF
Breve Historia Del Rigor PDF
(Esp)
Vol. 104, N. 1, pp 61-79, 2010
XI Programa de Promocin de la Cultura Cientfica y Tecnolgica
1.
INTRODUCCIN
donde
cotipo 2 de Y.
es la constante de
Theorem 3.1 en Multilinear extensions of Grothendiecks theorem, por F. Bombal, D. Prez, e I. Villanueva. Quat. J. Math. (2004), 441150.
2 Se trata de la famosa Conjetura de Goldbach, aparecida por primera vez en una carta enviada por Christian Goldbach en 1742 al brillante
matemtico suizo Leonhard Euler.
62
Como puede verse, se trata de un enunciado puramente geomtrico, sin ninguna referencia a la versin
algebraica que aparece 2en los 2libros 2de texto elementales de hoy en da: CB CA AB (vase la figura
1). Lo que afirma el teorema es que los cuadrados
ACDE y ABPQ de la figura pueden dividirse adecuadamente y recombinarse para obtener el cuadrado
CBNM.
Figura 1
En el sentido de cualquier artilugio concebible que funcionara de manera anloga a nuestros ordenadores, pero sin limitaciones de memoria o velocidad. En trminos ms tcnicos, me refiero a lo que se conoce como una mquina de Turing.
63
2.
EL PRINCIPIO
Figura 2
64
Figura 3
Figura 4
65
Figura 5
se atribuye el descubrimiento de los inconmensurables al pitagrico Hipaso de Metaponte. La leyenda dice que sus compaeros
de hermandad, al percatarse de las consecuencias del descubrimiento, llevaron a Hipasos mar adentro y lo arrojaron por la borda para que
muriese.
5 La primera recopilacin de las leyes lgicas se encuentra en la obra de Aristteles El Organon (El til).
66
de las ideas sobre aritmtica y lgebra de las civilizaciones orientales, especialmente con la notacin posicional y la introduccin del 0. La asimilacin y
aceptacin de la cultura griega y en particular del pensamiento Aristotlico por parte de la Iglesia Catlica a
partir del siglo XIII, sent las bases para el
renacimiento intelectual en la cultura Occidental.
Figura 6
3.
EL RENACIMIENTO Y LA APARICIN
DE LOS INDIVISIBLES
Figura 7
67
Figura 8
68
Es decir,
Principio de Cavalieri,
El mismo Cavalieri y, por supuesto, sus contemporneos, eran conscientes de la falta de rigor del
mtodo de los indivisibles. Para Cavalieri, los espectaculares resultados obtenidos bastaban para justificar
el mtodo, mientras que el sentido comn era suficiente para evitar las falacias como las siguientes:
y recprocamente. Siendo los indivisibles correspondientes iguales, su suma debera serlo tambin y, por
tanto, A y B tendran la misma rea!
Al fin y al cabo, como escribi ms tarde Cavalieri,
El rigor es asunto de los filsofos, ms que de los
matemticos (!)
La aplicacin de los mtodos de los indivisibles al
estudio del movimiento proporciona claras evidencias
de las relaciones entre los problemas de determinacin
de la tangente a una curva y la del rea encerrada bajo
ella. Por ejemplo, la representacin del espacio recorrido por un punto en el plano en funcin del tiempo
(Figura 10), permite visualizar la nocin de velocidad
instantnea en un instante t0 e identificarla con la pendiente de la tangente a la curva
en el punto t0 .
En efecto, la velocidad media entre t0 y t0 't (e.d.,
aquella con la se movera el punto para recorrer el
mismo espacio, si fuera a velocidad uniforme) es
, y, segn se ve en la figura, es precisamente la pendiente de la secante que une los dos
puntos de la cuerva en cuestin. Si el intervalo de
tiempo considerado se hace infinitesimal, la secante
se confundir con la tangente y la velocidad media con
la que, intuitivamente, debera considerarse velocidad
instantnea del punto en t0 .
Figura 9
Consideremos en primer lugar dos crculos concntricos, de modo que el mayor C tenga un radio K doble
que el menor, c. Si consideramos como indivisibles de
C la coleccin de sus radios, y hacemos lo mismo con
c, de acuerdo con el mtodo de los indivisibles el rea
de C debera ser el doble del rea de c, pues es esta la
relacin entre sus indivisibles. Sin embargo, sabemos
que el rea de C es 4 veces el rea de c!
Figura 10
69
4. LOS INFINITSIMOS Y EL
DESARROLLO DEL CLCULO
Figura 12
Figura 11
I. Barrow, en la Leccin X de sus Lectiones Geometricae (1670), enuncia y demuestra un teorema geomtrico, independiente de cualquier
interpretacin fsica, que muestra claramente la relacin inversa que existe entre el clculo de tangentes y el de cuadraturas. Vase, p. ej., [Ed;
pgs. 138-140].
8 Es aqu donde aparece por primera vez el signo para denotar el infinito.
70
Isaac Newton
Gottfried W.Leibniz
Por tanto,
Si
da.
2.
Si
es una suma finita de trminos del tipo
anterior, el rea es la suma de las reas limitada
por cada uno de los trminos (linealidad de la
integracin).
3.
Ante las dificultades para la fundamentacin rigurosa del clculo con infinitsimos, Newton destaca que
lo que realmente importa es la razn de cantidades
infinitesimales, que puede ser finita independientemente de la naturaleza de los factores. Este mtodo de
71
Newton plantea inmediatamente el problema fundamental: dada una relacin entre cantidades variables, encontrar la relacin entre sus fluxiones, y recprocamente. Este ltimo caso comprende tanto el problema del clculo de primitivas (en el caso de una relacin simple
, como el de la resolucin de
una ecuacin diferencial general
.
Newton se embarca en una serie de clculos que le permiten obtener las reglas generales de derivacin de
polinomios, productos y cocientes y, combinndolas
con el uso de series infinitas, obtener un algoritmo sistemtico para abordar estos problemas (vase [Ed;
pgs. 191-230]).
Veamos con un ejemplo como aborda Newton el
problema de determinar la relacin entre las fluxiones.
Supongamos que
. Newton
aduce que durante un tiempo infinitesimal o el espacio
recorrido por las fluentes x e y es proporcional a sus
velocidades, como si el movimiento fuera uniforme.
Por tanto, al cabo del tiempo o, el punto x se habr
& y el y al y yo
& y como el punto final
movido al x xo
ha de estar sobre la curva, resulta
Figura 13
Usando que anm x n y m 0 , dividiendo por o y, finalmente, suprimiendo los trminos que contengan o,
resulta:
nxx&
my&
a xny m
y nm
0,
y& dy
.
x& dx
Junto con las fluxiones, la otra herramienta utilizada sistemticamente por Newton fue el uso de series
infinitas de funciones (fundamentalmente, series de
potencias), tratadas formalmente como polinomios de
grado infinito, derivndolas o integrndolas trmino a
trmino sin ningn reparo.
72
derecho y filosofa y diplomtico profesional es tambin uno de los genios ms verstiles de todos los
tiempos, con contribuciones fundamentales a la filosofa, matemticas e ingeniera. Inventor de una de las
primeras mquinas de calcular y pionero en la bsqueda de un sistema de notacin y terminologa que codificara el razonamiento lgico, no es extrao que se sintiera atrado por las matemticas y la bsqueda de un
sistema general de clculo.
El filsofo Leibniz tuvo muchos menos reparos formales en el uso de los infinitsimos que el fsico
Newton. Leibniz no quera hacer un misterio de los
infinitsimos ni apelaba a ninguna intuicin geomtrica para justificarlos. Simplemente, los usaba9. Con su
mente lgica pensaba que, independientemente de la
naturaleza de los objetos, si se especificaban claramente las reglas de uso y stas se aplicaban correctamente,
el resultado tambin lo sera.
Para Leibniz, las curvas se consideran formadas por
una infinidad de segmentos rectilneos infinitesimales,
coincidentes cada uno con un segmento de una tangente a la curva. La aproximacin de Leibniz al clculo se
basa en el anlisis de las diferencias infinitesimales de
una cantidad variable (de ah el nombre de Clculo
Diferencial). La diferencia de dos valores sucesivos de
x es la diferencial dx y lo mismo para dy. Se supone
que las cantidades dx y dy son no nulas, pero despreciables con respecto a los valores de las variables x e y.
Anlogamente, se supone que un producto de diferenciales, como
o
es despreciable frente a
dx y dy. Hay una sucesin infinita de diferenciales dx
o dy asociadas a una curva (la sucesin de diferencias
de la sucesin de abscisas u ordenadas de la curva).
Esta sucesin de diferencias tiene a su vez una sucesin de diferencias, cuyos elementos son las diferenciales de segundo orden
, etc. Con estos
supuestos se pueden obtener sin problemas las frmulas de diferenciacin usuales.
Segn declar Leibniz en alguna ocasin, su inspiracin se origin en un trabajo de Pascal para el clculo del rea de un hemisferio, en el que apareca una
figura (el tringulo diferencial). Leibniz se percat
que esta figura se poda reproducir en cualquier curva,
9
Figura 14
2S y ds
dy
2S y 1 dx .
dx
En una carta escrita dos meses antes de su muerte, Leibniz manifestaba que no crea que existieran magnitudes realmente infinitas o infinitesimales. Pero, tanto si existen como si no, estos conceptos son ficciones tiles para abreviar y utilizar un lenguaje universal.
73
n1
n 1
Figura 15
10 El nombre dado al problema se debe a que Jakob Bernouilli dedic en Basilea muchos esfuerzos a tratar de resolverlo (de hecho, demostr
74
n
j 1
1 , se
a kj
Y ahora se produce el salto al infinito: Euler considera las series infinitas como polinomios de grado
infinito, y aplica sin reparos las frmulas obtenidas
anteriormente a las series! En particular, en su tercera
demostracin del resultado, Euler aplica su mtodo a
la funcin
, para x 0 ;
, cuyo
desarrollo en serie (bien conocido) es
Es decir,
11
n1
n 1
S 2.
6
1 para 1 k 6.
2k
n
n 1
Varios de los colegas de Euler (entre ellos Daniel y
Nicols Bernouilli) presentaron diversas objeciones a
su demostracin: por ejemplo, la funcin sen x poda
tener otras races complejas, adems de las reales consideradas por Euler. Ms importante era la necesidad
de justificar que las frmulas de Newton para polinomios fueran vlidas para series. Ms an, mientras que
un polinomio queda caracterizado por sus races, eso
no es cierto para otras funciones. Por ejemplo, sen x x
y e xsen x x tienen los mismos ceros reales, pero claramente no pueden tener el mismo desarrollo en serie de
potencias. El mismo Euler era consciente de estas dificultades, pero el hecho de que su mtodo condujera
tambin a resultados conocidos y que los clculos
numricos los avalaran en otros casos le persuadieron
de su validez.
Y esto nos lleva a la idea de demostracin que tena
Euler: En esta poca, ms que una verdad matemtica
incontestable, se trataba de exponer una prediccin
con altas dosis de fiabilidad, corroborada con la comprobacin de una serie de casos particulares del enunciado y combinada con el uso constante de ejemplos
numricos concretos que suministran una mayor evidencia de la certeza de lo afirmado. Por ello, no es
extrao que los matemticos de la poca se enzarcen
en animadas polmicas sobre la aceptabilidad de determinados resultados. Y, desgraciadamente, la utilizacin incontrolada de los infinitsimos y los automatismos formales era una fuente constante de paradojas y
contradicciones que produca un sin fin de controversias y una creciente sensacin de inseguridad. Por
ejemplo, Johann Bernouilli sostena que
,
ya
que
2
.
Por
el
contrario,
Leibniz sostena que
log n 2log n
los logaritmos de los nmeros negativos eran imaginarios, basndose en ciertas manipulaciones con series
divergentes11. No menos problemas surgan de la utili-
Fue Euler quien obtuvo la solucin correcta, va las llamadas frmulas de Euler en [Eu]. En la introduccin, hace referencia a la controversia y anuncia su intencin de eliminar las contradicciones para que pueda verse lo difcil que es descubrir la verdad y defenderse contra
la inconsistencia, incluso cuando dos grandes hombres abordan el problema... (Obviamente, se refiere a J. Bernouilli y G. Leibniz).
75
A. L. Cauchy
5.
12
13
76
K. Weierstrass
14
Por un lado, cada vez con mayor frecuencia, tcnicas y resultados de una cierta parcela de las
matemticas, se mostraban tiles en otra parcela. De
esta forma, fue ponindose en evidencia que lo relevante no era la naturaleza de los objetos estudiados,
sino las relaciones entre ellos. As van surgiendo, no
sin dificultad, las primeras estructuras algebraicas
(grupos, anillos, cuerpos, espacios vectoriales), que
permiten agrupar bajo una misma denominacin conjuntos formados por elementos de naturaleza muy distinta, pero que gozan de una serie de relaciones y
propiedades comunes. Estas nociones permiten tambin explicar las grandes semejanzas advertidas entre
teoras aparentemente muy distintas.
Por otro lado, la falta de seguridad en un edificio
cada vez mas grande e inabarcable, junto con la
aparicin de nuevas teoras, como las Geometras no
eucldeas hizo que los matemticos sintieran la
necesidad de establecer claramente las propiedades de
los objetos a estudiar y las reglas de juego en cada
caso, para evitar posibles contradicciones. Esto es,
retornar al viejo mtodo utilizado por los maestros
griegos para el desarrollo de la geometra eucldea: el
mtodo axiomtico.
El mtodo axiomtico y la organizacin en trminos de estructuras matemticas ciertamente permiten al matemtico una considerable economa de
pensamiento y una gran sensacin de seguridad, al
sentirse dentro de unos lmites bien establecidos, y es
el que se sigue utilizando para exponer y presentar las
matemticas actualmente.
En cuanto a la fundamentacin ltima, durante
algn tiempo se pens que la lgica y la teora de conjuntos iban a proporcionar una slida base sobre la que
Existen funciones no continuas que tienen la propiedad de los valores intermedios, es decir, si toman dos valores, toman todos los valores intermedios entre ellos.
77
signos que se va a emplear, junto con las reglas de formacin de las expresiones vlidas. A continuacin, hay
que especificar las reglas de transformacin para pasar
de una frmula vlida a otra. Finalmente, para
comenzar la tarea, se seleccionan algunas expresiones
vlidas como axiomas. A partir de aqu, lo que pretende Hilbert es desarrollar una teora de las propiedades combinatorias del lenguaje formal que permita
hacer afirmaciones sobre una expresin determinada
del sistema. Esta teora la llam Hilbert Metamatemtica. Sus enunciados son pues afirmaciones sobre
los signos del sistema formal y su disposicin. La
demostracin de la consistencia de un sistema formal
dado consistira en probar, por enunciados metamatemticos finitistas, que nunca puede obtenerse en
el sistema una frmula y su negacin.
Hacia 1930 el Programa de Hilbert pareca bien
encaminado, gracias a los esfuerzos del propio Hilbert
y algunos de sus estudiantes. En particular, se haba
podido demostrar la consistencia absoluta para el
sistema de la aritmtica de los nmeros naturales con
la adicin (aunque no con la multiplicacin).
K. Gdel
D. Hilbert
Para ello, Hilbert propone la formalizacin completa del sistema estudiado. Ello requiere, en primer
lugar, explicitar el listado o vocabulario completo de
15
Como agudamente observ Poincar, hemos puesto una cerca para proteger al rebao de los lobos, pero no sabemos si hemos dejado
algunos lobos dentro de la cerca.
78
6.
CONCLUSIN
Hace unos 200 aos los matemticos ms relevantes podan comprender prcticamente todas las
matemticas que se producan y tener una perspectiva
16
Por ejemplo la clasificacin de los grupos finitos simples se complet en 1985. El resultado final es consecuencia de ms de 500 artculos,
debidos a diversos autores, y su demostracin completa ocupa unas 15.000 pginas. Vase [Go].
Por ejemplo, durante la verificacin de la demostracin de A. Wiles del ltimo Teorema de Fermat, se
reconoci explcitamente en varias ocasiones que la
confianza depositada en las opiniones de los revisores
era al menos tan importante como el rigor empleado en
sus comprobaciones.
5.
6.
7.
8.
9.
10.
11.
BIBLIOGRAFA
1.
2.
3.
4.
[Bo] F. Bombal, Paradojas y rigor: la historia interminable. Discurso de ingreso en la Real Academia de
Ciencias Exactas, Fsicas y Naturales de Madrid.
Madrid, 2006.
[Bot] U. Bottazzini, The higher calculus: A history of
real and complex analysis from Euler to Weierstrass.
Springer, Berln 1986.
[Boy] C. Boyer, The history of the Calculus and its
conceptual development. Dover Pub., New York,
1959.
[Da] A. Dahan Dalmedico, An image conflict in
12.
13.
14.
15.
16.
79