Conceptions of topological transitivity (Q438692)

The authors discuss the concept of topological transitivity for a discrete dynamical system generated by a continuous map \(f\) defined on a (nonempty) topological space \(X\). They say that \((X,f)\) is topologically transitive if for every pair of nonempty open sets \(U,V\subset X\) the set \(\{k\in\mathbb{Z}|\;A\cap f^{-k}(B)\not=\emptyset\}\) is not empty. The authors list six further properties related to transitivity and they show that all of them coincide in the case when \(X\) is perfect, Hausdorff, second countable, and non-meager; each of these concepts is traced back in the literature.