0.

La proyeccin estereogrca y el punto al innito.

En una varible real existen dos nicas maneras de considerar el punto al innito,
slo "movindonos" a la derecha o izquierda de la recta real, de esta forma,
movindonos a la derecha obtenemos +1 y a la izquierda 1.
En el plano complejo existen una innidad de formas para aproximarse al
innito. Bastar con situarnos en un punto arbitrario y moverse en cualquier
direccin. Podemos movernos a lo largo del eje real positivo y as, aproximarnos
al innito mediante nmeros complejos con parte real positiva y parte imaginaria
cero, tambin podemos hacerlo mediante el eje imaginario y aproximarnos al
innito mediante numeros imaginarios puros. Se puede intentar generalizar el
concepto de innito usando la nocin de variable real, pero nalmente esta forma
no resulta del todo til.
Ahora introduciremos el innito complejo o el punto al innito como el
limite que va "innitamente lejos a lo largo de cualquier direccin en el plano
complejo". As el plano complejo unin el punto al innito 1 formarn el plano
complejo extendido.
Una forma de visualizar el punto al innito es utilizando la siguiente funcin:
Tomemos una esfera de radio uno sobre el plano complejo, de tal forma que
el polo sur de la esfera se situe en el origen. Ahora para cada punto z = x + iy
del plano complejo, consideremos l la recta que pasa atravs del polo norte y
el punto z. La proyeccin estereogrca es la funcin que mapea al punto z con
el punto de interseccin de la recta con la esfera (ver Fig. 1). As cada punto
z = x + iy del plano complejo es mapeado a un nico punto P = (a; b; c) sobre
la esfera. No es dicil comprobar que
a=

4x
,
jzj2 +4

b=

4y
,
jzj2 +4

c=

2jzj2
jzj2 +4

Obs: El origen es mapeado al polo sur y el punto al innito, jzj = 1, es

mapeado al polo norte.
En la proyeccin estereogrca los crculos en el plano complejo son mapeados en crculos en la esfera unitaria (ver Fig. 2) y las lneas en el plano complejo
son mapeadas en crculos en la esfera unitaria (ver Fig. 3).

Figure 1: Fig. 1

Fig. 2

0.2
0.2.1

Fig. 3

Funciones Trigonomtricas.
La funcin exponencial.

Para cada z 2 C, consideremos la funcin exponencial ez y usando la frmula

de Euler podemos escribirla en trminos de su parte real e imaginaria, esto es
si z = x + iy,
ez = ex+iy = ex eiy = ex (cos y + iseny) = ex cos y + iex seny

De lo anterior se puede ver que

ez+i2

= ex+i(y+2 ) = ex eiy+i2 = ex eiy ei2 =

= ex (cos y + iseny) (cos 2 + isen2 )
= ex (cos y + iseny) = ez

Anlogamente tenemos que

ez+i =

ez

Luego la funcin exponencial es 2 i peridica y i impar.

Tambin el mdulo de ez resulta ser funcin de su parte real x, esto es
jez j = ex+iy = jex j = ex
y el arg de ez es funcin de su parte imaginaria y.
arg(ez ) = arg (x + iy) = fy + 2 n : n 2 Zg
Ejemplo: La funcin w = ez mapea al conjunto
fz 2 C :

1 < Re z < 1; 0 < y < g

en el semiplano superior complejo (primer y segundo cuadrantes).

Consideremos una recta de la forma z = x + ik, con 1 < x < 1, bajo la
funcin tenemos que
w = f (z) = ex+ik = eik ex ,

1<x<1

que es un rayo con punto inicial el origen en direccin de eik , de esta forma puede
observarse que z = x es mapeado a la parte positiva del eje real, z = x + i es
mapeoado a la parte negativa del eje real y nalmente que z = x+ik es mapeado
al rayo con ngulo k en el semiplano superior. Luego podemos deducir que la
banda es mapeada al semiplano superior complejo. (ver Fig. 4)

F ig:4 La funcin ez mapea rectas horizontales en rayos.

Consideremos el mismo problema pero con el enfoque siguiente:
3

Consideremos las rectas z = k + iy con 0 < y < . Bajo el mapeo tenemos

que
f (z) = w = ek+iy = ek eiy
que representa el semicrculo sperior de radio ek . Note que el
lim ek = 0

k! 1

y el radio del semicrculo tiende a cero, tambin

lim ek = 1

k!1

luego el radio del semicrculo tiende a innito. As nuevamente podemos deducir

que la banda es mapeada al semiplano superior complejo. (ver Fig. 5)

F ig:5 La funcin ez mapea rectas verticales en arcos.

0.2.2

Funciones seno y coseno.

Usando la funcin exponencial podemos denir las funciones seno y coseno complejas.
eiz + e
2

iz

=
=
=

cos (z) + isen (z) + [cos ( z) + isen ( z)]

2
cos (z) + isen (z) + cos (z) isen (z)
2
cos z

de la misma forma se tiene

eiz

e
2i

iz

=
=
=

cos (z) + isenz

[cos ( z) + isen ( z)]

2i
cos (z) + isen(z) cos(z) + isen(z)
2i
2isen(z)
= senz
2i

Podemos separar el seno y coseno en sus partes real e imaginarias

cos z
senz

= cos x cosh y isenxsenhy

= senx cosh y + i cos x sinh y

Ahora estamos en posibilidad de denir las funciones hiperblicas y sorpredentemente quedan en trminos de seno y coseno. Resumimos todo en el cuadro
de resumen siguiente.
ez = ex (cos y + iseny)
iz

iz

cos z = e +e
2
cos z = cos x cosh y isenxsenhy
z
z
cosh z = e +e
2
cosh z = cosh x cos y isenhxseny
sen(iz) = isenh(z)
cos(iz) = cosh (z)
log z

0.2.3

ln jzj + i arg(z) = ln jzj + iArg(z) + i2 n; n 2 Z

Funciones Trigonomtricas Inversas.

La funcin logaritmo se dene como la inversa de la funcin exponencial f (z) =

ez . Como la funcin exponencial no es uno a uno (muchos puntos distintos son
mapeados a uno solo, recordar que es 2 i peridica), su inversa resulta ser una
funcin multivaluada,de aqu que
elog z = z, pero log(ez ) 6= z.
La funcin elog z es univaluada pero log(ez ) es multivaluada y el logaritmo de
un nmero es un conjunto de puntos que dieren entre si por mltiplos enteros
de 2 i.
Por ejemplo para cada n 2 Z
ei2

=1

y de aqu que
log(1) = fi2 n : n 2 Zg :
Observacin:
La funcin logaritmo tiene una cantidad innita de ramas y el valor de la
funcin en cada rama diere por multiplos enteros de 2 i.
La funcin logaritmo satisface
a) lim jlog zj = 1
z!0

b)

lim jlog zj = 1

z!1

iz

iz

senz = e 2ie
senz = senx cosh y i cos xsenhy
z
z
senhz = e 2e
senhz = senhx cos y i cosh xseny
senh(iz) = isenz
cosh(iz) = cos z

Notacin: De ahora en adelante ln(x) denotar la funcin logaritmo de variable real, denida para todo x
0 y la funcin log(z) denotar la funcin
logaritmo de variable compleja, denida para cada nmero complejo diferente
de cero.
Sean z = rei y w = u + iv, la expresin w = log z, signica que ew = z
entonces
eu+iv
eu

= eu eiv = rei implica que

= r y v = + 2 n,

En la primer igualdad podemos tomar logaritmo natural a ambos lados y

obtenemos:
ln eu = ln r
pero ln eu = u ln e = u, as
u = ln r
sustituyendo en la expresin
log z

= w
= u + iv
= ln jzj + i arg(z)

considerando que el argumento de z no es nico tenemos que:

log z = ln jzj + i (Arg(z) + 2 n) , con n 2 Z
Vericando
elog z

= elnjzj+i arg(z) = elnjzj ei arg(z) = eln r elnjzj+i(

= rei = z

+2 n)

Por otra parte notemos que log(ez ) 6= z, puesto

log(ez )

= ln jzj + i arg(ez ) = ln(ex ) + i arg ex+iy

= x + i(y + 2 n) = z + i2 n 6= z

La parte real del logaritmo es la funcin univaluada ln r y la parte imaginaria

es la funcin multivaluada arg(z).
Denimos la rama principal del logaritmo Logz como la rama que satisface
que
< Im(Logz)
. As Logz = ln jzj + iArg(z)

0.2.4

Potencias

Sean a, b nmeros complejos con a 6= 0, denimos ab como

ab = eb log a
Note que el hecho de que logaritmo sea una funcin multivaluada puede
hacer que ab lo sea tambin. Consideremos los casos siguientes.
a) Sea m 2 Z
am

= em log a = em(Loga+i2
= emLoga

n)

= emLoga ei2

mn

As am es univaluada si m 2 Z.
b) Sea m =

p
q

2Q
p

a q = e q log a = e q (Loga+i2

n)

= e q Loga ei

2 np
q

y esta expresin tiene q distintos valores siempre que n

k 2 Z.

m = kq para algn

c) Sea b 2 I
ab = eb log a = eb(Loga+i2

n)

= ebLoga ei2bn

Observemos que ei2bn y ei2bm son iguales si y slo si i2bn y i2bm dieren
por un entero mltiplo de 2 i lo que signica que bn y bm dieren por un
entero, esto es ei2bn tiene un valor distinto para cada entero diferente, con lo
que podemos concluir qe ab tiene un nmero innito de valores.
Ejemplo: Consideremos 1
1 =e

log(1)

=e

(ln(1)+i2n )

= ei2n

As podemos concluir que 1 tiene una cantidad innita de valores, todos los
cuales se encuentran en el crculo unitario jzj = 1.
Cuadro de Resumen 2
Identidades Logartmicas
ab

= eb log a
elog z = eLogz = z
log (ab) = log a + log b
1
log
=
log a
a
a
log
= log a log b
b
1
1
log(z n ) =
log z, para cada n 2 Z
n
7

Desigualdades Logaritmicas
Log(uv)
log z a
Logz a
log ez

6=
6=
6=
6=

Log(u) + Log(v)
a log z
aLogz
z

Ahora consideremos la funcin seno inverso.

Sea
= sen 1 z
= senw
eiw e iw
z =
2i
2iz = eiw e iw
2izeiw = e2iw 1
0 = 2izeiw e2iw
w
z

que es una ecuacin de segundo grado en la variable eiw , usando la frmula

general desegundo grado tenemos:
p
1 z2
eiw = iz

ahora tomando logaritmo a ambos lados

iw

Finalmente
sen

p
1 z2
p
log iz
1 z2

log iz

z=

log iz

p
1

z2