Presentation is loading. Please wait.

Presentation is loading. Please wait.

Dynamical Subbases of I and I 2. Itinerary of the tent function 01 0 1 X0X0 X1X1 xt(x)t(x) t2(x)t2(x) t3(x)t3(x) t4(x)t4(x) For x =3/16, t5(x)t5(x) φ.

Similar presentations


Presentation on theme: "Dynamical Subbases of I and I 2. Itinerary of the tent function 01 0 1 X0X0 X1X1 xt(x)t(x) t2(x)t2(x) t3(x)t3(x) t4(x)t4(x) For x =3/16, t5(x)t5(x) φ."— Presentation transcript:

1 Dynamical Subbases of I and I 2

2 Itinerary of the tent function X0X0 X1X1 xt(x)t(x) t2(x)t2(x) t3(x)t3(x) t4(x)t4(x) For x =3/16, t5(x)t5(x) φ ( x )=001 ⊥ 1000… S n,0 ={x | φ ( x )( n ) =0} = {x | t n ( x ) ∈ X 0 } = t -n ( X 0 ) S n,1 = t -n ( X 1 )

3 Dynamical Subbase. A dyadic subbase S of a topological space X is dynamical if, for X 0 = S 0,0, X 1 = S 0,1, and B = X -(X 0 ∪ X 1 ), there is a 2-1 continuous map f:X → X such that f| X 0 ∪ B : X 0 ∪ B → X, homeo. f| X 1 ∪ B : X 1 ∪ B → X, homeo. S n,0 = t -n ( X 0 ) and S n,1 = t -n ( X 1 ) (n=0,1,2…). Prop. φ (f(x)) is the one-bit shift of φ ( x). That is, the tail operation realizes the map f. Prop. B coincides with {x | |f --1 (f(x))|=1}. g 0 = f| X 0 ∪ B -1 : X → X 0 ∪ B g 1 = f| X 1 ∪ B -1 : X → X 1 ∪ B For σ = d 0 d 1 …d n ∈ 2 n, S( σ ) = g d0 g d1 g d2 …g dn (X) X0X0 X1X1 B

4 A condition for a dynamical subbase. A 2-1 continuous map f:X → X such that f| X 0 ∪ B : X 0 ∪ B → X, homeo. f| X 1 ∪ B : X 1 ∪ B → X, homeo. is a dynamical subbase if the maximal of the diameter of S( σ ) for σ ∈ 2 n decreases to 0 when n goes to infinity.

5 Conjugacy Two maps f:X → X and g:X → X are conjugate if there is a homeomorphic map h:X → X such that fh=hg. f:X → X h ↓ ↓ h g:X → X If f and g are conjugate and S is a dynamical subbase induced by f, then g also induces a dynamical subbase. We identify dynamical subbases which are derived from conjugate dynamical system.

6 Dynamical Subbases of I All the dynmical subbases of I are conjugate to the Gray subbase. (proof) A 2-1 continuous map homeo. to X on [0,B] and on [B,1] is increasing on [0,B] and decreasing on [B,0] or vice versa. B, g 0 (B), g 1 (B), g 0 g 0 (B), g 0 g 1 (B), g 1 g 0 (B), g 1 g 1 (B),…. are ordered in the same way as the Gray- subbase, and they are dense in I X0X0 X1X1 B g 1 g 0 (B) g 1 (B) g 0 g 0 (B) B g 1 g 0 (B) g 1 (B) g 0 g 1 (B)

7 Dynamical Subbase of I 2 (1) X X 1 =S(1) X 0 =S(0) flip f(B) B g1g1 g0g0 f

8 Dynamical Subbase of I 2 (1) X X 0 =S(1) X 1 =S(0) flip f(B) B g1g1 g0g0 f S(0) S(1) S 0,0, S 0,1 S 1,0, S 1,1 S 2,0, S 2,1 S 3,0, S 3, Gray x Gray Subbase : ⊥⊥ 11000… Degree 2

9 Dynamical Subbase of I 2 (2) X X 1 =S(1) X 0 =S(0) flip f(B) B g1g1 g0g0 f

10 Dynamical Subbase of I 2 (2) X X 1 =S(1) X 0 =S(0) flip f(B) B g1g1 g0g0 f Peano Subbase : ⊥ 1 ⊥⊥ 1000… Degree 3

11 How many other dynamical subbases of I 2 ? B is a line segment, whose endpoints are on the boundary of I 2. f(B) is a line segment contained in the boundary of I 2.

12 How many other dynamical subbases of I 2 ? two cases.

13 The diameter of some component S( σ ) does not decrease. It does not form a subbase, for any arrangement of c0,…

14 Only two cases a0  b1, a1  b0 Peano Subbase is a typical example. a0  b1, a1  b0 Gray x Gray subbase is a typical example.

15 Characterization of Peano-like subbases B f(B)

16 0  1, 1  2, 2  3 by f B f(B) B B B 3 3 Three cases, depending on the order of 3 and 0. 1:right (1-side), 2:left(2-side), 0: overlap on 0. c: code sequence of the subbase. c= c=

17 1 0 2 B f(B) 3 3 Three cases for the 4-th code. c= B f(B) B B f(B)

18 After 0, there is no choice. (code sequence terminates with 0) Some of them define subbase. Some of them do not. (c=1210 is not a subbase.) First consider the case 0 does not appear in the code B f(B) 3 3 c=

19 U means no choice at that level. Only U appears after this. It is not a subbase B f(B) 3 3 c= B f(B) 3 3 c=1211UU B f(B) 3 3 c=1211U

20 B f(B) B f(B) B B f(B) The next sequence is obtained by, Starting with 0, go right, and then go back to 1 discarding 0. Increment each number. Insert 0 at the original position. If new number is inserted there, we have two choices. (Corresponding to 1,2). If new number is not inserted there, it is U

21 The order of the number on the boundary determine the subbase (i.e. dynamical system) modulo conjugacy. We only need to code bottom half of it, from 1 to 2. (Top half is mirror image without 0) B f(B) 3 3 a=

22 Proposition. If bigger and bigger number appear on both sides of 0, then it forms a subbase. In this way, it is a purely symbolic problem B f(B)

23 There are three cases that we do not have a subbase. After some sequence of 1,2,U, 1. UUU… occur. 2. We select 1 everytime we have a choice. 3. We select 2 everytime we have a choice.

24 If c(n)=2 and c(i) != 2 (n2n). Not a subbase n B f(B) n 2

25 The case 0 appears in the code. (a) if c(2n)=0 and c(i)!=2 for (n < i < 2n). not a subbase. (b) Otherwise, it forms a subbase. (degree infinite). (a): Replace 0 with 1UUU… (b): Replace 0 with 1222… If we identify node k with the adjoining node k+n, we have the same figure B f(B) 3 3 c= B f(B) 3 3 c=1211UU

26 Characterization of Peano-like dynamical subbases of I 2 We do the replacement in the previous slide for codes with 0. Code is an infinite sequence of {1,2,U}. The sequence of {1,2} obtained by removing U determines the code. In the Cantor Space {1,2} ω, those forming a subbase is nowhere dense, closed, continuum cardinarity.

27 1’ 1 B f(B) 0’ 0 {0,1,2,U} sequence for both 0 and 0’. Symbolic manipulation. 1’ 1 B f(B) 0’ ’ 1’ 1 B 0’ ’ ’ 1’30’201 1’0’201 {2}x{2}{2,1}x{2,2} {2,1,U}x{2,2,U}

28 Characterization of GrayxGray-like subbases. 1’ 1 B f(B) 0’ 0

29 Similar result around 0. – If c(n)=2 and c(i) != 2 (n2n). Not a subbase. The two components interact, and a bit complicated. The Peano-like cases as extreme case. {2,2,2,…} as the first component.

30 Conclusion Study computation-related topological property. How many recursive structures we can consider in I 2 ?


Download ppt "Dynamical Subbases of I and I 2. Itinerary of the tent function 01 0 1 X0X0 X1X1 xt(x)t(x) t2(x)t2(x) t3(x)t3(x) t4(x)t4(x) For x =3/16, t5(x)t5(x) φ."

Similar presentations


Ads by Google