En la teoría de los sistemas dinámicos , la mezcla es la propiedad de un sistema de "olvidar" información sobre la condición inicial a lo largo del tiempo. Más precisamente, se hace una distinción entre mezcla topológica y métrica . El primero se refiere a la teoría de los sistemas continuos y, en términos generales, establece que no importa cuán exactamente se conozca la posición inicial de un punto, con el tiempo su posible ubicación se vuelve un conjunto cada vez más denso. El segundo se refiere a la teoría de los sistemas medibles -sistemas que conservan alguna medida- y establece que la distribución es absolutamente continua con respecto a la medida (por ejemplo, restricciones sobre un subconjunto dadocondiciones iniciales) en las iteraciones tiende a la medida en sí .
Sea un atractor de un sistema caótico sobre el que se dan el operador de evolución del sistema y una medida invariante . Segmentamos el atractor en 2 regiones, y La razón de la medida de los puntos de la región que, a través de las iteraciones del operador de evolución , cayeron en la región se puede escribir de la siguiente manera:
El operador de evolución es una mezcla si at , el valor no depende de la elección de la región y está determinado por la relación at . Esta fórmula, desde un punto de vista físico, describe el desdibujamiento de cualquier área de condiciones iniciales sobre todos los atractores . En el límite, , la medida de las imágenes de los puntos del conjunto en el conjunto es igual a la medida del conjunto en el atractor para conjuntos arbitrarios y [1]
Por definición, se dice que un sistema dinámico (continuo) se mezcla topológicamente si, para cualesquiera dos conjuntos abiertos no vacíos ,
o, lo que es lo mismo,
En particular, esto significa que para cualquier conjunto abierto dado y no vacío , todas las iteraciones con un número suficientemente grande resultan ser densas en el espacio de fase.
La mezcla topológica es una propiedad más fuerte que la transitividad . Así, una rotación irracional de un círculo es transitiva, pero no se mezcla.
Por definición, se dice que un mapeo medible que preserva la medida se mezcla métricamente si para dos conjuntos medibles cualquiera ,
En términos de funciones integrables, esto es equivalente a decir que para dos funciones cualesquiera ,
La ergodicidad de una medida es una condición necesaria pero no suficiente para la mezcla métrica. Así, una rotación irracional de un círculo conserva su medida ergódica de Lebesgue , pero no se mezcla métricamente.