1.

Definici
on: Una funcion : [a, b] C, con [a, b] R, es de variacion
acotada si hay una constante M > 0 tal que para cualquier particion
P = {a = t0 < t1 < ... < tm = b} de [a, b]
v(; P ) =

m
X

|(tk ) (tk1 )| M

k=1

la variacion total de , V () se define como

V (; P ) = sup{v(; P ) : P es una particion de [a, b]
2. Proposici
on: Sea : [a, b] C, de variacion acotada. Entonces:
(a) Si P y Q son particiones de [a, b] y P Q, entonces v(; P )
v(; Q);
(b) Si : [a, b] C es tambien de variacion acotada y ,
C, entonces +
es de variacion acotada y V ( +
) ||V () +
|
|V ()
3. Proposici
on: Si : [a, b] C es suave a trozos entonces es de
variacion acotada y
Z b
V () =
| 0 (t)|dt
a

4. Teorema: Sea : [a, b] C de variacion acotada y supongamos que

f : [a, b] C es continua. Entonces existe un n
umero complejo I tal
que  > 0, > 0 tal que si P = {t0 < t1 < ... < tm } es una particion
de [a, b] con kP k = max{(tk tk1 ) : 1 k m} < entonces
|I

m
X

f (k )[(tk ) (tk1 )]| < 

k=1

para cualquier eleccion de puntos k , tk1 k tk .

Este n
umero I se llama la integral de Riemann-Stieljes de f con respecto a sobre [a, b] y se denota por:
Z
I=

Z
f d =

f (t)d(t).
a

5. Proposici
on: Sean f, g funciones continuas de [a, b] y sean y
funciones de variacion acotada en [a, b]. Entonces para cualesquiera
escalares complejos y
:
Rb
Rb
Rb
(a) a (f +
g)d = a f d +
a gd
(b)

Rb

(f d( +
) =
a

Rb
a

Rb

f d +

f d

6. Proposici
on: Sea : [a, b] C es de variacion acotada y sea f :
[a, b] C continua. Si a = t0 < t1 < ... < tn = b entonces:
Z b
n Z tk
X
f d =
f d
a

k=1

tk1

7. Teorema: Si es suave a trozos y f : [a, b] C es continua entonces:

Z b
Z b
f (t) 0 (t)
f d =
a

8. Definici
on: Una funcion : [a, b] C, con [a, b] R, se dice que es
una trayectoria si es continua. Si : [a, b] C es una trayectoria,
entonces el conjunto {(t) : a t b} se llama recorrido de y se
denota por {} (Observe que {} siempre es compacto). Se dice que
es una trayectoria rectificable si es de variacion acotada.
Si P es una particion de [a, b] entonces v( : P ) es exactamente la suma
de las longitudes de los segmentos de lnea conectando puntos sobre el
recorrido de . Decir que
R b 0es rectificable significa que tiene longitud
finita y su longitud es a | |dt
9. Definici
on: Si : [a, b] C, es una trayectoria rectificable y f es una
funcion definida y continua sobre el recorrido de , entonces la integral
de lnea de f a lo largo de es
Z b
f ((t))d(t)
a

Esta integral de lnea es tambien denotada por

f=

f (z)dz

10. Proposici
on: Si : [a, b] C, es una trayectoria rectificable y :
[c, d] [a, b] es una funcion continua no decreciente con (c) = a,
(d) = b; entonces para cualquier funcion f continua sobre {}
Z
Z
f=
f

11. Definici
on: Sean : [c, d] C y : [a, b] C trayectorias rectificables. El camino es equivalente a si hay una funcion : [c, d] [a, b]
la cual es continua, estrictamente creciente, y con (c) = a, (d) = b;
tal que = . Decimos que la funcion es un cambio de parametro.
12. Proposici
on: Sea una curva rectificable y supongamos que f es una
funcion continua sobre {}. Entonces:
R
R
(a) f = f ;
(b) |

f|

|f ||dz| V () sup[|f (z)| : z {}];

(c) Si c C entonces

f (z)dz =

R
+c

f (z c)dz;

13. Teorema: Sea G abierto en C y sea una trayectoria rectificable en

G con puntos inicial y final y
respectivamente. Si f : G C es
una funcion continua con una primitiva F : G C, entonces:
Z
f = F (
) F ()

(Recordemos que F es una primitiva de f cuando F 0 = f .)

14. Lema: Si G es un conjunto abierto en C, : [a, b] G es una trayectoria rectificable y f : G C es continua entonces  > 0 existe
una
poligonal en G tal que (a) = (a), (b) = (b), y
R trayectoria
R
| f f | < .
15. Corolario: Sean G abierto en C, una trayectoria rectificable en G
con puntos inicial y final y respectivamente y f : G C una
funcion continua con una primitiva F : G C. Si es una curva
cerrada entonces:
Z
f =0

16. Proposici
on: Sea : [a, b] [c, d] C una funcion continua y definamos g : [c, d] C por
Z

(s, t)ds

g(t) =
a

Entonces, g es continua. Mas a

un, si
existe y es una funcion continua
t
sobre [a, b] [c, d] entonces g es continuamente diferenciable y
Z b

0
g (t) =
ds.
a t
17. Proposici
on: Sea f : G C una funcion analtica y supongamos

B(a, r) G(r > 0). Si (t) = a + reit , 0 t 2, entonces:

Z
f (w)
1
dw
f (z) =
2i w z
para |z a| < r.
18. Lema: Sea una una curva rectificable enC y supongamos que Fn y
F son continuas sobre . Si F = u lim Fn sobre {} entonces:
Z
Z
F = lim
Fn
n

19. Teorema: Sea f analtica en B(a, R); entonces f (z) =

an (z a)n

n=0

para |z a| < R donde an =

convergencia R

1 (n)
f (a)
n!

y esta serie tiene radio de

20. Corolario: Si f : G C es analtica y a G; entonces f (z) =

X
an (z a)n para |z a| < R donde R = d(a, G)
n=0

21. Corolario: Si f : G C es analtica, entonces f es infinitamente

diferenciable.
r) G; entonces
22. Corolario: Si f : G C es analtica y B(a,
Z
n!
f (w)
n
f (a) =
dw
2i (w a)n+1
donde (t) = a + reit , 0 t 2.
23. Estimado de Cauchy: Sea f analtica en B(a, R) y supongamos que
|f (z)| M para todo z B(a, R). Entonces
 
n!
M
n!M
n
|f (a)|
2r = n
n+1
2 r
r
4

24. Proposici
on: Sea f analtica en B(a, R) y supongamos que es una
curva cerrada rectificable en B(a, R). Entonces f tiene una primitiva
y por lo tanto
Z
f =0

25. Definici
on: Si f : G C es analtica y a G satisface f (a) = 0
entonces a es un cero de multiplicidad m 1 si existe una funcion
analtica g : G C tal que f (z) = (z a)m g(z) donde g(a) 6= 0
26. Definici
on: Una funcion entera es una funcion la cual esta definida y
es analtica en todo el plano complejo C.
27. Proposici
on: Si f es una funcion entera entonces f tiene una expansion en series de potencias:
f (z) =

an z n

n=0

con radio de convergencia infinito.

28. Teorema de Liouville: Si f es una funcion entera acotada entonces
f es constante.
29. Teorema fundamental del
algebra: Si p(z) es una polinomio no
constante, entonces hay un n
umero complejo a tal que p(a) = 0.
30. Corolario: Si p(z) es un polinomio y a1 , a2 , ..., am son sus ceros, con
aj teniendo multiplicidad kj entonces p(z) = c(z a1 )k1 (z am )km
para alguna constante c y ademas k1 + + km es el grado de p.
31. Teorema: Sea G un conjunto abierto y conexo y sea f : G C una
funcion analtica. Entonces los siguientes enunciados son equivalentes:
(a) f 0;
(b) Hay un punto a G tal que f (n) (a) = 0 para cada n 0;
(c) {z G : f (z) = 0} tiene un punto lmite en G.
32. Corolario: Si f y g son analticas sobre una region G entonces f g
si, y solo si el conjunto {z G : f (z) = g(z)} tiene un punto lmite.

33. Corolario: Si f es analtica sobre un conjunto G abierto y conexo y

f no es identicamente cero, entonces a G tal que f (a) = 0 hay un
entero n 1 y una funcion analtica g : G C tal que g(a) 6= 0 y
f (z) = (z a)n g(z) para todo z G. esto es, cada cero de f tiene
multiplicidad finita.
34. Corolario: Si f : G C es analtica y no constante, a G, y
f (a) = 0, entonces hay un R > 0 tal que B(a; R) G y f (z) 6= 0 para
0 < |z a| < R.
35. Teorema del m
odulo m
aximo: Si G es una region y f : G C es
una funcion analtica tal que hay un punto a G con |f (a)| |f (z)|
para todo z G entonces f es constante.
36. Proposici
on: Si : [0, 1] C es una curva cerrada rectificable y
a
/ {} entonces
Z
dz
1
2i z a
es un entero.
37. Definici
on: Si es una curva cerrada rectificable en C entonces para
a
/ {}
Z
dz
1
n(; a) =
2i (z a)
se llama el ndice de con respecto al punto a. A veces este n
umero se
llama el n
umero de vueltas de alrededor de a.
38. Proposici
on: Si y son curvas cerradas rectificables teniendo los
mismos puntos iniciales entonces:
(a) n(; a) = n(; a) para cada a
/ {};
(b) n( + ; a) = n(; a) + n(; a) para cada a
/ {} {}.
39. Teorema: Sea una curva cerrada rectificable en C. Entonces n(; a)
es constante para a perteneciente a la componente de G = C {}.
Tambien, n(; a) = 0 para a perteneciente a la componente no acotada
de G.
40. Teorema: Sea una curva rectificable y supongamos que es una
funci
on definida y continua sobre {}. Para cada m 1 sea Fm (z) =
R
(w)(w z)m dw para z
/ {}. Entonces cada Fm es analtica sobre

0
C {} y Fm (z) = mFm+1 (z).
6

41. F
ormula integral de Cauchy (Primera Versi
on): Sea G un subconjunto abierto del plano y f : G C una funcion analtica. Si
es una curva cerrada rectificable en G tal que n(, w) = 0 para todo
w C G, entonces para a en G {}
Z
1
f (z)
n(; a)f (a) =
dz
2i z a
42. F
ormula integral de Cauchy (Segunda Versi
on): Sea G un subconjunto abierto del plano y f : G C una funcion analtica. Si
1 , ..., m son curvas cerradas rectificables en G tales que n(1 ,Sw)+...+
n(m , w) = 0 para todo w C G, entonces para a en G m
k=1 {k }
Z
m
m
X
X
1
f (z)
f (a)
n(k ; a) =
dz
2i
z

k
k=1
k=1
43. F
ormula integral de Cauchy (Tercera Versi
on): Sea G un subconjunto abierto del plano y f : G C una funcion analtica. Si
1 , ..., m son curvas cerradas rectificables en G tales que n(1 , w) +
... + n(m , w) = 0 para todo w C G, entonces
m Z
X
f (z)dz
k

k=1

44. Teorema: Sea G un subconjunto abierto del plano y f : G C una

funcion analtica. Si 1 , ..., m son curvas cerradas rectificables en G
tales que n(1 , S
w) + ... + n(m , w) = 0 para todo w C G, entonces
para a en G m
k=1 {k }
Z
m
m
X
X
1
f (z)
(k)
f (a)
n(j ; a) = k!
dz
k+1
2i
(z

a)

j
j=1
j=1
45. Corolario: Sea G un subconjunto abierto del plano y f : G C una
funcion analtica. Si es una curva cerrada rectificable en G tales que
n(, w) = 0 para todo w C G, entonces para a en G {}
Z
k!
f (z)
(k)
f (a)n(; a) =
dz
2i (z a)k+1
46. Teorema de Morera:
Sea G una region y sea f : G C una funcion
R
continua tal que T f = 0 para cada trayectoria triangular T en G;
entonces f es analtca en G.
7

47. Definici
on: Sea 0 , 1 : [0, 1] G dos curvas cerradas en una region
G; entonces 0 es homotopica a 1 en G si hay una funcion continua
: [0, 1] [0, 1] G tal que:

(s, 0) = 0 (s) si (s, 1) = 1 (s) (0 s 1)
(0, t) = (1, t) si (0 t 1)
48. Definici
on: Un conjunto G es convexo si dados dos puntos a y b en G
el segmento de lnea que une a y b, [a, b], yace completamente en G. El
conjunto G es estrellado si hay un punto a en G tal que para cada z en
G, el segmento de lnea [a, z] yace enteramente en G. Todo conjunto
convexo es estrellado, pero el converso es falso.
49. Proposici
on: Sea G un conjunto convexo el cual es a-estrellado . Si
0 es la curva que es constantemente igual a a entonces cada curva
cerrada rectificable en G es homotopica a 0 .
50. Definici
on: Si es una curva cerrada rectificable en G entonces es
homotopica a cero ( 0) si es homotopica a una curva constante.
51. Teorema de Cauchy (Segunda versi
on): Si f : G C es una
funcion analtica y es una curva cerrada rectificable en G tal que
0 entonces
Z
f =0

52. Teorema de Cauchy (Tercera versi

on): Si 0 y 1 son dos curvas
cerradas rectificables en G y 0 1 entonces:
Z
Z
f=
f
0

para cada funcion analtica f sobre G.

53. Corolario: Si es una curva cerrada rectificable en G tal que 0
entonces: n(; w) = 0 para todo w C G
54. Definici
on: Si 0 , 1 : [0, 1] G son dos curvas cerradas rectificables
en G tales que 0 (0) = 1 (0) = a y 0 (1) = 1 (1) = b entonces 0 y
1 son homotopicas fijando puntos extremos si hay u mapeo continuo
: I 2 G tal que:
(s, 0) = 0 (s) , (s, 1) = 1 (s)
(0, t) = a , (1, t) = b
para 0 s, t 1.
8

55. Teorema de la independencia del camino: Si 0 y 1 son dos

curvas rectificables en G de a a b y 0 y 1 son homotopicas fijando
puntos extremos entonces:
Z
Z
f=
f
0

para cada funcion analtica f sobre G.

56. Definici
on: Un conjunto abierto G es simplemente conexo si G es
conexo y toda curva cerrada en G es homotopica a la trayectoria constante cero.
57. Teorema de Cauchy
(Cuarta versi
on) : Si G es simplemente
R
conexo entonces f = 0 para cada curva cerrada rectificable y cada
funcion analtica f .
58. Corolario: Si G es simplemente conexo y f : G C es analtica en
G entonces f tiene una primitiva en G.
59. Corolario: Sea G es simplemente conexo y sea f : G C una funcion
analtica tal que f (z) 6= 0 para todo z en G. Entonces hay una funcion
analtica g : G C tal que f (z) = expg(z). Si z0 G y ew0 = f (z0 ),
podemos elegir g(z0 ) = w0 .
60. Definici
on: Si G es un conjunto abierto, entonces es homologa a
cero, en smbolos 0, si n(; w) = 0 para todo w C G.
61. Teorema: Sea G una region y sea f una funcion analtica sobre G
con ceros a1 , ..., am (repetidos de acuerdo a su multiplicidad). Si es
una curva cerrada rectificable en G la cual no pasa a traves de ningun
punto ak y 0 en G entonces:
1
2i

X
f 0 (z)
dz =
n(; ak )
f (z)
k=1

62. Corolario: Sean f y g como en el teorema anterior excepto que

a1 , ..., am son los puntos en G que satisfacen la ecuacion f (z) = ;
entonces:
Z
m
X
1
f 0 (z)
dz =
n(; ak )
2i f (z)
k=1

63. Teorema: Supongamos que f es analtica en B(a, R) y sea = f (a).

Si f (z) tiene un cero de orden m en z = a entonces hay un  > 0
y un > 0 tales que para 0 > | | < , la ecuacion f (z) = tiene
exactamente m races simples en B(a, ). (Una raz simple de f (z) =
es un cero de f (z) de multiplicidad 1, observe que este teorema dice
que f (B(a, ) B(a, ). Tambien la condiion que f (z) tiene un
cero de multiplicidad finita garantiza que f no es constante.)
64. Teorema del mapeo abierto: Sea G una region y supongamos que f
es una funcion analtica no constante sobre G. entonces para cualquier
conjunto abierto U en G, f (U ) es abierto.
65. Corolario: Supongamos que f : G C es uno a uno, analtica y
f (G) = . Entonces f 1 : C es analtica y:
(f 1 )0 (w) =

1
f 0 (z)

donde w = f (z)
66. Teorema de Goursat: Sea G un conjunto abierto y sea f : G C
una funcion diferenciable; entonces f es analtica en G.

10