Chaos of continuum-wise expansive homeomorphisms and dynamical properties of sensitive maps of graphs (Q1816533)

We study several properties of chaos of maps of compacta. We show that if a homeomorphism \(f: X\to X\) of a compactum \(X\) with \(\dim X>0\) is continuum-wise expansive, then there is an \(f\)-invariant closed subset \(Y\) of \(X\) with \(\dim Y>0\) such that \(f\) is (two-sided strongly) chaotic on \(Y\) in the sense of Ruelle-Takens. We also investigate dynamical properties of maps of graphs which are sensitive. In particular, we prove the decomposition theorem of sensitive maps of graphs as follows: If \(f: G\to G\) is a map of a graph \(G\) which is sensitive, then there exist finite subgraphs \(G_i\) \((1\leq i\leq N)\) of \(G\) such that (a) each \(G_i\) is \(f\)-invariant and \(G_i\cap G_j\) is empty or a finite set for \(i\neq j\), (b) for each \(1\leq i\leq N\), \(f\) is (two-sided strongly) chaotic on \(G_i\) in the sense of Devaney and there exists a connected subgraph \(H_i\) of \(G_i\) and a natural number \(n(i)\geq 1\) such that \(H_i\) is \(f^{n(i)}\)-invariant, \(f^{n (i)} |f^k (H_i): f^k (H_i)\to f^k (H_i)\) \((0\leq k\leq n(i) -1)\) is topologically mixing, \(\bigcup_{k= 0}^{n(i )-1} f^k (H_i) = G_i\), and \(f^k (H_i) \cap f^{k'} (H_i)\) is empty or a finite set for \(0\leq k< k'\leq n(i) -1\), and (c) \(\dim F(f)\leq 0\), where \(F(f)= \{x\in G: f^n (x)\in \text{Cl} (G- \bigcup^N_{i=1} G_i)\) for each \(n\geq 0\}\). As a corollary, we show that in case of maps of graphs, chaos in the sense of Ruelle-Takens is equal to (two-sided strongly) chaos in the sense of Devaney, and sensitive maps of graphs induce two-sided chaos in the sense of Li-Yorke.