Ver el código de «Teoría ergódica»

[[Archivo:Hamiltonian flow classical.gif|mini|300px|Evolución de un conjunto de sistemas clásicos en el espacio de fases (arriba). Los sistemas son partículas masivas en un pozo de potencial unidimensional (curva roja, figura inferior). El conjunto inicialmente compacto se arremolina con el tiempo y se ''esparce'' por el espacio de fases. Sin embargo, este no es un comportamiento ergódico, ya que los sistemas no visitan el pozo de potencial del lado izquierdo]]

La '''teoría ergódica''' se dedica principalmente al estudio matemático del comportamiento promedio a largo plazo de los [[Sistema dinámico|sistemas dinámicos]].

En [[matemáticas]], una transformación <math>T</math> que preserva la [[Teoría de la medida|medida]] en un espacio  [[medible]] se dice que es '''ergódica''' si todo conjunto medible que es [[invariante]] bajo la transformación <math>T</math>, tiene medida 0 o 1. 

Un antiguo término para denominar a esta propiedad era '''métricamente transitivo'''.  Existen dos teoremas fundamentales en la teoría ergódica, el de [[George David Birkhoff|Birkhoff]] y el de [[John von Neumann|von Neumann]]; se cree que aunque el de Birkhoff se publicó con anterioridad, el de von Neumann se demostró antes. El teorema de von Neumann se refiere a convergencia en L1, mientras que el de Birkhoff se refiere a la convergencia puntual. 

==Aspectos generales==
La ''teoría ergódica'' es una rama de las [[matemáticas]] que estudia las propiedades [[estadística]]s de los [[sistema dinámico|sistemas dinámicos]] deterministas, lo que también se define como el estudio de la [[ergodicidad]]. En este contexto, el término ''propiedades estadísticas'' se refiere a aquellas propiedades que se expresan a través del comportamiento de la [[media móvil]] de varias funciones en trayectorias de sistemas dinámicos. La noción de sistemas dinámicos deterministas supone que las ecuaciones que determinan la dinámica no contienen ninguna perturbación [[aleatoriedad|aleatoria]], [[Datos ruidosos|ruido]] o factor de alteración. Por lo tanto, la ergodicidad se ocupa de las estadísticas objeto de las propiedades de la dinámica.

Como [[teoría de la probabilidad]], se basa en nociones generales de la teoría de la [[Medida (matemáticas)|medida]]. Su desarrollo inicial estuvo motivado por problemas de [[mecánica estadística]].

Una preocupación central de la teoría ergódica es el comportamiento de un sistema dinámico cuando se le permite funcionar durante un período de tiempo largo. El primer resultado en esta dirección es el [[teorema de recurrencia de Poincaré]], que afirma que [[casi todos (matemáticas)|casi todos]] los puntos en cualquier subconjunto del [[espacio fásico]] finalmente vuelven a ser parte del conjunto. Los sistemas para los que se cumple el teorema de recurrencia de Poincaré son [[sistema conservativo|conservativos]], y por lo tanto, todos los sistemas ergódicos son conservativos.

Varios '''teoremas ergódicos''' proporcionan información más precisa que afirma que, bajo ciertas condiciones, el promedio temporal de una función de las trayectorias existe [[casi en todas partes]] y está relacionado con el promedio espacial. Dos de los teoremas más importantes son los de [[George David Birkhoff|Birkhoff]] (1931) y [[John von Neumann|von Neumann]], que afirman la existencia de un promedio de tiempo en cada trayectoria. Para la clase especial de '''sistemas ergódicos''', este promedio de tiempo es el mismo para casi todos los puntos iniciales: estadísticamente hablando, el sistema que evoluciona durante mucho tiempo ''olvida'' su estado inicial. También se han estudiado ampliamente propiedades más fuertes, como el [[mezclado (matemáticas)|mezclado]] y la [[equidistribución]].

El problema de la clasificación métrica de sistemas es otra parte importante de la teoría ergódica abstracta. Las diversas nociones de [[proceso estocástico]] para sistemas dinámicos desempeñan un papel destacado en la teoría ergódica y sus aplicaciones a la [[entropía teórica de la medida|entropía]].

Los conceptos de [[ergodicidad]] y de la [[hipótesis de ergodicidad]] son fundamentales para las aplicaciones de la teoría ergódica. La idea subyacente es que para ciertos sistemas el promedio temporal de sus propiedades es igual al promedio en todo el espacio. Las aplicaciones de la teoría ergódica a otras partes de las matemáticas suelen implicar el establecimiento de propiedades de ergodicidad para sistemas de tipo especial. En [[geometría]], se han utilizado métodos de teoría ergódica para estudiar [[línea geodésica|líneas geodésicas]] sobre [[variedades de Riemann]], comenzando con los resultados de [[Eberhard Hopf]] para la [[superficie de Riemann]] de curvatura negativa. Las [[cadena de Márkov|cadenas de Márkov]] forman un contexto común para aplicaciones en [[teoría de la probabilidad]]. La teoría ergódica tiene conexiones fructíferas con el [[análisis armónico]], la [[teoría de Lie]] (en la [[teoría de representación]] y en [[retículo (subgrupo discreto)|retículos]] en [[grupo algebraico|grupos algebraicos]]) y en [[teoría de números]] (en la teoría de [[aproximación diofántica]], o en la [[función L]]).

==Transformaciones ergódicas==
{{AP|Ergodicidad}}

Las ''transformaciones ergódicas'' son el objeto de la La teoría ergódica. La intuición detrás de tales transformaciones es que actúan sobre un conjunto determinado realizando un trabajo minucioso consistente en ''remover'' sus elementos. Por ejemplo, si el conjunto es una cantidad de papilla de avena caliente en un tazón, y si se deja caer en él una cucharada de almíbar, entonces las iteraciones de la inversa de una transformación ergódica de la avena no permitirán que el almíbar permanezca en una subregión local del tazón, y lo distribuirán uniformemente por todas partes. Al mismo tiempo, estas iteraciones no comprimirán ni dilatarán ninguna porción de la avena, dado que preservan la medida que es su densidad.

La definición formal es la siguiente:

Sea {{math|''T'' : ''X'' &rarr; ''X''}} una [[transformación que preserva la medida]] sobre un [[espacio de medida]] {{math|(''X'', ''Σ'', ''μ'')}}, con {{math|''μ''(''X'') {{=}} 1}}. Entonces {{mvar|T}} es '''ergódico''' si para cada {{mvar|E}} en {{mvar|Σ}} con {{math|μ(''T''<sup>−1</sup>(''E'') Δ ''E'') {{=}} 0}}, ya sea {{math|''μ''(''E'') {{=}} 0}} o {{math|''μ''(''E'') {{=}} 1}}.

El operador Δ aquí es la [[diferencia simétrica]] de conjuntos, equivalente a la operación [[disyunción exclusiva]] con respecto a la pertenencia a conjuntos. La condición de que la diferencia simétrica sea de medida cero se llama ser '''esencialmente invariante'''.

==Ejemplos==
* Una [[rotación irracional]] del [[Grupo circular|círculo]] '''R'''/'''Z''', ''T'': ''x'' → ''x'' + θ, donde θ es [[Número irracional|irracional]], es ergódica. Esta transformación tiene propiedades aún más fuertes de [[ergodicidad]], [[sistema dinámico mínimo|minimidad]] y [[equidistribución]]. Por el contrario, si θ = ''p''/''q'' es racional (en términos mínimos), entonces ''T'' es periódica, con periodo ''q'', y por lo tanto no puede ser ergódica: para cualquier intervalo ''I'' de longitud ''a'', 0 < ''a'' < 1/''q'', su órbita bajo ''T'' (es decir, la unión de ''I'' , ''T''(''I''), ..., ''T''<sup>''q''−1</sup>(''I''), que contiene la imagen de ''I'' bajo cualquier número de aplicaciones de ''T'') es un conjunto mod 0 invariante ''T'' que es una unión de intervalos ''q'' de longitud ''a'', por lo que tiene una medida ''qa'' estrictamente entre 0 y 1.
* Sea ''G'' un [[grupo abeliano]] [[grupo compacto|compacto]], ''μ'' la [[medida de Haar]] normalizada y ''T'' un [[isomorfismo de grupos]] de ''G''. Sea ''G''* el grupo [[Dualidad de Pontriaguin|dual de Pontriaguin]], que consta de los [[Carácter (matemáticas)|caracteres]] continuos de ''G'', y ''T''* sea el [[automorfismo]] adjunto correspondiente de ''G''*. El automorfismo ''T'' es ergódico si y solo si la igualdad (''T''*)<sup>''n''</sup>(''χ'')&nbsp;=&nbsp;''χ'' es posible solo cuando ''n'' &nbsp;=&nbsp;0 o ''χ'' es el [[carácter trivial]] de ''G''. En particular, si ''G'' es el [[Toro (geometría)|toro]] ''n''-dimensional y el automorfismo ''T'' está representado por una [[matriz unimodular]] ''A'', entonces ''T'' es ergódico si y solo si ningún [[vector, valor y espacio propios|autovalor]] de ''A'' es una [[raíz de la unidad]].
* Un [[cambio de Bernoulli]] es ergódico. De manera más general, la ergodicidad de la transformación de cambio asociada con una secuencia de [[variables aleatorias independientes e idénticamente distribuidas]] y algunos [[proceso estacionario|procesos estacionarios]] más generales se deriva de la [[ley cero-uno de Kolmogórov]].
* La ergodicidad de un [[sistema dinámico]] significa que sus trayectorias ''se extienden alrededor'' del [[espacio fásico]]. Un sistema con un espacio de fase compacto que tiene una primera integral no constante no puede ser ergódico. Esto se aplica, en particular, a un [[sistema hamiltoniano]] con una primera integral ''I'' funcionalmente independiente de la función de Hamilton ''H'' y un conjunto de niveles compacto ''X'' = {(''p'',''q ''): ''H''(''p'',''q'') = E} de energía constante. El [[Teorema de Liouville (mecánica hamiltoniana)|teorema de Liouville]] implica la existencia de una medida invariante finita en ''X'', pero la dinámica del sistema está restringida a los conjuntos de niveles de ''I'' en ''X'', por lo que el sistema posee conjuntos invariantes de medida positiva pero menos que completa. Una propiedad de los sistemas dinámicos continuos que es opuesta a la ergodicidad es su [[Sistema hamiltoniano integrable|integrabilidad completa]].

==Teoremas ergódicos==
Sea ''T'': ''X'' → ''X'' una [[transformación que preserva la medida]] sobre un [[espacio de medida]] (''X'', Σ, ''μ'') y supóngase que ƒ es una función ''μ''-integrable, es decir, ƒ ∈ ''L''<sup>1</sup>(''μ''). Entonces, se definen los siguientes ''promedios'':

<blockquote> '''Promedio de tiempo:''' se define como el promedio (si existe) sobre iteraciones de ''T'' comenzando desde algún punto inicial ''x'':

:<math> \hat f(x)= \lim_{n\rightarrow\infty}\; \frac{1}{n} \sum_{k=0}^{n-1} f(T^k x).</math></blockquote>

<blockquote> '''Promedio espacial:''' si ''μ''(''X'') es finito y distinto de cero, se puede considerar el promedio ''espacial'' o de ''fase'' de ƒ:

:<math> \bar f=\frac 1{\mu(X)} \int f\,d\mu.\quad\text{(Para un espacio de probabilidad, } \mu(X)=1.) </math></blockquote>

En general, el promedio de tiempo y el promedio de espacio pueden ser diferentes. Pero si la transformación es ergódica y la medida es invariante, entonces el promedio temporal es igual al promedio espacial [[casi en todas partes]]. Este es el célebre teorema ergódico, en forma abstracta debido a [[George David Birkhoff]] (en realidad, el artículo de Birkhoff no considera el caso general abstracto, sino solo el caso de sistemas dinámicos que surgen de ecuaciones diferenciales en una variedad suave). El [[teorema de equidistribución]] es un caso especial del teorema ergódico, que trata específicamente de la distribución de probabilidades en el intervalo unitario.

Más precisamente, el '''punto a punto''' o '''teorema ergódico fuerte''' establece que el límite en la definición del promedio temporal de ƒ existe para casi cada ''x'' y que la (definida casi en todas partes) función límite <math>\hat f </math> es integrable:

:<math>\hat f \in L^1(\mu). \, </math>

Además, <math>\hat f</math> es ''T'' invariante, es decir

:<math>\hat f \circ T= \hat f \, </math>

se cumple en casi todas partes, y si ''μ''(''X'') es finita, entonces la normalización es la misma:

:<math>\int \hat f\, d\mu= \int f\, d\mu.</math>

En particular, si ''T'' es ergódica, entonces <math>\hat f </math> debe ser una constante (casi en todas partes), por lo que se tiene que

:<math>\bar f= \hat f \, </math>

casi en cualquier parte. Uniendo la primera a la última afirmación y suponiendo que ''μ''(''X'') es finita y distinta de cero, se tiene que

:<math>\lim_{n\rightarrow\infty}\; \frac{1}{n} \sum_{k=0}^{n-1} f(T^k x)= \frac 1 {\mu(X)} \int f\,d\mu </math>

para [[casi todos (matemáticas)|casi todo]] ''x'', es decir, para todos los ''x'' excepto un conjunto de [[Medida de Lebesgue|medida]] cero.

Para una transformación ergódica, el promedio temporal es casi seguramente igual al promedio espacial.

Como ejemplo, supóngase que el espacio de medidas (''X'', Σ, ''μ'') modela las partículas de un gas como se muestra arriba, y sea ƒ(''x'') la [[velocidad]] de la partícula en la posición ''x''. Entonces, los teoremas ergódicos puntuales dicen que la velocidad promedio de todas las partículas en un momento dado es igual a la velocidad promedio de una partícula en el tiempo.

Una generalización del teorema de Birkhoff es el [[teorema ergódico subaditivo de Kingman]].

==Formulación probabilística: teorema de Birkhoff-Khinchin==<!-- This section, with the title "Probabilistic formulation: Birkhoff–Khinchin theorem" (with an en-dash, not a hyphen), is linked from six redirect pages. -->

'''Teorema de Birkhoff-Khinchin'''. Sea ƒ medible, ''E''(|ƒ|) < ∞ y ''T'' sea una aplicación que preserva la medida. Entonces [[Casi seguro|con probabilidad 1]]:

:<math>\lim_{n\rightarrow\infty}\; \frac{1}{n} \sum_{k=0}^{n-1} f(T^k x)=E(f \mid \mathcal{C})(x),</math>

donde <math>E(f|\mathcal{C})</math> es la [[esperanza condicional]] dada la σ-álgebra <math>\mathcal{C}</math> de conjuntos invariantes de T.

'''Corolario''' ('''Teorema ergódico puntual'''): en particular, si ''T'' también es ergódica, entonces <math>\mathcal{C}</math> es el σ-álgebra trivial y, por lo tanto, con probabilidad 1:

:<math>\lim_{n\rightarrow\infty}\; \frac{1}{n} \sum_{k=0}^{n-1} f(T^k x)=E(f).</math>

==Teorema ergódico medio==
'''Teorema ergódico medio de von Neumann''', que se cumple en espacios de Hilbert.<ref>{{Citation|last1=Reed|first1=Michael|title=Functional Analysis|volume=1|year=1980|series=Methods of Modern Mathematical Physics|edition=Rev.|publisher=Academic Press|isbn=0-12-585050-6|last2=Simon|first2=Barry}}</ref>

Sea ''U'' un [[operador unitario]] sobre un [[espacio de Hilbert]] ''H''; o de manera más general, un operador lineal isométrico (es decir, un operador lineal no necesariamente sobreyectivo que satisface ‖''Ux''‖ = ‖''x''‖ para todo ''x'' en ''H'', o de manera equivalente, que satisface ''U''*''U'' = I, pero no necesariamente ''UU''* = I). Sea ''P'' el [[operador de proyección]] sobre {''ψ''&nbsp;∈&nbsp;''H''&nbsp;|&nbsp;''Uψ''&nbsp;=&nbsp;ψ}&nbsp;=&nbsp;ker( ''I''−&nbsp;''U'').

Entonces, para cualquier ''x'' en ''H'', se tiene:

:<math> \lim_{N \to \infty} {1 \over N} \sum_{n=0}^{N-1} U^{n} x= P x,</math>

donde el límite se toma con respecto a la norma en ''H''. En otras palabras, la secuencia de promedios

:<math>\frac{1}{N} \sum_{n=0}^{N-1} U^n</math>

converge a ''P'' en [[topología de operador fuerte]].

De hecho, no es difícil ver que en este caso cualquier <math>x\in H</math> admite una descomposición ortogonal en partes de <math>\ker(I-U)</math> y <math>\overline{\operatorname{ran}(I-U)}</math> respectivamente. La primera parte es invariante en todas las sumas parciales a medida que <math>N</math> crece, mientras que para la segunda parte, a partir de una [[serie telescópica]] se tendría que:

:<math>\lim_{N \to \infty} {1 \over N} \sum_{n=0}^{N-1} U^n (I-U)=\lim_{N \to \infty} {1 \over N} (I-U^N)=0</math>

Este teorema se especializa en el caso en el que el espacio de Hilbert ''H'' conste de funciones ''L''<sup>2</sup> en un espacio de medida y ''U'' es un operador de la forma

:<math>Uf(x)= f(Tx) \, </math>

donde T es un endomorfismo de X que conserva la medida, considerado en las aplicaciones como un paso de tiempo de un sistema dinámico discreto.<ref>{{harv|Walters|1982}}</ref> El teorema ergódico afirma entonces que el comportamiento promedio de una función ƒ en escalas de tiempo suficientemente grandes se aproxima mediante el componente ortogonal de ƒ, que es invariante en el tiempo.

En otra forma del teorema ergódico medio, sea ''U<sub>t</sub>'' un [[grupo uniparamétrico]] fuertemente continuo de operadores unitarios en ''H''. Entonces, el operador

:<math>\frac{1}{T}\int_0^T U_t\,dt</math>

converge en la topología de operador fuerte como ''T'' → ∞. De hecho, este resultado también se extiende al caso de un [[semigrupo uniparamétrico]] fuertemente continuo de operadores contractivos en un espacio reflexivo.

Observación: se puede desarrollar cierta intuición para el teorema ergódico medio considerando el caso en el que los números complejos de longitud unitaria se consideran transformaciones unitarias en el plano complejo (mediante multiplicación por la izquierda). Si se elige un único [[número complejo]] de longitud unitaria (que se denota como ''U''), es intuitivo que sus potencias llenarán el círculo. Dado que el círculo es simétrico alrededor de 0, tiene sentido que los promedios de las potencias de ''U'' converjan a 0. Además, 0 es el único punto fijo de ''U'', por lo que la proyección en el espacio de puntos fijos debe ser el operador cero (que concuerda con el límite que se acaba de describir).

==Convergencia de las medias ergódicas en las normas ''L<sup>p</sup>''==
Sea (''X'', Σ, ''μ'') un espacio de probabilidad como el anterior con una medida que preserva la transformación ''T'', y sea 1 ≤ ''p'' ≤ ∞. La expectativa condicional con respecto a la sub-σ-álgebra Σ<sub>''T''</sub> de los conjuntos ''T''-invariantes es un proyector lineal ''E<sub>T</sub>'' de la norma 1 del espacio de Banach ''L<sup>p</sup>''(''X'' , Σ, ''μ'') en su subespacio cerrado ''L<sup>p</sup>''(''X'', Σ<sub>''T''</sub>, ''μ''). Este último también puede caracterizarse como el espacio de todas las ''T''- funciones invariantes ''L<sup>p</sup>'' en ''X''. Los medios ergódicos, como operadores lineales en ''L<sup>p</sup>''(''X'', Σ, ''μ''), también tienen norma de operador unitaria; y, como simple consecuencia del teorema de Birkhoff-Khinchin, convergen al proyector ''E<sub>T</sub>'' en la [[topología de operador fuerte]] de ''L<sup>p</sup>'' si 1 ≤ ''p'' ≤ ∞, y en la [[topología de operador débil]] si ''p'' = ∞. Además, es cierto si 1 < ''p'' ≤ ∞ entonces el teorema de convergencia ergódica dominada de Wiener-Yoshida-Kakutani establece que las medias ergódicas de ƒ ∈ ''L<sup>p</sup>'' están dominadas en ''L<sup>p</sup>''; sin embargo, si ƒ ∈ ''L''<sup>1</sup>, es posible que los medios ergódicos no logren ser equidominados en ''L<sup>p</sup>''. Finalmente, si se supone que ƒ es de la clase de Zygmund, es decir |ƒ| log<sup>+</sup>(|ƒ|) es integrable, entonces las medias ergódicas están incluso dominadas en ''L''<sup>1</sup>.

==Tiempo de estancia==
Sea (''X'', Σ, ''μ'') un espacio de medida tal que ''μ''(''X'') sea finito y distinto de cero. El tiempo pasado en un conjunto mensurable ''A'' se denomina ''tiempo de estancia''. Una consecuencia inmediata del teorema ergódico es que, en un sistema ergódico, la medida relativa de ''A'' es igual al [[tiempo medio de estancia]]:

:<math> \frac{\mu(A)}{\mu(X)}= \frac 1{\mu(X)}\int \chi_A\, d\mu= \lim_{n\rightarrow\infty}\; \frac{1}{n} \sum_{k=0}^{n-1} \chi_A(T^k x) </math>

para todo ''x'' excepto para un conjunto de [[Medida de Lebesgue|medida]] cero, donde χ<sub>''A''</sub> es la [[función indicatriz]] de ''A''.

Los '''tiempos de ocurrencia''' de un conjunto mensurable ''A'' se define como el conjunto ''k''<sub>1</sub>, ''k''<sub>2</sub>, ''k''<sub>3</sub>, ..., de tiempos ''k'' tal que ''T<sup>k</sup>''(''x'') esté en ''A'', ordenado en orden creciente. Las diferencias entre tiempos de ocurrencia consecutivos ''R<sub>i</sub>'' = ''k<sub>i</sub>'' &minus; ''k''<sub>''i''&minus;1</sub> se denominan '''tiempos de recurrencia''' de ''A''. Otra consecuencia del teorema ergódico es que el tiempo de recurrencia promedio de ''A'' es inversamente proporcional a la medida de ''A'', suponiendo que el punto inicial ''x'' está en ''A'', por lo que que ''k''<sub>0</sub> = 0.

:<math> \frac{R_1 + \cdots + R_n}{n} \rightarrow \frac{\mu(X)}{\mu(A)} \quad\text{(casi seguro)}</math>

Es decir, cuanto más pequeña es ''A'', más tiempo se tarda en volver a ella (véase ''[[casi seguro]]'').

==Flujos ergódicos en variedades==
La ergodicidad de las [[línea geodésica|líneas geodésicas]] en [[Superficie de Riemann|superficies de Riemann]] [[Espacio compacto|compactas]] de [[Curvatura de Gauss|curvatura]] negativa variable y en [[variedad hiperbólica|variedades de curvatura negativa constante]] compactas de cualquier dimensión fue probada por [[Eberhard Hopf]] en 1939, aunque se habían estudiado casos especiales antes (véase, por ejemplo, los ''[[billares de Hadamard]]'' (1898) y el ''[[billar de Artin]]'' (1924)). La relación entre los flujos geodésicos en las superficies de Riemann y los subgrupos de un parámetro en [[SL2(R)|SL(2, '''R''')]] fue descrita en 1952 por [[S. V. Fomin]] e [[Izrail Guelfand]]. El artículo sobre el [[flujo de Anosov]] proporciona un ejemplo de flujos ergódicos en SL(2, ''R''') y en superficies de Riemann de curvatura negativa. Gran parte del desarrollo descrito allí se generaliza a variedades hiperbólicas, ya que pueden verse como cocientes del [[espacio hiperbólico]] por la [[Acción (matemática)|acción]] de un [[retículo (subgrupo discreto)|retículo]] en el grupo de Lie semisimple [[grupo ortonormal generalizado|SO(n,1)]]. La ergodicidad del flujo geodésico en un [[espacio simétrico de Riemann]] fue demostrada por [[Friederich Ignaz Mautner|F. I. Mautner]] en 1957. En 1967, [[Dmitri Anósov]] y [[Yákov Sinái]] demostraron la ergodicidad del flujo geodésico en variedades compactas de [[curvatura seccional]] negativa variable.  [[Calvin C. Moore]] dio en 1966 un criterio simple para la ergodicidad de un flujo homogéneo en un [[espacio homogéneo]] de un [[álgebra de Lie semisimple]]. Muchos de los teoremas y resultados de esta área de estudio son típicos de la [[Rigidez (matemáticas)|teoría de la rigidez]].

En la década de 1930, [[G. A. Hedlund]] demostró que el flujo del horociclo en una superficie hiperbólica compacta es mínimo y ergódico. [[Hillel Furstenberg]] estableció la ergodicidad única del flujo en 1972. El [[teorema de Ratner]] proporciona una generalización importante de la ergodicidad para flujos unipotentes en los espacios homogéneos de la forma Γ&nbsp;\&nbsp;''G'', donde ''G'' es un [[grupo de Lie]] y Γ es un retículo en ''G''.

Desde comienzos del {{siglo|XXI||s}}, se han publicado numerosos trabajos tratando de encontrar un teorema de clasificación de medidas similar a los teoremas de [[Marina Ratner|Ratner]] pero para acciones diagonalizables, motivados por las conjeturas de Furstenberg y [[Grigori Margulis|Margulis]]. [[Elon Lindenstrauss]] demostró un resultado parcial importante (resolver estas conjeturas con un supuesto adicional de entropía positiva), y recibió la [[medalla Fields]] en 2010 por este resultado.

==Véase también==
*[[Teoría del caos]]
*[[Hipótesis de ergodicidad]]
*[[Proceso ergódico]]
*[[Principio de Kruskal]]
*[[Efecto Lindy]]
*[[Tiempo de Liapunov]] – el límite de tiempo para la [[predecibilidad]] del sistema
*[[Teorema ergódico del máximo]]
*[[Teorema del isomorfismo de Ornstein]]
*[[Mecánica estadística]]
*[[Dinámica simbólica]]

==Referencias==
{{listaref}}

==Referencias históricas==
*{{Citation|last=Birkhoff|first=George David|title=Proof of the ergodic theorem|url=http://www.pnas.org/cgi/reprint/17/12/656|work=Proc. Natl. Acad. Sci. USA|volume=17|issue=12|pages=656–660|year=1931|bibcode=1931PNAS...17..656B|doi=10.1073/pnas.17.12.656|pmc=1076138|pmid=16577406|author-link=George David Birkhoff}}.
*{{Citation|last=Birkhoff|first=George David|title=What is the ergodic theorem?|work=Amer. Math. Monthly|volume=49|issue=4|pages=222–226|year=1942|doi=10.2307/2303229|jstor=2303229|author-link=George David Birkhoff}}.
*{{Citation|last=von Neumann|first=John|title=Proof of the Quasi-ergodic Hypothesis|work=Proc. Natl. Acad. Sci. USA|volume=18|issue=1|pages=70–82|year=1932|bibcode=1932PNAS...18...70N|doi=10.1073/pnas.18.1.70|pmc=1076162|pmid=16577432|author-link=John von Neumann}}.
*{{Citation|last=von Neumann|first=John|title=Physical Applications of the Ergodic Hypothesis|work=Proc. Natl. Acad. Sci. USA|volume=18|issue=3|pages=263–266|year=1932|bibcode=1932PNAS...18..263N|doi=10.1073/pnas.18.3.263|jstor=86260|pmc=1076204|pmid=16587674|author-link=John von Neumann}}.
*{{Citation|last=Hopf|first=Eberhard|title=Statistik der geodätischen Linien in Mannigfaltigkeiten negativer Krümmung|work=Leipzig Ber. Verhandl. Sächs. Akad. Wiss.|volume=91|pages=261–304|year=1939|author-link=Eberhard_Hopf}}.
*{{Citation|last1=Fomin|first1=Sergei V.|title=Geodesic flows on manifolds of constant negative curvature|work=Uspekhi Mat. Nauk|volume=7|issue=1|pages=118–137|year=1952|last2=Gelfand|first2=I. M.|author-link=Sergei Fomin|author-link2=Israel Gelfand}}.
*{{Citation|last=Mautner|first=F. I.|title=Geodesic flows on symmetric Riemann spaces|work=Ann. Math.|volume=65|issue=3|pages=416–431|year=1957|doi=10.2307/1970054|jstor=1970054|author-link=Friederich Ignaz Mautner}}.
*{{Citation|last=Moore|first=C. C.|title=Ergodicity of flows on homogeneous spaces|work=Amer. J. Math.|volume=88|issue=1|pages=154–178|year=1966|doi=10.2307/2373052|jstor=2373052|author-link=Calvin C. Moore}}.

==Referencias modernas==
* {{springer|author=D.V. Anosov|title=Ergodic theory|id=e/e036150}}
* {{PlanetMath attribution|id=1996|title=ergodic theorem}}
* [[Vladímir Arnold]] y André Avez, ''Ergodic Problems of Classical Mechanics''. New York: W.A. Benjamin. 1968.
* Leo Breiman, ''Probability''. Edición original publicada por Addison – Wesley, 1968; reimpreso por la Sociedad de Matemáticas Industriales y Aplicadas, 1992. {{ISBN|0-89871-296-3}}. ''(Véase Capítulo 6.)''
* {{Citation|last=Walters|first=Peter|title=An introduction to ergodic theory|url=https://archive.org/details/introductiontoer0000walt|volume=79|year=1982|series=Graduate Texts in Mathematics|publisher=[[Springer Science+Business Media]]|isbn=0-387-95152-0|zbl=0475.28009}} 
* {{Citation|title=Ergodic theory, symbolic dynamics and hyperbolic spaces|year=1991|editor-last=Bedford|editor-first=Tim|publisher=Oxford University Press|isbn=0-19-853390-X|editor2-last=Keane|editor2-first=Michael|editor3-last=Series|editor3-first=Caroline}} ''(A survey of topics in ergodic theory; with exercises.)''
* Karl Petersen. Ergodic Theory (Cambridge Studies in Advanced Mathematics). Cambridge: Cambridge University Press. 1990.
* Joseph M. Rosenblatt y Máté Weirdl, ''Pointwise ergodic theorems via harmonic analysis'', (1993) en ''Ergodic Theory and its Connections with Harmonic Analysis, Proceedings of the 1993 Alexandria Conference'', (1995) Karl E. Petersen e Ibrahim A. Salama, ''eds.'', Cambridge University Press, Cambridge, {{ISBN|0-521-45999-0}}. ''(An extensive survey of the ergodic properties of generalizations of the [[equidistribution theorem]] of [[shift map]]s on the [[intervalo unidad|unit interval]]. Se centra en los métodos desarrollados por Bourgain..)''
* [[ Albert Shiryaev|A. N. Shiryaev]], ''Probability'', 2nd ed., Springer 1996, Sec. V.3. {{ISBN|0-387-94549-0}}.
* {{Citation|last=Zund|first=Joseph D.|title=''George David Birkhoff and John von Neumann: A Question of Priority and the Ergodic Theorems, 1931–1932''|journal=Historia Mathematica|volume=29|issue=2|pages=138–156|year=2002|doi=10.1006/hmat.2001.2338}} ''(A detailed discussion about the priority of the discovery and publication of the ergodic theorems by Birkhoff and von Neumann, based on a letter of the latter to his friend Howard Percy Robertson.)''
*  Andrzej Lasota, Michael C. Mackey,  ''Chaos, Fractals, and Noise: Stochastic Aspects of Dynamics''. Second Edition, Springer, 1994.
*  [[Manfred Einsiedler]] y [[Thomas Ward (mathematician)|Thomas Ward]], [https://link.springer.com/book/10.1007/978-0-85729-021-2 Ergodic Theory with a view towards Number Theory]. Springer, 2011.
* [[Jane M. Hawkins|Jane Hawkins]], ''Ergodic Dynamics: From Basic Theory to Applications'', Springer, 2021. {{ISBN|978-3-030-59242-4}}

==Enlaces externos==
* [http://bactra.org/notebooks/ergodic-theory.html Teoría ergódica (16 de junio de 2015)] Notas de Cosma Rohilla Shalizi
* [https://physicsworld.com/a/ergodic-theorem-passes-the-test/ El teorema ergodico pasa la prueba] De Physics World

{{Control de autoridades}}
[[Categoría:Teoría ergódica| ]]
[[Categoría:Teoría de la medida|Teoria ergodica]]
[[Categoría:Mecánica estadística|Teoria ergodica]]
[[Categoría:Geometría hiperbólica]]
[[Categoría:Teoría de probabilidades]]