Ciencia Ergo Sum

ISSN: 1405-0269
ciencia.ergosum@yahoo.com.mx
Universidad Autnoma del Estado de Mxico
Mxico

Lluis-Puebla, Emilio
Teoras matemticas, matemtica aplicada y computacin
Ciencia Ergo Sum, vol. 13, nm. 1, marzo-junio, 2006, pp. 91-98
Universidad Autnoma del Estado de Mxico
Toluca, Mxico

Disponible en: http://www.redalyc.org/articulo.oa?id=10413112

Cmo citar el artculo

Nmero completo
Ms informacin del artculo
Pgina de la revista en redalyc.org

Sistema de Informacin Cientfica

Red de Revistas Cientficas de Amrica Latina, el Caribe, Espaa y Portugal
Proyecto acadmico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto

Recepcin: 17 de noviembre de 2005.

Aceptacin: 9 de enero de 2006.
* Departamento de Matemticas, Facultad
de Ciencias. Universidad Nacional
Autnoma de Mxico.
Correo electrnico:
lluisp@servidor.unam.mx
Texto correspondiente a la conferencia
invitada para conmemorar el Da del
Matemtico. Facultad de Ciencias.
Universidad Autnoma del Estado de
Mxico (1 de julio de 2005).

Teoras matemticas,
matemtica aplicada y computacin
Emilio Lluis-Puebla*
Al Dr. Guillermo Moreno en su L aniversario
La matemtica es una de las Bellas Artes,
la ms pura de ellas,
que tiene el don de ser
la ms precisa
y la precisin de las Ciencias.

Introduccin

La investigacin matemtica es la disciplina cientfica ms alejada

del hombre de la calle quien no posee absolutamente ninguna idea

Muchas personas, colegas, estudiantes y en especial mis propios

alumnos, me han solicitado que escriba acerca de la matemtica y los

acerca de ella, porque generalmente identifica la matemtica con

las ideas que pudo absorber a menudo sin xito en la escuela

matemticos. Correspondo a esta peticin esperando que esta informacin ayude a comprender esta ciencia y a quienes la practican.

primaria o secundaria. La matemtica o lo que cree que es, le

parece fra y cruda, sin vida (incluso habla de la frialdad de los

Algunas de las ideas expresadas en este artculo son mas y otras,

provienen de las fuentes mencionadas en la bibliografa. En particu-

nmeros). Difcilmente se imagina que la matemtica fue creada

en el pasado y sigue crendose en el presente. Le es difcil com-

lar, he tomado muchas del matemtico Michael Atiyah. Desde mis

aos de estudio profesional y de posgrado he ledo sus artculos de

prender el hecho de que sea una disciplina intelectual abstracta y

que posea una existencia independiente y floreciente.

divulgacin, las entrevistas que le han realizado, escuchado sus

conferencias, estudiado sus textos y artculos de investigacin, en

El egresado de una licenciatura generalmente no se dedica al estudio de su profesin, ms bien la utiliza o la aplica, por eso para

particular los de K-teora. Sin duda es uno de los ms destacados

matemticos de la segunda mitad del siglo XX y uno de los pensado-

dedicarse realmente a la matemtica es necesario realizar estudios

de posgrado a vivir el maravilloso mundo de esta ciencia. Los egresados

res ms acertados de la matemtica, por esto deseo transmitirles

un poco de su pensamiento y visin de nuestra disciplina.

de una licenciatura de matemtica pueden y deben encontrar trabajo

como cualquier otro egresado de una licenciatura, es cosa de hacer-

La matemtica posee una enorme aplicabilidad y constituye un

lenguaje y marco indispensable, para todas las ciencias. sta es la

les ver, a quienes contratan personal, las enormes ventajas que tiene
contratar matemticos. Muchos licenciados en matemtica se dedi-

razn por la cual no solamente unos cuantos individuos dedican su

vida a ella sino que es materia de estudio en el sistema educativo y

can a la docencia, sobretodo en los niveles de primaria, secundaria o

preparatoria. Las escuelas les exigen la licenciatura terminada, con

parte de la escena social.

una estupenda preparacin y que deseen ser docentes por vocacin;

C I E N C I A e r g o s u m ,, V
Vo
o ll .. 11 33 -- 11 ,, m
ma
a rr zz o
o -- jj uu nn ii oo 22 00 00 66 . U n i v e r s i d a d A u t n o m a d e l E s t a d o d e M x i c o , T o l u c a , M x i c o . P p . 9 1 - 9 8 .

91

capaces de motivar e infundir en los jvenes un verdadero amor al

1.3. Algunos problemas matemticos

conocimiento cientfico y artstico.

El famoso ltimo teorema de Fermat (el cual sucede al de la

ecuacin pitagrica x2+y2=z2) dice que la ecuacin xn+yn=zn nunca

1. Caractersticas de la matemtica

tiene soluciones enteras positivas para cualquier entero positivo

n mayor que 2. Excepto para n=2, estas ecuaciones no tienen una

La matemtica posee varias caractersticas que la hacen diferir de

otras disciplinas. La primera es que es muy difcil describir o

interpretacin geomtrica. Aparentemente este problema no pareciera tener mucha importancia, sin embargo, ha tenido una

definir su materia de estudio, lo cual resulta bastante claro en

algunas reas como la astronoma o la biologa, pero no en la K-

influencia enorme en el desarrollo de la matemtica. Fermat dijo

que tena una demostracin, pero que no tena espacio para escri-

teora algebraica; esto se debe fundamentalmente a que los objetos de estudio son conceptos definidos de manera abstracta y van

birla. Por ms de 300 aos este problema ha sido el motivo de

grandes esfuerzos de muchos matemticos y es precisamente de

encadenados a otros previamente definidos. Su descripcin se

reduce a definiciones formales que requieren de conexiones

stos esfuerzos que se han creado nuevas tcnicas y conceptos

que tienen influencia en muchas reas de la matemtica.

neuronales las cuales necesitan cierto tiempo para realizarse.

Esto, aunado a una madurez matemtica o entrenamiento mate-

El problema de los cuatro colores afirma que stos solamente se

requieren para colorear cualquier mapa del globo terrestre con la

mtico, le permite al ser humano asimilar una buena cantidad de

ideas abstractas. Por ejemplo, trate usted de explicarle a su so-

condicin de que dos pases adyacentes deban tener tonos diferentes. La solucin positiva, ms de cien aos despus, fue obtenida

brinita preguntona qu es la adicin, o de qu se trata la geometra analtica, o qu es un anillo. Requerir, despus de muchas

mediante el uso de la computadora, teniendo un impacto muy pequeo en la matemtica. Fue el primer problema no trivial solucio-

explicaciones intuitivas, establecer definiciones formales y mucho tiempo.

nado por la computadora.

En la matemtica, si un problema se resuelve mediante mtodos

La segunda caracterstica es que posee una lgica perfecta. La

matemtica de Euclides es tan vlida hoy como en aquella poca.

estndares pierde mucho de su inters; si no se resuelve mediante

los mtodos conocidos se convierte en un problema clsico. Un

Esto contrasta con otras teoras como la de la Tierra plana o la del

flogisto o la del ter.

buen problema es aquel que da lugar a nuevas tcnicas con gran

aplicabilidad a otras reas, esto es, las ideas nuevas que constituyen

La tercera es lo conclusivo de la matemtica, es decir, las diferentes disciplinas toman conclusiones con base en las manipulacio-

los pasos para obtener la solucin de algn problema representan

el progreso de la matemtica.

nes matemticas.
La cuarta es su independencia, es decir, que no requiere de

2. Qu es la investigacin matemtica?

equipos costosos a diferencia de las ciencias experimentales.

Basta a veces un lpiz y papel o ni siquiera esto. Arqumedes

Existen aspectos contrastantes y alternativas dentro de la investi-

dibujaba sobre la arena, Leray escribi su matemtica siendo

prisionero de guerra. A pesar de los regmenes polticos de toda

gacin matemtica. Veamos algunos.

Existen diferencias entre lo que realiza un matemtico puro y

ndole, la matemtica contina evolucionando. Es interesante

observar que sus bibliotecas son menos grandes que las de otras

uno aplicado, aunque tambin hay una interrelacin entre los dos.
En cuanto a la matemtica pura, est la alternativa acerca de la

disciplinas.

teora matemtica y la resolucin de problemas. Existe una gran variedad de problemas, si algunos de ellos se pueden resolver median-

1.1. Qu significa la palabra matemtica?

Arrigo Coen afirma que mathema significa erudicin,

te argumentos ingeniosos de una manera parecida, entonces decimos que tenemos un mtodo para resolverlos y si stos son muchos,

manthnein es el infinitivo de aprender, el radical mendh significa, en pasivo, ciencia, saber, es decir, es lo relativo al apren-

entonces decimos que tenemos una teora matemtica. As se evoluciona de una coleccin de problemas a una teora, la cual difiere

dizaje. En sentido implcito, matemtica significa: lo digno de

ser aprendido.

del concepto que de ella se tiene en otras disciplinas cientficas.

La matemtica es una actividad humana, por lo que es necesario

1.2. Qu es la matemtica?

transmitirla a las siguientes generaciones de la manera menos dolorosa posible.

No existe una definicin de lo que es la matemtica, sin embargo,

se dice que es una coleccin de ideas y tcnicas para resolver

2.1. Cmo se da la innovacin en la matemtica?

problemas que provienen de cualquier disciplina incluyendo a la

matemtica misma.

A diferencia de otras disciplinas cientficas, en la matemtica la

creacin de nuevos mtodos o tcnicas constituyen la innovacin

92

L LUIS -P UEBLA , E.

T EORAS

MATEMTICAS , MATEMTICA APLICADA Y ...

que es vital para el progreso de esta ciencia. Por ejemplo, cuando

algebraicos. En efecto, si X es un espacio Hausdorff compacto y

Galois se dio cuenta al trabajar en el problema de la insolubilidad de

la ecuacin polinomial general de grado al menos 5, que la clave

C(X) es el anillo de las funciones complejas en X, entonces existe

una equivalencia entre la categora de los haces vectoriales B sobre

estaba en las simetras de las cinco soluciones de la ecuacin, provey los fundamentos de la teora general de la simetra, la cual es

X y la categora de los mdulos proyectivos finitamente generados

sobre C(X) dada por B (B) donde (B) denota las secciones del

una de las ramas ms profundas y de amplio espectro de toda la

matemtica llamada Teora de Grupos.

haz vistas como mdulo sobre C(X) (para una generalizacin del
teorema de Swan a la categora de haces vectoriales de tipo finito

Hay innovacin interna al tratar de dar cohesin a una teora matemtica; al realizar preguntas adecuadas que requieren de mucha

vase Vaserstein, 1986).

En pocas palabras, la categora de los haces vectoriales sobre X

intuicin y compenetracin y tambin puede surgir de problemas de

otras disciplinas. Se puede decir que hay progreso matemtico cuan-

es equivalente a la categora de los -mdulos proyectivos

finitamente generados, donde =C(X). De aqu se tiene una

do existe una aplicacin continua de mtodos usuales intercalados

espectacularmente con nuevos conceptos y problemas.

definicin de K() o K0() que tiene sentido para cualquier anillo

, como el grupo de Grothendieck de la categora de los -mdu-

2.2. Un ejemplo: la K-teora algebraica

los proyectivos finitamente generados. As que K0() es, entre

otras cosas, una herramienta til para investigar la estructura de

A pesar de que desde principios del siglo XX era conocido que un

monoide conmutativo1 sin divisores de cero poda considerarse

los -mdulos proyectivos.

Por ejemplo, considere el siguiente problema propuesto por Serre

dentro del grupo conmutativo que genera, es hasta 1957 cuando

Grothendieck pens en esto y comenz propiamente la K-teora.

(1955). Ya se mencion que sobre un espacio topolgico X, es equivalente tener un haz vectorial topolgico complejo o un mdulo pro-

Es de esta misma manera que los enteros negativos se definen a

partir del monoide aditivo de los naturales (MacLane y Birkhoff,

yectivo finitamente generado sobre el anillo de funciones continuas

C0(X; C), donde un haz trivial corresponde a un mdulo libre (C, los

1968) y que los nmeros racionales positivos se definen a partir del

monoide multiplicativo de los naturales sin el cero.

nmeros complejos). En particular, cuando X=Cn, todos los haces

topolgicos son isomorfos al haz trivial por lo que los mdulos pro-

La idea de Grothendieck (Dieudonn, 1982: 599) fue asociarle a

un monoide conmutativo M, un grupo conmutativo K(M), nico

yectivos finitamente generados sobre C0(C n; C) son libres. Si ahora

tomamos un campo k arbitrario entonces los haces algebraicos so-

salvo isomorfismo, y un homomorfismo cannico definido de

monoides : MK(M) tal que para cualquier grupo conmutativo G,

bre kn, corresponden a los mdulos proyectivos finitamente generados sobre el anillo de polinomios k[t1,t2, ... tn]. El problema de Serre

cualquier homomorfismo de monoides f: MG se factoriza en

forma nica como

es si, como en el caso de haces topolgicos sobre C n, tendremos que

todo haz algebraico sobre kn es trivial. Es decir, son libres todos los

f: M K(M) G.

mdulos proyectivos finitamente generados sobre k[t1,t2, ... tn]?

En dicho artculo se introduca la teora de gavillas en la geometra

El grupo de Grothendieck apareci publicado por primera vez en

algebraica. Los haces vectoriales sobre variedades algebraicas se

definan como gavillas localmente libres; los haces triviales corres-

Borel y Serre (1958). Aparte de su uso en el teorema de Rie-mannRoch, una de las aplicaciones ms conocidas de la construccin de

pondan a gavillas libres. El espacio afn Ank sobre un campo k es el

espectro primo Spec k[t1,t2, ... tn]. Al ser ste un esquema afn sobre

Grothendieck la realizaron en 1959 Atiyah y Hirzebruch. Aplicaron la

construccin al monoide aditivo de las clases de isomorfismo de

el anillo Spec k[t1,t2, ... ,tn], las gavillas localmente libres estn dadas
por mdulos proyectivos finitamente generados sobre Spec k[t1,t2,

haces vectoriales complejos con espacio base un CW-complejo X.

El grupo de Grothendieck lo denotaron K0(X). Definieron K-n(X)

... tn]. As, los mdulos finitamente generados sobre Spec k[t1,t2, ...
tn] corresponden a haces vectoriales sobre Ank. Entonces, el proble-

utilizando la suspensin de X para n 1. La periodicidad de Bott

muestra que Kn(X) Kn+2(X) y es utilizada para definir Kn(X) para

ma de Serre se lea as: es trivial todo haz sobre Ank?

Detrs de esto estaba la idea de que el espacio afn Ank debera

nZ. Dichos funtores constituyen una teora de cohomologa conocida como la K-teora topolgica (la referencia clsica es Atiyah y

comportarse como un espacio contrctil en topologa, y por lo tanto

debera tener nicamente haces triviales sobre l. Escrita de otra

Hirzebruch, 1961) la cual tuvo aplicaciones importantes, entre otras,

el Teorema de Atiyah-Singer (en Atiyah y Singer, 1963) y la solucin

manera, la conjetura de Serre dira: son libres los mdulos

proyectivos finitamente generados sobre k[t1, ... ,tn]?

del problema de obtener el mximo nmero de campos vectoriales

linealmente independientes sobre una esfera (Adams, 1962).

Invito al lector a dar un paseo guiado por Lam (1978), a travs de

los bellos paisajes matemticos que llevaron a probar esta conjetu-

Un resultado de Serre (1955), generalizado por Swan (1962),

proporcion una manera de traducir conceptos topolgicos en

CIENCIA ergo sum, Vol. 13-1, marzo-junio 2006

1. Conjunto provisto de una ley de composicin asociativa con elemento neutro.

93

ra veinte aos despus independientemente por Quillen y Suslin.

3. La matemtica, una bella arte

Los intentos por resolver la conjetura de Serre en los aos sesenta

dieron lugar al nacimiento de otra rea: la K-teora algebraica. Una

Como lo he expresado en mltiples ocasiones, la matemtica es

de las metas de la K-teora algebraica fue proporcionar tcnicas

para atacar el problema de Serre. A pesar de que la solucin final de

una bella arte y una ciencia. Para los matemticos, la belleza y la

verdad tienen igual estima. Tenemos mucho aprecio por un argu-

la conjetura, en forma afirmativa, no dependi de la K-teora

algebraica, no disminuye para nada la gran influencia que tuvo en el

mento hermoso que conlleva elegancia en el estilo, economa de

esfuerzo, claridad de pensamiento, perfeccin en el detalle y en la

enorme desarrollo que ha alcanzado con mayor relevancia que la

esperada.

forma de acertar una deduccin contundente y convincente. Los

matemticos nos dedicamos a un rea u otra dependiendo qu tan

La K-teora algebraica es un fenmeno multidisciplinario dentro

de la matemtica y para definir los grupos de K-teora superior

bella nos parece una en relacin con otra. Buscamos mtodos elegantes y evitamos argumentos feos.

necesitamos de la siguiente construccin, debida a Quillen (1974):

3.1. Caractersticas estticas de la matemtica
Teorema. Sea X un CW complejo conexo con punto base p. Sea
N un subgrupo normal perfecto de 1 (X,p). Entonces existe un

Hay varias caractersticas estticas de la matemtica: la universalidad, en el sentido de que casi cualquier rama del conocimiento posee

espacio X+ y una transformacin f: X X+ tal que

aspectos que se pueden analizar matemticamente; el desarrollo de

argumentos simples y concisos son absolutamente indispensables

i) 1 (f) induce un isomorfismo 1 (X+,p) 1 (X,p)/N;

ii) para cualquier 1 (X+, p)-mdulo A, f induce un isomorfismo

para el progreso de la matemtica; la seleccin y formulacin de

problemas son un arte que depende de la intuicin del matemtico.

H*(X; f-1A) H*( X+, A);

iii) (X+,f) est determinado, excepto por equivalencia homotpica

Aqu, los aspectos estticos juegan un papel muy importante.

En el ao 2000 describ (Lluis-Puebla, 2000) cmo Poincar

por i) y ii).

conceba la creacin de la matemtica e hice un smil con la creacin musical. A manera de broma, pareciera que Poincar creaba

Este teorema se conoce como construccin + de Quillen y fue

inspirada por la necesidad de encontrar una interpretacin

matemtica al subirse o bajarse de un tranva. Hadamard recomendaba tomarse dos baos de agua caliente para estimular la

topolgica del funtor K2 de Milnor. La idea de la demostracin es la

de adjuntar 2-clulas para aniquilar N y 3-clulas para neutralizar el

investigacin matemtica. Muchos matemticos beben caf, transformndolo en teoremas. Tambin he escuchado que la matem-

efecto de las 2-clulas en homologa.

En los aos setenta Quillen defini, para i 1, el i-simo K-grupo

tica se hace caminando, es decir, cuando se dejan las ideas en el

inconsciente y de repente ocurre una feliz idea, la cual es,

algebraico de como Ki= i(BGL+). Como en los casos i=1,2,

Ki es un funtor covariante de la categora de anillos a la categora de

quiz, una serie de conexiones neuronales que tienen lugar en el

tiempo y que se logran mejor cuando no interviene un acto cons-

grupos (Quillen, 1974).

Una de las huellas de avance significativo en la matemtica es el

ciente demasiado fuerte que las impida.

En la matemtica formal, el individuo crea matemtica sin pregun-

descubrimiento de relaciones inesperadas entre diversas reas.

Quiz uno de los ejemplos ms notables de tal avance es el desa-

tarse demasiado acerca del significado, mientras de el resultado

correcto. Uno sigue adelante sin preocuparse demasiado por el

rrollo de la K-teora algebraica de Quillen, en la cual el lgebra y la

topologa se relacionan de una manera nueva y fundamental. Por un

rigor matemtico esperando que en el futuro ste sea provisto.

La matemtica es esencialmente una actividad humana y nuestra

lado, la K-teora algebraica introduce mtodos topolgicos para definir invariantes algebraicos, tales como los K-grupos de anillos de

meta no solamente es inventarla sino trasmitirla. As, el rigor matemtico debe existir.

orden superior. Por otro lado, proporciona una forma de traducir

conceptos algebraicos en conceptos topolgicos. La K-teora

Existen matemticos que se especializan lo ms profundamente

posible en un rea o campo y otros que adquieren una gran cultura

algebraica estudia las propiedades de los grupos Ki(), construidos

a partir de un anillo .

matemtica, tan amplia como sea posible. Los dos tipos de matemticos son necesarios.

Uno de los problemas ms importantes en la K-teora algebraica

es el clculo de los grupos Ki para diversos anillos , pero, a pesar de

Muchos recomendamos a los jvenes que obtengan una cultura

matemtica lo ms amplia posible y luego se sumerjan en un tema.

los esfuerzos de muchos matemticos, nicamente se conoce un nmero muy reducido de ellos (el lector podr encontrar un panorama

Esto debido a que la esencia de la matemtica es juntar campos

aparentemente dismiles; despus de todo, la matemtica es el

e introduccin a esta rea de la matemtica en Aisbett et al., 1985;

Lluis-Puebla, 1990; Lluis-Puebla et al., 1992 y Lluis-Puebla, 1997).

grado mximo de abstraccin tiene aplicacin en toda disciplina

que se precie de llamarse ciencia.

94

L LUIS -P UEBLA , E.

T EORAS

MATEMTICAS , MATEMTICA APLICADA Y ...

4. Cmo trabajan los matemticos?

abarque ni siquiera su propia rea de estudio. Querr decir esto

Algunos matemticos trabajan individualmente y otros lo hacen en

que el gran edificio de la matemtica nos aplastar? Sucede que

as como la especializacin es inevitable, el desarrollo de nuevos

grupos. Trabajar solo resulta difcil porque no es posible resolver

una trivialidad que lo detiene por mucho tiempo, la cual puede ser

conceptos abstractos absorben otros creados en el pasado. Estas

nuevas creaciones son tan importantes como las soluciones de

resuelta inmediatamente por un colega dentro del grupo, sin embargo a veces sucede al revs, no siempre tres cabezas piensan

los problemas difciles o desarrollos de nuevas tcnicas.

ms que una. La interaccin con colegas enriquece tanto a la matemtica como a los matemticos y se encuentran esas interrelaciones

5.1. Cmo se selecciona un problema para trabajarlo cuando se

comienza a realizar investigacin?

de las cuales hablaba anteriormente entre reas aparentemente

dismiles. A veces este tipo de colaboracin es enriquecedora y

Los estudiantes de doctorado en matemtica no pueden elegir el

problema que trabajarn, generalmente es el asesor quien lo su-

hace de la investigacin matemtica una experiencia ms humana y

social. Trabajar en grupo no exime del arduo trabajo individual de

giere y vislumbra la tcnica adecuada, para resolverlo.

Algunos matemticos que realizan investigacin por s solos lo

meditar o pensar.

hacen sobre un tema que se da, a veces, por s solo y que surge de
la comunicacin con otros colegas, de la curiosidad, de meditar o de

4.1. Qu opciones de reas tienen los jvenes matemticos?

Los jvenes que ingresan al apasionante mundo de la creacin ma-

moverse por la literatura matemtica adecuadamente.

temtica tienen dos posibilidades: ingresar a un rea de investigacin de moda o de peso a la cual se considera relevante o crear su

6. Qu se conoce como matemtica aplicada?

propia rea. Las dos posibilidades existen con sus ventajas y desventajas. A menudo, dentro de una de las reas de la corriente que

La actividad en la cual la matemtica encuentra aplicaciones fuera de

su propio campo se llama matemtica aplicada pues bien sabido que

se considera principal, los problemas son muy difciles y ya grandes

matemticos han realizado lo que han podido y slo restan temas

esta ciencia es automticamente multidisciplinaria e ideal y probablemente debera realizarse por alguien cuyo inters primario no es

demasiado difciles o irresolubles por el momento o por siglos.

Mientras que en un rea nueva, a menudo hay mucho por hacer y no

la matemtica. Sin embargo, encontramos que es ms fcil que una

persona que adquiere una formacin matemtica se adentre en otras

es tan ardua la labor matemtica. Pero tambin se paga el precio de

que sea intrascendente todo lo realizado.

disciplinas, lo cual representa una gran ventaja para los estudiantes y

egresados de una licenciatura de matemtica.

Coexisten dos tipos de matemticos: los que utilizan la fuerza bruta

y los elegantes; es decir, quienes utilizan mtodos o tcnicas

Si la actividad multidisciplinaria es, por ejemplo, la fsica, es difcil saber qu clasificar como matemtica aplicada y qu como fsica

aplastantes que los conducen a la resolucin del problema y quienes

con pocos argumentos obtienen la respuesta. A veces un mismo

terica. La aplicacin de la matemtica en diferentes reas da lugar

a cuestiones de otra ndole. Supongamos que tenemos una aplica-

matemtico puede actuar de las dos formas en distintas ocasiones.

Sin embargo, la transmisin de la matemtica es mucho ms

cin de la teora de ecuaciones diferenciales parciales en la teora

matemtica de la elasticidad; podramos preguntarnos si la teora

apreciada, por la manera que funciona nuestro cerebro, cuando se

hace de manera elegante y simple, es decir, de forma artstica. As,

de elasticidad tiene aplicacin fuera de s misma, supongamos que

s la tiene en ingeniera terica; luego nos podramos preguntar si

la elegancia matemtica es muy importante. sta se logra, en general, no en la fuente primaria de la investigacin sino despus de

sta tiene inters en la ingeniera prctica, supongamos que s y

que permite realizar un anlisis de puertas automotrices; entonces

haber pasado por muchas mentes matemticas brillantes.

nos podramos preguntar cmo afecta esto al hombre comn. Supongamos que se cumple un requerimiento de ley al tener puertas

5. Cmo se est realizando la transmisin

de la matemtica?

adecuadas. As podramos rastrear la aplicacin de la matemtica

hasta el nivel de consumo. Podramos continuar, es til un auto-

En cuanto a la transmisin de la matemtica de frontera, llega cada

mvil?, es til consumir?, etctera.

Llammosle utilidad comn a la que llega hasta el hombre de la

vez ms a la gente joven debido a que se ha compactado y presentado elegantemente facilitando su aprendizaje.

calle (asumimos que sabemos lo que el hombre de la calle desea),

sin embargo con esto no pretendemos decir que el criterio de la

La matemtica ha avanzado a grandes pasos en unos cuantos

siglos. Sin embargo, a principios del siglo XX solamente algunos

calle es el nico para juzgar la utilidad de la matemtica.

Se dice que la finalidad de sus aplicaciones es que esta ciencia sea

matemticos podan decir que abarcaban una buena parte de su

totalidad. En la actualidad es casi imposible que un matemtico

automatizada; por ejemplo, el descenso del hombre en la luna

requiri de muchos clculos que estaban automatizados.

CIENCIA ergo sum, Vol. 13-1, marzo-junio 2006

95

Tenemos un diagrama (Davis y Hersh, 1981) con el mundo fsico,

tema se realiza matemtica de alto nivel, no solamente aplicacio-

luego el mundo modelado con matemtica, posteriormente las

transformaciones y operaciones matemticas y, finalmente, las apli-

nes, es decir, se hace matemtica nueva, se prueban resultados

matemticos con los objetos definidos.

caciones al mundo fsico.

Las dos de en medio se convierten en un proceso automatizado.

La msica es una creacin de la vida y del pensamiento del ser

humano, que acta en otra capa de la realidad que la fsica. Cree-

Mientras ms exitosa y completa sea una aplicacin, ms automtica y programada ser.

mos que el intento de comprender o de componer una obra de

gran envergadura en la msica es tan importante y difcil como el

6.1. Un ejemplo: la teora matemtica de la msica

intento de unificar la gravitacin, el electromagnetismo, las fuerzas dbiles y fuertes. Seguramente las ambiciones son compara-

La teora matemtica de la msica comenz hace ms de dos dcadas y una de sus principales metas fue desarrollar un marco cient-

bles y por lo tanto las herramientas tambin. La matemtica provee una base cientfica para comprender la msica y la musicologa,

fico para la musicologa que tuviera como fundamento campos cientficos establecidos, con un lenguaje formal para los objetos y rela-

para que esta ltima pueda considerarse una ciencia, no una rama
de la literatura potica comn y corriente2.

ciones musicales y musicolgicas.

The Topos of Music (Mazzola, 2002) es un libro en el que se

7. Qu hay acerca de la matemtica y la computacin?

puede apreciar que el mismo ttulo posee un doble sentido: por

un lado est la palabra griega topos, que significa lugar y que

La revolucin industrial se meda en siglos, la revolucin de la com-

sugiere la ubicacin del concepto de la msica como un tpico,

en el sentido de Aristteles y Kant; por otro lado, se hace refe-

putadora se mide en dcadas o lustros y quizs, dentro de poco, en

aos. En los siglos XVIII y XIX, la mano de obra fue reemplazada por

rencia a la teora matemtica topos que sirve para reflejar el

sistema de signos musicales, esto es, la msica en su faceta de

las mquinas y aparentemente el siglo XX se caracteriz por el reemplazo del cerebro por la computadora. En un principio, la ciencia

sistema abstracto cuya estructura puede permanecer escondida

sin un marco adecuado de comprensin. Este doble significado

del cmputo creci conjuntamente con la matemtica; Turing y von

Neumann son algunos de sus pioneros, incluso en la actualidad, la

expresa la intencin de unificar una profundizacin filosfica con

la precisin de la matemtica, en torno a la musicologa. La

matemtica es la ciencia ms cercana a la del cmputo. La lgica matemtica proporcion una base para la computacin en cuanto al soft-

msica est enraizada con realidades fsicas, psicolgicas y

semiticas, pero la descripcin formal de las instancias musica-

ware. Sin embargo, es el chip de silicn el que permiti la revolucin.

Los matemticos siempre hemos estado interesados en el con-

les corresponde al formalismo matemtico.

La teora matemtica de la msica est basada en las teoras de

cepto de demostracin, es decir, en la rigurosa deduccin de varias

conclusiones a partir de ciertas suposiciones. Es necesario dar ins-

mdulos y categoras, en la topologa algebraica y combinatoria, en

la geometra algebraica y en la teora de representaciones; su pro-

trucciones precisas para que funcione un ordenador o computadora

y la lgica matemtica es el marco adecuado para formularlas.

psito es describir las estructuras musicales y su filosofa es la de

comprender los aspectos de la msica que estn sujetos al racioci-

En relacin con la idea de demostracin est la de algoritmo, es

decir, la de un mtodo para hacer algo, en particular para resolver

nio, de la misma manera que la fsica lo hace con los fenmenos

propios del trabajo cientfico.

un problema. Una rama de la matemtica que se dedica al estudio

de los algoritmos es la teora de complejidad. As que las teoras de

Esta teora est basada en un lenguaje adecuado, as como en un

conjunto de postulados o teoremas que permiten manejar los con-

las demostraciones y complejidad son dos tipos de matemtica

creadas por las necesidades del cmputo.

ceptos relevantes de las estructuras musicales sujetas a las condiciones definidas y en la funcionalidad para la composicin y el anli-

Debido a que las computadoras usan Z2, estn relacionadas con

la matemtica discreta ejemplificada por el lgebra. Atiyah mencio-

sis con o sin computadora.

Mazzola et al. (2004) explicaron por qu el acercamiento me-

na que algunas personas argumentan por esto que debe modificarse

drsticamente la enseanza de la matemtica quitando el nfasis en

diante su modelo terico geomtrico de los aos ochenta evolucion a un marco que es apropiado para muchos problemas musicales.

el clculo que a menudo se realiza desde hace mucho tiempo.

La computadora proporciona una manera muy rpida de obtener

Ese nuevo marco est basado en matemtica ms sofisticada como

la teora de topos, la cual expuse en el Congreso de la SoBolMat

soluciones numricas de distintos problemas. En la matemtica

aplicada un problema tiene solucin satisfactoria si se puede pro-

realizado en Potos. Cabe mencionar algo notable: dentro de este

porcionar un algoritmo en la computadora de tal manera que se

tengan disponibles las soluciones numricas. Sin embargo, no todo

2.

son nmeros. Por ejemplo, las expresiones de lgica no representan nmeros; las expresiones simblicas ya han sido consideradas

Para los interesados en la teora matemtica de la msica pueden revisar:

www.epos.uni-osnabrueck.de/books/m/ma_nl004/pages/ y www.emiliolluis.org

96

L LUIS -P UEBLA , E.

T EORAS

MATEMTICAS , MATEMTICA APLICADA Y ...

en la computadora y son manipulables; como ejemplo de esto est

a veces de carcter numrico, los desarrollos tericos evolucionan

la determinacin de todos los grupos finitos simples que se llev a

cabo utilizando poderosas computadoras.

esencialmente para evitar clculos largos. Ese ahorro o flojera conduce a encontrar ideas o mtodos alternativos para ese fin. Las

7.1. Cules son las etapas para generar nuevos resultados en la

computadoras carecen de ellos. Estas ideas o mtodos son los

necesarios para avanzar un poco.

matemtica y cul es la utilidad de la computadora en sta?

En la matemtica hay varias etapas para generar nuevos resultados;

Dicho de otra manera, dice Atiyah, la matemtica es una (bella,

digo yo) arte que evita la fuerza bruta mediante el desarrollo de

por ejemplo, identificar hechos relevantes, su arreglo en patrones

que poseen un significado; la posible extraccin de una frmula; co-

conceptos y tcnicas que nos permiten ligereza. Se dice que si las

computadoras hubieran estado en el siglo XV, la matemtica actual

rroborarla y hasta el final la demostracin. La computadora puede

ser til en las primeras etapas. Es lgico que se trate de probar que

sera una mala imitacin de s misma, esto es porque el peligro real

es dejar la matemtica a las computadoras; las debemos tener

ciertas conjeturas son vlidas simplemente sustituyendo valores pero

cuyos clculos resultaran demasiado largos y tediosos de realizarlos

simplemente como ayudantes.

Las industrias tradicionales han declinado y las relacionadas con

a mano. Ahora podemos ver los resultados en forma grfica, antes se

tenan que realizar a mano, tal como los realiz Euler o Gauss.

el cmputo han crecido, lo que significa que los empleos estn

ligados a las computadoras. Este tipo de empleos alteran las actitu-

7.2. Ser la computadora un sustituto para el pensamiento

des y expectativas de las generaciones jvenes. La matemtica est

ligada a sto y a las escuelas, universidades, maestros y alumnos. El

humano o para la matemtica?

Atiyah comenta que sin duda el problema ms importante del siglo

peligro para la matemtica est en que los nuevos grandes talentos

se encaminen a la computacin en lugar de a la matemtica, pero

XXI,

es el de comprender cmo funciona la mente humana, para

esto se requerir de matemticos, entre otros muchos especialis-

puede que esto no suceda ya que los verdaderos matemticos estn motivados por la belleza y poder de la matemtica y no por el

tas de otras disciplinas cientficas.

Existe una solucin del famoso problema que establece que es

dinero. Para aquellos que creen que la computadora puede realizar

todo el trabajo oprimiendo un botn, hay que decirles que tienen

posible colorear con cuatro colores cualquier mapa del planeta con
la condicin de que dos pases adyacentes sean coloreados de ma-

todava que ensear a los nios a pensar cul botn oprimir.

nera diferente. Este problema data del siglo XIX y en el XX se

resolvi utilizando una computadora que comprob cientos de ca-

9. Qu ha sucedido en la matemtica en
los siglos anteriores?

sos. Fue un gran triunfo pero a la vez una gran desilusin desde el
punto de vista esttico, adems de que no se crearon nuevas tcni-

Atiyah menciona que los siglos

XVIII

XIX

podran llamarse de la

cas a partir de la demostracin.

matemtica clsica. Al final del siglo XIX Poincar y Hilbert eran las
figuras dominantes, podran considerarse discpulos de Newton y

8. Cul es la naturaleza y propsito de la matemtica

y de la ciencia?

Leibniz, respectivamente.
Poincar pensaba en trminos geomtricos o topolgicos y

La respuesta usual es la de que el ser humano intenta comprender

Hilbert se iba por el lado del formalismo y axiomatizacin. Poincar

realiz trabajo pionero en la topologa y predijo que sta sera un

o entender el mundo fsico y eventualmente controlarlo, pero qu

significa comprender o entender, Atiyah duda que entendamos la

ingrediente importante de la matemtica del siglo XX (algunos dicen que si se tuviera que nombrar de alguna manera al siglo XX sera

demostracin del teorema de los cuatro colores. Las demostraciones por computadora alteran el concepto de demostracin publica-

como el siglo de la topologa). Mientras, Hilbert propuso su famosa

lista de problemas que no contenan los topolgicos y no pudo prede-

da. Lo que sucede es que existe una diferencia fundamental entre

un experimento diseado para encontrar hechos acerca del mundo

cir, segn Atiyah, el alcance de la topologa en el siglo XX.

La primera mitad del siglo XX la denomina la era de la

natural y clculos de computadora que conciernen con un problema

puramente matemtico propuesto por el hombre. Uno es externo

especilizacin, donde la formalizacin tipo Hilbert y Bourbaki tiene lugar. La segunda mitad del siglo XX la denomina la era de la

y el otro interno.
Una de las caractersticas ms importantes de la matemtica es

unificacin, donde las reas se traslapan y las tcnicas se

implementan entre ellas. El siglo XXI Atiyah propone llamarlo el

su arquitectura o diseo global, esto es, la forma elegante y profunda como las ideas abstractas estn colocadas. La piedra angular de la

siglo de la matemtica cuntica o de la dimensin infinita, por que

busca adecuadamente el anlisis, la geometra, la topologa y el

buena matemtica es la economa y simplicidad del pensamiento.

Aunque uno de sus objetivos es proporcionar soluciones explcitas,

lgebra de varios espacios de funciones no lineales de tal manera

que se obtengan demostraciones rigurosas de cosas hermosas

CIENCIA ergo sum, Vol. 13-1, marzo-junio 2006

97

que han estado especulando los fsicos entre otras importantes

te su primera vista y junto con todas sus interpretaciones constitu-

(como la geometra diferencial no conmutativa de Alain Connes).

yen su identidad. Qu maravilloso punto de vista para ambos, intrprete y audiencia! Deja de lado la estril competencia fuera del arte

10. Cules paradigmas han sucedido en la matemtica y en

otras disciplinas incluyendo la musicologa?

y la ciencia como si stos fueran juegos olmpicos.

11. Qu se puede decir de la geometra y del lgebra?

Guerino Mazzola (2002), menciona tres paradigmas mayores de la

matemtica y de la musicologa que han ocurrido durante los 150
aos que han sido paralelos en la evolucin de ambas y la creciente

Atiyah menciona que son muy antiguas y ambas son pilares de la

matemtica. Por un lado, la geometra se remonta a los griegos o

presencia de la matemtica en la msica. Los paradmas son: las

estructuras globales, las simetras y la filosofa de Yoneda.

antes y como entender el mundo en que vivimos es una parte

importante de nuestra evolucin, la intuicin o percepcin espacial

La primera quiere decir, en palabras, que las estructuras localmente triviales se pueden juntar en configuraciones estticas vli-

es nuestra herramienta ms poderosa. La geometra es el rea

poderosa de la matemtica para estudiar lo geomtrico. La geome-

das si stas se pegan de una manera no trivial. La fsica clsica

concierne con los fenmenos locales y luego hay que estudiar el

tra es el espacio y se puede ver estticamente.

Por otro lado, el lgebra se remonta a los rabes y los hindes y

comportamiento fsico en gran escala. La fsica concierne realmente con adivinar el futuro cuando se va de lo local a lo global.

concierne fundamentalmente al tiempo. Cualquier algoritmo tiene

lugar en el tiempo, lo requiere para poder llevarse a cabo. Esto se

La segunda, las simetras (y los fractales) son utilizadas en la composicin, aparecen en la naturaleza, en la matemtica y en la fsica.

puede ver de manera obvia en una computadora.

Atiyah afirma que la geometra concierne al espacio y el lgebra a

En cuanto a la tercera, la filosofa de Yoneda, indica que para

comprender un objeto, de vueltas alrededor de l. Esto quiere decir,

la manipulacin en el tiempo; ambas son indispensables. Piensen

ustedes en la msica, con sus estructuras, la cual transcurre en el

entendimiento mediante el cambio de perspectivas. En matemtica,

este lema tiene importantes aplicaciones en el lgebra homolgica,

tiempo y est situada en el espacio (eminentemente terrcola puesto

que un violn no suena en la luna).

en la topologa algebraica y en geometra algebraica, solamente para

mencionar algunas. Dice que un objeto matemtico puede clasificarse

Para finalizar, menciono nuevamente que la matemtica es una

de las bellas artes, la ms pura de ellas, que tiene el don de ser la

salvo isomorfismo por su funtor. En msica, la partitura es solamen-

ms precisa y la precisin de las ciencias.

Bibliografa
Adams, J. F. (1962). Vector fields on spheres,
Ann. Math. Vol. 75. pp.603-632.
Aisbett, J.; E. Lluis-Puebla; V. Snaith y C. Soul
(1985). On K*(Z/n) and K*(Fq[t]/(t2)),
Mem. Amer. Math. Soc. Vol. 57, No. 329.
Atiyah, M.

Lam, T. Y. (1978). Serres conjecture. Lecture Notes

in Mathematics 635. Springer-Verlag.

Perspectives in Mathematical and Computational

Music Theory. Universitt Osnabrck.

Lluis-Puebla, E.

MacLane, S. y G. Birkhoff (1968). lgebra. Macmillan.

_______ (1990). lgebra homolgica, cohomologa de

Mazzola, G.

grupos y K-Teora algebraica clsica. Addison

Wesley Iberoamericana.

_______ (2002). The Topos of Music. Birkhuser

Verlag. Basel, Suiza.

______ y F. Hirzebruch (1961). Vector bundles

_______ (1992). Higher Algebraic K-Theory:

_______; T. Noll y E. Lluis-Puebla (2004). Per-

and homogeneous spaces, Proc. of Symp. in

an overview. Lecture Notes in Mathematics

spectives in Mathematical and Computational Mu-

Pure Math. Amer. Math. Soc. 3. pp.7-38.

1491. Springer-Verlag.

______ y I. Singer (1963). The index of elliptic operators on compact manifolds, Bull.
Amer. Math. Soc. 69. pp.422-433.

sic Theory. epOs., Alemania.

_______ (1997). lgebra lineal, lgebra multilineal y

K-Teora algebraica clsica. SITESA.
_______ (2000). Videograbacin de la Confe-

Quillen, D. (1974). Higher Algebraic K-Theory. Proc.

Int. Con. of Math., Vancouver.
Serre, J. P. (1955). Faisceaux algbriques

Borel, A. y J. P. Serre (1958). Le thoreme de

rencia Magistral Matemtica: lo digno de ser

cohrents, Ann. of Math. 61 pp.197-278.

Riemann-Roch, Bull. Soc. Math. 86. France.

aprendido, Conferencia de clausura del VII Congreso

Swan, R. J. (1962). Vector Bundles and Projec-

Davis, P. J. y R. Hersh (1981). The Mathematical

de la Sociedad Boliviana de Matemtica. Videoteca

tive Modules, Trans. Amer. Math. Soc. 105.

Experience. Houghton Mifflin Co., Boston.

de la Sociedad Boliviana de Matemtica.

Vaserstein, L. N. (1986). Vector Bundles and

Dieudonn, J. (1982). A Panorama of Pure Mathematics. Academic Press.

98

Cochabamba, Bolivia. 10 de noviembre.

_______; G. Mazzola y T. Noll (eds.) (2004).
L LUIS -P UEBLA , E.

Projective Modules Revisited, Trans. Amer.

Math. Soc. 294.
T EORAS

MATEMTICAS , MATEMTICA APLICADA Y ...