El concepto de funcién a través de la historia 24. INTRODUCCION A pesar de los numerosos estudios sobre la historia de las matema existen pocos trabajos dedicados especi funcion y ademés las opiniones de sus dictorias. Asi, mientras algunos autores a algunas operaci jedad ( jos de astronomia de los babilonios, de Plolomeo o de los i ros sitéan su nacimiento junto a Ia aparicién de la geomet - tes) y algunos todavia st en aparicion en pleno siglo xix con las dcfiniciones clisicas de funcion dadas por Dirichlet y por Lobatchevsky. Esta aparente disparidad puede entenderse debido al caracter general del cconcepto al que nos referimos, el cual junto a otros como el concepto de rniimero o de medida, se encuentra en la base de gran parte de las matemati- jombre ha desarrollado a lo largo de Ia historia. Quiz por tuviéramos que fijar un periodo en el cual situar el nacimiento del in, éste se encontraria a mediados del siglo xvi. En efecto, Fermat, Newton y Leibi ccircunstancias que, como veremos mas adelante, permiten abordar Ia idea de funcién con suficiente generalidad como para formular las primeras defini- Asimismo, es en esta época cuando aparece por vez se dan un conjunto de in algebraica y poco después las desarrol fue hasta el siglo siguiente cuando Euler de este momento las generali la primera definicion de ones se sucederan, como ” Escaneado con CamScannerfento por incluir las cada vez mas complejas funciones que van hasta llegar a las definiciones mas recientes que incorporan el han sido los momentos ibuciones para el desart cién acaso excesiv amos a tratar de exponer cui joderna, ya que hemos querido sefialar con cierto intas épocas impidieron desarrollar el el momento de , por la impertancia que aquéllos pueden tenet plantearse el aprendizaje de las funciones, dejando de lado, 0 tratando superficialmente, aquellas contribuciones mas modernas cuya importancia para el desarrollo de las matematicas es evidente, pero que se encuentran ya muy alejadas de los objetivos de este libro. Siguiendo el excelente estudio de Youschkevitch (1976), que ha sido nuestra fuente més importante, vamos a distinguir tres grandes periodos: — El mundo antiguo, época en la que, a pesar de li sobre casos particulares de dependencia entre dos ‘mas antiguas jeterminacion de de los griegos por su importancia y sobre todo por su influencia posterior. ~-La edad media, periodo en el que a pesar de aparecer e nociones generales, ya sea en forma geométrica 0 mecdnica, cada caso con- creto de dependencia entre dos cantidades variables se expresa mediante una descripcién verbal o a lo sumo mediante un grafico, quedando todavia muy relegada la determinacion de leyes cuantitativas de los fendmenos de cambio estudiados. Dentro de este periodo destacaremos por un lado el cambio de mentalidad que empez6 a producirse en el estudio de los fendmenos natura- les, como por ejemplo el movimiento, en Francia e Inglaterra, y por otto las aportaciones de Oresme por tratarse de los primeros intentos de representa- cidn grifica de la dependencia entre variables. —El perjodo moderno, que se inicia a finales del siglo xvt, y que pode- mos considerar como el de n con aproxi- maciones cada vez més amplias y generales, en el cual el estudie del movie al mismo tiempo que el descu- brimiento de la geometria analitica permite el desarrollo de las expresiones algebraicas de funciones. Posteriormente, en la segunda mitad del siglo x la expresin de funciones por medio de series de potencias permitié ampliar 38 el campo de las funciones tratadas analiticamente. Fue precisamente el do analitico para introducir las funciones lo que revolucioné las matemat Y, Por su gran eficacia, asegurd un lugar pri dentro de las matematicas. Mas tarde, ya en el sigho xvi esta interpretacion de las funciones como expresiones analiticas resulté demasi ‘dando lugar a nuevas definiciones del concepto general de funcion que serin universalmente aceptadas en el analisis matematico. Veamos a continuacién con cierto detalle los aspectos mas importantes de cada uno de estos periodos. 2.2, LAS BASES PARA LA FORMACION DEL CONCEPTO: EDAD ANTIGUA Al referirse a la «prehistorian de un concepto se corre ef peligro de situarse en uno de los dos posibles extremos, a saber: el concepto era ya conocido y utilizado mucho antes de lo que afirman algunos autores, o por el contrario, no es hasta la aparicién de las primeras definiciones que past a formar parte del cuerpo de conocimientos cientficos, olvidando los gérmenes ‘que pudieran existir con anterioridad. Vamos a tratar de situarnos en un término medio que nos parece el mas razonable para abordar los origen del concepto de funcién. Para ello y dado que en el mundo antiguo mente puede hablarse de funciones en general, analizaremos algunas ideas ‘que pueden relacionarse con tas mismas y que, sin duda, tuvieron relacion con su aparicion, 221, Las ci aciones antiguas: Babilonia Poco podemos decir de las matematicas de Bs que los documentos conocidos no van mas eresantes. incursions cn 30 de los babilonios, el hecho de que el material conocido se reduaca casi siempre a tablas de computo y a colecciones de problemas l encontrar aspectos relevantes ue permitan intuir la existencia de conceptos como variable o funcién. Sin embargo, es necesario hacer una excepcién para referirse a los cono- cimientos que las civilizaciones antiguas aleanzaron en astronomia, muy especialmente los babilonios, puesto que el cardcter de sus datos tiene un gran interés para el conocimiento de las funciones, y acaso sea en ellos donde encontramos el germen mis remoto. En efecto, ei papel que desempeiid Ia » Escaneadoastronomia para los babilk Strech: i ilonios, estrechamente lignda puede obscrvarie en la mezcla de observaciones y proleia, les evo a la ea fundamental de intentar predecir determinados acontecimientos, para nes sistematicas de diversos fendm ales intentos para aritmetizar observaciones dificilmente mi 3 empiricos, asi como itmética, caracterist ente geométrico de la ast nomia prebelénica y en general de la matematica griega, a excepcion d ‘escuela pitagérica. Este hecho es de gran importancia para nuestro est por que. como veremos a continuacidn, el desarrollo de la matem friega, tan importante en casi todos los aspectos como por ejemplo la Ereacion del método deductivo, se encontré con una serie de obsticulos que 5 ia del concepto de funcin. impidieron avanzar en la form Cabria preguntarse, por el contrario, si profundizando en los métodos evan Woe desarrollados por los astrénomos babilonios, cuyos documentos 1 aauténticas» funciones tabuladas, en el sentido ya expresado de no nen ana tabulacion de datos empiricos sino al uso de interpolaciones y extrapolaciones y a la bisqueda de regularidades, 20 © podria haber eaearotmds rapidamente en el establecimiento de métodos generales que evaran a una formulacién del concepto de funcién. 2.2.2. La evolucién y los primeros obsticulos: Grecia juye la matemitica griega, vamos a centrar- rntales como son Ia idea de proporcion, fad y la disociacion entre nimero y Del enorme legado que con: nos en unos pocos conceptos fundamer el problema de Ia inconmensural i in lector actual, la rel é 6 hos periodos tre ndmero y magitud constituyd un grave problema en muc! ie re Eeemtilea de la dad y especialmente en ‘el mundo griego. Los igoricos, cuya afinidad i aritmética de los babilonios es aa, no parece que se plantcaran la existencid ide problemas, en principio, sore unificar nimero y magnitud, de forma qv Ta relacién entre dos magni- F ngitud de dos segmentos) s¢ ‘expresaba por medio de ialar que la ausencia del tudes (por ejemplo, la lo fc Ie faron entre dos enteros positivos. Es preciso sefial concepto de niimero racional hace que dificilmente pueda considerarse como ima cosa la razén 2:3 la fraccion 2/3, ya que mientras ésta significa, ide dos tercios de otra que se toma como ‘que una longitud mide 2 con relacion a otra que con una misma unidad. ‘Aunque no vamos a extendernos en las consideraciones sobre el concepto de numero, es preciso destacar que Ja visién actual que tenemos de los onjuntos numéricos, partiendo de los naturales para ir construyendo suoesi- vamente los enteros, os racionales, los reales, etc, ¢s muy reciente, de forma {que durante muchos siglos los Gnicos nimeros considerados como tales fueron los naturales. ‘Al parecer son atribuibles a los pitagoricos la determinacin de las leyes simples de la aciistica que representan un intento para buscar relaciones tivas de dependencia entre variables fi jemplo las tudes de las cuerdas y los tonos de las notas ‘no obstante, son poco importantes para el desarrollo posterior de la {ematica griega, comparados, por ejemplo, con la trascendencia que tuvo 1 uso de las proporciones, ya que al margen de los modelos cinemiticos del Sistema del mundo, este aspecto cuantitativo de Tas leyes de la naturaleza fue poco desarrollado en la ciencia gricga. ‘Sin embargo, este papel preponderante de las proporciones constituyd un setio obsticulo para el avance hacia el co general de funcion. En efecto, cuando se trabaja con proporciones es dificil distinguir la relacion que existe entre magnitudes distintas, puesto que lo que se compara es siempre de fa misma naturaleza, de forma que las proporciones esconden Ia dependencia aque existe entre magnitudes distintas. Asi, por ejemplo, cuando se las areas de dos circulos y se establece que estan en la misma proporc los cuadrados de sus didmetros, se escondc la dependencia que existe didmetro y el rea de un circulo, relacién que nos acercaria a la idea de funcién, Podtiamos preguntarnos porqué los griegos establecian siempre de forma homogénea sus proporciones, es decir por medio de razones cada una de las cuales estaba formada por dos magnitudes del mismo tipo. La razin debe- fen el significado geométrico que tenian las magnitudes: se ies con longitudes o direas con areas, de forma que una fas carecia de significado. Por otto lad sorprendernos fue ‘como lo prueba el hecho siempre las de que Galileo, proporciones de forma homogénca, expresando, por eienplo, & para caracterizar un movimiento uniforme, en lugar de vila ¢ expresion que para nosotros es equivalente, y que Per to la idea de velocidad constante que caracteriza a 4 Escaneado con CamScannerdo es niimero», que comparta la existencia de -6 a tambalearse con las paradojas de Zen6n y aparicién de la inconmensurabilidad. En efecto, para poder expresar toda razén de magnitudes mediante dos enteros es ‘que dadas dos magnitudes sea posible hallar una unidad que pueda me a las dos y Ia existencia de segment este hecho. Este descubrimiento evo a una separacién entre nimero y ‘magnitud: los nimeros 0 las razones entre enteros positives se discretizan frente a las magnitudes que permiten expresar la continuidad, lo cual tiene tuna clara repercusin sobre la idea de magnitud variable, que a partir de este momento no podra expresarse mediante nimeros més que en casos particu- lares. Sera necesario, pues, introducir de nuevo las proporciones, pero ahora desprovistas de su cardcter numérico, es decir, formadas estrictamente por razones entre magnitudes, totalmente separadas de aquellos, hasta el punto de que Euclides en sus Elementos trataré nameros y magnitudes en libros separados, dando las definiciones correspondientes para cada uno de ellos, a ppesar de su similitud, Esto permitira salvar el problema de la inconmensura- bilidad, puesto que de nuevo podran compararse magnitudes aunque no sean medibles, pero reforzara el poder de las proporciones con las repercu- siones antes expuestas para el desarrollo del concepto de funcion. Por otro lado, a pesar de que las ideas de cambio o de cantidad variable no eran ajenas a los griegos, que habian considerado problemas sobre movi- i finito desde los tiempos de Heréclito y Zendn, y los cuales dedica Arist6teles buena parte de su fisica, podemos asegurar que nj los aspectos de cambio ni los referidos al movimiento fueron estudiados desde un punto de vista cuantitativo por la ciencia griega, més que en algunos momentos muy concretos que no pueden hacer cambiar Ja idea general de que el estudio de la matematica pura prevalecio sobre la cinemat ca. Esta puede ser una raz6n importante para explicar por qué el concepto de funcién seguia permaneciendo practicamente en su prehistoria al final de Jo que hemos llamado la edad antigua. 2.23, Idea general de funcién en el mundo antiguo En pocas palabras cabria decir que las primeras relaciones funcionales aparecen en el mundo antiguo ligadas a problemas principalmente astroné- micos, en forma tabulada a partir de interpolaciones generalmente lineales, y alcanzan su mayor precision en el Almagesto de Ptolomeo que llega a introducir con su tabla de cuerdas seno. No obstante, ni estas funciones sajos sobre curvas ligados al estudio de las cénicas, realizados por los griegos, principalmente por Ap Hevaron al parecer a ningin tipo de consideraciSn general sobre la idea de variable o de 42 funcién, Hemos sefialado algunos obsticulos de tipo conceptual de proporciones o la disociacion entre numer totalmente inexistente por lo nto de expresiones algebraicas, a excepei de Diofanto, aunque en forma retdriea, conce ‘con la dependencia funcional 10, podemos concluir que el estudio de fendmen posible hablar de la formulacion ex; dencia 0 funcién, ia de nociones como variable, depen- 23. LOS PRIMEROS INTENTOS: EDAD MEDIA Cualquier consideracién sobre las matemiticas en el vasto periodo que abarca lo que lamamos Edad Media (desde hasta el siglo xv) debe iniciarse con una referen Por los arabes que, como es bien conocido, tomaron por lo que al estudio den las ciencias se refiere y per éstos Hlegara a occidente. Sin embargo, en relacién esar del notable incremento en el ni abarea, entre otras, Ia mayoria de fu ejora de los métodos de estudio de las do los sistemas de interpolacion esenc ‘no podemos hablar de un cambio sustancial en el ni tenemos indicios que nos permitan pensar que el concepto general, por lo cu: resultados concretos importantes, la idea de funcidn, a ero de funciones consideradas, que lacién de funciones, smiento de las mismas, ‘arabes avanzaron hacia Y ® pesar de la existencia de algunos 0 entraremos en detalles. 23.1. Los prolegémenos del cambio: Las escuelas de Oxford y Paris Una de las mayores preocupaciones de la Edad M ahora ya al mundo occidental, fue el est ¢n particular del movimiento. Preguntas del tipo, por qué sopla el viento, por Qué fa luv entras el fuego sube © por qué los planctas brillan parecen junto a otras muchas y se pretende hallar un modelo del universe ue permita responder a estas preguntas. No obstante, el paso adelante neve iando de hallar ditectamente una respuesta a estos interroune ', sino iniciando un nuevo camino consistente en alterar el ipo de presen. a Escaneado con CamScannerta y plantearse de qué manera su & por qué eae una pieda cuando Tee ae esta piedra, a qué velocidad. je una ciencia experimer ‘cas y las ciencias de la natul sulted partir del silo x0. s Hamadas escuelas de filosofia natural de Ox son dos de los prinspalee icles de detarall dee enc oneprtata 0 jeron su mayor forciminto durante l silo xv, y & ellos vamos & iF nuestra atencién. Para estas escuelas, influenciadas por pensadores como Roger Bacon o Robert Grosetest, las matematies rege son Un instrumento esencial para el estudio de los fendmenos de la naturaleza, Entre sus mayores aportaciones dest j movimiento local no uniforme, partiendo inicialmente de las doctrinas a totélicas. A partir del siglo x vo de fendmenos adquiere ‘gran relevancia. Se analizan cualidades y formas, segin Ia termin ‘Aristoteles, de fendmenos muy diversos como calor, luz, densidad, velocidad, jue pueden poser varios «grados» de «intensidad» que cambian entre dos es establecidos; la idera en relacion a st «ext como el tiempo o Ia cantidad de materia, En el transcurso de estos estu yal margen del valor concreto de cada uno de ellos, empiezan @ aparccet Zonceptos fundamentales como cantidad variable, entendida como un grado 1d, velocidad instantanea 0 puntu: (odos ello dos a la idea de funcién. A pesar del interés ;portancia; por un lado, el trabajo experimental es i por otro ciertos fenémenos complejos ymente, como es el caso de la escuela de cambios: en lugar de preg! 105 al aire, se preguntarin junto a la progresiva apar perm ‘entre las matem leza, y seri In base del impulso que la ciencia 23.2. Oresme y las representaciones geoml FEI principal representante de Ia escuela francesa es Nicolés Ovesme (1323-1382) que continuando el estudio sobre los fendmenos ave cambian, proponer una aproximacion geométrica, frente a los {méticos desarrollados hasta aquel Salmente importante es su tratado De configurationibus qua en el que desarrolla su tcoria sobre Jas latitudes de principales vamos a tratar de expon mn sobre el uso de segmentos ede vd continua, pasando después a la representa- 44 Io largo del tiempo, Oresme traza un segmen- sntan los sucesivos instantes. de tiempo id) y para cada inst jongitud representa la velocidad en aquel instante: ia de las latitudes de las roblemas abordados, pero pronto Oresme restringe su campo jan de tres tipos de configuraciones, las uniformemente unifor~ 'y por consiguiente la linea superior o de intensida~ 2 la de las longitudes), las uniformemente diformes jes da una linea superior o de intensidades igual a formemente diformes (la linea superior no es una recta), idescritas negativamente como las que no pertenecen a ninguna de las contfi- fpuraciones anteriores. Con este tipo de representaciones, que nos recueréa mucho ya lo que llamamos la representacion grafica de una funci6 tunos ejes cartesianos, Oresme pretende que se entienda més fécil rapidamente la naturaleza de los cambios, ya sean cuantitativos vos, de forma que sea posible dar una representacién de todos ellos. sar las representaciones de cello seria posible si mejor, con su derivada, es devit en trabajo de Oresme se ve como fendmeno se representa a través de tridngulo rectingulo 0 trapecio, ‘curva, es decir por la integral de Todo hace pensar que el c cia de Oresme y de los ingleses en G Barrow, Newton o Leibnitz después fue, al parecer, no dispongamos de evidencias demasiado claras. En real dela Edad Media no fue posible avanzar mis, ello se debié a la des tion entre el nivel de abstraccién de las teorias abordadas y la correcto aparato matematico para su desarrollo, no aparece aislad: a, por su forma (rectingulo, por Ia superficie que queda bajo la Escaneado con CamScanner24, EL DESARROLLO DEL CONCEPTO: EDAD MODERNA xvi, periodo que Cerca de tres sighos separan la obra de Oresme del 1 del concepto de lerar como el mas fecundo para la forma iz y Gregory cuya contribucion, desde di dard lugar nada menos que al nacimiento primero de la geometria y luego del célculo infinitesimal, con el consiguiente progreso pat las Ta aparicién de las primeras defi Diversos factores son la causa que durante un largo periodo no se pueda hablar de un avance, que la obra de Bradwardine y de Oresme podrian hacer suponer: por un lado el declive de los centros que durante la Edad Media habian estado al frente del desarrollo de la ciencia desplazamiento a Italia por causas diversas de cai otro el ya mencionado obsticulo, cada vez mis acuciante, de la falta de un simbolismo matematico adecuado, que se gestara basicamente durante el jo xv1 con las obras de los algebristas italianos y especialmente de Viete (1540-1603), cuya contribucién al desarrollo del agebra y en particular a la reacién del algebra simbética, 0 célculo literal, fue decisiva. En primer lugar debemos referirnos a Galileo (1564-1642) puesto que, si bien su obra como matematico y su contribucién directa al desarrollo concepto de funci6n no es fundamental, sus avances en el estudio del mo miento y en general toda su obra cientifica es de un gran valor, has punto que, muchas veces, se co de arranque de la jento de una forma leyes establecidas, es 35 que usa ingenioso tudes que son aut i centre Oresme, para quien el camino de la experimentacion era inexistente, y Galileo que en sus trabajos da una gran importancia a las numerosas experiencias descritas, tratando de mejorai él poder determinar, 0 cuanto menos verificar las leyes establecidas. Por ell aunque las grficas utilizadas por Galileo sean parecidas a las de Oresme y Jos métodos matematicos no recojan los tltimos avances del algebra, ya que se basan y se expresan exclusivamente todavia en la clisica teoria griega sobre las proporciones, su concepcién sobre la ciencia y en particular su deseo de establecer relaciones funcionales es decisiva para el establecimiento del concepto matematico de funcién. Otro aspecto remarcable de la obra de Galileo se debe al intento por superar el «horror que hasta entonces representaban las cuestiones relacio- 46 nnadas con el infinite y que, como ya mencionamos, habia llegado a paral Ia especulacion de los griegos. Galileo aborda el problema de la corres dencia entre conjuntos infinites y trata cuestiones concernientes al continuo, hhaciendo referencia a las cheréticas» ideas de Demécrito. 8 métodos perviven todavia a principios de la tenemos en la presentacién de la funcion de los exponentes (1, 2,3, 14 y 1619 procede de una forma distinta, comparans ientos, uno uniforme y otro tal que su velocidad se supone proporcio- su distancia a un punto fjado; esta idea de introducit los logaritmos mediante la comparacion de dos movimientos muestra por una parte un profundo sentido de la continuidad y por otra la estrecha relacién que, de ‘huevo, existia entre niimero y magnitud, Pocos afios més tarde, concretamente en 1637, Descartes publica su célebre trabajo, La Géométrie, libro que marca el nacimiento y expansion de {a geometria analitica, que permitira, a partir de este momento, interpretar curvas y superficies por medio de ecuaciones, y que un siglo mas tarde Nevara a la algebrizacion de la gcometria, Esta idea fundamental, afectara igualmente de forma decisiva a las funciones, ya que en este mismo trabajo aparece por vez primera el hecho de que una ecuacién en xe y es una forma Para expresar una dependencia entre dos cantidades variables, de manera que, @ partir de ella, es posible calcular los valores de una variable que corresponden a determinados valores de la otra Para llegar a estas ideas fundamentales que permitiran, con el tiempo, Considerar por un lado las funciones como relaciones entre conjuntos de niimeros, reds que como entre «antidades», y por otro representar las funciones por medio de formulas, se habian producido en el campo de las, ‘matematicas dos avances muy importantes en la segunda mitad del siglo xvi, como son por un lado los progresos realizados en la exten: de niimero, con la configuracién de los nimeros reales y la primera aparicion de los nimeros imaginarios, y por otro la aparicin del algebr: a que cabe destacar la introduccién de signos para numerosas operaciones y especialmente la ut nn de letras para representar cantidades desconoci- das y coeficientes arbitrarios distinguiendo claramente una cosa de otra. Escaneado con CamScannerEn la introduccié junta itroduccion del metodo anaten para exresar las fancionesy inte @ Descartes, debemos meneionar a Fermat cl cual en una publicacién Béstuma de 1679, eserin anes de 1637, expone les pnp fundamentals del método de tas coordenadas, Al igual que Descartes, toma un ee de y-en él un punto fijo, el origen de segmentos variables, a partir de cuvos extremos tome otossegmentos variables, generalenteperpendicula quéllos, de manera que el extremo de este segundo segmento dibujara y de las demas - idavia a una definicién general del creada por Descartes, ‘A pesar de que no hemos Hlegado concepto de funcién y de que la geor supone desde una perspectiva moderna, una cierta restriccion, al entender }or ecuacién tinicamente lo que conocemos por ecuacion algebraica, la representacién de curvas por medio de ccuaciones representa uno de los importantes en el desarrollo de las matematicas, gracias al cual su estudio se convertiré desde este momento en la cuestién principal, con la consiguiente extensin a otras ramas de la matematica, en especial al célculo infinitesimal. 2.4.2. Las contribuciones de Newton y Leibnitz Ya hemos sefialado que Descartes consideré solamente las funciones algebraicas, excluyendo incluso las curvas mecinicas que no podian set tratadas segin su método de a Ja vineulacin de las matematicas con la fisica, como fruto de su par i ciencia. No obstant aiios después, el descubrimiento del desarrollo Ge funciones en series infinitas de potencias, debido entre otros a Newton, fadujo notablemente las restricciones de Descartes, haciendo posible 'a te. presentacion analitica de la mayoria de funciones estudiadss oh aquellos Fempos. El desarrollo en series de potencias de una funcidn juve wh Bt importancia, @ fad del siglo xvi, punto que durante iene retompo fe convirtié en el método fundamental para cl estudio de las zr depeni dad de cambio, En uno de sus caso, y dada fal determinar un movimiento x = f(0) sobre el ce ccaracteriza dicho movimiento es su velocidad, es deci ‘cociente de diferencias Ax/ con la cual Enel tiempo, es la que Newton llama «fluxion de «» que representa asimismo por x y que toma como base para todas sus c variabies x, y depe! que la derivada nosotros escrbiriamos como dy/ ‘Contemporanco y rival de Newton, Gottfried W. Leibnitz (1646-1716) es cos de la segunda mitad del siglo xvi que contribuy6 arrollo del concepto de funcién. Al igual que aq primeras obras fueron dedicadas al estudio de series Fue hacia 1673 Rfando, segtin cuenta él mismo, se dio cuenta que la determinacién de la fangente a una curva depende de la razén entre las diferencias de ls ordena~ das de las abcisas cuando éstas tienden a cero, asi como el céculo de areas depende de la suma de las ordenadas 0 de ingulos cuya abeisa tiende ‘2 cero y que ambos son problemas inverso nes j% lo que generalidad. a representa los diferenci ‘una 5 estilizada que es la inicial de la palabra suma (recordemos que como la mayoria de sus contempor’ eos escribia en resentando en 1684 su primera exposicién sobre el ‘caleulo diferencial. Como indica Boyer en su Historia de ls mat la manera de razonar de Newton estaba mucho mas préxima de la fundamen- tacién moderna del cilculo que la de Leibnitz, pero la cficacia diferencial y o plausible de las ideas de Leibnitz provocaban w ‘aceptar mejor la idea de diferencial que la de fluxion» (pig. $97 El funcidn aparece por vez primera en un manuscrito de Leibnitz jen inicialmente tiene un significado muy particular, pues se \d de mas es de 1673. ‘efiere a un problema de calculo de ordenadas a partir de certs propicdo las tangentes, posteriormente en 1694 utiliza la palabra en un s general, aunque todavia poco preciso y referido como siemPts 4 de geometria diferencial. La correspondencia con Jean Bernoe ds geoty como el deseo para expresar mediante una palabra canidades ave dependen de una ciorta variable se encuentra (od siones analiticas. En efecto, aunque para Lei ida a las expre- y de modo mis preciso 49 Escaneado con CamScanner‘manera cualquiera a partir de x y de co entiende como una expresién alge como afiadido a las mencionadas cont que parece observarse una superacion 24.3, La evoluci6n del concepto en el siglo XVI: Jean Bernoulli y Euler ___ Durante el siglo xvmr el anlisis matematico va cobrando cada vez mayor importanciae independencia como disciplna, perdiendo su cardcer geomé- trico y mecinico en favor de la aritmetizacién o mejor del uso casi exclusi del digebra, hasta sino que la mecdnica, de cuyos problemas hat rada como una parte de aquél. Un ejemplo sig hecho que mientras para Newton una fl para Lagrange la velocidad era la derivada de la funcion stancia a partir del tiempo. La primera jn explicita de funcién como una expresién analitica, cen los términos que acabamos de expresar en la seccién anterior, publicada cuya notacién no perduré, correspondien- ler (1740) Ia notacién f\ ida hasta nuestros dias. La primera usa el término fu 1698) aparece en la resolucion de un feado por su hermano Jacob. wuestro recorrido por la evolucién del concepto de funcién, sgado ya al gran matematico del siglo xvm, Euler (1707-1783), quien de su Iniroductio in analysis infinitorum (1748) hace un detallado ‘del concepto y de otros términos relacionados con éste. Al defini las nociones iniciales se refere a los términos constante, cantidad definida que toma siempre un mismo valor determinado, y vari nada, o universal, que comprende en si misma todos I dos (refiriéndose a los valores del conjunto de los nimeros complejos 0 & flguno de sus subconjuntos). Al definir funcién sigue a su maestro tean ‘Una funcién de una cantidad variable es una expre ‘manera a partir de esta cantidad variable y nimeros 0 Posteriormente aborda el complejo problema de blecer que se entiende por expresion analitica, enumerando en primer 1vgar jones algebraicas, lego las trascendentes, como la exponencial y la “ca, para ampliar el campo a una infinidad de otras funciones obte- ccontroversia con D’ ones de una cuerda fijada en sus dos extrem ‘que para la solucion del problema deben ccurvas de forma arbitraria, es decir, que no satisfacen ninguna ley ani sera el germen de una nueva definicion, que le evar a explicitar por vez primera la nocién general de correspondencia entre pares de elementos, cada ‘uno perteneciente al conjunto en el que toman valores las correspondientes en el prefacio de su Instirutiones cal fen 1755) aparece la nueva definicion, ‘anterior al desaparecer la idea de expresidn analitica: Si x es una ce ‘que dependa de x de cualquier mar in general dada por Ei wba definida cuando, refit se da trazada una curva evalquiera cconcepto de no ha hecho mis que empezar puesto que, a de la definicién dada por Euler, él mismo siguid ‘considerando funciones expresables analiticamente, y deberin pasar toda\ ‘algunos aos para dar un significado més tangible a la expresion ade c quier manera, que puede recordar la anteriormente citada de Leibnitz y Bernoulli, aunque ahora tenga un caracter mucho més general Nuestro interés por mostrar como poco a poco se va ampliando ct concepto de funcién, puede esconder en cierto modo cual era el verdadero problema. En efecto, no se trata simplemente de jones cada ver ims gonerales, sino que es necesario que éstas 3s, que tenga sentido en un determinado contexto, que sean ay jas Tas funcio- nes conocidas en aquel momento y que pet jos problemas planteados que resultan cada vez mas plo, en la resolucion del problema de habia resuelto a partir de una serie it mientras que Euler y D'Alembert lo ~naanae nants arbitrarias, lo que hizo suponer, en princi era més general, i forma, ciales permite comprender porque seguiran refiriéndose casi exclusivamente a funciones anal Escaneado con CamScannercontinuas 0 con un nimero reducido de discontinuida te recordar quae aan, 9 estudio de los procesos inf desde su creation por Newon ¥ Leibnitz, como referido fagnitudes continuas. Asi, el problema de In ampliscién di ‘como algo necesario, aunque todavia controver se desarrollara con gracias a los trabajos de Fourier, Cauchy y Dirichlet, entre otros 244, La altima etapa: Del siglo XIX a In teoria de conjuntos Las aportaciones realizadas durante el siglo xrx eseapan en buena pare tT contenido de este libro tiene la descripcion de un fargo y complejo como el que nos ocupa. Por ello vamos & 1 brevedad los pasos esenciales. vo de siglo, Lagrange restringe de nuevo el concepto de 1 lamnadas funciones analiticas que estén definidas por series de pot ‘blema principal de esta restricciones se debe all Pech que dichas funciones estan determinadas cuando $= fone" com- cas n entomo infinitamente pequeio de x, 10 eual entra co ‘con el comportamiento arbitrario de una funcién S¢ y de Dirichlet. BI primero, con el estudio de las series tigers series de Fourier, ya abordado por Daniel Berno nes arbitrarias, que sup! representar por medio formadas por leyes an: independiente. En efec ‘a Boyer «las representaciones 2 a citermiten un grado de generaidad mucho eres Pompes alas que se puede aplicar para etud que pe for Incluso si hay muchos puntos en ue ety derivada de la funcién 0 en los que it funcién no sea co fancign puede tener ain un desarrollo p sr de Fourier (pa. Por a parte Dirichlet, discipulo de Fourier: aunque ca refetin a tunciones continuas 0 poco discontinvits hhablaba de los desa seterie de funciones completamente arbtraiee el mismo sentido de Fourier, mostrando que poseia y@ ‘general de funcion, En 1837 tuna definicién muy gener i i 5 en diferentes por me- or, en a que siempre que s¢ Ia cual queda determi- ue y es una funcion de la sdad de la regla pro- atribuya nado un anico valor nage pe independiente x. Para ejempliicar 1a arbitrarie 2 ye ae lama funcién de Dirichlet: sean a y b dos mimeres reales rr rracional y = 2, Mientras que sixes iracional y= oe continua pata todos los valores de y por tanto no & vra ninguno de ellos, A pesar de que ya no ext ‘ninguna 7, posteriormente, formule vn ' condiciones de Dirichlet, que hacia 1830, ‘ante todo a Cauchy, Ri campo complejo vienen a cot funcidn de Lagrange y d¢ Fourie ‘No podemos acabar sin menci cconcepto de funcién momento, una fancio de todos los valores real ‘un intervalo dado. Pero, al consi " onar la generalizacion que supuso para ¢! “ie la teoria de conjuntos. Hasta aquel ;da punto del continuo de estaba definida siempre en ca ‘to menos, en cada P' far una defincion en términos tas, todas las definiciones a Jonresponden a casos particulates de tat ott generalizacion. Asi, decimos auc 2000s ‘dos conjuntes arbitrarias “tp una funcion (0 aplcacion) de 4 2p 8 et Ut ley que a cada elemento x 4 aoe eorresponder un solo elemento y de si se prefiere, ion 4 espandet junto Frdel producto cartesiano A % Ba Bn del concepto y qe, m0 jeas, como son Ia idea de varia- metro temporal, de dependen- le como pat Ta ne de la mayoria de problemas que generar nic fanefon, Como ya tendremos ocasion de que tales definciones son mas simples ave Jas csicas, cuando te teatidad proceden de sucesivas abstracciones ide aqullas, ¥ que por tanto ‘on niveles elementales de la ensefianza ss recomendable, ¢5 necesario recorrer para llegar a clas, satentico significado convirtiéndo- ‘go camino que ha sido ‘que se las despoja de su rrumentos de escasa validez, 3 Escaneado con CamScanner