Decomposition theorem on \(G\)-spaces (Q1012047)

By a \(G\)-space \(X\) is meant a topological space \(X\) with a continuous action of a topological group \(G\) on \(X\). A map \(f: X\to X\) on a \(G\)-space is called pseudoequivariant if \(f(G(x))= G(f(x))\) for all \(x\in X\). A point \(x\in X\) is \(G\)-nonwandering if for every open neighborhood \(U\) of \(x\) there is some \(n> 0\) and \(g\in G\) such that \(gf^n(U)\cap U\neq\emptyset\). \(\Omega_G(f)\) denotes the set of such points. For the definition of the \(G\)-shadowing property (GSP) see \textit{E. Shah} [Dynamical properties of maps on topological spaces and \(G\)-spaces. Ph.D. Thesis (2005)]. The authors prove the following statement. Let \(X\) be a compact metric \(G\)-space with \(G\) compact and \(f: X\to X\) a pseudoequivariant \(G\)-expansive homeomorphism with the GSP property. Then \(\Omega_G(f)\) contains a finite sequence \(B_1,\dots, B_n\) of \(f\)-invariant and \(G\)-invariant closed sets such that \(\Omega_G(f)\) is topologically \(G\)-transitive; \(\Omega_G(f)= \bigcup^n_{i=1} B_i\) (disjoint union); and \(f|_{B_i}\) has the GSP.