FACULTAD DE CIENCIAS ECONMICAS

Y EMPRESARIALES

ACTUALIDAD Y APLICACIONES DE LA TOPOLOGA Y EL ANLISIS FUNCIONAL

Andrs Fernndez Daz

Working Papers / Documentos de Trabajo. ISSN: 2255-5471

DT CCEE-1701 Enero 2017
http://eprints.ucm.es/40910/

Aviso para autores y normas de estilo: http://economicasyempresariales.ucm.es/working-papers-ccee

Esta obra est bajo una licencia de Creative Commons: Reconocimiento - No comercial.
 PRESENT AND APPLICATIONS OF TOPOLOGY AND FUNCTIONAL
ANALYSIS

Abstract:
Our aim in this article is to consider Topology and Functional Analysis as closely related branches of
mathematics, highlighting the role of the use of algebraic topology in the treatment of certain issues in
different fields of Science, as well as the great help of using functional analysis in solving important
problems that arise in these fields. With regard to Topology, in addition to a synthesis on the essential
of its evolution and content, is carried out as derived from it, a properly formalized exposition of the
Catastrophe Theory and the Mathematics of Chaos. Insofar as the Functional Analysis, inseparable
from the Topology, we studied the topological vector spaces, the normed spaces, and among them the
Banach one, the dual topological space, the operational calculation, the notion of spectrum of the
operator, and the Hilbert space. Finally, the application of Functional Analysis to two specific
branches of Science is addressed: Quantum Mechanics and Economics.

Keywords: Algebraic Topology, Functional Analysis, Catastrophe Theory, Mathematics of

Chaos, vector spaces, Banach space, Hilbert space, Quantum Mechanics, Economics.

ACTUALIDAD Y APLICACIONES DE LA TOPOLOGA Y EL ANLISIS

FUNCIONAL

Resumen:
El principal objetivo que se persigue en este artculo es el tratamiento conjunto de la Topologa y el
Anlisis Funcional como dos ramas inseparables de las matemticas, destacando el papel de la
Topologa algebraica en el estudio de determinadas cuestiones en los diferentes campos de la Ciencia,
as como la gran ayuda que supone el Anlisis Funcional en la solucin de importantes problemas que
se plantean en dichos campos. Por lo que respecta a la Topologa, adems de una sntesis sobre lo
esencial de su evolucin y contenido, se hace una incursin en la Teora de Catstrofe y en las
Matemticas del Caos como ramas emanadas de la misma. Por lo que respecta al Anlisis Funcional
estudiamos los espacios vectoriales topolgicos, los espacios normados, los espacios de Banach, el
espacio topolgico dual, el clculo operacional, la nocin de espectro del operador, y el espacio de
Hilbert. Finalmente se pone de relieve la aplicacin del Anlisis Funcional a dos ramas bien distintas
de la Ciencia: la Mecnica Cuntica y la Economa.

Palabras clave: Topologa, Anlisis Funcional, Teora de Catstrofes, Matemticas del Caos,
espacios vectoriales, espacios de Banach, espacio de Hilbert, Mecnica Cuntica, Economa.
Materia: Anlisis funcional

Andrs Fernndez Daz

Catedrtico de Economa Aplicada,
Facultad de Ciencias Econmicas y Empresariales.
Universidad Complutense de Madrid
Ancien Professeur. Universit Paris-Sorbonne
Professor of Economics. Emeritus Member of the
Spanish Court of Accounts

Enero 2017 (fecha de recepcin)

Este trabajo ha sido editado por la Biblioteca de la Facultad de CC Econmicas y Empresariales de la UCM, de
acuerdo con los requisitos de edicin que figuran en la Web institucional. Las opiniones expresadas en este
documento son de exclusiva responsabilidad de los autores.
Introduccin

La Topologa y el Anlisis Funcional, ntimamente relacionados, constituyen dos

componentes o ramas de la matemtica que, aunque tienen su historia, sus autores y sus
estudios y publicaciones, no han sido objeto en los ltimos tiempos de la atencin y del
aprovechamiento suficiente por parte de los matemticos de nuestros das. En cuanto al
primero de los componentes, algunos problemas topolgicos se encuentran en las obras
de Leonard Euler, August Ferdinand Mbius, y Georg Cantor, aunque el trmino parece
haberse utilizado ya en el ttulo de la obra Vorstudien zur Topologie publicada por
Johann Benedict Listing en el ao 1847. Pero el momento cumbre en el desarrollo de
esta rama de la matemtica tiene un protagonista indiscutible, el matemtico francs
Henri Poincar, y una fecha concreta, 1895, ao en el que publicara su Analysis Situs
en el que se daba por primera vez un desarrollo sistemtico de la materia, permitiendo,
asimismo, una sencilla definicin de topologa como aquella parte de la matemtica
que estudia las propiedades de los cuerpos geomtricos que permanecen inalteradas
por transformaciones constantes.1

En una primera aproximacin la Topologa puede subdividirse a grandes rasgos en dos

ramas distintas: la topologa combinatoria o algebraica, y la topologa conjuntista. La
primera de ellas, que era la que desarroll Poincar, consiste en el estudio de los
aspectos cualitativos intrnsecos de las configuraciones espaciales que permanecen
invariantes bajo transformaciones biunvocas y bicontinuas. En un enfoque ms
completo y actualizado, y como veremos ms adelante, podemos distinguir entre
topologa general, topologa algebraica y topologa diferencial.

La otra rama de la que nos vamos a ocupar trata del estudio de espacios de funciones, y
sus orgenes podemos encontrarlos en el anlisis de transformaciones, de las ecuaciones
diferenciales y de las ecuaciones integrales, sin olvidar su relacin con el clculo de
variaciones. En esencia, y en trminos muy generales, podemos decir que en el Anlisis
Funcional se trabaja con relaciones entre funciones, es decir, ms all de la simple
relacin entre variables.

De una forma ms completa podemos acudir a la definicin de Jean Dieudonn en su

obra History of Functional Analysis, segn la cual elAnlisis Funcional es el
estudio de los espacios vectoriales topolgicos y de las aplicaciones definidas entre
subconjuntos de los mismos, sujetas a distintas condiciones algebraicas y
topolgicas. 2 Avanzando algo ms, la definicin inspirada en Dieudonn diramos que
el Anlisis Funcional es la rama de las Matemticas que estudia los espacios
vectoriales topolgicos y las aplicaciones U: F de una parte de de un espacio
vectorial topolgico E en un espacio vectorial topolgico F, donde sus aplicaciones se
supone que verifican ciertas condiciones algebraicas y topolgicas. 3

1 Boyer, Carl B. (1987): pp. 744-746.

2 Ver: Bombal, Fernando (1994): p. 1.
3 Cascales, Bernardo; Mira, Jos Manuel; Orihuela, Jos; Raja, Matas (2012): p. 2.
1
En este artculo pretendemos conjugar la topologa algebraica con el anlisis funcional,
sendas ramas de la matemticas, como hemos dicho y que de forma muy simple
acabamos de definir, buscando recuperar la importancia y la inseparabilidad de las
mismas, as como poner de manifiesto el apoyo logstico que suponen en cuestiones
importantes de las diferentes parcelas de la Ciencia. Recordemos, a modo de ejemplo,
que Poincar, al igual que suceda con Riemann, era especialmente hbil en el manejo
de problemas de tipo topolgico, tales como el de averiguar las propiedades de una
funcin sin disponer de su representacin formal en el sentido clsico, y ello porque
ambos tenan una aguda intuicin con un razonamiento slido, algo consustancial a la
geometra.

Sin ms consideraciones por el momento, vamos a pasar a continuacin a exponer lo

esencial de la topologa, destacando desde nuestro punto de vista una concepcin
especial de la misma, y abordando como reas conexas o derivadas la Teora de
Catstrofes y las Matemticas del Caos que, desde esta perspectiva, ofrecen nuevas y
valiosas posibilidades de investigacin.

Sin solucin de continuidad, y en cuanto al Anlisis Funcional se refiere, nos

ocuparemos. entre otras cuestiones, de los espacios vectoriales topolgicos, de los
espacios normados, de los espacios de Banach, del clculo operacional, de la nocin de
espectro del operador, y del espacio de Hilbert. A ello seguir, en una ltima parte de
nuestro trabajo, el enunciado de algunas aplicaciones en varios campos de la Ciencia, y
de manera especial, en la Mecnica Cuntica y en la Economa. Todo ello, obviamente,
con la intencin de poner de relieve la actualidad que estn cobrando estas dos reas
fundamentales de las matemticas que, en nuestra opinin, ni fueron aceptadas con
demasiado entusiasmo en sus primeros momentos, mantenindose casi exclusivamente
por el empuje de Henri Poincar, ni, hasta poca muy reciente, han sido objeto de la
debida atencin y estudio.

Topologa: Algunas consideraciones generales

La Topologa, como hemos anticipado, constituye una parte de las matemticas que
estudia las propiedades de los objetos geomtricos que permanecen invariantes cuando
se ven sometidos a transformaciones continuas que pueden consistir en doblar, estirar,
encoger, alargar o retorcer, dichos objetos, pero sin cortar o separar lo que estaba unido,
ni pegar lo que estaba separado. Sobre esta base podemos afirmar, por ejemplo, que un
tringulo es topolgicamente lo mismo que una circunferencia, pero una circunferencia
no es lo mismo que un segmento. En este proceso se exige como condicin esencial que
los puntos del cuerpo geomtrico que estaban juntos los unos a los otros antes de la
transformacin permanezcan prximos en el cuerpo u objeto despus de que la misma
se haya llevado a cabo.

En la introduccin hemos sealado que la Topologa puede subdividirse en topologa

combinatoria y conjuntista, por una parte, o en topologa general, algebraica y
diferencial, por otra. Pero con frecuencia, como tercera opcin, suele distinguirse entre
la teora de nudos y la teora de variedades, siendo esta ltima considerada por la mayor
2
parte de los toplogos como el punto central de su disciplina. Con el fin de obviar una
exposicin compleja y excesivamente formalizada, vamos a basar y resumir nuestras
consideraciones sobre la naturaleza y el contenido de la Topologa abordando algunas
cuestiones y problemas planteados, estudiados y resueltos por dos grandes figuras que
se ocuparon de la materia, y que ya fueron mencionadas en la introduccin. Nos
referimos a Leonhard Euler, por una parte, y a Henri Poincar, por otra, iniciador el
primero de ellos, y gran protagonista y referente el segundo.

El matemtico y fsico suizo Leonhard Euler hall la solucin en 1736 del conocido
como problema de los puentes de Knigsberb, solucin considerada el primer teorema
de la teora de grafos. Aos ms tardes, en 1750, public el que se conoce como el
teorema de poliedros de Euler, que consiste en buscar una relacin entre nmero de
caras, aristas y vrtices en los poliedros, y que de forma muy sencilla puede expresarse
as:

Si V, A y C denotan respectivamente el nmero de vrtices, aristas y caras de cualquiera

de los poliedros regulares, siempre es cierto que

VA+C=2 (1)

o lo que es lo mismo, el nmero de caras (C) ms el nmero de vrtices (V) es igual al

nmero de aristas (A) ms 2.

Esta frmula es vlida tambin para todo poliedro irregular siempre que sea simple, lo
que quiere decir que no tiene huecos, de manera que su superficie puede ser deformada
de modo continuo en la de una esfera. La frmula de Euler se extiende entonces en la
forma

V A + C = 2 2p (2)

para poliedros con p huecos, teniendo en cuenta que un poliedro simple es aquel para el
cual p = 0.

Si imaginamos una figura hueca con la superficie flexible que se hincha hasta que sea
suave, ya no tendremos caras planas ni aristas rectas, sino una especie de mapa sobre la
superficie con caras curvadas, sus curvas fronteras y puntos en los que stas se
encuentran. El nmero V A + C tiene el mismo valor para todos los mapas de nuestra
superficie y se llama caracterstica de Euler de esa superficie. A su vez, el nmero p
se llama gnero de la superficie. Estos dos nmeros y la relacin entre ellos que
proporciona la ecuacin (2) permanecen evidentemente invariantes cuando
la superficie se deforma continuamente. Las propiedades geomtricas intrnsecas de este
tipo, que tienen poca relacin con la geometra dedicada a longitudes, reas y
volmenes, se llaman topolgicas, y su estudio ha ofrecido y contina ofreciendo

3
perspectivas muy valiosas a diferentes campos de las matemticas y de importantes
ramas de la ciencia. 4

En el mundo ambicioso, devorador de conocimiento y polifactico del gran matemtico

y fsico francs Henri Poincar hay, sin duda alguna, un lugar para la topologa. En
efecto, el cientfico inquieto e incansable que haba estudiado el problema de los tres
cuerpos, la mecnica celeste, la teora cualitativa de las ecuaciones diferenciales, la
teora de las ecuaciones diofnticas, la teora de nmeros, y la teora de la relatividad
especial, no poda ignorar la importancia creciente de la topologa algebraica, de la que
se ocupara en su obra Analysis Situs, ya mencionada. 5

Aunque la aportacin de Poincar a la topologa procede de fuentes y vas diferentes,

podemos proporcionar una idea aproximada de lo que supuso su obra considerando su
famosa y polmica conjetura, por una parte, y el no menos discutido problema de los
tres cuerpos, por otra. En cuanto a la conjetura recordemos, como punto de partida, la
nocin de superficie entendida como una figura geomtrica que puede obtenerse
deformando, curvando y reuniendo convenientemente uno o varios trozos del plano. La
manera en que se realizan estas deformaciones conduce a distintos tipos de superficies,
cada una de ellas con propiedades diferentes, pudiendo citar a modo de ejemplos los
cilindros, las esferas, los elipsoides, y los paraboloides o toros.

Decimos que las superficies son acotadas cuando las podemos inscribir en una regin
limitada del espacio, y se denominan cerradas si dividen el espacio en dos reas
separadas, una interna a la superficie y acotada, y otra exterior y no acotada. En
concreto, la esfera y el toro son superficies cerradas mientras que no lo son, en el
sentido anterior, el cilindro, el paraboloide o el plano. Una superficie cerrada y acotada
se dice que es compacta. Otra caracterstica que podemos observar a simple vista en una
superficie es si sta posee agujeros, como el toro o el cilindro, o si por el contrario
carece de ellos, como sucede en el caso de la esfera, el paraboloide o el plano. El ser
cerrada, acotada o el poseer o no agujeros son propiedades topolgicas, y se dice que
dos superficies son homeomorfas cuando tienen siempre las mismas propiedades
topolgicas. As, las propiedades de la esfera son las mismas que las del elipsoide, o las
del cilindro son iguales a las de la corona circular. Por el contrario, una esfera y un toro
no son topolgicamente equivalentes, debido a que tienen propiedades topolgicas
diferentes, pues el toro tiene agujeros mientras que la esfera no los tiene.(Ver sobre la
materia el sencillo y claro resumen de Lpez Moreno, Antonio J, 2006).

Teniendo todo esto en cuenta, Poincar plantea como conjetura, ya que realmente no
lleg a resolver el caso n= 3, que la nica variedad compacta y simplemente conexa de
dimensin 3 es la esfera tridimensional S3. En realidad, como toda conjetura, el clebre
matemtico francs se preguntaba si la esfera tridimensional S3 es realmente la nica

4 Simmons, George F. (1995): pp. 150-152.

5 Es preciso poner de relieve que Poincar public su Teora de la Relatividad Especial en el
Circolo Matematico di Palermo, en 1905, al mismo tiempo que Einstein lo haca en la revista
Annalen der Physik.
4
variedad cerrada de dimensin tres tal que todo lazo se contrae. Para dimensin n 5 el
teorema fue demostrado en 1960 por el matemtico americano Stephen Smale, y en
1982 Michael Friedman demostraba asimismo la conjetura en dimensin 4. Pero la
solucin definitiva de uno de los problemas pendientes de la topologa vendra de la
mano del matemtico ruso Grigori Perelman en el ao 2006. 6

El problema de los tres cuerpos constituye uno de los captulos ms originales de

Henri Poincar as como una prueba palpable de la amplitud y variedad de sus
conocimientos. Se trata de abordar el problema planteado y no resuelto por Isaac
Newton en su obra Philosophiae Naturalis Principa Mathematica publicada en 1687,
relativo a cuestiones sobre la estabilidad del sistema solar, y a la posibilidad de predecir
la situacin relativa de tres cuerpos celestes a lo largo del tiempo. La forma de llevar
acabo esa tarea no deja de ser un tanto atpica y original, pues su tarea en torno a la
materia tiene como punto de partida la convocatoria en 1884 por parte del Rey de
Suecia, scar II, de un Concurso Internacional de Matemticas para celebrar el haber
cumplido sesenta aos de edad.

El concurso consista en proponer a la comunidad de matemticos cuatro problemas que

estaban an sin resolver. El primero de ellos fue presentado por Karl Weierstrass,
miembro del jurado, y trataba precisamente del problema de los tres cuerpos. El maestro
francs entreg en 1889 su investigacin sobre el problema de los tres cuerpos, siendo
la conclusin principal en dicha memoria que la evolucin del sistema era en extremo
catica, pues una pequesima variacin en el estado inicial de cualquiera de los
cuerpos, como por ejemplo, las debidas a los errores de medicin por pequeos que
fuesen, podra conducir a resultados completamente diferentes, siendo la desviacin
creciente con el tiempo.

Es bien sabido que el autor cometi un error importante en el que l mismo repar de
inmediato, pero que dio lugar a un cierto escndalo, obligando a retirar toda la edicin,
siendo sustituida por una nueva memoria, ya corregida, que aparecera en 1890 en Acta
Mathematica con el ttulo Sur le problme des trois corps et les quations de la
dynamique. A pesar de tantos avatares y del hecho de que realmente no se encontr la
solucin al problema que Newton haba dejado pendiente, a propuesta de Weierstrass se
le concedi el premio a Poincar por su brillante contribucin a la Mecnica Celeste y
porque, aunque entonces no eran conscientes de ello, haba abierto las puerta a lo que
ms tarde sera la Teora de la Complejidad y las Matemticas del Caos, temas sobre los
que hablaremos a continuacin y ms adelante, y que, como podr comprobarse, se
relacionan muy estrechamente con los principios y fundamentos de la topologa. 7

En la lnea de lo expuesto hasta el momento en este apartado vamos a dar una breve
pincelada sobre la complejidad y el caos como nuevas ramas del conocimiento que,
como acabamos de decir, tienen que ver con la insaciable y multidisciplinaria tarea

6 Delvin, Keith (1992): pp. 224-226.

7 Peterson, Ivars (1993): pp. 159-169. Ver tambin: Barrow-Green, June (1999): pp. 175-178.
5
acometida y desarrollada por el reiteradamente mencionado Henri Poincar elegido,
junto a Leonhard Euler, como referencias en nuestro trabajo.

Sabemos que la irregularidad y la no-linealidad constituyen caractersticas esenciales de

la complejidad entendida como el comportamiento de un Sistema en el que se
manifiestan interacciones mutuas entre niveles diferentes, lo que supone admitir la
existencia simultnea de una heterogeneidad estructural y de una reciprocidad
funcional. La complejidad se presenta como una relacin de conocimiento donde el acto
de conocer se une al objeto, donde lo ontolgico se articula a lo epistmico, o lo que es
lo mismo, lo real a la teora. Ciertamente as es la complejidad en la Fsica, desde la
mecnica cuntica hasta las estructuras disipativas, y lo mismo podramos decir de lo
que ha supuesto y supone en la historia reciente de la Biologa y en la Economa, entre
otros campos de la Ciencia. Estas caractersticas obligan a la utilizacin de conceptos y
de nuevos instrumentos de anlisis especialmente concebidos para hacer frente a los
desafos que se derivan del comportamiento de los sistemas complejos. Entre dichos
instrumentos destacamos la Teora de Catstrofes y las Matemticas del Caos, de las
que haremos las correspondientes sntesis. En los orgenes de ambas nos encontramos
una vez ms con la figura del matemtico de Nancy en su calidad de defensor y paladn
de la geometra cualitativa, es decir, de la topologa, en aquellos tiempos no demasiado
bien vista.

Antes de continuar con el desarrollo que nos hemos planteado en torno al tema objeto
de nuestro estudio deseamos intercalar una interpretacin a ntre soins del concepto o
significado de Topologa, pues entendemos que puede contribuir a un mejor
entendimiento de esta rama tan particular de la geometra, en especial, y de las
matemticas, en general

Una interpretacin especial de la topologa

En el campo de la concepcin del espacio en la fsica nos encontramos con el hecho de

que la base del concepto clsico de movimiento resida en la distincin entre el
recipiente mtrico subyacente y su contenido fsico variable, esto es, entre vaco y
lleno. Si segn la expresin de Emile Meyerson la materia se halla reabsorbida en
el espacio, ste no puede considerarse como recipiente pasivo, totalmente indiferente a
los cambios de su contenido fsico, y por tanto desaparece la distincin clsica.

Como son confusos los lmites entre la materia y el espacio circundante, el movimiento
significa no slo el desplazamiento de una partcula visible y aislada en el espacio, sino
tambin un desplazamiento simultneo de todo el complejo de los sutiles eslabones
gravitatorios y electromagnticos mediante los cuales una partcula tiene conexin con
el resto del Universo. 8

Ese recipiente geomtrico indiferente no existe en la teora general de la relatividad. De

ese modo la materia se convierte en deformacin local del medio espacio-temporal. Ms

8 apek, Mili (1965): pp. 268-272.

6
exactamente, lo que se consideraba como cuerpo material no es nada ms que un centro
de esta deformacin, cuyo movimiento va acompaado del movimiento concomitante
de toda la deformacin.

Este concepto fsico de deformacin es el que sirve de base al concepto matemtico de

Topologa, y no es la primera vez que la Fsica se muestra agradecida con la Matemtica
a la que tanto debe. Ciertamente, y como veremos seguidamente, la deformacin es una
propiedad fundamental de los cuerpos topolgicos. A este respecto es preciso recordar
que la matemtica moderna, en su afn de proporcionar una visin a la vez ms amplia
y concisa de su contenido, descansa sobre la nocin de estructura que se define por las
propiedades de las operaciones que se establecen sobre objetos indeterminados, pero
mentales, no fsicos. As, dos teoras con objetos distintos y operaciones tambin de
distinta ndole pueden tener de comn las leyes a que estn sometidas esas operaciones.
Se dir entonces que esas dos teoras matemticas tienen la misma estructura. Teniendo
en cuenta los diversos tipos de relaciones se establecen cuatro clases de estructuras:
algebraicas, de orden, topolgicas y complejas. Las estructuras topolgicas, que son las
que ahora nos interesan, se refieren a relaciones de vecindad, lmite y continuidad. 9

La Topologa, tal como la estamos planteando en este apartado supone una ampliacin
dentro del campo de la geometra. Efectivamente, sobre la geometra mtrica y la
proyectiva, inspiradas en las nociones de distancia y de lnea recta, respectivamente,
aparece una tercera geometra, la cualitativa, en la que no interviene la cantidad: se
trata de la Topologa. En ella dos figuras son equivalentes siempre que se pueda pasar
de una a otra por una deformacin continua. Supngase, por ejemplo, que tenemos una
figura de goma: si mediante una presin la vamos deformando sin romperla ni alterar su
naturaleza, habr propiedades de la primitiva figura que cambiarn, pero otras
permanecern invariables: stas son las propiedades topolgicas. Esto supone el
abandono de la idea del cuerpo geomtrico como cuerpo rgido. Supone, en
consecuencia, sustituir la concepcin esttica-comparativa del movimiento de esos
cuerpos por su anlisis continuo. Y hay que aadir, finalmente, que el desarrollo de las
propiedades de las estructuras topolgicas ha permitido, entre otras cosas, el tratamiento
y la sistematizacin de cuestiones como la teora de la dimensin, la geometra
diferencial de curvas y superficies, los polgonos de Poincar, etc.

Topologa, Teora de Catstrofes y Matemticas del Caos

La mayora de los autores coinciden en que la Teora de Catstrofes y la Matemtica del

Caos pueden considerarse dos enfoques de una teora general de la dinmica de las
discontinuidades. Ambos tienen de comn tomar como base de partida la idea de
bifurcacin o desdoblamiento del equilibrio en puntos crticos, as como el hecho de
que las relaciones funcionales son con mayor frecuencia del tipo no-lineal. Pero difieren
en que unas discontinuidades se plantean a gran escala, la Teora de Catstrofes, y otras
a pequea escala, la Teora o Matemtica del Caos. La Teora de Catstrofes es, pues,
un caso especial de la teora de la bifurcacin debida originariamente a Poincar, que

9 Fernndez Daz, Andrs (1965): pp. 587-588.

7
contempla el mundo como esencialmente uniforme y estable, pero sujeto a cambios
sbitos e imprevistos o discontinuidades a gran escala que se producen en determinadas
variables de estado. 10

Como es bien sabido, el punto de partida de la Teora de Catstrofes puede encontrarse

en los trabajos de Ren Thom y de Christopher Zeeman a finales de los sesenta y
principio de los setenta. Aunque nos hemos ocupado en otras ocasiones con cierto
detenimiento de este nuevo mtodo matemtico para describir la evolucin de formas en
la naturaleza, vamos a recordar a continuacin lo ms esencial.

Supongamos que partimos del sistema dinmico

= 1, 2, . ,
= (, , )
= 1,2, . ,

donde representamos con x las variables de estado, de dimensin n, y con v las variables
de entrada, exgenas o de control, de dimensin m.

Las trayectorias del sistema definen un campo vectorial X en el espacio

(+)

El comportamiento de este sistema y de sus deformaciones puede describirse

asocindole un conjunto de aplicaciones diferenciales o de funciones equivalentes

(,) : (+) R

Estas funciones, que son las catstrofes elementales de Ren Thom son de dimensin n
+ k, representando con x el conjunto de n variables de estado, rpidas o de
comportamiento, y con p el conjunto de k parmetros de control o variables lentas. El
sistema obtiene su punto de equilibrio para


= ( , p)=0

Se denomina espacio de estabilidad o espacio de despliegue universal de la catstrofe (o

manifold) M, el definido por el conjunto de puntos de equilibrio correspondientes
a los diferentes valores de p. La proyeccin de M sobre el espacio definido por los ejes
de las variables lentas se llama espacio de control C. Mediante estas funciones se da una
interpretacin topolgica de las discontinuidades observadas en el comportamiento de
los sistemas, siendo la proyeccin de estas discontinuidades sobre C los puntos de
singularidades de las catstrofes. 11

El anlisis de las catstrofes elementales constituye el punto central de la teora,

especialmente si se contempla con la ptica de las aplicaciones a los diversos campos de

10 Fernndez Daz, Andrs (2016): pp. 5-6.

11 Fernndez Daz, Andrs (1987): pp. 104-111.

8
la Ciencia, entre los que destacan las ciencias sociales, las ciencias biolgicas y
determinadas ramas de la Fsica. En 1969 Ren Thom estudi siete catstrofes
elementales, aunque en realidad el nmero de estas catstrofes depende del nmero de
parmetros k: cuando k 4 tenemos las siete catstrofes habitualmente conocidas y
manejadas, y si k 5, se obtendra el nmero total de once catstrofes elementales. Las
siete catstrofes de Thom se denominan respectivamente as: pliegue, cspide, cola de
milano, mariposa, umblica hiperblica, umblica elptica, y umblica parablica.

Vamos a elegir para un anlisis ms completo la catstrofe que denominamos

cspide, que ser la que empleemos para considerar, a modo de ejemplo, una
aplicacin al campo concreto de la Economa. Su formulacin sera la siguiente:

V(x)= x4 + ux2 + vx (1)

Derivando, se obtendra:

4x3 + 2ux + v = 0 (2)

y la segunda derivada sera

12x2 + 2u= 0 (3)

Si de estas dos ltimas ecuaciones eliminamos la X y sustituimos en la (2), dando los

pasos correspondientes, se tendra 12

8u3 + 27v3 = 0 (4)

La primera derivada, es decir, la ecuacin (2), representa la superficie de despliegue M

(manifold), correspondiendo la (4) a la proyeccin de la curva situada en la superficie
M en la que se produce el pliegue (fold-curves) sobre el plano horizontal de control C.
Esta proyeccin se denomina tambin conjunto bifurcacin, y tiene un punto final de
cierre delimitando una figura que es la que justifica el nombre de cspide con el que se
conoce esta catstrofe, aunque la traduccin francesa permitira emplear
alternativamente la palabra frunce.

A los efectos de una mejor comprensin de cuanto hemos expuesto vamos a utilizar
este tipo de catstrofe para analizar un problema econmico, de la misma forma que
podramos hacerlo en otros campos del conocimiento donde esta teora puede ser
aplicable. El problema en cuestin se refiere a la crisis que tuvo lugar en el perodo
1974-1983 en las economas occidentales y que fue bautizada con el singular nombre
de stagflation, y que en esencia consista en la existencia simultnea de altas tasas de
inflacin y elevados porcentajes de paro.

12 Para seguir el desarrollo completo de este paso ver:

Fernndez Daz, Andrs (1987): pp. 107-108.
Ver tambin: Castrigiano, Domenico P.L. and Hayes, Sandra A. (1993): pp. 45-57.
9
Si tomamos las variables , , U, es decir, el crecimiento de los salarios monetarios,
la inflacin esperada y el porcentaje de paro, tendramos la relacin

= f (U) + a0

conocida como ecuacin o curva de Phillips en su versin original y ms simplificada.

Utilizando una catstrofe elemental del tipo cspide, puede estudiarse el

comportamiento dinmico de esta relacin, especificando el fenmeno de la inflacin
con paro (stagflation). Las variables de control seran ( , ), comportndose como
variable de estado.

Grficamente tendramos la cspide

Figura 1

La posicin marcada por el punto A indica una alta expectativa de crecimiento de los
precios. La intencin de reducirla supondra un aumento del paro, siguiendo la
trayectoria , aunque tambin podra darse un aumento del desempleo sin que cediera

la expectativa de inflacin, lo que supondra seguir la trayectoria , que correspondera

a la situacin de stagflation.

La salida de esta zona crtica puede producirse de dos maneras diferentes: eligiendo la
opcin de un aumento no excesivamente acelerado del paro a la vez que se inicien
acciones que garanticen una clara mejora en la inflacin esperada (trayectoria ), o

bien desplomando la situacin mediante un descenso de la inflacin a cambio de un
drstico crecimiento del paro (trayectoria ).

10
Existe, asimismo, la posibilidad de contemplar un intento de reducir el paro desde esa
ltima posicin (punto F), aunque ello suponga retornar a mayores niveles de inflacin.
Ello supondra una nueva discontinuidad o catstrofe a travs de una trayectoria como la
, en la que obviamente se cumple el principio o fenmeno de histresis.

Quizs no sea necesario, pero deseamos llamar la atencin sobre algo que podra inducir
a dudas y confusin al manejar e interpretar la catstrofe representada en la figura 1, y
es el hecho de que siendo la continuidad en el proceso de deformacin sustancial en
topologa, podamos considerar que aquella se rompe cuando se produce el desplome al
pasar del punto H al punto G de la cspide, aunque de hecho no es as. Efectivamente, si
vemos la superficie como si fuese una hoja de papel que se dobla suavemente sobre s
misma formando su perfil una especie de S mayscula, puede comprobarse que la
continuidad no se altera cumplindose, pues, con esa exigencia. La cada brusca de la
parte superior del doblez de la hoja sobre la superficie inferior de la misma puede
considerarse un camino alternativo que, de hecho constituye una discontinuidad, la
primera de las cincos propiedades, por otra parte, que segn Zeeman tiene la catstrofe
en cspide, y que consiste en que a variaciones mnimas de las variables lentas siguen
saltos bruscos en el comportamiento del sistema. La lnea que une los puntos H y G
representara, en el problema econmico planteado, la curva correspondiente a la
ecuacin de Phillips ampliada a largo plazo, que en vez de ser una parbola de tercer
orden, como se comprob para el perodo de la crisis de los setenta, se convirti, en
teora, en una lnea vertical cuyo punto de abscisa vena a indicar la tasa de paro no
aceleradora de la inflacin, ms conocida como tasa natural de paro. Esta interpretacin
nos trae a la memoria, no sin un cierto voluntarismo, la idea de discontinuidad
disfrazada relativa a la microfsica contempornea, que fue reconocida por pensadores
tan distintos como Poincar, Bergson, Weyl y Cassirer.

Y para concluir este apartado entramos ahora en la difcil tarea de ofrecer una visin
sinttica, pero convincente e ilustrativa, sobre el amplio campo que supone la Teora del
Caos y sus aplicaciones, enlazndola, en lo que proceda, con el significado y alcance de
la topologa. Para ello resulta necesario empezar delimitando con precisin el contenido
de la expresin caos determinista, ya consolidada y generalmente aceptada en el
mbito de la dinmica catica y de la complejidad. Si partimos como principio bsico
de un respeto irrenunciable y exigible de la realidad, nos encontramos en nuestro
anlisis con el hecho inevitable de que entramos en los momentos actuales en un mundo
en el que el desorden resulta creador, la simetra se quiebra, los defectos pueden ser
frtiles, los desequilibrios son permanentes, y las causas y los efectos se relacionan de
forma compleja. Admitirlo con seriedad y rigor, y actuar de manera consecuente,
constituye una postura intelectual sana e inequvoca, por una parte, y con posibilidades
creadoras y de avance cientfico, por otra. 13

13 Fernndez Daz, Andrs (2013): pp. 94-95.

Allgre, Claude (1995) : p. 364.
11
Qu es el determinismo?; una vanidad, un recurso perfeccionista, el resultado de una
simplificacin forzada, una necesidad metodolgica, una opcin esttica?. Comencemos
por decir que el determinismo, en principio, constituye la postura u opcin ms acorde
con la ciencia y con sus exigencias de rigor y racionalidad, en tanto que el
indeterminismo se presenta como algo haca lo que nos sentimos irremediablemente
arrastrados, con o sin nuestro consentimiento explcito. En esta misma lnea argumental
no son pocos los que opinan que la tendencia indeterminista de la ciencia moderna hay
que interpretarla ms como una conquista definitiva que como un estado provisional.
No sera lcito, sin embargo, identificar de forma excluyente determinismo con
racionalidad, pues el indeterminismo, en la medida en que refiere a lo real y complejo,
tambin la asume e incorpora de manera plena.

Recientemente el determinismo est tratando de volver por sus fueros mediante

diferentes caminos y frmulas. En efecto, por una parte se habla de procesos o
fenmenos deterministas pero aleatorios, y todo ello al mismo tiempo. El lanzamiento
de los dados constituye el ejemplo bsico; en l se siguen las leyes puramente
deterministas, ya que se halla sometido a principios bien conocidos de la mecnica, y
por ello, una vez dado el impulso inicial, puede determinarse el comportamiento
posterior mediante el clculo. Sin embargo parece evidente que nada resulta ms
aleatorio que el lanzamiento de un dado. Algunos autores consideran que en este
fenmeno se da un problema de escala; el fenmeno es determinista a pequea escala, y
aleatorio a gran escala. En el segundo enfoque el resultado final se obtiene por la suma
de multitud de causas microscpicas, pudindose describir perfectamente el efecto
individual de cada una, siendo imposible, por el contrario, llevar a cabo el clculo del
impacto global o conjunto. Se afirma, asimismo, que hay procesos deterministas en los
que, debido al mnimo cambio en las condiciones iniciales, se producen
comportamientos extraos como consecuencia de efectos amplificadores o efecto
mariposa, en la terminologa del clebre meteorlogo Lorenz. Este tipo de sistemas,
deterministas pero imprevisibles porque son inestables, fueron estudiados, como ya
sabemos, por Maxwell y Poincar. Todo ello nos remite a la necesidad de emplear un
enfoque cualitativo en el estudio de los sistemas dinmicos, y adentrarnos en el campo
de la Matemtica del Caos y de la Teora de la Complejidad, en cuyo mbito surge y se
sita el concepto bsico de caos determinista.

Se dice con frecuencia que el caos es un fenmeno ubicuo, que se produce por doquier,
y que puede observarse en todos los campo de la Ciencia. As encontramos sistemas
caticos en los hamiltonianos, en el problema de los tres cuerpos de la mecnica celeste,
en la fsica de fluidos, en los aceleradores de partculas, en los sistemas biolgicos, en
las reacciones qumicas, y con gran frecuencia en el campo de la economa. El caos
podemos localizarlo a travs del funcionamiento de los atractores extraos, siguiendo
los diagramas de bifurcacin, o analizando el intrincado perfil de figuras de la geometra
fractal, a lo que hay que aadir como instrumento fundamental el exponente de
Liapunov.

12
La esencia geomtrica del caos consiste en estirar y doblar, como ya puso de relieve
Stephen Smale con sus transformaciones topolgicas. En efecto, la irregularidad del
movimiento se produce por un mecanismo que se descompone en dos acciones. Por una
parte el espacio de fase se estira, separndose las trayectorias, y luego se pliega sobre s
mismo. Los exponentes de Liapunov sirven para explicar la primera parte de este
proceso, al dar una medida de la separacin exponencial de dos trayectorias prximas.

Podemos estudiar la inestabilidad local de un sistema discreto +1 = ( ) en el

sentido de que, como hemos dicho, el exponente de Liapunov mide cmo dos puntos
adyacentes se separan con la aplicacin iterada de la funcin, es decir,

| (x0 + ) (x0 )| = (0 ) (1)

y en el lmite
1 (0 +) (0 )
(0 ) = lim lim log (2)
0

o tambin:
1 (0 )
(0 ) = lim log (3)
0

constituyendo tanto la (2) como la (3) sendas expresiones del exponente de Lyapunov.
Un exponente positivo supone una condicin necesaria para la existencia de caos, y si
adems hay plegamiento, lo que sucede cuando la regin est acotada, entonces el
exponente de Liapunov se convertir en condicin necesaria y suficiente para poder
hablar de comportamiento o movimiento catico.

Los exponentes de Liapunov sirven para distinguir entre atractores dinmicos simples
(puntos fijos, ciclos lmites y toros cuasiperidicos), y atractores extraos o caticos. 14

Si nos situamos en una dimensin tenemos tan solo puntos fijos estables con los
exponentes negativos. Para el caso de dos dimensiones los atractores seran puntos
fijos con exponentes negativos, y ciclos lmites con (1, 2) = (-, 0). En tres dimensiones
tendramos:

(1, 2, 3) = (-,-,-) ; (punto fijo estable)

(1, 2, 3) = (0,-,-) ; (ciclo lmite estable)
(1, 2, 3) = (-,0,0) ; (toro estable)
(1, 2, 3) = (+,0,-) ; (atractor extrao)

14 Fernndez Daz, Andrs (1994): pp. 85-87.

Fernndez Daz, Andrs (2015): pp. 7-8.
13
Hay muchos ejemplos de atractores en la literatura especializada, comenzando con el de
Smale, ya mencionado, que proporciona a travs de una transformacin topolgica las
bases para entender las propiedades caticas de los sistemas dinmicos. Entre otros,
destacan el emblemtico atractor de Lorenz, del que ya hemos hablado, al que
podramos aadir el no menos conocido de Rssler, as como el de Hnon, que posee
una estructura elegante y totalmente compleja. Pero no podemos hablar de atractores
extraos sin penetrar en el campo atractivo y fascinante de los fractales.

Los atractores caticos son fractales, figuras geomtricas que tienen una bella
estructura microscpica y que se han desarrollado en el marco de una nueva geometra
de la naturaleza o de la complejidad creada por Benot Mandelbrot, quien en 1975
publicaba su famoso trabajo titulado The Fractal Geometry of Nature. Educado en la
Ecole Normale y en la Polytechnique, consigui con su original formulacin enfrentarse
a la exagerada formalizacin del grupo Bourbaki y restablecer la imagen y el prestigio
de Poincar.

El fractal hay que entenderlo como una forma geomtrica que permanece inalterada
cualquiera que sea el aumento con el que se le observa. Podra decirse que, dentro de lo
razonable, el fractal tiene la misma estructura a todas las escalas, lo contrario de lo que
sucede con el fenmeno de la renormalizacin, en el que las figuras se alteran
sensiblemente cuando aquellas se modifican o varan.

El problema fundamental de los fractales reside en conocer su dimensin que, como

sabemos, no necesita ser un nmero entero. Originariamente la medida numrica del
grado de rugosidad se denominaba dimensin de Hausdorff-Besicovitch: hoy se llama
dimensin fractal. Uno de los mtodos empleados para llevar a cabo la medicin se basa
en la aplicacin del concepto de homotecia de la geometra euclidiana, pudindose
calcular tambin la dimensin fractal basndonos en el concepto de capacidad:
log ()
0 () = lim 1 (4)
0 log

donde S es un subconjunto del espacio n-dimensional y M () el nmero mnimo de

cubos n-dimensionales de lado necesario para cubrir dicho subconjunto. Para valores
pequeos de la definicin implcita en la (4) implica que

() 0 (5)

La dimensin de la curva de Koch y del conjunto de Cantor, que constituyen ejemplos

tpicos de fractales, sera, respectivamente 15
log 4 log 2
= log 3 = 1.2619 = log 3 = 0.6309 (6)

15 No incorporamos las figuras correspondientes dado que estamos haciendo una breve
sntesis de la materia, remitiendo al lector interesado a varios de los trabajos que
hemos publicado sobre la misma, y que se recogen en las referencias bibliogrficas.
14
La estimacin de la dimensin fractal y el espectro de exponentes de Liapunov permiten
detectar si un sistema dinmico se encuentra en situacin catica.

Otro de los conceptos claves en la Matemtica del Caos es el de bifurcacin, que podra
definirse como la secuencia de soluciones de un sistema no lineal que aparece a medida
que aumenta el valor de algn parmetro de control, configurndose los atractores
extraos a partir de determinados valores crticos del mismo. La bifurcacin de
Feigenbaum puede considerarse la ms conocida e ilustrativa, sin olvidar las
aportaciones de Yorke y May y, por supuesto, la clara y decisiva inspiracin de Smale.

Tomemos la aplicacin logstica

+1 = (1 ) (7)
donde es una constante situada en el intervalo [0,4]. Dependiendo de los valores que
le asignemos a , resultar un determinado comportamiento del sistema. As
tendramos:

Si 0<3 un punto fijo estable nico

=3 un punto fijo marginalmente estable
>3 el punto fijo se vuelve inestable
=3,2 ciclo de perodo dos
=3,5 ciclo de perodo cuatro
=3,56 el perodo se ha doblado a ocho
=3,567 el perodo se ha doblado a diecisis
=3,58 la aplicacin logstica se vuelve catica

y el grfico de bifurcacin sera el siguiente:

Figura 2

En el estudio de las matemticas del caos y sus aplicaciones en los diferentes campos de
la Ciencia, adems de los exponentes de Liapunov, de los atractores extraos, de los
fractales y de las bifurcaciones como conceptos e instrumentos bsicos, contamos con

15
otros modelos y tcnicas de gran relevancia para detectar si el fenmeno que en cada
caso estuvisemos considerando se comporta de forma aleatoria o si por el contrario
obedece a algn tipo de ley o proceso determinista que se presenta con el disfraz de la
irregularidad. Uno de los casos ms importantes e ilustrativos es el de la evolucin de
los Mercados de Capitales, a cuyas series temporales podemos aplicar test como el
anlisis R/S, el estadstico BDS, el Anlisis Espectral o el Movimiento Browniano. 16

Queremos destacar al respecto, y dentro de las aplicaciones ms recientes, al menos en

el campo de la economa, la que se refiere a la verificacin de si durante la reciente
etapa de crisis que hemos estado padeciendo (2006-2013), la Bolsa de Madrid ha
funcionado de manera aleatoria, o por el contrario ha sido el resultado de un proceso
determinista caracterizado por una manipulacin y control permanente del mercado por
parte de determinadas agencias y sus agentes. En el anlisis realizado hemos utilizado
la serie temporal de datos diarios del IBEX35 durante el perodo mencionado, que
incluye un ao antes del comienzo de la crisis pero que puede ser importante en el
estudio de la dinmica del sistema. En concreto se estudia la evolucin temporal de los
rendimientos diarios del IBEX calculados como los rendimientos compuestos o la
primera diferencia del logaritmo de las cotizaciones, obtenindose una serie de 2019
datos. Despus de calcular la distribucin de frecuencias de la serie de rendimientos
respecto a la distribucin normal, de utilizar el anlisis R/S o la tcnica de DFA
(Detrended Fluctuation) para estimar el exponente de Hurst, de calcular la integral de
correlacin para la serie, de obtener el exponente de Liapunov, de deducir el grfico de
recurrencia, y de aplicar el estadstico BDS, se llega a la conclusin que la serie podra
describirse como un sistema dinmico no lineal con ruido lejos del equilibrio, sometido
a bifurcaciones o cambios en la dinmica del sistema, pudindose interpretar todo ello
como indicios de que ha habido algo ms que el azar, o lo que es lo mismo, que se ha
dado un comportamiento catico en la evolucin de la serie de valores como
consecuencia de factores institucionales, polticos y ticos durante el perodo
analizado. 17

Anlisis Funcional

Considerado una rama del anlisis matemtico moderno, el anlisis funcional tiene por
objeto el estudio de las funciones y=f(x), donde por lo menos una de las magnitudes x, y
vara en un espacio de dimensin infinita, pudindose dividir dicho estudio en tres
apartados: la introduccin y estudio de espacios de dimensin infinita como tales; el
estudio de funciones elementales, a las que llamamos funcionales, como cuando x es de
dimensin infinita e y es unidimensional; y el estudio de funciones generales del tipo

16 Para un estudio detallado ver:

Fernndez Daz, Andrs (1999): pp. 88-143.
Fernndez Daz, Andrs (2001): pp. 224-242.
17 Fernndez Daz, Andrs y Grau-Carles, Pilar (2014): pp. 251-260.

16
indicado, o lo que es lo mismo, de operadores. Las que mejor se han analizado son las
funciones lineales,

X () = (1)

es decir, los operadores lineales, donde X, Y son espacios vectoriales topolgicos, en su

mayora normados o hilbertianos.

Los espacios ms generales que figuran en el Anlisis Funcional son los espacios
vectoriales topolgicos. As podemos llamar espacio lineal X sobre el campo de los
nmeros complejos , que a la vez es un espacio topolgico, o sobre el campo de los
nmeros reales . Por otra parte hay que poner de relieve que la topologa y la
estructura lineal concuerdan desde el punto de vista de que las operaciones lineales son
continuas en la topologa sometida a estudio. En particular, si X es un espacio mtrico,
se trata de un espacio vectorial mtrico. Cuando de forma ms concreta en el espacio
vectorial se introduce axiomticamente el concepto de norma de los vectores x
, dicho espacio vectorial lo denominamos espacio normado en el que la mtrica se
introduce mediante la frmula

(, ) = (2)

A su turno, un espacio vectorial con norma se llama espacio de Banach siempre que el
mismo sea completo respecto a la mtrica indicada. 18 Tambin podemos decir que un
espacio normado X es un espacio de Banach si toda sucesin de Cauchy en X es
convergente a un punto X. En este caso diremos que la norma de X es completa.

Conviene advertir que en algunas ocasiones podemos emplear para denotar

indistintamente el cuerpo de los nmeros reales o el cuerpo de los complejos, y los
espacios vectoriales que aparezcan se consideran definidos sobre . Las aplicaciones
lineales de X en se suelen llamar formas lineales, y el conjunto de las mismas recibe
el nombre de dual algebraico. A su vez, si X es un espacio normado, el espacio de
Banach L(X, ), que se denota con X*, se llama dual topolgico. 19

Hemos dicho que los principales objetos de estudio en el Anlisis Funcional son los
operadores del tipo del que recogemos en la (1) y en sus distintas clases y variantes.
Respecto a los operadores que operan en el espacio de Banach X, cabe destacar la
construccin del clculo operacional de las funciones analticas de dichos operadores.
Partamos para ello del operador Rz = (A zI)-1 donde I es un operador unidad y z
. Los puntos z para los que existe un operador inverso (A zI)-1 se denominan
puntos regulares del operador A, y el complemento del conjunto de puntos regulares
recibe el nombre de espectro s(A) del operador A. Si f(z) es una funcin analtica

18 Berezanski, Yu. M. y Levitn, Boris .M. (1993): pp. 254-262.

Schwartz, Laurent (1993): pp. 164-170.
19 Cascales, Bernardo; Mira, Jos Manuel; Orihuela, Jos; Raja, Matas (2012): pp. 14-15.
Schwart, Laurent (1993): p. 149.
17
definida en un entorno de s(A), y es cierto contorno cerrado que rodea s(A) y entra en
el dominio de analiticidad 20 de f(z), se tendra que
1 .
f (A) = - 2
() (3)

a la que se llama funcin del operador. Si f(z) es un polinomio, f(A) se obtiene

sustituyendo simplemente z por A en este polinomio, siendo interesante sealar que la
correspondencia f(z) () posee una propiedad importante de holomorfismo:

(f + g) (A)= f(A) + g(A), (fg) (A)= f(A) g(A).

(4)

Entre las clases de operadores especiales que operan en el espacio de Banach X

desempean el papel ms importante los llamados operadores totalmente continuos u
operadores compactos. Si A es compacto, la ecuacin del tipo

x Ax = y

est bien estudiada y para ella son vlidos los hechos anlogos a los que tiene lugar en
el caso de las ecuaciones lineales en un espacio de dimensin finita.

Procede ahora poner de relieve que en el anlisis funcional no lineal uno de los
problemas ms importantes es el estudio de las aplicaciones de un espacio en otro,
llamndose funcional a la aplicacin de un espacio en nmeros reales o complejos, y
siempre que se trate de aplicaciones no lineales, especialmente de funcionales no
lineales, es posible definir los conceptos de diferencial, de derivada respecto a la
direccin, etc., anlogos a los conceptos respectivos del anlisis matemtico clsico. Por
otra parte, el anlisis funcional no lineal est relacionado con la determinacin de los
puntos fijos de la aplicacin y de los denominados puntos de ramificacin. En el estudio
de ambos se utilizan en gran escala los mtodos topolgicos, como sucede con el
teorema de Brouwer-Bohl sobre la existencia de puntos fijos en las aplicaciones de los
espacios de dimensin finita. 21

La teora general de las ecuaciones integrales se inici en la ltima dcada del siglo XIX
por parte de Vito Volterra y desarrollada en la primera dcada del siglo XX por David
Hilbert, poniendo de relieve estos avances que en matemtica se trabaja muy a menudo
no solamente con funciones que operan con nmeros, sino con funcionales que operan
con funciones. De la misma manera en que una ecuacin define implcitamente uno o
ms nmero, es decir, sus soluciones, as una ecuacin diferencial o integral define de
forma implcita una o ms funciones, o lo que es igual, sus soluciones. En el caso, `por
ejemplo, de un espacio de n dimensiones, un punto viene identificado con n nmeros

20 Se conoce como dominio de analiticidad de f al mayor subconjunto de su dominio donde f es

analtica.
21 Berezanski, Yu. M. y Levitn., R.M. (1993): pp. 259-260.
18
x1, ., xn, y la distancia de ese punto al origen se calcula con el teorema de Pitgoras
mediante la expresin

12 + + 2

En su anlisis sobre las ecuaciones integrales Hilbert tena que trabajar con funciones
que se pudiesen expresar mediante una suma infinita, conocida como serie de Fourier,
con infinitos coeficientes x1, x2,, y descubri que las condiciones para que las
funciones pudiesen ser tratadas en su teora eran que la suma 12 + 22 + .. fuese
finita. Pero si esta suma fuese finita, tambin lo sera sus races cuadradas, pudindose
considerar estas sucesiones de nmeros como las coordenadas de puntos de un espacio
eucldeo de infinitas dimensiones, para el cual el teorema de Pitgoras seguira valiendo.
Dichos puntos, como demostraran en 1907 Erhard Schmidt y Maurice Frchet seran
los elementos del espacio de Hilbert H. Dado que las sucesiones eran para Hilbert tan
slo un modo de manejar funciones, Schmidt y Frchet introdujeron tambin un espacio
funcional L2, cuyos puntos son las funciones que, para un intervalo definido, satisfacen
las mismas condiciones de Hilbert, a saber, que la integral de Lebesgue de su cuadrado
sea finita: de ah la expresin L2. Hay que hacer notar que el espacio de Hilbert H y el
espacio funcional L2 son la misma cosa, como puede deducirse del contenido del
teorema de representacin de Friedrich Riesz y Ernst Fischer. Ambos espacios
constituyen casos particulares de la amplia clase de espacios introducidos por Stefan
Banach en 1922. 22

Toca el turno ahora de las aplicaciones del Anlisis Funcional a las distintas reas de la
ciencia, y destacamos en primer lugar la que se llev a cabo de manera inmediata en el
campo de la mecnica cuntica, y ms concretamente en las decisivas aportaciones de
Werner Heisenberg en 1925, y de Erwin Schrdinger un ao despus. A ello hay que
aadir, entre otras, la aplicacin del lgebra de Banach en la llamada teora axiomtica
de campo, al estudiar distintos modelos integrables del campo cuntico y de la fsica
estadstica. Es preciso advertir, y as lo han reconocido eminentes fsicos y matemticos,
que aunque la mayora de sus apartados se puede analizar o manejar con lgebra
ordinaria, es mucho ms fcil hacer los clculos y ms simple explicar los diferentes
componentes y problemas de la mecnica cuntica usando los conceptos de vector de
estado, de operador y el de ecuacin operacional, es decir, acudiendo a las
posibilidades que ofrece el Anlisis Funcional. 23

Con independencia de aplicaciones en otros campos cientficos de gran importancia, nos

parece oportuno desarrollar una aplicacin al campo de la Economa, y de forma ms
especfica a la teora del control ptimo, fundamental en la toma de decisiones de
poltica econmica.

22 Odifreddi, Piergiorgio (2000): pp. 112-116.

23 Para una idea ms completa de esta aplicacin a la mecnica cuntica ver:
Feynman, Richard (1987): Volumen III, captulo 20.
Ranade, Kedar S. (2015): pp. 644-658.
19
Tomemos como punto de partida el vector de las variables de estado u objetivos, x, y el
vector de variables instrumentos o de control u. Tendramos entonces:

x = (x1, x2,.., xn)

u = (u1, u2,.........., un)

donde x1, x2,.xn indica el conjunto de variables objetivos, y u1, u2,.un el

conjunto de las variables instrumentos. Obviamente las variables de ambos vectores no
son tan slo aqullas estrictamente econmicas, sino tambin las relativas a otros
campos del conocimiento relacionados con la economa, tales como la fsica, la
biologa, la sociologa, la psicologa, etc, como algo caracterstico de la complejidad.

El proceso de retroalimentacin entre los instrumentos o variables de control y las

variables de estado u objetivos, permite definir una evolucin ptima de la economa si
se cumple la condicin de maximizar la funcional que expresamos a continuacin:

[, ] = F[, , ]dt
0

estando definida la evolucin del sistema por las ecuaciones de estado

dxi
x = = fi [, , t] (i = 1, n)
dt
Las variables de control pueden considerarse observables, y solamente toma valores
dentro de un conjunto restringido . Adems mantienen una componente cualitativa
que es necesaria para cuantificar su impacto sobre las variables objetivos. Por otra parte,
y dado que estamos tratando con un enfoque cardinal, es preciso contar con
instrumentos y procedimientos matemticos con el fin de encontrar una solucin
cuantitativa. Para resolver los problemas derivados de este enfoque existen tres tcnicas
bsicas: el clculo de variaciones, el principio de Pontryagin y la programacin
dinmica. 24 A este respecto hay que poner de relieve que el concepto de funcional, y
ms precisamente de Anlisis Funcional, constituye un poderoso instrumento
matemtico que an no ha sido suficientemente explotado en el campo de la Economa.

El clculo de variaciones, del que a continuacin vamos a ocuparnos brevemente,

constituye una parte de las matemticas dedicada a la investigacin de los mtodos de
determinacin de los extremos de las funcionales dependientes de la eleccin de una o
varias funciones con restricciones de diferentes tipos aplicadas a estas funciones. En un
planteamiento general la funcin objetivo adopta la forma siguiente:

24 Ver: Fernndez Daz, Andrs (1976): pp. 169-183

20

[, ] = L[, , ]dt
0

El resto del planteamiento se mantiene igual, pero esto no es un problema grave, ya que
siempre cabe la posibilidad de identificar x () con la i-nsima variable de control. Este
modo de proceder, si bien desde el punto de vista metodolgico es incorrecto, da unos
resultados excelentes desde el punto de vista prctico.

De fundamental importancia en el clculo de variaciones es la llamada ecuacin de

Euler, la cual expresa que para la evolucin ptima del sistema es condicin necesaria
que se verifique la relacin
[ (), ( ] [ (), ,(), ]
()

()
=0

para (i = 1, n)

Resolviendo este sistema de ecuaciones diferenciales de segundo orden se obtiene el

vector de estado ptimo x (t). Para poder resolver el sistema son necesarias 2 n
condiciones de contorno:

xi (0)=ai xi (t)= bi (i= 1, n)

En el caso de que exista alguna variable de estado cuyo valor final no est definido, se
ha de calcular aplicando la condicin de transversalidad, que se expresa as:

[ (), ,(), ]
()
= 0 t=T

Ya que la ecuacin de Euler slo enuncia una condicin necesaria de mximo, se debe
() cumple las condiciones de Legendre y Weiertrass.
estudiar si el vector

() corresponde a un mximo,
La condicin de Legendre enuncia que si la trayectoria
entonces la matriz de los elementos
2 [ (), ,(), ]

es en cada instante t del perodo [o, T], definida no positiva.

La condicin de Weiertrass permite distinguir un mximo local del absoluto. Si la

trayectoria () corresponde a un mximo absoluto, la funcin de exceso de
Weiertrass

L ,
,
, 1 ( )
,
E [, , ] = L [, , ] L

debe ser negativa o nula.

21
Nota conclusiva

La propia definicin de Anlisis Funcional que da Jean Dieudonn, recogida en sendos

trabajos de Fernado Bombat y Bernado Cascales et al, ya mencionados, y que, a su vez,
hemos incorporado en la Introduccin, pone claramente de manifiesto la imposibilidad
de disociar la Topologa del Anlisis Funcional. Como afirma Bombat, dentro de su
ambigedad, la definicin nos remite a algunas de las caractersticas ms importantes
del Anlisis Funcional: la tendencia hacia la algebrizacin del Anlisis, el nfasis en los
resultados de carcter estructural, y la fuerte influencia de la topologa. En cualquier
caso, como toda otra parcela o rama de la matemtica, el Anlisis Funcional surge de la
necesidad de encontrar nuevas tcnicas para abordar una serie de problemas que los
mtodos tradicionales no podan resolver.

En la exposicin que hemos realizado de la Topologa General y de la Algebraica, por

una parte, y del Anlisis Funcional, por otra, nos hemos guiado por textos y artculos
que ya habamos publicados con anterioridad, as como por una parte de la literatura
sobre la materia, que no es precisamente abundante, y en la que son pocas las obras
rigurosas y claras que, a pesar de su insoslayable complejidad, no han traspasado los
lmites razonables de una desproporcionada formalizacin. A este respecto contamos
afortunadamente con obras de referencia como las de Frigyes Riesz y Bla Sz.-Nagy, y
la del prestigioso matemtico francs Laurent Schwartz, ya citados a lo largo de estas
pginas.

El lector habr reparado, y este es el momento de decirlo, que en nuestro anlisis no nos
hemos detenido en el tema especfico de los teoremas del punto fijo, de gran
importancia en la teora del equilibrio general como un captulo decisivo en el mbito de
la Economa, dado que se puede transformar un problema de equilibrio en un problema
de punto fijo, y viceversa. En efecto, si x es un punto fijo para la funcin f, y si I es la
funcin idntica, es decir, la funcin que transforma todo punto en s mismo, x es un
punto de equilibrio para la funcin f I. La recproca es evidente.. Se puede por tanto
demostrar que un equilibrio existe si se transforma el problema de equilibrio en un
problema de punto fijo, y si logramos demostrar, con el arsenal de la teora de puntos
fijos, que este ltimo problema admite una solucin.

Con todo ello deseamos poner de manifiesto que se asiste al paso de una concepcin
dinmica, concreta y temporal de los hechos, a una visin formal y abstracta conducente
a determinar las condiciones que hacen que los hechos sean compatibles, coherentes y
posibles. El reflejo matemtico de esta transformacin es el paso del clculo
infinitesimal a las matemticas del punto fijo, y a los mtodos de geometra topolgica,
as como al anlisis funcional y al lgebra de las inecuaciones. 25 En el acertado enfoque
interdisciplinar que cada vez con ms frecuencia se practica en el mbito de la
investigacin cientfica, la reconsideracin y puesta al da de instrumentos matemticos

25 Israel, Giorgio (1996): pp. 227-231.

22
tan polivalentes y valiosos como los que en este trabajo hemos abordado constituye un
reto estimulante que debemos asumir sin recelos ni discontinuidades.

Madrid, 15 de diciembre de 2016.

REFERENCIAS

Allgre, Claude (1995): La dfaite de Platon, Fayard, Paris.

Barrow-Green, June (1999): Poincar and the Three-Body Problem, Historia

Mathematica, Vol. 26, Issue 2, Elsevier.

Berezanski, Yu. M. y Levitn, Boris .M. (1993): Anlisis Funcional, Enciclopedia de

las Matemticas, Tomo 1, Editorial Mir, Mosc-Madrid.

Bombal, Fernando (1994): Los Orgenes del Anlisis Funcional, en Historia de la

Matemtica en el Siglo XIX, Real Academia de Ciencias Exactas, Fsicas y Naturales,
Madrid.

Boyer, Carl B. (1987): Historia de la matemtica, Alianza Editorial, Madrid.

apek, Mili (1965): El impacto filosfico de la fsica contempornea, Estructura y

Funcin, Editorial Tecnos, Madrid.

23
Cascales, Bernardo; Mira, Jos Manuel; Orihuela, Jos; Raja, Matas (2012): Anlisis
Funcional, Ediciones Electrolibris y Real Sociedad Matemtica Espaola (RSME),
Murcia.

Castrigiano, Domenico P.L. and Hayes, Sandra A. (1993): Catastrophe Theory,

Foreword by Ren Thom, Addison-Wesley Publishing Company, New York.

Devlin, Keith (1992): Mathmatiques. Un nouvel ge dor, MASSON, Paris.

Fernndez Daz, Andrs (1965): Notas al artculo de Arnold Heertje, Economa:

Ciencia y Arte, Revista De Economa, n 88, Madrid.

Fernndez Daz, Andrs (1976): Introduccin y metodologa de la Poltica

Econmica, Ediciones ICE, Madrid.

Fernndez Daz, Andrs (1987): Poltica Econmica Coyuntural, 3 Edicin, Editorial

AC, Madrid.

Fernndez Daz, Andrs (1994): La Economa de la Complejidad, McGraw-Hill,

Madrid.

Fernndez Daz, Andrs (2001): Entre el ruido blanco y el ruido negro: Nuevos
enfoques en el anlisis de los Mercados Financieros, en Pedro Garca Barreno, Sixto
Ros Garca y Javier Girn Gonzlez (Coordinadores), Toma de decisiones en
ambientes profesionales, Real Academia de Ciencias Exactas, Fsicas y Naturales,
Instituto de Espaa, Madrid.

Fernndez Daz, Andrs (2013): Ensayos de Filosofa, Ciencia y Sociedad, Delta

Publicaciones, Madrid.

Fernndez Daz, Andrs (2015): Chaos and Fractals Impact on Economics, E-Prints
Complutense, Madrid.

Fernndez Daz, Andrs (2016): Complexity in Economics: An Up to Day View, E-

Prints Complutense, Madrid.

Feynman, Richard (1987): Fsica. Volumen III: Mecnica Cuntica, Addison-Wesley

Iberoamericana, Wilmington, Delaware.

Heertje, Arnold (1965): Economa: Ciencia y Arte, Revista De Economa, n 88,

Madrid.

Israel, Giorgio (1996): La mathmatisation du rel, ditions du Seuil, Paris.

Lpez Moreno, Antonio J. (2006): Demostracin de la Conjetura de Poincar,

Matematicalia, Vol. 2, n 3.

Odifreddi, Piergiorgio (2000): La matematica del novecento, Einaui Editore, Torino.

Peterson, Ivars (1993): Newtons Clock. W.H. Freeman and Company, New York.

24
Ranade, Kedar S. (2015): Functional analysis and quantum mechanics: an introduction
for physicists, Fortschritte der Physik, Vol. 63, Issue 9-10., Wiley-VCH.

Riesz, Frigyes and Sz.-Nagy, Bla (1990):Functional Analysis, Dover Publications,

Inc, New York.

Simmons, George F. (1995): Ecuaciones Diferenciales, McGraw-Hill, Madrid.

Schwartz, Laurent (1993): Topologie Gnrale et analyse fonctionnelle, Hermann

Editeurs, Paris.

25