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 .. 65 66 67 68 69 70 < 71 > 72 73 74 75 76 77 .. 99 >> Next Proof. We know from Remark 5 that rn(c, A) < s‚Äû(e. A') W: > 0.
(i) Let F be a (n,5/2) spanning set for A of cardinality rn(5,‚Äò2.T). Then
and since for each i B(T‚Äòx; <5/2) is a subset of a member of a we have MV‚Äôi = o
(ii) If e> 0 and —É is an open cover with diam(y) < e then
–ª ‚Äî 1
xeFi=0
T-‚Äòa) <; r‚Äû(S/2,X).
174
7 Topological Entropy
(ii) Let ¬£ be a (n,c) separated set of cardinality s‚Äû(e. A*). No member of the cover Vf=o T~ly can contain two elements of E so –ª‚Äû1—Å. X) < –õ–ú\/–ì=–æ ‚ñÝ –¢~1—É). ‚ñ°
CoroUaty 7.7.1. Let T\X -¬ª X fre a utmtirttmu¬ª —á—à—Ä ¬´–ì–∞ —Å–º–Ω—Ä–º–≥ mctrte space (X, d). Let e > 0. Let ac be the cover of X by all open balls of radius 2c ami let yc be any cover of X by open balls of radius e/2. Then
A'(V < rJbX) < s&M) < n(Vq T-'y^J.
Theorem 7.8. If T:X ‚Äî¬ª X is a continuous map of the compact metric space (X,d) then h(T) = h*(T) i.e. the two definitions of topological entropy coincide.
Proof. If f. > 0 and a¬£,yr are as in Corollary 7.7.1 then h*(T,a,) < f(s, -V, T) < s(e,X,T)< h*(T,yr). If we put f. = I/–ª and let –∏-¬ª x the two end terms converge to h*{T) by Theorem 7.6 and the middle terms to /?(T). ‚ñ°
Remark. If we had set up the definition of this section on a uniform space we could have proved Theorem 7.8, for a compact HaudidorfT space.
Corollary 7.7.1 also gives us
Theorem 7.9. If T:X X is a continuous map of a compact metric space (X,d) then
h(T) = lim lim inf- logr‚Äû(E, X) = lim lim inf - log *‚ñÝ‚Äû(<:, X)
‚Ç-*0 –ü-*00 –ò ¬£ ‚Äî* 0 –õ~* 00 –Ø
(We know by Corollary 7.5.2 that these formulae hold with ‚Äúlim inf‚Äù replaced by ‚Äúlim sup‚Äù.)
Proof Corollary 7.7.1 gives
h*(T,0Lc) < lim inf - log rn(e, X) ^ lim inf - log .—á‚Äû(–µ, X) < h*(T,y,)
n~* oc 91 n~+ oc 97
and then put e = 1 /–∫ and let –∫ -¬ª oo and use Theorem 7.6. ‚ñ°
We now turn to some more properties of topological entropy.
Theorem 7.10
(i) If (X,d) is a metric space, Te L C(X,d)anclm > 0 then ha( Tm) = m hd(T).
(ii) Let (X,,di), i = 1,2, be a metric space and 7, e UC(Xi.di). Define a metric don X l x .X^by </((*1,x2),(y^yj)) = ^^‚ñÝ{di(xl,yi),d2(x2,y2)\-Then
¬ß7.2 Bowen‚Äôs Definition
T, x T2 e UC(Xl x X2. d) and hd{Tt x T2) < + /?dl(T2). 7/ e/rfcer
X, or X2 is compact then hJTt x T2) = /idl(T,) -f hd,(T2).
Proof
(i) Since –≥‚Äû(–µ, K, Tm) < rmn(¬£, –ö, T) we have
- logrn(e. –ö, –¢–ü < ‚Äî logr^e, –ö, T) n mn
and therefore hd(Tm) < m hd(T).
Since T is uniformly continuous, Ve > 0 > 0 such that
d(x,y)<6 implies mux d(TJx, Tjy) < –≥.
OSjsm-1
So an (n, ^-spanning set for –ö with respect to Tm is Jso an {mn, e)-spanning set for –ö with p >ect to T. Hence r‚Äû(S, –ö. T'") > rmn(i, –ö. T), so mr(¬£, –ö, T) < r{5, K, Tm). Therefore
in ‚ñÝ hd(T, K) < hd( –ì—Ç, K).
(ii) Let Ki ¬£ X,- be compact, i = 1. 2. If F, is an (n,*)-spanning set for K, with respect to T- then Ft x F2 is an (H,c)-spanmng set for Kt x K2 with respect to –ì, x –ì2. Hence
r‚Äû(e, x –ö2, T, x T2) < rn(ElK,, –ì,) ‚Ä¢ r‚Äû(t:,K2, T2)
which implies
r(e, Kl x K2, Tl x T2) < r(c, KUTX) + r(v.,K2,T2).
Therefore
kd(Tl x T2, Ki x K2) < hdi(T1,Kl) + hdi(T2,K2).
Let 7t,-:X, x X2 -* X;, i = 1,2 be the projection map. If –ö ¬£ X, x X2 is compact then Kt = 7i,(K) and K2 = n2iK) are compact and –ö ¬£ Kt x K2. Hence
hd{T1 x T2,K)< Zi/7'! x T2, R! x K2).
Therefore
MTj x T2)‚Äî sup hd(TixT2,K)
CSX, x\-j compact
= sup hd(Tl x T2, A', x KJ
X,SA',
AjEA-j
cpt.
< sup /^,(7',, A.',) 4- sup hdl(T2,h2)
K|SX, k2ex2
cpt. cpt.
176
7 Topological Emropy
Now suppose .Vt is compact. (The prc-of is similar if X, is not compact but X2 is compact.) Since any compact subset of X, x X2 is a subset of X, x K2 for some compact subset K2 of X2, we have hJTl x T,) = supf/z^T, x T2, Xi x K2)\K2 is a compact subset of X2}. Let K2 be a compact subset of X2. Let 5 > 0. If ¬£, is –∞ (–∏, <5) separated subset of X, and E2 is a (/j, S) separated subset of K2 then El x E2 .s a (n,fijI separated subset of Xx x K2‚ñÝ Therefore s‚Äû(<5, X1 x K2,T1x T2)>sn(6,Xl.Tl)-sn(6,K2,T2) so
s(5,Xy x K2, T, x Tjl^limsup-QogA^X^Tj + logs^K^T;,)]
–õ-* fj ^
> liminf-logsn((5, Xu TJ + lim sup - log s‚Äû(S, K2, T2).
n~* VC ft n~* 'X ft
Letting 5 -+ 0 we get by Theorem 7.9
MT, x T2,Xl x K2) > + hdi(T2). ‚ñ°
There are examples of homeomorphisms –¢,:–•; ‚Äî> X, (z = 1, 2) of noncompact metric spaces for which x T2) < + ^(Tj). From ihe end of the proof of Theorem 7.10 one can see that one needs
lim sup - [log s‚Äû(S, –ö j, Tj) + log s‚Äû(<5, K2,T2)]
n-*co ft
< lim sup - logs‚Äû(<5, Klt T,) + lim sup - log.<>‚Äû(<5. K2, T2).
n‚ÄîCC ft n‚Äî 00 ft
P. Hulse has shown how to obtain such an example where each X- is the real line equipped with a special metric dt and each Tt is the map x-*x + 1. The idea is that dt differs from the Euclidean metric on some intervals [h, n + 1] and d2 differs from the Euclidean metric on [h, n + 1] for different values of n.
Remark
(16) If T is a homeomorphism with T, T~1 e UC(X, d) then hd(T~*) can differ from hd(T). If T: R -* R is given by Tx = 2x and d is the usual Euclidean metric then we shall see later that hd(T) = log 2 (it is easy to show hd(T) > log 2 by estimating s‚Äû(e, f 0,1])). However T~1 decreases distances so hd(T~l) = 0. Previous << 1 .. 65 66 67 68 69 70 < 71 > 72 73 74 75 76 77 .. 99 >> Next 