Differences

This shows you the differences between two versions of the page.

--- ebsd2021:raissi3 [2021/10/19 18:44] – escola
+++ ebsd2021:raissi3 [2021/10/19 18:48] (current) – escola
@@ Line 97: / Line 97: @@
 r}$ as direções atratoras e repulsoras de $f$ em $0$. Então existem abertos $\mathcal{P}_1, \dots, \mathcal{P}_{2r}$ e mapas conformes $\varphi_i: \mathcal{P}_i \to \mathbb{H}_i$, onde $\mathbb{H}_i = \{z \in \mathbb{C} \ | \ Re(z) > 0\}$ se $i$ é ímpar e $\mathbb{H}_i = \{z \in \mathbb{C} \ | \ Re(z) < 0\}$ se $i$ é par, tais que:
   - $0 \in \partial \mathcal{P}_i$ e $\cup_{i=1}^{2r}\mathcal{P}_i\cup \{0\}$ é uma vizinhança de $0$;
-  - $\mathcal{P}_i\cap \mathcal{P}_j \neq \empstyset$ se e só se $i - j = \pm 1 \mod(2r)$;
+  - $\mathcal{P}_i\cap \mathcal{P}_j \neq \emptyset$ se e só se $i - j = \pm 1 \mod(2r)$;
   - $f(\mathcal{P}_i) \subset \mathcal{P}_i$ se $i$ é ímpar e $\mathcal{P}_i \subset f(\mathcal{P}_i)$ se $i$ é par;
   - $\varphi_i$ conjuga a ação de $f$ em $\mathcal{P}_i$ com a de $z \mapsto z + 1$ em $\mathbb{H}_i$;
-  - $f^n(z) \xrightarro{} 0$ pela direção $v_i$ se $z \in \mathcal{P}_i$ e $i$ é ímpar;
+  - $f^n(z) \xrightarrow{} 0$ pela direção $v_i$ se $z \in \mathcal{P}_i$ e $i$ é ímpar;
   - $f^{-n}(z) \xrightarrow{} 0$ pela direção $v_i$ se $z \in \mathcal{P}_i$ e $i$ é par;
   - os mapas $\varphi_i$ são únicos a menos de composição com translação.
@@ Line 108: / Line 108: @@
 **Corolário:** Cada pétala atratora contém um ponto crítico.
-Voltemos agora ao caso em que o multiplicador é $\rho = e^{2\pi ip/q}$ para qualquer $q \geq 1$. Então o mapa $f^q$ tem $0$ como ponto fixo parabólico com multiplicador $1$, e vale o teorema da flro de Leau-Fatou. Como a derivada de $f$ é $\rho$, ela age por rotação nas direções atratoras em torno do $0$, e essa ação tem ordem exatamente $q$. Isso significa que as $r$ pétalas atratoras são divididas em ciclos de $q$ pétalas permutadas pela ação de $f$. Sabendo que cada pétala contém um ponto crítico de $f^q$, podemos concluir daí que cada ciclo de $q$ pétalas contém um ponto crítico de $f$. No caso em que $f$ é um polinômio, ela tem no máximo $d - 1$ pontos críticos no plano, e portanto tiramos que:
+Voltemos agora ao caso em que o multiplicador é $\rho = e^{2\pi ip/q}$ para qualquer $q \geq 1$. Então o mapa $f^q$ tem $0$ como ponto fixo parabólico com multiplicador $1$, e vale o teorema da flor de Leau-Fatou. Como a derivada de $f$ é $\rho$, ela age por rotação nas direções atratoras em torno do $0$, e essa ação tem ordem exatamente $q$. Isso significa que as $r$ pétalas atratoras são divididas em ciclos de $q$ pétalas permutadas pela ação de $f$. Sabendo que cada pétala contém um ponto crítico de $f^q$, podemos concluir daí que cada ciclo de $q$ pétalas contém um ponto crítico de $f$. No caso em que $f$ é um polinômio, ela tem no máximo $d - 1$ pontos críticos no plano, e portanto tiramos que:
 **Corolário:** $r = \nu q$, $\nu \in \{1, \dots, d - 1\}$.