Vous êtes sur la page 1sur 3

Los nmeros imaginarios

jeremy theler
--------------------------------------El otro da le el tercero de los excelentes libros del Prof. Dr. Adrin Paenzacuya lectura recomiendo enfticamente a los amigos que suelen darse una vueltita por esta columna de la coleccin Ciencia que Ladra, y record una vieja discusin sobre la matemtica. Estn los que opinan que esta disciplina no es ms que una herramienta que las dems ciencias duras utilizan para investigar cmo funciona la naturaleza. Por otro lado, algunos sostienen que el universo tiene asociada una matemtica intrnseca, por lo que investigar y descubrir propiedades puramente matemticas es tambin investigar la naturaleza. Es decir, para los primeros, el Teorema de Pitgoras es una herramienta con la cual medir distancias en un plano para despus calcular la fuerza entre dos puntos de un campo gravitatorio. Para los segundos, el Teorema de Pitgoras nos est diciendo cmo funciona la geometra de este universo en el que vivimos. Con esta pequea introduccin, hablaremos hoy sobre qu demonios son los nmeros imaginarios.

Sin embargo, los nmeros racionales estn lejos de llenar toda la recta numrica.
--------------------------------------Supongamos que si usted lee esto es porque le queda algo de curiosidad sobre qu es lo que tengo para contar sobre los casi inconcebibles nmeros imaginarios, y porque adems tiene la amabilidad de seguirme en el razonamiento. As que contar que los nmeros racionales hacen posible la operacin de divisin, por el cuento otra vez de dividir cinco entre tres. Sin embargo, los nmeros racionalesvamos, las fraccionesestn lejos de llenar toda la recta numrica. Entre dos nmeros racionales cualesquiera, hay una cantidad de huecos vacos descomunales. Hacen su entrada entonces los nmeros irracionales, que son los que no se pueden escribir como una fraccin, como por ejemplo la raz cuadrada de dos o el simptico nmero PI. La unin de los racionales con los irracionales dan los nmeros reales y hasta ah, llenamos la recta numrica.

Los nmeros y sus conjuntos


Casi todas las civilizaciones histricas han desarrollado algn tipo de sistema de numeracin un una aritmtica que involucra a los nmeros naturales, que todos conocemos. En el campo de los naturales, al sumar dos nmeros cualesquiera siempre obtenemos otro natural. Sin embargo, esto no es cierto en la resta, ya que quien quiera restar tres menos cinco no obtendr un nmero natural. Entonces nos ensean los nmeros enteros, que son los naturales ms el cero y los nmeros negativos, y que posibilitan la operacin de resta. Ya cuando en la secundariacomo bien cita Paenza, que es adems un excelente docente de matemtica de nivel universitario segn me contaron ex-alumnos suyosnos explican los nmeros racionales, tenemos ms ganas de que toque el timbre que de enterarnos de su utilidad, bsicamente como sucede durante todos estos aos de penurias.

La ancdota de Asimov
Cuenta Isaac Asimov en una de sus columnas sobre divulgacin una divertida historia de su poca de estudiante universitario. Asimov tena un amigo que estudiaba una carrera de humanidades con el que sola almorzar. Los das que Asimov cursaba Anlisis Matemtico (justo antes del almuerzo), el amigo atenda un curso de Filosofa. Como las clases de Anlisis solan terminar un poco antes, Asimov se acercaba hasta el saln de Filosofa y escuchaba los ltimos minutos de la clase para matar el tiempo. ---------------------------------------

Y el profesor respondi que los matemticos crean en cosas que no existan tales como los nmeros imaginarios.
--------------------------------------1

A Ciencia Cierta nmero 11, Febrero 2008

Un da, el pomposo profesor de Filosofa clasic a los hombres en dos columnas: crdulos y escpticos. Entonces empez a escribir en la primera columna cosas tales como telogos, astrlogos y cosas por el estilo, y naliz con la palabra matemticos. Antes de que comience con la segundaque seguramente iba a estar encabezada por los lsofosAsimov no resisti y abandon su calidad de oyente para preguntar el por qu de esa taxonoma para con los matemticos. Y el profesor respondi que los matemticos crean en cosas que no existan tales como los nmeros imaginarios. Acto seguido, mostr una tiza e invit al revoltoso estudiante a que sea tan amable de alcanzarle una tiza imaginaria. Asimov arguy que no era as como funcionaba el chiste con los nmeros imaginarios, y tras una pequea discusin decidi desde ese da esperar a su amigo en el pasillo de la universidad. Por supuesto, aos despus se despach con un par de libritos contando efectivamente como era el chiste de los nmeros imaginarios. Veamos si me sale contarlo a mi, segn la formacin matemtica que tuve la suerte de recibir.

era que uno pueda encontrar un nmero tal que multiplicado por si mismo de -1. De esta forma, es posible extraer la raz cuadrada de los nmeros reales negativos en este nuevo cuerpo, el de los nmeros complejos.

El chiste de los nmeros imaginarios


Cuando a uno en una clase le presentan una teora, casi nunca le cuentan la historia detrs el desarrollo de la teora. Los profesores suelen mostrar el desarrollo y contar las conclusiones, como si fuera sta la nica manera de tratar un cierto tema. Y la verdad es que la mayora de las veces, antes de que la ciencia llegue a un resultado verdadero suele haber muchos intentos y ningn invento. En particular, al estudiar el cuerpo de los nmeros complejos, a uno le queda la sensacin de que los matemticos han elegido una combinacin de operaciones a propsito para que la bendita raz cuadrada de uno sea posible. Pero adems, parece que la cosa funciona. Ms an, parece que para que la cosa funcione, no hay otra forma de denir un cuerpo para lograr lo que logran los nmeros complejos. Y es que por un lado, el anlisis complejo provee herramientas que muchas veces simplican ciertos clculos tal como bien saben las personas que trabajan en control: aunque no lo parezca, es mucho ms sencillo trabajar en el espacio complejo de Laplace que en el dominio temporal. Pero por otro lado, el cuerpo complejo es estrictamente necesario, por ejemplo, para la mecnica cuntica. Todava no sabemos si es que a nadie se le ocurri una formulacin de la mecnica cuntica que no necesite operadores complejos o es que realmente el universo no se deja describir de otra manera. Lo que en los cursos de Matemtica parece una denicin ad-hoc de operaciones algebraicas para que 1 = i, en cursos de Mecnica Cuntica parece ser la nica forma de expresar lo que sucede en el mundo subatmico. ---------------------------------------

El cuerpo de los nmeros complejos


Una vez que tenemos un conjunto de nmeros como por ejemplo los reales, podemos armar un cuerpo deniendo operaciones algebraicas sobre ellas. El cuerpo de los reales tiene las operaciones que todos conocemos. Sin embargo, algunas operaciones no estn denidas. Por ejemplo, dado que menos por menos es ms, no existe ningn nmero tal que multiplicado por s mismo nos de un nmero negativo. Esto es, los nmeros negativos no tienen raz cuadrada real. Qu nmero multiplicado por s mismo da como resultado -1? ---------------------------------------

Qu nmero multiplicado por s mismo da como resultado -1?


--------------------------------------El cuerpo de los nmeros complejos aparece como una forma de resolver el dilema de la raz de -1. Recomiendo pegar una miradita a la literatura sobre Anlisis Complejo que menciono en las referencias para quienes les interese los nos e interesantes detalles matemticos. Pero el chiste es denir nuevos nmeros (los complejos) que sean no uno sino dos nmeros reales y denir las operaciones de tal man2

Seores, ei + 1 = 0. No sabemos qu quiere decir, pero podemos probar que es cierto.


--------------------------------------Seores, ei + 1 = 0. No sabemos qu quiere decir, pero podemos probar que es cierto., comenzaba el discurso de apertura de un famoso matemticocuyo nombre no recuerdoen un Congreso Internacional de Matemtica al-

A ciencia cierta nmero 11, Febrero 2008

l por principios del siglo XX. La igualdad relaciona elegantemente las cinco constantes ms conocidas. Efectiva y sorprendentemente, es cierta. Finalmente, como todos sabemos, los dos nmeros reales que componen a un nmero complejo se llamanen un arrebato de genialidad matemticaparte real y parte imaginaria. Me atrevo a armar que la mayora de la literatura de divulgacin sobre los nmeros imaginariostal como lo que intenta ser esta humilde columnase debe slo a un desafortunado nombre. La segunda componente de un nmero complejootro nombre poco felizno tiene nada ms de imaginario que cualquier otro concepto matemtico. Es menos imaginario un logaritmo o un coseno hiperblico que la segunda componente de un nmero de un cuerpo que cumple todas las de la ley? A mi no me parece.

Referencias
Matemtica. . . ests ah? Episodio 3,14. Adrin Paenza. Siglo XXI Editores, 2007. De los nmeros y su historia. Isaac Asimov. Editorial El Ateneo, 2004. Variables complejas y sus aplicaciones. R. Churchill y J. Brown. Editorial MgGraw Hill, 1976. Complex analysis. An introduction to the theory of analytic functions of one complex variable, Ahlfors L. V, McGraw Hill, 1966.

A ciencia cierta nmero 11, Febrero 2008