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 .. 52 53 54 55 56 57 < 58 > 59 60 61 62 63 64 .. 99 >> Next Example 1. Consider the 2-torus K2 and identity (z, w) e K2 with (I, w). i.e. an element of K2 is identified with its group inverse. This identification is two-to-one except at the four points (1,1), (1,-1), (ŌĆö1,1) ana (-1,-1) which are their own group inverses. The identification space with the quotient topology is homeomorphic to the 2-sphere S2. Let čä:ąÜ2 -*S2 be the projection. Let A:K2-*K2 be a continuous automorphism. Since A maps equivalence classes to equivalence classes it induces a homeomorphism T:S2 -* S2. Clearly 7 is a factor of A. We shall see later that A is expansive if the matrix [/1] has no eigenvalues of unit modulus. However the homeomorphism T:S2 -* S2, induced by such an expansive A: ąÜ2 -* K2, is not expansive. To see this let us use additive notation on K2, so the identification means (x, y) + Z2 is identified with (ŌĆöx, ŌĆö y) + Z2. Let Vs, Vu be the eigenspaces in R2 corresponding to the eigenvalues As, /ŌĆ× of the linear transformation A where |as| < 1 and |AŌĆ×| > 1. (s denotes stable and ąĖ denotes unstable.) Let e > 0 be given and choose any point (x, y) in the Euclidean ball in R2 with centre (0,0) and radius e. Consider the parallelogram deter-
mined by the translates of Vs, Vu that go through (x, y) and those that pass through (ŌĆöx, ŌĆö y). The other vertices have the form (u, v) and ( ŌĆö u, ŌĆö v) and all the vertices are contained in the Euclidean ball of radius ce for
┬¦5.6 Expansive Homeomorphisms
141
some constant čü depending only on the slopes of Vs and Vu. Nonce that | ąø"(čģ, JŌĆÖ) ~ A"(u, d)|| = i┬Ż||(x, čā) - (ąĖ, i)\\ if n < 0 since (u, v) - (x, y) e Vu, and | ąø"(čģ, y) - AŌĆØ( ŌĆö u, ŌĆö1;)|| = K\\(x, y) - (-u, -d)|| if n > 0 since (-u, -d) -(ą║, y) e Vs. So if d is the metric on the torus induced from ||-||, and if we write (x, y) rather than (x, y) + Z2 as a point of K2, we have d(An(x, y), An(u, v) j < 2ce V/i ┬Ż 0 and rf(4n(x,y), A"( ŌĆö u, ŌĆöv)) < 2ce Vn 2 0. If T:S2 -* S2 had a generator čā ŌĆö {ąĪ,,..., Ck} then čä~1čā would have the property that each set ą¤ą┐┬░= -┬╗ ąÉ~ą┐čä~1ąĪ1ą┐ contains at most one equivalence class. Choose ą│ so that 2ce is a Lebesgue number for the open cover čä~ ly of K2. The above shows that some set ŌĆ× ąÉ~ŌĆØčä~ lCin contains the equivalence class of (x, y) and the equivalence class of (ąĖ, v), contradicting the fact that it contains at most one equivalence class.
Example 2. Let Tz = az be a minimal rotation of K. We shall represent T as a factor of a subset of the two-sideo shift on two symbols. Consider the cover of ąÜ by the closed intervals (arcs) between ŌĆö 1 and 1 on K. Call one of them A0 and the other A1. If z e K\{an, ŌĆöan:,neZ} we can uniquely asso-
ciate a member of ą¤-ąŠčü {0,1} to z by z -+ {a,,}-* if TŌĆØz e Aan. Let ąø denote the subset of ą¤-*> {0,1} arising in this way. Let \p:K\{an, ŌĆöa":neZ}-*A be the map defined above. We want to show čä is injective and the inverse map can be extended to a continuous map čä:ąø~* K. We do this by proving for each e > 0 there is an integer N such that if x, čā e K\{an, ŌĆöan:neZ} and (^(x))ŌĆ× = (čä(čā))ŌĆ× for |n| < N then d(x, y) < e. Suppose e > 0 is given. Choose N > 0 so that {1,ą░┬▒1,ą╣┬▒2,...,čÅ┬▒ą╗'} is e/2-dense in K. Suppose x, ąĘ e ŌĆöa":n e Z} and (^(x))ŌĆ× = (čä(čā))ą┐ for |ąĖ| < N. We shall show
d(x, y) < e. The assumption (čä(čģ))ŌĆ× ŌĆö(čä(čā))ŌĆ×, |ąĖ| < N means that anx and a"y belong to the same element of the cover for |n| < N. If čā = ŌĆö x then this clearly cannot happen. So suppose the counter-clockwise distance from čā to x is smaller than the clockwise distance. For some n with (n| < N a"x is in the open interval of hngth e starting at 1 and going counter-clockwise. Hence iąóčā must also be in the upper half of the circle and by the assumption about the relative positions of x and y, any must be between 1 and a"x. Hence d(aŌĆØx,a!ŌĆśy) < e and so d(x, y) < e.
Since čäąó = Sip, where S denotes the shift, we have čäąæ(čģ) = ąóčä(čģ) Vx e A where čä:ąø~* ąÜ denotes the extension of čä~1. The continuous map čä is
142
5 Topulogical Dynamics
surjective because čä(ąø) is a closed subset of ąÜ containing the dense set
X1. We shall see later that ┬Ż is an expansive homeonormphism whereas T, being an isometry, is not expansive.
We shall now show that every expansive homeomorphism is a factor of a sub^t of a two-sided shift.
We shall need to use the following result which is similar to half of Theorem 5.21. Recall that the diameter of a cover is the supremum of the diameters of its members.
Theorem 5.23. Let T be an expansive homeomorphism of a compact metric space (X,d) and let 8 be an expansive constant. Let čā be a finite cover of X (not necessarily an open cover) by sets {C,,.. ., Cr} with Qiam (C;) < <5, 1 < j <r. Then diam(\/"= T~jy) -* 0 as n -+ oo.
Proof. Suppose the conclusion is false. There exists e0 > 0 a subsequence {ąĖ,} of natural numbers, points x;, y, with d(xit y;) > e0 and xf, yt e P)"'= T~JC,} where Cimj e y. We can choose a subsequence {ik} of natural members such that xik ŌĆöŌ¢║ x and yik -* y. Hence d(x, y) > ┬Ż0. Consider the sets Cik 0. Infinitely many of them coincide so for some C,0 e y, xik, yik e C,0 for infinitely many k. Therefore x, čā e C,0. Similarly, for each j infinitely many of the sets Cf coincide so there is some Ctj e čā with x, _y e T~]Ct.. Therefore d(TJx, Tjy) < 8 V/ e Z ana so x = y, contradicting d(x, y) > e0. Ō¢Ī Previous << 1 .. 52 53 54 55 56 57 < 58 > 59 60 61 62 63 64 .. 99 >> Next 