Lyapunov functions via Whitney's size functions
arXiv:1404.0595
Abstract
In this paper we present a technique for constructing Lyapunov functions based on Whitney's size functions. Applications to asymptotically stable equilibrium points, isolated sets, expansive homeomorphisms and continuum-wise expansive homeomorphisms are given.