Questions: The Smale Horseshoe

Question 1

In the horseshoe map, the unit square is stretched horizontally by a factor > 2 and compressed vertically, then folded back into a horseshoe. After one iteration, the intersection of the image with the original square consists of:

• A. A single horizontal strip
• B. Two vertical strips — the parts of the horseshoe that overlap with the original square
• C. The entire square — the horseshoe fits perfectly back
• D. A single point — the fixed point of the map

Answer: (B)

The stretched-and-folded horseshoe overlaps the original square in two vertical strips (the two 'legs' of the horseshoe that pass through the square). Points in these strips have preimages in the square, and their forward orbits remain in the square for at least one more step. After n iterations, the invariant set is the intersection of 2^n increasingly thin strips — in the limit, it becomes a Cantor set. The two-strip intersection at each step is what generates the binary encoding used in symbolic dynamics.

Question 2

The invariant set of the horseshoe map is a Cantor set. This means it is:

• A. A finite collection of periodic points
• B. A smooth curve winding through the square
• C. An uncountable, totally disconnected, perfect set with zero Lebesgue measure — containing uncountably many points but no intervals
• D. The entire square minus the periodic orbits

Answer: (C)

A Cantor set is constructed by repeatedly removing middle portions. In the horseshoe, each iteration removes the parts of the square that map outside it, leaving thinner and thinner strips. In the limit, what remains is a Cantor set: uncountably many points (one for each infinite binary sequence), totally disconnected (no two points are connected by a continuous path in the set), with zero area (measure zero). Despite having zero area, it contains infinitely many periodic orbits (of every period) and uncountably many aperiodic orbits.

Question 3

The Smale horseshoe is structurally stable — it persists under small perturbations of the map.

• T. True
• F. False

Answer: True

This is one of the horseshoe's most important properties. The key ingredient is hyperbolicity: at every point of the invariant set, there are well-defined stable and unstable directions with uniform expansion and contraction rates. Hyperbolic invariant sets are structurally stable by the structural stability theorem — small smooth perturbations produce a topologically conjugate map on the invariant set. This means that once a horseshoe is present in a system, it can't be removed by small changes to the equations. Chaos, once established via a horseshoe mechanism, is robust.

Question 4

Explain how the horseshoe map demonstrates that chaos requires both stretching and folding, and what would happen with only one.

Model answer: Stretching alone (uniform expansion) would send all points to infinity — the map would have no bounded invariant set and no recurrence. Folding alone (without stretching) would be a contraction and all points would converge to a fixed point or periodic orbit. The horseshoe combines both: stretching creates the sensitive dependence (nearby points diverge exponentially in the expanding direction), while folding brings the stretched set back into the original region, enabling recurrence and bounded dynamics. The interplay creates the Cantor-set invariant set where orbits are forever trapped, forever separating, and forever returning.

This is the geometric mechanism underlying all dissipative chaos. The Lorenz attractor arises from stretching and folding in 3D continuous flow. The logistic map at r = 4 is a 1D analog where the parabola stretches [0,1] to twice its length and folds it back. The horseshoe isolates this mechanism in its purest, most analyzable form, which is why it serves as the theoretical foundation for understanding when and how chaos arises.