A dynamical version of Kuratowski-Mycielski Theorem and invariant chaotic sets

We establish a dynamical version of Kuratowski-Mycielski Theorem on the existence of “large” invariant dependent sets. We apply this result to the study of invariant chaotic sets in topological dynamical systems, simplify many known results on this topic and also obtain some new results.