Capitulo I

Números Complejos
Los números naturales N y números enteros Z aparecieron de manera natural al resolver ecuaciones como

x−5=3 x+5=3 x + 5 = 5.

Pero, al atacar ecuaciones cuadráticas, los matemáticos de la antigüedad se toparon

√ con unos nuevos y extraños
números. Las soluciones de una ecuación tan sencilla como x2 + 4 = 0 eran x = ± −4. ¿Qué sentido tenı́a la
raı́z de un número negativo?
Todos recordamos desde el colegio la ecuación ax2 + bx + c = 0 y su solución general
√
b2 − 4ac
x = −b ± .
2a
√
Por ejemplo en la solución de x2 +√2x + 3 también aparece estos números √ √ x = −1 ± −8. Observe que
√ extraños
estos “nuevos” números extraños −a siempre tienen algo en común −a = a −1 esto significa que,
n√ o
Números extraños = gen −1 = gen{i}

La necesidad de encontrar un universo C donde vivan todas las

soluciones de estas ecuaciones, nos lleva a incluir un nuevo inte-
grante a la familia R. Este integrante es número extraño i.

Este universo C que estamos construyendo ya contiene a la familia

real (R, +, ·), ahora debemos preservar la cerradura del producto
(·) con el nuevo integrante i, esto nos lleva a incluir inmediata-
mente en C la familia creada por i, esta familia es gen{i} y se
hacen llamar imaginarios puros.
Y si queremos preservar la cerradura de la suma (+), entonces cada “interacción” entre la familia real e imaginaria
debe pertenecer al universo C. Esta interacción tendrı́a la forma a + bi, con a perteneciente a la familia real y bi
pertenecientes a la familia de imaginarios puros.
Ese universo (C, +, ·) que hemos construido y que contiene esos “números extraños” es llamado: Conjunto de
números complejos y que se denota por C.
En 1806 el matemático suizo Jean Argand propuso la siguiente representación que consiste en visualizar el
conjunto de números complejos que denotamos por C como un par ordenado en R2

z = a + bi 7→ (a, b),

donde a es la parte real de z la cual denotamos Re(z) y b es la parte imaginaria de z que denotamos por Im(z).

Definición 1. (Números complejos)

Los números complejos se define como
n o
C = a + bi : a, b ∈ R

Si z = a + bi y a = 0 entonces z = bi es un imaginario puro, (el cual identificamos (0, b)).

Si z = a + bi y b = 0 tenemos z = a es un número real, (el cual identificamos (a, 0)). Por ende, R ⊆ C.

1
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Geométricamente, los números complejos se pueden identificar con los puntos del plano haciendo corresponder
al complejo z = x + yi y el punto de coordenadas (x, y). De ahı́ que el conjunto C reciba el nombre de plano
complejo. En adelante, identificaremos
z = a + bi ≡ (a, b)

La igualdad en C se define mediante

a + bi = c + di ⇔ a=c b=d

En particular, a + bi = 0 si y solo si a = b = 0.

Si z = x + yi, se define Re(z) = x y Im(z) = y (partes real e imaginaria del complejo

Ejercicio 1. Halle rápidamente

1. Re(iz)=

2. Im(iz)=

Teorema 2. En el conjunto de los números complejos C considere las siguientes operaciones

(a + bi) + (c + di) = (a + c) + i(b + d) (a, b) + (c, d) = (a + c, b + d)

(a + bi) · (c + di) = (ac − bd) + (ad + bc)i (a, b) · (c, d) = (ac − bd, ad + bc)

demuestre que (C, +, ·) tiene estructura de cuerpo

DEM: Sean z, zk ∈ C luego z = a + bi ≡ (a, b), y zk = ak + bk i ≡ (ak , bk ) veamos las siguientes propiedades

I) z1 + z2 = z2 + z1 V) z1 z2 = z2 z1
(a1 , b1 )(a2 , b2 ) = (a1 a2 − b1 b2 , a1 b2 + b1 a2 )
(a2 , b2 )(a1 , b1 ) = (a2 a1 − b2 b1 , a2 b1 + b2 a1 )

II) (z1 + z2 ) + z3 = z1 + (z2 + z3 ) VI) z1 (z2 z3 ) = (z1 z2 )z3

III) z + 0 = z VII) z1 = z
(a, b) · (1, 0) = (a − b0, 0 + b) = (a, b) = z

IV) Existe −z ∈ C tal que z + (−z) = 0 VIII) Para z 6= 0 existe z −1 ∈ C tal que zz −1 = 1.

IX) la operación (·) es distributiva respecto a la operación (+),

z(z1 + z2 ) = zz1 + zz2 (z1 + z2 )z = z1 z + z2 z

Teorema 3. (Inverso)
 a b 
Si z ∈ C con z = a + bi 6= 0 entonces z −1 = , −
a 2 + b2 a 2 + b2

2
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Dem: Supongamos que z −1 = w que propiedades debe cumplir w? pues, la de siempre

zw = 1 = 1 + 0i,

Observe que si z = a + bi y w = x + yi entonces

zw = (a + bi)(x + yi) = (ax − by) + (ay + bx)i = 1 + 0i

ası́ que debemos resolver el siguiente sistema de ecuaciones:

  
 ax − by = 1 a −b 1
 
 bx + ay = 0 b a 0

a b
Como z = a + bi 6= 0 entonces a2 + b2 6= 0, podemos ver que la solución a este sistema es x = ,y=− 2
a2 +b 2 a + b2
Ası́ que es inverso multiplicativo de z = a + bi el cual denotamos por z1−1 está dado por

a b  a b 
z −1 = w = − i ≡ , − 
a 2 + b2 a 2 + b2 a 2 + b2 a 2 + b2

DIVISION ENTRE COMPLEJOS: Si z1 = a + bi y z2 = c + di entonces

z1  c d  (ac + bd) + (bc − ad)i

X) := z1 z2−1 = (a, b) 2 , − = .
z2 c + d2 c 2 + d2 c 2 + d2
1
XI) = z2−1 Sol: Propiedad (10). con z1 = 1
z2
z1 1
XII) = z1 z2−1 = z1
z2 z2

PROPIEDADES ALGEBRAICAS
z1 + z2 z2 z2 z1 + z2 (11) (9) (11) z
2 z2
= + = (z1 + z2 )z3−1 = z1 z3−1 + z2 z3−1 = +
z3 z3 z3 z3 z3 z3
(9 (9)
(1 + z)2 = 1 + 2z + z 2 (1 + z)2 = (1 + z)(1 + z) = (1 + z)1 + (1 + z)z = 1 + z + z + z 2 = 1 + 2z + z 2
(9)
(−1)z = −z z + (−1)z = z(1 + (−1)) = z(0) = 0
1 1
=z = 1(z −1 )−1 = zz −1 (z −1 )−1 = z1 = z
1/z z −1
(z1 z2 )(z3 z4 ) = z1 [z2 (z3 z4 )] = z1 [(z2 z3 )z4 ] = z1 [(z3 z2 )z4 ] = z1 [z3 (z2 z4 )]
= (z1 z3 )(z2 z4 )

(z1 z2 )(z3 z4 ) = (z1 z3 )(z2 z4 ) Implicaciones:

XIII) (z1 z2 )(z1−1 z2−1 ) = (z1 z1−1 )(z2 z2−1 )(1)(1) = 1

1 (11) (13) (11)  1  1 

XIV ) = (z1 z2 )−1 = z1−1 z2−1 =
z1 z2 z1 z2
z1 z2 z1 z2 z1 z2 (12)  1  (14)  1  1  (5)  1   1  (12)  z  z 
1 2
= = z1 z2 = z1 z2 = z1 z2 =
z3 z4 z3 z4 z3 z4 z3 z4 z3 z4 z3 z4 z3 z4
z1 z z1 z1 z z1 z z1  1  z1 −1 z1 z1
= = = z = zz = 1 =
z2 z z2 z2 z z2 z z2 z z2 z2 z2

3
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

1.1. Conjugado y módulo de un número complejo

Es natural asociar cada número complejo z = a + bi con el segmento dirigido o
vector, desde el origen hasta el punto (a, b). De hecho, nos referimos con frecuencia a
z como el punto z o el vector z.

Definición 4. (Módulo y Conjugado)

Si z = a + bi ∈ C, se define el módulo y el complejo conjugado de z respectivamente
como sigue:

 |z| = k(a, b)k = √a2 + b2 (distancia de z al origen)
 z̄ = a − bi (reflexión de z respecto del eje real)

El número |z| es la distancia del punto (a, b) al origen, osea la longitud del vector z.

La desigualdad z1 < z2 NO tiene sentido salvo que sean números reales, la desigualdad |z1 | < |z2 | SI tiene
sentido y significa que el punto z1 está más cercano al origen que el punto z2 .

El número z ∈ C es real si y sólo z = z̄, e imaginario puro si y sólo z = −z̄

i ≡ (0, 1) entonces i2 = ii = (0, 1)(0, 1) = (−1, 0) ≡ −1.

Nótese que para todo λ ∈ R se tiene λ(x, y) = (λx, λy) = (λ, 0)(x, y)

Propiedades conjugado: Sean z, w ∈ C.

z+z 4. zw = z w
1. Re(z) =
2

5. z = z
z−z
2. Im(z) =
2i 6. z n = z n , n ∈ N

z z 1 1
3. z + w = z + w 7. ( ) = en particular ( ) =
w w w w

Propiedades Modulo: Sean z, w ∈ C.

z |z|
1. |z| = |z|  
5.   = con w 6= 0
w |w|

z
2. zz = |z|2 . En particular z −1 =
|z|2 6. Re(z) ≤ |z|

3. |zw| = |z||w| 7. Im(z) ≤ |z|.

4. |z| = |−z| = |z|

4
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Ejemplo 1.
5(6 + 2i) − 5(1 + 3i)
Si z = + 7 + 2i. Halle z.
−1 + i − 2

Resuelva zz + 3(z − z) = 4 + 6i.

 (3 + 7i)2  (3 − 7i)2
Verifique =
8 + 6i 8 − 6i

 
 (2 + i√5)(1 + i√3)3 
 
Halle  √ √ 
 5+i 3 

 500
−3 + i
Ejemplo 2. Halle .
2i − 1

SOL: Para ello, primero observe que

−3 + i (−3 + i)(−2i − 1) 6i + 3 − 2i2 − i 5i + 5
= = = =1+i
2i − 1 (2i − 1)(−2i − 1) −4i2 + 1 5
 500 h i250
−3 + i 500 2
Entonces = (1 + i) = (1 + i) = (2i)250 = 2250 i250 = −2250 .
2i − 1
Ejercicio 2. Calcule:
 3
1+i
1−i

√ !100
1+i 3
1−i

Proposición 5 (Desigualdad Triangular).

Sean z, w ∈ C. Demuestre
 
a) |z ± w| ≤ |z| + |w|  
|z ± w| ≥ |z| − |w|

Dem a): Observe que,

|z + w|2 =

 
 
Dem b): Demostrar |z| − |w| ≤ |z − w| es equivalente a demostrar que −|z − w| ≤ |z| − |w| ≤ |z − w|. Por otra

5
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

parte,
|z| =

|w| =

Representación polar y argumento principal

Hemos visto que los números complejos pueden representarse como vectores en el plano
C. Usando las coordenadas polares en R2 y la representación de C con este espacio R2 . Si
z = x + yi ∈ C\{0} entonces
x = r cos θ = |z| cos θ
y = r sen θ = |z| sin θ
donde θ es el ángulo (medido en radianes) entre z = x + yi y el semieje real positivo. El
angulo θ está dado por
y y π π
tan θ = ⇒ θ = tan−1 − <θ<
x x 2 2
Sin embargo esta expresión no será válida en el II-III cuadrante. Por otra parte los ángulos
de inclinación dados por
θ + 2πk, k = 0, ±1, ±2, . . .
también proporcionan la misma dirección en el plano complejo.
Definición 6. (Forma polar y Argumento)
Para z ∈ C definimos la forma polar de z como

z = r (cos θ + i sen θ) .

donde θ := arg(z) es un ángulo (cualquiera) formado por el eje real positivo con el
vector z. En adelante arg(z) es llamado argumento de z,

arg(z) NO es una función pues a z se le puede asociar θ o θ + 2π, ect. Es decir, puede tomar infinitos valores
posibles.
y
Un argumento para z puede hallarse a partir de la ecuación tan(θ) = pero hay que tener en cuenta que los
x
valores que arroja la calculadora siempre están entre (−π/2, π/2).

En general la forma polar se reescribe como

 
z = |z| cos(arg (z)) + i sin(arg (z))

Ejemplo 3. Halle la forma polar de −1, −i, 1 y −1 − i.

Definición 7. (Argumento principal de z)

Es el único valor de arg (z) que está entre (−π, π] y se denota por Arg(z). Ası́ que

arg (z) = Arg(z) + 2πk, k ∈ Z.

6
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

El argumento principal puede también ser definido en cualquier intervalo semiabierto I de longitud 2π, ArgI :
C − 0 → I. Por ejemplo
5π 5π
Arg[0,2π) (−1 − i) = Arg( π2 ,− 3π
2 ]
(−1 + i) = − .
4 4

Si z es un número real negativo entonces Arg(z) = π.

El argumento Arg = arg (−π,π]

Arg : C\{0} → (−π, π] es una función discontinua en R− ∪ {0}. Análogamente, Arg : C\{0} → [0, 2π) es
discontinua en R+ {0}.
Dado que el argumento principal de z depende del cuadrante donde se encuentra, usaremos los siguientes tips
para calcularlo.



 tan−1 xy si x > 0 (osea z está en el I y IV cuadrante)



 π

 si x = 0 e y > 0 (osea z está en el semieje imaginario positivo)
 2


y
Arg(z) = π + tan −1
x si x < 0 e y ≥ 0 (osea z está en el II cuadrante)




 y

 −π + tan−1 x si x < 0 e y < 0 (osea z está en el III cuadrante)


 −2π
si x = 0 e y < 0 (osea z está en el semieje imaginario negativo)

Ejemplo 4. Exprese los arg (i) y de arg (−1 − i).

π
SOL: No es difı́cil dar los argumentos principales, Arg(i) = 2 y Arg(−1 − i) = − 3π
4 . Por tanto,
nπ o n 3π o n 5π o
arg(i) ∈ + 2πk k∈Z arg(−1 − i) ∈ − + 2πk k∈Z = + 2πk k∈Z
2 4 4

Proposición 8. Sean z, z1 , z2 ∈ C.

1. arg(z1 z2 ) = arg(z1 ) + arg(z2 ), 3. arg(z) = −arg(z)

 
z1
2. arg(z −1 ) = −arg(z). 4. arg = arg(z1 ) − arg(z2 )
z2

Dem 1): Supongamos que z1 = r1 (cos θ1 + i sen θ1 ), z2 = r2 (cos θ2 + i sen θ2 )

luego tenemos

z1 z2 = r1 (cos θ1 + i sen θ1 )r2 (cos θ2 + i sen θ2 )

= r1 r2 (cos θ1 cos θ2 − sen θ1 sen θ2 + i [cos θ1 sen θ2 + sen θ1 cos θ2 ])
= r1 r2 (cos(θ1 + θ2 ) + i sen(θ1 + θ2 )) .

De este cálculo se sigue que |z1 z2 | = r1 r2 = |z1 ||z2 | Luego,

arg(z1 z2 ) = θ1 + θ2 + 2πk = θ1 + 2πk1 + θ2 + 2πk2 = arg(z1 ) + arg(z2 ).

Dem: 2,3,4):

7
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Note que en general Arg(z1 z2 ) 6= Arg(z1 ) + Arg(z2 ). Por ejemplo

π
Arg(−i) = − 6= Arg(−1) + Arg(i) = 3π/2
2
Ejercicio 3. Halle:

Arg(−1 − i)

Arg(1 + i).

La forma polar de −1 + i

1.2. La función exponencial

En curso de calculo integral estudiamos la serie de potencias de ciertas funciones

X∞ n
t X
∞
t2n X
∞
t2n+1
et = cos t = (−1)n sin t = (−1)n
n=0
n! n=0
(2n)! n=0
(2n + 1)!

Si z = x + iy ∈ C, la propiedad et+s = et es sugiere definir ez = ex eiy . Pero que es eiy ?. Observe que de la
definición de et encontramos que
X∞
(iy)n X
∞
(iy)n X∞
(iy)n X∞
(iy)2m X∞
(iy)2m+1
eiy = = + = +
n=0
n! n=par
n! n=impar
n! m=0
(2m)! m=0
(2m + 1)!
X
∞
y 2m X∞
y 2m+1
m
= (−1) +i (−1)m
m=0
(2m)! m=0
(2m + 1)!
= cos(y) + i sen(y)

Definición 9. (La función Exponencial)

Para z = x + iy ∈ C (x, y ∈ R), definimos
 
ez := ex+iy = ex eiy = ex cos(y) + i sen(y)

1
Para t ∈ R tenemos entonces que eit = cos(t) + i sen(t).

La forma polar de z se puede escribir de la siguiente manera z = reiθ .

Si z ∈ R, la exponencial compleja se reduce obviamente a la exponencial real.

Ejemplo 5. Algunos valores para eiθ

e0 eiπ/2 eiπ = ei3π/2 = ei2π

Proposición 10. (Propiedades de ez )

Para todo z, w ∈ C

1. |ez | = eRez 3. ez+w = ez ew 5. ez = 1 ⇔ z = 2πki con k ∈ Z

2. Arg(ez ) = Imz 4. (ez )−1 = e−z 6. ez = ez

7. ez es una función periódica, cuyos perı́odos son los números 2πki con k ∈ Z.

1 cos(t) + i sen(t) también es llamado cis(t)

8
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Dem:

3) Si z = x1 + iy1 , w = x2 + iy2
def   
ez ew = (ex1 +iy1 )(ex1 +iy1 ) = ex1 (cos y1 + i sin y1 ) ex2 (cos y2 + i sin y2 )
  def
= ex1 ex2 cos(y1 + y2 ) + i sen(y1 + y2 ) = ex1 +x2 ei(y1 +y2 )
= e(x1 +x2 )+i(y1 +y2 ) = ez+w

(3)
4) ez e−z = ez−z = e0 = 1 entonces deducimos, (ez )−1 = e−z .

5) ez = ex+iy = ex (cos y + i sen y) = 1 entonces ex sen y = 0; ex cos y = 1 de donde tenemos que sin y = 0; ex = 1.
Es decir, x = 0 y y = 2πk, con k ∈ Z. En conclusión z = x + iy = (2πk)i con k ∈ Z

6)

7)

Para finalizar esta sección expresemos cualquier z ∈ C en forma exponecial

Definición 11. (Forma Exponencial de z)
La representación exponencial de un complejo z está dada por

z = reiθ donde r = |z| y θ = arg (z)

Con el convenio de que e−iθ = ei(−θ) , entonces por ejemplo

√ √
−1 − i = 2ei(−3π/4) = 2e−i(3π/4)

Geométricamente los complejos z = eiθ están en la circuferencia de radio r

centrada en el origen, por ejemplo es geoemtricamente obvio que
π
eiπ = 1 e−i 2 = −i, e−i4π = 1

Hacemos notar, además, que la ecuación

z = Reiθ 0 ≤ θ ≤ 2π

es una representación paramétrica de la circunferencia |z| = R, centrada en el

origen y de radio R. Más en general, la circunferencia |z − z0 | = R con centro
en z0 y radio R, admite la representación paramétrica

z = z0 + Reiθ 0 ≤ θ ≤ 2π

Esto se puede ver vectorialmente (ver figura) sin más que observar que un punto
z que recorre la circunferencia |z − z0 | = R una vez en sentido antihorario
corresponde a la suma de vector fijo z0 y de un vector de longitud R cuyo
ángulo de inclinación θ varia entre 0 ≤ θ ≤ 2π.

9
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Mejor Notación Sea z = reiθ , z1 = r1 eiθ1 y z1 = r2 eiθ2 entonces

z1 z2 = (r1 eiθ1 )(r2 eiθ2 ) = r1 r2 ei(θ1 +θ2 ) 1 1
z −1 = = e−iθ
z r
z1 r1 eiθ1 r1
= = ei(θ1 −θ2 )
z2 r2 eiθ2 r2

Fórmula de de Moivre

La siguiente formula se debe al matemático francés Abraham De Moivre (1667-1754).

Teorema 12. (Fórmula de Moivre)

Si z = r(cos θ + i sin θ) = reiθ entonces
h i
z n = rn cos(nθ) + i sin(nθ) = rn einθ fórmula de Moivre (1.1)

Dem: (Inducción) Para n ≥ 0.

para n = 1, z 1 = reiθ .
Hip Inductiva Supongamos que la ecuación es valida para n = m es decir, z m = rm eimθ .
Demostremos la validez para n = m + 1


z m+1 = zz m = (reiθ ) rm eimθ = rm+1 ei(m+1)θ

Queda demostrado ası́ para todo entero positivo. Asimismo si adoptamos el convenio de z 0 = 1, entonces tambien
es valida para n = 0. Y que paso cuando n es negativo? Resp/ la ecuación se reescribe de la siguiente forma

z n = (z −1 )−n − n = 1, 2, 3 . . .
Dado que (1.1) es valida para los positivos entonces
1 −n  1 −n
z n = (z −1 )−n = ei(−θ) = ei(−n)(−θ) = rn einθ 
r r

OBS: Si r = 1, la expresión (1.1) se convierte en

n
eiθ = einθ n = 0, ±1, ±2, . . .

Ejemplo 6. Expresar cos(3θ) y sen(3θ) como un polinomio en cos θ y sen θ.

SOL: La fórmula de de Moivre permite decir que

cos(3θ) + i sin(3θ) = (cos θ + i sin θ)3

   
= cos(t)3 − 3 cos θ sin2 θ + i 3 cos2 sin θ − sin3 θ

Entonces,
cos(3θ) = cos(t)3 − 3 cos θ sin2 θ sin(3θ) = 3 cos2 sin θ − sin3 θ
√
7
Ejemplo 7. Hallar 3+i
√ π
SOL: No es difı́cil ver que Arg( 3 + i) = 6. Luego usando la formula de Moivre
√ 7  √
π 7 7π  3 i √ 
i( 6 )
3+i = 2e = 27 ei( 6 ) =2 7
− − = −64 3+i
2 2
Ejemplo 8. Hallar (1 − i)23

10
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

SOL: No es difı́cil ver que Arg(1 − i) = − π4 . Luego usando la formula de Moivre

√ −π 23 √ 23π
(1 − i)23 = ( 2)ei( 4 ) = ( 2)23 e−i( 4 )

Pero, − 23π
4 =
π
4 − 6π. Por tanto,

√ 23π √ π √  √2 √ 
2
(1 − i) 23
=( 2)23 ei(− 4 ) = ( 2) e23 i( 4 )
= ( 2) 23
+i
2 2

1.3. Raı́ces de números complejos

Dado que z = reiθ está situada en una circunferencia de radio r y centrada en el
origen. Ahora, si dos números complejos no nulos

z1 = r1 eiθ1 y z1 = r1 eiθ2

son iguales si, y sólo si,

r1 = r2 y θ1 = θ2 + 2πk k = 1, 2, . . ..

Esta importante observación, unida a la expresión z n = rn einθ es útil para hallar las
raı́ces n-ésimas de un número complejo z0 = r0 eiθ0 . El método se basa en que una
raı́z n-ésima de z0 es un número complejo no nulo z = reiθ tal que

z n = z0 ⇔ (reiθ )n = r0 eiθ0 ⇔ rn = r y nθ = θ0 + 2πk

Luego, concluimos que
√ θ0 2πk
r= n
r0 y θ= + , k = 0, ±1, ±2, . . . .
n n

Definición 13. (Raı́ces n-ésimas)

Las raı́ces n-esimas de un complejo fijo z0 = r0 eiθ0 son números complejos distintos
dados por


√ θ0 2πk
ck = n r0 ei n + n k = 1, 2, . . . , n (1.2)

Las raı́ces ck son números que verifican la ecuación (ck )n = z0 , y podemos

reescribirlas como
√
θ0 2πk
ck = c0 wnk donde c0 = n
r0 ei n y wnk = ei( n )

donde k = 1, 2, . . . , n. Por tanto, las n raı́ces distintas son

c0 , c0 wn , c0 wn2 , c0 wn3 , . . . , c0 wnn−1

Geométricamente todos estas raı́ces están situadas en la circunferencia |z| =

√n r centradas en el origen y están uniformemente espaciadas por 2π/n radianes,
0
a partir del argumento inicial θn0 .

La primera raı́z c0 tiene argumento θ0 /n y es la raı́z principal

Las raı́ces forman un polı́gono regular de n lados inscrito en una circunferencia.

Ejemplo 9. Halle las n-raı́ces de la unidad, esto es, halle las soluciones de z n = 1.

11
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

SOL: Observe que 1 = 1ei(0+2πk) con k ∈ Z. Las n soluciones a esta ecuación están dadas por,
0 2πk 2πk
ck = 11/n = (1)1/n ei( n + n ) = ei( n )

Por ejemplo si n = 3 las raı́ces son

√ √
2π 1 3 4π 1 3
c0 = 1, c1 = ei( 3 ) =− +i , c2 = ei( 3 ) =− −i .
2 2 2 2
2πk
Observe que aquı́ c0 = 1 y wnk = ei( n ). Ilustremos gráficamente las n raı́ces de 1 para n = 3, 4, 6.

Ejemplo 10. Halle las raı́ces cúbicas de i es decir, resuelva la ecuación z 3 = i

π π 2πk
Sol: Observe que i = 1ei( 2 +2πk) con k ∈ Z. De manera que las 3 raices buscadas son ck = (i)1/3 = ei( 6 + 3 ), es
decir,
π 1 √ π 2π 1 √ π 4π
c0 = ei( 6 ) = ( 3 + i) c1 = ei( 6 + 3 ) = (− 3 + i) c2 = ei( 6 + 3 ) = −i
2 2

Ejemplo 11. Halle las raı́ces cúbicas de −8i. es decir, z 3 = −8i

π
Sol: Observe que −8i = | − 8i|ei(− 2 +2πk) con k ∈ Z. De manera que las raı́ces buscadas son
π 2πk


ck = 2ei − 6 + 3 k = 0, 1, 2

Por tanto,
π √ π 7π √
c0 = 2ei(− 6 ) = 3 − i, c1 = 2ei( 2 ) = 2i c2 = 2ei( 6 ) = − 3 − i.

Ejemplo 12. Encuentre y dibuje las raı́ces cubicas de 1 + i.

π
Sol: Observe que 1 + i = |1 + i|ei( 4 +2πk) con k ∈ Z. De manera que las raı́ces
cubicas buscadas son
√ π 2πk
ck = ( 2)1/3 ei( 12 + 3 ) k = 0, 1, 2

Por tanto,
π 3π 17π
c0 = (2)1/6 ei( 12 ) , c1 = (2)1/6 ei( 4 ) c2 = (2)1/6 ei( 12 )

1.3.1. Secciones Cónicas

Las secciones cónicas proporcionan ejemplos adicionales de conceptos vista hasta ahora.Aunque pueden utilizarse
las fórmulas de la geometrı́a analı́tica con x = Re(z) y z = Im(z), es fácil definir las secciones cónicas en términos
de distancia.

12
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Definición 14. (Cónica: Elipse)

Una elipse se define como el conjunto de todos los puntos z ∈ C tales que la suma
de sus distancia a dos puntos fijos z0 , z1 ∈ C, llamados focos, es constante. En otras
palabras, satisfacen la siguiente ecuación:

|z − z0 | + |z − z1 | = c, c es una constante real.

Ejemplo 13. ¿Cuál es la ecuación compleja de la elipse que pasa a través de i y que tiene
sus focos en ±1?

SOL: Basándonos en la definición de elipse conduce a

|z − 1| + |z + 1| = c, c es una constante real

¿Como hallamos la constante c? Resp/ dado√que la elipse pasa por z = i entonces debe
cumplir esta ecuación c = |i − 1| + |i + 1| = 2 2. Ası́ la ecuación de la elipse es:
√
|z − 1| + |z + 1| = 2 2

Definición 15. (Cónica: Parábola)

Una parábola se define como el conjunto de todos los puntos de C cuya distancia a
un punto dado z0 ∈ C, llamado foco, es igual a su distancia a una recta fija llamada
directriz. (recta Im(z) = b ó recta Re(z) = a). Matematicamente hablando

 Re(z) − a parábola abriendo derecha-izquierda
|z − z0 | =
 Im(z) − b parábola abriendo arriba-abajo

Ejemplo 14. Encuentre la ecuación de la parábola que tiene a i como foco y

la recta Im(z) = −1 como directriz.

SOL: Por definición, la ecuación compleja obtenemos

|z − i| = Im(z) + 1 ⇔ |z|2 − 2Re(zi) + 1 = (Im(z) + 1)2 .

Luego si y = Im(z) y |z|2 = x2 + y 2 obtenemos la parábola

x2
y=
4

Definición 16. (Cónica: Hipérbola)

Una hipérbola se define como el conjunto de todos los puntos z ∈ C tales que el
valor absoluto de la diferencia entre las distancias de z a dos puntos fijos z0 , z1 ∈ C
llamados focos es una constante. Matemáticamente hablando
 
 
|z − z0 | − |z − z1 | = c c es una constante real

Ejemplo 15. Cuál es la ecuación de la hipérbola con focos ±1 que pasa por el punto 1 + i.

SOL: Por definición, la ecuación compleja es

 
 
|z − 1| − |z + 1| = c.

¿Como hallamos la constante c? Resp/ dado que la hipérbola pasa por z = 1 + i entonces debe cumplir esta
 √
ecuación c = |1 + i − 1| − |1 + i + 1| = 5 − 1. Ası́ la ecuación de la hipérbola es:
  √
 
|z − 1| − |z + 1| = 5 − 1

13
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

1.4. Regiones en el plano complejo

En esta sección estudiaremos algunos conjuntos de números complejos. Nuestro

instrumento fundamental será el concepto de ε-entorno de un punto z0 .

ε-ENTORNO esta región es la que nosotros llamamos disco abierto con centro
en z0 y radio ε.
|z − z0 | < ε
ENTORNO PERFORADO su inecuación esta dada por

0 < |z − z0 | < ε

Esta región consta de todos los puntos z de un ε-entorno de z0 excepto el

propio z0 .

ANILLO (con frontera) con centro en z0 . La siguiente desigualdad descri-

be un anillo (con frontera) con centro en z0 y radio inferior r1 y radio superior
r2 :
r1 < |z − z0 | < r2 .

LÍNEAS: Sea L una linea recta en C. Del álgebra lineal sabemos que L está deter-
minada por un punto en L y un vector director. Ası́ que si z1 en cualquier punto en
L y z2 es su vector director entonces

L = {z = z1 + tz2 : ∞ < t < ∞}

Si z2 6= 0 entonces
     
z − z1 z − z1
L= z∈C:t= = z ∈ C : Im =0
z2 z2

SEMIPLANOS n   o
Semiplano superior z ∈ C : Im z−zz2
1
>0 .
n   o
Semiplano inferior z ∈ C : Im z−z
z2
1
<0

Ahora veamos algunos ejemplos de curvas en el plano complejo.

Ejemplo 16. Grafique

i) Re(z) = 3.

ii) Im(z) = −1/2.

iii) |2z − i| = 4.

iv) |z + 2i| + |z − 2i| = 6.

v) |z − 3| − |z + 3| = 4.
Ejemplo 17. Analicemos algunas regiones

a) Grafique Re(z) < Im(z).

14
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

b) Grafique −2 ≤ Re(z) ≤ 3.

c) Determine todos los z tales que

|z|2 + 3Re(z 2 ) < 4.

Ejercicio 4. Grafique

Re(z) < 2.

Re(z − i) = 2

|z + i| = |z − i|

z2 + z2 = 2

1.5. Topologı́a del Plano

Punto Interior. Diremos que a es un punto interior de una región S ⊆ C si existe una bola B(a; ǫ) ⊆ S.

Conjunto Abierto. Diremos que S es un conjunto abierto si todos sus puntos son interiores. Ejemplo:
ε-entorno con centro en z0 ∈ C y radio ε.

Punto Frontera. Diremos que a es un punto frontera de una región S ⊆ C si toda bola B(a; ǫ) contiene
puntos de S y que no están en S.

Punto de acumulación. Diremos que a es un punto de acumulación de una región S ⊆ C si toda bola
perforada B(a; ǫ) lo suficientemente pequeña contiene puntos de S.

Conjunto Cerrado. Diremos que S es un conjunto cerrado si contiene todos sus

puntos de acumulación o todos sus puntos de frontera. Ejemplos: una circunferencia
con centro en el origen y radio 2, una bola con centro z0 y radio 1, esto es, |z −z0 | ≤ 1.
Conjunto Arconexo Diremos que S es un conjunto arcoconexo si cualquier par
de puntos de S pueden ser unidos por un camino poligonal (unión de segmentos
rectos) contenido en S. Ejemplo: un anillo con centro en z0 y radios r1 y r2 , es decir,
r1 ≤ |z − z0 | ≤ r2 .

Conjuntos separados Dos conjuntos R, S se dicen que están separados cuando R ∩ S = ∅ y R ∩ S = ∅.

Conjunto conexo Diremos que T es conexo cuando es imposible descomponerlo en la forma S = R ∪ S

donde R, S son conjuntos separados no vacı́os.
C es conexo, lo que significa que los únicos subconjuntos de C que son simultáneamente abiertos y cerrados
son C y ∅.

Conjunto Arconexo. Si γ : [a, b] → S ⊂ C es continua se dice que es un arco en S de pro inicial γ(a) y
punto final γ(b). Un conjunto S se dice que es conexo por arcos cuando para cada par a, b ∈ S existe un

15
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

arco γ : [0, 1] → S de origen γ(0) = a y extremo γ(1) = b. Todo conjunto S conexo por arcos es conexo. El
recı́proco se cumple si S es abierto.

Dominio. Diremos que S es un dominio (o región) si es abierto y conexo. Ejemplo: un anillo (sin frontera)
r1 < |z − z0 | < r2 .

1.6. Representación esférica de números complejos. Proyección este-

rográfica

Sea P = {(x, y, 0) : x, y ∈ R} el plano complejo y considérese una

esfera unitaria

S2 = (x1 , x2 , x3 ) ∈ R3 : x21 + x22 + x23 = 1 .

Sea N = (0, 0, 1) un punto de la esfera que llamaremos polo norte.

Ahora, note que para cualquier punto z = (x, y, 0) sobre P pode-
mos construir una recta L que una los puntos N y z, e intersecte a
la esfera S2 en el punto P = (x1 , x2 , x3 ). En este caso, excluyendo
el punto N , a cada punto del plano complejo P le corresponde
uno y solamente un punto de la esfera S2 y podemos representar
cualquier número complejo por un punto sobre S2 \{N }.
Note que
n  o
L = {z + t(N − z) : t ∈ R} = {tN + (1 − t)z : t ∈ R} = (1 − t)x, (1 − t)y, t : t ∈ R
 
y L ∩ S2 \ {N } = P implica que existe un t0 ∈ R\ {1} tal que P = (1 − t0 )x, (1 − t0 )y, t0 es decir,

x1 = (1 − t0 )x, x2 = (1 − t0 )y, x 3 = t0

y como x21 + x22 + x23 = 1 obtenemos

|z|2 − 1 2
(1 − t0 )2 (x2 + y 2 ) + t20 = 1 ⇒ t0 = ⇒ 1 − t0 =
|z|2 + 1 |z|2 + 1

2x 2y |z|2 − 1
Luego, x1 = , x2 = y x3 = . Por tanto, podemos definir la función φ : C → S2 \ {N }
|z|2+1 2
|z| + 1 |z|2 + 1
definida por
 
2x 2y |z|2 − 1
(x, y, 0) → φ(x, y) = , ,
|z|2 + 1 |z|2 + 1 |z|2 + 1

φ se puede extender a toda la esfera S2 , siempre que definamos φ(∞) = N . Matemáticamente, existe una función
φe : C∞ → S2 dada por 
 φ(z) si z ∈ C,
e
φ(z) =
 N si z = ∞

C∞ := C ∪ {∞} recibe el nombre de plano complejo extendido. El método anteriormente explicado se denomina
proyección estereográfica y la esfera se llama esfera de Riemann.

16
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Proposición 17. (Cı́rculos enviá en cı́rculos)

Bajo la proyección estereográfica, cı́rculos en la esfera corresponden a cı́rculos y lineas
rectas en el plano.

Dem: Consideremos un cı́rculo general en el plano C, se sabe que la ecuación de un

circulo viene dada por

x2 + y 2 + ax + by + c = 0 (1.3)

esta ecuación representa, o bien un circulo, un punto, o vació. Observe que si comple-
temos cuadrados, tenemos que

a
2 a
2 a 2 + b2
(x + + (y + = −c
2 2 4
2 2
Los tres posibles casos corresponden al hecho de que a +b 4 − c es positivo, cero, ó estrictamente negativo.
Consideremos un circulo en la esfera, el cual se expresa como la intersección de la esfera y un plano AX +BY +CZ =
D. La proyección estereográfica de este circulo sobre el plano C consiste de puntos z = x + iy ∈ C que satisfacen

2x 2y |z|2 − 1
A( ) + B( ) + C( )=D (1.4)
|z|2 + 1 |z|2 + 1 |z|2 + 1

Reescribiendo

(C − D)(x2 + y 2 ) + 2Ax + 2By − (C + D) = 0 (1.5)

Si C = D entonces (1.5) es una recta en C y su proyección estereografica a la esfera es la intersección de la

esfera con un plano que pasa por el N ¿PORQUE?.

Si C 6= D entonces dividimos por C − D entonces (1.5) seriá equivalente a

2A 2B −(C + D)
x2 + y 2 + a′ x + b′ y + c′ = 0, a′ = b′ = c′ =
C −D C −D C −D
es decir, tiene misma forma de la ecuación (1.3).

A
2 B
2 A2 + B 2 C +D A2 + B 2 + C 2 − D2
(x + + (y + = + = > 0?
C −D C −D (C − D)2 C −D (C − D)2

Ası́ que la proyección estereográfica de un circulo en C a la esfera es otro circulo contenido en la esfera.

El argumento es reversible, todo circulo en el plano es el foco de soluciones de una ecuación de la forma

x2 + y 2 + ax + by + c = 0

Al aplicar la proyección estereográfica a los puntos de este circulo, obtenemos una curva en la esfera. Ahora veamos
que esta curva es justamente un circulo en la esfera. Para ello basta mostrar que ψ(x, y) = (X, Y, Z) satisfacen la
ecuación de un plano AX + BY + CZ = D para algunos coeficientes A, B, C, D.
Teniendo en mente la ecuación del plano escrita en términos de las coordenadas x, y (ver 1.4), que es equivalente
a


(C − D)(x2 + y 2 ) + |{z} 2B y + − (C + D) = 0
2A x + |{z} (1.6)
| {z } | {z }
1 a b c

de manera que si definimos 2A = a, 2B = b, C − D = 1, y −(C + D) = c, garantizamos la existencia de los

coeficientes del plano AX + BY + CZ + D = 0. Ası́, (1.6) es justamente la ecuación original del cı́rculo, por lo tanto
los puntos ψ(x, y) = (X, Y, Z) satisfacen la ecuación de plano y por ende es un circulo en la esfera.

17
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Similarmente, toda recta en el plano es el foco de soluciones de una ecuación de la forma ax + by + c = 0 la cual
también determina un plano vı́a 2A = a, 2B = b, C = D = −c/2 y este plano corta a la esfera en un circulo que
contiene al polo norte.
Dado que las lineas rectas en el plano corresponden a cı́rculos sobre la esfera a través del polo norte, es conveniente
dotar una linea recta en el plano complejo como un circulo a través del ∞. Con esta convención el teorema afirma
simplemente que la proyección estereográfica mapea cı́rculos sobre la esfera a cı́rculos en el plano complejo extendido
C∞ .

18
 Capitulo II

Funciones Complejas
En esta sección vamos a estudiar funciones que dependen de una variable compleja f (z) y definiremos para ella
una teorı́a de la derivación.
Definición 18. (Función Compleja)
Una función de variable compleja es una función f : S ⊆ C −→ C, tal que f (z) = w.
Es decir, es una regla que asigna un número complejo w a cada número complejo z
de un conjunto S.

Quiero recalcar que para definir una función hacen falta dos ingredientes: Un dominio de definición y una regla
de asignación. Cuando no se haga mención explicita del dominio de definición se sobreentenderá que es el más
grande posible.

¿Que información se desprende de f (z) = w?

Dado que z, w ∈ C entonces si z = x + iy y w = u + iv. Luego,

f (z) = f (x + iy) = u(x, y) + iv(x, y).

Y si escribimos a z = reiθ (forma polar) podemos expresar la función compleja de esta forma

f (z) = u(r, θ) + iv(r, θ).

Note que un función compleja f (z) consiste en un
par de funciones reales de dos variables reales, u(x, y) y
v(x, y) también para la forma polar u(r, θ), v(r, θ) .
Si v = 0 entonces f (z) = u(x, y) es una función real de una variable compleja, Por ejemplo f (z) = |z|2 =
x2 + y 2 o g(z) = Re(z) = x.4

Dada la transformación w = f (z) o, de manera equivalente, u = u(x, y), v = v(x, y), a (x, y) se le conoce
como coordenadas rectangulares del punto P en el plano z, y a (u, v) como coordenadas curvilı́neas de P .

Las curvas
u(x, y) = c1 , v(x, y) = c2 ,
donde c1 y c2 son constantes, se llaman coordenadas curvas, y cada par de estas curvas se intersecan en un
punto. Estas curvas se llevan a rectas ortogonales del plano w.

Ejemplo 18 (Algunas funciones complejas).

19
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

√ √
a) f : C → C definida como f (z) = 3 − 2i. Aquı́, dom(f ) = C .Si z = x + iy entonces f (z) = 3 − 2i y
√
u(x, y) = 3 v(x, y) = −2.

b) f : C → C definida como f (z) = z 2 . Aquı́ dom(f ) = C. Si z = x+iy entonces f (z) = (x+iy)2 = (x2 −y 2 )+i2xy
y por lo tanto
u(x, y) = x2 − y 2 v(x, y) = 2xy.
Otra forma de expresar esta función es utilizando coordenadas polares, si z = reiθ entonces

f (z) = (reiθ )2 = r2 ei(2θ) = r2 (cos(2θ) + i sen(2θ)) = r2 cos(2θ) + ir2 sen(2θ).

Por ende,
u(r, θ) = r2 cos(2θ) v(r, θ) = r2 sen(2θ).
1 z
c) f : C → C definida como f (z) = = 2 . Dom(f ) = S = C\{0}. Si z = x + iy entonces
z |z|
x − iy x −y
f (z) = 2 2
= 2 2
+i 2 .
x +y x +y x + y2
De aquı́ concluimos
x y
u(x, y) = v(x, y) = − .
x2 + y2 x2 + y2
Por otra parte, usando coordenadas polares z = reiθ tenemos que

z reiθ 1 1 1
f (z) = 2
= 2
= e−iθ = cos(θ) − i sen(θ).
|z| r r r r
Luego,
1 1
u(r, θ) = cos(θ) v(r, θ) = − sen(θ).
r r

Definición 19. (Polinomios complejos)

Si n ≥ 0 es un entero y a0 , a1 , · · · , an son constantes complejas con an 6= 0. Entonces

p(z) = a0 + a1 z + a2 z 2 + · · · + an z n

es un polinomio de grado n. Note que su dominio es C.

Ejemplo 19. La función compleja p(z) = 5iz 4 − 3z 3 − 2i es un polinomio complejo de grado 4.

Ejemplo 20. Halle las raı́ces del polinomio complejo p(z) = z 2 + (2i − 3)z − 2i + 1/4.

Sol: Las raı́ces están dadas por la ecuación p(z) = 0 y como es un polinomio cuadrático, las raı́ces están dadas
por

Definición 20. (Funciones Racionales)

Las funciones racionales complejas son de la forma

p(z)
f (z) = ,
q(z)

donde p(z) y q(z) son polinomios complejos. Note que su dominio está dado por
S = {z ∈ C : q(z) 6= 0} .

20
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

z + 5i
Por ejemplo f (z) = es una función racional compleja.
z 3 + 2iz 2 − 5
az + b
Si función racional dada por f (z) = donde ad − bc 6= 0 son conocidas como Transformaciones de
cz + d
Möbius que son muy importantes en las aplicaciones de fı́sica e ingenierı́a eléctrica. (la veremos después)

2.1. Mapeo de funciones complejas

Las propiedades de una función real y = f (x) pueden describirse geométricamente por medio de su gráfica en el
plano R2 . Pero para w = f (z) con z ∈ C no es posible hacer una gráfica análoga porque cada uno de esos números
complejos está en un plano, no en una recta, por ende necesitarı́amos 4 dimensiones, dos por cada variable compleja.
En lugar de esto, la información acerca de f (z) = w se expresa creando dos planos complejos, un z-plano para el
espacio dominio y un w-plano para el espacio del rango. Luego visualizamos a f (z) como un aplicación del z-plano
a el w-plano y analizamos como varias configuraciones en el z-plano son mapeadas por f (z) = w al w-plano.
las configuraciones geométricas en el z-plano a considerar dependen mucho de las especificaciones de la función
f (z).

. z-plano w-plano

Definición 21. (Mapeo de funciones complejas)

Una mapeo es una aplicación de z-plano (dominio) en el w-plano (rango), el cual
ayuda a visualizar el comportamiento de una función compleja f (z).

Una funcion f que mapea un conjunto S en un conjunto S ′ , (f : S → S ′ ) se llama

• uno a uno si f (z1 ) = f (z2 ) implica que z1 = z2 .

• sobre si S ′ = f (S) donde f (S) es el conjunto d etodos los valores tomados por f en el conjunto S.

llamamos f (S) al conjunto imagen de S bajo el mapeo de f ..

Ejemplo 21 (Algunos Mapeos fáciles).

a) f (z) = z + 1

b) f (z) = iz

c) f (z) = z

21
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Ejemplo 22. Interprete el mapeo f (z) = z 2

Sol: Observe que f (z) = (x + iy)2 = x2 − y 2 + i(2xy),

de manera que

u(x, y) = x2 − y 2 v(x, y) = 2xy.

Ahora si p
u(x, y) = x2 − y 2 = c1 ⇒ v(x, y) = 2xy = 2y y 2 + c1
donde c1 > 0 tenemos que f ({x2 − y 2 = c1 }) = ({u = c1 }). Es decir, esta hipérbola se mapea en una recta vertical.
Si le colocamos una orientación a la hipérbola en z-plano esta induce una orientación a la curva u = c1 . Para
verificar la orientación inducida basta con estudiar la imagen de dos puntos cualesquiera.
Ahora, si consideramos las hipérbolas

c22
v(x, y) = 2xy = c2 ⇒ u(x, y) = x2 − y 2 = x2 −
4x2
Ası́ que, f ({xy = c2 }) = ({v = c2 }) esta hipérbola (rotada) se transforma en una recta horizontal v = c2 en el plano
w. Recuerde que una orientación en el z-plano induce una orientación el el w-plano. Basta tomar la imagen de dos
puntos cualesquiera.
Pregunta: Si S es el cuadrado limitado por las rectas x = 0, x = 1, y = 1, y = 0. f (S) =?

Si Recta x = 0 entonces que u(x, y) = −y 2 y v(x, y) = 0.

Luego

Si Recta y = 1 entonces u(x, y) = x2 − 1 y v(x, y) = 2x

2
ası́ que x = v2 y por tanto u = v4 − 1.

Si Recta x = 1 entonces u(x, y) = 1 − y 2 y v(x, y) = 2y de

2
aquı́ y = v2 y por lo tanto u = − v4 + 1

Si Recta y = 0 entonces u(x, y) = x2 y v(x, y) = 0

Note que f (S) es la región comprendida entre estas rectas y parábolas. Si queremos tener más datos para graficar
nuestra región podemos mapear los puntos de intersección de las rectas que limitan a S.
Veamos que el punto

Estudio mas general: Usando la forma exponencial w = z 2 = r2 ei2θ esto nos lleva a concluir que

|w| = |z 2 | arg (w) = 2arg (z)

22
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

La primera ecuacion muestra que cı́rculos |z| = r0

en el z-plano es mapeado a cı́rculos |w| = r02 en el
w-plano.
Observe que z = r0 eiθ se envia a w = r02 ei2θ . Es decir,
incremento su magnitud y su angulo el DOBLE.
Cuando z da una vuelta en un circulo del z-plano su
mapero da dos vueltas en otro circulo en el w-plano.
La segunda ecuación muestra que los rayos {arg =
θ0 } del z-plano se mapean en un rayo en el w-plano
pero de angulo doble.
Si z se mueven en un rayo en el z-plano a una ve-
locidad constante, su mapeo w se mueve en su rayo
imagen pero a medida que se aleja del origen incre-
menta su velocidad.
1
Ejemplo 23. Grafique la imagen del subconjunto S = {z ∈ C : |z| < 1} bajo la función compleja f (z) = .
z

SOL: Observe que f (z) = z −1 = 1r e−iθ = 1r (cos θ − i sin θ) entonces

1 1
u(r, θ) = cos(θ) v(r, θ) = − sen(θ)
r r
Consideremos el circulo |z| = 1 en el z-plano (orien-
tacion positiva), luego u(r, θ) = cos(θ) y v(r, θ) =
− sen(θ), es decir, u2 + v 2 = 1 (orientacion negati-
va). Por tanto

Ahora la región S donde se mapea? Resp:

z x x
Otra forma, Observe que f (z) = = 2 2
−i 2 entonces
zz x +y x + y2
x y
u(x, y) = 2 v(x, y) = − 2 (2.1)
x + y2 x + y2
Consideremos el circulo x2 +y 2 = 1 en el z-plano, luego u(x, y) = x y v(x, y) = −y, es decir, u2 +v 2 = 1 (orientacion
negativa).

Ahora la region S donde se mapea? Resp:

1
Ejemplo 24. Halle la imagen del subconjunto S = {z ∈ C : |z − 1| < 1} bajo la función f (z) = .
z
SOL: observe que |z − 1| = 1 es equivalente a (x − 1)2 + y 2 = 1, por ende x2 + y 2 = 2x. Usando (2.1) encontramos
que p p
x 1 y 1 − (x − 1)2 x(2 − x)
u(x, y) = 2 2
= v(x, y) = − 2 2
=− =− ∈ R.
x +y 2 x +y 2x 2x

23
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

En conclusión
1
f (|z − 1| = 1) = {u = }.
2
Ahora la region S donde se mapea? Resp: Estudiemos
el mapeo de un z ∈ S, por ejemplo para z = 21 ya que
|z − 1| = 21 < 1 y f ( 12 ) = 2 que pertenece a la región que
está al lado derecho de la recta u = 21 .
Ejemplo 25 (Mapeo de la función exponencial).
Analicemos diferentes mapeos de la función f (z) = ez
u(x,y) v(x,y)
z }| { z }| {
SOL: Observe que f (z) = ez = ex eiy = ex cos(y) +i ex sen(y). De aquı́, observemos que
|f (z)| = |ex ||eiy | = ex arg (f (z)) = y + 2nπ

Recta vertical Lv : x = c1 > 0: Observe que

f (Lv ) = f (c1 + iy) = ec1 eiy y por tanto

|f (Lv )| = ec1 Arg(f (Lv )) = y ∈ R

Esto implica que la función exponencial mapea rectas

verticales en circunferencias con centro en el origen
y radio ec1 .

Recta Horizontal Lh : y = c2 > 0: Observe que f (Lh ) = f (x + ic2 ) = ex eic2 y por tanto
|f (Lh )| = ex Arg(f (Lh )) = c2 = const
Esto implica que la función exponencial mapea rectas horizontales en rayos con argumento c2 .
En conclusión los segmentos verticales yhorizontales transforman en porciones de circunferencias y rayos,
respectivamente.

Ahora, veamos cual es la imagen de la re-

gión rectangular a ≤ x ≤ b, c ≤ y ≤ d con
a, b, c, d > 0 bajo la función exponencial. Los
segmentos rectos horizontales DC y AB se
transforman en los rayos D′ C ′ y A′ B ′ respec-
tivamente. Y los segmentos rectos verticales
AD y BC se tranforman en las porciones de
circunferencias A′ D′ y B ′ C ′ respectivamente.

Más cositas

24
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

La semirecta x = 0, entre −π ≤ y < π se mapean de manera uno a uno en el circulo |w| = 1.

Las rectas verticales izquierdas x = −a, −π ≤ y < π se mapean en circulo de radio r < 1.

Las rectas verticales derechas x = a, −π ≤ y < π se mapean en circulo de radio r > 1.

La región punteada del z-plano x < 0, −π ≤ y < π se mapea en 0 < |w| < 1 en el w-plano.

La región del z-plano x > 0, −π ≤ y < π se mapea en |w| > 1 en el w-plano.

Recordemos que ez tiene periodo 2πi porque

ez+2πi = ex+i(y+2π) = ex [cos(y + 2π) + i sin(y + 2π)] = ez

asi que los valores complejos ez y ez+2πik , con k ∈ Z, son idénticos. Por tanto, cada franja horizontal −π ≤
y − 2πk < π, con k = 0, ±1, ±2, . . . también se mapea en C\{0} y el mapeo ez : C −→ C\{0} manda un
número infinito de puntos de C al mismo punto en C\{0}.
Este resultado es indeseable, en vista de que no permite la discusión de una función inversa, excepto sobre
cada una de las franjas infinitas descritas anteriormente. La función inversa es verdaderamente importante,
porque la inversa de la exponencial real es el logaritmo. Para eliminar esta dificultad, imagine que el rango
del mapeo consiste en un numero infinito de copia de C\{0} apiladas en capas unas sobre otras, cada una
cortada a lo largo del eje real negativo con el borde superior de una capa “pegada” al borde inferior de la
capa superior, produciendo un conjunto R que asemeja un rampa infinita en espiral.

El conjunto R difiere de C\{0} en que cada punto de R queda determinado univocamente en coordenadas
polares, mientras que los puntos de C\{0} no se pueden determinar en la misma forma, porque el argumento
es multivaluado. Si utilizamos a R como el rango de la función ez y medimos distancias cortas en R de
la manera obvia, observamos que ez mapea a C continuamente en R y que el mapeo es uno a uno. Asi
ez : C −→ R tiene inversa, la cual estudiaremos más adelante.

El conjunto R se llama superficie de Riemann;

Las lineas de corte en cada copia de C\{0} se llaman cortes de ramificación.

Los extremos de los cortes de ramificación 0, ∞ se llaman puntos de ramificación.

cada copia de C\{0} se llama rama de R.

2.1.1. Función Multivaluadas

Las funciones multivaluadas es una generalizaciónn del concepto de función pues consiste en una regla que asigne
a cada punto z del dominio más de un valor.

Ejemplo 26. La función f (z) = z 1/2 es multievaluada.

25
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

Note que ella es una función multivaluada pues a cada 0 6= z = reiθ le asigna dos valores
√ θ √ i( θ +π) √ θ
C0 = rei( 2 ) y C1 = re 2 = − rei 2 = −C0
Si restringimos 0 ≤ θ < 2π diremos que estamos en una rama de la función
multivaluada z 1/2 mientras si restringimos 2π ≤ θ < 4π estamos en otra rama
de la función. Con el fin de mantener la función unı́voca escogemos una ba-
rrera artificial (una semirrecta desde 0 sin incluir el punto) la cual acordamos
no cruzar. Esta barrera es conocida como rama y el punto 0 es el punto de
ramificación.
Ejemplo 27. La función f (z) = arg(z) es multievaluada y una de su ramas es el argumento principal −π <
Arg(z) < π.

Funciones trigonométricas e hiperbólicas

Si y es real entonces sabemos que


 eiy = cos y + i sen y 1 iy
1 iy

⇒ cos y = e + e−iy sin y = e − e−iy
 e−iy = cos y − i sen y 2 2i

Definición 22. (Funciones Trigonométricas)

Para todo z ∈ C se define
1 iz
1 iz

cos z = e + e−iz sin z = e − eiz
2 2i
Evidentemente, si z es real cos z y sen z se reducen a las correspondientes funciones
reales.

Proposición 23. (Propiedades )

Para todo z, w ∈ C se tiene

a) cos(−z) = cos(z) f ) cos2 z + sin2 z = 1

b) sin(−z) = − sen(z) g) cos z = cos(z)

c) cos(z + w) = cos z cos w − sen z sin w h) sin z = sin(z)

d) sin(z + w) = sin z cos w + cos z sin w i) sin(z) = 0 ⇐⇒ z = 0 + kπ (k ∈ Z)

e) cos z = sin π2 ± z j) cos(z) = 0 ⇐⇒ z = π
2 + kπ (k ∈ Z)

k) cos z y sen z son funciones periódicas de perı́odo 2k, con k ∈ Z.

Dem:

a) y b) directas de la definición.
c) y d) similares, hagamos la item c)
1 iz
1

cos z cos w − sen z sin w = e + e−iz ) eiw + e−iw − eiz − e−iz ) eiw − e−iw
4 4
1
1

= eiz eiw + e−iz e−iw = ei(z+w) + e−i(z+w)
2 2
= cos(z + w)

π
e) Hacer w = 2 en la fórmula para sen(z + w)

26
Variable Compleja. Departamento de Matemáticas
H. Fabián Ramı́rez Universidad Nacional de Colombia

f) Hacer w = −z en la fórmula para cos(z + w).

g) y h) similares, hagamos el item g)

1 iz
1
1
1

cos z = e + e−iz = eiz + e−iz = eiz + e−iz = e−iz + eiz = cos(z)
2 2 2 2

i) y h) similares, hagamos el item h)

sin(z) = 0 ⇐⇒ eiz − e−iz = 0 ⇐⇒ ei(2z) = 0 ⇐⇒ i(2z) = 2πki(k ∈ Z) ⇐⇒ z = πk(k ∈ Z)

j) usando el item e) tenemos que

π π π
cos z = sin( ± z) = 0 ⇐⇒ ± z = πk(k ∈ Z) ⇐⇒ z = + πk (k ∈ Z)
2 2 2

k) Por el apartado e), basta probar la afirmación para la función sen z. De la identidad
w w
w w
w w
sin(z + w) − sen(z) = sen z + + − sen z + − = 2 sin( ) cos(z + )
2 2 2 2 2 2
se sigue que sin(z + w) − sen(z) = 0 para todo z ∈ C si y sólo si sen w2 = 0. Por el apartado i), esto es
equivalente a que w = 2πk (k ∈ Z) sea un múltiplo entero de 2 .

Definición 24. (Más funciones trigonométricas)

sin z 1 π
tan z = sec z = (z 6= + kπ, k ∈ Z)
cos z cos z 2
cos z 1
cot z = csc z = (z 6= kπ, k ∈ Z)
sin z sen z

Definición 25. (Funciones Hiperbolicas)

Para todo z ∈ C se define
1 z
1 z

cosh z = e + e−z sinh z = e − e−z
2 2

Proposición 26. (Propiedades )

Para todo z, w ∈ C se tiene

a) cosh(z) = cos(iz)

b) sinh(z) = −i sen(iz)

c) cosh2 z − sinh2 z = 1

d) sin(z) = sin(x + iy) = sin x cos(iy) + cos x sin(iy) = sin x cosh(y) + i cos x sinh y.
π
Si sin z es real si z ∈ R o si z = 2 + iy + kπ con y ∈ R y k ∈ Z.
Si cos y es real si z ∈ R o si z = iy + πk con y ∈ R y k ∈ Z.
sinh z iπ
e) tanh z = = −i tan(iz), (z 6= 2 + kπi, k ∈ Z)
cosh z

DEM:

27