arxiv: v2 [math.ds] 22 May 2008

Transcription

1 Rotation set for maps of degree 1 on the graph sigma Sylvie Ruette December 7, 2007 arxiv: v2 [math.ds] 22 May 2008 Abstract For a continuous map on a topological graph containing a unique loop S it is possible to define the degree and, for a map of degree 1, rotation numbers. It is nown that the set of rotation numbers of points in S is a compact interval and for every rational r in this interval there exists a periodic point of rotation number r. The whole rotation set (i.e. the set of all rotation numbers) may not be connected and it is not nown in general whether it is closed. The graph sigma is the space consisting in an interval attached by one of its endpoints to a circle. We show that, for a map of degree 1 on the graph sigma, the rotation set is closed and has finitely many connected components. Moreover, for all rational numbers r in the rotation set, there exists a periodic point of rotation number r. 1 Introduction In [2] a rotation theory is developed for continuous self maps of degree 1 of topological graphs having a unique loop, using the ideas and techniques of [4, 3]. A rotation theory is usually developed in the universal covering space by using the liftings of the maps under consideration. The universal covering of a graph containing a unique loop is an infinite tree modulo 1 (see Figure 1). It turns out that the rotation theory on the universal covering of a graph with a unique loop can be easily extended to the setting of infinite graphs that loo lie the space Ĝ from Figure 2. These spaces are defined in detail in Section 2.1 and called lifted graphs. Each lifted graph T has a subset T homeomorphic to the real line R that corresponds to an unwinding of a distinguished loop of the original graph. In the sequel, we identify T with R T Figure 1: is the graph σ, its universal covering is T Figure 2: The graph is unwound with respect to the bold loop to obtain Ĝ, which is a lifted graph. 1

2 iven a lifted graph T and a map F from T to itself of degree one, there is no difficulty to extend the definition of rotation number to this setting in such a way that every periodic point still has a rational rotation number as in the circle case. However, the obtained rotation set Rot(F) may not be connected. Despite of this fact, it is proven in [2] that the set Rot R (F) corresponding to the rotation numbers of all points belonging to R, has properties which are similar to (although weaer than) those of the rotation interval for a circle map of degree one. Indeed, this set is a compact non empty interval, if p/q Rot R (F) then there exists a periodic point of rotation number p/q, and if p/q Int(Rot R (F)) then for all large enough positive integers n there exists a periodic point of period nq of rotation number p/q. We conjecture that the whole rotation set Rot(F) is closed. In this paper, we prove that, when the space T is the universal covering of the graph σ consisting in an interval attached by one of its endpoint to a circle (see Figure 1), then the rotation set is the union of finitely many compact intervals. Moreover, all rational points r in Rot(F) are rotation numbers of periodic (mod 1) points. It turns out that the proofs extend to a class of maps on graphs that we call σ-lie maps, which are defined in Section Definitions and elementary properties 2.1 Lifted graphs A (topological) finite graph is a compact connected set containing a finite subset V such that each connected component of \V is homeomorphic to an open interval. The aim of this section is to define in detail the class of lifted graphs where we develop the rotation theory. They are obtained from a topological graph by unwinding one of its loops. This gives a new space that contains a subset homeomorphic to the real line and that is invariant by a translation (see Figures 1 and 2). In [2], a larger class of spaces called lifted spaces is defined. Definition 2.1 Let T be a connected closed topological space. We say that T is a lifted graph if there exist a homeomorphism h from R into T, and a homeomorphism τ: T T such that i) τ(h(x)) = h(x+1) for all x R, ii) the closure of each connected component of T \h(r) is a finite graph that intersects h(r) at a single point, iii) the number of connected components C of T \h(r) such that C h([0,1]) is finite. The class of all lifted graphs will be denoted by T. To simplify the notation, in the rest of the paper we identify h(r) with R itself. In this setting, the map τ can be interpreted as a translation by 1. So, for all x T we write x +1 to denote τ(x). Since τ is a homeomorphism, this notation can be extended by denoting τ m (x) by x+m for all m Z. Because of (ii), not all infinite graphs obtained by unwinding a finite graph with a distinguished loop are lifted graphs. The essential property of this class is the existence of a natural retraction from T to R. Definition 2.2 Let T T. The retraction r: T R is the continuous map defined as follows. When x R, then r(x) = x. When x / R, there exists a connected component C of T \R such that x C and C intersects R at a single point z, and we let r(x) = z. 2

3 2.2 Maps of degree 1 and rotation numbers A standard approach to study the periodic points and orbits of a graph map is to wor at lifting level with the periodic(mod 1) points. The results on the lifted graph can obviously been pulled bac to the original graph (see [2]). Moreover, the rotation numbers have a signification only for maps of degree 1, as in the case of circle maps. In this paper, we deal only with maps of degree 1 on lifted graphs. Definition 2.3 Let T T. A continuous map F: T T is of degree 1 if F(x+1) = F(x)+1 for all x T. A point x T is called periodic (mod 1) for F if there exists a positive integer n such that F n (x) x + Z. The period of x is the least integer n satisfying this property, that is, F n (x) x+z and F i (x) x+z for all 1 i n 1. The next easy lemma summarises the basic properties of maps of degree 1 (see for instance [1, Section 3.1]). Lemma 2.4 Let T T and F: T T a continuous map of degree 1. The following statements hold for n N, Z and x T: i) F n (x+) = F n (x)+. ii) (F +) n (x) = F n (x)+n. iii) If : T T is another continuous map of degree 1, then F is a map of degree 1. In particular, F n is of degree 1 for all n 1. We define three types of rotation numbers. Definition 2.5 Let T T, F: T T a continuous map of degree 1 and x T. We set r F n (x) r(x) ρ (x) = liminf F n + n and ρ F (x) = limsup n + r F n (x) r(x). n When ρ (x) = ρ F F (x) then this number will be denoted by ρ F F(x) and called the rotation number of x. We now give some elementary properties of rotation numbers (see [2, lemma 1.9]). Lemma 2.6 Let T T, F: T T a continuous map of degree 1, x T, Z and n N. i) ρ F (x+) = ρ F (x). ii) ρ (F+) (x) = ρ F (x)+. iii) ρ F n(x) = nρ F (x). The same statements hold with ρ instead of ρ. An important object that synthesises all the information about rotation numbers is the rotation set (i.e., the set of all rotation numbers). Since we have three types of rotation numbers, we have several inds of rotation sets. 3

4 Definition 2.7 Let T T and F: T T a continuous map of degree 1. For S T we define the following rotation sets: Rot + S (F) = {ρ (x) x S}, F Rot S (F) = {ρ x S}, and F(x) Rot S (F) = {ρ F (x) x S and ρ F (x) exists}. When S = T, we omit the subscript and we write Rot + (F), Rot (F) and Rot(F) instead of Rot + T (F), Rot T (F) and Rot T(F), respectively. 2.3 σ-lie maps Let T T and F: T T a continuous map of degree 1. Define T R = n 0F n (R) and X F = T \T R r 1 ([0,1)). Then T R T (Lemma 5.2 in [2]), X F is composed of finitely many finite graphs and T = T R (X F +Z). If T is the lifting of the graph σ (see Figure 1), then X F is, either empty, or an interval with an endpoint in T R. Maps with the same property will be called σ-lie maps. Definition 2.8 Let T T and F: T T a continuous map of degree 1. If X F is, either empty, or a nonempty interval such that X F T R is one of the endpoints of X F, we say that F is a σ-lie map and we write F C σ 1 (T). Remar 2.9 If F is a σ-lie map then so is F n, because X F n X F. This paper is devoted to the study of the rotation set of σ-lie maps when X F. The study of the rotation set Rot TR (F) has already been done in [2]. 3 Positive covering Let F C σ 1 (T). The interval X F, when it is not empty, may be endowed with two opposite orders. We choose the one such that minx F is the one-point intersection X F T R. The retraction map r X : T X F can be defined in a natural way by r X (x) = x if x X F and r X (x) = minx F if x T R. The notion of positive covering for subintervals of R has been introduced in [2]. It can be extended for subintervals of any subset of T on which a retraction can be defined. In this paper, we shall use positive covering on X F. All properties of positive covering remain valid in this context. In particular, if a compact interval I positively F-covers itself, then F has a fixed point in I (Proposition 3.5). Definition 3.1 Let T T, F C1 σ(t), I,J two non empty compact subintervals of X F, n a positive integer and p Z. We say that I positively F n -covers J +p and we write I + J +p F n if there exist x y in I such that r X (F n (x) p) minj and maxj r X (F n (y) p). In this situation, we also say that I +q positively F n -covers J +p+q for all q Z. 4

5 Remar 3.2 If F n (x) T R and J X F, then the inequality r X (F n (x) p) minj is automatically satisfied. We shall often use this remar to prove that an interval positively covers another. We introduce some definitions in order to handle sequences of positive coverings. Definition 3.3 Let T T and F C1 σ (T). If we have the following sequence of positive coverings: C: I 0 +p 0 I F n 1 +p 1 I 1 F n 2 +p 2 2 I 1 +p 1 I F n +p, (wherei 0,...,I are non empty compact subintervals of X F, n 1,...,n arepositive integers and p 0,...,p Z), then C is called a chain of intervals for F. Its length is L F (C) = n 1 + +n, and its weight is W F (C) = p p 0. A point x follows the chain C if F n 1+ +n i (x) I i +p i for all 0 i. If i Z, the chain C +i is the translation of C, that is C +i: I 0 +p 0 +i + I F n 1 +p 1 +i + I 1 F n 1 +p 1 +i + I 2 F n +p +i. If C is another chain of intervals beginning with I + p for some p Z, then CC is the concatenation of C and (C p+p ). If I = I 0, then C n is the n-times concatenation C C if n 1 and C 0 is the empty chain. The next properties are straightforward. Lemma 3.4 Let T T and F C σ 1 (T). If C is a chain of intervals for F n, then it is also a chain of intervals for F and L F (C) = nl F n(c) and W F (C) = W F n(c). Since the weight is independent of the power of the map, we shall denote it by W(C). If C,C are two chains of intervals for F that can be concatenated, then L F (CC ) = L F (C)+ L F (C ) and W(CC ) = W(C)+W(C ). The next proposition is [2, Proposition 2.3] (rewritten in some less general form). Proposition 3.5 Let T T, F C σ 1 (T) and C a chain of subintervals of X F such that C starts with some interval I 0 and ends with a translation of I 0 (i.e., I 0 + p for some p Z). Then there exists a point x 0 following the chain C such that F L F(C) (x 0 ) = x 0 +W(C). The next lemma says that if two intervals I,J both positively cover translations of I and J, then every rational number in the interval corresponding to this horseshoe can be obtained as a rotation number of a periodic (mod 1) point. This will be a ey tool. Lemma 3.6 Let T T, C σ 1 (T), I,J two non empty compact subintervals of X and m 1,m 2 Z such that I + I +m 1 and I + J +m 1, J + I +m 2 and J + J +m 2. Suppose that m 1 m 2. For every p/q [m 1,m 2 ], there exists C a chain of intervals for in which all the intervals are translations of I and J, and p/q = W(C)/L (C). Moreover, there exists a periodic (mod 1) point x I J such that ρ (x) = p/q. If p/q m 2, then C can be chosen such that the first interval is I and the last interval is a translation of I, and the periodic (mod 1) point x can be chosen in I. 5

6 Proof. Byconsidering m 1 instead of, wemay supposethat m 1 = 0(useLemma2.6). Since p/q [0,m 2 ], we have 0 p m 2 q. If p/q = m 2, we tae C: J + J +m 2. By Proposition 3.5, there exists a point x J such that F(x) = x+m 2, and hence ρ (x) = m 2. If p = 0, we tae C: I + I. If 1 p m 2 q 1, we tae C: (I + I) m 2q 1 p (I + J)(J + J +m 2 ) p 1 (J + I +m 2 ) In these two cases, it is straightforward that W(C)/L (C) = p/q. By Proposition 3.5, there exists a point x I such that L(C) (x) = x + W(C), and so x is periodic (mod 1) and ρ (x) = W(C)/L (C) = p/q. 4 Study of the rotation set of F Let T T and F C σ 1 (T). Since T = T R (X F +Z), it is clear that Rot(F) = Rot TR (F) Rot XF (F), and the same holds with Rot + and Rot. The rotation set Rot TR (F) has been studied in [2]. Consequently, it remains to study the rotation set Rot XF (F). The next theorem summarises the properties of Rot R (F) (see Theorems 3.1, 3.11, 5.7 and 5.18 in [2]). Theorem 4.1 Let T T and F: T T a continuous map of degree 1. Then Rot R (F) is a non empty compact interval and, if T R is defined as above, Rot TR (F) = Rot + T R (F) = Rot T R (F) = Rot R (F). Moreover, if r Rot R (F) Q, then there exists a periodic (mod 1) point x T R such that ρ F (x) = r. 4.1 Partition of X F If F n (x) T R for some n, then ρ F (x) Rot TR (F). We already now the properties of Rot TR (F). Therefore, it is sufficient to consider the points x X F whose orbit does not fall in T R, or equivalently the points in X = {x X F n 1,F n (x) X F +Z}. Ourfirststep consistsindividingx F accordingtothetranslations oftheimages withrespect to X F +Z. If F(x) X F +p and F(y) X F +p with p p, then necessarily there is a gap between x and y by continuity. Thus we can include the points {x X F F(x) X F +Z} in a finite union of disjoint compact intervals such that, for each I among these intervals, there is a unique integer p satisfying F(I) (X F +p). Lemma 4.2 Let T T and F C1 σ (T). There exist an integer N 0, non empty compact subintervals X 1,...,X N of X F and integers p 1,...,p N in Z such that i) X 1 < X 2 < < X N, ii) F(X i ) (X F +p i ) T R for all 1 i N, iii) F(minX i ) = minx F +p i for all 1 i N, iv) p i+1 p i for all 1 i N 1, v) F(X F \(X 1 X N )) (X F +Z) =. Proof. If F(X F ) (X F +Z) =, we tae N = 0 and there is nothing to do. Otherwise, we can define a 1 = min{x X F F(x) X F +Z} and p 1 Z such that F(a 1 ) X F +p 1. We define b 1 = max{x [a 1,maxX F ] F(x) X F +p 1 and F([a 1,x]) (X F +p 1 ) T R }, 6

7 and X 1 = [a 1,b 1 ]. Then X 1 satisfies (ii). Moreover, F(minX F ) T R because minx F T R, which implies that F([minX F,a 1 ]) contains minx F + p 1. Thus F(a 1 ) = minx F + p 1 by minimality of a 1, which is (iii) for X 1. We define X 2,...,X M inductively. Suppose that X i = [a i,b i ] and p i are already defined and that b i verifies: b i = max{x [a i,maxx F ] F(x) X F +p i and F([a i,x]) (X F +p i ) T R }. If F((b i,maxx F ]) (X F +Z) =, then we tae N = i and the construction is over. Otherwise, we define a i+1 = inf{x (b i,maxx F ] F(x) X F +Z}. (1) We first show that a i+1 is actually defined by a minimum in (1). By definition, there exists a sequenceof pointsx n (b i,maxx F ] tendingtoa i+1 andsuchthat F(x n ) X F +Z. Letm n Z such that F(x n ) X F +m n. By continuity, lim n + r F(x n ) = r F(a i+1 ). Since r F(x n ) = r(minx F )+m n, this implies that the sequence of integers (m n ) n 0 is ultimately constant, and equal to some integer p i+1. Then F(a i+1 ) = lim n + F(x n ) X F + p i+1. By continuity, F([a i+1,x n ]) (X F +p i+1 ) T R for all n large enough. Moreover, F((b i,a i+1 )) (X F +Z) = by definition of a i+1. If p i+1 = p i, then, for n large enough, we would have F(x n ) X F +p i and F([b i,x n ]) (X +p i ) T R, which would contradict the definition of b i because x n > b i. Hence p i+1 p i. This implies that a i+1 > b i. Since F((b i,a i+1 )) is non empty and included in T R, necessarily F(a i+1 ) is equal to minx F +p i+1 by minimality of a i+1. Finally, we define b i+1 = max{x [a i+1,maxx F ] F(x) X F +p i+1 and F([a i+1,x]) (X F +p i+1 ) T R }, and X i+1 = [a i+1,b i+1 ]. Then X i+1 > X i and (ii), (iii) and (iv) are satisfied. By uniform continuity of r F on the compact set X F, there exists δ > 0 such that, if x,y X F with x y < δ, then r F(x) r F(y) < 1. This implies that a i+1 b i δ, which ensures that the number of intervals X i is finite, and the construction ultimately stops. By construction, (v) is satisfied. Remar 4.3 i) The fact that the sets X 1,...,X N are intervals is very important because it will allow us to use positive coverings. Note that we cannot as that F(X i ) (X F +p i ), even if we do not require that p i+1 p i. Indeed, if minx F is a fixed point, the map F may oscillate infinitely many times between X F and T R in any neighbourhood of minx F, and in this case the number of connected components of F(X F ) X F is infinite. ii) In the partition of X F into X 1,...,X N,X F \(X 1 X N ), the set X F \(X 1 X N ) plays the role of dustbin, and we can code the itinerary of every point in X with respect to X 1,...,X N. More precisely, if F n (x) X F \(X 1 X N )+Z, then x X. Therefore, for every x X, n 0,!ω n {1,...,N} such that F n (x) X ωn + Z. The rotation number of x can be deduced from this coding sequence because n 0, F n (x) X ωn +p ω0 + +p ωn 1. iii) It can additionally been shown that F(maxX i ) = minx F +p i for all 1 i N 1 and, for i = N, either F(maxX N ) = minx F +p N, or maxx N = maxx F. 7

8 4.2 Periodic (mod 1) points associated to the endpoints of rotation sets When provingthat every rational numberin therotation set is therotation numberof aperiodic (mod 1) point, we shall mae a distinction between rational numbers in the interior and rational numbers in the boundary (the same distinction is necessary to deal with Rot R (F) [2]). For rational numbers in the boundary, harder to handle, we shall need the following lemma, which is the analogous of [2, Lemma 5.15] in our context. This lemma is aimed to be applied first with T = T R, Y = X F and Z = X 1, where X 1 is defined in Lemma 4.2. After dealing with X 1, an induction will be done to deal with X 2,...,X N, that is why the lemma is stated with general notations. Lemma 4.4 Let T T and F C σ 1 (T). Let T be a closed connected subset of T such that T R T, T + 1 = T and F(T ) T. Let Y denote the compact subinterval of X F equal to T \T r 1 ([0,1)) and define Y = {x Y n 1,F n (x) Y + Z}. Let Z be a compact subinterval of Y such that F(minZ) = miny and F(Z) Z. Assume that infrot Z Y (F) 0 and x n 0(F n (Z)+Z) Y, n 1,F n (x) x. Then infrot Z Y (F) > 0. Proof. We note x 0 = miny. By assumption, F n (x 0 ) T for all n 0. Let Y = n 0(F n (Z)+Z) Y. For all n 1, F n (x 0 ) T, which implies that (F n (Z) +Z) Y is an interval containing x 0. In addition, F(Z) Z by assumption. This implies that Y is a compact subinterval of Y containing x 0. Let x Y and Z such that F(x) Y +. Suppose that F(x) x. Then + [x 0,x] [x 0,x]+ and, according to Proposition 3.5, there exists y [x 0,x] Y such that F F(y) = y +. Hence y Y and ρ F (y) =. By assumption, this is possible only if > 0. Hence if x Y and F(x) Y + with 0, then F(x) < x. (2) We are going to prove that there exists an integer N 0 such that if y Y verifies 1 n N, n 0,F n (y) Y + n, then N N 0. (3) Let y verify the assumption of (3) and note 0 = 0. By Equation (2), (F i (y) i ) 0 i N is a decreasing sequence in Y. Since Y is an interval containing y and miny, all the points of this sequence belong to Y too. According to (2), for all 0 and all x Y, F(x) x. If d denotes a distance on T, then 0, δ = inf{d(x,f(x) ) x Y } > 0 because Y is compact. Moreover, the set of integers such that F(Y ) (Y +) is finite, and so δ = inf 0 δ > 0. 8

9 Consequently, (F i (y) i ) 0 i N is a decreasing sequence in Y and, for all 0 i N 1, d(f i+1 (y) i+1,f i (y) i ) δ. This implies that diam(y ) Nδ. This proves that (3) holds if N 0 diam(y ) δ. Now, let x Z Y. For all n 0, F n (x) Y + Z. According to (3), there exists an increasing sequence of positive integers (n i ) i 1 and integers ( i ) i 1 such that i 1, F n i (x) Y + i, n i+1 n i N 0 and i+1 i +1. This implies that ρ F (x) 1/N 0 > 0. This concludes the proof of the lemma. Let us restate Lemma 4.4 when T = T R, Y = X F and Z = X 1 : if infrot X1 X (F) = 0 and F(X 1 ) X 1, then there exist a point x n 0 (Fn (X 1 )+Z) X and an integer n 1 such that F n (x) = x. Note that when p 1 = 0, the assumption F(X 1 ) X 1 is fulfilled as soon as Rot X1 X (F). Indeed, if F(X 1 ) X 1 =, then F(X 1 ) (X F +Z) [minx F,minX 1 ), and thus X 1 X =. More generally, this result implies that, if infrot X1 X (F) = p/q, then there exists a periodic (mod 1) point x X F such that ρ F (x) = p/q (just apply what precedes to the map F q p). This is the analogous in our context of [2, Theorem 5.18]. 4.3 Rotation set of X 1 In the sequel, we shall heavily use the fact that X F is an interval with an endpoint in T R. By definition, minx F belongs to T R and T R is invariant by F. Hence F(minX F ) T R. Therefore, if I is a subinterval of X F such that mini = minx F and F(I) X F, then necessarily F(I) X F is an interval containing minx F. This simple observation allows us to study the rotation set of the interval X 1 defined in Lemma 4.2. This is done in Proposition 4.6, by considering T = T R and Y 1,...,Y M = X 1,...,X N. When this is done for X 1, the idea is to proceed by induction for the rotation sets of X 2,...,X N, this is why the proposition is stated with more general notations. In the proof of Proposition 4.6, we shall need the next, technical lemma. Lemma 4.5 Let (n ) 0 be a sequence of real numbers bounded from above by some constant C. Let ε > 0, n 0 + +n 1 L = limsup + and l < L ε. Then there exists an integer 1 such that n 0+ +n 1 L ε and n l. Proof. Let K be an integer such that C/K < ε/2. Let { E = Z + n 0 + +n +1 } L ε/2. The set E is infinite by definition of L. We are going to do a proof by absurd. We assume that n = l for all E such that > K. (4) If E contains all integers n N for some N, then L = l, which is absurd. Thus there exists an integer K such that E and 1 E. We have n 0 + +n +1 = +1 n0 + +n n. 9

10 By definition of E, n 0+ +n +1 L ε/2 and n 0+ +n 1 by (4). Thus < L ε/2. Moreover, n = l < L ε/2 n 0 + +n +1 < +1 (L ε/2)+ 1 (L ε/2) = L ε/2, +1 which is a contradiction. Therefore, (4) does not hold, and there exists E such that > K and n l. Moreover, n 0 + +n 1 = +1 n0 + +n +1 > n 0 + +n C +1 K > L ε/2 ε/2 = L ε n Such an integer is suitable. Proposition 4.6 Let T T and F C σ 1 (T). Let T be a connected subset of T such that T R T, T + 1 = T and F(T ) T. Let Y denote the compact subinterval of X F equal to T \T r 1 ([0,1)) and define Y = {x Y n 1,F n (x) Y + Z}. Let Y 1,...,Y M be compact subintervals of Y and q 1,...,q M Z such that: a) Y 1 < < Y M, b) F(Y i ) (Y +q i ) T for all 1 i M, c) F(minY 1 ) = miny (mod 1), d) F(Y \(Y 1 Y M )) (Y +Z) =. Assume that Y 1 Y. Then there exists a compact interval I R such that: i) Rot Y1 Y (F) = Rot + Y 1 Y (F) = Rot Y 1 Y (F) = I, ii) I contains q 1, iii) there exists a Y 1 Y such that F(a) = a+q 1 and [miny 1,a) Y =, iv) if r Int(I) Q then there exists a periodic (mod 1) point x Y 1 Y with ρ F (x) = r. v) if r I Q then there exists a periodic (mod 1) point x n 0 (Fn (Y 1 )+Z) Y with ρ F (x) = r. Proof. We first prove (iii) under an additional assumption: If y Y 1 such that n 1,F n (y) Y 1 +Z, then (iii) holds. (5) Let = F q 1 and a 0 = miny 1. Then (Y 1 ) Y T. For all n 0, n (y) Y 1, and in particular n (y) a 0. We define inductively a sequence of points (a i ) i 1 such that a i [a i 1,y], i (a i ) = a 0 and [a 0,a i ) Y = for all i 1. Since (a 0 ) = miny (by assumption (c)) and (y) a 0, we have a 0 ([a 0,y]) by continuity. Thus there exists a 1 [a 0,y] such that (a 1 ) = a 0. We choose a 1 minimum with this property, which implies that ([a 0,a 1 )) Y 1 =. Hence [a 0,a 1 ) Y =. 10

11 Assumethata 0,...,a i arealreadydefined. Since i+1 (a i ) = (a 0 ) = miny and i+1 (y) a 0, the point a 0 belongs to i+1 ([a i,y]) by continuity. Thus there exists a i+1 [a i,y] such that i+1 (a i+1 ) = a 0. We choose a i+1 minimum with this property, which implies that i+1 ([a i,a i+1 )) Y 1 =. Hence [a i,a i+1 ) Y =. This concludes the construction of a i+1. The sequence (a i ) i 0 is non decreasing and contained in the compact interval Y 1. Therefore a = lim i + a i exists and belongs to Y 1. Since (a i+1 ) = a i, we get that (a) = a. In other words, F(a) = a+q 1. This implies that a Y. Moreover, [a 0,a) = i 0 [a i,a i+1 ), and thus [a 0,a) Y =. This proves (5). We split the rest of the proof into two cases. Case 1: F(Y 1 ) (Y i +Z) = for all i 2 (this includes the case M = 1). Then F(Y 1 Y ) Y 1 +q 1 and F n (Y 1 Y ) Y 1 +nq 1. Thus, for all x Y 1 Y, the rotation number ρ F (x) exists and is equal to q 1. We tae I = {q 1 } and we get (i) and (ii). Since Y 1 Y is not empty, there exists a point y such that n 0, F n (y) Y 1 +Z. Then (5) gives (iii), which implies (v) in the present case, and (iv) is empty. Case 2: there exists i 2 such that F(Y 1 ) (Y i +Z). Since Y 1 < < Y M and F(Y 1 ) (Y +q 1 ) T, there exists x Y 1 such that F(x) Y +q 1 and F(x) max(y 1 +q 1 ). Moreover, F(minY 1 ) = miny +q 1 by assumption. This implies that Y 1 + F Y 1 +q 1. (6) By Proposition 3.5, there exists y Y 1 such that F(y) = y + q 1. Thus we can use (5) to get (iii). Let x Y. By assumption d), for all n 0, there exists ω n {1,...,M} such that F n (x) Y ωn +Z. The sequence (ω n ) n 0 is called the itinerary of x. The next two results are straightforward. n 0, F n (x) Y ωn +q ω0 +q ω1 + +q ωn 1. (7) ρ F (x) = limsup n + q ω0 +q ω1 + +q ωn 1 n and ρ (x) = liminf F n + if the limit exists, it is ρ F (x). q ω0 +q ω1 + +q ωn 1 ; (8) n Let S = suprot + Y 1 Y (F). Necessarily, S q 1 because q 1 Rot Y1 Y (F) by (iii). We are going to show that [q 1,S] Rot Y1 Y (F). If S = q 1 there is nothing to prove, and so we suppose that S > q 1. Let be an integer such that S > q 1 + 1/. Let y be a point in Y 1 Y such that ρ F (y ) S 1/2, and let (ω n ) n 0 denote the itinerary of y. By (8), q ω0 +q ω1 + +q ωn 1 limsup n + n = ρ F (y ). Applying Lemma 4.5 with L = ρ F (y ), l = q 1 and ε = 1/2, we get that there exists an integer n such that q ω0 +q ω1 + +q ωn 1 n ρ F (y ) 1/2 S 1/ > q 1 and ω n 1. (9) By (7), F n (y ) Y ωn + q ω0 + q ω1 + + q ωn 1. Since ω n 1, we have Y ωn > Y 1, and thus F n (y ) (q ω0 + q ω1 + + q ωn 1 ) > maxy 1. Moreover, F n (miny 1 ) F n 1 (T ) T by assumption c) and invariance of T. If we let I = [miny 1,y ], N = q ω0 + + q ωn 1 and n = n, we have then: + I Y F n 1 +N. (10) 11

12 Since I Y 1, Equations (6) and (10) give: + I I F n +N + and I Y F n 1 +N, I F n +n q 1 + and Y 1 Y F n 1 +n q 1. Y 1 + (11) Let r [q 1,S) Q. By (9), there exists an integer such that N n > r. We apply Lemma 3.6 with I = Y 1, J = I, = F n, m 1 = n q 1, m 2 = N and p/q = rn [q 1 n,n ): C r a chain of intervals for F whose first and last intervals are translations of Y 1, such that r = W(C r )/L F (C r ), (12) and there exists a periodic (mod 1) point x Y 1 with ρ F (x) = 1 n ρ F n (x) = r. (13) We need to show that x Y. This is a consequence of the following fact. Fact. Let x Y 1 such that F n (x) Y 1 + Z for infinitely many n. Then, either x Y, or there exists n such that F n (x) is a fixed (mod 1) point in Y 1 Y T. Proof of the fact. If n 0, F n (x) T, then x Y by assumption d) of the proposition. Suppose on the contrary that there exists n 0 such that F n 0 (x) T. Hence F n (x) T for all n n 0. Let e = miny. By definition of Y, the set Y T is included in {e} (we have not supposed that T is closed, and thus Y T may be empty). Note that Y 1 T is empty if miny 1 > e. By assumption, there exists n 1 n 0 such that F n 1 (x) Y 1 + Z. Hence F n 1 (x) (Y 1 +Z) T. This implies that F n 1 (x) is equal to e(mod 1), miny 1 = e T, and e T. By assumption c) of the proposition, F(minY 1 ) = e(mod 1). Thus, e is a fixed (mod 1) point in Y 1, and so e Y. This ends the proof of the fact. Now, let α [q 1,S]. To show that there exists x Y 1 Y with ρ F (y) = α, we use the same method as in the proof of [2, Theorem 3.7]. We choose a sequence of rational numbers r i in [q 1,S) Q such that lim i + r i = α for all i 1. Let C ri be the chain of intervals given by (4.3). We define D n = (Cr 1 ) i 1 (C r2 ) i2 (C rn ) in. Let A n be the set of points that follow the chain D n. This set is compact by definition, and it is not empty because it contains at least a periodic (mod 1) point by Proposition 3.5. Moreover, A n+1 A n. Therefore A = n 1 A n. In the proof of [2, Theorem 3.7], it is shown that, if the sequence (i n ) n 1 increases sufficiently fast and ( r in α ) n 1 is non decreasing then, for all x A, ρ F (x) = α. Moreover, the fact above implies that, for every x A there exists n such that F n (x) Y 1 Y. Obviously, ρ F (x) = ρ F (F n (x)). This proves that [q 1,supRot + Y 1 Y (F)] is included in Rot Y1 Y (F); in addition, (iv) holds for all rational numbers r [q 1,supRot + Y 1 Y (F)) by (13). We can apply the same method to [infrot Y 1 Y (F),q 1 ]. Finally, if we define I = [infrot Y 1 Y (F),supRot + Y 1 Y (F)], we get that I Rot Y1 Y (F), q 1 I (which is (ii)) and (iv) holds for all r Int(I) Q. Since Rot + Y 1 Y (F) and Rot Y 1 Y (F) both contain Rot Y1 Y (F) and are included in I, this gives (i). Now we prove (v) for mini (the case with the maximum is symmetric, and I is reduced to two points). Suppose that minrot Y1 Y (F) = p/q and let = F q p. Then minrot Y1 Y () = 0. Note that x Y +Z n 0, n (x) Y +Z. We apply Lemma 4.4 to the map with Z = Y 1 and T. Since (iii) is fulfilled, the set (Z) Z is not empty. By refutation of Lemma 4.4, we get that there exist x n 0 (n (Y 1 )+Z) Y and n 1 such 12

13 that n (x) = x. Therefore, x is periodic (mod 1) for F and ρ F (x) = p/q. Moreover, x Y according to the fact above. This gives (v) and concludes the proof of the proposition. Example 4.7 The periodic (mod 1) point x given by Proposition 4.6(v) may not be in Y 1. Let T be the universal covering of the graph sigma, and let F: T t be the continuous map of degree 1 such that F R = Id and F is defined on the branch of T by: F(a) = F(c) = a, F(b) = e, F(d) = a+1, F(e) = e+1, F is affine on each of the intervals [a,b],[b,c],[c,d],[d,e], where [a,e] is the branch of T with a R and a < b < c < d < e. See Figure 3 for a picture of the map F. This entirely determines F because it is of degree 1. e e=f(b) e+1=f(e) X F X 2 X 1 d c b F a a+1 a a+1 Figure 3: The action of F on the branch X F. X F is equal to [a,e] and the intervals given by Lemma 4.2 are X 1 = [a,c] (with p 1 = 0) and X 2 = [d,e] (with p 2 = 1). F is an affine Marov map and the restriction of its Marov graph to X 1,X 2 is given in Figure 4. See [2, Section 6.1] for general results on Marov maps in this context, and in particular how it is possible to deduce periodic (mod 1) points and rotation numbers from the Marov graph X X Figure 4: The Marov graph of F restricted to the vertices X 1 and X 2 (actually, X 1 represents the two vertices [a,b] and [b,c]). An arrow A i B means than F(A) B +i. It can easily be deduced from the Marov graph of F that Rot X1 X (F) = [0,1] and the unique periodic (mod 1) point x X F such that ρ F (x) = 1 is x = e, which does not belong to X 1. In addition, we note that Rot R (F) = {0}. Thus Rot(F) = [0,1] and Rot R (F) is not a connected component of Rot(F). 4.4 Rotation set of F Now, we are ready to prove that the set Rot(F) is closed and has finitely many connected components, and that every rational number in Rot(F) is the rotation number of some periodic (mod 1) point. Note that in the following theorem, the intervals I 0,...,I may be not disjoint; in particular I 0 = Rot R (F) may not be a connected component of Rot(F) (see Example 4.7). 1 13

14 Theorem 4.8 Let T T, F C σ 1 (T) and X = {x X n 1,F n (x) X + Z}. Then there exist an integer 0 and compact non empty intervals I 0,...,I in R such that: I 0 = Rot R (F) = Rot TR (F), Rot(F) = Rot + (F) = Rot (F) = I 0 I, 1 i, r I i Q, there exists a periodic (mod 1) point x X with ρ F (x) = r, 1 i, I i Z. Moreover, if N is the integer given by Lemma 4.2, then N. Proof. Consider X 1,...,X N and p 1,...,p N given by Lemma 4.2. We define inductively T 1,...,T N T and I 1,...,I N R such that: (a) T i is a connected subset of T such that T i + 1 = T i, F(T i ) T i and, for all 2 i N, T i 1 X i 1 T i. (b) either I i is empty, or I i is a compact interval containing p i such that, for all r I i Q, there exists a periodic (mod 1) point x X with ρ F (x) = r. (c) Rot Ti X i (F) = Rot Ti (F) I i, and the same equality is valid with Rot + and Rot. (d) If i 2, Rot Ti (F) = Rot Ti 1 X i 1 (F), and the same equality is valid with Rot + and Rot. Let T 1 = T R. It satisfies (a). If X 1 X =, we tae I 1 =. Otherwise, we apply Proposition 4.6 with T = T 1, Y = X F and X 1,...,X N is place of Y 1,...,Y M. It provides a compact interval I 1 = I = Rot X1 X that satisfies (b). Moreover, Rot T1 X 1 (F) = Rot T1 (F) Rot X1 X (F), and the same equality is valid with Rot + and Rot. Hence (c) is satisfied for i = 1. Let i 2. Suppose that T j and I j are already defined for all 1 j i 1, and satisfy (a)-(d). Define A i = [minx F,minX i 1 ) X i 1 n 1F n (X i 1 )+Z X F. For all n 1, F n (minx i 1 ) T R, and thus (F n (X i 1 )+Z) X F is, either empty, or a compact subintervalofx F containing minx F. Therefore, A i isasubintervalofx containingminx F and X i 1. Let T i = T i 1 (A i +Z). It is a connected subset of T, T i +1 = T i and T i 1 X i 1 T i. Let us show that F(T i ) T i. Let x T i 1 A i. We distinguish 3 cases. If x T i 1 then F(x) T i 1 by invariance of T i 1. If x [minx F,minX i 1 ) then, either x X 1 X i 2 T i 1 and F(x) T i 1, or x X \(X 1 X N ) and F(x) T R. ( ) ( ) Ifx n 0 Fn (X i 1 )+Z X F then, eitherf(x) n 0 Fn (X i 1 )+Z (X F +Z) A i +Z, or F(x) T R. 14

15 Consequently, F(T i ) T i, and (a) is satisfied. Moreover, Rot Ti (F) = Rot Ti 1 (F) Rot Xi 1 (F) = Rot Ti 1 X i 1 (F), and the same equality is valid with Rot + and Rot, which is (d) for i. If F(X i ) T i, we tae I i = and (b)-(c) are clearly satisfied. Otherwise, let b X i such that F(b) T i. Let Y = T \T i r 1 ([0,1)) and Y = {x Y n 1,F n (x) Y +Z}. The set Y is a compact subinterval of X F and Y T i = {miny}. We have b Y by invariance of T i, and F(b) Y +p i because F(X i ) (X F +p i ) T R. Let a = max(minx i,miny). We can define c = min{x [a,b] F(x) Y + Z} because b a. Moreover F(a) T i because F(minX i ) T R and F(minY) F(T i ) T i. Therefore, F(c) = miny (mod 1) by minimality. Let X i = [c,maxx i] X i. We can apply Proposition 4.6 with T = T i and X i,x i+1,...,x N in place of Y 1,...,Y M. We obtain a compact interval I i = I = Rot X i Y (F) that satisfies (b) for i. We have X i Y = {x X i n 0,F n (x) Int(T i )}. Therefore, Rot Ti X i (F) = Rot Ti (F) Rot X i Y (F) = Rot Ti (F) I i, and the same equality is valid with Rot + and Rot. Hence (c) is satisfied for i. This concludes the construction of T i and I i. Now, we end the proof of the theorem. Since F(T \ (T N X N )) T N, it is clear that Rot(F) = Rot TN X N (F). Combining this with (c) and (d), we get that Rot(F) = Rot TN X N (F) = Rot TN (F) I N = Rot TN 1 X N 1 (F) I N = Rot TN 1 (F) I N 1 I N = = Rot T1 (F) I 1 I N and the same equalities are valid with Rot + and Rot. Let I 0 = Rot R (F). By Theorem 4.1, I 0 is a non empty compact interval and I 0 = Rot TR (F) = Rot + T R (F) = Rot R (F). If x T, then either x (X 1 X N )+Z, or F(x) T 1. Therefore, Rot T (F) = Rot T1 X 1 X N (F), and the same equality is valid with Rot + and Rot. To conclude, it remains to remove the empty intervals among I 1,...,I N. Iftheemptyrotation intervalsarenotremovedintheproofoftheorem4.8, thenthetheorem can be stated as follows: Theorem 4.8 Let T T and F C σ 1 (T). Let X 1,...,X N, p 1,...,p N be given by Lemma 4.2 and X = {x X n 1,F n (x) X +Z}. Then there exist compact intervals I 0,...,I N in R such that: I 0 = Rot R (F) = Rot TR (F), Rot(F) = Rot + (F) = Rot (F) = I 0 I, for all 1 i N, either I i = or p i I i, 1 i N, r I i Q, thereexistsaperiodic(mod1)pointx n 0 (Fn (X 1 )+Z) X with ρ F (x) = r; if in addition r Int(I i ) then x can be chosen in X 1 X. 15

16 References [1] Ll. Alsedà, J. Llibre, and M. Misiurewicz. Combinatorial dynamics and entropy in dimension one. Advanced Series in Nonlinear Dynamics, 5. World Scientific Publishing Co. Inc., River Edge, NJ, [2] Ll. Alsedà and S. Ruette. Rotation sets for graph maps of degree 1. Annales de l Institut Fourier, 58(4): , [3] L. Bloc, J. ucenheimer, M. Misiurewicz, and L. S. Young. Periodic points and topological entropy of one dimensional maps. In lobal Theory of Dynamical Systems, Lecture Notes in Mathematics, no. 819, pages Springer-Verlag, [4] M. Misiurewicz. Horseshoes for mappings of the interval. Bull. Acad. Polon. Sci. Sér. Sci. Math., 27(2): , Laboratoire de Mathématiques, CNRS UMR 8628, Bâtiment 425, Université Paris-Sud 11, Orsay cedex, France ruette/ Sylvie.Ruette@math.u-psud.fr 16