Traducciones 2 (1996) 1-84.

Impreso en Mxico. Derechos reservados 1996 por CINVESTAV (ISBN 9977-64-769-0).

El concepto de funcin hasta la primera mitad del siglo XIX*

1.- OBSERVACIONES PRELIMINARES Hasta ahora, la historia de las funciones no ha sido estudiada con la debida suficiencia. En realidad, este importante tema lo esquiva incluso C. Boyer, de cuyo libro [1] sobre la historia de los conceptos ms importantes del clculo se efectuaron tres ediciones. Resulta innecesario decir que en este trabajo, as como en otros que existen sobre la historia de las matemticas, se hacen algunas referencias a caractersticas aisladas de la evolucin del concepto de dependencia funcional, as como las interpretaciones que diversos eruditos han dado a esta dependencia. aun cuando son indudablemente valiosos, tales enunciados no nos proporcionan el panorama global de la cuestin, ni siquiera cuando se los considera en su conjunto. Adems, las opiniones de diversos autores con frecuencia difieren entre s; en particular, no se ponen de acuerdo con respecto a la poca en que realmente se origin el concepto de funcin. Tal vez el punto de vista que ms comnmente se expresa es el que apareci en el famoso libro de D. E. Smith ([2] pg. 376), quien hace unos cincuenta aos afirmaba: ... despus de todo, el primero en expresar clara y pblicamente la idea de la relacin funcional, segn lo demuestra la utilizacin de coordenadas, fue Descartes ... Sin embargo, la opinin que externa Boyer ([1], pg. 156) hablando de las obras de Fermat, hombre erudito contemporneo de Descartes, es la siguiente: ... el concepto de funcin y la idea de que ciertos smbolos representen variables, no parecen figurar en el trabajo de ninguno de los matemticos de la poca ... Por otro lado, W. Hartner y M. Schramm ([3], pg. 215) suponen que: ... La cuestin del origen y el desarrollo (del concepto de funcin) por lo comn se trata con sorprendente unilateralidad; se la trata casi exclusivamente en relacin con el anlisis cartesiano, el cual, a su vez, se afirma (errneamente, a nuestro entender) que es un rebote tardo de las latitudines formarum con que trabajaban los eruditos del Medievo ... Y adems: ... la operacin con funciones haba ya alcanzado un alto grado de perfeccin en la poca en que se hicieron los primeros intentos por conformar un concepto general de las mismas ... Estos autores aducen que las operaciones con funciones se pueden encontrar en los clculos astronmicos de los sabios de la antigedad (como, por ejemplo, en los de Ptolomeo), posteriormente en la ciencia rabe y, desde luego, en los trabajos de Al-biruni ( a quien se refiere el articulo de los autores). En un libro (4) publicado despus del citado anteriormente (1) y dedicado a la historia de geometra analtica, Boyer seala otro prototipos de funciones entre los matemticos griegos. As, considerando el uso de las proporciones, dice (pg. 5): Esto era, en cierta medida, equivalente al uso moderno de las ecuaciones como expresiones de relaciones funcionales, aun cuando mucho mas restringido. El mismo autor ([4], pg. 46), as como J. E. Hofman ([5], pg. 80-81), A. C. Crombie ([6], vol. II, pg. 88-89) y otros, establecen una relacin entre las expresiones geomtricas de la funciones y el clculo de sus valores, por un
*

A.P.Youschkevitech, 1976. The concept of function up to the middle of the 19th century, Arch. Hist. Exact. Sci. No. 16. pp. 37-85. Traduccin: Dra. Rosa Mara Farfn

2 (1996)

Rosa Ma. Farfn

lado y, por el otro, la teora de clculos y la teora de las latitudes de las formas que aparecieron en el siglo XIV. Sin embargo H. ([7], pg. 145) supona que la idea de funcin en la ultima de las teoras mencionadas, (no) contena ... nicht die geringste Vorstellung der zahl enmngigkeit einer Grsse von einer anderen, ... (... ni el mas mnimo concepto de la dependencia de una magnitud con respecto a otra ...), en tanto que para E. T. Bell ([8],pg. 32), hasta los matemtico babilonios posean el instinto de la relacin de funcin. Y finalmente, la opinin de la existencia de una idea de funcin entre los matemticos antiguos ha sido expresada recientemente por O. Pedercen [9]. No voy a ser ms extensa esta lista de opiniones, alguna de las cuales concuerdan, mientras que otras se oponen entre s; a veces son correctas y otras incorrectas o, cuando menos, incompletas. nicamente agregar que, por lo que toca al siglo XIX, la definicin clsica de funcin que aparece en casi todos los tratados de la poca sobre anlisis matemtico, por lo comn es atribuida o bien a Dirichlet o a Lobachevski (1837 a 1834, respectivamente). Sin embargo, histricamente hablando esta opinin generalizada es inexacta, ya que el concepto general de funcin como la relacin arbitraria entre pares de elementos, cada uno tomado de su propio conjunto, fue formulada mucho antes, a mediados del siglo XVIII. La importancia del anlisis histrico del concepto de funcin resulta obvia, especialmente si se tiene en cuenta los debates contemporneos sobre este mismo concepto. Sin tratar de alcanzar tal objetivo, me limitar a ofrecer alguna observaciones breves sobre las etapas principales del desarrollo de la idea de funcin, hasta mediados del siglo XIX. A mi modo de ver estas etapas son las siguientes: 1. La Antigedad, es decir, la etapa en la que con el estudio de casos particulares de dependencias entre dos cantidades, aun no haban aislado las nociones generales de cantidades variables y funciones. 2. La Edad Media, que es la etapa en que, dentro de la ciencia de la Europa del siglo XIV, estas nociones generales se expresaron por vez primera de un modo definido, tanto mediante formas geomtricas como mecnicas, pero en la que, al igual que en la Antigedad, cada caso concreto de dependencia entre dos cantidades era definido por medio de una expresin verbal, o con una grfica, en vez de darle una frmula. 3. El Perodo Moderno, o sea, la etapa en la que, a partir del siglo XVI, y especialmente durante el XVII, comienzan a prevalecer las expresiones analticas de las funciones, siendo la clase de aquellas que generalmente se expresan mediante sumas de series de potencias infinitas, la que pronto pas a ser la ms utilizada. Fue la introduccin de las funciones por el mtodo analtico lo que revolucion a las matemticas; y debido a su extraordinaria eficacia esta forma le gan un lugar central al concepto de funcin, en todas las ciencias exactas. No obstante, y por muy fructfera que fuera, hacia mediado del siglo XVIII esta interpretacin de las funciones como expresiones analticas result ser inadecuada, y as, durante este mismo perodo se introdujo una nueva definicin general de funcin, que posteriormente paso a ser aceptada universalmente en el campo del anlisis matemtico. En la segunda mitad del siglo XIX, esta definicin general de funcin abri las ms amplias posibilidades para el desarrollo de la teora de las funciones, pero a la vez, puso de manifiesto ciertas dificultades lgicas que, en el siglo XX, originaron la reconsideracin de la esencia del concepto de funcin (como hubo que reconsiderar tambin a otros conceptos importantes del anlisis matemtico). El forcejeo entre los distintos puntos de vista, aun persiste; sin embargo, y como he dicho, no hablar de este perodo (o, ms bien, de estos dos perodos que tienen que ver con la teora de las funciones y con la lgica matemtica, respectivamente), que ya ha sido descrito por A. F. Monna [10]. Por lo general, en el presente trabajo me referir a las funciones univalentes de una variable real. Tales funciones se representan en los tratados modernos de anlisis matemtico bajo definiciones algo diversas pero que tienen todas un significado comn. En el sentido ms general, una funcin y de la variable x, y = f(x), es una relacin entre pares de elementos de dos conjuntos numricos x y y, tal que cada elemento x del primer conjunto X se le asigna un elemento y, y solamente uno del segundo conjunto Y, segn alguna regla definida. Dejando aparte las dificultades lgicas que le son inherentes a la definicin que se acaba de dar1, slo deseo sealar que la regla, o ley, de la funcin se puede
1

El estudio de algunos aspectos de la idea de funcin que representa esta definicin (pero no de las dificultades mencionadas), as como de la terminologa tradicional, orientada a crculos ms amplios de lectores, se puede encontrar en el libro de Kenneth O. May ([11], pg 253-262).

Traducciones

... concepto de funcin ...

dar en diversas formas: verbalmente, mediante una tabla de valores de x y y, con una expresin analtica, por medio de una grfica, etc., y esto nicamente est sujeta a la condicin de que esta regla sea definida y que una vez que se de un valor a x dicha regla sea suficiente para encontrar a y. La idea de funcin, entendida en uno u otro sentido, esta implcita en las reglas para medicin de las reas de las figuras ms sencillas, tales como rectngulos, crculos, etc., que eran conocidas ya desde los albores de la civilizacin, e igualmente en las primeras tablas de sumar, multiplicar, dividir, etc., que se utilizaron con objeto de facilitar los clculos. Obviamente, las relaciones entre nmeros, o de manera ms general, entre cantidades, se encuentran, a cada paso en el campo de lo que se denomina las matemticas elementales. Sin embargo, este hecho trivial es en s infructuoso para nuestra bsqueda del momento en que se forma la idea de funcin, de su generalizacin y comprensin gradual, del significado concreto que adquiere con el progreso cientfico y filosfico y, finalmente, del papel que desempea durante las diversas etapas de este progreso. 2.- LAS FUNCIONES TABULADAS Y LOS SNTOMAS DE LAS SECCIONES EN LA ANTIGEDAD. Tal como se ha dicho, la primera etapa del concepto de funcin es la de la Antigedad. Ya en el ao 2000 a. de C. se haba extendido entre los matemticos babilonios el uso de las tablas sexagesimales de recprocos, cuadrados y races cuadradas, cubos y races cbicas, adems de algunas otras, con las que realizaban sus clculos. Tambin para la astronoma los babilonios utilizaron tablas de funciones de dos tipos distintos -las de funciones escalonadas y las de la funcin lineal en zigzag (step-function y linear-zigzag-function, respectivamente, segn las ha denominado O. Neugebauer ([12], Cap. 5), - durante el reinado de los Seleucidas, para la elaboracin de efemrides del Sol, la Luna y los planetas. A partir de esa poca, las funciones tabuladas empricamente se convirtieron en los cimientos matemticos de todo el desarrollo subsiguiente de la astronoma. Nuevos brotes del concepto de funcin aparecieron en la matemtica y las ciencias naturales de los griegos. Los intentos atribuidos a los primeros pitagricos, por determinar las leyes ms sencillas de la acstica, son tipos en la bsqueda de interdependencias cuantitativas entre diversas cantidades fsicas como, por ejemplo, las longitudes y los tonos de las notas emitidas por cuerdas de la misma especia, al ser pulsada bajo tensiones iguales. Posteriormente, durante la poca alejandrina, los astrnomos desarrollaron toda una trigonometra de las cuerdas correspondientes a una circunferencia de radio fijo, y as, utilizando teoremas geomtricos y reglas de interpolacin, calcularon tablas de cuerdas que en realidad equivalan a las tablas de senos de la misma ndole de las que usaron los Hindes unos cuantos siglos mas tarde. La ms antigua de las tablas de cuerdas que se conocen es al que se encuentra en el ALMAGESTO de PTOLOMEO, obra en la que figuran tambin numerosas tablas astronmicas de otras cantidades, equivalentes a funciones racionales, as como las funciones irracionales mas simples del seno, [9]. Empero, los griegos no se limitaron al uso de funciones tabuladas. El papel principal en la teora de las cnicas lo desempearon sus sntomas ( ), es decir, aquellas propiedades planimtricas bsicas de las curvas correspondientes que se derivan en forma inmediata de su definicin estereomtrica original (aunque en realidad sta no fue utilizada), como las secciones planas del cono. Segn lo expresara un matemtico moderno, el sntoma de alguna secciones cnicas representa, para cada punto de la curva dada, una y la misma dependencia funcional entre su semicuerda y y el segmento x del dimetro conjugado con la cuerda, siendo los extremos de este segmento el punto interseccin del dimetro con la cuerda y el vrtice correspondiente. Los gemetras antiguos describan a los sntomas verbalmente, as como mediante lgebra geomtrica (expresin acuada por H. G. Zeuthen ([13],pg. 7)), en la cual las identidades y expresiones de los dos primeros grados se representaban por medio de igualdades de reas de ciertos rectngulos. El significado de estos sntomas, cuya descripcin antigua, con su verbosidad suena poco usual para los odos modernos, podra expresarse de manera absolutamente exacta en el lenguaje de la geometra analtica, mediante ecuaciones de curvas de segundo orden con respecto a sus vrtices: y 2 = 2 px m p 2 x , a y 2 = 2 px

Sin embargo, las oportunidades que ofreca el lgebra geomtrica eran insuficientes par transmitir de manera similar las propiedades de las curvas del tercero y cuarto ordenes (la cisoide y la concoide), as como de algunas otras cur2 (1996)

Rosa Ma. Farfn

vas algebraicas conocidas por los griegos, quienes tenan que definir a todas ellas, y tambin a ciertas curvas trascendentales, como la cuadratriz y la espiral equiangular por medios de construcciones geomtricas o mecnicas (cinemticas) especiales. Los matemticos de la antigedad establecieron una clasificacin peculiar de las curvas, as como de los problemas que se resuelven mediante ellas. Ya desde antes de Euclides haban puntualizado tres clases de lugares geomtricos: los planos (), correspondientes a las lneas rectas y crculos; los slidos (), para las secciones cnicas; y los lugares geomtricos lineales ( ), que se referan a todas las dems curvas. Resulta realmente imposible estudiar aqu el origen y significado de esta clasificacin, por lo remota en el tiempo que se encuentra de la nuestra, que tuvo su nacimiento en el siglo XVII ([14], prrafo 25). En la antigua Grecia, as como en los pases helensticos que posteriormente pasaron a ser provincias romanas, las funciones que se introducan con relacin a problemas matemticos y de astronoma, eran sometidos a estudios similares a los que se llevan a cabo en el anlisis matemtico de la poca moderna. En congruencia con la meta que se persegua, las funciones se tabulaban recurriendo a la interpolacin lineal; y en los casos ms simples, se encontraban las razones entre dos cantidades infinitamente pequeas como, por ejemplo, el lm sen
x x cuando x 0

Los problemas relativos a valores extremos y a tangentes se resolvan por mtodos equivalentes al mtodo diferencial; las reas, volmenes, longitudes y centros de gravedad se determinaban por mtodos equivalentes al clculo de integrales, como por ejemplo:
a

xdx

2 x dx

y finalmente, los problemas en que se tena que calcular races de polinomios de tercer grado, se resolvan mediante el uso de secciones cnicas (curvas de segundo orden). Para este propsito, a las races de las ecuaciones correspondientes se las consideraba como coordenadas de los puntos de interseccin, o de contacto, de dos de tales curvas que fueran apropiadas. En la presente descripcin, yo utilizo la terminologa y notacin que son comunes modernamente, y que desconocan los matemticos de la antigedad. Esto lo recalco tan fuertemente como es posible hacerlo. Hasta aproximadamente el siglo III a. de C. el simbolismo griego, aparte del uso de dgitos, se limitaba a denotar las diversas cantidades mediante diferentes letras del alfabeto. Jams se introdujo ninguna frmula algebraica, ningn tipo de algoritmo literal, ni ninguna expresin analtica. nicamente en los trabajos de Diofanto, uno de los ltimos matemticos alejandrinos, y posiblemente en los de sus predecesores inmediatos, cuyos nombres han sido olvidados, aparecen algunos signos algebraicos como, por ejemplo, los correspondientes a las primeras seis potencias de la incgnita, un signo de igualdad, etc. Sin embargo, con la cada de la civilizacin antigua, esta notacin ya no prosigui su desarrollo. 3.- EL CONCEPTO GENERAL DE FUNCIN EN LA ANTIGEDAD Aparte de la carencia de simbolismo, que fue lo que fren el avance integral de las matemticas, los logros de los griegos fueron ciertamente substanciales, tanto en lo referente al aumento del nmero de dependencias funcionales que utilizaron como en cuanto al descubrimiento de nuevos mtodos para estudiarlas; y esto desempe un papel prominente en el desarrollo posterior de las matemticas, en el que sigui influyendo hasta que finalmente vino la creacin de los nuevos conceptos del lgebra, la geometra analtica y el clculo infinitesimal, en los siglos XVI y XVII. Pero a pesar de todo esto, debo repetir que en la poca antigua no exista la idea general de la relacin funcional. El problema de saber si los matemticos antiguos posean el concepto general de funcin tambin ha sido ponderado detalladamente por O. Pedersen en el trabajo que dedic al Almagesto de Ptolomeo [9]. En forma perfectamente correcta, Pedersen hace la observacin en el sentido de que, de acuerdo con el sistema Ptolemaico del mundo, las posiciones del Sol, de la Luna y de los planetas se considera que cambia de manera continua y peridica con el tiempo; que la determinacin de esas posiciones la logra Ptolomeo mediante procedimientos normales, que a veces se explican recurriendo a ejemplos numricos, o bien, que se formulan verbalmente y de manera perfectamente general; y finalmente, que estos procedimientos normales se utilizan para compilar diversas tablas astronmicas, es decir, para Traducciones

... concepto de funcin ...

tabular funciones correspondientes (y no slo de una, sino incluso de dos y en varios casos de tres variables). Dndose cuenta de que la palabra funcin, en s, no aparece en los trabajos de los matemticos de la antigedad, sino que fue introducida mucho ms tarde, Pedersen ([9], pg. 35) se hace la siguiente pregunta: ... Pero acaso ello justifica que lleguemos a la conclusin de que no tenan idea alguna de las relaciones funcionales? ... La respuesta que l mismo da a esta pregunta es que todo depende de lo que en realidad se quiera dar a entender por funcin. En caso de que, tal como lo han hecho mucho de los matemticos del pasado, se quiera interpretar a la funcin como una expresin analtica, entonces la conclusin es que los antiguos no conocan las funciones. ... Empero -prosigue Pedersen (pg. 6)- si concebimos a la funcin, no como una frmula sino como una relacin ms general en la que se asocian los elementos de un conjunto de nmeros (verbigracia, los instantes t1, t2, t3, ...) con los elementos de otro conjunto (como por ejemplo, alguna variable angular en un sistema planetario), resulta obvio que, en este sentido, las funciones abundan en el Almagesto. Lo nico que falta es la palabra; pero la cosa, en s, ah est, y se encuentra claramente representada por las numerosas tablas de elementos correspondientes de tales conjuntos ... Casi me siento inclinado a aceptar todo esto. Naturalmente, Ptolomeo, al igual que otros astrnomos de su poca y de las anteriores, saba que las coordenadas de los cuerpos celestes en movimiento cambian peridicamente con el tiempo; y tambin que en un crculo dado, cuerdas de longitudes desiguales guardan relacin con arcos de longitudes desiguales. En el prrafo anterior he mencionado otros ejemplos, anteriores en el tiempo, de funciones que fueron estudiadas por matemticos griegos, y quienes para ello no elaboraron tabla alguna. Y adems, ya dos mil aos antes de Ptolomeo los babilonios conocan ciertas relaciones tabulares. Pero a pesar de todo esto, la literatura matemtica de los antiguos carece no nicamente de palabras equivalentes al trmino de funcin, sino incluso de alguna alusin a esa idea ms abstracta y general mediante la que se unifican las dependencias concretas e independientes entre cantidades o nmeros, en cualquier forma (descripcin verbal, grfica tabla) que en un momento determinado se consideren tales dependencias. Existe un buen trecho entre el instinto de la relacin funcional (Bell) y la percepcin de esta relacin; y lo mismo se puede decir por lo que toca a las funciones particulares y al surgimiento del concepto de funcin con algn grado de generalidad. La utilizacin de la forma singular (la cosa en s, es decir, la relacin funcional representada por diversas tablas) por parte de Pedersen en relacin con el Almagesto (vase la cita anterior) me parece incorrecta, en el sentido de que permite que el prrafo entero sea interpretado como si quisiera implicar que las funciones correspondientes a esas tablas hubieran sido consideradas como ejemplos particulares de una relacin funcional en general. Se puede encontrar una situacin similar en las matemticas griegas, consideradas como un todo. Los procedimientos que se ah se utilizaron para calcular o determinar lmites concretos individuales jams originaron una formulacin explcita de los conceptos generales de una secuencia, una variable un lmite, una cantidad infinitamente pequea, una integral o de los teoremas concernientes a tales conceptos2. Son ejemplos apropiados de esto, las cuadraturas y cubicaciones logradas por Arqumedes. De hecho, en la resolucin de varios problemas (la determinacin del rea de una vuelta de espiral, el volumen de un esferoide, el rea de un segmento de un hiperboloide de revolucin) lo que hizo en realidad fue calcular una integral, y siempre la misma: 0 x 2 dx; o bien, para decirlo en otras palabras, el lmite de una suma de Riemann - Darboux, y siempre la misma, llevando a cabo completamente y cada vez de nuevo los procedimientos necesarios, por el mtodo exhaustivo. Observando que tambin otros de los problemas resueltos por Arqumedes (la cuadratura de la parbola, la determinacin del centro de gravedad de un tringulo) se pudieron haber reducido al clculo de la misma integral, N. Bourbaki ([15], pg. 208) prosigue: ... nous ignorons jusqua quel point il a pris conscience des liens de parent qui unissent les divers problemes dont il traite (liens que nous exprimerions en disant que la meme intgrale revient en maints endroits, sous des aspects gomtriques varis), et quelle importance il a pu leur attribuer ...
a

2 Una de las pocas excepciones lo es la Proposicin I del libro X de los Elementos de Euclides, segn la cual se establece que (utilizando nuestra terminologa), a partir de un criterio de un cierto trmino, cada trmino subsiguiente de cualquier secuencia a, aq1, aq1q2, aq1q2q3, ... (qk 1/2, k= 1, 2, 3, ...) se va haciendo ms pequeo que cualquier cantidad b.

2 (1996)

Rosa Ma. Farfn

(... ignoramos hasta que punto haya tomado conciencia de los nexos de parentesco que unen a los diversos problemas con los que trata (nexos que nosotros explicaramos diciendo que aparece la misma integral en muchos lugares, bajo aspectos geomtricos que varan), y qu importancia les haya podido atribuir ...) Resulta imposible contestar esta pregunta implcita, pero lo cierto es que Arqumedes no pudo haber dejado de observar que los procedimientos del clculo de los tres primeros eran idnticos. Y sin embargo, ni siquiera para el caso de la nica funcin que utiliz, y = x2, introdujo el concepto general de la integral definida (cf. [16]). Hablando en trminos generales, cuando uno estudia las matemticas de las pocas del pasado, con frecuencia no slo aprecia su importancia para el desarrollo posterior de esta ciencia (lo cual es necesario hacer), sino que tambin, y no frecuentemente, ampla de manera no permisible la interpretacin de las ideas manifestadas en esas pocas, vinculndolas con las nociones y conceptos modernos, que son muchos ms generales. Y lo que en realidad sucede es que, tal como el Fausto de Goethe le haca observar a su discpulo Wagner, el historiador equipara el espritu de la poca con el reflejo que ste encuentra en su propia mente: ... Was ihr den geist der Zeiten heisst, Das ist im Grund der Herren eigner Geist, In dem die Zeiten sich bespiegeln ... (... Lo que ustedes denominan el espritu de los tiempos, est en la base del propio espritu de los hombres en el que el tiempo se refleja ...) En particular, hubiera sido una modernizacin impermisible el hecho de ver la idea de cantidad variable, en sentido estricto, en los trabajos de Diofanto, quien s utiliz la sustitucin para el clculo de las races racionales de ecuaciones indeterminadas, y cuyo mtodo efectivamente hace posible, en muchos casos, calcular un nmero infinito de valores de la incgnita del problema indeterminado. En el mejor de los casos, de lo que se puede hablar, como lo hace D. T. Whiteside ([17], pg. 19), es de la nocin, o mejor aun, del uso real de una variable de sustitucin, pero no de la variable plenamente libre que es caracterstica del lgebra de Vite. Las ideas de cambio y de cantidad variable eran ajenas al pensamiento de los griegos. Los problemas de movimiento, de continuidad y del infinito, ya eran abordados desde la poca de Herclito y Zenn de Elea, y la Fsica Aristotlica o filosofa natural ( significa naturaleza) estaba dedicada al estudio de estos conceptos. Haciendo uso del trmino movimiento de la materia, en el sentido amplio de cambio, Aristteles3 distingua tres formas principales de los procesos del mundo: la modificacin o cambio de calidad; el cambio de magnitud o de cantidad, como por ejemplo, el incremento o decrecimiento; y el movimiento local (motus localis), que era la forma ms baja de movimiento y que necesariamente acompaa a las otras dos formas, ms altas, de cambio de la materia. El movimiento local se subdivida en movimiento uniforme, en el que se recorren distancias iguales (segmentos o, digamos, arcos de circunferencia) en tiempos iguales, y movimiento anmalo; sin embargo, en la antigedad no se introdujo ni la velocidad (media), tal como el cociente s/t ni, mucho menos, la velocidad instantnea. En consecuencia, ni el cambio cuantitativo ni el movimiento local, los cuales con el tiempo han encontrado ambos su representacin en el concepto ms abstracto de cantidad variable, pasaron a ser objeto de estudio por parte de los griegos. En parte, este hecho pudo haberse debido a las influencias que ejercieron las paradojas de Zenn. La relacin que existe entre lo anterior y la orientacin general que tom el desarrollo de la mecnica y la astronoma de los griegos resulta notable. Ninguna de estas dos ciencias traspas los lmites del movimiento uniforme, ya que en los sistemas antiguos del mundo los movimientos irregulares de los cuerpos celestes se reducan a combinaciones de movimientos circulares uniformes. Pero el movimiento irregular no fue estudiado como tal. Siempre que era posible hacerlo, las ideas cinemticas se proscriban del dominio de la matemtica pura. Las proposiciones aisladas que se encuentran en Euclides, en las que se utiliza el movimiento y la suspensin, as como los casos tambin aislados de definiciones cinemticas de curvas ( como por ejemplo, la cuadratriz y la espiral equiangular) no modifican la panormica general. He dicho anteriormente que incluso los llamados Pitagricos haban vislumbrado las leyes cuantitativas de la naturaleza. Empero, aparte de los modelos cinemticos del sistema del mundo, los griegos desarrollaron muy poco este aspecto cuantitativo de las leyes naturales.

Aristteles utilizaba la palabra (cambio) indistintamente con la de (movimiento).

Traducciones

... concepto de funcin ...

Cualesquiera que hayan sido las causas y circunstancias ideolgicas o sociales que dieron lugar a las caractersticas de la ciencia antigua, segn se acaba de describir, lo cierto es que el pensamiento matemtico de la antigedad no cre ninguna nocin general, ni de cantidad variable ni de funcin. En el campo de las aplicaciones, y principalmente en la astronoma, que fue donde los mtodos cuantitativos de investigacin alcanzaron el mayor desarrollo, la meta principal era la representacin tabular de funciones, concebida como relaciones entre conjuntos discretos de cantidades constantes dadas, que para efectos prcticos se aislaban a partir de continuos de valores numricos de cantidades que estaban relacionadas entre s por medio de una funcin. En este contexto, viene a sugerirse cierta similitud con el concepto esttico de la teora de conjuntos de Cantor, en la cual la idea intuitiva de cantidad variable se reduce a la idea de un conjunto de cantidades constantes, dadas de antemano. En cualquier caso, el pensamiento de los matemticos griegos, tomado en general, se hallaba muy, pero muy alejado del concepto cinemtico de cantidad fluyente, que fue caracterstico del clculo infinitesimal de los siglos XVII, XVIII y XIX. 4.- REPRESENTACIN CINEMTICA Y GEOMETRA DE LAS RELACIONES FUNCIONALES. La teora de clculos y la de latitudes de las formas El resurgimiento de la ciencia en los pases de cultura arbiga, que ocurri algn tiempo despus de la cada de la sociedad antigua, no trajo, hasta donde se sabe, ningn desarrollo esencialmente nuevo del concepto de funcin. No obstante, se increment el nmero de funciones utilizadas y se mejoraron los mtodos para su estudio. As, se introdujeron todas las funciones trigonomtricas importantes, se perfeccionaron los mtodos para su tabulacin (en particular, se comenz a utilizar la interpolacin cuadrtica, junto con la lineal), y avanz en forma esencial el estudio de las races positivas de los polinomios cbicos, por medio de las secciones cnicas. Tambin hubo otros avances en los campos de la ptica y de la astronoma. Al parecer, una de las excepciones, y muy notable por cierto, desde mi punto de vista, fue el anlisis del movimiento acelerado que se encuentra en el Canon Masdico de Al - Biruni (de alrededor de 1030) y cuyo predecesor en algunos aspectos fue Thabit Inb Qurra ([3], pg. 212-214; [17a], pg. 3738), en el siglo IX. An as, el anlisis y las ideas de Al - Biruni no ejercieron demasiada influencia en sus sucesores. El concepto de funcin apareci por vez primera en una forma ms general tres siglos ms tarde, en las escuelas de filosofa natural de Oxford y Pars. Siguiendo las pautas trazadas por pensadores tales como Robert Grosseteste y Roger Bacon, estas dos escuelas, que florecieron en el siglo XIV, declararon que las matemticas eran el instrumento principal para el estudio de los fenmenos naturales. Apartndose de la doctrina aristotlica de la intencin (intensidad) y disminucin de las cualidades de las formas (intensio et remissio qualitatum et formarum), abordaron el estudio matemtico del movimiento no uniforme cuantitativo y local. Las cualidades de las formas son fenmenos tales como el calor, la luz, el color, la densidad, la distancia, la velocidad, etc., que pueden poseer diversos grados (gradus) de intensidad (intensio) y que, en trminos generales, cambian continuamente dentro de ciertos lmites determinados. Las intensidades de las formas se consideran en relacin con sus extensiones (extensio), tales como, por ejemplo, la cantidad de materia, el tiempo, etc. En el curso de dichas consideraciones se introdujo toda una serie de conceptos sumamente importantes, como la velocidad instantnea, o puntual (velocitas instantanea, punctualis), la aceleracin (intensio motus localis, tambin llamada velocitatio) y cantidad variable, que se conceba como un grado o un flujo de calidad (gradus qualitatis, fluxus qualitatis). En todo esto, la sntesis del pensamiento cinemtico desempea un papel preponderante. ... Toute cinmatique, -segn observa N. Bourbaki ([15], pg. 292)-, repose sur une ide intuitive, et en quelque sorte exprimentale, de quantits variables avec le temps, cest-a-dire de fonctions du temps ... (... Toda cinemtica descansa en una idea intuitiva, y en cierto modo experimental, de cantidades variables con el tiempo, es decir, de funciones del tiempo ...) Simultneamente, la idea de que las leyes cuantitativas de la naturaleza eran leyes del tipo funcional, fue madurado paulatinamente en el campo de la filosofa natural.

2 (1996)

Rosa Ma. Farfn

La doctrina de la intensidad de las formas, o para decirlo de otro modo, la teora de clculos (calculationes) y su parte mas importante, la cinemtica, haban sido desarrolladas en Inglaterra por William Heytes-Bury, Richard Swineshead y otros, especialmente en la direccin aritmtico - cinemtica, en tanto que en Francia, donde su principal exponente era Nicole Oresme, se desarrollo, adems, en la direccin geomtrica. Resulta de inters especial la teora de las configuraciones de cualidades (de configurationibus qualitatum), o en otras palabras, de la uniformidad e irregularidad de las intensidades, o bien, todava en palabras distintas, de las latitudes de las formas (de latitudinibus formarum), que desarrollo Oresme, a mediados del siglo 14. ... Toda cosa mensurable, - escribi Oresme (([18], pp. 164 - 165)- salvo los nmeros (que el, al igual que los antiguos griegos entenda como un conjunto de unidades) se debe imaginar a manera de una cantidad continua. (Omnis res mensurabilis exceptis numeris ymaginatur ad modum quantitatis continue) ... En consecuencia, para poder medir esas cosas es preciso contar con puntos, lneas y superficie, en los cuales, segn Aristteles se encuentra originalmente la medida o la relacin (mensura seu proportio); en todas las dems cosas, la medida o la relacin se obtiene mediante su relacin mental con los puntos, las lneas y las superficies. Oresme representa los grados de intensidad por medio de segmentos con las longitudes correspondientes, que son las latitudes (latitudo), trazados perpendicularmente sobre la lnea de longitudes (longitudo), cuyos segmentos representan las extensiones, las relaciones de las intensidades de alguna cualidad es la misma que la de las latitudes correspondientes, de tal manera que, segn lo expresa el propio Oresme, en vez de la intensidad y extensio de alguna cualidad, se pueden considerar sus latitudes y longitudes. Los extremos superiores de las latitudes de alguna cualidad generan la lneas de intensidad (linea intensionis), o en otras palabras, la lnea de cspide (linea summitatis), la cual, al igual que lo hace la figura delimitada por esta lnea, por el segmento de lnea de longitudes que se este considerando, y por las dos latitudes extremas, representa a la cualidad dada y a sus grados. El ngulo entre las latitudes y la lnea de longitudes se podra escoger arbitrariamente, aun cuando la forma mas conveniente de construir las latitudes es perpendicularmente a la lnea de longitudes. Debe ponerse especial atencin en una de las observaciones de Oresme, a saber, que a las intensidades se les puede llamar longitudes, con lo cual entonces las extensiones tienen que denominarse latitudes. Es en este contexto como se consideran las cualidades lineales (linearis), las intensidades de las cuales estn distribuidas entre los puntos de una lnea pero existen tambin cualidades superficiales (superficialis) y corpreas (corporalis) distribuidas entre los puntos de un continuo bidimensional o tridimensional. Las cualidades superficiales se representaban mediante slidos con bases planas, pero por lo que toca a las cualidades corpreas, el problema de su representacin geomtrica naturalmente le planteo a Oresme dificultades extraordinarias, de tal manera que las observaciones que hace al respecto de ellas estn muy lejos de poseer claridad ([18]; vase especialmente Parte I, captulos i, IV y x). As pues, esta teoras, que se desarrollaron en el siglo XIV parecen estar basadas en el uso consciente de las ideas generales acerca de las cantidades variables dependientes e independientes, y aun cuando no se encuentras las definiciones directas de estas cantidades, cada una de ellas es designada mediante algn termino especial. A la latitud de una cualidad se le interpreta de una manera sumamente general, como un a cantidad variable dependiente de su longitud, y en forma similar, a la lnea de cspide se la entiende como la representacin grfica de alguna relacin funcional continua ([6], Vol. ii, p. 88; [19], p. 34). Por ende, en estas teoras se define a una funcin ya sea mediante una descripcin verbal de su propiedad especifica, o directamente por medio de una grfica. En el lenguaje matemtico de la era moderna, la latitud y la longitud, al igual que las semicuerdas y segmentos de dimetro que les correspondan en la teora de las secciones cnicas de la antigedad (vase prrafo 2), bien se podran denominar la ordenada y la abscisa, respectivamente, con una sola reserva, por mas que esta es sustancial: las coordenadas que se utilizaban en el siglo XIV siempre se referan a los puntos de alguna curva, y no a puntos arbitrarios del plano. sin embargo, la misma receta es valida incluso por lo que toca a Descartes. En realidad, las coordenadas de puntos arbitrarios que no tengan relacin con algn curva, al parecer se presentan por vez primera en el comentario de Fray van Schooten a la edicin en latn de la geometra de Descartes (publicada en 1649), en el contexto de la deduccin de las primeras frmulas conocidas para la transformacin de coordenadas ([20],p. 191 y ). La teora de las latitudes de las formas reviste rasgos distintivos a causa de su representacin preliminar, absolutamente abstracta, de los problemas resueltos, sin atribuirle ninguna importancia a la forma o cualidad concretas. Pero Traducciones

... concepto de funcin ...

a continuacin, Oresme establece tambin una especie de clasificacin de las principales clases de cualidades lineales, a cuyo estudio, en esencia, se limita. Esta clasificacin es la siguiente ([18], Parte I, captulos xi - xvi): 1.- Cualidad uniforme (quantitas uniformis), con latitud constante y cuya lnea de intensidad es paralela a la lnea de longitudes. La figura correspondiente es un rectngulo. 2.- Cualidad uniformemente irregular (uniformiter difformis) ([18], pp. 192 - 193), es aquella en la que si se toman tres puntos cualesquiera (de la lnea que se este considerando), la razn de distancias entre el primero y el segundo, y entre este y el tercero, es igual a la razn de los excedentes de intensidad del primer punto con respecto al segundo y de este con respecto al tercero, de estos tres puntos, llamo primero a aquel que posee la mayor intensidad. (Est cuius omnium trium punctorum proportio distantie inter primum et 2m ad distantiam inter 2m et 3m est sicut proportio excessus primi supra 2m ad excessum 2m supra 3m intensione, ita quod punctum intensiorem illorum trium voco primum). Corresponde esta descripcin verbal a nuestra ecuacin de una lnea recta que pasa por dos puntos dados (x1 , y1) y (x2 , y2): y y1 x x1 = y2 y1 x2 x1 En el caso que nos ocupa, la lnea de intensidad queda representada por la hipotenusa de un tringulo rectngulo, o bien, por el lado superior, inclinado, de un cuadrngulo que tenga dos ngulos rectos en su base, la diferencia entre estos dos casos la originara el hecho de que si esta lnea corta al segmento dado de la lnea de longitudes en uno de sus extremos (en este caso y en la terminologa de Oresme, la lnea termina sin grado, terminatur ad non gradum,, es decir, en el punto de latitud cero) o bien, no corta al segmento dado (termina con cierto grado en ambos extremos, terminatur utrobique ad gradum). 3.- Las cualidades irregularmente irregulares (difformiter difformis), a las que pertenecen todos los dems casos. Esta, que es la clase mas abundante de cualidades, podra ser descrita negativamente (potest describi negativi) como la relativa a cualidades que no son ni uniformes ni uniformemente irregulares ([18], pp. 194 195). En primer trmino, Oresme distingue en este caso cuatro clases simples (simplex) de cualidades, que son los arcos convexos y cncavo (con respecto a la lnea de longitudes) de un circulo, sin rebasar el semicrculo, y tambin los arcos similares de una elipse. (No se usa la palabra elipse, en si, si no que en realidad se hace referencia a una curva con altura proporcional a la de una figura circular). Y despus, como segundo tema, Oresme pasa al anlisis de 63 irregularidades irregulares compuestas (compositae), cuyas lneas de intensidad estn conformadas por dos o mas arcos de curvas previamente descritas, o por segmentos de rectas. Estas lneas combinadas se parecen, en cierta medida, a las curvas mixtas (lineae mixtae) de Euler, vase el prrafo 9. Oresme incluso utiliza el mismo nombre: mixtio, mixture. Una parte importante de la teora de los clculos o de las latitudes de las formas, lo fue el estudio de las funciones del tiempo. Al sealar correctamente la naturaleza rudimentaria de estos estudios, N. Bourbaki ([15] pg. 217) hace la observacin en el sentido de que, obviamente, fueron desarrollados sans considerations infinitesimales (sin consideraciones infinitesimales). Sin embargo, esto no es exactamente as. Las consideraciones infinitesimales no solamente se hallaban presentes de manera latente en los propios conceptos de velocidad y aceleracin instantneas, si no que tambin se utilizaban explcitamente en la resolucin de toda una serie de problemas, tales como, por ejemplo, los referentes a la determinacin de las reas de algunas figuras de extensin ilimitada, o la velocidad media de cuerpos cuyas velocidades (instantneas) cambian por saltos, segn cierta ley definida, un numero infinito de veces durante un intervalo dado de tiempo, dividi en partes tales que formaran una progresin geomtrica. En estos problemas, el mtodo primordial de calculo era precisamente la suma de progresiones geomtricas infinitas, posteriormente, dentro del marco de la misma teora, los matemticos encontraron series mas complicadas, cuyas sumas estaban representadas por cantidades trascendentes (aun desconocidas) que tenan que estimar de modo aproximado, tanto desde arriba como desde abajo (A. Thomas, en 1509). Uno de los logros ms importantes para la mecnica, si ya no para las matemticas, fue la determinacin de la velocidad media del movimiento uniformemente irregular (uniformemente acelerado), a pesar de que no se supo relacio2 (1996)

Rosa Ma. Farfn

10

nar este problema con el de la cada libre de los cuerpos pesados. Este logro, que por vez primera se alcanz en Oxford, se describa en los trabajos de W. Heytesbury (en 1335 ?), R. Swineshead y J. Dumbleton, que fueron escritos casi simultneamente; estos autores llegaron a la conclusin de que el movimiento uniformemente irregular es equivalente a un movimiento uniforme con velocidad igual a la del movimiento acelerado, en el momento medio del tiempo4. Puesto que los tres eruditos trabajaban en el mismo lugar, a saber, el Merton College de Oxford, en la literatura moderna generalmente se hace referencia a su conclusin denominndola el teorema de Merton ([19], captulo 5). Oresme, adems, demostr su teorema. Represent la distancia recorrida, o la cantidad proporcional a sta, que es la velocidad (media) total (velocitas totalis), mediante el rea de un tringulo o de un trapecio ([18], Parte III, Cap. VIII). En realidad, Oresme ([21], pg. 37-39 y 122-124) fue todava ms lejos y determin que, para una velocidad inicial de cero, la distancia se incrementa en forma directamente proporcional al cuadrado del tiempo, y tambin que las distancias recorridas durante intervalos iguales de tiempo aumentan en proporcin con nmeros impares (1.3.5.7. ...). De hecho, Oresme lleg a estos resultados en una forma muy similar a como Galileo habra de hacerlo despus en su estudio de la cada libre de los cuerpos pesados in vacuo, publicado en el Dialogo (en 1632) y de nuevo en los Discorsi e demostrazioni matematiche (en 1638). Sin embargo, la demostracin que hace Galileo del teorema de Merton se apoya explcitamente en el mtodo de los indivisibles, mientras que en la obtenida por Oresme las consideraciones infinitesimales se encuentran nicamente implcitas. En el siglo XV y tambin durante la primera mitad del siglo XVI, la teora de las latitudes de las formas y de clculos goz de una fama generalizada, especialmente en Inglaterra, Francia, Italia y Espaa. Se la haba explicado en los cursos de las universidades y no solamente se le haban dedicado trabajos manuscritos, sino tambin un buen nmero de libros impresos. No obstante, en esa poca no fue enriquecida en grado apreciable; y en particular, las aplicaciones de sus mtodos a la fsica y a la mecnica no fueron ms all de algunos problemas aislados y de planteamiento artificial. Segn lo expresa A. C. Crombie ([6], Vol. II, pg. 89): ... En el siglo XIV la idea de las relaciones funcionales fue desarrollada sin recurrir a las mediaciones reales, y nicamente en principio ... En una resea de los logros generales de la teora a que nos estamos refiriendo, bien se podra llegar a la conclusin de que en el desarrollo de algunos de los conceptos bsicos de las matemticas y la mecnica, entre los que figura el de funcin, en materia de generalizacin y de abstraccin los filsofos naturales del siglo XIV avanzaron mucho ms que todos sus antecesores juntos. Y tambin se lleg a resultados particulares de importancia fundamental; as, por ejemplo, se descubri la existencia de figuras con extensin ilimitada, pero con rea finita, as como la divergencia de las series armnicas (Oresme). Empero, las posibilidades potenciales que ofrecan los nuevos conceptos, no fueron explotados de manera generalizada ni en las matemticas, ni en sus aplicaciones. Las escuelas de Oxford y de Pars disponan nicamente de medios escasos para la investigacin matemtica concreta; ni los representantes de estas escuelas ni sus sucesores inmediatos introdujeron novedades substanciales en cuanto a tcnicas de cmputo, lgebra (salvo en la teora de las proporciones y el trabajo de Bradwardine y Oresme), trigonometra o mtodos de cuadratura y de cubicacin. Surgi una desproporcin evidente entre el alto nivel de las especulaciones tericas abstractas y la debilidad del aparato matemtico. Determinar la influencia que ejercieron las teoras de clculos y de las latitudes de las formas sobre las matemticas de la era moderna resulta un problema algo complicado, ya que los materiales que tenemos a nuestra disposicin son insuficientes para encontrarle una solucin exacta y global. En muchos casos, la similitud entre los conceptos comunes y los resultados particulares de los dos estn grande, que difcilmente se pueden atribuir a una coincidencia ordinaria. En forma ms natural, podemos percibir en esto la persistencia de las tradiciones, que a veces se transmiten por medios complicados, como por ejemplo, la migracin a travs de un gran nmero de pases. La informacin se pudo haber transmitido no nicamente en forma escrita o impresa, sino tambin por medio de conferencias o incluso de conversaciones privadas (de lo cual existen algunas evidencias indudables). Un ejemplo de esto lo encontramos en el estudio de Galileo sobre la cada libre de los cuerpos pesados; aunque no sea ms que por el parecido general de la interpretacin matemtica que hace Galileo de la ley en cuestin, con la
4

Una de las caractersticas especiales de la investigacin de Swineshead fue su intento por estudiar un movimiento rectilneo cuya velocudad fuese proporcional a la distancia con respecto a un punto dado ([17], pg. 217).

Traducciones

... concepto de funcin ...

11

forma en que Oresme interpreta el teorema de Merton, ello implica una continuidad en las ideas; y esta inferencia se convierte en certidumbre ante el hecho de que M. Clagett ha encontrado el teorema de Merton en no menos de 17 libros impresos en el siglo XVI. Igualmente notable es la semejanza de algunos de los principios fundamentales de la matemtica universal de Descartes, con la teora de las latitudes de las formas de Oresme. A lo que me refiero en este caso es a la representacin de todas las cantidades y de las relaciones entre ellas, por medio de formas geomtricas y, a la postre, mediante segmentos de rectas, tal como el propio Descartes lo expres en su Regulae ad directionem ingenii, que fue una de sus primeras obras, ya que fue escrita en 1629. No sabemos si Descartes ley, en realidad, los libros de Oresme, pero s sabemos lo importante que para l fueron las conversaciones con su amigo I. Beeckman, cuyo conocimiento de las ideas de Oresme y, en particular, del teorema de Merton queda testimoniado en su diario correspondiente al ao de 1618 ([19],pp. 417 - 418). En consecuencia, es muy probable que haya habido alguna influencia de Oresme sobre Descartes; y desde luego, esto no contradice por la relacin directa que existe entre el mtodo de coordenadas de Descartes y los sntomas de las secciones cnicas que describi Apolonio de Perga.5 Asimismo, resulta difcil dudar de que las ideas sobre cinemtica que poseyeron los ingleses que fomentaron la teora de clculos, no hayan persistido en Inglaterra e influido en los trabajos de Neper, Barrow y Newton. En particular, sabemos que Swineshead no haba sido olvidado ni siquiera en el siglo XVII; entre quienes leyeron a Swineshead y lo tenan en alta estima figuraba Leibniz, ([1], p.88). 5. LA CANTIDAD VARIABLE DE DESCARTES: LAS FUNCIONES ALGEBRAICAS. Por ms que tenga yo la certeza de que las ideas de la escuela de Oxford y la de Pars hayan desempeado un notable papel en la configuracin de las matemticas de la era moderna y, en particular, en el desarrollo del concepto general de funcin, no por ello sostengo que este papel fuera dominante, especialmente si se tiene en cuenta que en el siglo XVII sali a relucir una nueva interpretacin de dicho concepto de funcin. Fueron de importancia decisiva para el desarrollo subsiguiente de la doctrina de las funciones, por un lado, el crecimiento impetuoso de las matemticas de cmputo; y por el otro, la creacin del lgebra literal y simblica, junto con la correspondiente ampliacin del concepto de nmero, que ya hacia fines del siglo XVI abarcaba no nicamente el campo entero de los reales, sino tambin a los imaginarios y a los complejos. Estos fueron, por as decirlo, los preliminares en las propias matemticas, para la introduccin del concepto de funcin como una relacin entre conjuntos de nmeros, en vez entre cantidades, as como para la representacin de las funciones mediante frmulas.. Baste con mencionar, a este respecto, los avances logrados en la trigonometra y el descubrimiento de los algoritmos; pero lo que se debe recalcar de manera especial es la introduccin de los numerosos signos para las operaciones y relaciones matemticas (en primer lugar, los de suma, resta, potenciacin e igualdad) y, sobre todo los correspondientes a cantidades y parmetros desconocidos, que Vite, en 1591, denot mediante las vocales A, E, I, ... y las consonantes B, G, D, ... del alfabeto latino, respectivamente. Por ms que se diga, nunca se exagerar la importancia que tuvo esta notacin, que por vez primera en toda la historia de las matemticas haca posible poner sobre el papel, en forma simblica, ecuaciones y expresiones algebraicas que contenan incgnitas y coeficientes (palabra tambin inventada por Vite) arbitrarios. Sin embargo, el creador de la nueva lgebra no utiliz su notable descubrimiento para hacer avanzar el concepto de funcin; el pensamiento funcional no era caracterstico de su mentalidad. El simbolismo de Vite padeca de graves deficiencias y pronto fue modificado por un buen numero de eruditos; posteriormente se llev ms all de los dominios del lgebra y se utiliz en el clculo infinitesimal. Descartes, Newton, Leibniz (quien conceda una importancia primordial a la seleccin apropiada de signos), Euler y otros eruditos de mximo calibre participaron en este proceso de perfeccionamiento del simbolismo matemtico; proceso que prosigue en nuestros das, en todas las ramas de la matemtica. Por otro lado, en las ciencias exactas de las primeras pocas, especialmente a partir de comienzos del siglo XVII, la nueva conceptualizacin de las leyes cuantitativas de la naturaleza (vase prrafo 4), segn la cual se establecan las
5

Esta vinculacin ha sido sealada de recientemente por M. Schramm en una polmica con A. C. Crombie, quien supone que Oresme haba dado un paso haca la fundamentacin de la geometra analtica y que Descartes probablemente tena conocimiento de los trabajos de Oresme ([22], pp. 90 - 91)

2 (1996)

Rosa Ma. Farfn

12

relaciones funcionales entre valores numricos de cantidades fsicas, haba venido vigorizndose cada vez en mayor medida y hacindose ms ntida da tras da. En este proceso desempe un papel importante la creacin de un campo ms extenso de metrologa fsica, con la introduccin de las medidas cuantitativas del calor, la presin, etc., al igual que lo hizo el rpido aumento en la precisin de los experimentos y las observaciones, a consecuencia de la invencin de diversos instrumentos cientficos. Entre las ciencias, y superando la astronoma, pas a ocupar el lugar preponderante la mecnica, junto con su nueva rama, la dinmica, a la que pronto alcanz en importancia la mecnica celeste. El estudio de la relacin entre el movimiento curvilneo y las fuerzas que afectan al movimiento haba pasado a ser el problema principal de la ciencia. Y este problema dio origen a toda una serie de otros, pertenecientes al campo del clculo infinitesimal, cuya solucin tenia que llevarse a cabo hasta la obtencin de respuestas numricas. A consecuencia de todo esto apareci un nuevo mtodo para la introduccin de las funciones, que durante mucho tiempo fue el que principalmente se utiliz en las matemticas y, especialmente, en sus aplicaciones. Al igual que antes, no era infrecuente que las funciones se introdujeran verbalmente, mediante una grfica o en trminos cinemticos; y tambin como antes, las tablas de funciones se siguieron usando en forma sumamente generalizada. Sin embargo, en la investigacin terica fue el mtodo analtico de introduccin de funciones por medio de frmulas y ecuaciones, el que adquiri preeminencia. Podemos determinar casi con exactitud cul fue el momento en que tuvo lugar este cambio en las ideas. An a principios del siglo XVI, las funciones se introducan nicamente por medio de los mtodos antiguos. Fue precisamente en esta forma como se expres la funcin logartmica (que fue la ms importante, junto con las funciones trigonomtricas). J. Burgi calcul sus tablas logartmicas (publicadas en 1620) partiendo de la relacin - en la que antes haba hecho hincapi M. Stiefel (en 1544), pero que ya era conocida incluso por Arqumedes - entre la progresin geomtrica de las potencias de alguna cantidad (como por ejemplo, q, q2, q3, ...) y la progresin aritmtica de sus exponentes (1, 2, 3, ...). Burgi comprendi intuitivamente - segn da prueba de ello el sistema de interpolacin que utiliz que esta relacin era continua. Sin embargo, J. Neper, cuyo trabajo fue publicado de 1614 a 1619, procedi a partir de la comparacin de dos movimientos rectilneos continuos, siendo uno de ellos el de un punto (L) que se desplazaba uniformemente, y el de otro, el de un segundo punto (N) cuya velocidad se supona proporcional a su distancia con respecto a cierto punto fijo 6. En este caso, la distancia recorrida por el punto L es el logaritmo (neperiano) de la distancia que recorre el punto N. Pero luego, y solamente 15 20 aos despus de esto, tanto Fermat como Descartes, cada uno por su lado y aplicando la nueva lgebra a la geometra, presentaron el mtodo analtico para la introduccin de funciones, iniciando as una nueva era en las matemticas. En su Introduccin a los lugares geomtricos de planos y slidos (Ad locos planos et slidos isagoge), escrita un poco antes de 1637, pero que no se public hasta 1679, Fermat ([23], p. 91) afirma: ... Tan pronto como en una ecuacin final aparecen dos incgnitas, existe un lugar geomtrico, y el punto extremo de una de esas cantidades desconocidas describe una lnea, recta o curva ... (quoties in ultima equalitate duae quantitates incognitae reperintur, sit locus loco et terminus alterius ex illis describit lineam rectam aut curvam). Aqu, tanto al argumento como a la funcin, simplemente se los denomina incgnitas, trmino que en realidad significa segmentos de lnea, de longitud continuamente variable. A continuacin, haciendo uso de la notacin de Vite, as como de un sistema de coordenadas rectilneas, Fermat escribe las ecuaciones de una linean recta y, apoyndose en las Cnicas de Apolonio, da algunas curvas de segundo orden. La idea de la introduccin de la funcin por el mtodo analtico fue desarrollada con mayor detalle por Descartes en su clebre Geometra (La gometrie, de 1637). Su propsito principal era el de reducir la solucin de todos los problemas y ecuaciones algebraicas, a ciertos procedimientos uniformes para la construccin de sus races reales, es decir, los segmentos coordenados de los puntos de interseccin de curvas planas adecuadas, del orden ms abajo que fuera posible.

Vase la nota 4 de pie de pgina, que se refiere al trabajo correspondiente de Swineshead.

Traducciones

... concepto de funcin ...

13

Al relacionar a una curva algebraica plana con una ecuacin entre las coordenadas de sus puntos, entendindose a estas coordenadas como segmentos de lnea, Descartes ([24], p. 386) escribi: ... Prenant successivement infinies diverses grandeurs pour la ligne y, on en trouvera aussi infinies pour la ligne x, et ainsi on aura une infinit de divers points tels que celui qui est marqu C, par le moyen desquels on dcrit la ligne courbe dmande ... (Tomando sucesivamente un nmero infinito de diversas magnitudes para la lnea y, se encontrar tambin una infinidad de ellas para la lnea x, y as se tendr una infinidad de puntos distintos, semejantes al marcado C, por medio de los cuales queda descrita la lnea curva deseada) Aqu, por vez primera y en forma perfectamente clara, se sostiene que una ecuacin en x y y es un medio para introducir una dependencia entre cantidades variables, a manera de permitir el clculo de los valores de una de ellas que corresponden a valores dados de la otra. Un poco ms adelante, Descartes establece una clase especial: la de las curvas algebraicas (a las que denomina curvas geomtricas). Todos los puntos de estas curvas, segn observ Descartes, guardan cierta relacin con todos los puntos de una lnea recta, y es posible representar esta relacin mediante alguna ecuacin, que es la misma para cada punto de una determina curva. Al decir ecuacin, Descartes, que no tenia medios para escribir simblicamente ecuaciones de ninguna otra especie, en realidad se refera a una ecuacin algebraica. Denominando curvas mecnicas a las de naturaleza no geomtrica, Descartes pasa inmediatamente a introducir su clasificacin; todava no perfecta, de las curvas geomtricas en gneros (genres), siendo las del primer gnero aquellas descritas por ecuaciones de segundo grado; del segundo gnero las descritas por ecuaciones de tercero y cuarto grados, del tercer gnero, por ecuaciones de quinto y sexto grados, etc.7 La introduccin de las funciones en forma de ecuacin origin una verdadera revolucin en el desarrollo de las matemticas. El uso de expresiones analticas, con las cuales las operaciones se efectan siguiendo reglas estrictamente especificadas, aport la caracterstica de un clculo regular al estudio de las funciones, abriendo as horizontes completamente nuevos. Este mtodo de representacin de las funciones, que tuvo su origen en el proceso de la aplicacin del lgebra a la geometra, fue ampliado inmediatamente a otras ramas de las matemticas, y en primer lugar, al campo del clculo infinitesimal. En notas que escribi hace aproximadamente 100 aos, pero que nicamente se publicaron por vez primera en 1925, el gran pensador F. Engels ([25], p. 275) sostena que: ... Der Wendepunkt in der Mathematik war Descartes variable Grsse. Damit die Bewegung und damit die Dialektik in der Mathematik, und damit such sofort mit Notwendigkeit die Differential und Integralrechnung, die auch sofort anfngt ... La opinin del famoso matemtico H. Hankel, expresada aproximadamente en la misma poca ([26], pp. 44 - 45) es muy parecida a la aseveracin que acaba de citar: ... whrend die Alten den Begriff der Bewegung, des rumlichen Ausdruckes der Vernderlichkeit ... in ihrem strengen Systeme niemals und auch in der Behandlung phoronomischerzeugten Kurven nur vorbergehend verwenden, so datiert die neuere Mathematik von dem Augenblicke, als Descartes von der rein algebraischen Behandlung der Gleichngen dazu fortschritt, die Grssenvernderungen zu untersuchen, welche ein algebraischer Ausdruck erleidet, indem eine in ihm allgemein bezeichnete Grsse eine stetige Folge von Werten durchluft ... Fue precisamente en la poca de Descartes y de Fermat cuando el pensamiento funcional pas a predominar en el trabajo creativo de las matemticas. A este respecto, deseo tambin observar, de paso, que la geometra analtica de Descartes y de Fermat, por parca que haya sido al principio en cuanto a descubrimientos, comparada con los logros de la teora de las secciones cnicas de los antiguos, es potencialmente superior a la geometra analtica de Apolonio y difiere de sta en el mismo grado que el lgebra simblica difiere del lgebra geomtrica de la antigedad (cf. [17], p. 294).

La clasificacin universalmente aceptada de las curvas algebraicas que introdujo Newton alrededor del ao 1670, no fue publicada hasta 1704, en su Enumeracin de las lneas del tercer orden, (Enumeratio linearum tertii ordinis).

2 (1996)

Rosa Ma. Farfn

14

Al principio, la gama de las funciones que se expresaban analticamente se limitaban a las algebraicas, y Descartes incluso excluy de su geometra a todas las curvas mecnicas porque, a su parecer no se prestaban a su mtodo de anlisis. Sin embargo, gracias a un descubrimiento realizado algo ms tarde, a mediados del siglo XVI por P. Mengoli, N. Mercator, J. Gregory e I. Newton, cada uno por su lado, se hizo posible representar analticamente cualquier relacin funcional de las que se estudiaban en esa poca. Me estoy refiriendo al descubrimiento de la forma de desarrollar las funciones en series de potencias infinitas. Posteriormente se agregaron otras expresiones infinitas de las funciones, como los productos infinitos, las fracciones continuas, etc. En forma embrionaria, la idea de que una expresin infinita era una funcin, no resultaba cosa nueva, ya que la progresin geomtrica infinitamente decreciente era conocida desde hacia mucho tiempo (vase prrafo 4), pero o fue hasta la segunda mitad del siglo XVII cuando la serie de potencias se convirti en el mtodo ms fructfero y, tal como se supo incluso durante un buen tiempo despus, en el medio universal para la expresin analtica y para el estudio de cualquier funcin. P. Boutroux ([27],p. 117) consideraba incluso que la teora del desarrollo de las funciones en series de potencia era la componente ms original, ms notable y fructfera de la nueva matemtica que descubrieron Newton y Leibniz. Sea como fuere, el hecho de que el concepto de funcin como expresin analtica llegara a ocupar el lugar central en el anlisis matemtico se debi, precisamente, a las series de potencias. Por algo una de las principales obras de Newton se llam El mtodo de las fluxiones y las series infinitas (Methodus fluxionum et serierum infinitarum). 6. EL CONCEPTO DE FUNCIN, SEGN LO ENTENDIERON NEWTON (ALREDEDOR DE 1670) Y LEIBNIZ (DE 1673 A1694). No pas mucho tiempo entre las primeras descripciones de estos nuevos conceptos de funcin, y la formulacin de las definiciones correspondientes, que al principio tenan caractersticas mecnicas o geomtricas, debido tanto a la fuerza de tradicin como al hecho de que los mtodos del clculo infinitesimal se crearon principalmente en el curso de la solucin de problemas en el campo de la mecnica y de los relacionados con ellos, de ndole geomtrico. La funcin logartmica era un rea hiperblica; la funcin elptica, un arco de seccin cnica; las integrales se representaban mediante distancias, reas, arcos o volmenes; las diferenciales, por medio de segmentos coordenados infinitamente pequeos; las derivadas, a travs de velocidades o razones entre los lados de tringulos rectngulos que , en forma caracterstica, eran infinitamente pequeos, etc. Una interpretacin cinemtica - geomtrica especialmente clara, de los conceptos bsicos del anlisis matemtico, fue la que present Newton, quien desarrollo las ideas de su maestro I. Barrow, segn se explica en las conferencias que imparti en Cambridge durante 1664 y 1665, pero que se publicaron posteriormente [28], en las que se describen los conceptos de tiempo y movimiento, as como su representacin geomtrica, que tiene sus orgenes en Galileo y Oresme ([15], p. 220; [29], p. 240). Al igual que Barrow, Newton escoge al tiempo como un argumento universal e interpreta a las variables dependientes como cantidades continuamente fluyentes y que poseen alguna velocidad de cambio. En dos cartas dirigidas a J. Wallis, fechadas el 27 de agosto y el 17 de septiembre de 1692 (del calendario antiguo), Newton explicaba de manera concisa el concepto que tenia del clculo infinitesimal, cuyo desarrollo haba iniciado ya desde 1664 - 1666. Las versiones algo acortadas de estas cartas fueron publicadas en 1693, en la edicin ampliada del tratado algebraico, en latn, de Wallis (la edicin en ingles es de 1685). Ah se lee que Newton ([30], p. 39) redujo su mtodo a la solucin de dos problemas: ... Data aequatione fluentes quotcunque quantitates involvente, fluxiones invenire: etvice versa. Per fluentes quantitates intelligit indeterminatas, id est quae in generatione Curvarum per motum localem perpetuo augentur vel diminuuntur, et per earum fluxionem intelligit celeritatem incrementi vel decrementi.8
8 En el pasaje que sigue se da una traduccin libre, que se hizo a finales del siglo XVII o principios del XVIII, y que fue publicada en 1691 ([31], p. 222 y siguientes): El ilustre seor Newton ha reducido la Doctrina de las Fluxiones a dos Proposiciones: 1.- Para cualquier ecuacin dada, en la que intervengan cantidades fluyentes, encontrar las fluxiones; y viceversa. Entiende por cantidades fluyentes a las cantidades indeterminadas, es decir, aquellas que en la generacin de una curva mediante movimiento local, perpetuamente se incrementan o decrecen; y por el flujo, se refiere a la rapidez de su incremento o decremento.

Traducciones

... concepto de funcin ...

15

Newton expuso las mismas ideas, con mayor detalle, en un buen numero de trabajos, como por ejemplo, en el mencionado Mtodo de las fluxiones y las series infinitas, escrito alrededor de 1670, pero cuya traduccin al ingles, a partir de un manuscrito en latn, no se public hasta 1736, [32]. Como es evidente, aun los dos problemas principales del clculo infinitesimal fueron expresados en trminos mecnicos, a saber dada la ley para la distancia, determinar la velocidad del movimiento (diferenciacin); y dada la velocidad del movimiento, determinar la distancia recorrida (integracin de ecuaciones diferenciales y, en particular, de funciones). No obstante, los conceptos de Newton se inclinan claramente hacia una comprensin ms abstracta de los trminos filosficos y mecnicos. .As, con referencia al argumento universal, es decir, el tiempo, Newton expresa lo siguiente en su Mtodo de las fluxiones ([32], pp. 72 - 73), (cito aqu su versin original en latn, que se remonta a 1670 - 1671): ... Sin embargo, no podemos tener ninguna estimacin del tiempo, salvo en el sentido de que ste queda explicado y medido a travs de un movimiento local uniforme, y por lo dems, nicamente se pueden comparar entre s cantidades de la misma especie, al igual que sus velocidades de incremento o decrecimiento. Por estas razones, en lo que sigue no tomar en cuenta el tiempo, considerado formalmente como tal, sino a partir de cantidades propuestas que sean de la misma especie, supondr que alguna se incrementa con un flujo uniforme; a ste se pueden referir todas la dems como si se tratara del tiempo, y as, por analoga, no resulta impropio conferirle el nombre de tiempo... (Cum autem temporis nullam habeamus aestimationem nisi quatenus id per aequabilem motum localem exponitur et mesuratur, et praeterea cum quantitates ejusdem tantum generis inter se conferi possint et earum incrementi et decrementi celeritates inter se, eapropter ad tempus formaliter spectatum in sequentibus haud respiciam, sed e propostis quantitatibus quae sunt ejusdem generis aliquam aequabili fluxione augeri fingam cui caeterae tanquam tempori referantur, adeoque cui nomem temporis analogice tribui mereatur ...)9 . Algo ms adelante ([32 a], pp. 88 - 91) Newton denomina al fluyente, que desempea el papel de la variable independiente, una cantidad correlacionada (quantitas correlata); y a la cantidad dependiente la llama relacionada (relata). As, nicamente son las nociones fundamentales las que se introducen cinemticamente, por lo que, en realidad, el mtodo de las fluxiones se desarrolla para los fluyentes, expresados analticamente, ya sea en forma finita o mediante sumas de series infinitas de potencias, que son esas fracciones decimales del anlisis matemtico. Al principio, tambin Leibniz lleg a los conceptos bsicos del clculo diferencial e integral desarrollndolos a partir de la geometra de las curvas. Baste recordar que ya desde que escribi su memoria fundamental sobre el clculo integral, un nuevo mtodo para los mximos y mnimo, as como para las tangentes, ... y un singular tipo de Clculo para ellos. (Nova methodus pro maximis et minimis, itemque tangentibus ..., et singularis pro illis Calculi genus), en 1684, describi a la diferencial (dy) de una ordenada de cierta curva ([33], V. P: 220) como un segmento cuya razn con respecto a dx (incremento arbitrario de la abscisa) es igual a la razn de su ordenada con respecto a la subtangente. La palabra funcin aparece por primera vez en los manuscritos de Leibniz de agosto de 1673, y en particular, en el titulado El mtodo inverso de las tangentes, o acerca de las funciones (Methodus tangentium inversas, seu de functionibus). Al comienzo, la determinacin de las subtangentes, las subnormales y otros segmentos relacionados con puntos variables de una curva, se trata en esa obra tanto para las curvas geomtricas como para las no geomtricas, para las cuales ([34], p. 44): ... la relacin entre su aplicada (la ordenada) ED y la abscisa AE queda representada por alguna ecuacin que conocemos... (... in qua Relatio applicatae ED ad abscissam AE aequatione quadam nobis cognita explicatur ...)

Comprese con lo que expone Oresme ([18], pp. 274 - 275): ... en consecuencia, el tiempo as expresado, no es en forma alguna irregular, o incluso propiamente uniforme, ya que tampoco se dice que el tiempo sea rpido o lento. Sin embargo, se puede decir en forma impropia que el tiempo es uniforme, puesto que esa duracin que es el tiempo en la forma antes mencionada, no se mide adecuadamente ms que mediante el movimiento uniforme, es decir, el movimiento regular ... (... idcirco tempus sic dictum nulla modo est difforme nec etiam proprie uniforme, sicut etiam tempus non dicitur velox vel tardum. Verumtamen improprie tempues potest dici uniforme quoniam illa duratio que tempus est modo predicto non mensuratur proprie nisi per motum uniformem, id est, regularem ...)

2 (1996)

Rosa Ma. Farfn

16

A continuacin, Leibniz ([34], p. 47) pasa a considerar el problema inverso de la determinacin de las aplicaciones (ordenadas) a partir de una propiedad dada de la tangente de la curva, o de ... otras clases de lneas que, en una determinada figura, desempean alguna funcin ... (Ex allis linearum in figura data functiones facientum generibus assumtis.) Se debe recordar que el verbo latino fungor, functus sum, fungi significa desempear, cumplir (ejecutar) una obligacin, etc. Tal como observa D. Mahnke ([34],p. 47) Pero ms adelante en el mismo manuscrito, el vocablo funcin adquiere un nuevo significado, como trmino general para los distintos segmentos que se relacionan con una curva dad. En el mismo sentido relativamente amplio de geometra diferencial, la definicin de funcin aparece impresa por vez primera en unos cuantos artculos que Leibniz public en 1692 y 1694. Ah denomina funciones (functiones, functions) a cualesquiera partes de lneas rectas, es decir, segmentos, obtenidos mediante la construccin de lneas rectas infinitas correspondientes a un punto fijo y a los puntos de una curva dada.10 Explica que en realidad se refiere a abscisas, ordenadas, cuerdas, segmentos de tangentes y de normales cortadas por los ejes de coordenadas, segmentos de subtangentes y subnormales, etc.; y en el mismo sentido fue utilizada la palabra funcin por Jakob Bernoulli en el trabajo que present para el Acta Eruditorum de octubre de 1694. Sin embargo, tal definicin de funcin no corresponde a ningn contexto analtico ms amplio. En la correspondencia que sostuvo Leibniz con Johann Bernoulli durante 1694 - 1698, en realidad se discierne la forma en que la carencia de un vocablo general, para indicar a las cantidades arbitrarias dependientes de alguna variable, pronto origin el uso de la palabra funcin en el sentido de una expresin analtica. 7. LA FUNCIN COMO EXPRESIN ANALTICA ARBITRARIA: J. BERNOULLI. (1694 - 1718) Y EULER (1748). En la carta del 2 de septiembre de 1694, en la que Bernoulli ([33], iii, p. 150) le habla a Leibniz de su descubrimiento del desarrollo de n dz en la serie infinita: nz dn 1 1 ddn + zz z 3 2 ... dz 1 2 3 1 2 dz

(que, no obstante, Leibniz ya conoca), aquel explicaba: ... Entiendo por n a una cantidad formada, de algn modo, a partir de (cantidades) indeterminadas y constantes ... (... Per n intelligo quantitatem quomodocunque formatam ex indeterminatis et constantibus ...). En el mismo ao, este descubrimiento, expresados con las mismas palabras, apareci en el artculo de Bernoulli ([35], i,p. 126) en el Acta Eruditorum. La palabra funcionan no se utiliza ah, y tambin est ausente en la carta de Bernoulli fechada el 25 de agosto de 1696 ([33], iii, p. 324), donde propone denotar mediante 1 x 2 x

... a las diversas cantidades dadas de alguna forma por una (cantidad) indeterminada x y por constantes ... (ya sea) algebraica o trascendentalmente ... (... quantitates diversas utcunque datas per indeterminatam x et constantes ... vel algebraica, vel trancendenter ...).

10 Vase Leibniz, De linea ex lineis numero infinitis ordinatim ductis inter se concurrentibus formata ..., Acta Eruditorum, abril de 1692 ([33], V., p. 268); Nova Calculi differentialis applicatio et usus ..., Acta Eruditorum, julio de 1694 ([33], V., p. 306); Considrations sur la diffrence quil y a observer entre lAnalyse ordinaire et le nouveau Calcul des Transcendentes, Journal des Scavants, agosto de 1694 ([33], V., pp. 307 - 308). Como ejemplo vase lo que se dice en ([33], V., p. 306): Funtionem voco portionem rectae, quae, ductis ope sola puncti fixi et puncti curvae cum curvedine sua dati rectis, abscinduntur.

Traducciones

... concepto de funcin ...

17

Johann Bernoulli utiliza por vez primera la palabra funcin dos aos ms tarde, en un artculo que acompaa, a modo de apndice, a su carta del 5 de julio de 1698 y que est dedicado a la solucin del problema isoperimtrico planteado por su hermano Jakob, a saber: entre todas las curvas PFN de longitud dada y base BN, encontrar una curva en la que cualesquiera potencias de sus ordenadas FP generen las ordenadas PZ de (otra) curva BZN de rea mxima o mnima. En realidad, Johann Bernoulli ([33], iii, pp. 506 -507) incluso generaliza este problema, suponiendo que es el siguiente: ... encontrar (una curva) BFN, cuyas ordenadas FP, elevadas a una potencia dada, o, en general, algunas funciones de estas ordenadas, etc. ... (... illa (curva) BFN, cujas applicatae FP ad datam potestatem elevatae seu generaliter earum quaecunque funtiones, etc. ...) En una traduccin francesa publicada en 1706, en las Mem, Acad. Sci., Pars ([35], Tomo 1, p. 424), este pasaje del original reza as: ... trouver la courbe BFN telle, que ses appliques FP eleves a une puissance, ou gnralment telle, que les funtions quelconques de ces appliques PZ, exprimes par dautres appliques PZ, etc. ... Bernoulli no explica en qu sentido toma algunas (quaecunque) funciones; sin embargo, mal puede haberse referido a otra cosa ms que a las expresiones analticas, ya conocidas en esa poca.11 . El 29 de julio de 1698 Leibniz expres su satisfaccin por el hecho de que Johann Bernoulli hubiera aceptado utilizar el trmino funcin ([33], iii, p. 526), que el primero haba inventado; despus de esto, ambos intercambiaron cartas unas cuantas veces ms para externar sus opiniones acerca de loa notacin que pudiera resultar ms apropiada para una funcin de una o muchas variables. Los dos se inclinaban por distinguir a las funciones mediante ndices, mas no en la forma en que lo hacemos actualmente, sino de la siguiente manera: x, x, x; y, etc. ([33], iii, p. 537). En esa misma carta, Leibniz propona que se escribiera dz para la razn dz:dx, pero esta notacin no resisti el paso del tiempo. Simultneamente, o quiz un poco antes, Leibniz generalizo el uso de las palabras contante y variable 12, coordenadas (en 1682, [33], V, p. 268) y parmetro en el sentido de un segmento o cantidad constantes y arbitrarias (en un manuscrito de alrededor de 1679 ([33, iii, p. 103) y en 1692, en un trabajo impreso (ibdem, p. 268)), etc. Finalmente, vio que la terminologa introducida por Descartes no resultaba conveniente, y tambin la cambio. Descar11 Al parecer, el primer intento por dar una definicin de la funcin como expresin analtica y, adems, que permite la intervencin de un proceso infinito, se encuentra en la obra de J. Gregory: La verdadera cuadratura del crculo y de la hiprbola (Vera circuli et hyperbolae queadrature), publicada en 1667. Puesto que este libro no es posible encontrarlo, describir la definicin correspondiente introducida por Gregory, segn se explica en el artculo de M. Dehn y E. Hellinger ([36], p. 477): ... llamamos a una cantidad x compuesta (compositum) de otras cantidades a, b, ..., si x resulta de a, b, ... por las cuatro especies elementales, extraccin de races o cualquier otra operacin que se pueda imaginar, (quacunque alia imaginabili operatione). Mediante estas ltimas palabras, Gregory se refera a la elaboracin de series convergentes, habiendo sido l mismo quien introdujera el trmino convergens, posiblemente trasplantndolo de la ptica a las matemticas, ya que se ocup bastante de la primera de estas disciplinas. Obsrvese que Gregory utiliz el vocablo terminatio para referirse al lmite de una secuencia convergente (series convergens). Datos adicionales: Cuando ya haba enviado este artculo al Editor, me encontr en posicin de agregar el importante pasaje que sigue, tomado de la obra de Gregory, Vera circuli et hyperbolae quadratur (1667), por el cual quedo grandemente agradecido al Dr. D. T. Whiteside ([37], p. 9). Definitiones. 5. Quantitatem dicimus a quantitatibus esse compositum: cum quantitatum additione, subductione, multiplicatione, divisione, radicum extractione, vel quacunque alia imaginabili operatione, fit alia quantitas. 6. Quando quantitas compositae ex quantitatum additione, subductione, divisione, radicum extractione, dicimus illum componi analytice. 7. Quando quantitates a quantitatibus inter se commensurabilibus analytice componi possunt, dicimus illas esse inter se analyticas. La definicin 5 corresponde a la que public J. Bernoulli en 1718 (vase prrafo 8); empero, para Gregory la cualquier otra operacin imaginable significa algn proceso general infinito, al que l denomina nuestra sexta operacin (nostra sexta operatio). La definicin 6, que define a la cantidad compuesta analticamente (analytic), corresponde, en cierta medida, a nuestra funcin algebraica. Resulta difcil estar de acuerdo con M. Baron, quien dice ([29], p. 8) que: la palabra analtica fue utilizada por vez primera por James Gregory, quien defini a una cantidad analtica como aquella que poda obtenerse mediante operaciones algebraicas, junto con un paso al lmite. La palabra analytic es empleada aqu por Gregory en el sentido en que lo hace Vite. Tal como lo expresa C. J. Scriba ([37 b], pp. 13 - 14): Analytisch nennt er dabei eine Grsse, die durch endlich viele der fnf Grundoperationen aus zueinander kommensurablen Grssen zusammengesetzt ist. 12 Estas dos palabras adquirieron mayor fama, debido a que en el primer tartado sobre el clculo diferencial, escrito por LHospital y publicado en 1696 [37], desde el principio se definen las quantitas constantes y las quantitates variables.

2 (1996)

Rosa Ma. Farfn

18

tes haba clasificado a las curvas en geomtricas y mecnicas, excluyendo errneamente de la geometra de estas ltimas, por no ser susceptibles de estudio mediante su mtodo (algebraico), vase tambin el prrafo 5. Leibniz opto por dividir a las funciones y a las curvas en dos clases: las algebraicas, a saber, aquellas que podan representarse por medio de una ecuacin de cierto orden (certigradus), y las trascendentales. Las funciones y curvas de esta ultima categora tambin podan someterse a estudio y clculo exactos, an cuando de naturaleza distinta, mediante su representacin con ecuaciones de orden indefinido (gradus indefiniti) o infinito, que ([33], V. pp. 123 124, de 1684 y 1686, respectivamente): ... trascienden a cualquier ecuacin algebraica (omnium aequationem algebraicam trascendant) ...13 . La definicin que da Leibniz de las funciones trascendentales, entendindolas como no algebraicas, ha sido repetida en los libros de texto, hasta llegar a nuestros das. Por lo que toca a la propiedad intrnseca de las funciones analticas complejas trascendentales (la posesin de cuando menos un punto singular, adems de polos y de puntos de rama, de orden finito), sta no iba a establecerse ms que a mediados del siglo XIX. Sin embargo, tuvieron que pasar veinte aos para que la nueva definicin de funcin apareciera en forma impresa; y durante todo ese tiempo, la palabra funcin, en s, contino siendo poco conocida. No se le encuentra en el Mathematisches Lexicon de CHR. Wolff, publicado en 1716, a pesar de que en l figuran dos artculos que guardan relacin con el tema: Quantitas constans, eine unvernderliche Grsse. En el segundo artculo se menciona que la distincin entre esas dos clases de cantidades es esencial en el nuevo anlisis de Leibniz ([38], columnas 1144 y 1149 - 1150). En la misma fuente, pero en otro artculo, Abscisas, die Abscisse, tambin se trata de expresin de una cantidad variable por medio de otra. Dice as ([38], columnas 3 - 4): ... Durch die Relation der Abzisse AP zu der halben (nosotros hubieramos preferido: a la ordenada (completa)) PM Pfleget man die krummen Linien von einander zu unterscheiden ... Se presentan algunos ejemplos de funciones en artculos tales como Aequatio exponentialis, eine Exponential - Gleichung, y Aequatio trascendens, eine Trascendentische gelichung. La idea de relacin funcional ni siquiera se menciona en artculos como Calculus differentialis, die Differential Rechnung y Calculus integralis, seu summatorius, die Integral Rechnung. La idea de que el anlisis matemtico es la ciencia general de las variables y de sus funciones, al parecer se debe a Euler, quien afirma precisamente esto en el prefacio a su famosa obra Introductio in analysin infinitorum, que termin de escribir alrededor de 1744 y que fue publicado en 1748 [39]. La primera definicin explcita de funcin como expresin analtica, que haya aparecido impresa, es la que se encuentra en el artculo de J. Bernoulli titulado Remarques sur cequon a donn jusquici de solutions de problemes sur les isopprimetres (Observaciones sobre los trabajos que hasta ahora se han realizado en el campo de las soluciones a problemas de isoperimetra), que se public en las Mem. Acad. roy. sci. Pars, de 1718. Ah se encuentra lo siguiente ([35], ii, p. 241): ... Definition: On appelle fonction dune grandeur variable une quantit compose de queique maniere que ce soit de cette grandeur variable et de constantes ... (... Definicin: Se llama funcin de una magnitud variable a una cantidad compuesta, en la forma que sea, por esa magnitud variable y por constantes ...). En ese mismo lugar, Bernoulli propona tambin a la letra griega como notacin para la caractristique de una funcin (trmino inventado por Leibniz), escribiendo todava el argumento sin parntesis: f x. Estos ltimos, as como el smbolo para funcin, son ideas de Euler, que los utiliz en su artculo E. 45, divulgado a manera de comunicacin en 1734 y que fue publicado en 1740. En su definicin, Bernoulli no daba indicio alguno acerca de la forma en que se pudieran conformar funciones a partir de la variable independiente. No obstante, resulta obvio que en realidad se refera a expresiones analticas de las funciones, ya que esto concordaba con la tendencia fundamental del anlisis infinitesimal que, conservando e incluso vigorizando sus nexos con la geometra, la mecnica y la fsica, durante el siglo XVIII se convirti en una disciplina

13

En el manuscrito, fechado en 1679, Leibniz ([33], iii, p. 103) llamaba qnalticas (curva analtica) a las curvas algebraicas; en el mismo lugar se encuentra tambin la expresin curva transcendente.

Traducciones

... concepto de funcin ...

19

cientfica cada vez ms autnoma en sus principios. Todos los conceptos iniciales del clculo, paulatinamente van perdiendo su cascarn geomtrico y mecnico, se formulan geomtrica y algebraicamente y comienzan a ser asimilados como los conceptos similares de otras ciencias exactas que, en forma lgica, preceden a stas. El proceso de convertir al anlisis matemtico en una disciplina cientfica autnoma, que en el siglo XIX pas a ser el proceso de aritmetizarla, result prolongado. Al principio, incluy a la mecnica, haciendo de sta una parte del anlisis matemtico; de hecho, para Newton la fluxin de una cantidad era su velocidad de cambio; para Lagrange, la velocidad era una derivada de la funcin que representaba a la distancia en trminos del tiempo. Adems, en su Mecanique analytique (de 1788) Lagrange manifestaba que la mecnica era una parte del anlisis matemtico, cuya exposicin no requera ni de figuras, ni de consideraciones geomtricas o mecnicas en general. Hubo una tendencia similar, al respecto de la relacin que guardaba el anlisis matemtico con la geometra y los mtodos de esta ltima dejaron de aplicarse, no slo para definir sino incluso para ilustrar los conceptos bsicos del clculo. Esto queda de manifiesto al hacer una comparacin, aunque no sea ms que somera, del Analyse des infiniments petits, etc. de LHospital (publicado en 1696), con los cursos de Euler y de Lagrange, en los cuales no se utilizan, en absoluto, las ilustraciones geomtricas. Desde luego, la intuicin geomtrica continu desempeando su papel constructivo; naturalmente, siempre hubo eruditos que dieron peso a los teoremas de existencia analticos recurriendo a la evidencia geomtrica; y est claro que, a la postre, volvi a comprenderse el valor educativo de las analogas geomtricas y mecnicas. Sin embargo, la tendencia general no cambia, y por ello, a su debido tiempo (aunque esto no ocurri ms que hasta la segunda mitad del siglo XIX) result necesario definir analticamente conceptos geomtricos tales como el rea de una superficie, la longitud de una curva, etc., que antes haban parecido -ser intuitivamente obvios. Fue Leonard Euler, el discpulo de Johann Bernoulli, quien efectu un desarrollo adicional y esencial del concepto de funcin. En el Captulo I del Volumen I de su Introductio in analysin infinitorum, de 1748 (E. 10), Euler someti a un estudio ms detallado el concepto de funcin, segn ste se utilizaba realmente en el anlisis matemtico. Comenz por definir nociones iniciales. De acuerdo con Euler, una constante es una cantidad definida, que siempre asume el mismo valor, y slo uno, en tanto que una variable se introduce como el conjunto (a veces como uno u otro subconjunto) de los nmeros complejos. ... Una cantidad variable, escribi Euler (1341, p. 17), es una cantidad indeterminada, o universal, que comprende en s misma a absolutamente todos los valores determinados ... (Quantitas variabilis est quantitas indeterminata, seu universalis, quae omnes omnio valores determinatas in se complectitur). En consecuencia, prosigue (p.18), una cantidad variable comprende en si misma absolutamente a todos los nmeros, tanto positivos como negativos, tanto enteros como fraccionarios, tanto racionales como irracionales y trascendentales. Ni siquiera el cero o los nmeros imaginarios quedan excluidos del significado de cantidad variable. (Quantitas ergo variabilis in se complectitur omnes prorsus numeros, tam affirmativos quam negativos, tam integros quam fractos, tam rationales quam irrationales et transcendentes. Quin etiam ciphra et numeri imaginarii a significatu quantitatis varabilis non excluduntur). En su definicin de funcin,, Euler una vez ms sigue a su maestro, Johann Bernoulli, an cuando cambia la palabra cantidad por expresin analtica (ibdem): ... La funcin de una cantidad variable es una expresin analtica compuesta de cualquier manera a partir de esa cantidad variable y de nmeros o cantidades constantes ... (Functio quantitatis variabilis est expressio analytica quomodocunque composita ex illa quantitate variabili et numeris seu quantitatibus constantibus). Voy a tener que dejar aparte, tanto la introduccin que hace Euler de las funciones de una variable compleja, colocndolas al mismo nivel que las de una variable real (paso de enorme importancia), como ciertas inconveniencias formales ocasionadas por el hecho de que Euler no consider que las constantes fueran funciones por derecho pro-

2 (1996)

Rosa Ma. Farfn

20

pio. Para mi, lo importante es que Euler fuese el primero en intentar contestar la pregunta: hasta dnde abarca el trmino expresin analtica? O bien -a qu mtodos para su composicin se hace referencia, en realidad? 14 Al enumerar las operaciones por medio de las cuales se componen las expresiones analticas, Euler comienza por las operaciones algebraicas (a las cuales remite tambin la solucin de las ecuaciones algebraicas) y despus cita a varias de ndole trascendente, llegando, en particular, a las funciones exponenciales y logartmicas, y a un nmero infinito de otras funciones que proporciona el clculo integral, incluyendo a la integracin de ecuaciones diferenciales. A continuacin, Euler hace la distincin entre funciones explcitas e implcitas Siendo estas ltimas las que se originan mediante la solucin de ecuaciones, y formula teoremas sobre la existencia de una funcin inversa de otra dada, as como de una funcin representada paramtricamente (dadas x y y como funciones de z, y es funcin de x y viceversa, es decir x es funcin de y). Hablando en trminos prcticos ((39), p. 25), y debido a la imperfeccin del lgebra, no siempre es posible representar explcitamente a dichas funciones: ... no obstante, y por el momento, esta reciprocidad de las funciones se entiende como si todas las funciones pudieran ser resueltas... (interim tamen nihilominus, quasi omnes aequationes resolvi possent, haec functionum reciprocatio perspicitur)15. En el prrafo 8 mostrar la forma en que Euler clasifica a estos ltimos mtodos de introducir funciones, bajo su primera definicin general de funcin. Por el momento, deseo sealar que la clasificacin que hizo Euler de las funciones (tal como se ha descrito, aunque ciertamente no en forma detallada) se utiliz a cabalidad. 8 FUNCIONES ANALTICAS Resulta obvio que el enumerar los diversos mtodos para expresar a las funciones analticamente pareca cosa imposible; en consecuencia, en el Captulo 4 de su Introductio Euler los reduce todos a uno solo y declara que la forma universal y, a la vez, la ms conveniente de la expresin analtica de una funcin es una serie infinita de potencias, del tipo: A + Bz + Cz2 + Dz3 +... Desde luego, como no estaba en posibilidad de demostrar que cualquier funcin poda desarrollarse en una serie de esta ndole, lanzaba el siguiente reto: ... en caso de que alguien dude, su duda quedar eliminada mediante el desarrollo de una u otra funcin... (si quis dubitet, hoc dubium per ipsam evolutionem cuiusque functionis tolletur). Sin embargo, agregaba Euler, con objeto de hacer esta expresin ms general, no nicamente deben admitirse potencias positivas y enteras de z, sino potencias cualesquiera. ... As, no habr duda de que cualquier funcin de z pueda transformarse en una expresin infinita del tipo: Az + Bz + Cz + Dz + ..., donde los exponentes , , , , etc., denotan a nmeros cualesquiera... (Quo autem haec explicatio latius pateat, praeter potestates ipsius z exponentes integros affirmativos habentes admitti debent potestates quaecunque. Sic dubium erit nullum, quin omnis functio ipsius z in huiusmodi expressionem infinitam transmutari possit (see obove) denotantibus exponentibus , , , , etc. numeros quoscunque). Lo cierto es que la inmensa mayora de las funciones que se utilizaban en anlisis matemtico en la poca de Euler eran analticas (en el sentido en que nosotros usamos esta palabra) en todo el dominio de su definicin, salvo, quiz, para valores aislados del argumento y, en casos especiales, se hubieran podido desarrollar en series de trminos que -

14 15

Este problema ya se haba encarado incluso en el siglo XVII, (vase la nota 11) cuando J. Gregory trat de resolverlo a su propio modo. Lo que aqu se dice al respecto de las ecuaciones algebraicas, tambin es vlido, mutatis mutandi, para cualesquiera otras ecuaciones.

Traducciones

... concepto de funcin ...

21

contuvieran potencias fraccionarias o negativas del argumento.16 No debe extraarnos, pues, que las series de potencias y, en menor grado, los productos infinitos y los desarrollos en sumas de fracciones parciales o continuas, se utilicen en el Volumen I de la Introductio como el instrumento principal para el estudio de diversas clases de funciones elementales. Tal como se ha dicho lneas arriba, los teoremas sobre la existencia de las funciones implcitas o paramtricas desde el punto de vista de Euler, se pudieron haber considerado dentro de los lmites de una definicin general de funcin. La cuestin es que, segn Euler, una ecuacin algebraica arbitraria, de cualquier potencia, puede resolverse mediante races. En un caso ms general, y debido a que toda funcin y se poda representar mediante alguna serie de trminos que contuvieran las potencias del argumento z, este argumento poda expresarse en trminos de y por medio de la inversin de la serie; los procedimientos para invertir series haban sido introducidos por Newton. La definicin de funcin dada por Johann Bernoulli y Euler, diciendo que se trata de una expresin analtica, cuya forma ms general es una serie de potencias, fue aceptada por muchos otros matemticos, incluyendo a Lagrange, quien al referirse a Leibniz y Bernoulli en su Thorie des fonctions analytiques (en 1797) denominaba funcin a cualquier expression de calcul.17 Mencionar, de paso, que Lagrange, al igual que Euler y otros matemticos del siglo XVIII, consideraba, sin lugar a dudas, que cualquier funcin del anlisis matemtico poda ser representada por una serie de trminos proporcionales a las potencias reales de la variable independiente; adems, Lagrange ((40), Parte I, Captulo I) incluso trat de demostrar que, en general, las potencias resultantes eran enteros positivos, en tanto que las potencies fraccionarias o negativas nicamente podan ocurrir en casos que correspondieran a valores aislados y especiales del argumento. As, una funcin, que al comienzo del Volumen I de la Introductio de Euler se ha definido como cualquier expresin analtica, ms adelante se dice que es (en nuestra terminologa) una funcin analtica en todas partes, salvo, tal vez, en puntos aislados especiales, en las inmediaciones de los cuales puede ser representada por una serie de potencies generalizada, (vase tambin el prrafo 10). 9. LAS FUNCIONES CONTINUAS Y DISCONTINUAS (MIXTAS) EN EL SENTIDO DE EULER: LA CONTROVERSIA ACERCA DE LA CUERDA VIBRANTE En realidad, en el Volumen I de la Introductio se estudian nicamente las funciones analticas. No obstante, Euler saba que tambin existan funciones de una clase distinta. Este hecho se seala al principio del Volumen 2 de la Introductio, que se dedica principalmente a la teora de las curvas planas. Al igual que a cualquier funcin de x le corresponde alguna lnea curva, tambin las lneas curvas se representan mediante funciones de x, dice Euler, quien prosigue as ((41), p. 11): A partir de tal idea acerca de las lneas curvas, sigue de inmediato su divisin en continuas y discontinuas, o mixtas (Ex hac linearum curvarum idea statim sequitur earum divisio in continuas et discontinuas seu mixtas.) Esta terminologa, que para Euler tena un sentido especial, inslito para nosotros, se utiliza hasta la poca en que Bolzano (en 1817) y Cauchy (en 1821) atribuyeron a las expresiones continuas y discontinuas el significado que en la actualidad ha sido adoptado de manera generalizada; a veces se utiliza incluso hasta en pocas posteriores. En el sentido de Euler, continuidad significa invariabilidad, inmutabilidad de la ley de la ecuacin que determinaba a la funcin a lo. largo de todo el dominio de valores de la variable independiente, mientras que la discontinuidad en una funcin significaba el cambio de la ley analtica, es decir, la existencia de dos leyes distintas en dos o ms intervalos de ese dominio. Las curvas discontinuas, explicaba Euler, estn compuestas por partes continuas, siendo sta
16 17

En esencia, esta interpretacin de la representabilidad analtica es similar a los conceptos que sostenan J. Gregory, (vase la Nota 11). Segn lo expresa Lagrange ([40], p. 15): Se denomina funcin de una o de varias cantidades, a toda expresin de clculo, en la cual estas cantidades intervienen en una forma cualquiera, mezcladas o no con otras cantidades a las que se considera poseedoras de valores dados e invariables, en tanto que las cantidades de la funcin pueden recibir todos los valores posibles. As, en la funcin no se consideran ms que a las cantidades que se suponen variables, sin tomar en consideracin a las constantes que pudieran estar mezcladas con ellas.

2 (1996)

Rosa Ma. Farfn

22

precisamente la razn por la que se les denomina mixtas o irregulares (irregulares); a veces, tambin llamaba a estas curvas mecnicas (mechanices). En geometra, segn Euler, se estudian principalmente las curvas continuas (es decir, las analticas). Las funciones discontinuas o mixtas, as como las curvas del Volumen 2 de la Introductio, corresponden a nuestras funciones analticas por intervalos (piecewise); en consecuencia, su inclusin en el anlisis matemtico no ofreci ninguna ampliacin esencial del concepto de funcin.18 Sin embargo, ya en fecha no posterior al ao mismo en que se public la Introductio (recordemos que el manuscrito de su trabajo se termin en 1744), Euler comprendi que la categora de funciones (curvas) discontinuas, lejos de quedar agotada por las funciones (curvas) mixtas, deba ampliarse en buena medida. Tal como lo seal A. I. Markushevich ((43), pp. 108-109), Euler haba visto la necesidad de tal ampliacin ya incluso en 1744, durante Su trabajo sobre los Methodus inveniendi lineas maximi minimive proprietatis gaudentes (E. 65), cuando comparaba las curvas extremes - soluciones a problemas de variaciones - con las curvas que diferan infinitamente poco de ellas en las inmediaciones de un punto aislado, o de unos cuantos de estos ltimos. Sin embargo, el principal impulso para el desarrollo ulterior del concepto de funcin proviene del trabajo de Euler en la fsica matemtica, comenzando con el famoso problema referente a las vibraciones infinitamente pequeas de una cuerda finita y homognea, fija en ambos extremos.19 La primera interpretacin matemtica de este problema, sobre el cual hay especulaciones que se remontan a Galileo, la ofreci Taylor (en 1715), aun cuando el primer paso decisivo hacia una teora al respecto lo dio D'Alambert en una memoria comunicada a la Acad. Roy. Sci. et Belles lettr. Berln, a finales de 1746 y publicada en la Histoire de esta institucin, en 1749, (45). D'Alembert expres las condiciones de este problema mediante ecuaciones equivalentes a una ecuacin diferencial parcial:
2 2 y 2 y a = , t 2 x 2

(que aparecieron en forma explcita en la memoria E. 213 de Euler, publicada en 1755) y demostr que la solucin general del problema poda representarse mediante la suma de dos funciones arbitrarias:
y = ( x + at ) + ( x - at )

la cual, debido a las condiciones de frontera, se reduce a:

y = (at + x ) + (at - x ) .

De acuerdo con una opinin recientemente expresada por I. Grattan-Guinness ((421, pp. 6-7), el trmino continuo de Euler es sinnimo con el de diferenciable que nosotros utilizamos, mientras que su discontinuo corresponde a nuestro continuo. Por otro lado, A. Speiser (42a) haba escrito: por funcin continua, Euler, al igual que Leibniz antes que l, se refiere a una funcin especificada por una ley analtica, precisamente en la misma forma que ocurre con las que en la actualidad se denominan funciones analticas. Estas tienen la propiedad de quedar determinadas en todo su rango, por medio de un trozo de ellas arbitrariamente pequeo .... Truesdell ([42b], pp. XLI-XLIII), aun cuando aceptaba la afirmacin de Speiser, sostena que el contexto de las ecuaciones diferenciables parciales, en el que Euler introdujo sus funciones discontinuas, haca palmario que consideraba a estas funciones como no susceptibles de diferenciacin nicamente en puntos aislados. Escriba lo siguiente: El universo fsico de Euler ... es uniforme por trozos (piecewise), pero no por ello deja de ser continuo, aun cuando en menor grado que el Leibniziano. Posteriormente ([51], pp. 243-247-248, 296-297 y 419) Truesdell aport evidencias con miras a demostrar que en el contexto de la cuerda vibrante, Euler daba a entender por funcin (no necesariamente continua, segn el sentido que l le da) a lo que en la actualidad llamaramos una funcin continua con pendiente y curvatura continuas, por trozos o intervalos (piecewise). Sin embargo, vase lo que se dice en la nota 22a, al respecto del uso que hace Euler de las funciones discontinuas en el sentido moderno. Dejando aparte el problema de que Euler haya identificado a las expresiones analticas con las funciones analticas (lo que, en esencia, es ilegitimo hacer), lo que deseo recalcar es que las funciones de Euler, ya sean las continuas o las discontinuas (mixtas) en cualquiera de los sentidos que l d a estas palabras, pueden tener discontinuidades, en el sentido moderno, en puntos aislados. En sus trabajos posteriores, Euler, como pondr de manifiesto, adopt un punto de vista ms amplio al respecto de las funciones discontinuas; vase lo que sigue. 19 La afirmacin de Grattan-Guinness ([42], p. 6) en el sentido de que la distincin entre funciones continuas y discontinuas que hace Euler en el Vol. 2 de su Introductio tiene su origen en su estudio del problema de la cuerda, resulta algo dudoso. Hasta donde yo s, la nica correccin al manuscrito de su volumen, que ya estaba en manos de M. Busquet, el impresor suizo, y cuya edicin fue supervisada por J. Castillon, fue la que envi Euler el 15 de diciembre de 1744, por mediacin de G. Cramer ([44], No. 462-464). La impresin de la Introductio, como lo demuestra una carta de Cramer a Euler, fechada el 13 de agosto de 1746 ([44], No. 467), haba comenzado durante el invierno de 1746-1747, en tanto que el 8 de abril de 1748, Castillon le informaba a Euler (ibdem, No. 369) que ya haba sido terminada.

18

Traducciones

... concepto de funcin ...

23

En cada caso particular, las funciones que aparecen en la solucin general quedan determinadas por la forma inicial de la cuerda (y por las velocidades iniciales de sus puntos). Desde luego, estas condiciones iniciales pueden ser muy diversas, pero D'Alambert restringi estrictamente la categora de las formas iniciales admitidas para la cuerda, aduciendo que sin tales limitaciones no sera posible llegar a ninguna solucin del problema, mediante el anlisis matemtico. Entre las restricciones que impuso D'Alembert resulta de inters especial la suposicin de que la forma inicial de la cuerda debe estar representada, en toda su extensin, por una sola ecuacin y siempre la misma; es decir, la cuerda es continua, an el sentido de Euler. No tard Euler en responder a la memoria de D'Alembert, que tuvo oportunidad de estudiar muy poco tiempo despus de que ste ltimo la comunicara, presentando, el 16 de mayo de 1748, su propia memoria titulada De vibratione chordum execitatio, E. 119, que fue publicada en 1749, en la Nova Acta Eruditorum. (Su versin francesa, Sur la vibration descorde E. 140, fue publicada en 1750 ((46), pp. 50-77) por la misma Amd. Roy. Berln). Aun cuando Euler otorgaba un gran valor al mtodo de D'Alembert en su conjunto, discrepaba de ste en cuanto a la naturaleza de las funciones que deban admitirse en las condiciones iniciales (y, en consecuencia, en cuanto a la solucin del problema). Guiado por consideraciones fsicas, as como por una profunda intuicin matemtica, ya incluso al plantear el problema, escriba ([46], p. 64): ... la premiere vibration depend de notre bon plaisir, puisquon peut, avant de lacher la corde, lui donner une figure quelconque; ce qui fait que le mouvement vibratoire de le meme corde peut varier a linfini, suivant quon donne a la corde telle ou telle figure au commencement du mouvement ... (... La primera vibracin puede escogerse como nos plazca, ya que antes de soltar la cuerda se le puede dar a sta una configuracin cualquiera, con lo cual, el movimiento vibratorio de la cuerda puede variar de manera infinita, segn que se le d a la cuerda tal o cual figura, al inicio del movimiento...). Repitiendo esta aseveracin en la propia investigacin, que en su primera parte se parece a la de D'Alembert, Euler (p. 27) considera una ... courbe anguiforme, soit reguliere, contenue dans une certaine equation, soit irreguliere ou mechanique... (... curva anguiforme, o sea regular, contenida dentro de una determinada ecuacin, ya sea irregular o mecnica...), es decir, sin que se tengan que imponer restricciones a la forma de la cuerda. En un caso particular, llega a una solucin que corresponde a la forma continua inicial representada por una serie trigonometrica: y = a sen px 2 px 3 px + sen + sen +..., (+) l l l

estando la cuerda fija en los puntos extremos x = 0 y x = l D'Alembert no estaba de acuerdo con Euler. Y as comenz la prolongada controversia acerca de la naturaleza de las funciones que deban permitirse en las condiciones iniciales, as como en las integrales de las ecuaciones diferenciales, que seguan apareciendo en nmero cada vez creciente en la teora de la elasticidad, en hidrodinmica, en aerodinmica y en la geometra diferencial. Esta controversia pronto adquiri una nueva dimensin al incorporarse a ella un nuevo participante, D. Bernoulli, cuya aportacin fue publicada en 1755. Desarrollando el mtodo de la superposicin de modalidades, que l mismo haba introducido en sus estudios anteriores, Bernoulli sostena que tanto la forma inicial arbitraria de la cuerda como sus vibraciones subsiguientes, podan representarse mediante series infinitas de trminos, incluyendo los de senos de ngulos mltiples. Segn Bernoulli, con la eleccin adecuada de coeficientes, tal serie (+) pasa a ser tan general como las series de potencias; sin embargo, Bernoulli nunca conoci el mtodo para el clculo de los coeficientes de Fourier

2 (1996)

Rosa Ma. Farfn

24

Euler, quien poco antes haba ofrecido una solucin en forma de serie (+), para un caso especial, exclua cualquier posibilidad de representar en tal forma a funciones mixtas arbitrarias o a clases muy amplias de funciones continuas, como por ejemplo, las algebraicas. (Vanse sus Remarques sur les memoirs precedents de M. Bernoulli (E. 213), publicadas en 1755. Eclaircissements sur le mouvement des cordes vibrantes (E. 317), publicado en 1766; y Sur le mouvement d'une corde qu'au commencement na t branle que dans une partie (E. 339), publicado en 1767 ([46], pp. 237, 385, 430, 431)20. Tambin D'Alembert rechaz la solucin de D. Bernoulli. No obstante, la controversia prosigui. Se incorporaron a ella Lagrange (en 1759-1762) y, algo ms tarde, otros matemticos prominentes (Monge, Laplace, Arbogast, Fourier, etc.). Esta controversia de la que Truesdell [51] relata la historia en forma sumamente detalla hasta 1788, fue de importancia capital, tanto para el propio progreso de la fsica matemtica como para el desarrollo metodologico de los fundamentos del anlisis matemtico. Desde el punto de vista de mi exposicin, lo esencial es que Euler, ya a partir del comienzo mismo de su estudio del problema de la cuerda, adelant la tesis en el sentido de que para su solucin deban admitirse curvas de forma arbitraria, es decir, curvas que no pertenecieran a la clase de las funciones mixtas, ya que, en general (en opinin de Euler), [stas] no cumplen con ninguna ley analtica. De manera ms detallada, Euler desarroll sus puntos de vista sobre esta materia en su trabajo De usu functionum discontinuarum in analysi (E. 322) que envi a la Academia de San Petersburgo en el verano de 1763 y que fue publicado en 1767 ((52), pp. 74-91). En esta memoria, las funciones continuas se definen, en trminos de imgenes geomtricas, suponiendo no nicamente que la relacin entre las coordenadas de todos los puntos de alguna de tales curvas queda determinada por una sola ley o ecuacin, y siempre la misma, sino tambin que (pp. 75-76): ... todas las partes de la curva (continua) estn firmemente conectadas entre s, de tal manera que resulta imposible cualquier cambio en ella, sin perturbar los nexos de continuidad... (omnes curvae partes ita vinculo arctissimo inter se cohaerent, ut nulla in illis, mutatio salvo continuitatis nexu locum invenire possit). Euler recalca que a lo que se refiere no es a la conexin o continuidad de la trayectoria o camino que sigue la curva (continuitas tractu), sino exclusivamente, a la unicidad de la correspondiente ley analtica. As, las dos ramas conjugadas de una hiprbola constituyen una curva continua. Esta propiedad principal de las lneas continuas, que para Euler se desprenda directamente del concepto que tena de continuidad, poda expresarse de otra manera: cualquier parte pequea de una lnea (funcin) continua determina en forma crtica a esta lnea como un todo (vase la Nota 18). Hace ya mucho tiempo, I. Yu. Timchenko ([53], p. 482) hizo la siguiente observacin:

20 Euler supona que una funcin continua en algn intervalo quedaba definida por una expresin, y solamente una, a lo largo de ese intervalo (como se dir ms adelante). En consecuencia, y segn Euler, la suma impar y peridica de una serie de senos, no poda representar a una funcin algebraica cualquiera, ni, por lo comn, a ciertas funciones trascendentes. Posteriormente, en su memoria titulada Disquisitio ulterior super seriebus secundum multiplae cuisdam anguli progredientibus (E. 704), remitida a la Academia de Ciencias de San Petersburgo el 29 de mayo (9 de Junio) de 1777 y publicada pstumamente en 1798 ([47] pp. 335-355), Euler dedujo frmulas para los coeficientes de Fourier en el intervalo [0, ]. Sin embargo, ya no volvi a tomar parte en la controversia acerca de la representabilidad de las funciones mediante series trigonomtricas. Algn tiempo antes (en 1722, vase (48)), D. Bernoulli, partiendo de un razonamiento distinto, desarroll la funcin

y=

en forma de serie, observando correctamente que tal desarrollo es vlido para el intervalo [0, 2] y describiendo, adems, de manera muy estricta el comportamiento de la serie, tanto en ambos extremos como ms all de dicho intervalo. Tambin examin otros ejemplos. Lo que resulta notable es que el mismo desarrollo de las funciones (+) haya sido del conocimiento de Euler, quien, a pesar de esta contradiccin con sus propias opiniones, lo incluy tanto en su carta a Goldbach fechada el 4 de Julio de 1744 ([49], p. 195) como en su trabajo Institutiones calculi differentialis (E. 212), publicado en 1755 ([50], parte 2, prrafo 92), sin mencionar que el desarrollo solamente es vlido para 0 < x < 2. No fue sta la nica ocasin en que Euler supo de ejemplos que no cumplan con sus conceptos, pero que quiz haya considerado como excepciones insignificantes a la regla general.

x + 2 2

(+)

Traducciones

... concepto de funcin ...

25

... Hasta donde Euler identific a las expresiones analticas con las funciones susceptibles de ser representadas mediante series de Taylor, la propiedad de continuidad corresponde con la propiedad de unicidad de las funciones analticas, en el sentido de Weierstrass...21 Por lo que toca a las curvas discontinuas, Euler las define como ... todas las curvas no determinadas por alguna ecuacin definida, del tipo que pueden resultar mediante un trazo libre de la mano ... (omnes enim linease curvae per nullam certam aequationem determinatae, cuiusmodi libero manus tractu delineari solent). Una vez ms, esta discontinuidad no se refiere a la trayectoria de la curva; son tambin discontinuas aquellas curvas que se extienden de manera continua (etiamsi continuo procedam) en el sentido de que estn conectadas. Si ignoramos el hecho emprico de que las figuras geomtricas ideales no pueden ser dibujadas, las funciones discontinuas corresponden entonces a nuestras funciones arbitrarias que son continuas por intervalos (piecewise) con derivadas continuas por intervalos, tanto de primero como de segundo orden (cf. [51], p. 247)22. Sin esta ltima condicin, implcita en la descripcin geomtrica, aunque no formulada explcitamente, la discontinuidad se vuelve absolutamente arbitraria, de tal manera que ninguna parte de una curva discontinua necesita ser continua, es decir, susceptible de ser representada analticamente y, por ende, segn Euler, analtica. La amplitud del nuevo concepto de Euler queda tambin confirmada por la mencin que hace, inmediatamente despus de dar la descripcin de toda la clase de curvas discontinuas, o mecnicas, en el sentido de que (ibdem) a esta clase. ... se le deben atribuir tambin las lneas a las que comnmente se llama mixtas. (Atque huc etiam referri convenit lneas vulgo mixtas vocatas)..., verbigracia, el permetro de un polgono (ejemplo que se consider repetidas veces durante la controversia sobre la cuerda), etc. En la parte subsiguiente de su memoria, Euler estudia el papel que desempean en las matemticas las distintas clases de funciones. En las ramas tradicionales, tanto del anlisis matemtico como de la geometra avanzada, se estudian las funciones continuas; pero es algo distinto lo que ocurre con ese campo recientemente descubierto y todava poco desarrollado del clculo integral, a saber, la integracin de ecuaciones que contienen diferenciales de dos o ms variables. Al igual que en las integrales de las ecuaciones diferenciales ordinarias aparecen cantidades constantes arbitrarias tambin las soluciones de esa clase de ecuaciones, esencialmente nuevas, contienen funciones discontinuas, absolutamente indefinidas y que dependen de nuestro libre arbitrio (ad arbitrio -nostro) ((52), p. 96). Euler supona que era precisamente esta circunstancia la que constitua la caracterstica principal (y la mayor fuerza) de la integracin de las ecuaciones diferenciales parciales, tema que presentaba una esfera sumamente amplia para nuevas investigaciones. Algn tiempo despus, Euler dedic a las ecuaciones diferenciales parciales casi la totalidad del Volumen 3 de su obra Institutiones calculi integralis (E. 315), publicada en 1770, recalcando una vez ms y con todo vigor la utilidad de las funciones discontinuas ((55), prrafos 37 y 299). 10. LA DEFINICIN GENERAL DE FUNCIN, SEGN EULER. Puesto que, en opinin de Euler, las funciones discontinuas por lo comn no susceptibles de representarse analticamente, la definicin de funcin que se daba en el Volumen I de la Introductio, y que se modifica ligeramente en su Volumen 2, pasa a ser demasiado restringida. Con objeto de formular otra definicin que abarcara a todas las clases conocidas de relacin Euler recurri a un concepto que siempre estaba presente, por ms que no se expresaba explcitamente en ninguno de los mtodos para introduccin de funciones; me refiero a la nocin general de la corresponLa unicidad del desarrollo de una funcin (que posea una variable real) en una serie de Taylor, bajo la hiptesis de que dicha serie efectivamente exista, ya haba sido establecida por C. MacLaurin ([54], Vol. 2, pp. 610-611). 22 En el problema de la cuerda, tambin se supone su continuidad (conexin) a lo largo de todo el intervalo.
21

2 (1996)

Rosa Ma. Farfn

26

dencia entre pares de elementos, cada uno de ellos perteneciente a su propio conjunto de valores y de cantidades variables. Este concepto, que no est vinculado con ninguna expresin analtica definida, haba sido utilizado ms de una vez en los razonamientos que estn implcitos en el Volumen I de la Introductio, especialmente en sus captulos 2 y 3, el primero de los cuales comienza con la frase siguiente ((39), p. 32): ... Las funciones se transmutan en otras formas, ya sea mediante la introduccin de otra cantidad variable en vez de la utilizada inicialmente, o (incluso) manteniendo la misma cantidad variable...(Functiones in alias formas transmutantur vel loco quantitatis variabilis alian introducendo vel eanden quantitatem variabilem retinendo). En los ejemplos que se dan en el mismo pasaje, se ilustra la forma en que una y la misma cantidad variable se puede presentar de diversas maneras. As, una funcin de z, u = 2 3 z + z2 es la misma que u = (1 - z)(2 - z), y

v = a4 - 4a3z + 6a2z2 - 4az3 + z4 se transforma en una funcin ms siempre de y, v = y4, haciendo la sustitucin a - z = y, en tanto que una funcin irracional de z,

w = a2 + z2 ,

se convierte en funcin racional de y, a2 + y2 2y

w=

tras efectuar la sustitucin a2 y2 . 2y

z=

Resulta obvio que dos (o ms) cualesquiera expresiones analticas de esta ndole poseen una propiedad comn, a saber, establecen en forma distinta la misma correspondencia entre dos conjuntos de valores numricos de la variable z con las funciones y, v, w, correspondientes. Ahora bien, es preciso que esta relacin se d en la forma ms universal y abstracta que sea posible, y esto es exactamente lo que hizo Euler al formular su nueva definicin de funcin, en el prefacio a su obra Institutiones calculi differentialis (publicada en 1755) ((50), p. 4): ...si algunas cantidades dependen en tal forma de otras cantidades, que en caso de modificar a stas ultimas tambin las primeras sufren un cambio, se dice que las primeras cantidades; son funciones de las segundas. Esta denominacin es de la naturaleza ms amplia y abarca a todo mtodo mediante el cual una cantidad puede ser Traducciones

... concepto de funcin ...

27

determinada por otras. En consecuencia, si x denota a una cantidad variable, entonces todas las cantidades que dependen de x en cualquier forma quedan determinadas por -ella y se las denomina funciones de ella.." (Quae auten quantitates hoc modo ab aliis pendent, ut his mutatis etiam ipsae mutationes subeant, eae harum functiones appellari solent; quae denominatio latissime patet atque omnes modos, quibus una quantitas per alias deteminari potest, in se complectitur. Si igitur x denotet quantitatem variabilem, omnes quantitates, quae utcunque ab x pendent seu per eam, determinantur, eius functiones vocantur). Sin embargo, en el propio libro, dedicado al clculo diferencial, nicamente se consideran las funciones analticas, circunstancia que permiti a Euler arreglrselas sin recurrir al uso explcito del concepto del lmite de una funcin (que nicamente se menciona en el prefacio), basndose en un peculiar clculo de ceros (56). El concepto de funcin expresado por Euler ejerci una vigorosa y positiva influencia en todo el desarrollo subsiguiente de las matemticas. En primer lugar, y con importancia capital, estuvo el aislamiento de la categora de las funciones continuas, es decir, de las funciones analticas susceptibles de representarse mediante series de potencias, y el descubrimiento de las principales propiedades que le son peculiares a esta categora, y de las cuales hasta ahora slo he mencionado Su unicidad (que es caracterstica, segn se averiguo nicamente en el siglo XX, incluso de la categora mas general de las funciones cuasianalticas). Aparte de esta propiedad, Euler (y tambin en cierta medida D'Alembert) determin otras propiedades esenciales de las funciones analticas. As, demostr (en un trabajo de 1755, publicado en 1778) que las funciones analticas proyectan a una esfera sobre un plano de manera conforme, manteniendo la similitud de figuras infinitamente pequeas; la expresin en s (proyectio conformis) se debe a F. Shubert, quien la utiliz en 1789, despus del fallecimiento de Euler. Este, fue el primero en hacer uso de las cantidades complejas en el clculo de las integrales definidas y, a este respecto, dedujo (en un trabajo de 1777, publicado en 1797), recurriendo a consideraciones analticas, las ecuaciones llamadas de Cauchy - Riemann, las cuales ya D'Alembert haba obtenido en 1752, en el transcurso de sus investigaciones sobre hidrodinmica. As pues, la teora general de las funciones analticas del siglo XIX, desarrollada en cada una de las direcciones que escogieron Cauchy, Riemann y Weierstrass, tuvo sus races en los trabajos de Euler y de D'Alembert. No menos importantes para el desarrollo subsiguiente del anlisis matemtico, lo fueron la introduccin de las funciones discontinuas arbitrarias y el estudio de un buen nmero de problemas referentes a las relaciones entre las propiedades intrnsecas de una u otra clase de funciones de una variable real y las herramientas matemticas que se utilizaban para la representacin de estas funciones. A pesar de la prolongada y persistente oposicin de D'Alembert, quien a veces sealaba detalles realmente dbiles o insuficientes en los conceptos de Euler (haba dificultades especiales relacionadas con los problemas de la discontinuidad, en e1 sentido que nosotros le damos, de la pendiente y la curvatura de la forma inicial de la cuerda vibrante), estos conceptos se extendieron, paulatinamente, cada vez ms. El primero que vino a colocarse del lado de Euler fue Lagrange (en 1759-1762), con sus trabajos sobre la propagacin del sonido y al respecto de la vibracin de las cuerdas; y aun cuando durante algn tiempo se puso del bando de D'Alembert, posteriormente (en 1788) regres a su postura anterior. Con ciertas reservas o especificaciones, el punto de vista de Euler fue apoyado ms tarde por muchos otros matemticos, entre los que merecen citarse G. Monge, F. S. Laplace, M. J. Condorcet y L. Arbogast. Incluso D'Alembert, durante sus ltimos aos, cambi de opinin y permiti que en las soluciones de las ecuaciones diferenciales parciales de cualquier orden, intervinieran funciones discontinuas cuyas derivadas, hasta el mismo orden, no poseyeran saltos (Sur les fonctions discontinues, 1780). De hecho, en cierto momento D'Alembert utiliz el concepto de la derivada por la izquierda y de la derivada por la derecha [57]. Se debe sealar, a este respecto, que estas polmicas ponan de manifiesto la necesidad de establecer una separacin ms ntida de las funciones continuas con respecto a las discontinuas (en el sentido que nosotros le damos), tal como efectivamente lo hizo L. Arbogast en un trabajo [58] al que la Academia de Ciencias de San Petersburgo le otorg en 1790 el premio correspondiente a la competencia de 1787, que se refera a la naturaleza de las funciones arbitrarias que deban admitirse en la resolucin de las ecuaciones diferenciales parciales.

2 (1996)

Rosa Ma. Farfn

28

Arbogast crea que era posible (aun cuando no en el problema de la cuerda, en el cual la continuidad de la curva queda condicionada por su naturaleza propia) utilizar no nicamente funciones con derivadas discontinuas, sino tambin funciones que fuesen discontinuas en puntos aislados23; a estas las denominaba ([58] p. 11) functions discontiges, ... parce que leurs parties ne tiennent pas, ou ne sont pas contiges les unes les autres... (Porque sus partes no van sujetas, o no son contiguas entre s). Sin embargo, Arbogast no ofreca ninguna definicin analtica de continuidad (o de discontinuidad). Los matemticos del siglo XVIII no haban sentido la necesidad de dar tal definicin; si era necesario, describan a la importante propiedad de la continuidad en forma verbal. As, por ejemplo, al explicar los mtodos para el clculo aproximado de las integrales definidas, en el Volumen I de su obra Institutiones calculi integralis (E. 342), publicada en 1768, Euler escriba ([59], prrafos 297 y 300) que el clculo de xdx sera tanto ms exacto cuanto ms pequeos fuesen los incrementos supuestos para la variable independiente x, siempre y cuando los incrementos del integrando x fueran tambin pequeos. Euler describe (prrafo 304) en forma igualmente verbal el comportamiento de una funcin discontinua. x= 1 1 x2

en las inmediaciones del punto x =1, sealando que cualquier pequeo incremento de x da lugar a un cambio extremadamente grande en la funcin x, pero no utiliza la palabra continuidad.24 Las discontinuidades en las soluciones de las ecuaciones diferenciales parciales presentan grandes dificultades, cuya superacin slo result posible al nivel mucho ms alto que alcanz el anlisis matemtico en la segunda mitad del siglo XIX. (Cf. [51], pp. 286-297). En la presente poca, y gracias al anlisis funcional, ha surgido un nuevo desarrollo, extremadamente amplio y sumamente importante, de este problema. Me refiero a la teora de las soluciones generales de las ecuaciones diferenciales parciales (y, en particular, de la ecuacin de una onda), desarrollada principalmente por S. L. Sobolev (1936) y L. Schwartz (1945). Estas funciones (Sobolev) o distribuciones (Schwartz) generalizadas son funciones lineales que no necesitan ser diferenciales en el sentido usual, pero que poseen derivadas generalizadas. De la misma forma en que la teora moderna de la suma de series demostr que, en esencia, eran correctos los puntos de vista de Euler en cuanto a la importancia y el uso de las series divergentes, tambin la teora de las funciones generalizadas ilustra de manera sorprendente la profunda intuicin y perspicacia de Euler al respecto de las funciones discontinuas. No obstante, las condiciones generales en que se encontraba el anlisis matemtico en el siglo XVIII, en ninguno de los dos casos permitieron que Euler estableciera sus ideas con precisin (desde el punto de vista de las generaciones

En los momentos en que el presente trabajo estaba entrando en prensa, C. Truesdell me hizo poner atencin en el escrito E. 340 de Euler, Eclaircissements plus dtailles sur la gnration et la propagation du son et sur la formation de lcho, Opera Ownia ser. III, Vol. I, editada por E. Bernoulli, R. Bernoulli, F. Rudki y A. Speiser, en 1926. En ese trabajo, que fue presentado a la Academia de Berln los das 19 y 26 de septiembre de 1765, y que se public en 1767, Euler examina la ecuacin de la onda en el marco de las perturbaciones del aire. Aqu, a diferencia del problema de la cuerda vibrante, el problema fsico no requiere de soluciones continuas en el sentido moderno. Con objeto de estudiar las soluciones a la ecuacin funcional que Euler considera como equivalente, o quiz como sustituta de las ecuaciones diferenciales parciales, introduce funciones que poseen el valor de cero en todos los puntos, salvo uno. Seala que, puesto que las funciones de pulso constituyen lo que en la actualidad se denomina una base (no numerable) para el conjunto de todas las funciones, su utilizacin como valores iniciales de una funcin de onda hace posible describir de manera concisa y en trminos geomtricos la totalidad de la teora de la propagacin y reflexin de las ondas planas. Resulta interesante observar tambin que Euler obtiene estas soluciones mediante diagramas en los que se representan las funciones de pulso. Esta cuestin la explica Truesdell (42b, pp. LXI-LXII) en forma extensa. 24 Debe observarse que en el caso que se est considerando, Euler en esencia interpreta a la integral definida como al lmite de la suma X(xk)dxk; su propia hiptesis ([59], prrafo 302) era que la integracin poda llevarse a cabo con toda la exactitud que se requiriera, pero no dejaba de agregar que la exactitud absoluta nicamente poda alcanzarse cuando todos los x se hacan infinitamente pequeos, es decir, iguales a cero. Tal concepto de integral definida, expresado originalmente por Leibniz, difiere de la definicin bsica adoptada por Euler y sus contemporneos, segn la cual a la integral se la entenda como una funcin cuya diferencial es igual a Xdx, siendo la integral definida igual a la diferencia entre los valores de la funcin primitiva (trmino acuado por Lagrange) en los lmites de integracin superior e inferior.

23

Traducciones

... concepto de funcin ...

29

subsiguientes) ni que formulara definiciones exactas, y ni siquiera salvarse de errores, algunos de los cuales fueron observados incluso por sus contemporneos ms jvenes 11. CRTICA DEL CONCEPTO DE FUNCIONES MIXTAS; CHARLES (1780) Y FOURIER (1807-1821). La primera de las ideas de Euler en ser criticada fue su aislamiento de la categora de las funciones mixtas. Poco tiempo despus de su muerte se demostr que las funciones que se introducan mediante distintas expresiones analticas para diferentes regiones de algn intervalo finito (o, a veces, infinito) tambin podan ser representadas por una sola ecuacin y siempre la misma. Los primeros ejemplos de tales funciones los ofreci J. Charles en su trabajo, Fragment sur les fonctions discontinues, de 1780 [60]. Mucho tiempo despus, incluso el eminente Cauchy consider que vala la pena dedicar un trabajo expresamente a este problema, y ste fue su Mmoire sur les fonctions continues [61] (publicado en 1844). El ms sencillo de sus ejemplos era una funcin: x, x 0 y= - x , x < 0 y, en consecuencia, discontinua, pero a la vez susceptible de ser representada por una sola ecuacin: y = x 2 , para toda - 8 < x < + 8 y, por ende, continua. De esta manera, la discriminacin entre funciones mixtas y continuas resulta ser tericamente insostenible. Fue mucho ms importante, empero, la critica a este mismo concepto de las funciones mixtas, dentro del marco de la teora de las series trigonomtricas. Como hemos visto (prrafo 9), en dos de sus memorias (E. 317 y E. 339) Euler negaba categricamente que fuera posible representar la figura inicial de la cuerda, definida sobre dos partes de un intervalo finito dado mediante dos ecuaciones distintas, por medio de una serie de trminos que contuvieran senos de arcos mltiples. A comienzos del siglo XIX, Fourier refut esta tesitura en sus trabajos sobre la teora de la propagacin del calor, que tambin dio origen a la teora de las series trigonomtricas. Ya en 1805, en un fragmento recientemente publicado por I. Grattan-Guinness ([67], p. 183), Fourier escriba lo siguiente: ...Il rsulte de mes recherches sur cet objet que les fonctions arbitraires mene discontinues peuvent toujours etre representes par les developpements en sinus ou cosinus d'arcs mltiples, et que les integrales (of the partial differential equations) qui contiennent ces diveloppements sont prcisement aussi gnrales que celles ou entrent les fonctions arbitraires d'arcs mltiples. Conclusion que le clebre Euler a toujours repousss ... (Mis investigaciones sobre este tema ponen de manifiesto que las funciones arbitrarias aun cuando sean discontinuas, pueden siempre ser representadas por desarrollos en senos y cosenos de arcos mltiples, y que las integrales (de las ecuaciones diferenciales parciales) que contienen estos desarrollos, son precisamente tan generales como aquellas en las que intervienen las funciones arbitrarias de arcos mltiples. Conlusin que el clebre Euler siempre ha rechazado). Al proseguir, Fourier presenta unos cuantos ejemplos ilustrados mediante grficas. Desarroll su razonamiento en forma ms detallada en su obra, Thorie de la propagation de la chaleur dans les solides, que remiti al Institut de France el 21 de diciembre de 1807, pero que slo recientemente ha sido publicada, de nuevo por Grattan-Guinness (vase [62]), y, posteriormente, en su trabajo fundamental, Thorie analytique de la chaleur, en 1822 (63). Las conclusiones a las que lleg Fourier en 1807 alarmaron a los matemticos de las generaciones ms antiguas, y el mismo Lagrange fue uno en los que desconfiaron de ellas; por otro lado, despus de 1822 recibieron una entusiasta acogida por parte de los matemticos jvenes. Educado en las tradiciones del siglo XVIII, el propio Fourier supona que quiz pudiera utilizarse una serie trigonomtrica a manera de representar a cualquier funcin mixta, y no ofreci ningn anlisis satisfactorio del problema en 2 (1996)

Rosa Ma. Farfn

30

las representacin en las funciones mediante series de esa ndole. Sin embargo, una vez que se hubo planteado el problema, sta pas a ser, en el curso de los siguientes aos, objeto en estudios especiales basados en el nuevo concepto general del clculo, cuyos elementos haban sido sistemticamente desarrollados por Cauchy en su Cours d'analyse... 1re. partie: analyse algbrique, 1821 [64] y Rsum des lecons ... sur le calcul infinitsimal, 1823 [65]. Puesto que la serie de coeficientes de Fourier de cualquier funcin dada f(x) es igual a las integrales de los productos f(x) con nx y f(x) sen nx, la clase de tales series se fueron ampliando gradualmente, a medida que se fueron formulando definiciones de integral cada vez ms generales. Y tambin adquirieren un nuevo contenido, paulatinamente, los conceptos de convergencia y en sumas de series. 12. DIGRESIN: LA REPRESENTACIN ANALTICA DE LAS FUNCIONES. No entraremos aqu en los detalles en las numerosas investigaciones que se han dedicado a las condiciones suficientes para la represen tacin en las funciones mediante series en Fourier. nicamente mencionar que a partir en las condiciones presentadas por P. Lejeune - Dirichlet en el perodo en 1629 a 1837 [66], se desprenda que cualquier funcin acotada, si es continua y montona por trozos (piecewise) a lo largo de un intervalo dado, poda desarrollarse en una serie en Fourier que convergiera hacia esa funcin. Esto significaba que una curva arbitraria trazada sobre un intervalo determinado mediante un trozo a mano libre (es decir, cualquier funcin arbitraria discontinua, en el sentido en Euler, y acotada) poda representarse por medio en una sola ley analtica, cambindola as a curva continua. Desde luego, no toda funcin continua sobre un intervalo dado es susceptible de representarse mediante su serie en Fourier, la cual, es ese intervalo, puede divergir en un nmero infinito en puntos. El que una funcin dada sea susceptible de representarse analticamente depende de los mtodos de expresin analtica que se admitan. En el Volumen I de su Introductio, Euler manifestaba que la forma ms general en expresin analtica era una serie de potencias generada por un nmero numerable (trmino moderno) de sumas y multiplicaciones en la variable x y un conjunto numerable de constantes, adems de permitirse un proceso de paso al lmite25. Posteriormente, Euler expres definitivamente su confianza en el hecho de que sus funciones discontinuas no son, hablando en trminos generales, analticas, explicando, adems (como por ejemplo, en sus Eclaircissements sur le mouvement des cordes vibrantes, E. 327 ([46] p. 385) que: ... on regarderoit fort mal a propos toutes les courbes comme renfermes dans equation parabolique
y = A + Bx + Cx 2 + Dx 3 + etc. ,

quoi quon puisse faire passer cette courbe par une infinite de points donns. (Se consideraras como muy mala ocurrencia el pensar que todas las curvas estn encerradas en la siguiente ecuacin parablica
y = A + Bx + Cx 2 + Dx 3 + etc. ,

por ms que a esta curva se la pudiera hacer pasar por una infinidad de puntos dados.). Y definitivamente estaba en lo cierto. Cauchy demostr que incluso una funcin infinitamente diferenciable en un punto dado, poda aun as, no ser analtica en ese punto. El ejemplo que dio, 1 exp( 2 ), F ( x) = x 0, x0 x=0

publicado en 1823, en su Rsum des lecons ... sur le calcul infinitsimal [65], ha pasado a ser clsico26. Por otro lado, tal como lo mostr A. Pringsheim (en 1893) hay funciones infinitamente diferenciables que no son analticas a lo largo de ningn intervalo.
25 26

Tal como se ha sealado anteriormente (Nota 11), tal construccin trae a la mente la idea de J. Gregory. Esta funcin podra escribirse mediante una sola expresin analtica, a saber, por medio de la suma de

Traducciones

... concepto de funcin ...

31

Si se amplia el acopio de las expresiones algebraicas, tambin ocurre lo mismo, y en forma sumamente extraordinaria con el domino de las funciones susceptibles de representar analticamente. As, Weierstrass demostr que cualquier funcin que sea continua o lo largo de un intervalo cerrado se poda representar en ese intervalo, mediante la suma de series uniformemente convergentes de polinomios enteros (demostracin publicada en 1885). Y adems, incluso las funciones discontinuas de una naturaleza muy compleja, cuya clasificacin fue desarrollada por R. Baire (en 1898 y 1899) pueden ser representadas por sumas de series convergentes y series mltiples de polinomios. H. Lebesgue denomin analticamente representable a cualquier funcin que pudiera construirse mediante un conjunto numerable de sumas, multiplicaciones y procesos de paso al lmite, llevados a cabo conforme una ley definida referente a la variable independiente, y un conjunto numerable de cantidades constantes. La clasificacin de Baire (segn fue establecida en 1905 por Lebesgue) abarca a todas aquellas funciones que son tambin en e1 sentido de E. Borel. A esta ley de construccin Lebesgue la denomin une expression analytique. (cf. [10]). 13. RECONOCIMIENTO DE LA DEFINICIN GENERAL DE EULER: CONDORCET (1778) LACROIX (1797), FOURIER (1821), LOBATCHEVSKY (1834), DIRICHLET (1837). As pues, la divisin de las funciones en continuas y discontinuas (incluyendo a las mixtas) no pudo mantener su lugar dentro de las matemticas27; por otro lado, la definicin general de funcin que se debe a Euler (vase el prrafo 10) paulatinamente fue ganando reconocimiento y uso cada vez. ms generalizados. Todo parece indicar que el primero en evaluar correctamente la importancia de esta nueva definicin fue Condorcet, quien desarroll el concepto de Euler en un Trait de calcul integral, no publicado y cuyo manuscrito inconcluso, remitido a la Academia de Ciencias de Pars en el perodo de 1778 a 1782, se conserva en la Biblioteca del Institut de France con todo y las galeras correspondientes28. Tal como lo haba proyectado e1 autor, este libro debi de haber constado de cinco parte de las cuales en realidad nicamente se escribieron dos. La primera de estas partes, titulada De fonctions analytiques, comienza con una explicacin de lo que se entiende por funcin analtica (vase [67], p. 134): ... Je suppose que jaie un certain nombre de quantits x, y, z, ..., F, et que pour chaque valeur dtermine de x, y, z, ... , etc., F ait une on plusieurs valeurs dtermines qui y rpondent; je dis que F est une fonction de x, y, z ... (Supongo que tengo un cierto nmero de cantidades x, y z ..., F, y que para cada valor determinado de x, y, z, ...etc., F tiene uno o varios valores determinados que responden a aquellos; digo que F es una funcin de x, y, z, ... ) Condorcet ofrece unos cuantos ejemplos de funciones explcitas e implcitas, y prosigue: ... Enfin, si je sais que lorsque x, y, z, seront dtemines, F le sera aussi, quand meme je ne connoitrois ni la maniere d exprimer F en x, y, z, ni la forme de lequation entre F et x, y, z; je saurai que F est fonction de x, y, z, ... (En fin, si yo s que cuando x, y, z han quedado determinadas, tambin lo estar F, aun cuando no conozca ni la forma de expresar a F en x, y, z, ni la forma de la ecuacin entre F y x, y, z, sabr que F es funcin de x, y, z.) Finalmente, se distinguen tres tipos de funciones: (1) Las funciones cuya forma es conocida (nosotros diramos, las funciones explcitas)

27 Estoy dejando aparte la funcin y=(-1)x que se examina en 1727-1728 en la correspondencia de Euler con Johann Bemoulli ((44), No. 190-192) y tambin en el Vol. 2 de la Introductio de Euler ((41), prrafo 517). Esta funcin, que se expresa mediante una ecuacin y, en consecuencia, en este sentido es continua, asume valores reales solamente para aquellos valores de x que son fracciones irreductibles con denominadores impares. En el Vol. 2 de la Introductio Euler demostr que esta funcin, a la que denomin paradjica, queda representada, segn lo expresaramos actualmente, mediante dos conjuntos densos en todas partes de puntos aislados que pertenecen a las lneas rectas y = 1 y y = -1. 28 No debe confundirse con el libro anterior de Condorcet que llevaba el mismo ttulo (Pars, 1765).

2 (1996)

Rosa Ma. Farfn

32

(2) Las funciones introducidas mediante presentacin del concepto de funcin, la que estaba implcita en el Analyse algbrique (de 1812) de Cauchy, aun cuando en la definicin en s, no se utiliza el trmino de expresin analtica.29 No haba transcurrido mucho tiempo, empero, cuando la definicin general de Euler fue aceptada por tres eruditos del ms alto calibre, y en los tres casos en relacin con sus respectivas investigaciones sobre la teora de las series trigonomtricas. En primer lugar, se encuentra esa definicin en la Thorie analytique de la chaleur, de Fourier, publicada en 1821 ([63], p. 500): ... En gnral, la fonction f(x) reprsente une suite de valers ou ordonnes, dont chacune est arbitraire .... (En general, la funcin f(x) representa a una serie de valores u ordenadas, cada uno de los cuales es arbitrario). Inmediatamente, Fourier repite lo que acababa de decir, sosteniendo que no supone que estas ordenadas estn sujetas a una ley comn, sino que cada una sucede a la otra, de cualquier forma, y que cada ordenada se puede considerar que est dada individualmente. En las prximas lneas deseo tocar someramente el sentido que est implcito en Fourier (y en muchos otros matemticos) cuando hablan de la naturaleza arbitraria de una dependencia funcional. Despus de esta lacnica definicin de Fourier, cuyo trabajo de inmediato alcanz una gran fama, Lobatchevsky y Dirichlet publicaron definiciones mucho ms extensas. En su artculo: Sobre la desaparicin [convergencia] de las series trigonomtricas, Lobatchevsky escriba en 1834 ([72], p. 43): El concepto general exige que se denomine funcin de x a un nmero que est dado para toda x y que cambie gradualmente junto con x. El valor de la funcin se puede dar, ya sea mediante una expresin analtica, o a travs de una condicin que ofrezca un medio para probar todos los nmeros y seleccionar uno de ellos; o, finalmente, la dependencia puede existir, pero permanecer desconocida. Y luego, tras manifestar que la supuesta posibilidad de representar analticamente a cualquier funcin no es ms que una hiptesis arbitraria, aun cuando no se sabe todava de ningn ejemplo contradictorio, Lobatchevsky llega a la siguiente conclusin (p. 44): "Parece imposible dudar tanto de la verdad de que todo lo que hay en el mundo se podra expresar mediante nmeros, como de la correccin (del juicio) de que cualquier cambio y relacin que en l se den, quedan representados por una funcin analtica. Por el momento, la teora, desde un punto de vista amplio, permite la existencia de dependencias nicamente en el sentido de que los nmeros, unos con respecto a otros, pueden considerarse como si estuvieran dados juntos. Por esta razn, Lagrange, en su Calcul des fonctions,30 con el que deseaban reemplazar al clculo diferencial, da la generalidad del concepto, en el mismo grado en que crey ganar en cuanto a rigor de juicio." Queda as expresada en forma perfectamente clara, la tendencia a incluir en el concepto de funcin tambin a aquellas dependencias hipotticas que, a la postre, pudieran resultar no susceptibles de representarse analticamente. Empero, y debido al de que la palabra gradualmente que emplea Lobatcbevsky significa "de manera continua" en el sentido de Cauchy, la definicin de Lobatchevsky, tomada literalmente, en forma algo inesperada se refiere nicamente a las funciones continuas.

29 La definicin de Cauchy es la siguiente ((64), Cap. 1, prrafo 1): Lorsque des quantits variables sont tellement lies entre elles que, la valeur de lune delles tant donne, on puisse en conclure les valeurs de toutes les autres, on concoit dordinaire ces diverses quantits exprimes au moyen de lune dentre elles, qui prend alors de nom de variable indpendente et les autres quantits exprimes au moyen de la variable indpendente sont ce quon appelle des fonctions de cette variable. (Cuando hay cantidades variables, de tal modo vinculadas entre s, que estando dado el valor de una de ellas se pueden determinar los valores de todas las dems, por lo comn se concibe a estas diversas cantidades como expresadas por medio de una de entre ellas, que entonces toma el nombre de variable independiente; y las dems cantidades expresadas por medio de la variable independiente son lo que se denomina las funciones de esa variable). A diferencia de lo que opina M. Kline ((70), p. 950), quien sostiene: Esto queda implcito tanto por su formulacin, en la que menciona dos veces que on concoit d ordinaire que las funciones son exprimes au moyen de la variable indpendente, como por la separacin que hace (despus de la definicin) entre las funciones explcitas y las implcitas, quedando estas ltimas caracterizadas por el hecho de que las ecuaciones que ellas y la variable independiente deben satisfacer, no se resuelven algebraicamente. 30 En su obra Lecons sur le calcul des fonctions (1801, 2a. edicion de 1806 (73)), Lagrange ofrecia la misma definicin de funcin que ya antes (en 1797) haba dado en otro trabajo, su Thorie des fonctions analytiques (vease la Nota 17).

Traducciones

... concepto de funcin ...

33

Lo mismo vale decir por lo que respecta a la definicin que ofreci Dirichlet en 1837, en su memoria Uber die Darstellung ganz willkrlicher Funktionen durch Sinus-und Cosinusreichen, de donde paso a citar ahora la totalidad del pasaje que tiene relevantes (166), pp. 135-136): Man denke sich unter a und b zwei feste Wer the und unter x einet vernderliche Grsse, welche nach und nach alle zwischen a und b liegenden Werthe annehmen soll. Entspricht nun jedem x ein einziges, endliches y, und zwar so, dass, whrend x das Intervall von a bis b stetig durchluft, y = f(x) sich ebenfalls allmhlich verndert, so heisst y eine stetige oder continuirliche Function von x fr dieses Intervall. Es ist dabei garnicht nthing, dass y in diesem ganzen Intervall nach demselben Gesetze von x abhngig sei, ja man braucht nicht einmal an eine durch mathematische Operationen ausdrckbare Abhngigkeit zu denken. Geometrisch darstellt, d. h. x und y als Abszisse und Ordinate gedacht, erscheint eine stetige Function als eine zusammenhngende Curve von der jeder zwischen a und b enthaltenen Abszisse nur ein Punk entspricht. Diese Definition schreibt den einzelnen Theilen der Curve kein gemeinsames Gesets vor; man kann sich dieselbe sus den verschiedenartigsten Theilen zusammengesetzt oder ganz gesetzlos gezeichnet denken. Es geht hieraus hervor, dass eine solche Function fr ein Intervall als vollstndig bestimmt nur dann anzusehen ist, wenn sie entweder fr den ganzen Umfang desselben graphisch gegeben ist, oder mathematischen, fr die einzelnen Theile desselben geltenden Gesetzen unterworfen wird. So lange man ber eine Function nur fr einen Theil des Intervalls bestimmt hat, bleibt die Art ihrer Fortsetzung fr das brige Intervall ganz Willkr berlassen. En esencia, las definiciones dadas por Lobatchevsky y Dirichlet son idnticas, siendo la nica diferencia este ltimo crey necesario agregar una explicacin geomtrica. Su naturaleza definitivamente general con respecto a las funciones continuas y la posibilidad de ser generalizadas en forma directa, a modo de incluir a las funciones discontinuas son aspectos perfectamente obvios Puesto que esos autores tomaron en consideracin a las funciones discontinuas, el hecho de que restringieran sus definiciones a las funciones continuas en el sentido de Cauchy nos parece altamente sorprendente, ya que las funciones (o derivadas) con puntos de discontinuidad aislados estn explcitamente incluidas en las condiciones de suficiencia para la representacin de una funcin mediante serie de Fourier, tal como los establecieron los propios Lobatchevsky y Dirichlet. Adems, tambin a este ltimo debemos el famoso ejemplo de una funcin discontinua en cada punto del intervalo, 0 x 1: 0, para valores racionales de x , f ( x) = 1, para valores irracionales de x. Por qu estos eruditos creyeron ambos que era conveniente restringir sus definiciones a las funciones continuas?. La explicacin ms natural de esta circunstancia es la que ha ofrecido Medvedev ([71], pp. 242-243): la categora de las funciones que se acababan 6e aislar es decir, las funciones continuas en el sentido de. Cauchy, inmediatamente adquiri una extraordinaria importancia, y era precisamente esta clase de funciones a la que necesariamente haba que liberar de la restriccin 6e la representacin analtica, tanto ms, porque incluso algunos eruditos posteriores, coso por ejemplo V. Ya. Bunyakovsky ([74], p. 246) y G. G. Stokes ([75], p. 240), hacan coincidir la continuidad en el sentido de Cauchy con la continuidad en el sentido de Euler. H. Burkhard sealaba que no fue sino hasta 1841 cuando A. Cournot formul una definicin de funcin, con el grado 6e generalidad que por lo comn, se le vino a atribuir a Dirichlet y, ms tarde, tanto a ste como a Lobatchevsky31. El hecho de que se le atribuyera a Dirichlet se debe a Hankel, cuyo trabajo se public en 187O. Puesto que no se ha podido obtener la Thorie des fonctions, t. I (Pars, 1841) de Cournot, citar sus palabras segn las da Burkhard ([76], p. 968). Nous concevons quune grandeur peut dpendre dune autre, sans que cette dpendance siut de nature a pouvoir etre exprime par une combinaison des signes de lalgebre. (Concebimos nosotros que una magnitud pue-

En sus comentarios sobre el trabajo de Lobatchevsky, G. L. Lunz ([72], pp. 15-16) interpretaba la definicin que hemos citado, como referente a cualquier funcin. Segn Lunz, la palabra gradualmente la utilizaba ah Lobatchevsky como sinnimo de consecutivamente ms bien que como continuamente (en el sentido de Cauchy). Tal como lo seal Medvendev ([71], pp. 235-236) esta interpretacin resulta algo dudosa.

31

2 (1996)

Rosa Ma. Farfn

34

da depender de otra, aun cuando esta dependencia no sea de naturaleza tal que se pueda expresar mediante alguna combinacin de los signos del lgebra). Algo ms adelante, Cournot (ibdem) sugera que era posible ... imaginer une thorie qui aurait pour objet la discussion des proprits gnrales des fonctions .... (... imaginar una teora que tuviera por objeto la discusin de las propiedades generales de las funciones ...). 14. LOS TRABAJOS DE HANKEL SOBRE EL CONCEPTO DE FUNCIN. Tal como se acaba de mencionar, resulta obvio que un concepto de funcin, con no menos generalidad, era el que haban expresado tanto Lobatchevsky como Dirichlet. Sin embargo, ni el libro de Cournot ni el articulo de Lobatcbevsky gozaban en esa poca de una gran popularidad, segn lo demuestra el trabajo de M. Hankel, Untersuchungen ber die unendlich oft oszillierenden und unstetigen Funktionen ([26], publicado en 1870). Habiendo presentado un conciso ensayo histrico, Hankel pasa a ofrecer observaciones introductorias sobre el concepto de funcin, formulando la siguiente definicin ([26], p. 49): Eine Funktion hei t y von x, wenn jedem Werte der vernderlichen Gr e x innerhalb eines gewissen Intervalles ein bestimmter Wert von y entspricht; gleichviel, ob y in dem ganzen Intervalle nach demselben Gesetze von x abhngt oder nicht; ob die Abhn gigkeit durch mathematische Operationen ausgedrckt werden kann oder nicht. Al proseguir, Hankel agrega (ibdem) que a esta definicin la llamar de Dirichlet: ... weil sie [this definition] seinen Arbeiten ber die Fourierschen Reihen, welche die Unhaltbarheit jenes lteren Begriffes zweifellos dargetan haben, zugrunde leigt ... A este antiguo concepto, Hankel tambin lo denomina Eulersche Auffassung (p. 48), recordando a las funciones continuas y discontinuas que figuran en la Introductio. Ms adelante, en la pgina 53, Hankel acota su definicin diciendo que el bestimmter Wert von y no incluye el caso de la discontinuidad infinita, y ofrece una nueva definicin que casi coincide con la parte de la original que precede al punto y coma. En forma exactamente igual a sta, o muy similar, se dio la definicin general de funcin en los cursos de anlisis matemtico de finales del siglo XIX y del siglo XX. Se debe sealar que Hankel formul su definicin con prudencia. En efecto, no reproduca la definicin de Dirichlet, y se limitaba a indicar que su propia definicin en realidad era la piedra angular de la obra Arbeiten ber die Fourierschen Reichen, de Dirichlet. Habiendo trabajado tanto en el estudio de las funciones discontinuas, mal pudo Hankel haber dejado de observar que la propia definicin de Dirichlet tenia que ver con las funciones continuas, circunstancia que nicamente ha sido sealada en nuestra poca, por A. Churhc [77], A. Ostrovsky [78] y otros autores. 15. EL PAPEL HISTRICO DE LA DEFINICIN GENERAL DE EULER. As, todo parece indicar que para Hankel lo principal era el espritu de la definicin de Dirichlet, y no tanto la formulacin literal de sta. Por otro lado, al contrastar la definicin de Dirichlet con die Eulersche Auffassung, Hankel estaba decididamente equivocado. Tal como se ha mostrado lneas arriba (vase el prrafo 10), el concepto de funcin que tenia Euler, en realidad sufri una evolucin esencial, y si tiene que haber uno u otro nombre que se relacione con la definicin de funcin como correspondencia biunvoca, este nombre debe ser el de Euler: fue el concepto que ste describi en 1775, el que desarrollaron muchos eruditos, entre los cuales figuraron Lobatchevsky y Dirichlet. Queda justificado hacer una consideracin especial al respecto de la naturaleza arbitraria de las relaciones funcionales, as como sobre su representabilidad analtica. En primer lugar, los distintos conceptos acerca del grado de arbitrariedad y concernientes al tipo de comportamiento de las funciones utilizadas son caractersticos de las diferentes pocas y de las diversas generaciones de matemticos. Traducciones

... concepto de funcin ...

35

Aun cuando Euler, Lacroix o Fourier nunca se toparon con funciones tales como la discontinua de Dirichlet 32 mencionada en el prrafo 13, su concepto de funcin como una correspondencia arbitraria era, para su poca, tan general como lo fue el concepto de Dirichlet para la suya. Y, si a ello vamos, el propio Dirichlet ni se imagin el tipo de funciones que se iban a introducir en la poca de G. Cantor, Baire, Borel y Lebesgue. En segundo lugar, y tal como se ha dicho (vase el prrafo 12), el problema de la representabilidad de las funciones pas a ser mucho ms complejo de lo que haban supuesto los matemticos, incluso hasta principios del siglo XX. Evadir la cuestin de la representabilidad analtica fue algo que se consider necesario durante un largo periodo, que comienza con Euler y termina con Dirichlet y Cournot. Poco despus, paulatinamente se fue averiguando que haba categoras de funciones, cada vez ms extensas - al principio, las que cumplan con las condiciones de Dirichlet en la teora de las series de Fourier, y despus las funciones continuas e incluso las de carcter ms general -, a las que poda representarse por medio de uno u otro mtodo analtico. U. Dini, en su obra Fondamenti per la teorica delle funzioni di variabili reali, publicada en 1878 (edicin alemana de 1892) en forma muy apropiada planteaba ([79], p. 49) la siguiente pregunta: ... ob bei Aufrechterhaltung der ganzen in der Definition enthaltenen Allgemeinheit es stets mglich sein wird, in einem gewissen Intervall eine Funktion y von x fr alle Werte der Variabelen in diesem Intervall durch eine oder mehrere, endliche oder unendliche Reihen von Rechnungsoperationen, die man mit der Variabelen vornimmt, analytisch auszudrcken oder nicht ... Por lo dems, agregaba Dini, tomando en consideracin el nivel actual en el que se encuentran los conocimientos matemticos, una respuesta totalmente satisfactoria a esta pregunta es simplemente imposible. Tal como se seal anteriormente (vase el prrafo 12), Lebesgue, en 1905, dio una respuesta categrica a dicha pregunta, al respecto de todas las funciones medibles, ofreciendo, simultneamente, un ejemplo de funcin que no era susceptible de representarse analticamente, en el sentido que l le daba a tal representacin. Me veo obligado a dejar aparte el problema afn de la legitimidad de las construcciones de Baire y de Lebesgue, que posteriormente fueron sometidas a crticas desde el punto de vista del efectivismo, el constructivismo y otras direcciones de los cimientos de las matemticas. Si el rechazo de la representabilidad analtica resulta ser, en cierto sentido, ilusorio, cul es la importancia que tiene entonces la definicin de Euler de 1755? Y tambin qu importancia revisten todas las definiciones que de ellas se originan? El lado dbil de la definicin de Euler no escap a la atencin de Hankel, quien fue uno de los que la consideraron como una reine Nominaldefinition ([26], p. 49), sealando que las funciones definidas en forma tan universal no poseen absolutamente ninguna propiedad comn. La respuesta adecuada a la pregunta que se acaba de plantear queda dada por el propio desarrollo de la teora de las funciones. A medida que transcurri el tiempo, al hacerse cada vez ms amplia la categora de las funciones consideradas, sta sufri cambios esenciales. Puesto que las expresiones analticas compuestas por medio de operaciones de clculo relativamente sencillas haban sido casi la nica materia de estudio durante aproximadamente dos siglos, nunca perdieron su importancia. Pero despus, con el paso del tiempo, result necesario estudiar diferentes clases de funciones (continuas, diferenciales, con variacin finita, discontinuas por puntos, mensurables, etc.) introducidas mediante alguna propiedad fsica que definiera a la estructura completa de una categora dada, independientemente de si las funciones de esta clase eran susceptibles o no de representarse analticamente. Tal como lo formul N. N. Luzin en su libro Series Integrales y trigonomtricas, publicado en 1915 ([80], p. 50), La diferencia principal entre los mtodos para el estudio de las funciones, dentro del marco del anlisis matemtico y (como alternativa) de la teora de las funciones, radica en que en el anlisis clsico se deducen las propiedades de cualquier funcin a partir de las propiedades de aquellas expresiones y frmulas analticas mediante las cuales se ha definido a esa funcin, mientras que en la teora de las funciones se determinan las propiedades a partir de la propiedad que, a priori, distingue la clase de funciones consideradas ...

32

A este respecto, resulta instructivo, sin embargo, recordar la funcin paradjica de Euler, y= (-l)x (vase la Nota ).

2 (1996)

Rosa Ma. Farfn

36

Tambin es importante observar que, dentro de la teora de las funciones, pasan a ser utilizadas en forma generalizada las descripciones verbales del comportamiento de las funciones, sobre algn conjunto de valores de la variable independiente. Como se ha mencionado ms arriba, la lgica matemtica moderna ha descubierto dificultades esenciales inherentes en la definicin universal, y por ende, no algortmica, de una funcin. Ya en 1927, H. Weyl sostena, en forma perfectamente correcta, que ([81], p. 8): ... Niemand kann erklren, was eine Funktion ist. Aber: Eine Funktion f ist gegeben, wenn auf irgendeine bestimmte gesetzmssige Weise jeder reelen Zahl a eine Zahl b zugeordnet ist ... Man sagt dann, b sei der Wert der Funktion f fr den Argument wert a ... As, dos funciones definidas en forma distinta son consideradas idnticas si, para todos los valores posibles de a los valores correspondientes de b coinciden. Hay diferencias de opinin entre los matemticos, acerca del sentido de las palabras auf irgendeine bestimmte gesetzmssige Weise (soy Yo quien lo recalca, y no Weyl). Sin embargo, la definicin general (nominal) que dio Euler de funcin, y que ya se hizo necesaria desde mediados del siglo XVIII, se ha usado con xito para apoyarme en una expresin utilizada en otra ocasin - como ein Medium freien Werdens para efectuar construcciones cada vez ms complejas dentro de la teora de las funciones, adems de que ha abierto nuevos horizontes en el desarrollo de muchas ramas del anlisis matemtico y de sus aplicaciones. Incluso las dificultades inherentes en esa definicin desempearon un papel positivo en el planteamiento y el estudio de un buen nmero de problemas pertenecientes al campo de los fundamentos de las matemticas y al de la lgica matemtica. APNDICE Cuando estaba por concluir el presente artculo, recib el Tagungsbericht, Problemgeschichte der Mathematik 22.9 bis 28.9, 1974, Mathematisches Forschungsinstitut Oberwolfach, Rep. Fed. Alemana. Me entero por esta fuente que el tema central de la Conferencia fue el desarrollo del concepto de funcin, al que se dedicaron casi la mitad de las ponencias. La primera de stas, presentada por la doctora Karin Reich, fue el resumen de la versin original del presente trabajo (vase, Agradecimiento), y que ella titul Bericht ber einen Ausatz von A. P. Juschkewitsch zur Geschichte des Funktionsbegriffs. Otros de los informes que se presentaron sobre la materia fueron los de C. J. Scriba, E. M. Bruins, C. 0. Selenius, I. Schneider, 0. Volk, I. Grattan-Guinness y M. Gericke. Participaron en la discusin final H. Gericke, G. Hirsch y J. J. M. Boss, entre otros. Los resmenes que se publican en el Tagungsbericht son demasiado concisos como para poderlos tomar en consideracin en el presente trabajo, y slo espero. que los propios informes sean publicados. Tambin lamento que una de las fuentes que se mencionan en el informe de Scriba, a saber, The rise of functions (El surgimiento de las funciones) (Rice Univ. Studies 56 (1970), No. 2, 2.21 (1971)) no haya llegado a mi conocimiento. AGRADECIMIENTO. El presente artculo es una versin considerablemente ampliada y revisada de mi trabajo anterior, publicada en ruso en el (INVESTIGACIN HISTRICO - MATEMTICO), XVII, 1966, 123-151 Me complace expresar mi gratitud a O. B. Sheynin, quien se encarg de la traduccin de la nueva versin al ingls. Tambin estoy en deuda con Sheynin por algunas observaciones que hizo durante la realizacin de su labor. NOTA DEL TRADUCTOR. Al traducir las paginas anteriores, he puesto mi grano de arena para hacer del conocimiento de la comunidad cientfica en general, a quien es el decano de hecho, si ya no formal, de los historiadores soviticos de las matemticas, y cuyo septuagsimo aniversario fue recientemente celebrado; es a l a quien debo la reputacin que poseo, y tambin a quien, finalmente, tengo el honor de dedicar esta traduccin. Sabiendo de antemano que el articulo iba destinado a ese Archive, trat con todo afn, de mantener un alto nivel lingstico, problema verdaderamente difcil para alguien que no practica el ingls hablado. El profesor Youskevitch me ha facilitado grandemente el trabajo, al proporcionarme traducciones de muchos trminos, as como al aceptar sin reparos ciertos cambios insignificantes que no cambiaban el significado general de su texto. EL profesor Truesdell corrigi la traduccin a tal grado, que ello, de hecho, puso de manifiesto lo inapropiados que fueron mis esfuerzos. O. B. S. Traducciones

... concepto de funcin ... BIBLIOGRAFA 1. 2. 3. 4. 5. 6. 7. C.B Boyer. The History of the Calculus and its Conceptual Development (1939). N.Y., 1959 (3rd. Ed.) D.E.Smith. History of Matehmatics, v. 1 (1923) N.Y., 1958.

37

W.Hartner & M. Schramm. Al-Biruni and the theory of the solar apogee: an example of originality in Arabic Science. In: Scientific chage, ed. by A.C. Crombie. London, 1963, 206-218. C.B.Boyer. History of Analytic Geometry. N.Y., 1956. J.E.Hofmann, Geschichte der Mathematik, Bd. I,2. Aufl. Berlin, 1963. A.C.Crombie. Augustine to Galileo, v.I-II, 2nd ed. London-Melbourne-Toronto, 1959-1961. H.Wieleitner. Der Tractatus de latitudinibus formarum des Oresme. Bibl. Mathematica. 3.F. Bd 13(1912/13), 115-145; see also his Ober den Funktionsbegriff und die graphische Darstellung bei Oresme. Ibid., 3.F., Bd. 14,193-243(1914). E.T.Bell, The Development of Mathematics (1940), 2nd ed. N.Y.-London, 1945 O.Pedersen. Logistics and the Theory of Functions. Arch. Intern & Hist. d. Sciences. 24. N.94. 29-50(1974).

8. 9.

10. A.F.Monna. The Concept of Function in the 19th and 20th Centuries, in Particular with Regard to the Discussions between Baire, Bore and Lebesgue. Arch. for Hist. of Exact Sciences, 9. 59-84 (1972). 11. Kenneth O.May. Elements of Modern mathematics. 2nd Printing Reading. Mass-Palo Alto-London, 1962. 12. O.Neugebauer. The Exact Sciences in Antiquity. 2nd ed. Providence. R.I., 1957. 13. H.G.Zauten. Die Lehre von den Kegelschnitten im Alterum (1886). 2nd ed. Hildesheim. 1966. 14. H.G.Zauten. Histoire des mathmatiques dans lantiquit et le moyen age. Ed. franaise, revue et corrige par lauteur. Paris, 1902 (1st ed. Kbenhavn, 1893). 15. N.Bourbaki. Elments dhistoire des mathmatiques, 2e ed. revue. corrige, augemente. Paris 1969. 16. A.P.Youschkevitch. Remarques sur la mthode antique dexhaustion. In: Mlanges Alexandre Koyr. I, Pariss, 1964, 635-653. 17. D.T.Whiteside. Patterns of Mathematical Thought in the later Seventeenth Century. Arch for History of Exact Sciences. I, N 3, 179-388 (1961). 17a. O. Schirmer. Studien zur Astronomide der Araber. Sitzungsber.d. Phys-Med. Soziett zu Erlangen. Bd. 58 (1926). 18. Nicole Oresme and the Medieval Geometry of Qualities and Motions. A Treatise on the Uniformity and Difformity of Intensities known as Tractus de configurationibus qualitatum et motuum. Ed. by M. Clageti. Madison, Milwaukee & London 1968 - Russ ed by V.P. Zoubon in Istoricomathematicheskie issledorania. Vol. XI. 601-731 (1958) 19. M.Clageti. the Science of Mechanics in the Middle Ages. Madison, 1959. 20. Geometria d Renato Des Cartes Anno 1637 Gallic edita: nunc autem... in linguam Latinam persa et commentariis illustrata, Opera atques studio Francisci Schooten... Lugduni Batavorum, 1649. 21. Nicole Oresme, Quaestiones super geometriam Euclidis, ed. by H.L.L. Busard, 2 Vols., Leiden, 1961. 22. Schramm, M., Steps towards the Idea of Function: A Comparison Between Estern adn Western Science of Middle Ages. History of Science, 4,70-103(1965).

2 (1996)

Rosa Ma. Farfn 23. Oeuvres de Fermat, d. P. Tannery & Ch. Henry,t.I.Paris,1891. 24. Oeuvres de Descartes, d. Ch. Adam & P. Tannery, t.VI, Paris, 1903. 25. F. Engels, Dialektik der Natur, Berln, 1958.

38

26. B.Bolzano. Rein analytischer Beweis H. Hankel. Unter-suchungen ber die unendlich oft oszil lierenden und unstetigen Funktionen (1870). Hg von Ph. E.B. Jourdain, leipzing, 1905 (Firsted. as Gratulaltionsprogramm der Tubinger Unieristt, 1870)27. P. Boutroux., Lidal scientifique des mathmaticiens. Paris, 1920. 28. I.Barrow, Lectiones geometricae. London, 1670,. Lectiones mathematicae. London, 1683. 29. Margaret E. Baron, The Origins of the Infinitesimal Calculus. Pergamon Press, 1969. 30. J. Wallis De Algebra Tractatus Hisoricus et Practicus. Operum Mathematicorum Volumen alterum. Oxoniac, 1693. 31. The Correspondence of Isaac Newton, vol. III. Ed. by H.W. Turnbull. Cambridge, 1961. 32. I. Newton. The Method of Fluxions and Infinite Series, with its A`pplication to the Geometry of Curve Lines. Translateld by John Colson. London, 1736. 32a. The Mathematical Papers of isaac Newton, Vol. III, 1670-1673. Ed. by D.T. Whiteside with the assistance of M.A. Hoskin & Prag. Cambridge, 1969. 33. Leibnizens mathematische Schriften, hsg. von C.I. Gerhardt, I-VII. Berlin-Halle, 1849-1863. 34. D.Mahnke, Neue in die Entdeckungsgeschichte der hheren Analysis.Abh. Preuss. Akad. Wiss. Phys.-Math. Kl., 1925, NI(1926). 35. Joh. Bernoulli, Opera omnia, I-IV. Lausannae et Genevac, 1742. 36. M. Dehn & E. Hellinger, On James Gregorys Vera Quadrature. In: James Gregory Tercentenary Memorial Volume, ed. by H.W. Turnbull. London, 1839, 468-478. 37. G.F. de LHospital, Analyse des infiniments petits por lintelligence des lignes courbes. Paris,1696. 37a. J. Gregory, Vera circuli et hyperbolae quadratura Patavii [Padua, -667]. 37b Chr. J. Scriba, James Gregory frhe Schriften zur Infinitesimal-rechnung. Giessen, 1957. 38. Chr. Wolff, Mathematisches Lexicon (1716), hsg. von J.E. Hofmann. Hildesheim, 1965. 39. Leonhardi Euleri Opera Omnia, ser. I, vol. VIII, ed A. Krazer & F. Rudiok, 1922. 40. Oeuvres de J.L. Lagrange, publies par J.A. Serret, t. IX. Paris, 1881. 41. Leonhardi Euleri Opera Omnia, ser. I, vol. IX, ed. A. Speiser, 1945. 42. I. Grattan-Guinness, The Development of the Foundations of Mathematical Analysis from Euler to Riemann. Cambdridge, mass.-London, 1970. 42a. A. Speiser, Ober die diskontinuarlichen Kurven, pp. XXI-XXIV of the editors introduction, Leonhardi Euleri. Opera omnia, ser. I, vol. XXV, 1952. 42b. C.Truesdell, editors introduction. Leonhardi Euleri Opera omnia, ser. II, vol. 13, 1956. 43. 44. Leonhardi Euleri, Opera omnia, ser. IV-A, vol. I, ed. A. Juskevic, V. Smironov & Habicht, 1975. 45. J.DAlembert. Recherches sur la courbe que forme une corde tendue mise en vibration: Suite des recherches Hist. Acad.Sci. Berlin (1747)1749, 214-249. Traducciones

... concepto de funcin ... 46. Leonhardi Euleri Opera omnia, ser. II, vol. X, ed F. Stssi & H. Favre, 1947. 47. Leonhardi Euleri Opera omnia, ser. I, vol. XVI-I, ed C. Boehm, 1933.

39

48. D.Bernoulli. De indole singulari serierum infinitarum quas sinus vel cosinus angularum arithemtice propgredientum formant, earumque summatione et usu. Nov. Comm. At. Petrop., XVII (1772) 1773, 3-23. 49. Leonhardi Euleri und Christina Goldbach. Briefwechsel 1729-1764. hsg von A P.Juskevic & E. Winter Berlin, 1965. 50. Leonhardi Euleri Opera omnia, ser. I, vol. X. ed. G. Kowalewski, 1913. 51. C.Truesdell. The Rational Mechanics of Flexible of Elastic Bodies. 1638-1788. In: Leonhardi Euleri Opera omnia, ser. II, vol. II-2 Turici, 1960. 52. Leonhardi Euleri Opera omnia, ser. I, vol. XXIII. ed. H.Dulac, 1938. 53. 54. C.MacLaurin, A Treatise of Fluxions, vol. I-II. Edinburgh, 1742. 55. Leonhardi Euleri Opera omnia, ser. I, vol. XIII, ed F. Engel et L. Schlesinger, 1914. 56. A P. Youschkevitch, Euler und Lagrange ber die Grundlagen der Analysis - Sammelband zu Ehren des 250 Geburtistages Leonard Eulers, ed K. Schroder. Berlin, 1959, 224-244. 57. J.Dlembert. Opuscules mathmatiques, vol. VIII Paris, 1780, 302-308. Sec also. . . . . . . 58. L. Abrbogast, Mmoire sur la nature des fonctions arbitraires qui entrent dans les intgrals des quiations aux diffrentielles partielles. St. Ptersbourg, 1791. 59. Leonhardi Euleri, Opera omnia, ser. I, Vol. XI, ed. F. Engel & L. Schlesiger, 1913. 60. J. Charles, Fragment sur les fonctions discontinues. Mmoires de mathmatiques et de physique prsents par divers savants. Paris, 1785, 585-588. 61. A.L. Cauchy, Oeuvres compltes, I sr, vol. VIII, 145-160. 62. I.Grattan-Guinness in collaboration with J.R. Ravetz, Joseph Fourier. 1768-1830. Cambridge, Mass-London, 1972. 63. J.B.Fourier, Oeuvres, V.I, publi par G. Darboux. paris, 1888. 64. A.L. Cauchy, Ouvres comltes, 2 sr., vol. III, Paris, 1897. 65. A.L. Cauchy, Ouvres comltes, 2 sr., vol. IV. Paris, 1899. 66. P.G. Lejeune-Dirichlet, Gesammelte Werke, Bd. I. Berlin, 1889 (Sur la convergence des sries trigonomtirques qui servent d repsenter une fonction arbitraire entre des limites donnes (1829) 117-132, Ober die Darstellung ganz willkrlicher Funktionen durck Sinus- und Cosinusreihen (1837) 133-160. 67. A.P. Youschkevitch, La notion de fonction chez Condorecet. In: ForDirk Struik. Ed. By R.S. Chen., J.J. Stachel & M.W. Wartofsky. Dordrech-Holland, Boston-U.S.A., 1974, 131-139. 68. J.L. Lagrange, Oeuvres, t. III, Paris, 1869, 441-476. 69. S.F. Lacroix, Trait du calcul diffrentiel et du calcul intgral, t. I, Paris, 1797; 2e d., Paris, 1810. 70. M.Klein, Mathematical Thought from Ancient to Modern Times. New York, 1972. 71. 72.

2 (1996)

Rosa Ma. Farfn 73. J.L.Lagrange, Oeuvres, t.X. Paris, 18840. 74.

40

75. G.G. Stokes, On the critical values of the sums of periodic series, 1848. In :Mathem,atical and Physical Papers, V.I. Cambridge, 1880. 76. H. Burkhardt, Trigonometrische Reihen und Integrale. 28. Exkurs betreffend die Entwicklung des Begriffs einer willkrlichen Funktion. Encyklopdie der mathematischen Wissenschaften, Bd. II, T.I, 2 Hlfte. Leipzig 1904-1916,958-971. 77. A.Church, Introduction to Mathematical Logic, V. I-2. Princeton, 1952-1956. 78. A. Ostrowski, Vorlesungen ber Differential- und Integra-lrechnung. Bd. I. Basel und Stuttgart, 1965. 79. U.Dini, Grundlagen fur eine Theore der Funktionen einer vernderlichen reelen Grbe. Deutsch. bearb. von G. Lroth und A. Schepp, Leipzig, 1892. 80. 81. H.Weyl, Philosophie der Mathematik und Naturwissenschaft. Mnchen- Berlin, 1927.

Traducciones