Stable attracting sets in dynamical systems and in their one-step discretizations

We consider a dynamical system described by a system of ordinary differential equations which possesses a compact attracting set Λ of arbitrary shape. Under the assumption of uniform asymptotic stability of Λ in the sense of Lyapunov, we show that discretized versions of the dynamical system involving one-step numerical methods have nearby attracting sets Λ(h), which are also uniformly asymptotically stable. Our proof uses the properties of a Lyapunov function which characterizes the stability of Λ.