On the \(\Omega\)-EP property (Q2643060): Difference between revisions

A continuum is a compact, connected, nonempty metric space. A space is said to be an arc provided that it is homeomorphic to the closed unit interval \(I\). A continuum \(X\) is a graph if \(X\) can be written as the union of finitely many arcs any two of which are either disjoint or intersect only in one or both of their end points. A tree is a graph containing no simple closed curve. Let \(f:X \to X\) be a continuous self-mapping of a metric space \(X\). A point \(x \in X\) is said to be a nonwandering point of \(f\) if for each neighborhood \(U\) of \(x\) there is \(n\in{\mathbb N}\) such that \(f^n(U) \cap U \neq \emptyset\), where \(f^n\) denotes the \(n\)th compositional iterate of \(f\). A point \(x \in X\) is said to be eventually periodic for \(f\) provided that there is \(k\in{\mathbb N}\) such that \(f^k(x)\) is a periodic point for \(f\). The respective sets of the last two kinds of points are denoted by \(\Omega (f), \, EP(f)\). In this paper, the author introduces the following concept: A metric space is said to have the \(\Omega\)-EP property provided that every continuous self-mapping of \(X\) satisfies \(\Omega (f) \subset\) closure\((EP(f))\). According to this terminology, L.~Block proved in 1978 that \(I\) has the \(\Omega\)-EP property, while \textit{H.~Hosaka} and \textit{H.~Kato } improved Block's result in 1997 by stating that every tree has the \(\Omega\)-EP property. On the other hand, the unit circle \(S := \{z \in{\mathbb{C}}:| z| = 1\}\) does not have the \(\Omega\)-EP property. At a first glance, the reason seems to be that \(S\) contains a simple closed curve. Nevertheless, the author proves in the present paper that certain continua containing no simple closed curve do not have the \(\Omega\)-EP property. Specifically, it is shown that the closure of the set \[ \{(x,y): x \in (0,1], \;y = \sin (1/x)\} \] does not have the \(\Omega\)-EP property.