Вы находитесь на странице: 1из 2

Teorı́a Ergódica Infinita

Aaronson y la normalización de Birkhoff

Juan Diego Pérez Sierra


201621415
16 de noviembre de 2019

Resumen
En este proyecto se reúnen algunos de los teoremas ergódicos más importantes en medida
infinita. Se prestará particular atención a la proposición de Aaronson sobre la normalización del
teorema de Birkhoff y a su respectiva demostración. Asimismo, se estudiarán los teoremas de la
razón de Hopf y de Hurewicz y sus respectivas demostraciones. Además, se darán ejemplos de
transformaciones con medidas invariantes infinitas que intuitivamente expliquen los resultados
anteriores. A lo largo de este documento Sn (B) denotará el número de ocupaciones en B (i.e.
Pn−1
Sn (B) := k=0 1B ◦ T k ) y B + denotará los conjuntos de borel de medida positiva.
El teorema ergódico de Birkhoff, en su versión clásica, establece que en un espacio de pro-
babilidad los promedios espaciales son iguales a los promedios temporales casi siempre. Más
precisamente, si (X, B, µ, T ) es un espacio de medida σ-finito que preserva T y µ(X) < ∞
entonces para todo B ∈ B + :
1 µ(B)
Sn (B) −→ a.e.
n µ(X)
Es importante indicar que el teorema de Birkhoff muestra la relación asintótica entre los tiempos
de visita Sn (B)(x) (para casi todo x ∈ X) y µ(B). De esta manera, la probabilidad de que un
punto arbitrario visite a B en las siguientes n iteraciones solo depende de la medida de B. Ahora
bien, en el caso de medida infinita el teorema de Birkhoff establece que: Si µ(X) = ∞, entonces
para todo B ∈ B +
1
Sn (B) −→ 0 a.e.
n
Por tanto, se desconce la relación asintótica entre el número de visitas y su dependencia con el
conjunto B. La pregunta natural es: ¿qué tan lentamente un punto arbitrario x ∈ X visita a B?
Equivalentemente, si existe una sucesión (an )n≥1 ⊂ (0, ∞) tal que

1
Sn (B) −→ µ(B)
an

La respuesta a esta pregunta es negativa. Aaronson [1] probó que para cualquier sucesión ocurre
que lı́m sup a1n Sn (B) = ∞ a.e. o bien que lı́m inf a1n Sn (B) = 0 a.e., es decir, cualquier norma-
n→∞ n→∞
lización de Birkhoff sobreestima o subestima el número de visitas Sn (B). En conclusión, la tasa
a la cual Sn (B) diverge a infinito depende sustancialmente del punto de elección x ∈ X.
Otros teoremas ergódicos que se estudiarán son los teoremas de la razón de Hopf y Hurewicz.
Por ahora, solo mencionamos sus enunciados (con el objetivo de presentarlos) sin comentar sobre
sus implicaciones.

1
Teorema de la razón de Hopf Sea (X, B, µ, T ) un espacio que preserva T y A, B ∈ B + ,
entonces
Sn (A) µ(A)
−→ a.e.
Sn (B) µ(B)

Teorema de la razón de Hurewicz Sea P : L1 (µ) → L1 (µ) tal que


Z Z
f P(u)dµ = (f ◦ T )udµ ∀ f ∈ L∞ (µ)
X X

entonces Pn−1
k=0 Pk (1A ) µ(A)
Pn−1 k
−→ a.e.
k=0 P (1B )
µ(B)

Objetivos
Estudiar y probar el teorema de Aaronson. Nos basaremos en [1] y [4].
Estudiar ejemplos concretos de transformaciones con medidas invariantes infinitas, para
ello nuestra fuente principal será [2].

Estudiar y probar el teorema de la razón de Hopf [3].


Estudiar y probar el teorema de la razón de Hurewicz [1].

Referencias
[1] J. Aaronson. An Introduction to Infinite Ergodic Theory. Mathematical surveys and mono-
graphs. American Mathematical Society, 1997.
[2] Maximilian Thaler. Transformations on [0, 1] with infinite invariant measures. Israel Journal
of Mathematics, 46(1):67–96, Jun 1983.

[3] R. Zweimüller. Hopf’s ratio ergodic theorem by inducing. Colloq. Math., 101:289–292, 2004.
[4] R. Zweimüller. Surrey notes on infinite ergodic theory. https://mat.univie.ac.at/ zweimue-
ller/MyPub/SurreyNotes.pdf, 2009.