We provide an algorithm for visualization of invariant sets of dynamical systems with a smooth invariant measure. The algorithm is based on a constructive proof of the ergodic partition theorem for automorphisms of compact metric spaces. The ergodic partition of a compact metric space A, under the dynamics of a continuous automorphism T, is shown to be the product of measurable partitions of the space induced by the time averages of a set of functions on A. The numerical algorithm consists of computing the time averages of a chosen set of functions and partitioning the phase space into their level sets. The method is applied to the three-dimensional ABC map for which the dynamics was visualized by other methods in Feingold et al.
展开▼