Il teorema ergodico - Matematica e Applicazioni
Il teorema ergodico - Matematica e Applicazioni
Il teorema ergodico - Matematica e Applicazioni
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
1.4. IL TEOREMA ERGODICO 19<br />
Supponiamo x ∈ G K , allora:<br />
g K (x) = 1 K<br />
K∑<br />
χ D (T i−1 x) ≤ δ.<br />
i=1<br />
Ora osserviamo questo fatto importante: per definizione dell’insieme D, sia x = (x 1 , x 2 , ..., x n , ...),<br />
allora<br />
T n−1 (x) = (x n , x n+1 , .., ..) ∈ D ⇐⇒ m(n) − n + 1 > L<br />
⇐⇒ |[n, m(n)]| > L.<br />
Se x ∈ G K , dunque, possiamo scrivere<br />
g k (x) = 1 K<br />
=<br />
K∑<br />
χ D (T i−1 (x)) =<br />
i=1<br />
|{n ∈ [1, K] : m(n) − n + 1 > L}|<br />
K<br />
=<br />
|{n ∈ [1, K] : |[n, m(n)]| > L}|<br />
K<br />
≤ δ.<br />
Dunque abbiamo provato che, se x ∈ G K , allora l’insieme C(x), definito in (1.7), è un<br />
(L, δ)-ricoprimento forte dell’intervallo [1, K].<br />
In virtù del Lemma di impacchettamento, quindi, esiste un sottoinsieme<br />
C ′ (x) = {[n i , m(n i )] : i ≤ I(x)} ⊂ C(x),<br />
il quale è un (1 − 2δ)-impacchettamento di [1, K]. Poichè le x i sono nonnegative, gli<br />
intervalli di C ′ (x) sono disgiunti e sono tutti contenuti in [1, K], allora:<br />
I(x)<br />
K∑ ∑<br />
x j ≥<br />
j=1<br />
i=1<br />
m(n i )<br />
∑<br />
j=n i<br />
I(x)<br />
∑<br />
≥ (m(n i ) − n i + 1)[µ(1) + ɛ] =<br />
i=1<br />
I(x)<br />
∑<br />
[µ(1) + ɛ] |[n i , m(n i )]| ≥ [µ(1) + ɛ](1 − 2δ)K.<br />
Ora osserviamo che, poichè ovviamente ∑ K<br />
j=1 x j ≥ ( ∑ K<br />
j=1 x j)χ Gk (x), si ha:<br />
(<br />
∑ K ) ( ( K )<br />
∑ )<br />
E x j ≥ E x j χGk (x)<br />
j=1<br />
j=1<br />
≥<br />
≥ E([µ(1) + ɛ](1 − 2δ)Kχ Gk (x)) = [µ(1) + ɛ](1 − 2δ)KE(χ Gk (x)) =<br />
i=1<br />
= [µ(1) + ɛ](1 − 2δ)Kµ(G k ) ≥ [µ(1) + ɛ](1 − 2δ)K(1 − δ),