In dynamical systems theory, the horseshoe map was introduced by Stephen Smale as a simple model of complex behavior. It is given on the unit square by the formula:
(1) ,
where:
(2)
This map serves as a model for general behavior at transverse homoclinic point s, and can be fairly easily shown to have an invariantcompact set on which it acts as a shift map .