APUNTES DE VC

Variable Compleja, 3º Grado en Matemáticas UCA

NICKNAME MATES

2025
ÍNDICE GENERAL

Capítulo 1
1 Números complejos. Diferenciación

1.1 Números complejos 3

1.2 Funciones elementales 6
1.2.1 Función exponencial 6
1.2.2 Seno y coseno 8
1.2.3 Funciones hiperbólicas 10
1.2.4 Función logaritmo 12
1.2.5 Potencias de números complejos 13
1.2.6 Transformaciones bilineales 14
1.3 Topología 16
1.3.1 Abiertos en C 17
1.3.2 Conexos 17
1.3.3 Compactos 18
1.4 Límites, continuidad y diferenciabilidad 18
1.4.1 Límites 18
1.4.2 Continuidad 18
1.4.3 Holomorfía (Diferenciabilidad) 20
1.4.4 Funciones armónicas 24

2
 CAPÍTULO

NÚMEROS COMPLEJOS.
DIFERENCIACIÓN 1
1.1 Números complejos

Definición 1.1.1 Cuerpo de los complejos

Se define el cuerpo (C, +, ·) como C = R2 con las operaciones:

+ : (a, b) + (c, d) = (a + c, b + d)
· : (a, b) · (c, d) = (ac − bd, ad + bc)

Nota

a) φ : R → C definida como φ(λ) = (λ, 0) es un homeomorfismo inyectivo. Haremos la

siguiente identificación λ ≡ (λ, 0).
−b
b) z = (a, b) ̸= 0 entonces z −1 = ( a2 +b
a
2, a2 +b2 ).

c) La ecuación X 2 + 1 = 0 tiene solución en este cuerpo.

Demostración. Demostraremos c)
(0, 1)2 = (0, 1) · (0, 1) = (0 − 1, 0) = −1
Luego (0, 1)2 + (1, 0) = (0, 0).

Nota
Identificaremos (0, 1) = i.
En general podemos identificar (a, b) ≡ a + bi (forma binómica)

3
 Definición 1.1.2 Conjugado, módulo y argumento

1. Conjugado: z = a + bi z = a − bi.
√
2. Módulo: |z| = a2 + b2 .
a b
3. Argumento (un argumento): z = a + bi, con r = |z| tal que cos θ = y sin θ = .
r r

Definición 1.1.3 Forma polar y trigonométrica

Si z = a + bi ̸= 0, sea r = |z| y θ un argumento de z . La forma polar es z = rθ = reiθ y la
forma polar es z = r(cos θ + i sin θ)

Nota
Para que haya unicidad en la forma polar y trigonométrica, siempre fijamos una rama del
argumento: dado θ0 ∈ R existe un único número real θ ∈ [θ0 , θ0 + 2π) tal que

a b
cos θ = , sin θ = .
r r

Ejemplo.
π
Para z = 1 + i, θ = 4,θ = 9 π4 , θ = 17 π4 , ..., fijada la rama [7, 7 + 2π), el único θ ∈ [7, 7 + 2π) es
θ = 9 π4 .

Nota
Antes de hacer un ejercicio tendremos que fijar la rama. Rama principal: [−π, π).

Nota Interpretaciones geométricas:

Suma: corresponde a la suma de vectores en el plano complejo.

Producto: Si z1 = r1 (cos θ1 + i sin θ1 ) y z2 = r2 (cos θ2 + i sin θ2 ), entonces:

h i
z1 z2 = r1 r2 cos(θ1 + θ2 ) + i sin(θ1 + θ2 ) = r1 r2θ1 +θ2 .
 Teorema Sea z ∈ C
(Fórmula z = r(cos(θ) + i sin(θ))
de Moivre)
para n ∈ N se tiene
z n = rn (cos(nθ) + i sin(nθ))

Ejemplo.

z8 = 1
r8 (cos(8θ) + i sin(8θ)) = 1, r=1
cos(8θ) = 1, sin(8θ) = 0
8θ = 2kπ, k ∈ Z
θ = kπ/4
√ √
Luego
√ √ k = 0, θ = 0 → z = 1, k = 1, θ = π/4 → z = 2/2 + i 2/2,...,k = 7, θ = 7π/4 → z =
para
2/2 − i 2/2
Hay 8 soluciones.
Ejemplo.
Si tenemos z n = −1, como

z n = rn (cos(nθ) + i sin(nθ))

entonces rn (cos(nθ) + i sin(nθ)) = −1, luego

rn = 1, r=1
cos(nθ) = −1
sin(nθ) = 0

Tenemos que nθ = (2k + 1)π; θ = 2k+1n π, k ∈ Z.

Dándole valores a k tenemos que ver si hay infinitas soluciones.

Proposición 1.1.1 Propiedades básicas del módulo

1. |z| ≥ 0

2. |z| = 0 si y solo si z = 0

3. zz = |z|2

4. |z1 · z2 | = |z1 | · |z2 |

5. |z| = |z|

6. (z1 + z2 ) = z1 + z2 , lo mismo para el producto.

7. |Re(z)| ≤ |z|

8. |Im(z)| ≤ |z|
 9. Desigualdad triangular: |z1 + z2 | ≤ |z1 | + |z2 |

10. |z1 − z2 | ≥ ||z1 | − |z2 ||

Demostración. Demostramos la propiedad 9:

|z1 + z2 |2 = (z1 + z2 )(z1 + z2 ) = (z1 + z2 )(z1 + z2 ) = (z1 z1 + z1 z2 + z2 z1 + z2 z2 ) =

= |z1 |2 + |z2 |2 + 2Re(z1 z2 ) ≤ |z1 |2 + |z2 |2 + 2|z1 z2 | = |z1 |2 + |z2 |2 + 2|z1 ||z2 | = (|z1 | + |z2 |)2

Demostración. La demostración de la 10 queda como ejercicio

1.2 Funciones elementales

1.2.1. Función exponencial

Definición 1.2.1 Función exponencial

Sea z ∈ C, z = x + iy . Se define

ez = ex (cos(y) + i sin(y)

Nota
Para z ∈ R, la exponencial coincide con la exponencial clásica. Si z ∈ R, z = z + 0i, luego
ez = ez (cos(0) + i sin(0) = ez

Proposición 1.2.1 Propiedades de la exponencial compleja

Se verifica,

1. z = r(cos(θ) + i sin(θ)) = reiθ

2. Si z, w ∈ C, ez+w = ez ew

3. ez ̸= 0

4. |ez | = ex

Demostración. 1. Por definición es directo: z = r(cos(θ) + i sin(θ)) = re0+iθ

 2. Sea z = x1 + y1 i y w = x2 + y2 i,

ez+w = ex1 +x2 (cos(y1 + y2 ) + i sin(y1 + y2 )) =

= ex1 ex2 (cos(y1 )cos(y2 ) − sin(y1 ) sin(y2 ) + i(sin(y1 ) cos(y2 ) + cos(y1 )sin(y2 ))) =
= ex1 ex2 (cos(y2 )(cos(y1 ) + i sin(y1 )) − sin(y2 )(−i cos(y1 ) + sin(y1 ))) =
= ex1 ex2 (cos(y2 )(cos(y1 ) + i sin(y1 )) + i sin(y2 )(−i2 cos(y1 ) + i sin(y1 ))) =
= ex1 (cos(y1 ) + i sin(y1 ))ex2 (cos(y2 ) + i sin(y2 )) =
= ez ew

3. ez = ex (cos(y) + i sin(y), luego ex ̸= 0 y cos(y) y sin(y) no pueden ser igual a 0 simultánea-

mente, luego ez ̸= 0.

4. |ez | = |ex || cos(y) + i sin(y)| = ex (cos2 (y) + sin2 (y)) = ex

Nota
A partir de ahora se olvida la expresión z = rθ .

Proposición 1.2.2
Si ez = 1 entonces z = 2πki para cierto k ∈ Z.

Demostración.

z = x + yi
ez = ex (cos(y) + i sin(y)) = 1
ex = 1 x = 0
cos(y) = 1 sin(y) = 0
y = 2kπ

Luego z = 2kπi

Corolario 1.2.1

ez1 = ez2 ⇐⇒ existe k ∈ Z, z2 = z1 + 2kπi

Demostración.

ez1 = ez2
1 = ez2 −z1 por la proposición anterior
z2 − z1 = 2kπi
 Visualización: por el corolario, anterior la exponencial es periódica de periodo 2πi, es decir,
f (z + 2πik) = f (z).
Hay un visualizador en el campus.

1.2.2. Seno y coseno

Observemos que si tomamos z = iy, y ∈ R

eiy = cos(y) + i sin(y)

e−iy = cos(y) − i sin(y)

Luego,

eiy + e−iy
cos(y) =
2
eiy − e−iy
sin(y) =
2i
A lo visto de lo anterior,

Definición 1.2.2 Coseno y seno complejo

Sea z ∈ C, definimos

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

Estas dos funciones coinciden con el coseno y el seno real cuando z ∈ R, y además comparte
las siguientes propiedades:
 Proposición 1.2.3 Propiedades del seno y coseno complejo
Sea z ∈ C, z = x + yi, x, y ∈ R y w ∈ C:

1. sen2 (z) + cos2 (z) = 1

2. sen(z + w) = sin(z)cos(w) + sen(w)cos(z)

3. cos(z + w) = cos(z)cos(w) − sen(w)sen(z)

4. cos(−z) = cos(z)

5. sen(−z) = −sen(z)

6. sen(z + 2kπ) = sen(z) para cualquier k ∈ Z.

7. cos(z + 2kπ) = cos(z) para cualquier k ∈ Z.

8. sen(x + iy) = cosh(y) sin(x) + i sinh(y) cos(x)

9. cos(x + iy) = cos(x) cosh(y) − i sin(x) sinh(y)

Demostración. 1.
2 2
eiz − e−iz eiz + e−iz
 
sen2 (z) + cos2 (z) = + =
2i 2

−e2iz − e−2iz + 2eiz e−iz + e2iz + e−2iz + 2eiz e−iz

= =1
4
2.

eiz − e−iz eiw + e−iw eiw − e−iw eiz + e−iz

sen(z)cos(w) + sen(w)cos(z) = · + · =
2i 2 2i 2
ei(z+w) + ei(z−w) − ei(w−z) − e−i(w+z) ei(z+w) + ei(w−z) − ei(z−w) − e−i(w+z)
= + =
4i 4i
ei(z+w) − e−i(z+w)
= = sen(z + w)
2i
3.

eiz + e−iz eiw + e−iw eiw − e−iw eiz − e−iz

cos(z)cos(w) − sen(w)sen(z) = · − · =
2 2 2i 2i
ei(z+w) + ei(z−w) + ei(w−z) + e−i(w+z) ei(z+w) − ei(z−w) − ei(w−z) − e−i(w+z)
= + =
4 4
ei(z+w) + e−i(z+w)
= = cos(z + w)
2
4.
e−iz + eiz
cos(−z) = = cos(z)
2
 5.
e−iz − eiz
sen(−z) = = −sen(z)
2i
6.
=1 =1
z }| { z }| {
iz 2kπi
e i(z+2kπ)
−e −i(z+2kπ)
e e −e−iz e2kπi
sen(z + 2kπ) = = = sen(z)
2i 2i
7.
=1 =1
z }| { z }| {
iz 2kπi
e i(z+2kπ)
+e −i(z+2kπ)
e e +e−iz e2kπi
cos(z + 2kπ) = = = cos(z)
2 2
8.
ei(x+iy) − e−i(x+iy) e−y (cos(x) + i sin(x)) ey (cos(x) − i sin(x))
sen(x + iy) = = − =
2i 2i 2i
= i sinh(y) cos(x) + cosh(y) sin(x)

9. Con el coseno es análogo.

Nota
El seno y el coseno complejo no están acotados por 1.

1.2.3. Funciones hiperbólicas

Definición 1.2.3 Seno hiperbólico

Sea z ∈ C, entonces se definen las funciones:

ez − e−z
sinh(z) =
2
ez + e−z
cosh(z) =
2

Proposición 1.2.4 Propiedades de las funciones hiperbólicas

Sea z ∈ C con z = x + iy, x, y ∈ R y sea w ∈ C. Entonces:
1. cosh2 (z) − senh2 (z) = 1

2. cosh(iz) = cos(z)

3. senh(iz) = i sen(z)

4. senh(z + w) = senh(z) cosh(w) + cosh(z) senh(w)

5. cosh(z + w) = cosh(z) cosh(w) + senh(z) senh(w)

6. senh(z + 2kπi) = senh(z) para cualquier k ∈ Z.

 7. cosh(z + 2kπi) = cosh(z) para cualquier k ∈ Z.

8. senh(x + iy) = senh(x) cos(y) + i cosh(x) sen(y)

9. cosh(x + iy) = cosh(x) cos(y) + i senh(x) sen(y)

Demostración. 1.

e2z + 2 + e−2z e2z − 2 + e−2z

cosh2 (z) − senh2 (z) = − =1
4 4

2.
eiz + e−iz
cosh(iz) = = cos(z)
2
3.
eiz − e−iz
senh(iz) = i = isen(z)
2i
4.
ez − e−z ew + e−w ez + e−z ew − e−w
senh(z) cosh(w) + cosh(z) senh(w) = + =
2 2 2 2
ez ew + ez e−w − e−z ew − e−z e−w ez ew − ez e−w + e−z ew − e−z e−w 2ez ew − 2e−z e−w
= + = =
4 4 4
ez+w − e−(z+w)
= = senh(z + w)
2
5.
ez + e−z ew + e−w ez − e−z ew − e−w
cosh(z) cosh(w) + senh(z) senh(w) = + =
2 2 2 2
ez ew + ez e−w + e−z ew + e−z e−w ez ew − ez e−w − e−z ew + e−z e−w 2ez ew + 2e−z e−w
= + = =
4 4 4
ez+w + e−(z+w)
= = cosh(z + w)
2
6.
ez+2kπi − e−(z+2kπi) ez − e−z
senh(z + 2kπi) = = = senh(z)
2 |{z} 2
corolario 1.2.1

7. Idem

8.
ex − e−x eiy + e−iy ex + e−x eiy − e−iy
senh(x) cos(y) + i cosh(x) sen(y) = +i =
2 2 2 2i
ex+yi + ex−yi − e−x+yi − e−x−yi + ex+yi − ex−yi + e−x+yi − e−x−yi
= =
4
senh(x + iy) =

9. Idem
1.2.4. Función logaritmo

z = x + yi −→ez = w
ex (cos(y) + i sin(y)) = w Par que ambos sean iguales tienen que tener el mismo módulo
Re(w)
ex cos(y) = Re(w); cos(y) =
|w|
Im(w)
ex sin(y) = Im(w); sin(y) =
|w|

Definición 1.2.4 Logaritmo complejo

Fijado y0 ∈ R, para z ∈ C \ {0} definimos la función

log(z) = ln |z| + iθz

siendo θz el único argumento de z en el intervalo [y0 , y0 + 2π).

Nota
Por omisión se tamará y0 = −π y diremos que estamos trabajando con la rama principal del
logaritmo.
Se tiene que
logy0 (z) = log(z) + 2ky0 πi, ky0 ∈ Z

Teorema 1.2.1
Fijando la rama [y0 , y0 + 2π) se tiene que

1. elog(z) = z, z ∈ C \ {0}
2. log(ez ) = z , si z = x + yi con y ∈ [y0 , y0 + 2π)

Demostración. 1.

elog(z) = eln |z|+iθz , θz ∈ [y0 , y0 + 2π)

ln |z|
=e (cos θz + i sin θz ) =
= |z|(cos θz + i sin θz ) = z

2.

log(ez ) = log(ex (cos(y) + i sin(y))) = (por definición de exponencial)

= ln(ex ) + iθez (por definición de logaritmo)
Re(ez ) ex cos(y)
cos(θez ) = = = cos(y), θez ∈ [y0 , y0 + 2π)
|ez | ex
Im(ez )
sin(θez ) = = sin(y)
|ez |
 Entonces θez = y porque y también pertenece al intervalo [y0 , y0 + 2π). Por tanto log(ez ) =
x + iy = z .

1.2.5. Potencias de números complejos

Definición 1.2.5 Potencias complejas

Fijado y0 ∈ R, y dados a, b ∈ C, con a ̸= 0 se define

ab = eblog(a)

Nota
Hay muchas definiciones de potencia, hay una definición distinta para cada rama del logaritmo.

Teorema 1.2.2
Sea a ∈ C \ {0} y b ∈ R,

a) b ∈ Z ⇐⇒ ab no depende de la rama (y coincide con la definición clásica)

p
b) Si b ∈ Q, con b = q irreducible entonces ab tiene exactamente q valores.

/ Q entonces ab tiene infinitas soluciones.

c) Si b ∈

Demostración. Observemos que

b
ab = eblog(a) = eb(ln|a|+iθa +2kπi) = eln |a| eiθa b ei2kbπ = |a|b eiθa b ei2kbπ

a) =⇒| Si b ∈ Z entonces ei2kbπ = 1.

⇐=| Supongamos que para cada k y k tal que ei2kbπ = ei2kbπ , luego 2kbπi = 2kbπi + 2πim,
para cierto m ∈ Z.
En particular para k = 0, k = 1, 2bπi = 2πmi luego b = m por lo que b ∈ Z.

c) Ahora, por otra parte

e2kπbi = e2kπbi , k, k ∈ Z
m
2kπbi = 2kπbi + 2πmi, para cierto m ∈ Z, esto es (k − k)b = m; b= k−k
∈Q
p
b) Si b = q irreducible, por c),
e2kπbi = e2kπbi , k, k ∈ Z
si y sólo si (k − k) pq = m; qm = p(k − k); k ≡ k(modq), por tanto tiene exactamente q
valores distintos.

Ahora ya podemos definir dos familias de funciones.

 Fijamos a ∈ C \ {0} y una rama del logaritmo [y0 , y0 + 2π),

f : z 7−→ az = ezlog(a)

Fijamos b ∈ C y una rama,

f : z 7−→ z b = eblog(z)

Ejemplo.

b = 1/2 por el Teorema habrá dos valores distintos de z 1/2 . Para la rama [−π, π),
√
1 = 11/2 = e1/2log(1) = e1/2(ln(1)+i0) = 1

Para la rama [π, 3π),

√ 2
1 = 11/2 = e1/2log/ (1) = e1/2(ln(1)+i2π) e1/2·0 · ei 2 π = eiπ = −1
p √ √ √
Ahora bien, (−1)(−1) = 1; (−1)(−1) = 1; −1 −1 = 1; i · i = 1; −1 = 1, con la
rama [−π/2, 3π/2).
¿Dónde falla?: cuando separamos la raíz
√ 1
AB = e 2 log(A·B)

1.2.6. Transformaciones bilineales

Definición 1.2.6 Transformación bilineal

Sean a, b, c, d ∈ C tales que ad − bc ̸= 0 y c ̸= 0, una transformación bilineal viene dada por:
 
−d
T :C\ −→ C
c
az + b
z 7−→
cz + d

Proposición 1.2.5
Con lo anterior, T es una biyección de C \ { −d a
c } en C \ { c }.

Demostración. Inyectiva: Supongamos z1 , z2 ∈ C \ { −d

c } tales que

az1 + b az2 + b
=
cz1 + d cz2 + d
de aquí, (ad − bc)(z1 − z2 ) = 0. Al ser ad − bc ̸= 0 por hipótesis se tiene z1 = z2 .

Sobreyectiva: Sea w ∈ C \ { ac },
az+b b−wd
Idea: w = T (z) = cz+d , luego z = wc−a
b−wd
tomemos z = wc−a , luego T (z) = ... = w.
Ejemplo.

1. Traslaciones:
T : z 7−→ z + b, b∈C

2. Homotecias:
T : z 7−→ λz, λ∈R

3. Giro de ángulo arg(a):

T : z 7−→ az, a ∈ C, |a| = 1

4. Inversión:
1
T : z 7−→ , z ̸= 0
z

Teorema 1.2.3
Toda transformación bilineal es composición de traslaciones, homotecias, giros e inversiones.

az+b
Demostración. Si c = 0, T (z) = d = âz + b̂, es composición de

z 7−→ âz (homotecia)

z 7−→ z + b (traslacion)

Si c ̸= 0, observamos que

az + b a b − ad
c
T (z) = = +
cz + d c cz + d

z 7−→ cz (homogiro)
z 7−→ z + d (traslacion)
1
z 7−→ (inversion)
z
 
ad
z 7−→ b− z (homogiro)
c
a
z 7−→ z + (traslacion)
c

Teorema 1.2.4
Una transformación bilineal transforma rectas y circunferencias en rectas y circunferencias (no
respectivamente).
Demostración. En primer lugar, los giros, traslaciones y homotecias transforman rectas y circunfe-
rencias en rectas y circunferencias, respectivamente.
Consideremos la inversión T (z) = z1 . Cualquier recta o circunferencia satisface una ecuación de
la forma
S = {z ∈ C : A1 |z|2 + A2 z + A2 z + A3 = 0}
para cierto A1 , A3 ∈ R y A2 ∈ C (lo veremos en un ejercicio).
Estudiemos

T (S) = {w ∈ C : existe z ∈ S tal que T (z) = w} =

1
= {w ∈ C : existe z ∈ S tal que = w} =
z
1
= {w ∈ C : ∈ S} =
w
1 1 1
= {w ∈ C : A1 2 + A2 + A2 + A3 = 0} = (·ww = |w|2 )
|w| w w
= {w ∈ C : A1 + A2 w + A2 w + A3 |w|2 = 0}

que es por tanto otra circunferencia o recta.

Teorema 1.2.5
Fijados z1 , z2 , z3 ∈ C distintos y w1 , w2 , w3 ∈ C distintos, existe una única transformación
bilineal (o de Möbius) T , tal que T (zi ) = wi , i = 1, 2, 3.

Demostración.

Nota Tip ejercicio (20)

Cuando me pidan la imagen por f de un conjunto Ω, y f sea una aplicación bilineal, si yo cojo
3 puntos del borde y los transformo, puedo tener una idea intuitiva porque la imagen de una
componente conexa es una conexa.

1.3 Topología
1.3.1. Abiertos en C

Definición 1.3.1 Distancia

Dados z, w ∈ C se define la distancia

d(z, w) = |w − z|

Definición 1.3.2 Bola abierta

Llamamos bola abierta de centro z0 ∈ C y radio r > 0 al conjunto

B(z0 , r) = {z ∈ C : d(z, z0 )|z − z0 | < r}

Definición 1.3.3 Conjunto abierto

Diremos que A ⊆ C es abierto si para cada z ∈ A existe r > 0 tal que B(z, r) ⊆ A.

Definición 1.3.4 Convergencia y divergencia

Diremos que una sucesión (zn ) ∈ C converge a L ∈ C si para cada ε > 0 existe un nε ∈ N
tal que para n ≥ nε se verifica zn ∈ B(L, ϵ) (|zn − L| < ε).
Diremos que (zn ) diverge (o que converge a ∞) si para cada M > 0 existe nM tal que si
n ≥ nM |zn | > M .

Definición 1.3.5 Topología inducida

Dado un espacio topológico (X, T ) e Y ⊆ X llamamos topología inducida en Y a

TY = {V ⊆ Y : existe U ∈ T , V =U ∩Y}

1.3.2. Conexos

Definición 1.3.6 No conexo

Un conjunto A ∈ C es no conexo si existe U, V ⊆ C no vacíos y tales que

1. A = U ∪ V

2. U ∩ V = ∅

3. U y V son abiertos en la topología inducida en A.

En caso contrario decimos que A es conexo.

Teorema 1.3.1
A es conexo ⇐⇒ los únicos conjuntos clopen (abierto y cerrado) en la topología inducida con
∅ y A.
 Llamaremos región a los subconjuntos Ω abiertos y conexos.

1.3.3. Compactos

Definición 1.3.7 Compacto

Se dice que A ⊆ C es compacto si para cada recubrimiento por abiertos de A existe un
subrecubrimiento finito.

Proposición 1.3.1
En C son equivalentes:

1. A es compacto.

2. Toda sucesión en A tiene al menos una subsucesión convergente a un punto de A.

3. A es cerrado y acotado.

1.4 Límites, continuidad y diferenciabilidad

1.4.1. Límites

Definición 1.4.1 Punto de acumulación

Un punto z0 ∈ C es punto de acumulación de un conjunto A si existe alguna sucesión en A,
(zn )n∈N ⊂ A \ {z0 } tal que zn → z0 .

Definición 1.4.2 Límite

Sea f : A ⊆ C −→ C y z0 ∈ C punto de acumulación . Decimos que lı́mz→0 f (z) = a si para
sucesión (zn ) → z0 , (zn ) ⊆ A \ {0} se verifica que (f (zn )) → a.

Teorema 1.4.1

lı́m f (z) = a ⇐⇒ para cada ε > 0 existe δ > 0 tal que z ∈ B(z0 , δ)∗ entonces f (z) ∈ B(a, ε).
z→0

1.4.2. Continuidad

Definición 1.4.3 Función continua

Sea f : A ⊂ C → C y z0 punto de acumulación de A. Se dice que f es continua en z0 ∈ A si
lı́mz→z0 f (z) = f (z0 ).
 Nota
f es continua en todos los puntos de acumulación de A ⇐⇒ ”continuidad mediante f −1 ”

Nota Notación
Dado f : A ⊂ C → C se tiene que para z = x + yi, f (z) = u(z) + v(z)i con u, v : A → R.
Denotaremos por fˆ,

fˆ : Â ⊆ R2 −→ R2
(x, y) 7−→ (u(x, y), v(x, y))

siendo  = {(x, y) ∈ R2 : x + iy ∈ A}

Proposición 1.4.1
f es continua ⇐⇒ fˆ es continua.

Ejemplo.
1. f (z) = z es continua porque fˆ : (x, y) 7→ (x, −y).

2. f (z) = ez es continua porque fˆ : (x, y) 7→ (ex cos(y), ex sin(y)).

Proposición 1.4.2 Propiedades típicas de la continuidad

Sean f, g : A ⊂ C → C continuas en z0 ∈ A. Entonces:

1. f + g es continua en z0 .

2. f · g es continua en z0 .
f
3. g es continua en z0 ∈ A si g(z0 ) ̸= 0.

4. Si f (A) ⊂ B y h : B → C es continua en f (z0 ) entonces h ◦ f es continua en z0 .

Ejemplo.
1. Las transformaciones bilineales son continuas.
2. Los polinomios (an z n + ... + a1 z + a0 ) son funciones continuas.
3. La función f (z) = log(z) es continua en C \ Ry0 , siendo Ry0 = {r · eiy0 : r > 0}. Si z0 ∈ Ry0
entonces no es continua.
Ejemplo.

Sea f (z) = log(z) y la rama [−π, π), veamos que no es continua en −1 ∈ R−π . Sea la
sucesión (an )n∈N = −1 + n1 i. Luego
r   
1 1 1 n→∞
f (an ) = log(−1 + i) = ln 1+ + i π − arctan −→ iπ
n n2 n
por otro lado √
f (−1) = ln( 1) + i(−π) = −πi
 1 −b


4. z b = eblog(z) es continua si b ∈ Z. Si b > 0 z b es un polinomio, si b < 0, z es la composición
de dos funciones continuas.

Proposición 1.4.3
Si f es continua en A y A es conexo entonces f (A) es conexo.

Proposición 1.4.4
Si f es homeomorfismo, f envía componentes conexas a componentes conexas.

Proposición 1.4.5
Si f continua y K es compacto entonces f (K) compacto. El módulo de f alcanza un máximo
y un mínimo en K .

1.4.3. Holomorfía (Diferenciabilidad)

Definición 1.4.4 Función holomorfa (diferenciable)

Sea f : A ⊂ C → C con A abierto y sea z0 ∈ A. Se dice que f es holomorfa en z0 si existe y
es finito el límite
f (z) − f (z0 )
lı́m
z→z0 z − z0
En este caso, a este límite lo denotaremos como f ′ (z0 ).

Equivalentemente, existe un número complejo denotado f ′ (z0 ) tal que

|f (z) − f (z0 ) − f ′ (z0 )(z − z0 )|

lı́m =0
z→z0 |z − z0 |

Denotamos por H(A) el conjunto de todas las funciones holomorfas en todos los puntos de A.

Proposición 1.4.6 Propiedades de las funciones holomorfas

1. Si f ∈ H(A), entonces f es continua en A.

2. Si f, g ∈ H(A), entonces:

Demostración. Las mismas que las de análisis real.

¿Se puede visualizar la holomorfía? Sí, con las ecuaciones de Cauchy-Riemann (C-R).
Pero antes repasemos nociones de Álgebra Lineal.
 Sea L : R2 → R2 , se le puede aplicar transformaciones lineales tal que un cuadrado pase a ser
un paralepípedo, en los complejos si tengo

C −→ C
z 7−→ az
(1, 0) 7−→ (α, β)
(0, 1) 7−→

, con a = α + βi.
    
α −β x u
=
β α y v

Proposición 1.4.7
Dado a = α + βi ∈ C la aplicación La : R2 → R2 correspondiente a multiplicar por a es una
aplicación lineal con matriz  
α −β
β α

Teorema 1.4.2 Caracterización de las funciones holomorfas

Sea f : A → C, A abierto de C con

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

, y z0 = z0 + iy0 ∈ A. Entonces f es holomorfa en z0 si y sólo si fˆ es diferenciable en (x0 , y0 )

y (
ux (x0 , y0 ) = vy (x0 , y0 )
(CR) →
uy (x0 , y0 ) = −vx (x0 , y0 )

Demostración. Observemos que si a ∈ C y La es al aplicación lineal asociada entonces

∥fˆ(x, y) − fˆ(x0 , y0 ) − La (x − x0 , y − y0 )∥ |f (z) − f (z0 ) − a(z − z0 )|

= (*)
∥(x − x0 , y − y0 )∥ |z − z0 |

=⇒| Supongamos que f es holomorfa y sea a = f ′ (z0 ) entonces fˆ es diferenciable porque

∥fˆ(x, y) − fˆ(x0 , y0 ) − La (x − x0 , y − y0 )∥
lı́m = 0 por (*)
(x,y)→(x0 ,y0 ) ∥(x − x0 , y − y0 )∥
Además, la matriz de La es la matriz jacobiana, es decir,
   
ux vx α −β
= , para cierto α, β ∈ R
uy vy β α
Por tanto ux = vy y uy = −vx .
⇐=| Recíprocamente si fˆ diferenciable y CR entonces existe una aplicación lineal L tal que

∥fˆ(x, y) − fˆ(x0 , y0 ) − L(x − x0 , y − y0 )∥

lı́m
(x,y)→(x0 ,y0 ) ∥(x − x0 , y − y0 )∥
Pero además, por CR la matriz de L tiene la forma
 
ux −vx
L≡
vx ux

así que L ≡ La para a = ux + ivx . Así pues

|f (z) − f (z0 ) − a(z − z0 )|

lı́m = 0 por (*)
z→z0 |z − z0 |

Nota Interpretación
fˆ : R2 → R2 diferenciable

Ejemplo. de no holomorfo

f (z) = z, no es holomorfo
fˆ : (x, y) → (x, −y)
Se tiene que ux = 1 y vy = −1, por Cauchy-Riemann, ux = vy y uy = −vx

Ejemplo. sí holomorfa

f (z) = ez
 fˆ : (x, y) → (ex cos(y), ex sin(y))
ux = ex cos(y) = vy y uy = −ex sin(y) = −vx , luego sí es holomorfa.

Proposición 1.4.8
Sea Ω ⊂ C una región y f ∈ H(Ω) con f ′ (z) = 0, z ∈ Ω. Entonces f es constante.

Teorema 1.4.3
Sea f : A ⊂ C → C con z0 ∈ A. Si f ∈ H(A) y f ′ (z0 ) ̸= 0 y f ′ es continua entonces existen
entornos U de z0 y V de f (z0 ) tal que f : U → V es biyectiva y

1
(f −1 )′ (f (z)) =
f ′ (z)

Ejemplo.

La función log es holomorfa en z ∈ C \ Ry0 = C \ {z ∈ C : θz = y0 }, porque es la inversa de la

exponencial.

Teorema 1.4.4
Sea Ω ⊂ C una región en C y f ∈ H(Ω). Si Re(f ), Im(f ), |f | o arg(f ) es constante entonces
f es constante.

Recordemos que f (z) ∈ C, f (z) = u(z) + iv(z) = Re(f ) + iIm(f ).

Demostración. Si Re(f ) es constante, se tiene que por ser holomorfa, f ′ (z) = a + bi

   
ux vx a −b
=
uy vy b a

Así pues f ′ (z) = ux + ivx , como u(z) es constante, entonces ux = 0. Y también vx = −uy = 0.
Luego f ′ (z) = 0 y f es constante.

Im(f ) constante, idem.

|f | constante entonces |f |2 = u2 + v 2 = c.
• Si c = 0 entonces f (z) = 0 constante.
• Si c ̸= 0 derivamos |f |2 = u2 + v 2 = c respecto de x,luego

2uux + 2vvx = 0

y respecto de y ,
2uuy + 2vvy = 0
Usando CR, (
uux + vvx = 0
vux − uvx = 0
que tiene como única solución ux = vx = 0 porque −u2 − v 2 = −c =
̸ 0. Así que
f ′ (z) = ux + ivx = 0 y f es constante.
 Arg(f ) = α constante. Defino g(z) = f (z)e−iα holomorfa. Se tiene que Im(g) = 0 constante,
usando el segundo apartado, g es constante y f = geiα constante.

1.4.4. Funciones armónicas

Definición 1.4.5 Función armónica

f : R2 → R2 es armónica si △f = 0, siendo △f = fxx + fyy .