Transitivities of maps of general topological spaces (Q2268849)

Different variants of topological transitivity of maps on a topological space~\(X\) are investigated. A (not necessarily continuous) map~\(f:X\to X\) is called orbit-transitive if there is an~\(x\) such that the orbit of~\(x\) is dense. If the orbit of~\(f(x)\) is dense for some~\(x\) then \(f\) is called strictly orbit-transitive. One calls \(f\) \(\omega\)-transitive if there exists an~\(x\) with \(\omega(x)=X\), where the omega-limit set~\(\omega(x)\) of~\(x\) is the set of all limit points of the sequence~\((f^{n}(x))_{n\in{\mathbb N}}\). Finally \(f\) is said to be open set-transitive if for every nonempty open \(U,V\subseteq X\) there is an~\(n\in{\mathbb N}\) with \(f^{n}(U)\cap V\neq\emptyset\). Every \(\omega\)-transitive map is open set-transitive and strictly orbit-transitive, and every strictly orbit-transitive map is orbit-transitive. For continuous maps \(\omega\)-transitivity and strict orbit-transitivity are equivalent. A point is called quasi-isolated in~\(X\) if it is isolated in a dense subset of~\(X\). On a topological space without quasi-isolated points for all (not necessarily continuous) maps \(\omega\)-transitivity, strict orbit-transitivity and orbit-transitivity are equivalent. If every nonempty open~\(U\subseteq X\) contains a nonempty open~\(V\) with \(\overline{V}\subseteq U\) then \(X\) is called pseudo-regular. The space~\(X\) is called partially completeable if there is a nonempty open~\(U\subseteq X\) such that \(\overline{U}\) is pseudo-regular. It is proved that a continuous map~\(f\) on a partially completeable topological space with countable base is open set-transitive if and only if \(f\) is \(\omega\)-transitive. The authors also provide several counterexamples.