The Koopman operator formalism represents nonlinear dynamical systems as linear operators on infinit...