Books in black and white
 Books Biology Business Chemistry Computers Culture Economics Fiction Games Guide History Management Mathematical Medicine Mental Fitnes Physics Psychology Scince Sport Technics

An introduction to ergodic theory - Walters P.

Walters P. An introduction to ergodic theory - London, 1982. - 251 p. Previous << 1 .. 9 10 11 12 13 14 < 15 > 16 17 18 19 20 21 .. 99 >> Next We arc especially interested in the case of the ąĖ-torus K". Recall from ┬¦0.8 that a surjective endomorphism A: Kn -* Kn is given by an n x n matrix [/l] of integers and that Kn can be identified with Zn and the induced action A:Kn -┬╗Kn corresponds to the action of the transpose matrix [X], on Zn.
Corollary 1.10.1. Let A:Kn -* Kn be a surjective continuous endomorphism of ihc n-torus. Then A is ergodic iff the matrix [-4] has no roots of unity as eigenvalues.
Proof. If A is not ergodic Theorem 1.10 gives the existence of q e ZŌĆØ q ąż 0 and ą║ > 0 with [X]J^ = q. Then [jri]* has 1 as an eigenvalue so lhat [/1]ŌĆ× and hence [/1], has a /<-th root of unity as an eigenvalue.
Conversely if [/1], has a k-th root of unity as an eigenvalue then [/i]f has 1 as an eigenvalue. Therefore ([Xjf ŌĆö I)(y) = 0 e RŌĆ£ for some čā e R", and since the matrix [ąø], has integral entries we can find such aye Z". Mence [/)]*_)Ō¢Ā = čā and A is not ergodic by Theorem 1.10. Ō¢Ī
When G is not abelian similar necessary and sufficient conditions for ergodicity of an endomorphism can be stated in terms of the irreducible unitary representations of G. (When G is abelian these representations arc the characters of G.) This has been studied by Kaplansky (Kaplansky ).
(5) For atline transformations of compact metric groups necessary and sufficient conditions for ergodicity are known. The simplest case is when G is a compact, conncctcd, metric, abelien group.
Theorem 1.11. If T(x) ŌĆö a Ō¢Ā /ą”čģ) is an affine transformation of the compact, connected, metric, abelian group G then the following are equivalent:
(i) T is ergodic (relative to Haar measure).
(ii) (a) whenever čā ąŠ Ak = čā for ą║ > 0 then čā < A = čā: and
(b) the smallest closed subgroup containing a and BG (where Bx = a-- 1 ŌĆó ąø(ą░;) is G(i.eŌĆ× [a, BG] = G).
(iii) 3.v0 6 G with {T"(xQ):n > 0} dense in G.
(iv) m({x: [T"x:n > 0 is dense}}) = 1.
(Note that conditions (a) and (b) reduce to the conditions given in (3) and (4) in the special cases. The equivalence of (i) and (ii) was investigated by Hahn, Hoare and Parry.)
32
1 Measure-Preserving Transformations
Prooi First note that ąÆ is an endomorphism of G (but maybe nonsurjective) and commutes with A.
(ii) => (i). Suppose (a) and (b) of (ii) hold. If / ┬░ T = f, f e L2(m), let / = ┬Żą╣;'ąø> V, e G, be the Fourier series of /. Then
Z ą╣.7;(ŌĆ£)?;ąśčģ) = ┬Ż bf/iix). (*)
i i
If y,-, čā,- o/l, y; - /1, are all distinct then = 0 or else ┬Ż|ą;|2 < K violated. Hence, if/),- ąż 0 then čā,- ┬░ A" = y, for some n> 0, and by (ą░) čā ┬░ A = čā But then (*) implies y,(u) ŌĆö 1 and so "/ąöą░') =* 1 VaŌĆś ą╣ [a, EG] and by (b) "ą┤ 1. So / is constant a.e. Therefore T is crgodic by Theorem 1.6(v).
(i) => (iv). This follows by Theorem 1.7.
(vi) => (iii) is trivial.
(iii) => (ii). It remains to show that if 3a'0 6 G with {TŌĆ£x0:n > 0} dense in G then conditions (a) and (b) of (ii) hold. Suppose čā ąŠ Ak = čā, ą║ > 1, čā 6 G. Let
71 = ąŻ ' ąÆ. Then yi(Tkx) = čā ,(a ŌĆó Aa.....Ak~ ŌĆśaJy^/J**) = y{a~ lAku)y1(x) =
y4#4- Hence yx assumes only the finite number of values y^Xo), čā^ąóąźąŠ)...., yl{Tk~1xQ) on the dense set {Tnx0:n > 0} and hence assumes only these values on G. Since G is connected must be constant, and so čāj = 1. Hence čā A = čā and condition (a) holds.
If [a, ┬ŻG] ąż G~\y ąż 1, čā eG, with čā (a) = 1 and y(Bx) = 1 (see (7) of ┬¦0.7). Then y(Tx) = y(x) and so čā assumes only the value y(x0) on the dense set {Tnx0:n > 0} and therefore čā is a constant. Hence čā = 1, a contradiction, and we have shown that (iii) implies (b). Ō¢Ī
When G is Kn the equivalence of (i) and (ii) becomes: T ŌĆö a ŌĆó A is ergodic
iff
(a) the matrix [/1] has no proper roots of unity (i.e., other than 1) as eigenvalues, and
(b) [a.BK"] = Kn.
This is easily proved by a method similar to the one used in (4) for the endomorphism case.
Conditions for ergodicity of affine transformations of compact non-abelian groups may be found in Chu .
(6) We now consider two-sided shift transformations.
Theorem 1.12. The two-sided (p0,... ,pk_ J shift is ergodic.
Prooi. Let .čü/ denote the algebra of all finite unions of measurable rectangles. Suppose T'' E ŌĆö ┬Ż, ┬Ż e ą»?. Let i: > 0 be given, and choose A e .;ŌĆó/ with m\E ąö A) < Then
|čł(ąĢ) ŌĆö ui(/1)j = \m{L n A) + m(E\A) ŌĆö m(A n E) ŌĆö in(A \E)j
< m(E\A) + m(A\E) < e.
Hrgodiaty
33
Choose n0 so large that ąÆ = T~n"A depends upon different coordinates from /1 Then m(B n A) = m(B)m{A) = m(A)2 because in is a product measure. We have
m(EAB) = m(T~nE ąö T~nA) = m(E ąö A) < e,
and since ┬Żąö(/1ą┐ąÆ)čü(┬Żąö/1)ąĖ(┬ŻąöąÆ) we have m(Eąö{A nfi))< 2c. Hencc
|/ąĮ(┬Ż) ŌĆö m(A n ZJ)| < 2e
and
|čł(ąĢ) ŌĆö ┬╗i(b)2| < \m(E) ŌĆö m{A n B)j + \m{A nB) ŌĆö m(┬Ż)2|
< 2c + \m(A)2 - m(E)2|
^ 2c + m(A)\m{A) ŌĆö m(E)| + m(E)\m(A) ŌĆö m(E)\
< 4c.
Since čü is arbitrary m(E) = m(E)2 which implies that m(E) = 0 or 1. Ō¢Ī
(7) By a similar argument, we see that the 1-sided (p0,... ,/?t_i)-shifi is ergodic. Previous << 1 .. 9 10 11 12 13 14 < 15 > 16 17 18 19 20 21 .. 99 >> Next 