06.01.2015 Views

Il teorema ergodico - Matematica e Applicazioni

Il teorema ergodico - Matematica e Applicazioni

Il teorema ergodico - Matematica e Applicazioni

SHOW MORE
SHOW LESS

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 − δ),

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!