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 .. 46 47 48 49 50 51 < 52 > 53 54 55 56 57 58 .. 99 >> Next Consider now the north-south map of K. For this map S2(T) = {N,S}. Clearly {N,S} <=. ¬£2{T) since N,S are both fixed points. Let x\$ {N,S) and we show x is wandering Choose —É between T~ ‚Äòx and x. Then –¢—É lies between
xand Tx. Let U be the open arc between —É and –¢—É. Then U is a neighbourhood of x and since T~nU is the open arc with end points T~"y, T~n+1y we see that the sets {T~nU}‚Ñ¢=0 are pairwise disjoint. Therefore x is wandering and
As mentioned before we show in Theorem 6.15 that if —Ü is a orobability on the Borel subsets of X and invariant for T then n(Q(T)) = 1. For the north-south map we can use this to find all the invariant probabilities (see ¬ß6.4).
One can readily compute C2(T) when T: XA -*‚ñÝ XA is a topological Markov chain. The calculation is like the division of a Markov chain into equivalent sets of states.
N
–¢—É
‚ÄòTx
a (T) = {n,s}.
\$5.4 Topological Transitivity
127
¬ß5.4 Topological Transitivity
Topological transitivity is a weakening of minimality. Agam X always denotes a compact metric space.
Definition 5.6
(i) A continuous transformation T: X -* X is called one-sided topologically transitive if there exists some x e X with {–¢"(—Ö)[–∏ > 0} dense in X.
(ii) A homeomorphism T\X X is called topologically transitive if there is some x e X with 0T(x) = {Tn(x)|n e Z} dense in X.
Both of these concepts make sense for a homeomorphism and we shall see how they are related after giving some equivalent forms of the definitions. Recall that a set which is the intersection of a countable collection of open sets is called a Gt.
Theorem 5.8. The following are equivalent for a homeomorphism T: X ‚Äî> X of a compact metric space. >
(i) T is topologically transitive.
(ii) Whenever E is a closed subset of X and –¢–ï = E then either E = X or E is nowhere dense (or, equivalently, whenever U is an open subset of X with TV = U then U = 0 or V is dense).
(iii) Whenever U, V are non-empty open sets then there exists n e Z with
Tn(U) n –£–§0.
(iv) {\ e X:(),(.*) = X} is a dense –°–π.
Proof
(i) => (ii). Suppose 07(xo) = X and let E –§ 0, E closed and –¢–ï = E. Suppose U is open and U —Å E,U –§ 0. Then there exists p with Tp(x0) eUczE so that 0r(xo) —Å: E and X = E. Therefore either E has no interior or E = X.
(ii) => (iii). Suppose U, V –§ 0 are open sets. Then _<*, T"U is an open T-invariant set, so it is necessarily dense by condition (ii). Thus (J‚Äú T"U n V –§ 0.
(iii) => (iv). Let Uu U2, ‚ñÝ ‚ñÝ ‚ñÝ, U‚Äû,... be a countable base for X. Then {—Ö–±–•|–∞–¥ = X} = n‚Äû‚Äù= 1 Um=-co TmU‚Äû and Um=-=o T\UJ is Clearly dense by condition (iii). Hence the result follows.
(iv) => (i). This is clear. ‚ñ°
For the analogous theorem for one-sided transitivity we assume TX = X. Note that if E —Å X the condition E c T~lE is equivalent to –¢–ï c ¬£.
128
5 Topological Dynamics
Theorem 5.9. The following are equivalent for a continuous transformation T:X-*X with TX = X. f
(i) T is one-sided topologically transitive.
(ii) Whenever E is a ct&sed subset of X and E a T_1E then either E ‚Äî X or E is nowhere dense (equivalently, whenever U is an open subset of X and T~lU a U then U = 0 or U is dense).
(iii) Whenever U, V are non-empty open sets there exists n ;> 1 with T~nU n V –§ 0.
(iv) The set of points x with {T"(x)|n > 0} dense in X is a dense G6. Proof
(i) =¬ª (ii). Suppose {T"(x0) | n > 0} is dense in X, and suppose E is closed and –¢–ï —Å E. Suppose U m a non-empty open set with U —Å E. Then Tp(x0) e U for some p ^ 0, so that {–¢–ø(—Ö0)|–∏ > p} a E. Therefore
{x0, T(x0),.. ., Tp~ ‚Äò(x0)} u ¬£ = X.
By applying T to each side we get {T(x0),..., Tp-1(x0)} u E = X so by repeated application of T we have E = X. So if E has interior then E = X.
(ii) => (iii). Suppose U, V are non-empty open sets. Then (J‚Äú=1 T~nU is open and T-HUn^i T~nU) c (J¬ª., T~nU so (Jn¬∞¬∞=1 T~HU is dense by (ii). Therefore T~nU n V –§ 0 for some n > 1.
(iii) => (iv). If is a base for the topology then {x| {T"(x)}‚Äú=0 is dense} = f)*=1 Q‚Äú=0 T~mUn. By (iii) we know (J‚Äú=0 T~mU‚Äû is dense so the result follows.
(iv) =¬ª (i). This is clear. ‚ñ°
The assumption 1 X = X was made because of the type of behaviour occurring in the following example. Let X = {\/n\n ;> 1} u {0} with the induced topology from the real line. Define T.X -¬ªX by T{0) = 0 and T(l/n) = l/(n + 1). Hence T moves each point 1 /n to the'next point on the left. Only the point 1 has a dense forward orbit so statements (i) and (iv) are not equivalent for this example. Also if E = X\{1} then E a T~1E and E is closed so (ii) is violated.
We now consider the connection between the two types of transitivity when T is a homeomorphism.
Theorem 5.10. Let T.X^X be a homeomorphism. Then T is one-sided topologically transitive iff T is topologically transitive and Q(T) = X.
Proof. Suppose {T"(x0)|n > 0} is dense in X. Clearly T is topologically transitive. If Q(T) —Ñ X there is a non-empty open set U such that {T"U\neZ} are pairwise disjoint sets. For some n0 > 0, T"¬∞(x0)g U. Therefore Tn+'l¬∞(xn)e T"U,n> 0, so that only {x0, T(x0),..., Tn¬∞~ ^Xq)} can belong to (J,‚Äú ,7''U Previous << 1 .. 46 47 48 49 50 51 < 52 > 53 54 55 56 57 58 .. 99 >> Next 