on the classification of one dimensional continua that
play

On the classification of one dimensional continua that admit - PowerPoint PPT Presentation

On the classification of one dimensional continua that admit expansive homeomorphisms. Christopher G. Mouron Rhodes College July 28, 2016 Christopher G. Mouron On the classification of one dimensional continua that admit expansiv


  1. Example: The shift homeomorphism of the dyadic solenoid, Σ 2 , is expansive. Define f : S − → S by f ( x ) = 2 x mod 1. Let Σ 2 = lim − ( S , f ) ← Define the shift homeomorphism � f : Σ 2 − → Σ 2 by f ( x ) = � � f ( � x 1 , x 2 , x 3 ... � ) = � f ( x 1 ) , f ( x 2 ) , f ( x 3 ) , ... � = � f ( x 1 ) , x 1 , x 2 , ... � . Also, notice that � f − 1 ( � x 1 , x 2 , x 3 ... � ) = � x 2 , x 3 , x 4 , ... � . Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  2. Example: The shift homeomorphism of the dyadic solenoid, Σ 2 , is expansive. Define f : S − → S by f ( x ) = 2 x mod 1. Let Σ 2 = lim − ( S , f ) ← Define the shift homeomorphism � f : Σ 2 − → Σ 2 by f ( x ) = � � f ( � x 1 , x 2 , x 3 ... � ) = � f ( x 1 ) , f ( x 2 ) , f ( x 3 ) , ... � = � f ( x 1 ) , x 1 , x 2 , ... � . Also, notice that � f − 1 ( � x 1 , x 2 , x 3 ... � ) = � x 2 , x 3 , x 4 , ... � . Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  3. Figure: Doubling map f ( x ) = 2 x mod 1. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  4. Figure: Doubling map f ( x ) = 2 x mod 1. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  5. Figure: Doubling map f ( x ) = 2 x mod 1. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  6. Figure: Inverse limit of f ( z ) is the solenoid Σ 2 . Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  7. Theorem The shift homeomorphism on Σ 2 is expansive. Proof. Let the expansive constant be 1 4 .Notice that if x , y ∈ S and d S ( x , y ) < 1 4 then d S ( f ( x ) , f ( y )) = 2d S ( x , y ).Let x , y be distinct elements in Σ 2 . Then there exists i such that x i � = y i .Furthermore, there exists a nonnegative natural number n such that 1 4 < 2 n d S ( x i , y i ) ≤ 1 / 2. Hence, d( � f n − i +1 ( x ) , � d( � f n ( � f − i +1 ( x )) , � f n ( � f n − i +1 ( y )) f − i +1 ( y ))) = d( � f n ( � x i , x i +1 , ... � ) , � = f ( � y i , y i +1 , ... � )) 2 n d S ( x i , y i ) > 1 > 4 . Christopher G. Mouron On the classification of one dimensional continua that admit expa

  8. Theorem The shift homeomorphism on Σ 2 is expansive. Proof. Let the expansive constant be 1 4 .Notice that if x , y ∈ S and d S ( x , y ) < 1 4 then d S ( f ( x ) , f ( y )) = 2d S ( x , y ).Let x , y be distinct elements in Σ 2 . Then there exists i such that x i � = y i .Furthermore, there exists a nonnegative natural number n such that 1 4 < 2 n d S ( x i , y i ) ≤ 1 / 2. Hence, d( � f n − i +1 ( x ) , � d( � f n ( � f − i +1 ( x )) , � f n ( � f n − i +1 ( y )) f − i +1 ( y ))) = d( � f n ( � x i , x i +1 , ... � ) , � = f ( � y i , y i +1 , ... � )) 2 n d S ( x i , y i ) > 1 > 4 . Christopher G. Mouron On the classification of one dimensional continua that admit expa

  9. Theorem The shift homeomorphism on Σ 2 is expansive. Proof. Let the expansive constant be 1 4 .Notice that if x , y ∈ S and d S ( x , y ) < 1 4 then d S ( f ( x ) , f ( y )) = 2d S ( x , y ).Let x , y be distinct elements in Σ 2 . Then there exists i such that x i � = y i .Furthermore, there exists a nonnegative natural number n such that 1 4 < 2 n d S ( x i , y i ) ≤ 1 / 2. Hence, d( � f n − i +1 ( x ) , � d( � f n ( � f − i +1 ( x )) , � f n ( � f n − i +1 ( y )) f − i +1 ( y ))) = d( � f n ( � x i , x i +1 , ... � ) , � = f ( � y i , y i +1 , ... � )) 2 n d S ( x i , y i ) > 1 > 4 . Christopher G. Mouron On the classification of one dimensional continua that admit expa

  10. Theorem The shift homeomorphism on Σ 2 is expansive. Proof. Let the expansive constant be 1 4 .Notice that if x , y ∈ S and d S ( x , y ) < 1 4 then d S ( f ( x ) , f ( y )) = 2d S ( x , y ).Let x , y be distinct elements in Σ 2 . Then there exists i such that x i � = y i .Furthermore, there exists a nonnegative natural number n such that 1 4 < 2 n d S ( x i , y i ) ≤ 1 / 2. Hence, d( � f n − i +1 ( x ) , � d( � f n ( � f − i +1 ( x )) , � f n ( � f n − i +1 ( y )) f − i +1 ( y ))) = d( � f n ( � x i , x i +1 , ... � ) , � = f ( � y i , y i +1 , ... � )) 2 n d S ( x i , y i ) > 1 > 4 . Christopher G. Mouron On the classification of one dimensional continua that admit expa

  11. Theorem The shift homeomorphism on Σ 2 is expansive. Proof. Let the expansive constant be 1 4 .Notice that if x , y ∈ S and d S ( x , y ) < 1 4 then d S ( f ( x ) , f ( y )) = 2d S ( x , y ).Let x , y be distinct elements in Σ 2 . Then there exists i such that x i � = y i .Furthermore, there exists a nonnegative natural number n such that 1 4 < 2 n d S ( x i , y i ) ≤ 1 / 2. Hence, d( � f n − i +1 ( x ) , � d( � f n ( � f − i +1 ( x )) , � f n ( � f n − i +1 ( y )) f − i +1 ( y ))) = d( � f n ( � x i , x i +1 , ... � ) , � = f ( � y i , y i +1 , ... � )) 2 n d S ( x i , y i ) > 1 > 4 . Christopher G. Mouron On the classification of one dimensional continua that admit expa

  12. Theorem The shift homeomorphism on Σ 2 is expansive. Proof. Let the expansive constant be 1 4 .Notice that if x , y ∈ S and d S ( x , y ) < 1 4 then d S ( f ( x ) , f ( y )) = 2d S ( x , y ).Let x , y be distinct elements in Σ 2 . Then there exists i such that x i � = y i .Furthermore, there exists a nonnegative natural number n such that 1 4 < 2 n d S ( x i , y i ) ≤ 1 / 2. Hence, d( � f n − i +1 ( x ) , � d( � f n ( � f − i +1 ( x )) , � f n ( � f n − i +1 ( y )) f − i +1 ( y ))) = d( � f n ( � x i , x i +1 , ... � ) , � = f ( � y i , y i +1 , ... � )) 2 n d S ( x i , y i ) > 1 > 4 . Christopher G. Mouron On the classification of one dimensional continua that admit expa

  13. A homeomorphism is continuum-wise expansive if there exists a constant c > 0 such that for any subcontinuum Y of X there exists an integer n such that diam( h n ( Y )) > c . Every expansive homeomorphism is continuum-wise expansive, but the converse is not true. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  14. A homeomorphism is continuum-wise expansive if there exists a constant c > 0 such that for any subcontinuum Y of X there exists an integer n such that diam( h n ( Y )) > c . Every expansive homeomorphism is continuum-wise expansive, but the converse is not true. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  15. A homeomorphism is positively continuum-wise fully expansive if for every pair ǫ, δ > 0 there is a N ( ǫ, δ ) > 0 such that if Y is a subcontinuum of X with diam( Y ) ≥ δ , then d H ( h n ( Y ) , X ) < ǫ for all n ≥ N ( ǫ, δ ). Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  16. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  17. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  18. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  19. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  20. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  21. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  22. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  23. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  24. Question What properties must a continuum have in order for a continuum to admit and expansive (continuum-wise expansive) homeomorphism? Well, in order for a continuum to admit an expansive (continuum-wise) homeomorphism, all of the proper subcontinuum must be continuous stretched and there must be room for this to happen. This is how indecomposable continua are created. Theorem (Kato) If a G-like continuum admits an expansive homeomorphism, then it must contain an indecomposable subcontinuum. Christopher G. Mouron On the classification of one dimensional continua that admit expa

  25. Question What properties must a continuum have in order for a continuum to admit and expansive (continuum-wise expansive) homeomorphism? Well, in order for a continuum to admit an expansive (continuum-wise) homeomorphism, all of the proper subcontinuum must be continuous stretched and there must be room for this to happen. This is how indecomposable continua are created. Theorem (Kato) If a G-like continuum admits an expansive homeomorphism, then it must contain an indecomposable subcontinuum. Christopher G. Mouron On the classification of one dimensional continua that admit expa

  26. Question What properties must a continuum have in order for a continuum to admit and expansive (continuum-wise expansive) homeomorphism? Well, in order for a continuum to admit an expansive (continuum-wise) homeomorphism, all of the proper subcontinuum must be continuous stretched and there must be room for this to happen. This is how indecomposable continua are created. Theorem (Kato) If a G-like continuum admits an expansive homeomorphism, then it must contain an indecomposable subcontinuum. Christopher G. Mouron On the classification of one dimensional continua that admit expa

  27. Theorem (M.) If a k-cyclic continuum admits an expansive homeomorphism, then it must contain an indecomposable subcontinuum. Theorem (Kato) If a continuum admits a positively continuum-wise expansive homeomorphism, then the continuum must be indecomposable. Question Suppose that X is a one-dimensional continuum that admits an expansive homeomorphism, must X be indecomposable? No! Christopher G. Mouron On the classification of one dimensional continua that admit expan

  28. Theorem (M.) If a k-cyclic continuum admits an expansive homeomorphism, then it must contain an indecomposable subcontinuum. Theorem (Kato) If a continuum admits a positively continuum-wise expansive homeomorphism, then the continuum must be indecomposable. Question Suppose that X is a one-dimensional continuum that admits an expansive homeomorphism, must X be indecomposable? No! Christopher G. Mouron On the classification of one dimensional continua that admit expan

  29. Theorem (M.) If a k-cyclic continuum admits an expansive homeomorphism, then it must contain an indecomposable subcontinuum. Theorem (Kato) If a continuum admits a positively continuum-wise expansive homeomorphism, then the continuum must be indecomposable. Question Suppose that X is a one-dimensional continuum that admits an expansive homeomorphism, must X be indecomposable? No! Christopher G. Mouron On the classification of one dimensional continua that admit expan

  30. Theorem (M.) If a k-cyclic continuum admits an expansive homeomorphism, then it must contain an indecomposable subcontinuum. Theorem (Kato) If a continuum admits a positively continuum-wise expansive homeomorphism, then the continuum must be indecomposable. Question Suppose that X is a one-dimensional continuum that admits an expansive homeomorphism, must X be indecomposable? No! Christopher G. Mouron On the classification of one dimensional continua that admit expan

  31. Define f : S − → S by f ( x ) = 2 x mod 1. Let Σ 2 = lim − ( S , f ) ← Then Σ 2 is the dyadic solenoid and as we said before, the shift homeomorphism is expansive. Let � S be the unit circle with 1 sticker in the complex plane and let f : � � → � S − S in the following way: Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  32. Figure: Doubling and stretch map � f ( x ). Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  33. Figure: Doubling and stretch map � f ( x ). Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  34. Figure: Doubling and stretch map � f ( x ). Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  35. Figure: Inverse limit of � f ( x ) is a ray limiting to the soleniod Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  36. Expansive Homeomorphisms of Plane Continua Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  37. Question Does there exists an expansive homeomorphism of a plane continuum? Yes, the Plykin Attractor is a one dimensional plane continuum that admits an expansive homeomorphism. Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  38. Question Does there exists an expansive homeomorphism of a plane continuum? Yes, the Plykin Attractor is a one dimensional plane continuum that admits an expansive homeomorphism. Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  39. P Figure: Plykin attractor admits an expansive homeomorphism Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  40. However, the Plykin Attractor is a 1-dimensional 4-separating plane continuum that admits an expansive homeomorphism. Question Does there exist an 1-dimensional plane separating continuum that admits an expansive homeomorphism? No! Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  41. However, the Plykin Attractor is a 1-dimensional 4-separating plane continuum that admits an expansive homeomorphism. Question Does there exist an 1-dimensional plane separating continuum that admits an expansive homeomorphism? No! Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  42. All 1-dimensional non-separating plane continua are tree-like. (Converse is not true.) Theorem (M.) Tree-like continua do not admit expansive homeomorphisms. The proof of this result contains many important ideas and techniques, so it will be valuable to examine it. Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  43. All 1-dimensional non-separating plane continua are tree-like. (Converse is not true.) Theorem (M.) Tree-like continua do not admit expansive homeomorphisms. The proof of this result contains many important ideas and techniques, so it will be valuable to examine it. Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  44. Let h : X − → X be a homeomorphism. M is an unstable subcontinuum of h if diam( h n ( M )) → 0 as n → −∞ . M is an stable subcontinuum of h if diam( h n ( M )) → 0 as n → ∞ . Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  45. Let h : X − → X be a homeomorphism. M is an unstable subcontinuum of h if diam( h n ( M )) → 0 as n → −∞ . M is an stable subcontinuum of h if diam( h n ( M )) → 0 as n → ∞ . Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  46. Let h : X − → X be a homeomorphism. M is an unstable subcontinuum of h if diam( h n ( M )) → 0 as n → −∞ . M is an stable subcontinuum of h if diam( h n ( M )) → 0 as n → ∞ . Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  47. Theorem (Kato) If h : X − → X is an continuum-wise expansive homeomorphism of a continuum, then there exists a stable or unstable subcontinuum. Since h is expansive if and only if h − 1 is expansive, we will always assume the existence of an unstable subcontinuum. Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  48. Theorem (Kato) If h : X − → X is an continuum-wise expansive homeomorphism of a continuum, then there exists a stable or unstable subcontinuum. Since h is expansive if and only if h − 1 is expansive, we will always assume the existence of an unstable subcontinuum. Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  49. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  50. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  51. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  52. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  53. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  54. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  55. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  56. Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  57. Let h : X − → X be a homeomorphism of a continuum X . Define d n k ( x , y ) = max { d( h i ( x ) , h i ( y )) : k ≤ i ≤ n } . And define d n −∞ ( x , y ) = sup { d( h i ( x ) , h i ( y )) : −∞ < i ≤ n } . Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  58. Let h : X − → X be a homeomorphism of a continuum X . Define d n k ( x , y ) = max { d( h i ( x ) , h i ( y )) : k ≤ i ≤ n } . And define d n −∞ ( x , y ) = sup { d( h i ( x ) , h i ( y )) : −∞ < i ≤ n } . Christopher G. Mouron On the classification of one dimensional continua that admit expansive

  59. Lemma Let h : X − → X be a homeomorphism of a compact space X. Suppose that 0 < ǫ < c and for each n ∈ N there exists points x n , y n ∈ X such that ǫ/ 3 ≤ d ( x n , y n ) and d n − n ( x n , y n ) < ǫ. Then c cannot be an expansive constant. Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  60. Proof. There exist converging subsequences { x n ( i ) } ∞ i =1 → x and { y n ( i ) } ∞ i =1 → y . Since d( x n ( i ) , y n ( i ) ) ≥ ǫ/ 3, x and y must be distinct. Since { n ( i ) } ∞ i =1 is strictly increasing, it follows that given k ∈ Z , then − n ( i ) ≤ k ≤ n ( i ) for all i ≥ | k | . So d( h k ( x n ( i ) ) , h k ( y n ( i ) )) < ǫ for all i ≥ | k | . Thus, d( h k ( x ) , h k ( y )) ≤ ǫ < c for all k ∈ Z . Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  61. Proof. There exist converging subsequences { x n ( i ) } ∞ i =1 → x and { y n ( i ) } ∞ i =1 → y . Since d( x n ( i ) , y n ( i ) ) ≥ ǫ/ 3, x and y must be distinct. Since { n ( i ) } ∞ i =1 is strictly increasing, it follows that given k ∈ Z , then − n ( i ) ≤ k ≤ n ( i ) for all i ≥ | k | . So d( h k ( x n ( i ) ) , h k ( y n ( i ) )) < ǫ for all i ≥ | k | . Thus, d( h k ( x ) , h k ( y )) ≤ ǫ < c for all k ∈ Z . Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

  62. Proof. There exist converging subsequences { x n ( i ) } ∞ i =1 → x and { y n ( i ) } ∞ i =1 → y . Since d( x n ( i ) , y n ( i ) ) ≥ ǫ/ 3, x and y must be distinct. Since { n ( i ) } ∞ i =1 is strictly increasing, it follows that given k ∈ Z , then − n ( i ) ≤ k ≤ n ( i ) for all i ≥ | k | . So d( h k ( x n ( i ) ) , h k ( y n ( i ) )) < ǫ for all i ≥ | k | . Thus, d( h k ( x ) , h k ( y )) ≤ ǫ < c for all k ∈ Z . Christopher G. Mouron On the classification of one dimensional continua that admit expansiv

Recommend


More recommend