Mappings on dendrites (Q1886712): Difference between revisions

Let \(X\) be a metric space and let \(f: X\to X\). A point \(x\in X\) is said to be: (1) a periodic point of \(f\) if there is \(n> 0\) such that \(f^n(x)= x\); if moreover, \(f^k(x)\neq x\) for \(1\leq k< n\), then \(x\) is called a periodic point of \(f\) of period \(n\); (2) an eventually periodic point of \(f\) of period \(n> 0\) if there is \(m\geq 0\) such that \(f^m(x)\) is a periodic point of \(f\) of period \(n\); (3) an eventually periodic point of \(f\) if there is \(n> 0\) such that \(x\) is an eventually periodic point of \(f\) of period \(n\); (4) a non-wandering point of \(f\) if for every open set \(U\) containing \(x\) there is \(y\in U\) and \(n> 0\) such that \(f^n(y)\in U\). A space \(X\) is said to have the \(\Omega\)EP-property if for each continuous function \(f: X\to X\) the set of all non-wandering points of \(f\) is contained in the closure of the set of all eventually periodic points of \(f\). A tree is a graph which contains no simple closed curve. A dendrite is a locally connected and uniquely arcwise connected metric continuum. The authors extend to dendrites several results obtained earlier for trees [\textit{H. Hosaka} and \textit{H. Kato}, Topology Appl. 81, No. 1, 35--46 (1997; Zbl 0908.54023)]. For example, they prove the following Theorem. A dendrite \(X\) has the \(\Omega\)EP-property if and only if \(X\) does not contain a topological copy of the planar dendrite \(W= [0, 1]\times\{0\}\cup \bigcup\{\{1/n\}\times [0, 1/n]: n\geq 1\}\).