En este momento estoy haciendo un proyecto acerca de la herradura de Smale mapa. Esta es una función que asigna un cuadrado de $D= \{(x,y)\in \mathbb{R}^2: 0\le x\le 1,\text{ } 0\le y \le 1 \} $ a un 'herradura'. Los contratos de la $x$-dirección, se expande el $y$-dirección y pliegues alrededor, como en la imagen:
El objetivo del texto es el estudio de los invariantes establecidos en virtud de $f$: estamos interesados en los puntos que va a permanecer para siempre en la $D$ si se aplican $f$ o $f^{-1}$ arbitrarias a menudo. Es decir, queremos mirar el conjunto $...\cap f^{-1}\cap D\cap f(D)\cap f^2(D)\cap ...$
Por lo tanto, sólo es necesario definir la función de $H_0$$H_1$, porque el resto de los elementos que se asignan fuera de $D$, así que simplemente ignorarlos. $H_0, H_1$ puede ser descrito como:
\begin{equation} H_0= \{(x,y)\in \mathbb{R}^2: 0\le x\le 1, \text{ } 0\le y \le 1/{\mu} \} \end{equation}
\begin{equation} H_1= \{(x,y)\in \mathbb{R}^2: 0\le x\le 1, \text{ } 1-1/{\mu} \le y \le 1 \} \end{equation}
Entonces, la definición de los subconjuntos es como sigue:
\begin{equation} H_0: \begin{pmatrix} x \\y \end{pmatrix} \mapsto \begin{pmatrix} \lambda & 0 \\ 0 & \mu \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix} \end{equation}
\begin{equation} H_1: \begin{pmatrix} x \\y \end{pmatrix} \mapsto \begin{pmatrix} -\lambda & 0 \\ 0 & -\mu \end{pmatrix} \begin{pmatrix} x \\y \end{pmatrix} + \begin{pmatrix} 1 \\\mu \end{pmatrix} \end{equation}
Si seguimos aplicando $f$ sobre el dominio, el conjunto de $D\cap f(D) \cap f^2(D) \cap ...$ desarrollará de la siguiente manera:
Mientras que si seguimos aplicando $f^{-1}$ se obtiene el siguiente resultado:
Como se puede ver, si se toma la intersección de ambos, y dejando que el número de iteraciones que se van a infinito, obtenemos las intersecciones de horizontal y vertical de los rectángulos, los cuales son sólo puntos.
Por lo tanto, ahora mi pregunta es: ¿Cuál es el punto de esto? ¿Cuáles son los teóricamente aspectos interesantes de este mapa? ¿Qué aplicaciones existen para este mapa?