Tenemos que:

(t)

f ( z ) dz |f ( z )|dz | (t )|dz

(t )

Entonces:

(t)

|f ( z )|dz | (t)|dz
i

|e z |dz
1

1(t )

Utilizando la serie de Taylor:

1
z

| ( )|
()
| |

f ( z )=e =
1 k =0

|e z |dz=
1

1 k =0

| |

1 k =0

1 k
z
k!

1 k
z
k!

1 k
i
z
1 1k
=
dz
k!
1 k=0 k ! z

()

||

||
k

k1! 1z dz
k=0
1
Por la igualdad:

z ( t )=cos (t ) +isen(t)

1
dz
k1!
k
k=0
1 |( cos ( t ) +isen(t) ) |

1
dz
k1!
k=0
1 |( cos ( tk ) +isen(tk) )|

k1!
k=0
1

(
(

1
dt
( cos ( tk )+isen(tk ))

k1! 11 dt= k1! t|1i

k=0
k=0
1

()

( )

k1! ( t|1i )=
k=0

k1! ( i1 )
k=0

k1! ( i1 ) 2 =e(i1) 2
k=0

Sacamos ahora el modulo por no poder sacar la deigualdad en complejos:

| 2|

| 2|

|e (i1)| =|e (i1)|

 2 e2
=
<N
2

e2 N

2.4473< N N

Tenemos que:

f ( z ) dz= f ( z ) dz
2

Entonces:
Luego:

H : [ 0,1 ][ 0,1 ] C
H ( s , t )=( s+t )+ it s

H (1, t )= 1 ( t )=( 1+t ) +it 0 t 1

1

1
1
H , t = 2 ( t )= +t +it 2 0 t 1
2
2

( )

( )

H ( s , 0 ) =z 0 ( t )=( s+0 )+it 0=s 0 s 1

s

H ( s , 1 )=z 1 (t )= ( s+ 1 )+i 1 =s+1+i 1 0 s 1

Nos queda entonces:

s +1+i1s C y la curva 2 ( t )=( 2+t )+it 2

Su derivada:

1
1
+ t +it 2 =1+ it
2
2

( )

2 (t )=

1
2

Integrando:

z1

z 2 +1
dz= f ( ( t )) dt
z
z

( )

1 2

( ) )
(

1
+t +it 2 +1
2
1

1
+ t +it 2
2

( )

1
1+ it
2

1
2

1
u= +t +it 2
2

( )

du
1
=1+ it
dt
2

1
2

u2 + 1
u4 +2 u2 +1
du=
du
u
u2
0

( )

u 2+2+
0

1
du
2
u

u + 2 du+ u12 du
2

u3 1
+ 2 u|1 +u1|1
3 0
0
0

dt

+it 2
1
+t
2
1|1
0

( )

|
)|

1 3

(( ) )
1
+ t +it 2
2
3

(( )

1 3

1
+ t +it 2
2
3

(( ) )|
1

1 + 2 1 +t +it 2 1 +
0
2
0

1 3

1 3

(( ) ) (( ) )

1
1
+1 +i1 2
+ 0 +i 0 2
2
2
5 23
1
=

=
+i
0
3
3
12 12

(( ) )| (( ) ) (( ) )
1

1
1
1
1
2
+ t +it 2 =2
+1 +i 1 2 2
+ 0 + i 0 2 =2+i
2
0
2
2
1

+it 2
1
+t
2

( )
1

+i1 2
1
1|1= +1
0
2

( )

1
2

+i1
1
+1
2

( )

5 23
20
4 487 503
+i + 2+ i+ + i =
+
i
12 12
13 13 156 156
487 503
+
i
156 156

Sean h , k : (X , x 0 )(Y , y 0 ) dos aplicaciones continuas. Si

homotpicas y si la imagen del punto base

y0

x0

h yk

son

de X permanece fija en

durante la homotopa , entonces los morfismos

h yk

coinciden.

Demostracin.

H: X I Y

Por hiptesis, existe una homotopaa

H ( x 0 ,t)= y 0 , para todo t. Por lo tanto, si

entre

h y k tal que

f es unlazo e n X basado en x 0 , la

composicin
H
I I fid X I
Y

es una homotopa entre

caminos porque

es un lazo en

yk
x0

f ;

es una homotopa de

y H aplica x 0 I en y 0 .