Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.

net
1
Panorama Panorama Panorama Panorama d dd de ee e l ll la Matem a Matem a Matem a Matem tica tica tica tica
Miguel de Guzmn
ndice
Introduccin 2
Matemtica Fundamental 4
Lgica matemtica 4
Teora de nmeros 5
Anlisis combinatorio 6
lgebra 7
Anlisis 9
Geometra 13
La Matemtica de las Aplicaciones 16
El Papel de la Matemtica en Nuestra Cultura 21
Bibliografa 22

El ao 1984 public la Editorial Labor una Enciclopedia bajo el ttulo Avances del
Saber. En su tomo 5, dedicado a la Ciencia, Tcnica y Cultura, apareci este Panorama de la
Matemtica que, aunque ya obsoleto en unos cuantos respectos, tal vez sea til en la parte que
se refiere a los aspectos generales de la matemtica.
El Paraiso de las Matematicas
cn=El Paraiso de las
Matematicas,
o=www.matematicas.net,
ou=Departamento de
redaccion, c=ES
Firma no
verificada
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
2
Introduccin
Qu es la matemtica? Ante la dificultad de dar una respuesta
adecuada a esta pregunta, algunos han propuesto: La matemtica es lo que
los matemticos hacen. No aclara mucho la cuestin, pero no deja de ser por
ello un buen punto de partida. La mejor explicacin de lo que la matemtica es
en la actualidad se obtiene, efectivamente, penetrando en el taller del
matemtico y observando atentamente lo que hace. Por eso, en esta
exposicin trataremos, en primer lugar, de recorrer panormicamente algunas
de las diferentes reas de actividad de los que actualmente denominamos
matemticos. Ms adelante procederemos a analizar un poco ms
profundamente el sentido general de esta actividad.
Se intenta a veces encasillar a los matemticos en dos grandes grupos,
el de los matemticos puros y el de los aplicados. Los puros seran
quienes slo se preocupan por el estudio y desarrollo de las estructuras
matemticas por s mismas; los aplicados, aquellos que se enfrentan con las
realidades de la naturaleza que admiten algn modo de tratamiento
matemtico, con la intencin de entender, explorar y aprovechar tales
realidades mediante el conocimiento que se pueda desprender de dicho
tratamiento matemtico al que ms o menos se ajusta esa realidad. As, se
suele hablar de matemtica pura y matemtica aplicada. El concebir tal divisin
como dos compartimientos estancos es totalmente inadecuado desde un punto
de vista histrico y altamente perjudicial para el desarrollo de estos dos tipos de
matemtica. Los matemticos ms eminentes, Arqumedes, Newton, Gauss,
Poincar, Hilbert, von Neumann, Weyl.... han desarrollado ambos aspectos de
la matemtica, y es claro que un sano desarrollo d sta no puede obtenerse
sino mediante una interaccin de estos dos tipos de actividad dentro de ella.
El mismo nombre de matemtica pura parece implicar una actitud
introvertida y enfermiza, y por ello es preferible describir la actividad alrededor
de las mismas estructuras matemticas con el nombre de matemtica
fundamental, y la de aquellos que consideran especialmente las aplicaciones,
con el de matemtica de las aplicaciones. El proceso de interaccin entre una y
otra se puede describir del siguiente modo: La naturaleza presenta una realidad
fsica, qumica, biolgica, social.... que parece deseable explorar y controlar. De
la observacin de tal realidad se extrae un modelo matemtico al que parece
ajustarse en su funcionamiento. Este modelo se desarrolla con las
herramientas y tcnicas matemticas adecuadas existentes, o bien se crean
estructuras matemticas nuevas que permitan su conocimiento ms profundo.
En este estudio el matemtico, empujado por el deseo de conocer en
profundidad la estructura mental que subyace al modelo, va en muchas
ocasiones mucho ms lejos de lo que el mero dominio de la realidad inicial
exigira. Una vez conocido el modelo y las leyes que lo rigen, se trata de
ensayar este dominio conceptual en la realidad de partida. El conocimiento
alcanzado del modelo, en parte tal vez superfluo por el momento, queda
almacenado y quiz algn da ser usado.
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
3
En la descripcin que sigue de los diferentes campos de la matemtica
actual trataremos de indicar especficamente algunos de los puntos en los que
esta interaccin se presenta.
Al describir los diversos entornos de la matemtica fundamental y de la
matemtica de las aplicaciones es necesario tener en cuenta asimismo que la
matemtica hoy da constituye una unidad orgnica en la que la
interdependencia entre sus diversos campos es tal vez una de las notas ms
llamativas de la matemtica contempornea. No se puede, por ejemplo, hablar
de lgica matemtica sin tener en cuenta las modernas ciencias de la
computacin, ni de geometra ignorando el anlisis.
Al final de nuestro recorrido examinaremos brevemente el sentido
profundo de la actividad matemtica y su papel en la cultura humana.
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
4
Matemtica Fundamental
La breve descripcin que sigue de las diferentes ramas de la matemtica
fundamental pretende dar una idea, sin tecnicismos, del espritu e intenciones
que animan la actividad de quienes trabajan en ellas. Para obtener una idea
ms exacta remitimos a la bibliografa al final de este trabajo, donde se pueden
encontrar exposiciones ms detalladas escritas por especialistas.
Lgica matemtica
La lgica aparece ya desarrollada, incluso en forma simblica, en la
filosofa de Aristteles. Sin embargo, corresponde realmente a la segunda
mitad del siglo XIX el reconocimiento de que las operaciones lgicas ordinarias
pueden ser expresadas mediante operaciones algebraicas. Entonces se
comenz asimismo a sospechar que los nmeros naturales, as como los
dems objetos matemticos, podran ser definidos en trminos puramente
lgicos.
La motivacin principal para muchos matemticos de los siglos xix y xx
en su dedicacin al desarrollo de la lgica fue el deseo de deshacerse de las
paradojas que surgieron en la teora de conjuntos creada por Cantor. Un
ejemplo: al considerar conjuntos diversos, parece claro que hay conjuntos que
son elementos de s mismos. Por ejemplo, el conjunto A de todas las cosas que
no son verdes es una cosa no verde y por lo tanto un elemento de A.
Llamemos a estos conjuntos autopertenecientes. Todos los otros conjuntos
sern llamados noautopertenecientes. Asimismo, parece claro que puede uno
considerar el conjunto C formado por todos los conjuntos
noautopertenecientes. A continuacin nos podemos preguntar si C es un
conjunto autoperteneciente o noautoperteneciente. Pero si C es
autoperteneciente, entonces es elemento de C y, como tal, es
noautoperteneciente. Y si C es noautoperteneciente, entonces C debe ser un
elemento de C, v por tanto C es autoperteneciente. Cmo salir del atolladero?
Es claro que el razonamiento lgico necesita cierto control, si no
queremos ser conducidos a situaciones semejantes. Para saber a qu atenerse
en este respecto se ide el procedimiento de formalizacin de los
razonamientos matemticos: partimos de ciertas proposiciones claramente
establecidas, los axiomas, las manipulamos de acuerdo con reglas de
inferencia bien determinadas e incluso exigiremos que axiomas y reglas sean
representables mediante smbolos cuyo manejo se convierta as en
manipulaciones puramente automticas. De esta forma, puestos los axiomas y
las reglas de inferencia, se podra comprobar (incluso por medio de una
mquina) si un razonamiento que a partir de los axiomas da lugar a una
proposicin se ajusta a las reglas, es decir, si esta proposicin es un teorema
demostrable del sistema deductivo.
Durante muchos aos se pens que se podra construir un sistema en el
que todo razonamiento matemtico podra ser formalizado y su verdad
controlada de esta forma, al menos en principio. Tal esperanza se derrumb
con la demostracin de Gdel (1931) de que cualquier sistema que incluya la
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
5
aritmtica de los nmeros naturales es incompleto, es decir, existen en l
proposiciones que son verdaderas que no pueden ser demostradas dentro del
sistema. El resultado de Gdel constituye uno de los puntos culminantes de la
actividad del siglo XX en lgica matemtica, y sus repercusiones en el
pensamiento filosfico y en la teora del conocimiento actual son
verdaderamente profundas.
Otro de los resultados ms importantes del siglo en lgica matemtica
consiste en la demostracin por Cohen (1963) de la independencia de la
llamada hiptesis del continuo, segn la cual no existira ningn tipo de infinitud
intermedio entre el modo de ser infinito de los nmeros naturales y el de los
nmeros reales, es decir, que el infinito de los nmeros reales es el infinito
inmediatamente superior al de los nmeros naturales. Cohen demostr que
aqu se da una situacin parecida a la de las geometras no eucldeas. Es
posible construir una matemtica cantoriana, en la que la hiptesis del continuo
es un axioma, y es posible tambin construir una matemtica no cantoriana, en
la que es un axioma la negacin de la hiptesis del continuo.
La lgica matemtica tiene, adems de esta vertiente abstracta y
filosfica, otra eminentemente aplicada y concreta. Al tratar de reducir el
razonamiento deductivo de una manipulacin con smbolos, la lgica prepara el
camino para la introduccin del computador en la ciencia. Una teora
formalizada es una teora, al menos en principio, enteramente manipulable por
un computador. El trabajo de los lgicos y de los analistas de la computacin
tiene, por tanto, mucho en comn. Los lgicos se preguntan si ciertos
problemas pueden ser, en principio, reducibles a un algoritmo, o sea, a una
serie de operaciones bien definidas con smbolos, y cmo. El analista de la
computacin se pregunta si ciertos problemas pueden ser resueltos mediante
algoritmos en un espacio de tiempo razonable mediante las mquinas
existentes actualmente y cul es el modo ptimo de hacerlo. Los progresos en
el aspecto abstracto de la lgica pueden conducir a soluciones de los
problemas de la ciencia de la computacin, y viceversa.
Teora de nmeros
La teora de nmeros, la reina de las matemticas, como Gauss la llam,
es tal vez la disciplina matemtica ms antigua y la que ha ejercido sobre los
hombres de todas las pocas una fascinacin ms profunda. Est llena de
problemas sin resolver, cuyos trminos son perfectamente inteligibles para
todos y que, sin embargo, han desafiado la sagacidad de los matemticos ms
potentes durante siglos. He aqu unos cuantos ejemplos: Es cierto que todo
nmero par positivo es suma de dos nmeros primos? sta es la conjetura de
Goldbach, formulada a comienzos del siglo XVIII. Es cierto que si n es mayor
o igual que 3 no existen tres nmeros enteros positivos x, y, z, tales que
x
n
+ y
n
=z
n
? ste es el llamado teorema de Fermat, del que an no se ha
llegado a demostrar su verdad ni su falsedad. Existen infinitas parejas de
nmeros primos gemelos, es decir, infinitas parejas de nmeros impares
consecutivos que son primos, como el 17 y el 19, el 71 y el 73... ?
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
6
Un fenmeno caracterstico de la moderna teora de nmeros es la
versatilidad de sus mtodos. De multitud de teoremas en cuyas hiptesis y
conclusiones no entran sino los conceptos de nmero y sus operaciones
aritmticas no se conocen ms que demostraciones basadas en teoremas muy
profundos de la teora analtica de variable compleja, o de la teora de la
probabilidad, e incluso de la lgica matemtica. Las primeras demostraciones
del teorema de distribucin de nmeros primos que afirma que el nmero de
nmeros primos entre 2 y N cuando N es grande es aproximadamente
N / (1 + 1/2+ 1/3 +1/4+ ... + 1/N)
estuvieron basadas en la teora de funciones de variable compleja y en la teora
de la probabilidad.
La actual teora de nmeros se ha visto enriquecida con la aparicin de
las nuevas tcnicas de computacin automtica. Los computadores pueden ser
utilizados en ella experimentalmente, por ejemplo para comprobar que una
conjetura es falsa, y tambin como una ayuda en los mtodos de demostracin
all donde los razonamientos se ramifican ms all de las posibilidades de la
mente humana sin una ayuda.
Anlisis combinatorio
La cuestin fundamental del anlisis combinatoria es la siguiente: De
cuntas maneras diferentes se puede realizar una determinada tarea? Por
ejemplo: una secretaria tiene escritas diez cartas diferentes para diez personas
diferentes. Ha escrito tambin en diez sobres las seas de estas personas.
De cuntas formas diferentes puede equivocarse al meter las cartas en los
sobres? Tales problemas son a menudo fciles de enunciar y difciles de
resolver, requirindose, en general, ni ms ni menos que lo que Gauss llam
un contar inteligentemente. Un mapa plegable de Madrid que tiene tres
dobleces verticalmente y cuatro horizontalmente, de cuntas maneras
diferentes se puede plegar? El problema general, que pide una frmula que d
el nmero de maneras diferentes de doblar un mapa conocido el nmero de
pliegues est an por resolver.
Uno de los problemas abiertos durante ms de siglo y cuarto es el de los
cuatro colores. Est a medio camino entre la combinatoria y la topologa. Se
trata de colorear un mapa con el menor nmero posible de colores de tal modo
que dos pases adyacentes no tengan el mismo color. Es muy fcil ver que tres
colores no bastan en general y se puede demostrar que cinco son suficientes
para colorear adecuadamente cualquier mapa. Se puede hacer con cuatro? El
problema, resuelto afirmativamente en 1976 por Appel y Haken, con la ayuda
esencial del computador, ha abierto, como veremos ms adelante, profundos
interrogantes sobre la naturaleza misma de la demostracin matemtica.
Es sorprendente el nmero de campos de la ciencia v de la tecnologa
en los que se plantean problemas combinatorios y se aplican sus resultados.
La gentica, la bioqumica, la mecnica estadstica, el diseo de circuitos, la
teora de lenguajes de programacin... se aprovechan de los resultados
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
7
obtenidos en esta rea de la matemtica. El del viajante es uno de esos
problemas en que la aplicabilidad de la teora es bien patente. Se trata de
establecer el itinerario ms econmico que un viajante comercial puede seguir
en su visita por un nmero de ciudades, teniendo en cuenta el gasto que el
desplazamiento de una a otra le supone.
lgebra
Las tres secciones clsicas de las matemticas son el lgebra, el
anlisis y la geometra.
El lgebra clsica tiene que ver con la solucin de las ecuaciones
familiares de primero, segundo, tercer grado, etc y en este sentido el lgebra
tiene ya ms de cuatro mil aos de antigedad. El florecimiento del lgebra
moderna es cosa de los ltimos cincuenta aos. El lgebra moderna estudia las
estructuras algebraicas que vienen a ser sistemas de elementos con
operaciones semejantes a las que se pueden realizar con los nmeros enteros,
racionales, reales, complejos. El estudio abstracto de tales estructuras
representa una enorme economa de pensamiento, ya que aparecen repetidas
muchas veces en muy diversas reas de una forma natural. Los teoremas
demostrados sobre la estructura abstracta son as inmediatamente aplicables.
Por otra parte, tal estudio pone de manifiesto la unidad profunda de los
diversos campos de la matemtica.
Un sistema de elementos entre los que se pueden realizar dos
operaciones que siguen las mismas leyes formales de la multiplicacin y
adicin entre nmeros racionales se denomina un cuerpo. Hacia 1830, Galois
descubri la existencia de cuerpos con un nmero finito de elementos. Si p es
un nmero primo, consideramos los elementos 1, 2, 3.... p-1. El producto de
dos de estos elementos a, b es definido como el producto ordinario cuando
ste es menor que p. Si es p o mayor, entonces dividimos por p y tomamos el
resto de esta divisin como producto de a y b. Anlogamente se define la
suma. Producto y suma as definidos siguen las leyes formales de la
adicin y producto ordinarios entre nmeros racionales. El opuesto de 2 es p-2,
ya que 2 ms p-2 es 0 y el inverso de 2 es el elemento h de nuestro conjunto
tal que 2 por h da como resto 1 al dividirlo por p. Son muchos los conjuntos en
matemticas que aparecen de modo natural y que poseen la estructura de
cuerpo. Los nmeros reales, los nmeros complejos, las funciones racionales,
es decir, las de la forma P(x)/Q(x), donde P y Q son polinomios de coeficientes
reales, Q distinto del polinomio 0, etctera.
La teora de cuerpos estudia, por ejemplo, la estructura del cuerpo K
formado al adjuntar a un cuerpo inicial F un nuevo elemento raz de un
polinomio con coeficientes del cuerpo F.
Un anillo es un conjunto de elementos con dos operaciones que se
comportan como la adicin y multiplicacin ordinarias entre enteros. Es decir,
es como un cuerpo, salvo que no todo elemento tiene un inverso respecto de la
multiplicacin, o sea, un elemento tal que multiplicado por l resulte la unidad.
Tambin puede suceder que el anillo no sea conmutativo, esto es, que el
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
8
producto de dos elementos dependa del orden en que se multipliquen. El
conjunto de las matrices n x n forman un anillo no conmutativo. Como se sabe,
una matriz no tiene inversa si su determinante se anula. Los anillos surgen de
modo natural en lgebra, anlisis y en otros campos. La teora de anillos es
una herramienta importante en la matemtica actual.
El campo del lgebra moderna que ms aplicaciones encuentra en otras
ramas de la ciencia, como la fsica, estadstica, ingeniera, anlisis numrico,
ciencias sociales..., es el lgebra lineal. La motivacin de su desarrollo fue el
tratamiento de las ecuaciones lineales, y su creacin principal es el espacio
vectorial. La mejor imagen del espacio vectorial es el manojo de todas las
flechas posibles con su base fija en un punto, definiendo como suma de dos
flechas la flecha diagonal del paralelogramo que determinan, y como producto
de una flecha por un nmero real positivo, la flecha en la misma direccin y
sentido que la dada con una longitud igual a la de la dada multiplicada por
dicho nmero. Si el nmero es negativo se cambia primero de sentido a la
flecha dada. Si fijamos tres flechas perpendiculares dos a dos, es claro que
cualquier flecha queda determinada si se conocen las tres proyecciones
ortogonales de la punta de esta flecha sobre las tres flechas fijadas. El conjunto
de flechas con esta estructura, operaciones de suma y de multiplicacin por un
nmero real, es un espacio vectorial de dimensin 3. Se puede ampliar esta
concepcin y obtener un espacio de dimensin 4, 5, 7, etc., y aun de dimensin
infinita. El lgebra lineal estudia principalmente los espacios vectoriales de
dimensin finita. Muchos de sus resultados son vlidos para espacios de
dimensin infinita, cuyo estudio es objeto del anlisis funcional.
La estructura algebraica ms fundamental, y la ms simple, es la de
grupo. Un grupo es un conjunto de elementos con una operacin que relaciona
cada dos de ellos de la misma forma que la suma ordinaria relaciona los
enteros, excepto que en general no se requiere que esta operacin sea
conmutativa. Tomemos como elementos A, B, C y definamos una operacin
entre cada dos de ellos mediante la tabla
* A B C
A A B C
B B C A
C C A B
Resulta as un grupo. Otro es el conjunto de los nmeros enteros con la
operacin ordinaria de suma. Ambos son conmutativos. El primero tiene orden
3, es decir, el nmero de sus elementos es 3, tiene orden finito. El conjunto de
las matrices de nmeros reales 2 x 2 con determinante distinto de cero
constituye, con la operacin de multiplicacin ordinaria de matrices, un grupo
no conmutativo.
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
9
Un problema, por largo tiempo abierto, en teora de grupos ha consistido
en establecer cul es la estructura bsica de todos los grupos de orden finito,
reducindolos a sus piezas fundamentales, que son los llamados grupos
simples. El problema ha sido concluido, tras muchos aos de trabajo y
mediante la colaboracin de docenas de algebristas contemporneos, el ao
1980.
La importancia de la teora de grupos en matemticas y sus aplicaciones
es inmensa, y su aparicin en todos los campos es probablemente debida a
que los grupos describen matemticamente la simetra existente en las
estructuras matemticas, cientficas, tecnolgicas e incluso artsticas. Galois, el
iniciador de la teora, descubri que las races de las ecuaciones de grado 2, 3,
4, poseen un tipo de simetra que no se presenta en general en las de las
ecuaciones de quinto grado. sta es la razn profunda por la que, mientras la
ecuacin general de segundo grado ax
2
+ bx + c = 0 admite una expresin
sencilla mediante radicales para expresar sus soluciones,
a
ac b b
2
4
2

as como tambin las de tercero y cuarto grado, sin embargo esto no es posible
para la de quinto grado. La teora de grupos ha sido utilizada, con enorme
xito, en cristalografa, espectroscopia, teora de iones inorgnicos complejos,
mecnica cuntica, y se espera que sus resultados puedan aclarar muchos
problemas oscuros en la frontera de la fsica actual.
Anlisis
La ms reciente de las tres grandes ramas clsicas, el anlisis, es hija
directa del clculo, la gran invencin que encontr una forma manejable en el
siglo XVII, gracias sobre todo a los esfuerzos de Newton y Leibniz, y que
constituy la herramienta indispensable para la fsica moderna.
La filosofa subyacente en el clculo se puede entender del modo que
sigue. Deseamos estudiar cmo se desarrolla un proceso complicado que
aparece en la naturaleza, en una mquina, en la sociedad o tal vez en un
mundo matemtico ideal. Analizamos primero lo que ocurre localmente, es
decir, en una porcin pequea, para un cambio pequeo de tal o cual variable
del fenmeno. Al proceder as tal vez podamos aplicar algn principio
caracterstico del proceso que nos permita una formulacin matemtica del
modo como se relacionan las diferentes variables del proceso. Tal formulacin
aparece a menudo en forma de ecuaciones diferenciales, es decir, ecuaciones
en las que figura una funcin y sus derivadas y se desea saber cmo o cul es
la funcin o funciones que la satisfacen. Al hacerlo sabremos cmo se
comporta el fenmeno, no ya "localmente", sino "globalmente".
Por ejemplo, tenemos un cultivo de bacterias y deseamos saber cmo
evoluciona la cantidad B de bacterias al transcurrir el tiempo t, o sea, cul es la
funcin B(t) que indica la cantidad de bacterias en cada instante t. Qu
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
10
sabemos o qu podemos suponer sobre la evolucin del proceso? En
circunstancias razonables podemos suponer que la cantidad de bacterias que
se producen en un intervalo de tiempo, desde el instante t al instante t+h, es
proporcional a la duracin h del intervalo y a la cantidad de bacterias que hay
en el cultivo en un instante de ese intervalo. El problema consiste en que, a
menos que h sea pequeo, esta cantidad puede variar mucho de instante t
instante dentro del intervalo. Sin embargo, si h es pequeo podemos decir que
B(t+h) es aproximadamente B(t) +kh B(t), siendo k una constante de
proporcionalidad del crecimiento, un nmero caracterstico del tipo de bacteria.
As podemos decir que (B(t + h) - B(t))/h es aproximadamente k B(t), y cuando
se hace decrecer h, resulta, B(t) = k B(t), que es la ecuacin diferencial que
formula matemticamente el desarrollo local del proceso. Es fcil ver que todas
las soluciones de esta ecuacin diferencial son de la forma B(t)=C e
(kt)
siendo
C una constante arbitraria. Si en nuestro problema sabemos cul es la cantidad
B(0) de bacterias en el instante en que comenzamos a contar el tiempo,
entonces B(0)=C, y as B(t) = B(0) e
(kt)
nos da la expresin matemtica global
del fenmeno.
Los casos en los que de la ecuacin diferencial, que expresa el
desarrollo local del fenmeno, se pueda pasar a escribir una frmula, como
acabamos de hacer, que exprese el desarrollo global son escasos. En la mayor
parte de los casos esto no es posible y hay que contentarse con tratar de
demostrar que existe solucin y de dar, mediante el estudio de la ecuacin
diferencial misma, un procedimiento de clculo que permita al computador en
tiempo razonable proporcionarnos una solucin numrica del problema. Para
efectos prcticos, esto es suficiente. As, por ejemplo, es posible escribir el
conjunto de ecuaciones diferenciales que rigen el movimiento de los astros del
sistema solar y calcular y predecir los eclipses y dems fenmenos que tendrn
lugar.
Sin embargo, hay cuestiones que necesitan otros mtodos matemticos.
Por ejemplo, conservar el sistema solar su estructura general
indefinidamente, es decir, es un sistema estable, o bien puede ocurrir que, por
ejemplo, por un estallido de alguno de sus planetas, se provoque una
aglutinacin de todo el sistema con el Sol? Este es un nuevo tipo de cuestiones
para el que se han ideado en el siglo XX nuevos mtodos matemticos que han
encontrado un sinfn de aplicaciones en diversos campos de la tecnologa, tales
como el estudio de servomecanismos, control de sistemas mecnicos,
econmicos, biolgicos...
El campo de las ecuaciones diferenciales es amplsimo. Las ecuaciones
diferenciales en las que se busca una o varias funciones de una sola variable
se llaman ecuaciones diferenciales ordinarias. Aquellas en las que se busca
una o varias funciones de varias variables, apareciendo las derivadas parciales
de ellas con respecto a sus diversas variables, son ecuaciones en derivadas
parciales. En ambos casos pueden ser ecuaciones lineales, que corresponden
a situaciones en las que la respuesta del sistema bajo estudio es proporcional
al estmulo introducido en l, o bien ecuaciones no lineales, en las que no
existe tal proporcionalidad. Con frecuencia las ecuaciones lineales constituyen
una aproximacin suficiente a la realidad, pero en determinadas ocasiones la
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
11
naturaleza se comporta de modo decisivamente no lineal. El flujo de fluidos
compresibles, el flujo viscoso, la magnetohidrodinmica y la fsica del plasma
son ejemplos de no linealidad. La teora de ecuaciones no lineales constituye
uno de los campos ms atractivos hoy da dentro del anlisis.
Como casi todos los campos de la matemtica actual, el de las
ecuaciones diferenciales se enriquece y fertiliza con elementos que provienen
de multitud de reas diferentes, como la geometra, la topologa y el lgebra.
La teora de las funciones de variable compleja constituye otro de los
campos importantes del anlisis actual. El nmero complejo se introdujo para
unificar y armonizar diversos resultados del lgebra y del clculo. As, por
ejemplo, las funciones trigonomtricas y la funcin exponencial se unifican
cuando se introducen como funciones de variable compleja. La teora de
funciones de variable compleja se centra en el estudio de las funciones
analticas, es decir, de las funciones que son representables mediante una
serie de potencias. Constituyen as la generalizacin ms cercana de un
polinomio y por ello su estructura es particularmente rica en propiedades y
armoniosa en su conjunto. La aplicabilidad de esta rama en campos tan
diversos como la teora de nmeros, dinmica de fluidos, ingeniera elctrica y
fsica de alta energa constituye una incesante fuente de asombro. La teora de
funciones de varias variables complejas es probablemente uno de los campos
de desarrollo ms prometedores en la actualidad.
El anlisis armnico comenz con el estudio matemtico de la cuerda
vibrante. D. Bernoulli, en el siglo XVIII, lo abord tratando de representar su
movimiento como superposicin de movimientos armnicos fundamentales, es
decir, de movimientos representables por funciones trigonomtricas. Ms
adelante Fourier, en el siglo XIX, estudi la ecuacin diferencial que rige la
conduccin del calor mediante el mismo mtodo y as el anlisis fundado en
este principio vino a llamarse tambin anlisis de Fourier. Este modo de
representacin de funciones, as como los mtodos que su desarrollo ha
motivado constituyen una de las herramientas ms poderosas, en la prctica y
en la teora, para el estudio de las ecuaciones diferenciales. Por otra parte, las
dificultades que, desde el punto de vista conceptual, han sealado
particularmente la teora y sus refinamientos posteriores han conducido a la
clarificacin y desarrollo de una gran porcin del anlisis moderno. El concepto
de funcin, el de integral de Riemann, el de integral de Lebesgue, la teora de
conjuntos de Cantor y ms modernamente la teora actual de distribuciones o
funciones generalizadas, han sido motivadas en buena parte por el desarrollo
natural del anlisis armnico.
El anlisis funcional es una de las reas ms recientes del anlisis
matemtico. Su desarrollo corresponde al siglo actual, especialmente a partir
de los aos treinta. El problema inicial, propuesto por Fredholm en 1903,
consisti en tratar de hallar una funcin u(t) definida en el intervalo [a, b] y con
valores reales tal que para todo valor de x se tenga

= ) , , ), ( ) , ( ( ) ( b a t t u t x k x f
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
12
donde f es una funcin dada y k otra funcin conocida de dos variables.
Fredholm redujo el problema a la resolucin de un sistema de infinitas
ecuaciones lineales con infinitas incgnitas. As como el espacio vectorial de
dimensin finita es el entorno adecuado para dar una visin geomtrica del
significado de un sistema de un nmero finito de ecuaciones lineales, el
espacio vectorial de dimensin infinita es el mbito adecuado para este otro
problema. Las funciones son ahora los puntos de este espacio (obsrvese que
los puntos (asub1, asub2, asub3) del espacio tridimensional son en realidad
funciones reales definidas en el conjunto que tiene por elementos 1, 2, 3). Se
puede introducir una distancia y se puede hablar de ngulos, obtenindose as
una rplica muy ajustada del espacio de nuestra intuicin geomtrica. Tal es el
espacio de Hilbert en el que el anlisis funcional se mueve. Los principales
objetos de estudio son los operadores, que constituyen la contrapartida de las
matrices cuadradas, o rectangulares, correspondientes al espacio de dimensin
finita como representacin de un sistema de ecuaciones lineales. Los
problemas para los que el anlisis funcional fue creado provienen de
ecuaciones tales como la de Fredholm, mencionada arriba, denominada
ecuacin integral, ya que la incgnita figura bajo el signo integral, ecuaciones
diferenciales y en derivadas parciales, etc Muy poco despus de la creacin
del espacio de Hilbert se observ que ste constitua el marco apropiado de la
llamada mecnica cuntica. Schrdinger y Heisenberg propusieron dos
descripciones al parecer matemticamente distintas de ciertos hechos
observados experimentalmente. Poco despus se observ que, interpretadas a
la luz del espacio de Hilbert, las dos teoras no eran sino representaciones
equivalentes de un mismo operador.
La teora de la probabilidad debe concebirse actualmente como una
rama de la matemtica clsica emparentado con el anlisis ms que con
ninguna otra. Nacida en el siglo XVII como una coleccin de frvolas
consideraciones sobre los juegos de azar, y durante mucho tiempo considerada
como una disciplina carente de rigor, se ha desarrollado un poco al margen de
las otras disciplinas matemticas. Hoy da, sin embargo, la interaccin de la
teora de la probabilidad con los campos aparentemente ms distantes, incluida
la geometra y la teora de nmeros, es sorprendente. Uno de los lazos de
conexin ms importantes es la teora de procesos estocsticos, de los que el
ejemplo ms importante es el movimiento browniano. ste es la rplica
matemtica del movimiento de una partcula de un lquido en suspensin que
choca aleatoriamente con las otras partculas. Los mtodos probabilsticos
parecen invadir actualmente casi todos los campos matemticos, e incluso han
sido utilizados como mtodo de demostracin en lgica.
Las aplicaciones directas de la teora de la probabilidad son
innumerables. Multitud de problemas tecnolgicos han estimulado desarrollos
basados en ella, tales como la teora de la informacin, de la decisin, teora de
caminos aleatorios, ecuaciones diferenciales estocsticas, etc. Con el dominio
de la incertidumbre que la teora de la probabilidad nos proporciona, es
ventajoso en ocasiones, cuando un problema determinstico es demasiado
complicado, prescindir de ciertas piezas de informacin, tratarlo como si fuese
un problema estocstico, aleatorio, y utilizar la solucin as obtenida a travs de
mtodos probabilsticos. Todas las ciencias naturales y sociales, por otra parte,
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
13
hacen uso cada vez mayor de la estadstica, hija de la teora matemtica de la
probabilidad.
Geometra
La geometra ha sido a lo largo de la historia de la matemtica la matriz
en la que se han gestado los ms profundos desarrollos de esta ciencia. La
idea de sistema matemtico aparece bien perfilada en la fundamentacin
geomtrico de los Elementos de Euclides. La idea profunda de Descartes de
enlazar los desarrollos algebraicos y geomtricos posibilit el desenvolvimiento
del clculo infinitesimal. Las geometras no eucldeas del siglo XIX condujeron
a una verdadera revolucin en la fundamentacin de las matemticas. Se
puede afirmar que casi el total de las matemticas de ayer y de hoy se
encuentran invadidas por el sentido geomtrico. As la topologa, las
ecuaciones diferenciales, el anlisis funcional, la teora de variable compleja...
Y no poda ser de otro modo, dado el carcter, eminentemente visual y espacial
de una gran porcin de nuestra inteleccin matemtica y dada nuestra
tendencia manifiesta a aclarar nuestras ideas ms abstractas de forma intuitiva
y grfica. Este sentido geomtrico se encuentra cultivado hoy da de modos
concretos muy diferentes. Describimos a continuacin algunas de las ramas
especficas de la geometra actual.
La geometra algebraica se preocupa de la interpretacin geomtrica de
sistemas de ecuaciones algebraicas. Una ecuacin algebraica x
2/9
+ y
2/4
=1 se
puede considerar como representacin de una elipse. Cuando se tiene un
sistema de ecuaciones algebraicas con varias variables, el estudio de todas
sus soluciones se complica extraordinariamente y es preciso ampliar el campo
del lgebra clsica y de la geometra analtica clsica, acudiendo a ecuaciones
en las que los coeficientes son elementos de cuerpos o anillos ms generales y
a representaciones en espacios de mayor dimensin. La geometra algebraica
es uno de esos campos de la matemtica donde se manifiesta claramente la
unidad profunda de esta ciencia. Muchos de los problemas en teora de
nmeros, por ejemplo el llamado ultimo teorema de Fermat, se puede expresar
y tratar de dilucidar como un problema en geometra algebraica: sea n entero
mayor que 2; se considera la superficie algebraica x
n
+ y
n
= z
n
del espacio
tridimensional. Existen sobre sta superficie puntos (a, b, c) con coordenadas
enteras distintos de los puntos (0, 0, 0), (0, 1, l), (1, 0, 1)?
La geometra diferencial representa el maridaje del clculo y la
geometra, as como la geometra algebraica constitua el de la geometra con
el lgebra. Cuando en el siglo XIX se percibi la utilidad de introducir espacios
de dimensin superior a 3, el sentido intuitivo se perdi y, sin embargo, era
clara la necesidad de manejar conceptos anlogos a los de rea, volumen...
Esto origin la urgencia de despojar tales nociones de su contenido intuitivo y
de abstraer de ellas el significado abstracto que permitiese trasladarlas a otros
espacios. La liberacin as obtenida dio lugar a instrumentos poderosos, como
el clculo tensorial, que en un principio se consideraron superfluos y estriles.
Pero cuando Einstein necesit expresar sus ideas sobre la relatividad
generalizada, en el clculo tensorial de Ricci encontr preparada la herramienta
adecuada a sus necesidades.
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
14
El sabor geomtrico es evidente en el estudio de la topologa conjuntista,
originada en gran parte por la necesidad de sistematizar la aparicin de
conjuntos extraos a fines del siglo XIX y comienzos del XX en ciertas zonas
fronterizas del anlisis, geometra analtica y teora de conjuntos. El fenmeno
es recurrente en la historia de la matemtica. Los monstruos de un da
resultan ser los pobladores naturales de unos cuantos aos despus. Las
curvas carentes de tangente en todo punto, la curva de Peano cuya grfica
pasa por todos los puntos de un cuadrado, y otros entes semejantes fueron
para Poincar engendros antinaturales de los que habra que apartarse con
horror. Una vez sometidos a una ordenacin racional, lo que antes fue caos se
convirti en cosmos lleno de esplendente belleza y de gran utilidad. La
topologa conjuntista lo logr gracias a una nueva liberacin realizada en
nuestra intuicin espacial, despojndola esta vez de toda consideracin
cuantitativa, tratando de dominar racionalmente de modo intrnseco la nocin
de cercana y estableciendo para ello unos axiomas propios que lo
posibilitaran.
La topologa algebraica actual es el descendiente directo de lo que se
llam en principio analysis situs y ms tarde topologa combinatoria. Trata de
estudiar propiedades de figuras geomtricas que no varan por deformaciones
continuas. El sabor de los problemas de los que se ocupa puede apreciarse
con claridad en el problema de los puentes de Knigsberg que ocasion el
nacimiento de la disciplina con un famoso artculo de Euler, y en el antiguo
problema de las tres granjas y los tres pozos. Uno de los resultados ms
profundos de la teora y con ms aplicaciones en el anlisis es el teorema del
punto fijo de Brouwer, que afirma que cada transformacin continua de una
esfera slida en s misma deja invariante al menos un punto. La topologa
algebraica trata de describir las caractersticas y propiedades de las figuras
mediante la distincin de las diferentes combinaciones en que se pueden
presentar los elementos fundamentales (smplices) a que tales figuras se
reducen. Los smplices son los tringulos para figuras de dimensin 2,
tetraedros para figuras de dimensin 3... Los problemas del antiguo analysis
situs han sido hoy da reducidos en gran parte a problemas algebraicos y por
ello el nombre de este campo ha pasado a ser topologa algebraica.
La topologa diferencial estudia las figuras geomtricas describindolas
al modo como un atlas describe la superficie terrestre mediante la coleccin de
todos los mapas que aparecen en cada una de sus pginas. Cada mapa es, en
la topologa diferencial, una representacin local diferenciable, al modo de la
geometra analtica de una parte de la superficie. Los mapas correspondientes
a regiones continuas deben solaparse, y en el solapamiento deben coincidir o
darse una regla para saber cmo se pasa de la representacin de un mapa a la
del otro. Recientemente se ha demostrado (Milnor, 1952) que existen figuras
relativamente sencillas (por ejemplo, la esfera de dimensin 7), cuya
descripcin por los mtodos de la topologa algebraica es nica, que admiten,
sin embargo, varias representaciones esencialmente diferentes desde el punto
de vista de la topologa diferencial. Esto seala claramente la autonoma e
independencia de la topologa diferencial con respecto a la algebraica. En la
topologa diferencial se manifiesta de nuevo patentemente la unidad de la
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
15
matemtica, pues a ella aportan elementos importantes la geometra
diferencial, la teora de ecuaciones diferenciales y la geometra algebraica.
Existen otras formas de geometra, tales como la geometra de cuerpos
convexos, la teora de grafos, etctera, que han recibido en los ltimos tiempos
un impulso especial debido al gran nmero de aplicaciones que de ellas se
derivan.
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
16
La Matemtica de las Aplicaciones
En el fondo de la actividad matemtica subyacen motivaciones muy
variadas que, lejos de ser antagnicas, se complementan profundamente. La
matemtica naci con el intento de explorar las armonas y recurrencias del
universo fsico en las culturas mesopotmicas y se hizo adulta en el mundo
griego constituyndose en ciencia, en enseanza (mazesis) por antonomasia,
en mtodo de pensamiento. Ha sido cultivada como disciplina formativa del
pensamiento, como matriz de estructuras mentales bellas y armoniosas, como
modelo y dechado de conocimiento... Pero, especialmente desde los tiempos
de Galileo, su desarrollo ha estado ntimamente ligado con aquellos fenmenos
del mundo fsico en los que el hombre ha estado interesado, guiando al mismo
tiempo este inters al proporcionarle herramientas que de algn modo
posibilitan el acceso del conocimiento humano a tales fenmenos. El progreso
del pensamiento colectivo del hombre manifiesta as una profunda unidad. La
que hemos llamado matemtica fundamental est fuertemente condicionada en
su desarrollo, lo hemos podido observar, por los problemas internos propios de
cada campo, pero no deja de experimentar en los puntos de cambio de rumbo
de su trayectoria la robusta influencia que ha ejercido sobre ella la posibilidad,
siempre presente, de su utilizacin para la exploracin de nuevos fenmenos.
Dnde se detecta especialmente en la matemtica contempornea esta
interaccin profunda con la intencin exploratoria del entorno del hombre? No
se puede pretender aqu realizar una enumeracin exhaustiva de los
numerossimos puntos de todas las ciencias actuales en que se proponen a la
matemtica problemas propios y muy profundos que estn estimulando la
elaboracin de herramientas matemticas originales para su tratamiento.
Citar, a modo de ejemplo, tan slo algunos campos en que esta interaccin es
ms fuerte y patente y en los que probablemente quedar determinado un
nuevo rumbo para la matemtica del futuro.
La fsica matemtica ha sido y sigue siendo el campo de las aplicaciones
en que esta interaccin alcanza su mayor amplitud y profundidad. Tanto es as,
que durante mucho tiempo la matemtica aplicada ha sido sinnimo de fsica
matemtica. Tal vez una de las caractersticas ms importantes de nuestros
das en este terreno consista en que los avances del anlisis matemtico actual
han comenzado a hacer posible una aproximacin no lineal a fenmenos que
no son lineales y que en tiempos pasados, o no pudieron ser tratados en
absoluto, o fueron tratados en una primera aproximacin burda como si fuesen
lineales, por carecerse de herramientas suficientemente poderosas para
enfrentarse con el fenmeno en toda su complejidad.
Uno de los impactos ms llamativos, en las ciencias contemporneas y
en nuestra cultura en general, de los desarrollos matemticos de nuestros das
ha corrido a cargo de la estadstica. El desarrollo de la teora de la probabilidad
y su aplicacin a los fenmenos aleatorios han conseguido crear una
matemtica que en cierto modo logra dominar y manejar con acierto la
incertidumbre misma. Lo que originariamente aparece como caos regido por el
azar y opaco a la inteleccin, la estadstica lo ordena y lo somete finalmente a
leyes aleatorias que arrojan sobre los fenmenos una luz tan intensa como la
que las leyes determinsticas de la fsica matemtica irradian sobre los objetos
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
17
a los que se aplican. Un enorme nmero de ciencias y tcnicas se han
beneficiado de esta iluminacin y dominio de la incertidumbre que la estadstica
proporciona. Entre ellas la biologa, la medicina, las tcnicas y ciencias
econmicas, la investigacin sobre la produccin industrial y sobre mercados,
la psicologa, la sociologa, la antropologa, la lingstica...
En las complejas realidades que muchas de las ciencias y tcnicas
modernas pretenden considerar desde el punto de vista matemtico existen
unos cuantos elementos comunes que van agrupndose de modo natural para
formar un todo coherente que an no ha encontrado una plena sistematizacin.
Se suele conocer con el nombre genrico de optimizacin, y engloba un
conjunto abigarrado de tcnicas y problemas modernos, tales como la teora de
sistemas, programacin lineal, teora de grafos, problemas de distribucin,
programacin dinmica, control ptimo... El desarrollo de todos estos temas,
como veremos, ha sido profundamente influenciado por el advenimiento del
computador y el desarrollo de las ciencias de la computacin, como se
comprende fcilmente por la descripcin que sigue.
Lo que los diferentes cientficos entienden por teora de sistemas suele
ser muy diverso. Una estructura complicada con mltiples elementos cuyo
papel y dinamismo dentro de ella ha sido bien definido y, si es posible,
cuantificado, constituye un sistema. Los problemas del sistema pueden ser,
naturalmente, enormemente variados, desde el conocimiento ulterior de su
estructura a partir de una tosca aproximacin cuantitativa inicial que permita
analizar ms a fondo su funcionamiento, como puede suceder con un sistema
lingstico, hasta la determinacin exacta del mejor funcionamiento posible del
sistema, como puede apetecer el cientfico que estudia un sistema biolgico,
econmico o mecnico. Existen algunas teoras matemticas parciales bien
elaboradas que han tenido profunda influencia sobre el desarrollo de diversas
ciencias modernas, como la economa, ingeniera, etc. Una de ellas es la teora
de juegos de Von Neumann y Morgenstern (1944), que ellos aplicaron con
cierto xito a la conducta econmica. En ella se comienza por analizar
matemticamente juegos de estrategia, es decir, juegos en los que no slo
interviene el azar, sino tambin decisiones controladas por los participantes. No
se trata, pues, del clsico anlisis de un juego casi de mera suerte, como la
ruleta o los dados, sino de juegos semejantes en su estructura al mus o al
poker, en los que intervienen adems decisiones mucho ms personales
basadas en ciertas informaciones como la historia y psicologa de los dems
contrincantes, etc. Fcilmente se comprende que tales juegos constituyen una
simplificacin de situaciones reales de tipo econmico, social, poltico,
estratgico, y de ah el inters que este anlisis puede tener.
Con la programacin lineal se estudia el problema consistente en
encontrar el mximo de una funcin lineal de muchas variables sujetas a
ciertas restricciones especificadas mediante desigualdades asimismo lineales.
En 1947 Dantzig obtuvo un mtodo mediante el cual problemas bien complejos
de este tipo se pueden programar y resolver con el computador moderno. Una
gran cantidad de aplicaciones industriales y comerciales pusieron de manifiesto
bien pronto el inters de la teora y enseguida fue generalizada con la
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
18
elaboracin de herramientas adecuadas para tratar tambin problemas no
lineales.
La teora de grafos es otra herramienta de valor universal en muchas de
las ciencias y tcnicas actuales. Un grafo es sencillamente un conjunto de
puntos y unos cuantos arcos que los unen. Los problemas abstractos que la
teora considera nacieron como juegos de nios. Se puede trazar el grafo
recorriendo todos sus vrtices una sola vez? Se puede trazar el grafo sin
levantar el lpiz del papel y sin recorrer un mismo arco dos veces? Cul es el
camino ms corto de un punto a otro a travs de los arcos del grafo? Suenan
fciles estas cuestiones, pero hay en ellas una simplicidad engaosa, pues
muchas de ellas estn an sin resolver. Por ejemplo, el problema del viajante
consiste en lo siguiente: un viajante de comercio de una firma de Barcelona
tiene por tarea ofrecer sus productos en 25 ciudades distintas de Espaa. Los
desplazamientos de una ciudad a cada una de las otras le ocasionan ciertos
gastos que le son bien conocidos. Se trata de obtener el itinerario adecuado
que haga mnimo su gasto total en desplazamientos, saliendo de Barcelona y
volviendo all mismo. Cuando las ciudades son pocas, se puede pensar en un
cmputo exhaustivo de todos los posibles itinerarios, y, aprovechando la
potencia actual de las calculadoras, se puede pensar en hacerlo para un
nmero respetable de ciudades. Pero cuando este nmero se eleva, por
ejemplo a 50, aun los ordenadores actuales ms potentes son insuficientes.
Hasta ahora no se conoce ningn algoritmo para el clculo efectivo del
itinerario ptimo del viajante que haga posible la resolucin del problema con
las calculadoras actuales en tiempo razonable cuando el nmero de ciudades
es grande.
La programacin dinmica se propone encontrar la mejor manera de
realizar una tarea compleja que depende de una sucesin temporal de
decisiones. El principio de optimalidad sobre el que se basan algunas de sus
consideraciones consiste en la sencilla observacin de que un camino que ha
de llevarnos de A a D y del que sabemos que ha de pasar por B y C
sucesivamente ser ptimo cuando lo sean, desde el mismo punto de vista, el
camino de A a B, el de B a C y el de C a D. Es decir, el camino ptimo lo ha de
ser tambin localmente. Esta sencilla observacin proporciona ya criterios
cuantitativos extremadamente tiles. La elaboracin y adecuada cuantificacin
del calendario de la produccin, renovacin de equipo, almacenamiento, etc.,
de una fbrica es uno de esos ejemplos prcticos que pueden tratarse
mediante la programacin dinmica.
La teora de control ptimo tiene objetivos paralelos a los de la
programacin dinmica, pero se encuentra en un estadio ms evolucionado de
cuantificacin. Un sistema fsico, biolgico, econmico, suele presentar a
menudo una evolucin regida por un conjunto de ecuaciones diferenciales en
las que intervienen ciertos parmetros que, hasta cierto punto, estn a nuestra
disposicin, los controles del proceso. Se desea llevar el sistema desde una
situacin inicial a una situacin terminal. Lo podemos hacer en general de
muchas formas diferentes manejando de modo diverso nuestros controles.
Unas de entre estas formas de funcionamiento nos ocasionan un gasto
mayor que otras. Se trata de averiguar cmo se deben manipular los controles
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
19
para que el gasto producido sea mnimo. La teora de control constituye en
cierto modo el descendiente directo del clculo de variaciones que ide (a
propsito de la curva de descenso ms rpido, la braquistcrona) en el siglo
XVIII Jakob Bernoulli y que tuvo cierto auge a principios de este siglo. Los
mtodos han sido enormemente enriquecidos gracias al gran desarrollo actual
de disciplinas tales como las ecuaciones diferenciales y el anlisis funcional.
Por la naturaleza misma de muchos de los problemas que hemos
descrito, de gran inters para la matemtica actual, es obvio que el impacto del
desarrollo del computador y de la moderna ciencia de la computacin sobre la
matemtica fundamental y sus aplicaciones tiene que ser muy profundo. Desde
que en 1950 comenzaron a comercializarse los primeros computadores de gran
velocidad los progresos han sido continuos en todos los aspectos deseables,
velocidad, memoria, versatilidad, manejabilidad, miniaturizacin... La revolucin
que se est originando en nuestra forma de vida por el desarrollo de los
computadores apenas ha comenzado. Slo en lo que se refiere a rapidez, los
modernos computadores han multiplicado por un factor mayor que 10 000 000
la velocidad de clculo del hombre. Es claro que pasarn muchos aos antes
de que aprendamos a sacar pleno partido incluso de las habilidades de
nuestros actuales computadores. Su influjo, sin embargo, comienza a sentirse
fuertemente en muchas reas de nuestro entorno ms inmediato, proceso de
datos en nuestros bancos, planificacin de nuestras empresas, robotizacin de
nuestras fbricas, ordenacin de la informacin contenida en nuestras
bibliotecas, educacin programada... En el desarrollo cientfico el influjo de los
ordenadores es inmenso, y la mayor parte de las ciencias estn an muy lejos
de saber aprovechar lo que el ordenador actual puede hacer por ellas.
En las aplicaciones de la matemtica el influjo del computador ha sido
inmenso, sobre todo a travs de su capacidad de resolucin numrica de
problemas extraordinariamente complicados cuya solucin hubiera resultado
irrealizable. hace unos pocos aos. Durante un viaje espacial, por ejemplo, es
necesario resolver de modo automtico en tiempo real, con gran precisin,
sistemas de docenas de ecuaciones diferenciales no lineales. Pero
posiblemente, como el futuro demostrar, esta facilidad de clculo es el
aspecto ms superficial de la capacidad del computador. La versatilidad y
complejidad del computador puede constituirle en una pieza clave para la
realizacin analgica de experimentos (los Gedankenexperimente pasan as a
ser verdaderos experimentos de computador) en prcticamente todas las
ciencias, desde las matemticas hasta las sociales, con un coste y esfuerzo
mnimos.
En la matemtica fundamental el influjo del computador comienza a
hacerse manifiesto. En teora de nmeros se ha utilizado, desde hace tiempo,
para reforzar o desechar la plausibilidad de ciertas conjeturas, como la de
Riemann. Pero su impacto ms notable en los ltimos aos ha tenido lugar en
la demostracin del teorema de los cuatro colores. Una demostracin que no
puede hacerse vivencia en el mecanismo raciocinante del hombre, por razn
de la lentitud de ste, ha sido construida mediante el concurso del computador.
Con ello se ha obtenido lo que muchos piensan que es una categora diferente
de teorema. Cuntos problemas matemticos hoy an abiertos, nos podemos
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
20
preguntar, esperan tal vez una solucin semejante, con la asistencia esencial
del computador?
Se presiente que el influjo de la computarizacin general de una porcin
de nuestra cultura originar probablemente una inclinacin de la matemtica
futura hacia el desarrollo de lo que a veces se llama matemtica finita, o
discreta, que pone el nfasis en el descubrimiento de algoritmos efectivos para
resolver problemas de todo tipo. La infiltracin del computador en terrenos tales
como el anlisis matemtico y otros campos tradicionales ms abstractos es
an incipiente, pero se llegar a hacer sentir en un futuro ms o menos
cercano.
La ciencia de la computacin, como estudio de los computadores y sus
funciones, explora los tres problemas bsicos siguientes: a) diseo y anlisis
del soporte material (hardware) de los computadores, es decir, de sus
componentes mecnicas y electrnicas; b) diseo y anlisis del soporte lgico
(software),o sea el posible entreveramiento de las funciones que el soporte
material es capaz de efectuar a fin de que el sistema resulte efectivo para los
objetivos que se persiguen. Se trata, por tanto, del estudio de los lenguajes,
programas de control interno... ; c) metodologa de resolucin de problemas
con los computadores, esto es, estudio de tcnicas comunes para resolver
familias amplias de problemas.
La ciencia de la computacin constituye como se ve, al menos
parcialmente, una ciencia matemtica. Como tal subraya los aspectos
algortmicos, constructivos, y sus problemas estn en ntima conexin con los
de la lgica matemtica y los del anlisis numrico. Pero es claro que la ciencia
de la computacin presenta aspectos que han de ser tratados en cooperacin
estrecha con la ingeniera electrnica, la lingstica, el anlisis del
conocimiento, etc.
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
21
El Papel de la Matemtica en Nuestra Cultura
La matemtica ha cumplido, a lo largo de la historia del pensamiento,
una funcin muy peculiar. Desde los tiempos de Pitgoras la matemtica ha
constituido el armazn, en su forma ms pura, del pensamiento fundamental de
nuestra cultura occidental: la inteligibilidad del universo mediante la razn, y
precisamente mediante la razn cuantificadora. Para la cultura occidental el
universo no es caos, es cosmos, orden. La naturaleza es regular, es decir,
sigue unas reglas, unas pautas. Nuestro pensamiento puede captar estas
normas de actuacin de la naturaleza. La matemtica es la herramienta a su
disposicin para hacerse con ellas.
Este espritu es el que unifica las diversas formas de la matemtica a lo
largo del tiempo y a lo ancho de su vasta amplitud y diversificacin actual. El
matemtico es probablemente el cientfico que se siente ms cercano a sus
predecesores remotos apartados de l por siglos de distancia y a sus colegas
contemporneos que trabajan en campos en los que incluso el lenguaje puede
resultarle ajeno. Les une a todos el afn por encontrar las leyes formales
objetivas que gobiernan la naturaleza en su sentido ms amplio y el
convencimiento de que estas leyes pueden ser encontradas mediante la
cooperacin entre la intuicin creativa y la comprobacin objetiva de las
consecuencias racionales que de ella se derivan.
Y es este espritu, este sentimiento de fusin de creatividad, libertad,
espontaneidad y orden que subyace a la actividad matemtica, la contribucin
ms importante que la matemtica puede ofrecer a nuestra sociedad actual.
Contribucin que va mucho ms all de la mera utilidad prctica de las
diferentes creaciones concretas de la matemtica. Aqu estriba, por otra parte,
el valor educativo ms profundo de la matemtica, el que los filsofos ms
profundos, Pitgoras, Platn, Descartes, Leibniz.... han sabido ver en ella. En
nuestra transmisin de la herencia matemtica es ste el aspecto que
deberamos tratar de hacer ms explcito. He aqu cmo lo ha expresado uno
de los filsofos ms clarividentes de nuestro propio siglo, Alfred North
Whitehead: La nocin de modelo (pattern) es tan antigua como la civilizacin.
Todo arte est fundamentado en el estudio del modelo. La cohesin de los
sistemas sociales depende del mantenimiento de modelos de conducta, y los
progresos de la civilizacin dependen de la modificacin acertada de ellos. Por
eso la impregnacin de modelos en el curso de la naturaleza y la estabilidad de
tales modelos, as como la modificacin de ellos es la condicin necesaria para
la realizacin del Bien. La matemtica es la tcnica ms poderosa para la
comprensin del modelo y para el anlisis de la relacin entre modelos...
Considerando la inmensidad de su campo de accin, la matemtica, incluso la
matemtica moderna, es una ciencia en su infancia. Si la civilizacin contina
avanzando, en los prximos dos mil aos, la novedad predominante en el
pensamiento humano ser el seoro de la inteleccin matemtica.
Archivo descargado de El Paraso de las Matemticas - http://www.matematicas.net
22
Bibliografa
ALEXANDROV, A. D., A.N. KOLMOGOROV, M. A.
LAURENTIEV (eds.), La matemtica: su contenido, forma y significado, Madrid,
Alianza, 1982.
APPEL, K., W. HAKEN, La solucin del problema del mapa de cuatro colores,
Investigacin y Ciencia, 15 (diciembre 1977), 78-90.
COSRIMS REPORT, The Mathematical Sciences, Washington,
D. C., National Academy of Sciences. 1968.
COSRIMS ESSAYS, The Mathematical Sciences, MIT Press, 1969.
COURANT, R., H.ROBBINS, What is Mathematics?, (New York, Oxford U.P., 1941)
(Trad.esp.: Qu es la matemtica, Madrid, Aguilar, 1970)
DAVIS, P.J., R. HERSH, Tlie Mathematical Experience, Boston, Birkhuser, 1981.
KLINE, M. (ed.), Mathematics in the Modern World, San Francisco, Freeman, 1968.
(Trad. esp.: Madrid, Blume, 1974.)
NEWMAN, J. R. (ed.), The World of Mathetmatics, Nueva
York, Simon and Schuster, 1956. (Trad.esp.: Madrid, Grijalbo, 1981)
STEEN, L. A. (ed.), Mathematics Today, Nueva York, Springer, 1978. (Trad. esp.: Los
ngeles, Wadsworth Ibrica, 1983.)