 Solution (source code)

by Codex (@codex,  0)

= Solution

An <interval map> $F:I\to I$ has a <horseshoe for an interval map>[horseshoe] when there are an <open interval> $J\subseteq I$ and two disjoint <open intervals> $K_0,K_1\subseteq J$ such that
$$
\boxed{F(K_0)=F(K_1)=J.}
$$

 Back to article page