experiencias de diseo, seguimiento y evaluacin evaluacin currucular

Del caos y esas cosas. Una introduccin comentada a la matemtica contempornea

"Ayuda a tus semejantes a levantar su carga, pero no a llevarla" Pitgoras

Juan E. Npoles Valds Doctor en Ciencias Matemticas (1994) Secretario de Polticas del Conocimiento y Prof. Titular (1)

Introduccin Los matemticos reconocieron, durante la crisis de 1875-1925, que una comprensin aceptable de la irregularidad o fragmentacin (como de regularidad y conexin) no puede ser satisfecha con la definicin de dimensin tal y como se entenda en esos aos: el nmero de coordenadas. El primer paso de un anlisis riguroso es la carta de Cantor a Dedekind del 20 de junio de 1877, el prximo paso es el de Peano en 1890 y el paso final, en los aos 20. En esos tiempos, los matemticos usaban el trmino dimensin en un sentido vago. Una configuracin era llamada E-dimensional, si el menor nmero de parmetros reales, necesarios para describir sus puntos, en un cierto sentido, es E. Los peligros e inconsistencias en esta formulacin, fueron puestos en claro por dos destacados trabajos de la ltima parte del siglo XIX: la correspondencia uno-a-uno de Cantor, entre los puntos de una lnea y los puntos de un plano, y la aplicacin continua de un intervalo sobre todo un cuadrado, debido a Peano. La primera destruy la conviccin de que un plano es ms rico en puntos que una lnea, y mostr que la dimensin puede transformarse por una aplicacin uno-a-uno. La segunda, contradijo la creencia que la dimensin puede ser definida como el menor nmero de parmetros continuos reales, necesarios para describir un espacio, y mostr que la dimensin puede ser "creada" por una transformacin uno-a-uno. El objetivo de este trabajo, es presentar la trascendencia histrica del estudio del caos, los fractales y la Teora de las Catstrofes y su significacin, no solo para la propia Matemtica, sino en otras ciencias afines, y cmo se ha ido desarrollando el aparato conceptual de la Matemtica contempornea, a partir del desarrollo de dichas investigaciones. La significacin metodolgica de estas investigaciones, para la Matemtica en general y para las Ecuaciones Diferenciales Ordinarias en particular, se discute a lo largo del trabajo. Debemos decir adems, que estamos interesados en mostrar que la Matemtica es un organismo vivo, compuesto de conjeturas, pruebas y refutaciones y

Revista Argentina de Enseanza de la Ingeniera - Ao 1 N 2 - Diciembre de 2000

45

experiencias de diseo, seguimiento y evaluacin curricular

que la complejidad de los sistemas naturales, hace que el pretendido ideal de ciencia determinstica, no solo est fuera de nuestro alcance, sino que sea inconcebible. Basta considerar, a ttulo de ejemplo, un problema climtico cada vez ms preocupante: el efecto invernadero. Tomemos solamente la nocin, aparentemente sencilla, de proporcin de gas carbnico de la atmsfera. Se trata de analizar esa proporcin en un punto preciso del planeta?. Ello exige un tratamiento estadstico, que indica algunas regularidades estacionales, pero deja un importante margen a los imprevistos debido a los caprichos de la meteorologa. Se trata de la nocin, menos aleatoria, de masa total de CO2 contenida en la atmsfera en un instante determinado? Somos incapaces de medirla directamente y nada garantiza que esa nocin sea menos incierta que la precedente. La nica definicin precisa sera la proporcin de CO2 en cada punto de la atmsfera en un instante determinado. Para que sea eficaz, habra que completarla con un cmulo de informaciones sobre la direccin y la fuerza del viento, la temperatura y la cantidad de vapor de agua, as como sobre las masas ocenicas. Es la condicin sine qua non para poder determinar, si no cifrar, el futuro inmediato del sistema climtico. Economa aparte, eso es imposible a escala planetaria. Segn la observacin del meteorlogo norteamericano Edward Lorenz, una perturbacin meteorolgica, que no encuentra ningn obstculo para desarrollarse, puede duplicarse en tres das. Ello significa que el batir de alas de una mariposa en el Amazonas puede, si las circunstancias son propicias, desencadenar una tempestad en las costas bretonas un ao ms tarde1. En todo caso, la certeza parece no ser de este mundo. Terminemos este prembulo con la siguiente pregunta: es acaso deseable? Los Fractales. Despus de la famosa tesis de Frecht de 1906, las investigaciones sobre mtricas y espacios mtricos crecieron exponencialmente, uno de los principales investigadores del tema fue el destacado matemtico alemn Felix Hausdorff (1868-1942), una de cuyas direcciones de trabajo, relaciona los conceptos de medida y dimensin2. Sea p un nmero real no negativo arbitrario, 0p<+ y dado >0 consideremos Hausdorff de un conjunto no es necesariamente un entero, por ejemplo, la dimensin del conjunto ternario de Cantor3 es ln2/ln3 = 0,63093, como se demuestra en la memoria original de HAUSDORFF (1919). Dimension und ausseres mass. Math. Ann. 79: 157-179. Por otra parte, en 1913 Brouwer construy una definicin precisa, y topolgicamente invariante, de dimensin4, la cual para una amplia clase de espacios, es equivalente a la usada hoy en da. Este trabajo de Brouwer, permaneci desconocido por varios aos, as, en 1922, independientemente de Brouwer y entre s, Menger y Urysohn, redescubrieron el concepto de Brouwer, con algunas mejoras importantes. En este sentido, es claro que existen objetos en la Naturaleza que son irregulares y fragmentados (montaas, costas, hojas, etc.) y que exhiben un alto nivel de complejidad. La existencia de estos patrones, fue lo que ret a los matemticos a estudiar aquellas formas que, desde el punto de vista euclidiano, no tenan forma. Respondiendo a este reto, Benoit Mandelbrot, concibi y desarroll una nueva geometra de la Naturaleza, l describi muchos de los patrones irregulares y fragmentados, identificando una familia de formas a las que llam fractales. Qu es un fractal?. Mandelbrot acu esta palabra en 1975. Existe (o debe existir) una definicin matemtica, especificando una idea bsica en geometra. Existe tambin el recurso del uso figurativo del trmino, para describir fenmenos que se aproximan a esta idea matemtica. Hablando grosso modo, un conjunto fractal es un conjunto que es ms irregular que los conjuntos considerados en la geometra clsica. Este trmino fractal, viene del adjetivo latino fractus, que debemos entenderlo como fraccionado y debe ser entendido tambin como irregular5. Mandelbrot defini un fractal, como un conjunto cuya dimensin de Hausdorff es estrictamente mayor que su dimensin topolgica y no necesariamente entera. La dimensin topolgica comprende al sentido habitual de la dimensin y es un nmero entero: cero para un punto, uno para una recta, dos para un plano y tres para un cuerpo en el espacio. La dimensin topolgica es invariante ante homeomorfismos (aplicaciones f biyectivas, y bicontinuas; o sea, aplicaciones topolgicas). En cambio, la dimensin de Hausdorff est definida para cualquier subconjunto de Rn, pero no es invariante ante homeomorfismos. El concepto que us Mandelbrot, es una simplificacin del concepto de dimensin de Hausdorff y corresponde exactamente a la definicin establecida en 1958 por el matemtico ruso Kolmogorov6 de la capacidad de una figura geomtrica. La nocin de autosemejanza se vincula con el concepto intuitivo de dimensin. Un segmento puede dividirse en N partes iguales, cada una de las cuales est en relacin =N-1 con el segmento total. Anlogamente,

=extrinf [d ( X k )]p , p
d ( X k )< k =1

donde X = UXk es

una descomposicin finita o infinita numerable cualquiera de X, en subconjuntos Xk de dimetro d(Xk) menores que ? Cuando 0, el nmero

(X) p

tiende en forma montona creciente a un determinado lmite (finito o infinito) p (X). Esta medida puede servir para definir la dimensin de un conjunto, debido a que un conjunto puede tener medida p-dimensional finita y no nula, a lo sumo para un slo valor p. Observemos que la dimensin de

46

Revista Argentina de Enseanza de la Ingeniera - Ao 1 N 2 - Diciembre de 2000

experiencias de diseo, seguimiento y evaluacin evaluacin currucular

al dividir un cuadrado en el plano en N cuadrados iguales, obviamente autosemejantes, se tiene una relacin =N-1/2 con la dimensin de la figura completa; esta razn es N-1/3 en el caso del cubo y N-1/D para un objeto d-dimensional. Entonces, D=N-1; Dln=-lnN, de don de se tiene que Que es la definicin de mostrarse que no es un extremo de algn intervalo Ck, sin embargo pertenece a C. Es tambin importante notar, que C no es semejante a los conjuntos usuales de la geometra elemental. Aqu tenemos algunas de las diferencias fundamentales: El conjunto C no contiene intervalos de longitud positiva. El conjunto C no tiene puntos aislados, o sea, si aC, entonces par todo >0, el intervalo (a,a+) contiene puntos de C, distintos de a. El conjunto C es cerrado, es decir, si aR posee la propiedad que todo intervalo de la forma (a-,a+) contiene puntos de C, entonces aC. 2. La Curva de Van Koch, para la que se tiene que D=ln4/ln31,2618, que satisface la desigualdad sealada, pues D T=1 y DA=2. En 1904, el matemtico Helge von Koch7 descubri una curva patolgica que se obtena como lmite de una sucesin de polgonos. Partiendo de un segmento de longitud unitaria, en el primer paso se elimina el tercio central y se reemplaza por los otros dos lados del tringulo equiltero. En el segundo paso se procede de igual modo, y as sucesivamente. En el lmite, la sucesin de poligonales se aproxima a una curva llamada "Curva de von Koch". Uniendo tres curvas de von Koch, se forma una curva llamada "Copo de Nieve", otro fractal muy conocido. 3. El Conjunto de Mandelbrot o, sencillamente, conjunto M. Ms que una descripcin matemtica del mismo, es conveniente una imagen de dicho fractal. Un dato curioso es que se han sealado "agujeros negros" en el conjunto M, cuando se ha ampliado este a unas proporciones equivalentes a la rbita de Marte. Indudablemente, la mejor forma de apreciar el conjunto M es a travs de las cintas de vdeo que se han realizado de l, especialmente con acompaamiento musical. Las ms clebre son, quizs, Nothing but zooms de Art Matrix, y A fractal ballet de The Fractal Stuff Company.

fractal dada por Mandelbrot. Esta definicin tiene el inconveniente que excluye conjuntos que debieran ser reconocidos como fractales. Del hecho que se han propuesto otras definiciones de fractales, pero que no existe todava una suficientemente general, se ha llegado al acuerdo de no definir un fractal, sino enumerar sus propiedades caractersticas: Un fractal tiene una estructura fina; esto es, detalle en escalas arbitrariamente pequeas, Un fractal es demasiado irregular para ser descrito con la geometra euclidiana, tanto local, como globalmente, Con frecuencia un fractal tiene una cierta forma de autosemejanza, quizs aproximada o estadstica, En general, la dimensin fractal es mayor que su dimensin topolgica, pero menor que su dimensin algebraica, En muchos casos interesantes, el fractal puede ser definido recursivamente.

Los ejemplos ms conocidos de fractales, son: 1. El Conjunto de Cantor ya citado, el cual es un subconjunto de R. Una sucesin de aproximantes es definida primeramente. Comencemos con el intervalo C0=[0,1]. Entonces el conjunto C1 es obtenido dividiendo C0 en tres partes iguales, suprimiendo el segmento (1/3,2/3) y quedando [0,1/3][2/3,1]. El prximo conjunto C2 se obtiene de la divisin en tres partes iguales de estos segmentos, suprimir la interior y tomar el resto, as C2=[0,1/9][2/9,1/3][2/3,7/9][8/9,1] y as sucesivamente. El conjunto de Cantor es el lmite cuando n de Cn, la suma total de los Ck es cero (tcnicamente, la medida de Lebesgue de este conjunto). Ya conocemos que D0,6309, mientras que DT=0 y DA=1. Consideremos ms detenidamente, los puntos del conjunto de Cantor. Si [a,b] es uno de los intervalos cerrados que aparece en una de las aproximaciones Ck, entonces los puntos extremos a y b, pertenecen a todos los conjuntos futuros Cm, mk, y por tanto, pertenece a la interseccin C. Es importante notar, que en C existen otros puntos adems de estos. Como un ejercicio preliminar, puede de-

Revista Argentina de Enseanza de la Ingeniera - Ao 1 N 2 - Diciembre de 2000

47

experiencias de diseo, seguimiento y evaluacin curricular

Debemos aadir, por ltimo, que un fractal puede tener dimensin D entera, as en el captulo 25 del citado libro de Mandelbrot, se muestra una trajectoria de un movimiento browniano, cuya dimensin fractal es D=2, mientras que DT=1 y DA=2. En la actualidad existen infinidad de escritos sobre el conjunto Mandelbrot, que fue presentado al mundo ajeno a la IBM en el artculo Computer Recreations8. Para lectores interesados en el tema, adems del libro de Mandelbrot ya citado (muy tcnico y prcticamente inaccesible para el lector matemtico medio), recomendamos de H.-O. PEITGEN y P.H. RICHTER (1986).The beauty of fractals. Springer-Verlag. Berln, que es el primer libro en tecnicolor que muestra el conjunto M; posteriores desarrollos se describen en The science of fractal images. Springer-Verlag. Berln de H.O- PEITGEN y Dietmar SAUPE (1988). Tambin muy tcnico, pero con captulos preparatorios es Measure, topology and fractal geometry de Gerald A. EDGAR, publicado por la Springer-Verlag, Berln, en 1990. Mucho ms accesible para el lector aficionado (pero intrpido) es The Armchair Universe (W. H. FREEMAN (1988)) que contiene el artculo original publicado en el Scientific American en 1985, con actualizacin e informacin sobre software disponible para PC. En esta direccin es conveniente sealar Geometra Fractal. Nueva Librera. Buenos Aires de Vera W. De SPINADEL, Jorge G. PERERA y Jorge H. PERERA (1994), con una magnfica introduccin matemtica al tema. Yo me he sentido muy satisfecho con Fractal Creations. Explore the magic of fractals on your PC. Waite Group Press de Timothy WEGNER y Mark PETERSON (1991), el cual trata la teora de los fractales y detalla como usar el programa Fractin V 15.11, revelando la programacin en C, que permite construir los fractales rpidamente. Este programa permite generar fractales, as como manipularlos, editarlos y alterarlos. A diferencia de otros programas, los fractales se generan casi instantneamente (de hecho con este programa es que hemos generado los fractales que ilustran este trabajo). De Michael F. BARNSLEY (19932) es Fractals eveywhere. Academic Press Professional, el que muestra cmo la geometra fractal puede ser usada para modelar objetos reales en el mundo fsico, es considerado el libro de texto sobre fractales ms completo hasta el momento. La teora matemtica de la geometra fractal, descansa sobre tres fundamentos matemticos: la teora de la medida, la topologa mtrica (quizs la ms necesaria) y las probabilidades. Algunas lecturas recomendadas son: W. HUREWICZ and H. WALLMAN (1941). Dimension Theory. Princeton University Press, este es un libro sobre dimensin topolgica, quizs no muy actual, pero contiene todo lo necesario a este campo; K.J. FALCONER (1985). The geometry of fractals sets. Cambridge University Press, texto moderno dedicado a la dimensin de Hausdorff y C.A. ROGERS (1970). Hausdorff Measures. Cambridge University Press, libro dedicado a los aspectos ms tcnicos de la materia, ilustrando el hecho que los matemticos haban descuidado muchas cosas, en la direccin dada por Hausdorff. Un esbozo histrico de la Teora de las Catstrofes. En 1955 el matemtico americano Hassler WHITNEY, public el artculo Mappings of the plane into the plane, donde expuso las bases de una nueva teora matemtica- La teora de Singularidades de Aplicaciones Suaves. A mediados de los aos 60, comienza a hablarse del libro de Ren THOM Stabilit Structulle et Morphognse, que apareci en forma acabada en 1972 y que rpidamente despert la atencin e inters de todos por una teora conocida ahora como Teora de las Catstrofes. Thom propuso utilizar la teora topolgica de los sistemas dinmicos, para la modelacin de diversos fenmenos de crecimiento y desarrollo en diversas ramas, principalmente la biologa. El seal que bajo algunas condiciones exigidas, se deduce que el estudio de diversos sistemas se puede describir, localmente, mediante algunas formas elementales estndar llamadas, catstrofes elementales. Desde los aos setenta este discurso de Ren Thom que apuntaba a una nueva ciencia, a la que l llam Semiofsica, la fsica de las formas significantes, cobr gran impulso sobre todo porque busc dotar de sentido al observador que contempla la evolucin de las formas que ocurren en la Naturaleza: seres estables -o formas emergentes- y entidades no visibles, las llamadas pregnancias, especies de semillas de donde surge la forma. Esta metodologa hace una crtica a la ruptura galileana, acusndola de haber abandonado algunas intuiciones fundamentales que formaban parte importante del discurso cientfico de los antiguos9. Algunos consideran que la Teora de las Catstrofes, es una parte de la Teora de las Singularidades, mientras otros afirman lo contrario. Es una disputa bizantina. Aplicaremos el trmino terico de las catstrofes (siguiendo a Arnold), a cualquiera que trabaje sobre la teora de las catstrofes, concebida como uno de los trminos singularidades, bifurcacin o catstrofe.

48

Revista Argentina de Enseanza de la Ingeniera - Ao 1 N 2 - Diciembre de 2000

experiencias de diseo, seguimiento y evaluacin evaluacin currucular

De acuerdo con Thom el trmino Teora de las Catstrofes, es debido a su discpulo E.C. Zeeman (en 1971). Desde un punto de vista de trabajo, podemos decir que la Teora de las Catstrofes no es ms que la Teora de la Bifurcacin desde un punto de vista topolgico, o sea, es el estudio, desde un punto de vista cualitativo de las formas en que las soluciones de las ecuaciones diferenciales pueden variar. La primera informacin sobre esta apareci, por primera vez, en la prensa occidental hace alrededor de 20 aos. En el Newsweek reportaron una revolucin en las matemticas, comparable quizs, al descubrimiento del Clculo Diferencial e Integral. Ellos afirmaron que la nueva ciencia, la Teora de las Catstrofes, era mucho ms importante que el Anlisis Matemtico: mientras este slo considera procesos suaves, continuos, la otra provee un mtodo universal para el estudio de todas las transiciones de salto, discontinuidades y cambios cualitativos sbitos. Aparecieron cientos de cientficos y publicaciones sobre el tema y sus aplicaciones a variados campos que van, desde el estudio del corazn al estudio de la teora de partculas elementales, pasando por el estudio de los desrdenes mentales y la censura policial a la literatura ertica. El punto filosfico es que el conjunto de los puntos catstrofes K son los que contienen el comportamiento significativo del proceso, es decir, donde se trabaja es el lugar geomtrico de los puntos de equilibrio del sistema. El es el esqueleto, del cual el resto de la morfologa depende. Consideremos un sistema dinmico gradiente dx/ dx/dt=-gradxF(x,a), , donde x y a son vectores de nmeros reales (posiblemente, unidimensional) y F es infinitamente diferenciable, o suave. Llamemos a x variable de estado y a la variable de control. Busquemos los puntos de equilibrio, o sea gradx F(x,a) = 0. El problema matemtico es cmo varan las soluciones x de esta ecuacin con a, para F general. Si al resolver esto desde un punto de vista topolgico, diferentes funciones F tienen el mismo comportamiento (local), se dicen que son equivalentes. Una clase de equivalencia de tales funciones F es llamada una catstrofe elemental. Para una familia de funciones f:RnxRkR; es decir, con n variables de estado, y con k parmetros, denominados de control, si n2 y k5 Thom estableci la existencia de formas cannicas, a las que hacamos referencia antes. A ellas son reducibles las funciones en estudio, si cumplen con la restriccin antes citada y otra que se comentar ms abajo. En las catstrofes elementales, que listamos a continuacin, las componentes x1, x2, ... de x han sido reemplazadas por x, y, .. y a1, a2, ...por a, b, .... Estos nombres son escogidos por una gran variedad de razones y deben ser tratados meramente como mnemotcnicos, las siglas de la ltima columna son las denominaciones de cada una de estas catstrofes elementales. Es de destacar que estas poseen una propiedad de estabilidad muy fuerte: la estabilidad estructural. Esta nocin se remonta al trabajo de ANDRONOV y PONTRIAGUIN de 1937 Sistmes grossiers10, concepto desarrollado posteriormente, en conexin con la topologa dinmica, por Smale11. Esta es una propiedad muy deseada y Thom (junto a nombres como Lefschetz y Arnold) la trata como un requerimiento esencial. Es importante destacar, que la estabilidad estructural debe considerarse en un "contexto determinado". El contexto comprende: a) una clase de sistemas matemticos C, b) una clase de perturbaciones P, c) una relacin de equivalencia R. En este contexto, un sistema es estructuralmente estable si demostramos que toda perturbacin en P, lleva a un sistema en C que es equivalente, con respecto a R, al original. Un pndulo simple, por ejemplo, considerado como un oscilador no forzado, es un sistema estructuralmente inestable (en el modelo usual) si la clase de perturbaciones incluye la posibilidad de trminos de amortiguamiento. Restringiendo las perturbaciones al caso no disipativo solamente, es posible restaurar la estabilidad estructural. Si consideramos la existencia de simetra, debemos restringir las clases P y C consecuentemente y as debe procederse en lo sucesivo. La descripcin matemtica del mundo depende, sobretodo, de una delicada interrelacin entre la continuidad y discontinuidad, fenmenos discretos. Singularidades, bifurcacin y catstrofe son trminos diferentes para la descripcin del surgimiento de estructuras discretas a partir de otras suaves, continuas. La teora de las singularidades es una generalizacin del estudio de funciones en sus puntos de mximo y de mnimo. En la teora de Whitney las funciones son reemplazadas por aplicaciones, i.e., coleccin de varias funciones de varias variables. El trmino bifurcacin como entendemos

Revista Argentina de Enseanza de la Ingeniera - Ao 1 N 2 - Diciembre de 2000

49

experiencias de diseo, seguimiento y evaluacin curricular

ahora, significa rompimiento y es usado en un sentido amplio para designar toda suerte de reorganizacin cualitativa o metamorfosis de varias entidades que resultan de un cambio de los parmetros sobre las cuales ellas dependen. Catstrofes, son cambios bruscos que surgen como una respuesta sbita del sistema a un cambio suave en las condiciones externas. En la Teora de Bifurcacin como Teora de las Singularidades, los resultados fundamentales y aplicaciones fueron obtenidos sin la ayuda de la Teora de las Catstrofes. La contribucin de esta, fue la introduccin del trmino atractor y el conocimiento sobre la bifurcacin de atractores. Una variedad de atractores han sido descubiertos ahora en todas las reas de la Teora de Oscilaciones; por ejemplo, ha sido sugerido que los variados fenmenos del lenguaje, son diferentes atractores de un sistema dinmico "productor de sonidos". Hasta hace alrededor de dos dcadas, todo experimento que encontraba complicadas oscilaciones aperidicas, digamos en reacciones qumicas, eran abandonados, citando impurezas en el experimento, efecto de cambios externos y cosas por el estilo. Ahora es claro que muchas de estas oscilaciones complejas, estn conectadas con la esencia misma de la materia, con la presencia del caos y atractores extraos, quizs determinado por las ecuaciones fundamentales del problema y no por los variados efectos externos; ellas pueden ser estudiadas a un nivel superior de los modos estacionarios clsicos y los modos peridicos de comportamiento de los procesos. Por otra parte, la caracterstica comn de las trayectorias en un rgimen catico es el tener una estructura geomtrica altamente irregular y que ante cierto tipo de enfoque -estudiar la seccin de Poincar, por ejemplo- da lugar a ciertos conjuntos fractales. El estudio de sistemas caticos. El clima, un flujo de agua, una tirada de dados tienen, en comn, aspectos impredecibles. Como no aparece una clara relacin en ellos, entre causa y efecto, se dice que son fenmenos aleatorios. Lo mismo sucede con los fenmenos atmosfricos que, a pesar de obedecer las leyes de la Fsica, no pueden predecirse exactamente y obligan a que los pronsticos meteorolgicos se realicen en trminos de probabilidades. Definimos Caos como el comportamiento de sistemas dinmicos que exhiben comportamiento mixto (sistemas que se aproximan a cualquier valor posible durante su evolucin) con entropa positiva. El comportamiento catico surge de la nolinealidad de las ecuaciones de evolucin de tales sistemas. Curiosamente, el origen del caos no requiere de un gran nmero de variables o grados de libertad. Por ejemplo, un sistema que consista en dos pndulos conectados por un resorte, genera un movimiento cuyo resultado es tan azaroso, como el hecho de predecir el resultado de una tirada de dados. Dependiendo de las condiciones iniciales, los sistemas fsicos pueden mostrar movimientos, tanto regulares (predecibles o determinsticos) como aleatorios. Los sistemas caticos, contrario a lo que pudiera pensarse, no carecen de estructura. Por el contrario, su comportamiento exhibe una estructura mucho ms rica e interesante que los sistemas determinsticos. En este sentido, la eleccin de la palabra caos ha sido desafortunada, ya que puede asociarse a algo carente de estructura. No obstante, es evidente que presentan aspectos de impredecibilidad y prdida (aparente) de informacin, que estn asociadas al carcter nolineal de la evolucin del sistema. Los sistemas dinmicos caticos (quizs el ms famoso es el modelo de Lorenz de 1963) son formados por ecuaciones que no poseen soluciones analticas, tienen como caracterstica bsica una sensible dependencia de las condiciones iniciales, esto es, rbitas con condiciones iniciales prximas se alejan exponencialmente; los atractores son extraos, la evolucin temporal se da en forma cuasi-aleatoria. Una ecuacin con un atractor extrao tiene rbitas que se mueven, imprevisiblemente entre las vecindades de muchos puntos diferentes, permaneciendo por un momento en una regin y luego se mueven en direccin a otra. Un buen ejemplo de un sistema catico, es el de la ecuacin logstica (Pierre F. Verhulst, 18041849)12. Una consecuencia de este comportamiento catico es la total imposibilidad de prever completamente el futuro del fenmeno. La Entropa positiva de Kolmogorov-Sinaj es una condicin tcnica esencial difcil de verificar directamente en un sistema dinmico. En la prctica, ella significa que el sistema exhibe extrema sensibilidad a las condiciones iniciales, de modo que dos trayectorias que estn prximas en el instante inicial, divergen en una razn exponencial. Esta razn es medida por la media de los exponentes de Liapunov, que es equivalente a la Entropa de Kolmogorov-Sinaj y puede ser fcilmente calculada. El estudio de los conjuntos fractales ha seguido las directrices sugeridas en muchas otras disciplinas, pero no hay que olvidar que en el nuevo universo que surgi de las exploraciones por computadoras del espacio de fases, la calidad fractal de los atractores extraos mostr la naturaleza en ciertas formas constreidas en sus posibilidades: el desorden se analizaba en cualquier direccin, no siguiendo patrones sujetos a reglas bien establecidas. Esto provey a los exploradores del caos de un programa por desarrollar: 1) La bsqueda de atractores extraos donde quiera que la naturaleza pareciera comportarse aleatoriamente.

50

Revista Argentina de Enseanza de la Ingeniera - Ao 1 N 2 - Diciembre de 2000

experiencias de diseo, seguimiento y evaluacin evaluacin currucular

2) La clasificacin de estos atractores en trminos de su dimensin fractal. 3) La aplicacin de la teora de grupos de renormalizacin. El programa no se ha visto coronado de triunfos fciles, y en los ltimos aos han surgido nuevos esfuerzos13. Los resultados son prometedores y han permitido que algunos opinen que, "A. Einstein reconsiderara cierta frase famosa, expresndola ahora que en efecto, Dios juega a los dados con el universo, pero estos dados estn cargados... y nuestro objetivo es encontrar las reglas que los gobiernan y utilizarlas para nuestros propios fines". En el fin de siglo J. Ford contempla el mundo desde una nueva ptica. Por su importancia destaca las siguientes conjeturas, todas ellas ntimamente relacionadas con las nociones de caos: 1) La validez de un principio de incertidumbre generalizado que asegure que ninguna variable puede ser medida con exactitud. 2) Una posible extensin de la nocin de integrabilidad para que incluya a los sistemas ergdicos y los sistemas mezclantes. 3) Resolver problemas que hasta el momento no se han doblegado ante el enfoque determinista. Como hemos analizado, todos los sistemas macroscpicos, tanto el reloj como los instrumentos de medicin son, en general, elementos caticos. Las interacciones entre dichos sistemas crean efectos que crecen exponencialmente en el tiempo y que por lo tanto, no pueden menospreciarse, an cuando inicialmente sean pequeos. El efecto de un sistema catico actuando dbilmente sobre otro aparecer como ruido, y este se propagar a lo largo del sistema compuesto que lo contenga. Por esta razn el acto de medir introduce un error pequeo pero incontrolable en la cantidad que se mide y nos lleva a sospechar que puede existir un principio de incertidumbre vlido tambin para entidades clsicas. Al dividir las dinmicas en atencin a s son predecibles o aleatorias, analticamente solubles o analticamente intratables, la teora algortmica de la complejidad aporta una herramienta analtica para separar lo algortmicamente integrable de lo aleatorio. As por ejemplo, Ford construye la solucin general de un sistema no integrable ... mediante sistemas algortmicos integrables que los aproximen. A modo de conclusin. La expresin sistema dinmico denota todo proceso de evolucin en el que pasado determina el futuro. Consta de dos nociones esenciales: la de estado (la informacin que permite describir al sistema) y la dinmica (la ley que describe la evolucin en el tiempo de los estados del sistema). Por otra parte, notemos que en estos apuntes no hemos hecho alusin a la aparicin de los ordenadores, estos, presentes en grado sumo en todas las investigaciones relacionadas con las Catstrofes, el Caos y las Bifurcaciones, no han sido presentados en todo su papel. Las mquinas, que por si solas no podan resolver toda la tarea, obligaron a los matemticos a formularse un nuevo conjunto de interrogantes, relacionadas, no slo con los problemas concretos, sino con la naturaleza de su trabajo y con el modo que se resolvan los problemas o se intentaban resolver. Es ms, en tareas relacionadas con problemas prcticos, no es suficiente, por ejemplo, el conocimiento de la existencia de la solucin. El no-matemtico poco puede hacer con un teorema abstracto de existencia. El matemtico, buscando una salida a esta situacin, brinda procedimientos para construir la solucin y como no siempre se logra dar en cuadraturas, tiende a presentar procedimientos que envuelven una coleccin infinita de operaciones. As, si por un lado, siguiendo los impulsos de la lgica interna del desarrollo de la matemtica, crecen en cantidad y variedad los resultados puramente tericos sobre solubilidad de ecuaciones, por otro lado, tenemos lo siguiente: Qu significa para el fsico experimental o el ingeniero una solucin exacta?. Cmo interpretar esta nocin, si se sabe que los datos iniciales son inexactos?.

Sobre lo anterior es necesario entonces, formular estrategias de trabajo, por ejemplo, considerar aspectos como los siguientes: 1. Estudiar la existencia y unicidad de las soluciones. 2. Elaboracin de Algoritmos (sistemas de reglas prefijadas en funcin del cracter del proceso). 3. Anlisis de la dependencia continua de la solucin con respecto a los datos iniciales. 4. Estimado de los errores del algoritmo y los errores de clculo. Sin embargo, en este caso surgen nuevos problemas, baste decir, que la resolucin de un problema prctico por parte de un matemtico para un no-matemtico, envuelve conclusiones en que tienen que intervenir, obligatoriamente, el matemtico y el especialista que con l trabaja. Adems de todo lo expuesto, pensamos que este trabajo puede servir de gua y referencia a otros ms completos y que tiene ciertas ventajas metodolgicas a saber: que en otros campos no considerados, se pueden obtener conclusiones como las aqu brindadas, permite hacer conjeturas sobre los casos ge-

Revista Argentina de Enseanza de la Ingeniera - Ao 1 N 2 - Diciembre de 2000

51

experiencias de diseo, seguimiento y evaluacin curricular

nerales y en ciertos casos en que se haga una conjetura falsa, comprobar dicha falsedad, acostumbra a considerar, ante determinados problemas, casos ms simples, la gnesis de la problemtica, que tanto pueden ayudar a la resolucin de problemas ms complejos.

En esta ltima direccin, quisiramos aadir que el rasgo ms distintivo de la explosin de conocimiento en los campos tratados es su transmisin de un campo a otro. Partiendo de la Matemtica, la Mecnica Celeste y las ciencias de la Tierra, pronto se extendi una conciencia general del caos, los fractales y la teora de las catstrofes a la fsica, la qumica y las ciencias de la vida y, finalmente, a las ciencias sociales y el arte. Notas 1 Ver su La esencia del caos. Debate. Madrid. 2000. 2 Ver P.R. HALMOS (1961). Measure Theory. Van Nostrand Ca, Inc. 3 Ver 50-2, nota 3 del texto antes citado. 4 L.E.J. BROUWER (1975). Collected works. A. Heyting and H. Freudenthal (eds.). New York. Elsevier North Holland. 5 The fractal geometry of Nature. W. H. Freeman and Company. New York. 1983. 6 A new invariant for transitive dynamical systems. DAN USSR. 119 (1958): 861-864. 7 Sur une courbe continue sans tangente, obtenue par une construction geometrique elementaire. Arkiv fur Mathematik, Astronomich Fysik I. (1904): 681-704. 8 Scientific American, 1985 (agosto): 16-25. 9 Recomendamos de Ren Thom su Esbozo de una semiofsica. Gedisa. Barcelona. 1990. 10 DAN.14(1937): 247-251 (en ruso). 11 Differentiable dynamical systems. Bull. Amer. Math. Soc. .73 (1967): 747-817. 12 Otros detalles pueden ser encontrados en , J.E. NPOLES (1995). Una Nota sobre el Teorema de Sarkovskii. Revista Lecturas Matemticas 16(2): 211-214. 13 Ver P.H. COLEMAN and L. PIETRONERO (1992). The fractal nature of the universe. Physica A 185(1-4): 45-55, R. CRENTZBURG et al. (1992). Fast algorithm for compecting the fractal dimensin of binary images. Physica A 185(1-4): 56-60 y J. GLEICK (1987). Chaos. Viking Press.

52

Revista Argentina de Enseanza de la Ingeniera - Ao 1 N 2 - Diciembre de 2000