Determinismo, no linealidad y caos

Comentarios y reflexiones sobre la obra

Caos y Orden
MARIANO MATILLA GARCA
Dpto. Economa Aplicada Cuantitativa. UNED
FRANCISCO JOS VZQUEZ HERNNDEZ
Dpto. Anlisis Econmico: Economa Cuantitativa. Universidad de Madrid
El libro Caos y Orden, escrito por el profesor Antonio Escohotado y
galardonado con el premio Espasa de Ensayo 1999, constituye un magnfico
ejemplo de lectura que incita a la reflexin. Desde este compromiso, el autor
nos adentra en la moderna teora del caos y en sus proyecciones multidisci-
plinares, en un recorrido que va de reas puramente cientficas, como la Fsi-
ca y la Matemtica, hasta terrenos humansticos, como la Filosofa, la Histo-
ria y el Derecho, pasando por las denominadas Ciencias Sociales (Economa,
Sociologa y Poltica). Naturalmente, semejante empresa conlleva algunas
limitaciones. Quiz, la ms relevante, al menos desde nuestro punto de vista,
es la insuficiente profundidad terica con la que se abordan los principales
conceptos de la teora del caos. Esto motiva que ciertos trminos, en concre-
to los relativos a determinismo, no linealidad y caos, como el propio concep-
to de atractor extrao, se empleen con poca precisin, propiciando en ocasio-
nes, sobre todo en el lector inexperto en estos temas, una inadecuada
comprensin de los mismos.
Nuestro propsito consiste, por una parte, en aclarar algunos de estos
trminos utilizados a lo largo del libro con escasa precisin, de ah que a
veces sea necesario apelar a la Matemtica para dotar de suficiente rigor la
exposicin, y contribuir con ello a una mejor comprensin del tipo de para-
digma en el que se circunscribe la teora del caos. Por otra parte, esto per-
mite revisar de forma sustancial las conclusiones derivadas de la lectura del
texto, as como la aplicabilidad de este paradigma al dominio poltico e his-
trico. En este sentido, y como punto de partida, comenzamos con la nocin
de sistema dinmico.
La modelizacin terica de un fenmeno real que se desarrolla a lo largo
del tiempo, proviene de un ejercicio de abstraccin y simplificacin de la
EMPIRIA. Revista de Metodologa de Ciencias Sociales. N. 3, 2000. pp. 167-175.
168 DEBATE
realidad ', en el que se extraen las variables (de estado) consideradas rele-
vantes y se idealizan, por medio de una ley, la pautas que rigen sus cambios.
Si el modelo terico pretende endgena e histricamente ofrecer una expli-
cacin de la realidad, entonces los valores del estado presente deben ser con-
secuencia directa de estados anteriores. As, un sistema dinmico puede ser
entendido como la representacin matemtica de un proceso que cambia en
el tiempo atendiendo a una cierta ley, que determina la evolucin temporal
del estado del sistema en funcin de su historia previa. En particular, un sis-
tema dinmico discreto viene dado por una frmula de recurrencia
x,=f(x,J (1)
donde t = \, 2,... representa el tiempo, medido a intervalos regulares y x,
el estado del sistema en el instante (perodo) t, determinado por el estado en
el instante anterior ^' ^. As pues, el conocimiento del estado inicial x^ basta
para reconstruir toda la evolucin del sistema, lo que confiere al sistema
(modelo terico) carcter determinista. En un sistema aleatorio o con incer-
tidumbre, x^ no se conoce exactamente a partir de x,^, en el mejor de los casos
se conoce la probabilidad p (zJx^ ) de que x^ tome un valor z supuesto cono-
cido Xi j .
En este contexto, se denomina rbita de Xg a la sucesin
Xo,X, =f(X,), X^ =f(X,) =f(fiXjf'f = f(Xo) , X, =/ ( V-
y se denota por Y(XQ). Ntese que si la rbita (que, en general, es una sucesin
infinita) y (x^^) consta de una cantidad finita de puntos, sta se estabiliza bien
en un punto fijo (por ejemplo, la rbita Xg, x, x^, Xy Xy Xy Xy... se sita tras
tres instantes en la rbita yix^) = {x^ y fix^) = x^) o bien en una rbita peri-
dica (Xfj, Xj, X2, Xy x^, Xj, Xy x^,... alcanza en dos instantes la rbita peridica 7
(x^) = {X2, Xy xj de perodo tres, siendo/ (x^) = Xyf(x^) = x^, yf(x^) = x^).
Cuando la funcin/que define el sistema es lineal, esto es, verifica/(J:)
= ax para algn nmero a y para todo nmero x, siempre es posible obtener
explcitamente la expresin de la rbita. Sin embargo, esto no sucede en
general para sistemas no lineales; en esta situacin se debe abandonar la idea
de calcular su solucin para pasar a afrontar la cuestin de cmo ser su
' Resulta ilustrativo comparar esta idea con la sostenida en las pginas 116 y 117, entre
otras, de la obra en cuestin.
^ Para ser precisos, sta es la expresin de un sistema dinmico discreto autnomo (inde-
pendiente del tiempo), uni-dimensional (la variable de estado es escalar, dada por un nico
nmero en cada instante) y de primer orden (el estado slo depende del anterior, podra suce-
der que el sistema tuviera ms memoria y dependiera de varios estados anteriores). Se ha toma-
do esta referencia con el objeto de simplificar al mximo la exposicin terica.
Por el mismo motivo, no se van a considerar los sistemas dinmicos continuos, que per-
miten representar procesos que cambian en cualquier instante (y no a intervalos regulares) y
que vienen matemticamente formulados por ecuaciones diferenciales. En cualquier caso, la
mayor parte de los comentarios posteriores son extensibles al mbito continuo.
INVESTIGACIN DE LA INVESTIGACIN SOCIAL 169
comportamiento cualitativo futuro. Ahora bien, no conviene olvidar que las
tcnicas lineales, maltratadas en diversas partes del libro "*, proporcionan un
primer acercamiento a la dinmica del sistema; aunque la realidad sea inhe-
rentemente no lineal, el conocimiento del anlisis lineal permite una aproxi-
macin local (cerca del punto que se est considerando) a su comportamien-
to. As pues, no es de extraar el lgico desarrollo del pensamiento cientfico,
y por ende del proceso educativo (sobre todo, desde el punto de vista peda-
ggico), que camina de la sencillez, caracterizada aqu por la linealidad, a la
complejidad, propia de dinmicas no lineales. Que muchos fenmenos que
haban sido considerados (fundamentalmente por simplicidad y operatividad)
lineales ahora se planteen como no lineales (y as ms cercanos a la realidad),
no debera ser motivo de alegato contra la Ciencia (ni siquiera contra la que
el autor califica de clsica), sino ms bien de ensalzamiento de sus avances.
De hecho, la dinmica no lineal (y, en particular, la dinmica compleja) no
suprime el anlisis lineal, sino que lo utiliza como primera aproximacin,
para complementarlo finalmente con mtodos ms avanzados.
La moderna teora de sistemas dinmicos, basada en anlisis de tipo cua-
litativo, especialmente til en modelos no lineales, tiene su origen en los tra-
bajos de Poincar de principios del siglo XX y fue desarrollndose por los
estudios, entre otros, de Birkhoff, Levinson, Lyapunov, Smale y Kolmogorov.
En este tipo de anlisis, admitida la imposibilidad genrica de obtener la solu-
cin explcita de un sistema no lineal, lo que interesa es determinar el com-
portamiento asinttico (cuando el tiempo t es suficientemente grande) de sus
rbitas; es decir, suponiendo que las rbitas del sistema dinmico (1) perma-
necen acotadas, las preguntas convergern hacia un punto o hacia algn con-
junto especial? y partiendo de datos iniciales prximos, las rbitas corres-
pondientes permanecern relativamente prximas? apuntan de lleno al
corazn de esta teora. Para contestarlas, aunque sea mnimamente y de forma
parcial, es conveniente definir el concepto de atractor.
Un conjunto A se denomina atractor global del sistema dinmico (1) si:
es invariante, es decir si f(A) = A (los puntos de A se transforman en
puntos del mismo conjunto), lo que garantiza que las rbitas que
comienzan en A permanecen indefinidamente en l y, por tanto, la res-
triccin de/ en A es un sistema dinmico sobre A;
es cerrado, esto es, contiene a su frontera, o en otras palabras, las rbi-
tas convergentes yxg), con x^e A (comienzan en puntos de A), tienen
su lmite en puntos del propio conjunto A;
y, para todo x, se verifica que la distancia dcf(x) a A tiende a O cuan-
do / tiende a infinito, por lo que todas las rbitas del sistema se acercan
al conjunto A (A atrae a todas las rbitas). Cuando esta propiedad slo
se cumple para x prximos a A, se dice que es un atractor local.
* Especialmente en el captulo titulado Valor de la ciencia, que comprende de la pgina
115 a la 127.
170 DEBATE
En consecuencia, la existencia de atractor global sugiere la posibilidad de
que la dinmica sobre dicho atractor represente la dinmica a largo plazo del
sistema. Tpicos ejemplos de atractores son los puntos fijos, las rbitas peri-
dicas y las rbitas cuasiperidicas (que se suelen asociar, en el caso discreto,
con la existencia de curvas cerradas invariantes).
Para ilustrar estos comentarios, consideremos la ecuacin (1) y represen-
temos sus rbitas en la recta real. Si las rbitas convergen hacia un punto x,
que necesariamente cumpli r/ fxj = x, se obtiene un atractor formado por un
punto fijo (vase figura 1.a). Si, por ejemplo, las rbitas se sitan tras varios
instantes en un conjunto formado por cuatro puntos, estaramos en el caso de
un atractor peridico (en la figura 1 .b el atractor peridico est formado por
los puntos X2, x^, x^ y x). Otra posibilidad es que las rbitas recorran una
curva cerrada simple (que, en la recta real se corresponde con un intervalo
cerrado y acotado), lo que indica que no se produce una repeticin exacta de
los valores y, en general, muestra un comportamiento llamado cuasiperidico
(vase la figura l.c, en donde la rbita representada rellena completamente el
intervalo cerrado [Xj, ^2]).
. F i g u r a 1 . a
X j X2 A: , ATQ
Figura l.b
Figura l.c
Sin embargo, existen atractores que no tienen forma tan simple (conjun-
tos finitos, curvas cerradas, o en espacios de mayor dimensin, esferas,
toros ^, etc.), pudiendo ser mucho ms irregulares y, de hecho, tener dimen-
sin no entera; estos son los denominados atractores extraos. Naturalmen-
te, el decir que un conjunto tiene dimensin no entera implica la utilizacin
de un determinado concepto de dimensin. Para los propsitos de este traba-
jo, restringiremos nuestra atencin a la ms sencilla definicin de dimensin
de un conjunto: la dimensin de capacidad.
' Este es el nombre tcnico (matemtico) de lo que el autor llama, de forma muy ilustrati-
va aunque un tanto colonialista, donuts. De hecho, podra haber utilizado expresiones como
neumtico o flotador, que siendo igualmente elocuentes son propias del lenguaje castellano, y
mucho ms acertadas al ser palabras que hacen referencia a objetos tridimensionales huecos.
DETERMINISMO, NO LINEALIDAD Y CAOS 171
Sea Ai (e) el nmero mnimo de segmentos de longitud e necesarios para
recubrir un segmento de longitud /; si e es pequeo se tiene que M (e) = / "'.
Tomemos ahora un cuadrado de lado / y sea M (e) el nmero mnimo de peque-
os cuadrados de lado e necesarios para recubrirlo, entonces M (t) = P e"^.
As, en ambos casos M (e) se comporta (se escala) como e~^ cuando e tiende
a cero, siendo D la dimensin de capacidad; ntese que la dimensin D de
cualquier segmento sera 1 y la de cualquier cuadrado 2 (igual que la de cual-
quier figura en el plano perfectamente slida). Matemticamente, la dimen-
sin de capacidad de un conjunto A inmerso en un espacio fc-dimensional
viene dada por
-O Ln(l/e)
donde M (e) es el mnimo nmero de cubos A;-dimensionales necesarios para
recubrir el conjunto A, y a. grandes rasgos, trata de medir el grado de ocupa-
cin del espacio (cunto lo rellena) en el que se sita el conjunto A.
Quizs, el ejemplo ms simple de posible atractor extrao es el conjunto
de Cantor. Su construccin se ilustra en la figura 2 y se realiza de la siguien-
te forma: comenzando con el intervalo [O, 1], se divide ste en tres partes
iguales y se elimina el intervalo abierto central (1/3, 2/3), lo que da como
resultado el conjunto unin de [O, 1/3] y [2/3, 1]; ahora se dividen cada uno
de estos dos intervalos en tres partes iguales y de nuevo se eliminan los dos
intervalos abiertos centrales, obtenindose en este paso [O, 1/9] u [2/9, 1/3]
u [2/3, 7/9] u [8/9, 1]; y este proceso se repite indefinidamente.
h
1/3 2/3
O 1/9 2/9 1/3 2/3 7/9 8/9 1
Figura 2
Como se observa en la figura 2, el conjunto de Cantor, que est formado
por la unin de infinitos intervalos cerrados disjuntos (con interseccin vaca)
infinitamente pequeos, tiene dos caractersticas un tanto especiales: por un
172 DEBATE
lado, autosemejanza, es decir, si se amplia una zona determinada se obtiene
una imagen semejante a la de partida y, por otro, dimensin no entera (es
posible probar que su dimensin de capacidad es D = Ln2ILn3 = 0.63). Los
conjuntos, como sucede con gran nmero de atractores extraos, que tienen
las propiedades de autosemejanza y dimensin no entera se conocen como
fractales.
Finalmente, se dice que un sistema exhibe comportamiento catico si
posee un atractor extrao sobre el que la dinmica presenta dependencia sen-
sible a los datos iniciales, lo que significa lo siguiente: rbitas que comien-
zan muy cercanas (sus datos iniciales son sumamente prximos) se alejan
rpidamente (de hecho, exponencialmente). As, la existencia de caos tiene
dos importantes implicaciones. Por un lado, sus rbitas son altamente irregu-
lares, difciles de distinguir de la rbita de un sistema aleatorio aunque pro-
vengan de un sistema determinista. Por otro, pequeos errores crecen rpida-
mente, alterando por completa la rbita fijada e imposibilitando la prediccin
a medio y largo plazo.
Por tanto, la dinmica no lineal ampla enormemente el espectro de posi-
bles comportamientos cualitativos de un sistema: si la dinmica lineal es sim-
ple y regular, la no lineal puede ser catica, es decir, compleja y altamente
irregular. Sin embargo, y aunque en el texto Caos y Orden parece que se
establece una identificacin entre no linealidad y caos, no conviene olvidar
que sistemas no lineales pueden tambin generar dinmicas simples y regu-
lares, por lo que la caracterstica de no linealidad no es patrimonio exclusivo
de los modelos caticos. Por otro lado, la apariencia de aleatoriedad de las
rbitas generadas por un sistema dinmico catico tampoco debe llevamos a
confusin: son rbitas producidas por un modelo (terico) determinista, esto
es, si se conociese con exactitud el estado inicial se tendra completamente
determinada su evolucin posterior. Es la incapacidad de una precisin abso-
luta en la medicin emprica del estado inicial (y, de hecho, del estado en
cualquier momento) lo que imposibilita la prediccin a medio plazo pues,
como se ha comentado con anterioridad, estos errores iniciales se propagan
agigantndose en cada paso. Naturalmente, a esto se debe aadir que el mode-
lo terico no deja de ser una aproximacin a la realidad, por lo que, aunque
puede ser utilizado con fines explicativos de la misma, su capacidad predicti-
va se ve todava ms reducida.
Muchos de los conceptos que ahora forman parte de la teora del caos
eran ya conocidos en la primera mitad del siglo XX, pero estaban confina-
dos a la comunidad matemtica. Al comienzo de la dcada de los aos 70,
y fundamentalmente estimulada por el desarrollo de la informtica, la situa-
cin cambi rpidamente. El descubrimiento de Lorenz en 1963 de la exis-
tencia de un atractor extrao en un modelo terico de meteorologa inici
una etapa de posteriores aplicaciones de la teora del caos en muy diversos
contextos: qumica, mecnica de fluidos, fsica terica, ecologa, biologa,
ingeniera, mecnica celeste, economa, etc. Muchos modelos lineales
comenzaron a reformularse y, otros que tradicionalmente se haban consi-
derado aleatorios se revisaban desde el prisma de la dinmica compleja; la
DETERMINISMO, NO LINEALIDAD Y CAOS 173
aparente aleatoriedad poda estar generada y, por tanto, explicada por un sis-
tema (determinista) catico, introduciendo orden en el supuesto desorden.
De hecho, la posible existencia de orden (complejo) en sistemas con aspec-
to anrquico es uno de los pilares sobre los que se sustenta el denominado
paradigma del caos.
Estos comentarios permiten de nuevo entender de manera lgica el desa-
rrollo de la Ciencia y subrayan su buen estado de salud: por un lado, los avan-
ces tericos en el campo de la Matemtica se convierten en herramienta de
otras disciplinas, y los problemas surgidos en estas reas plantean nuevos
retos a los matemticos, en un proceso de constante retroalimentacin; por
otro, el descubrimiento de nuevas teoras provoca un replanteamiento pro-
fundo de modelos anteriores, en una lnea de permanente progreso, no con la
intencin de olvidarlos (y mucho menos repudiarlos), sino ms bien con el
sano propsito de perfeccionarlos y as contribuir a mejorar la explicacin de
la realidad. En este sentido conviene notar que, si bien muchas de las teoras
actuales refutan (total o parcialmente) otras anteriores, la mayor parte de ellas
sern, muy posiblemente, tambin negadas y/o perfeccionadas en siglos veni-
deros.
La teora de sistemas dinmicos tambin proporciona una metodologa de
anlisis de modelos cuya estructura depende de factores que pueden cambiar
en ciertos momentos. Esto permite explicar situaciones en las que el atractor,
y por tanto el comportamiento cualitativo del sistema, sufre alteraciones,
incluso profundas transformaciones. Para ilustrar este punto basta considerar
el sistema
x,=f(H,x^_,) (2)
donde |J. es un parmetro en principio fijo. Supongamos que para un valor ini-
cial |x = |Q el sistema tiene un atractor A^^. Si el parmetro vara su valor (diga-
mos ahora pasa a ser |a = |X,), el sistema y el atractor tambin cambian (deno-
temos al nuevo atractor por A). Si las caractersticas cualitativas de A^y Aj
son estructuralmente similares, el comportamiento cualitativo del sistema no
sufre grandes cambios (pinsese por ejemplo que A^ es una circunferencia y
A una elipse). Sin embargo, cabe la posibilidad de que el nuevo atractor sea
muy distinto del inicial, incluso pasar de un atractor simple a uno complejo.
En este caso, se dice que el sistema presenta en algn punto \i^. intermedio
entre ^i,, y |X,, una bifurcacin.
Sin entrar en ms detalle tcnico, los sistemas dinmicos parametrizados
permiten analizar fenmenos cuyo comportamiento dinmico cualitativo
cambia substancialmente con el transcurso del tiempo y, con frecuencia, sue-
len estar asociados con procesos autoorganizativos. Desde este punto de vista,
cambios en el sistema se transfieren a cambios en el comportamiento dinmi-
co del mismo, y estos hacen de nuevo cambiar el propio sistema. El nivel de
organizacin en cada instante vendra determinado por el tipo de atractor,
pudiendo el sistema pasar de organizaciones muy simples a otras extremada-
mente complejas, o viceversa. En este contexto, la organizacin compleja se
174 DEBATE
corresponde con la existencia de atractor catico (proveniente de un modelo
determinista, no aleatorio), con orden intrnseco. As, en toda esta construc-
cin terica se supone implcitamente la existencia de una ley de cambio, por
lo que, cuanto menos, es discutible su aplicacin a fenmenos histricos, pol-
ticos o sociales.
Con esta panormica de los sistemas dinmicos, consideramos que algu-
nas de las conclusiones de la obra no parecen tan evidentes. Si tomamos como
ejemplo la aplicacin de la dinmica catica a la Economa, comprobamos
como, mediante la modelizacin terica de interacciones no lineales entre las
variables, se ha conseguido explicar cambios en los ciclos de actividad, cam-
bios que pueden ser perfectamente irregulares y desordenados. Es decir, el
sistema ha generado un comportamiento complejo susceptible de explicar
cambios de este tipo en la realidad. En este sistema las interacciones entre
agentes econmicos estn determinadas por el modelo terico, de modo que
los agentes no poseen la capacidad de actuar diferente, no poseen libertad.
Extrapolar este paradigma tambin a la Historia o a la Poltica nos conduce a
reducir la conducta humana a una regla no lineal, capaz de generar en el sis-
tema un comportamiento agregado irregular. Por tanto, queda en entredicho
que la adopcin de este paradigma haga concebir al individuo como naturale-
za, pleno de espontaneidad.
A pesar de todo esto, bien podramos profesar que este tipo de fenmenos
(histricos, polticos y sociales en general) estuvieran determinados por un
sistema dinmico con comportamiento catico, por complejo que fuera y pese
a nuestro desconocimiento del mismo. Si esto fuera as, planteara un panora-
ma ciertamente idlico para la ciencia actual; ahora nicamente restara des-
cubrir los modelos tericos que rigen y gobiernan los procesos considerados.
La Historia, por otro lado, nos indica que la teora del caos no es el fin de la
ciencia, no es el ltimo escaln cientfico, sino que, con toda seguridad, esta
teora es un paso ms para la comprensin y entendimiento de ciertos proce-
sos causales, y que en modo alguno mediante ella seremos capaces de expli-
car toda la realidad.
Es cierto que esta teora se presenta en un marco muy especfico (en el
contexto de los sistemas dinmicos) que posee la ventaja de ser abstracto,
lo que le da una mayor universalidad potencial. En este punto radica el
enorme impacto que ha causado, aplicndose en muy diferentes campos,
hablndose de un paradigma unificador de la ciencia e incluso proponin-
dose el nacimiento de una nueva ciencia, la Ciencia del Caos (vase Gleick,
1988). Sin embargo, esto no significa ni que todo fenmeno pueda ser expli-
cado por un modelo catico ni que la teora del caos pueda ser aplicada a
cualquier situacin. Antes lo contrario, aunque la aportacin, como hemos
comentado, a la Economa Terica est siendo satisfactoria, inyectando
incluso dosis de historia en la dinmica econmica -bifurcaciones y depen-
dencia del camino seguido (path-dependence)-, la aplicacin al dominio
poltico-histrico, a nuestro juicio, se queda en un punto de vista retrico y
metafrico.
DETERMINISMO, NO LINEALIDAD Y CAOS 175
REFERENCIAS
DEVANEY, R. L. , 1989. An introduction to chaotic dynamical systems. 2.' edicin.
Addison-Wesley.
GLEICK, J., 1988. Caos. La creacin de una ciencia. Seix Barral.
KiM, J. H. y STRINGER, J., eds., 1992. Applied chaos. Wiley-Interscience.
LORENZ, E. N. , 1995. La esencia del caos. Editorial Debate.
NicoLis, G. y PRIGOGINE, I., 1994. La estructura de lo complejo: en el camino hacia
una nueva comprensin de las ciencias. Alianza Universidad.
OTT, E. , 1993. Chaos in dynamical systems. Cambridge University Press.
PRIGOGINE, I., 1997. Las leyes del caos. Editorial Crtica.