En los sistemas dinámicos, un atractor es un conjunto de valores numéricos hacia los cuales un sistema tiende a evolucionar, dada una gran variedad de condiciones iniciales en el sistema.[1] Para que un conjunto sea un atractor, las trayectorias que le sean suficientemente próximas han de permanecer próximas incluso si son ligeramente perturbadas. Geométricamente, un atractor puede ser un punto, una curva, una variedad o incluso un conjunto complicado de estructura fractal conocido como atractor extraño. La descripción de atractores de sistemas dinámicos caóticos ha sido uno de los grandes logros de la teoría del caos.
La trayectoria del sistema dinámico en el atractor no tiene que satisfacer ninguna propiedad especial excepto la de permanecer en el atractor; puede ser periódica, caótica o de cualquier otro tipo.
Los sistemas dinámicos suelen ser definidos en términos de ecuaciones diferenciales. Estas ecuaciones describen el comportamiento del sistema para un período breve. Para determinar el comportamiento del sistema para períodos más largos es necesario integrar las ecuaciones, ya sea analíticamente o por métodos numéricos (iteración), para lo que se ha hecho imprescindible la ayuda de los ordenadores.
Los sistemas dinámicos procedentes de aplicaciones físicas tienden a ser disipativos: si no fuera por alguna fuerza externa el movimiento cesaría. La disipación puede proceder de fricción interna, pérdidas termodinámicas o pérdida de material, entre otras causas. La disipación y la fuerza externa tienden a combinarse para eliminar el transitorio inicial y hacer entrar al sistema en su comportamiento típico. La parte del espacio de fases del sistema dinámico que corresponde al comportamiento típico es el atractor.
Los conjuntos invariantes y los conjuntos límite son conceptos muy relacionados con el de atractor:
Por ejemplo, el péndulo real tiene dos puntos invariantes:el punto x0 de mínima altura y el punto x1 de máxima altura. El punto x0 es también un conjunto límite, pues las trayectorias convergen en él; el punto x1 no es un ciclo límite. Debido a la disipación, el punto x0 es también un atractor. Si no hubiera disipación, x0 no sería un atractor.
En un sistema dinámico con dinámica f(t, •), el atractor Λ es un subconjunto del espacio de fases tal que:
Comúnmente se considera el atractor como un conjunto cerrado formado por los puntos de acumulación o convergencia de las órbitas, así el atractor propiamente dicho puede definirse como:
Siendo cualquier conjunto invariante tal que:
Los atractores son partes del espacio de fases del sistema dinámico. Hasta los años 60, se creyó que los atractores eran conjuntos geométricos del espacio de fases (puntos, líneas, superficies o volúmenes) y que los conjuntos topológicamente extraños eran frágiles anomalías. Stephen Smale demostró que su mapa de herradura de caballo (herradura de Smale)[2] era estructuralmente robusta y que su atractor tenía la estructura de un conjunto de Cantor.
El punto fijo y el ciclo límite son atractores simples o clásicos. Cuando los conjuntos son complicados de describir, nos encontramos ante un atractor extraño.
En los atractores clásicos, todas las trayectorias convergen en un único punto, es decir, todas las trayectorias terminan en un estado estacionario.
Un punto fijo o punto de equilibrio es el punto correspondiente al estado del sistema que permanece constante el tiempo. Ejemplos: el estado final de una piedra que cae, un péndulo o un vaso con agua.
Un ciclo límite es una órbita periódica del sistema que está aislada. Ejemplos: el circuito de sintonía de una radio.
Una trayectoria periódica de un sistema puede ser gobernada por más de una frecuencia. Si dos de estas frecuencias forman una fracción irracional (es decir, si son inconmensurables), la trayectoria no se cerrará y el ciclo límite se convertirá en un toro.
A diferencia de los atractores clásicos, los atractores extraños tienen estructura a todas las escalas. Un atractor es extraño si tiene dimensión de Hausdorff no entera (o "fractal") o si la dinámica en el atractor es caótica.
Ejemplos: mapa de Hénon, atractor de Rössler, atractor de Lorenz