EL CUERPO DE LOS NUMEROS COMPLEJOS Introducci on hist orica.

El origen y uso de los n umeros naturales se pierde en la noche de los tiempos. En cuanto el Hombre desarrolla un medio de comunicaci on, un lenguaje, aparece la necesidad de comunicar el tama no de un conjunto, sea el de los componentes de la tribu, un grupo de enemigos, un reba no de animales o los distintos miembros de una familia. Se atribuye a Leopold Kronecker (1823-1891)la frase de que Los n umeros naturales fueron creados por Dios; el resto es obra del Hombre. Y es cierto que las primeras culturas de las que nos han llegado restos escritos muestran ya un amplio conocimiento en el manejo de estos n umeros y distintas t ecnicas de c alculo. Tambi en aparecen ejemplos de t ecnicas de manejo de los n umeros racionales positivos, que responden a necesidades pr acticas, como la distribuci on de herencias o c alculos comerciales. Los babilonios, con un sistema de numeraci on mucho m as eciente que el de los egipcios, desarrollaron incluso t ecnicas para el c alculo de algunas ra ces cuadradas y m etodos para la resoluci on de algunas ecuaciones de segundo grado. En todo caso, lo que nos ha llegado de estas antiguas civilizaciones del medio oriente, son siempre una serie de recetas pr acticas para resolver problemas: si quiere resolver este problema concreto, haga primero esto, despu es esto otro, etc., sin ninguna referencia a c omo se llega a la conclusi on deseada. Los griegos asimilaron los conocimientos de las culturas egipcia y mesopot amica, aportando adem as su gran descubrimiento: la demostraci on y el m etodo axiom atico. Ello les permiti o desarrollar un estudio sistem atico y muy completo de l as propiedades aritm eticas de los n umeros naturales (criterios de divisibilidad, distintos procesos de descomposici on, propiedades de los primos, etc.). Desgraciadamente, su simbolismo num erico era muy deciente, por lo que sus razonamientos son esencialmente geom etricos, sin identicar las magnitudes geom etricas que con tanta habilidad manejaron a distintas clases de n umeros. Pero si, como se hizo posteriormente, se identican los puntos de una recta con n umeros, tomando un segmento dado como unidad, puede armarse que los griegos desarrollaron una completa teor a de los n umeros racionales positivos y muchas de las propiedades de los n umeros reales positivos. En cuanto a las distintas variedades de n umeros negativos, aunque aparecen de forma natural al considerar la sustracci on de n umeros (o la diferencia de magnitudes, etc.), fueron siempre tratados con renuencia y suspicacia. En general, se conoc a que al resolver problemas que involucraban ecuaciones de grado 1, 2 y 3 pod an aparecer soluciones negativas o falsas, que hab a que desechar, pues no correspond an a ninguna soluci on del problema (generalmente, una magnitud geom etrica o el importe de una transacci on; en todo caso, siempre un n umero no negativo). Pero, m as a un, hab a ecuaciones de segundo 2 grado, como la x + 1 = 0, que no ten an ninguna soluci on, pues era bien sabido que 1

el cuadrado de cualquier n umero siempre es no negativo. Estas convicciones, adem as, estaban apoyadas por el uso exclusivo del lenguaje ret orico en los problemas algebraicos, que mostraba claramente la imposibilidad de encontrar, por ejemplo, un n umero que cuando se incrementa en 3 unidades, da 1 o un n umero tal que cuando se suma 2 a su cuadrado, da 1. As qued o la cosa, hasta que entr o en escena G. Cardano (1501-1576), hombre singular y de vida azarosa y fascinante. Para ponernos en situaci on, hay que decir que en la Italia de aquellos tiempos, en pleno Renacimiento, abundaban las maravillas y los hombre singulares. Y tambi en el dinero y las ganas de divertirse. Por ello, era habitual que se realizaran distintas clases de apuestas y desaf os, remunerados econ omicamente. Uno de estos desaf os singulares consist a en que cada uno de los contendientes propon a una lista de problemas de ingenio y habilidad al o los contrarios. Quien m as y mejor resolv a la lista, ganaba. La mayor parte de los problemas se pod an traducir en la resoluci on de una o varias ecuaciones algebraicas. Y las de grado 1 y 2 todo el mundo sab a resolverlas. Pero cosa muy distinta era el caso de las ecuaciones de grado 3, por lo que quien conociera alg un m etodo de resoluci on de estas ecuaciones, ten a en su poder una verdadera mina de oro. Adem as de otros motivos puramente intelectuales, esta era una buena raz on para tratar 3 2 de encontrar la soluci on de una ecuaci on de la forma ax + bx + cx + d = 0 (con a, b, c, d enteros, si se quiere). Soluciones particulares fueron obtenidas por distintos personajes, como Tartaglia (1500-1557) y Scipione del Ferro (1465-1526), pero fue Cardano quien en su Ars Magna (1545) public o la soluci on general. Para ello, mediante un cambio de variables, redujo el problema a la resoluci on de una ecuaci on del tipo x3 + mx = n, obteniendo la soluci on general x=
3

n + 2

n2 m3 + 4 27

n + 2

n2 m3 + 4 27

La cuesti on es que hay ecuaciones, como la x3 15x = 4 que, teniendo todas sus soluciones reales (en este caso son x1 = 4, x2 = 2 + 3, x3 = 2 3), al aplicar la f ormula aparecen ra ces de t erminos negativos. En este caso x=
3

2+

121

2 +

121.

Cardano no supo dar ninguna interpretaci on a este hecho, content andose con decir 1 que en este caso la f ormula no se pod a aplicar Algunos a nos m as tarde, Rafael Bombelli, en su obra Algebra (1572), a n de dar validez a la f ormula de Cardano en el caso de soluciones reales, tuvo la idea loca de
Cardano denomin o a estas ra ces sof sticas, concluyendo que en este caso su f ormula era tan sutil como in util..
1

 introducir formalmente las operaciones con n umeros de la forma a + b 1, a y b reales, mediante las reglas ( 1) ( 1) = 1 ; 1 1 = 1 y las reglas formales del producto de n umeros usuales. As , por ejemplo, (2 + 1)3 = 2 + 11 1 = 2 + 121, y, an alogamente (2 + 1)3 = 2 + 121,

y as la f ormula de Cardano proporciona la soluci on correcta: x = (2 + 1) + (2 1) = 4.

La introducci on del lenguaje simb olico, que culmina con los trabajos de F. Vieta (15401603) y R. Descartes (1596-1650), permite a los matem aticos obtener resultados generales sobre las ra ces de una ecuaci on algebraica. Para conseguirlo, aparece cada vez m as conveniente la asunci on de que toda ecuaci on de la forma P (x) = 0, donde P es un polinomio con coecientes reales (en principio), tiene siempre soluci on, aunque a veces estas soluciones son imposibles o sof sticas. As , en el caso de la c ubica, resulta, como hemos umeros reales. visto, muy u til la consideraci on de ra ces de la forma a + b 1, con a, b n Pero eso no quer a decir que las posibles soluciones imaginarias de las ecuaciones de grado 4 y superiores fueran del mismo tipo. De hecho, se pensaba que hab a una innidad de tipos posibles de magnitudes imaginarias, soluciones de las ecuaciones algebraicas. El primero en poner claramente de maniesto este hecho es Albert Girard (15951632), quien en su Invention nouvelle en lalg` ebre (1629) enuncia un Teorema en el que arma que toda ecuaci on algebraica tiene tantas soluciones como su grado, y establece las relaciones que hoy conocemos como de Cardano-Vieta entre los coecientes del polinomio y distintas funciones sim etricas de las ra ces. Esto resulta, sin m as, de la identicaci on formal de los coecientes de grado r en ambos lados de la igualdad P (x) xn + an1 xn1 + . . . + a1 x + a0 = (x 1 )(x 2 ) (x n ), siendo 1 , . . . , n las ra ces (por ejemplo, identicando el coeciente de xn1 en ambas expresiones, obtenemos 1 + + n = an1 , etc.). De manera general, Girard distingue entre las soluciones que son m as que nada, las que son menos que nada y las complejas [ envelopp ees], que contienen a2 u otros n umeros semejantes. La utilidad de la introducci on de estas soluciones imposibles reside en que ello permite asegurar la validez de la regla general. Por supuesto, Girard no aborda la cuesti on de si todas las soluciones as a un, parece claro que pensaba que no era as .2 imposibles son de la forma a + b 1. M
Este Teorema enunciado por Girard es la formulaci on expl cita del llamado Teorema de Factorizaci on Lineal (TFL). En t erminos modernos, armar a que si P (x) es un polinomio de grado n con coecientes en un cuerpo conmutativo K , existe un cuerpo L (cuerpo de descomposici on) que contiene a los coecientes
2

Continuando con la historia de las soluciones imposibles, diremos que la denominaci on de imaginarias para designar estas cantidades, aparece por primera vez en la G eom etrie de R. Descartes (1637), cuando en el libro III arma que Ni las ra ces verdaderas ni las falsas son siempre reales; a veces, son s olo imaginarias; es decir, que se pueden siempre imaginar como soluciones de la ecuaci on, pero que a veces no corresponden a ninguna cantidad denida. Descartes cita el ejemplo de la ecuaci on x3 6x2 + 13x 10 = 0, para la que se pueden imaginar tres ra ces, aunque s olo una, 2, es real, mientras que las otras dos son imaginarias. Para Descartes resulta evidente que, puesto que se puede formar una ecuaci on de grado n formando el producto de n ecuaciones de primer grado, rec procamente, toda ecuaci on de grado n se puede descomponer en n factores lineales, aunque para ello hay que introducir ra ces imaginarias. Estas aparecen, pues, como adjunciones formales, sin precisar su naturaleza, aunque se supone que verican las reglas usuales del c alculo para operar con ellas. Un primer intento para claricar la naturaleza de las ra ces imaginarias aparece en la obra Nouveaux el ements des math ematiques (1689), de J. Prestet, en la que se describe una escala de absurdidades, comenzando por las lineales, que corresponden a las ra ces negativas; despu es aparecen las absurdidades de segundo grado, ra ces no reales de los polinomios de segundo grado, es decir, de la forma a + b 1. Las de tercer grado se reduc an a los dos primeros tipos (puesto que la c ubica siempre admite una soluci on real). Pero -dice Prestet- las de cuarto grado pueden tener contradicciones a un m as complicadas que las planas, ya que pueden aparecer ra ces cuadradas de ra ces 4 4 de magnitudes negativas, como en la igualdad z + a = 0, es decir z = a4 ... Como hemos dicho, el Teorema Fundamental del Algebra se formula en el siglo XVIII, al abordar los matem aticos el problema de descomposici on de funciones racionales para su integraci on. G. W.Leibnitz (1646-1716) enuncia el teorema como conjetura en una memoria de 1702, y arma que es falso, poniendo como contraejemplo el polinomio x4 + a4 . Poco despu es (en 1719), el mismo Jean Bernouilli da la descomposici on x4 + a4 = (x2 + a 2x + a2 )(x2 a 2x + a2 ), mostrando que Leibniz se equivocaba en su armaci on.
de P y en el que P admite una descomposici on en producto de n factores de primer grado. Hay que distinguir esta armaci on (por lo dem as, impl citamente aceptada por los matem aticos a partir del siglo XVII) de lo que hoy llamamos el Teorema Fundamental del Algebra (TFA), que establece que todo polinomio con coecientes reales, admite al menos una ra z compleja, es decir, de la forma a + b 1 , con a, b R (la notaci on 1 = i se debe a L. Euler). Esta formulaci on es muy posterior (a partir de 1700) y est a esencialmente motivada por problemas derivados de la integraci on de funciones racionales.

Las primeras demostraciones del TFA se deben a L. Euler (1707-1783) y J. DAlembert (1717-1783) alrededor de 1750. En su Tesis, K. F. Gauss (1777-1855) da lo que se admite como primera demostraci on rigurosa del TFA. Comienza haciendo una cr tica de las demostraciones previas, en las que, seg un el, se asume t acitamente la existencia de alguna soluci on de l a ecuaci on P (x) = 0, para despu es pasar a demostrar la forma de esa soluci on. Esencialmente, el TFA arma que las u nicas cantidades imaginarias son las de la forma a + 1b, a, b R. En el curso de su demostraci on, Gauss llama a los n umeros complejos a + ib (sombras de una sombra), lo que muestra la idea de los matem aticos de la epoca sobre la realidad de estos entes, cuya importancia como cantidades simb olicas se iba poniendo de maniesto a marchas forzadas. Por ejemplo, A. L. Cauchy (1789-1857) publica en 1814 una Memoria sobre el c alculo de integrales denidas, donde muestra la gran utilidad del uso de cantidades imaginarias para la computaci on de integrales reales sobre intervalos innitos. No fue hasta mucho m as tarde cuando los n umeros complejos pierden ese car acter misterioso, en gran parte gracias a la autoridad de Gauss, quien en un trabajo de 1831 interpreta el n umero a + ib como el punto del plano de coordenadas (a, b) y muestra como parte de la geometr a del plano se puede traducir a operaciones aritm eticas con los n umeros complejos. De todas formas, Gauss no fue el primero en dar esta interpretaci on. El cart ografo dan es Gaspard Wessel (1745-1818) tuvo la misma idea y en 1797 hab a presentado un trabajo en la Academia de Ciencias Danesa dando cuenta de su idea, que pas o completamente inadvertido. M as difusi on tuvo un paneto, publicado en 1806 por el matem atico acionado suizo R. Argand (1768-1822), en el que se expon a la interpretaci on geom etrica de los complejos, pero sus resultados fueron r apidamente olvidados (hasta el punto de que el mismo Cauchy, que parece s conoci o el trabajo de Argand, sigui o defendiendo la interpretaci on de los n umeros complejos como entes meramente simb olicos que vericaban las reglas formales del c alculo, hasta 1849.) La Teor a de funciones de variable compleja, se inicia y desarrolla en sus contenidos b asicos (la casi totalidad de los resultados que veremos a lo largo de este curso) a lo largo del siglo XIX. En un principio, como ya se ha dicho, surgi o como herramienta para resolver problemas del c alculo de integrales denidas, aunque pronto se fueron descubriendo sus enormes posibilidades y aplicaciones. Su origen se puede jar en los trabajos de Cauchy, quien descubri o la clase de funciones de variable compleja razonables) a partir de sus trabajos sobre integraci on e invariancia de la integral curvil nea. Estas funciones aparecen 1 como pares de funciones reales de clase C sobre el plano, que cumplen las llamadas condiciones de Cauchy-Riemann (funciones holomorfas). Dentro de su inmensa obra, Cauchy dedic o una gran parte de la misma al estudio de las propiedades de esas funciones, 5

y, como veremos, muchos de los teoremas que estudiaremos en el curso, llevan su nombre. Una aproximaci on completamente nueva se debe a B. Riemann (1826-1866), quien adopt o un punto de vista geom etrico, tratando de aislar la clase de funciones entre dominios complejos que fueran conformes, esto es, conservaran los angulos. Las funciones as obtenidas son las mismas que las estudiadas por Cauchy, pero con una visi on diferente. Su teor a minimiza los c alculos y pone su acento en las ideas geom etricas. En palabras de H. Poincar e el m etodo de Riemann es sobre todo un m etodo de investigaci on y descubrimiento... Finalmente, la aritmetizaci on de la teor a de debe a K. Weierstrass (1815-1897), que identica las funciones razonables como aquellas que son desarrollables localmente en serie de potencias (funciones anal ticas). En la misma obra citada, Poincar e opina que el m etodo de Weierstrasss es, sobre todo, un m etodo de demostraci on... Hay que decir que la teor a de Cauchy contiene el germen a la vez la concepci on geom etrica de Riemann y la aritm etica de Weierstrass. El mismo Cauchy se encarg o de probar que sus funciones holomorfas eran a su vez conformes y anal ticas.