Differences

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

--- ebsd2021:raissi2 [2021/09/17 20:01] – escola
+++ ebsd2021:raissi2 [2021/10/18 14:51] (current) – escola
@@ Line 35: / Line 35: @@
 a função \(P(z) := Q(z)f(z)\) é holomorfa do plano no plano --- i.e. inteira. Além disso, colocando \(P(\infty) = \infty\), temos uma extensão de \(P\) para a esfera. Pela estrutura complexa, isso significa que o mapa \(1/P(1/z)\) é holomorfo em torno de \(0\), e que manda \(0\) em \(0\); em particular, \(1/P(1/z) = z^dh(z)\) perto de \(0\), onde \(d \geq 1\) e \(h\) é holomorfa e não se anula. Portanto, para \(z\) "perto de infinito" (i.e. grande o suficiente), vale que
 \[ P(z) = \frac{z^d}{h\left( \frac{1}{z} \right)} \implies |P(z)| \leq C|z|^d \]
-para alguma constante \(C > 0\) e todo \(z\) com \(|z|\) grande o bastante. Agora aplicamos o mesmo racioncínio do Teorema de Liouville: tomando \(R > 0\) grande o suficiente e \(C_R\) o círculo de raio \(R\), temos
+para alguma constante \(C > 0\) independente de \(z\). Agora aplicamos o mesmo racioncínio do Teorema de Liouville: tomando \(R > 0\) grande o suficiente e \(C_R\) o círculo de raio \(R\), temos
 \[ |P^{(d+1)}(z)| = \left| \frac{(d+1)!}{2\pi i}\int_{C_R}{ \frac{P(\zeta)}{(\zeta - z)^{d+2}}d\zeta } \right| \leq \frac{(d+1)!}{2\pi}\frac{CR^d}{(R - |z|)^{d+2}}2\pi R \xrightarrow[R\to\infty]{} 0 \]
 e portanto \(P^{(d+1)} \equiv 0\), o que implica que \(P\) é um polinômio. Finalmente, isto nos conclui que \(f(z) = P(z)/Q(z)\), como queríamos demonstrar.
@@ Line 47: / Line 47: @@
 com \(ad - bc \neq 0\).
-//Demonstração//: Sabemos que um mapa holomorfo da esfera nela mesma é racional, e podemos escrever \(\phi(z) = P(z)/Q(z)\). Como os zeros de \(\phi\) são os zeros de \(P\) e os polos de \(\phi\) são os zeros de \(Q\), necessariamente \(\deg P \leq 1\) e \(\deg Q \leq 1\) (caso contrário, o mapa não seria invertível); note que é possível o grau de um desses polinômios ser \(0\), como no caso de \(\phi(z) = 1/z\), por exemplo. Escrevemos então
+//Demonstração//: Sabemos que um mapa holomorfo da esfera nela mesma é racional, e podemos escrever \(\phi(z) = P(z)/Q(z)\). Como os zeros de \(\phi\) são os zeros de \(P\) e os pólos de \(\phi\) são os zeros de \(Q\), necessariamente \(\deg P \leq 1\) e \(\deg Q \leq 1\) (caso contrário, o mapa não seria invertível); note que é possível o grau de um desses polinômios ser \(0\), como no caso de \(\phi(z) = 1/z\), por exemplo. Escrevemos então
 \[ \phi(z) = \frac{az + b}{cz + d} \]
-com \(a, b, c, d \in \mathbb{C}\). Para entender a condição nos coeficientes, primeiro vemos que um mapa dessa forma pode ser visto como uma ação do grupo \(M_2(\mathbb{C})\) de matrizes \(2\times 2\) a coeficientes complexos na esfera; de fato, se pomos
+com \(a, b, c, d \in \mathbb{C}\). Para entender a condição nos coeficientes, primeiro vemos que um mapa dessa forma pode ser visto como uma ação de \(M_2(\mathbb{C})\), espaço de matrizes \(2\times 2\) a coeficientes complexos na esfera; de fato, se pomos
 \[ \begin{pmatrix} a & b \\ c & d \end{pmatrix}\cdot z := \frac{az + b}{cz + d} \]
 podemos verificar que
 \[ \begin{pmatrix} a & b \\ c & d \end{pmatrix}\cdot\left[ \begin{pmatrix} a' & b' \\ c' & d' \end{pmatrix}\cdot z \right] = \left[ \begin{pmatrix} a & b \\ c & d \end{pmatrix}\cdot \begin{pmatrix} a' & b' \\ c' & d' \end{pmatrix} \right]\cdot z \ \ \text{ e } \ \ \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}\cdot z = z. \]
-Dessa forma, \(\phi\) é invertível se e só se a matriz que o representa em \(M_2(\mathbb{C})\) é invertível, o que ocorre se e só se seu determinante é \(0\).
+Dessa forma, \(\phi\) é invertível se e só se a matriz que o representa em \(M_2(\mathbb{C})\) é invertível, o que ocorre se e só se seu determinante é diferente de \(0\).
 Verificamos assim que os automorfismos de \(\overline{\mathbb{C}}\) são representados por matrizes em \(GL_2(\mathbb{C})\); note que a ação de uma matriz \(\begin{pmatrix} a & b \\ c & d \end{pmatrix}\) coincide com a ação da matriz \(\begin{pmatrix} \lambda a & \lambda b \\ \lambda c &  \lambda d \end{pmatrix}\) para qualquer \(\lambda \in \mathbb{C}\setminus \{0\}\), e portanto podemos sempre assumir que o representante está no grupo \(SL_2(\mathbb{C})\), de matrizes com determinante \(1\). Como ainda vale que as ações de \(\text{Id}\) e \(-\text{Id}\) coincidem, temos que o grupo de automorfismos de \(\overline{\mathbb{C}}\) é dado por