Learning about Reality from Observation

Takens, Ruelle, Eckmann, Sano, and Sawada launched an investigation of images of attractors of dynamical systems. Let A be a compact invariant set for a map f on $\mathbb{R}^{n}$ and let $\phi : \mathbb{R}^{n} \to \mathbb{R}^{m}$ be a "typical" smooth map, where n > m. When can we say that A and $\phi (A)$ are similar, based only on knowledge of the images in $\mathbb{R}^{m}$ of trajectories in A? For example, under what conditions on $\phi (A)$ (and the induced dynamics thereon) are A and $\phi (A)$ homeomorphic? Are their Lyapunov exponents the same? Or, more precisely, which of their Lyapunov exponents are the same? This paper addresses these questions with respect to both the general class of smooth mappings $\phi$ and the subclass of delay coordinate mappings.In answering these questions, a fundamental problem arises about an arbitrary compact set A in $\mathbb{R}^{n}$. For $x \in A$, what is the smallest integer d such that there is a C1 manifold of dimension d that contains all points of A that lie...