Chaotic continua of (continuum-wise) expansive homeomorphisms and chaos in the sense of Li and Yorke

Kato, Hisao

Fundamenta Mathematicae, Tome 144 (1994), p. 261-279 / Harvested from The Polish Digital Mathematics Library

Résumé

A homeomorphism f : X → X of a compactum X is expansive (resp. continuum-wise expansive) if there is c > 0 such that if x, y ∈ X and x ≠ y (resp. if A is a nondegenerate subcontinuum of X), then there is n ∈ ℤ such that $d(f^n(x), f^n(y)) > c$ (resp. $diam f^n(A) > c$). We prove the following theorem: If f is a continuum-wise expansive homeomorphism of a compactum X and the covering dimension of X is positive (dim X > 0), then there exists a σ-chaotic continuum Z = Z(σ) of f (σ = s or σ = u), i.e. Z is a nondegenerate subcontinuum of X satisfying: (i) for each x ∈ Z, $V^σ(x; Z)$ is dense in Z, and (ii) there exists τ > 0 such that for each x ∈ Z and each neighborhood U of x in X, there is y ∈ U ∩ Z such that $lim inf_{n → ∞} d(f^n(x), f^n(y))$ ≥ τ if σ = s, and $lim inf_{n → ∞} d(f^{-n}(x), f^{-n}(y))$ ≥ τ if σ = u; in particular, $W^σ(x) ≠ W^σ(y)$. Here   $V^s(x; Z) = {z ∈ Z| there is a subcontinuum A of Z such that }~~~~~ x, z ∈ A and $limn → ∞ diam fn(A) = 0$, $ $V^u(x; Z) = {z ∈ Z| there is a subcontinuum A of Z such that }~~~~~ x, z ∈ A and $limn → ∞ diam f-n(A) = 0$, $   $W^s(x) = {x^{\prime } ∈ X| lim_{n → ∞} d(f^n(x), f^n(x^{\prime })) = 0}$, and    $W^u(x) = {x^{\prime } ∈ X| lim_{n → ∞} d(f^{-n}(x), f^{-n}(x^{\prime }))=0}$. As a corollary, if f is a continuum-wise expansive homeomorphism of a compactum X with dim X > 0 and Z is a σ-chaotic continuum of f, then for almost all Cantor sets C ⊂ Z, f or $f^{-1}$ is chaotic on C in the sense of Li and Yorke according as σ = s or u). Also, we prove that if f is a continuum-wise expansive homeomorphism of a compactum X with dim X > 0 and there is a finite family $\mathbb {F}$ of graphs such that X is $\mathbb {F}$-like, then each chaotic continuum of f is indecomposable. Note that every expansive homeomorphism is continuum-wise expansive.

Détail

Publié le : 1994-01-01

Zbl 0809.54033

EUDML-ID : urn:eudml:doc:212046

Bibliographie

[00000] [1] N. Aoki, Topological dynamics, in: Topics in General Topology, K. Morita and J. Nagata (eds.), Elsevier, 1989, 625-740.

[00001] [2] B. F. Bryant, Unstable self-homeomorphisms of a compact space, Thesis, Vanderbilt University, 1954.

[00002] [3] S. B. Curry, One-dimensional nonseparating plane continua with disjoint ε-dense subcontinua, Topology Appl. 39 (1991), 145-151. | Zbl 0718.54042

[00003] [4] R. Devaney, An Introduction to Chaotic Dynamical Systems, 2nd ed., Addison-Wesley, 1989. | Zbl 0695.58002

[00004] [5] W. Gottschalk, Minimal sets: an introduction to topological dynamics, Bull. Amer. Math. Soc. 64 (1958), 336-351. | Zbl 0085.17401

[00005] [6] W. Gottschalk and G. Hedlund, Topological Dynamics, Amer. Math. Soc. Colloq. Publ. 34, Amer. Math. Soc., 1955. | Zbl 0067.15204

[00006] [7] K. Hiraide, Expansive homeomorphisms on compact surfaces are pseudo-Anosov, Osaka J. Math. 27 (1990), 117-162. | Zbl 0713.58042

[00007] [8] W. Hurewicz and H. Wallman, Dimension Theory, Princeton University Press, Princeton, N.J., 1948.

[00008] [9] J. F. Jacobson and W. R. Utz, The nonexistence of expansive homeomorphisms of a closed 2-cell, Pacific J. Math. 10 (1960), 1319-1321. | Zbl 0144.22302

[00009] [10] H. Kato, The nonexistence of expansive homeomorphisms of Peano continua in the plane, Topology Appl. 34 (1990), 161-165. | Zbl 0713.54035

[00010] [11] H. Kato, On expansiveness of shift homeomorphisms in inverse limits of graphs, Fund. Math. 137 (1991), 201-210. | Zbl 0738.54017

[00011] [12] H. Kato, The nonexistence of expansive homeomorphisms of dendroids, ibid. 136 (1990), 37-43. | Zbl 0707.54028

[00012] [13] H. Kato, Embeddability into the plane and movability on inverse limits of graphs whose shift maps are expansive, Topology Appl. 43 (1992), 141-156. | Zbl 0767.54008

[00013] [14] H. Kato, Expansive homeomorphisms in continuum theory, ibid. 45 (1992), 223-243. | Zbl 0790.54048

[00014] [15] H. Kato, Expansive homeomorphisms and indecomposability, Fund. Math. 139 (1991), 49-57. | Zbl 0823.54028

[00015] [16] H. Kato, Continuum-wise expansive homeomorphisms, Canad. J. Math. 45 (1993), 576-598. | Zbl 0797.54047

[00016] [17] H. Kato, Concerning continuum-wise fully expansive homeomorphisms of continua, Topology Appl. 53 (1993), 239-258. | Zbl 0797.54048

[00017] [18] H. Kato, Striped structures of stable and unstable sets of expansive homeomorphisms and a theorem of K. Kuratowski on independent sets, Fund. Math. 143 (1993), 153-165. | Zbl 0790.54053

[00018] [19] H. Kato and K. Kawamura, A class of continua which admit no expansive homeomorphisms, Rocky Mountain J. Math. 22 (1992), 645-651. | Zbl 0823.54029

[00019] [20] K. Kuratowski, Topology, Vol. II, Academic Press, New York, 1968.

[00020] [21] K. Kuratowski, Applications of Baire-category method to the problem of independent sets, Fund. Math. 81 (1974), 65-72. | Zbl 0311.54036

[00021] [22] T. Y Li and J. A. Yorke, Period three implies chaos, Amer. Math. Monthly 82 (1975), 985-992. | Zbl 0351.92021

[00022] [23] R. Ma né, Expansive homeomorphisms and topological dimension, Trans. Amer. Math. Soc. 252 (1979), 313-319. | Zbl 0362.54036

[00023] [24] S. B. Nadler, Jr., Hyperspaces of Sets, Pure and Appl. Math. 49, Dekker, New York, 1978.

[00024] [25] R. V. Plykin, Sources and sinks of A-diffeomorphisms of surfaces, Math. USSR-Sb. 23 (1974), 233-253. | Zbl 0324.58013

[00025] [26] W. Reddy, The existence of expansive homeomorphisms of manifolds, Duke Math. J. 32 (1965), 627-632. | Zbl 0132.18904

[00026] [27] W. Utz, Unstable homeomorphisms, Proc. Amer. Math. Soc. 1 (1950), 769-774. | Zbl 0040.09903

[00027] [28] P. Walters, An Introduction to Ergodic Theory, Graduate Texts in Math. 79, Springer, 1982.

[00028] [29] R. F. Williams, A note on unstable homeomorphisms, Proc. Amer. Math. Soc. 6 (1955), 308-309. | Zbl 0067.15402