On sets with recurrence properties, their topological structure and entropy (Q409676)

Let \((X,d)\) be a compact metric space and let \(f\in C(X,X)\). A set \(K\subset X\) is said to be transitive of order \(n\) if it is a transitive set for \(f^n\) and weakly mixing of order \(n\) if \(\underbrace{A\times\dots\times A}_n\) is a transitive set for the map \(\underbrace{f\times\dots\times f}_n\). The authors obtain the following results: \begin{itemize}\item[(1)] The following families of subsets of \(X\) are \(G_\delta\) subsets of \(2^X\): transitive, transitive of order \(n\), totally transitive, weakly mixing of order \(n\), and weakly mixing. \item[(2)] If any of these five sets is a singleton, then they all are singletons and \(f\) is proximal. \item[(3)] If a factor map from \((X,f)\) to another system is given, then the relative entropy of \(f\) is a supremum of entropies of \(f\) on chaotic sets contained in fibers. The same statement holds true for weakly mixing sets and closed weakly mixing entropy sets. \item[(4)] The sets with full local entropy capacity are studied in relation to the before mentioned classes of sets.\end{itemize}