Apuntes de Variable Compleja - Carlos Lizama homepage ...
Apuntes de Variable Compleja - Carlos Lizama homepage ...
Apuntes de Variable Compleja - Carlos Lizama homepage ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
4.4. TEOREMAS FUNDAMENTALES 33<br />
Teorema 62 (Fundamental <strong>de</strong>l Algebra) Todo polinomio no constante p(z) =<br />
anz n + an−1z n−1 + ... + a0 con an = 0 tiene n raíces en C.<br />
Demostración. Basta <strong>de</strong>mostrar que tiene una raíz (luego se divi<strong>de</strong> por ella y<br />
se obtiene un polinomio <strong>de</strong> grado menor don<strong>de</strong> se aplica <strong>de</strong>nuevo el resultado ).<br />
Supongamos, por absurdo, que p(z) no tiene ninguna raíz.Entonces h(z) = 1<br />
p(z)<br />
es analítica en C (entera). Vamos a <strong>de</strong>mostrar que h(z) (y luego p(z)) es constante,<br />
por lo cual probamos que h(z) es acotada en C y usaremos el teorema <strong>de</strong> Liuville.<br />
En efecto:<br />
1<br />
lím<br />
z→∞ p(z)<br />
= lím<br />
t→∞<br />
= lím<br />
z→∞<br />
1<br />
anz n + ... + a0<br />
tn = 0<br />
an + an−1t + ...a0tn Luego, dado ɛ > 0 existe R > 0 tal que |z| ≥ R luego |h(z) = 1<br />
| ≤ ɛ.<br />
p(z)<br />
Por otra parte, si |z| ≤ R entonces |h(z)| ≤ M, pues h es continua y {z : |z| ≤ R}<br />
es compacto . Por lo tanto |h(z)| ≤ ɛ + M. Luego h es acotada, entonces h(z) es<br />
constante y así p(z) es constante. Contradicción.<br />
Teorema 63 (Del Valor Medio) Si f es Analítica en un abierto Ω y {z : |z−z0| ≤<br />
r} ⊆ Ω entonces<br />
f(z0) = 1<br />
2π<br />
f(z0 + re<br />
2π 0<br />
iθ )dθ<br />
Demostración. Usamos la fórmula <strong>de</strong> Cauchy<br />
f(z0) = 1<br />
<br />
2πi<br />
f(z)<br />
z − z0<br />
don<strong>de</strong> C es el círculo z = z0 + reiθ con 0 ≤ θ ≤ 2π.<br />
Entonces<br />
f(z0) = 1<br />
2π<br />
2πi<br />
= 1<br />
2π<br />
0<br />
2π<br />
0<br />
C<br />
f(z0 + reiθ )<br />
reiθ rie iθ dθ<br />
f(z0 + re iθ )dθ