Almost every measurement method

Abstract

Takena, 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 /spl Ropf//sup n/ and let O:/spl Ropf//sup n/ /spl rarr/ /spl Ropf//sup m/ where n > m be a typical smooth map. When can we say that A and O(A) are similar, based only on knowledge of the images in /spl Ropf//sup m/ of trajectories in A? For example, under what conditions on O(A) (and the induced dynamics thereon) are A and O(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 O and the subclass of delay coordinate mappings. In answering these questions, a fundamental problem arises about an arbitrary compact set A in /spl Ropf//sup n/. For x /spl isin/ A, what is the smallest integer d such that there is a C/sup 1/ manifold of dimension d that contains all points of A that lie in some neighborhood of x? We define a tangent space T/sub x/A in a natural way and show that the answer is d=dim(T/sub x/A). As a consequence we obtain a Platonic version of the Whitney embedding theorem.