Índice general

1. Números Complejos 1
1.0.1. Definición. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.0.2. Representación cartesiana . . . . . . . . . . . . . . . . . . . . . . . . 3
1.0.3. Conjugada de un número complejo z . . . . . . . . . . . . . . . . . . 3
1.0.4. Módulo o norma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1. Representación Polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.1. Representación Polar del Producto de dos números complejos. . . . . 8
1.2. Distancia y desigualdades importantes . . . . . . . . . . . . . . . . . . . . . 11
1.3. Nociones fundamentales de topologı́a de C . . . . . . . . . . . . . . . . . . . 13

i
 2 Capı́tulo 1 Números Complejos

(x1 , 0) + (x2 , 0) = (x1 + x2 , 0) = x1 + x2

(x1 , 0)(x2 , 0) = (x1 x2 , 0) = x1 x2
Es decir, el cuerpo R de los números reales es visto como un subconjunto de C.
Capı́tulo 1
El número complejo (0, 1) es llamado unidad imaginaria y se denota por el sı́mbolo i.

(0, 1) = i
Números Complejos
Propiedad

1.0.1. Definición.
i2 = ii = (0, 1)(0, 1) = (−1, 0) = −1
Sea R el conjunto de los números reales. Llamaremos números complejos, al conjunto En este sentido podemos escribir:
R×R=C . √
i= −1
O bien, un número complejo z es un par ordenado de números reales z = (x, y) y que
satisfacen las siguientes reglas para la suma y la multiplicación. El número complejo z = (x, y) se puede escribir también como z = x + iy . Obsérvese que

1. Suma: z1 + z2 = (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ) (y, 0)(0, 1) = (0, y)

2. Producto: z1 × z2 = (x1 , y1 ) × (x2 , y2 ) = (x1 x2 − y1 y2 , x1 y2 + y1 x2 )

(x, y) = (x, 0) + (0, y)
Las operaciones definidas por (1) y (2) gozan de las siguientes propiedades: = (x, 0) + (y, 0)(0, 1)
= (x, 0) + (y, 0)i
P1. Conmutatividad: z1 + z2 = z2 + z1 , z1 z2 = z2 z1 = x + yi
P2. Asociatividad: (z1 + z2 ) + z3 = z1 + (z2 + z3 ), (z1 z2 )z3 = z1 (z2 z3 )
Es decir
P3. (0, 0) es elemento neutro aditivo: z + (0, 0) = z para todo z complejo z = (x, y) = x + iy
P4. (1, 0) es identidad multiplicativa: z(1, 0) = z para todo z complejo Dado un número complejo z = (x, y) = x + iy llamamos al número real x, parte real de z, y
al número real y, parte imaginaria de z, luego podemos escribir
P5. Existencia del inverso aditivo. Todo z = (x, y) tiene un inverso aditivo −z =
(−x, −y). Es decir (x, y) + (−x, −y) = (0, 0) x = Re(z), = Im(z)
P6. Existencia del inverso multiplicativo. Todo z = (x, y) ̸= (0, 0) tiene un inverso
ISOMORFISMO y BIYECTIVIDAD
multiplicativo z −1 . Es decir zz −1 = (1, 0) = 1
φ es un isomorfismo ⇐⇒ φ es biyectiva
P7. Distributividad: z1 (z2 + z3 ) = z1 z2 + z1 z3
φ es biyectiva si es inyectiva y sobreyectiva

Un conjunto munido de una suma y de un producto para los cuales satisfacen P1 a P7 es φ es inyectiva si para x1 ̸= x2 =⇒ φ(x1 ) ̸= φ(x2 ) o bien
llamado un cuerpo. Concluimos que los números complejos forman un cuerpo y se representa φ es inyectiva si para φ(x1 ) = φ(x2 ) =⇒ x1 = x2
por C.
φ : R2 → Ces sobreyectiva ⇐⇒ φ(R2 ) = C
El número complejo (x, 0) es identificado con el número real x. Esto es
f : A → B es sobreyectiva ⇐⇒ ∀y ∈ B, ∃x ∈ A ,→ y = f (x).
(x, 0) = x

1 Oscar Bobarı́n F.
 3 4 Capı́tulo 1 Números Complejos

ISOMORFISMO Un hecho importante es de que podemos identificar al conjunto de los z−z

z − z = 2iy =⇒ y =
números complejos como el plano 2i
Ası́
R×R = R2 = {(x, y)/x, y ∈ R} z+z
Re(z) =
2
por medio del isomorfismo R-lineal φ : R2 → C definido por φ(x, y) = x + iy. z−z
Im(z) =
2i
Verifiquemos que φ es un isomorfismo.
De la definición de suma y producto de números complejos, es fácil ver que u y v son
vectores de R2 y λ ∈ R, entonces
1.0.4. Módulo o norma

φ(u + λv) = φ(u) + λφ(v)

luego φ es R - lineal.
Es claro también que φ(R2 ) = C. Esto es φ es sobreyectiva.
Por otro lado, si
u(x, y) ∧ u′ = (x′ , y ′ ) El módulo o norma de un número complejo z = x + iy es la distancia euclidiana | z |
′
entre z y el origen (0, 0) de C. Ası́ mismo
son tales que φ(u) = φ(u ), entonces √ √
| z |= x2 + y 2 = [Re(z)]2 + [Im(z)]2
x + iy = x′ + iy ′ =⇒ x − x′ = i(y ′ − y)
O bien √ √
(x − x′ )2 = i2 (y ′ − y)2 =⇒ (x − x′ )2 = −(y ′ − y)2 | z |= (x + iy)(x − iy) = zz
Como el cuadrado de un número real no puede ser negativo, concluimos que esto es
x=x ′
∧ y=y ′ | z | 2 = zz

luego φ es inyectiva y por tanto un isomorfismo.

1.0.4.1. Propiedades del módulo y de la conjugada

1.0.2. Representación cartesiana Para todo z1 , z2 ∈ C , se obtienen las siguientes propiedades:

x = Re(z) y y = Im(z) son las coordenadas del punto z en el plano R, al cual llamaremos P1. z es real si y sólo si z = z para todo z ∈ C
plano complejo C siempre que consideremos sus puntos como números complejos. Prueba. Si z es real, entonces z = x + 0i = x , z = x − 0i = x =⇒ z = z
Por otra parte, si z = z entonces x + iy = x − iy =⇒ 2iy = 0.
Como 2i ̸= 0 =⇒ y = 0 . Por tanto z es real. N
1.0.3. Conjugada de un número complejo z
P2. z1 + z2 = z1 + z2
Dado el número complejo z = x + iy, el conjugado de z es el número complejo z = x − iy. Prueba.

z1 + z2 = (x1 + iy1 ) + (x2 + iy2 )

Geométricamente z significa la reflexión de z con respecto al eje real.
= (x1 + x2 ) + i(y1 + y2 )
Vemos también que si z = x + iy, z = x − iy ; sumando y restando se obtienen la parte = (x1 + x2 ) − i(y1 + y2 )
real y la parte imaginaria respectivamente, esto es
= (x1 − iy1 ) + (x2 − iy2 )
z+z
z + z = 2x =⇒ x = = z1 + z2 N
2

Oscar Bobarı́n F. Oscar Bobarı́n F.

 5 6 Capı́tulo 1 Números Complejos

P3. z1 z2 = z1 z2 Prueba. Sabemos que Re(z) ≤ |z|, |z| = |z|, entonces de P7

Prueba.
z1 z2 = (x1 + iy1 )(x2 + iy2 ) = (x1 x2 − y1 y2 ) + i(x1 y2 + y1 x2 ) |z1 + z2 | = |z1 |2 + |z2 |2 + 2Re(z1 z2 )
2

≤ |z1 |2 + |z2 |2 + 2|z1 z2 |

= |z1 |2 + |z2 |2 + 2|z1 ||z2 |
z1 z2 = (x1 x2 − y1 y2 ) − i(x1 y2 + y1 x2 ) = |z1 |2 + |z2 |2 + 2|z1 ||z2 |
= (x1 x2 − iy1 x2 ) − y1 y2 − ix1 y2 = |z1 |2 + 2|z1 ||z2 | + |z2 |2
= x2 (x1 − iy1 ) − iy2 (x1 − iy1 ) = (|z1 | + |z2 |)2
= (x1 − iy1 )(x2 − iy2 )
De este modo queda
= z1 z2 N
|z1 + z2 | ≤ |z1 | + |z2 | N

P4. z = z
1.1 Representación Polar
Prueba. Como z = x + iy y z = x − iy, entonces
Consideremos ahora un número complejo no nulo z = x + iy.
Si |z| es el segmento de recta que liga (0, 0) a z y θ es el ángulo entre |z| y el eje x, (0 ≤ θ < 2π)
z = x − iy = x + iy = z N

P5. | z1 z2 |=| z1 || z2 |
Prueba.
| z1 z2 |2 = (z1 z2 )(z1 z2 ) = (z1 z2 )(z1 z2 ) = (z1 z1 )(z2 z2 ) =| z1 |2 | z2 |2 =⇒
| z1 z2 |=| z1 || z2 | N De la Figura, podemos ver que:
√
z |z| = x2 + y 2
P6. z −1 =
| z |2 x x
Prueba cos θ = √ = ⇒ x = |z| cos θ
1 1z z x2 + y 2 |z|
z −1 = = = ∀z ∈ C − {0} N
z zz | z |2 y y
sin θ = √ = ⇒ y = |z| sin θ
x2 + y 2 |z|
P7. |z1 + z2 |2 = |z1 |2 + |z2 |2 + 2Re(z1 z2 )
Por tanto z = x + iy se puede representar en su forma polar como sigue
Prueba.
z = |z|(cos θ + i sin θ)
|z1 + z2 |2 = (z1 + z2 )(z1 + z2 )
El número θ es llamado el argumento de z, y lo denotaremos por
= (z1 + z2 )(z1 + z2 )
= z1 z1 + z2 z2 + z1 z2 + z2 z1 θ = arg z
= |z1 |2 + |z2 |2 + z1 z2 + z1 z2
y podemos determinar de manera única exigiendo por ejemplo, que
= |z1 |2 + |z2 |2 + z1 z2 + z1 z2
= |z1 |2 + |z2 |2 + 2Re(z1 z2 ) N 0 ≤ θ < 2π

o bien
P8. Desigualdad triangular |z1 + z2 | ≤ |z1 | + |z2 | −π < θ ≤ π

Oscar Bobarı́n F. Oscar Bobarı́n F.

 1.1. Representación Polar 7 8 Capı́tulo 1 Números Complejos

El arg z consiste de todos los números reales θ y son de la forma 1.1.1. Representación Polar del Producto de dos números com-
θ = θ0 + 2kπ, k∈Z plejos.
Si k = 0, entonces arg z = Argz y se llamará Argumento principal Sean z y w dos números complejos no nulos
Ejemplos:
Arg(i) = π/2, Arg(−i) = −π/2, Arg(−3) = π, Arg(1 + i) = π/4, z = |z|(cos α + i sin α), w = |w|(cos β + i sin β)
Arg(1 − i) = −π/4
El Argz se puede calcular mediante
 zw = |z||w|(cos α + i sin α)(cos β + i sin β)

 arctan y/x si x ≥ 0 = |z||w| {(cos α cos β − sin α sin β) + i(cos α sin β + cos β sin α)}



 π + arctan y/x si x < 0, y ≥ 0
 = |zw|[cos(α + β) + i sin(α + β)]
Argz = −π + arctan y/x si x < 0, y < 0 (1)



 π/2 si x = 0, y > 0 Esto es


 π/2 si x = 0, y < 0
arg(zw) = arg z + arg w
Ejemplo 1. Si z = |z|(cos θ + i sin θ), entonces
o bien, utilizando 

 arcsin y/|z| si x ≥ 0 1 z
z −1 = = 2 = |z|−1 (cos θ − i sin θ)
Argz = π − arcsin y/|z| si x < 0, y ≥ 0 (2) z |z|

 −π − arcsin y/|z| si x < 0, y < 0
Ejemplo 2.
Ejemplo. Hallar el módulo y el argumento del número complejo z 2 = |z|2 (cos 2θ + i sin 2θ)
π π
z = − sin − i cos En forma general se tiene que:
8 8
Solución. Se debe tomar en cuenta que: cot θ = tan( π2 − θ) z n = |z|n (cos nθ + i sin nθ) n ∈ N (3)
Vemos que
π π La ecuación (3) se llama Fórmula de Moivre.
x = − sin < 0 y = − cos < 0
8 8
por tanto el número complejo, se encuentra en el tercer cuadrante, esto es, utilizaremos (1) √ 60
Ejemplo 3. Calcular (−1 + √ i 3)
Argz = −π + arctan y/x Solución. El punto z = −1+i 3 se encuentra en el segundo cuadrante, por tanto utilizando
(1) resulta
− cos π/8
= −π + arctan √
− sin π/8 y 3 √ π 2π
= −π + arctan(cot π/8) Argz = π + arctan = π + arctan = π − arctan 3 = π − =
x −1 3 3
π π √ √
= −π + arctan(tan( − ))
2 8 El módulo de z: |z| = 1 + 3 = 4 = 2
3π Aplicando la fórmula de Moivre con n = 60 y θ = 2π/3 resulta:
= −π + arctan(tan )
8
= −π +
3π z n = |z|n (cos nθ + i sin nθ)
8 √ 60 2π 2π
5π (−1 + i 3) = 260 (cos 60 + i sin 60 ) = 260 (cos 40π + i sin 40π) = 260 N
=− 3 3
8
Ahora determinaremos todas las raı́ces complejas de la ecuación
Ası́ el Argumento principal es: Argz = − 5π y arg z = − 5π + 2kπ, k∈Z
√ 8 8
El módulo es: |z| = (− sin 8 ) + (− cos 8 ) = 1
π 2 π 2
z n = a a ∈ C, n≥2 (4)

Oscar Bobarı́n F. Oscar Bobarı́n F.

 1.1. Representación Polar 9 10 Capı́tulo 1 Números Complejos

Solución. Ejemplo 1. Hallar las raı́ces de la ecuación z 6 = 1

Caso 1. Si a = 0, la ecuación z n = 0 tiene una única solución, esto es, z = 0. Solución. Aplicando la ecuación (R), para n = 6, se tiene:

2kπ 2kπ
Caso 2. Si a ̸= 0, podemos escribir Zk = cos + i sin
6 6
a = |a|(cos α + i sin α) kπ kπ
Zk = cos + i sin
3 3
Como las funciones coseno y seno son periódicas de perı́odo 2kπ con k ∈ Z, entonces para k = 0, 1, 2, 3, 4, 5 tenemos las siguientes raı́ces
cos α = cos(α + 2kπ), sin α = sin(α + 2kπ)
z0 = cos 0 + i sin 0 = 1
Por otro lado si √
1 3
z = |z|(cos θ + i sin θ) z1 = cos π/3 + i sin π/3 = +i
2 2
entonces z n = a, resulta aplicando Moivre √
1 3
z2 = cos 2π/3 + i sin 2π/3 = − + i
z n = |z|n (cos nθ + i sin nθ) = |a|[cos(α + 2kπ) + i sin(α + 2kπ)] 2 2
z3 = cos π0 + i sin π = −1
esto es
1
√
|z|n = |a| ⇒ |z| = |a| n 1 3
z4 = cos 4π/3 + i sin 4π/3 = − − i
α + 2kπ 2 2
nθ = α + 2kπ ⇒ θ = √
n 1 3
z5 = cos 5π/3 + i sin 5π/3 = − i
Ası́, la ecuación z = |z|(cos θ + i sin θ) queda 2 2
[ ] Geométricamente resulta un polı́gono regular de seis lados:
α + 2kπ α + 2kπ
z = |a|1/n cos + i sin
n n

Entonces las raı́ces de la ecuación z n = a son de la forma

[ ]
α + 2kπ α + 2kπ
zk = |a|1/n cos + i sin
n n
Ejemplo 2. Hallar las raı́ces de la ecuación z 2 − 3z + 3 + i = 0
donde k ∈ N. El conjunto Z = {zk /k ∈ N} contiene exactamente n puntos distintos, esto es Solución. Las raı́ces de esta ecuación son:
porque √
3 ± −3 − 4i
Z = {zk / 0 ≤ k ≤ n − 1} z=
2
Un caso particular e interesante es cuando a = 1. El conjunto de las raı́ces de la ecuación
es decir, hallaremos el módulo y el argumento del número complejo z ∗ = −3 − 4i
n
z =1
|z ∗ | = | − 3 − 4i| = 5
es {( ) }
zk = cos
2kπ
+ i sin
2kπ
/k = 0, 1, 2, ..., n − 1 (R) z ∗ = −3 − 4i = 5(cos θ + i sin θ)
n n
θ = arg(−3 − 4i) está en el tercer cuadrante, esto es, −π < θ < −π/2
Al representar gráficamente los puntos del conjunto zk , obtenemos un polı́gono regular de n
lados inscritos en el cı́rculo unitario de radio r = 1. x −3 x −4
cos θ = = , sin θ = =
|z ∗ | 5 |z ∗ | 5

Oscar Bobarı́n F. Oscar Bobarı́n F.

 1.2. Distancia y desigualdades importantes 11 12 Capı́tulo 1 Números Complejos

Por otro lado, aplicando el teorema de Moivre tenemos: Algunas desigualdades útiles importantes son:
[ ]
√ θ θ
(−3 − 4i)1/2 = 5 cos + i sin (B) 1. |z + w| ≤ |z| + |w| ∀z, w ∈ C (desigualdad triangular)
2 2
2. Desigualdad triangular
y como √ √
cos
θ 1 + cos θ
= =
1 + (−3/5)
=√
1 ∑
n ∑
n

2 2 2 5 zj ≤ |zj |, ∀z1 , ....zn ∈ C

√ √ j=1 j=1
θ 1 − cos θ 1 + 3/5 2
sin = − =− = −√
2 2 2 5 3.
luego (B) queda de la forma ||z| − |w|| ≤ |z − w|, ∀z, w ∈ C
[ ]
√ 1 −2 4. v v
(−3 − 4i)1/2 = 5 √ + i √ = 1 − 2i ∑ u∑ u∑
n
u n u n
5 5 zj w j ≤t |zj |2 t |wj |2 , ∀z1 , ....zn , w1 , ..., wn ∈ C
j=1 j=1 j=1
Por tanto, las raı́ces de la ecuación dada son:

3 + (1 − 2i) 3 − (1 − 2i) Algunas notaciones que serán utilizadas más adelante

z1 = = 2 − i, z2 = =1+i
2 2
El disco de centro z0 ∈ C y radio r > 0, es definido por, el conjunto
1.2 Distancia y desigualdades importantes Dr (z0 ) = {z ∈ C; |z − z0 | < r}

Sean z1 = x1 + iy1 y z2 = x2 + iy2 dos números complejos.

La distancia euclidiana entre dos puntos z1 y z2 es
√ El disco cerrado de centro z0 ∈ C y radio r ≥ 0, es definido por, el conjunto
d(z1 , z2 ) = (x2 − x1 )2 + (y2 − y1 )2 = |z2 − z1 |
Dr (z0 ) = {z ∈ C; |z − z0 | ≤ r}
o bien √
d(z1 , z2 ) = (z2 − z1 )(z 2 − z 1 ) Si r = 0, entonces Dr (z0 ) = {z0 }
De esta manera , el plano complejo cumple de manera natural todas las propiedades métricas
y topológicas de R. En particular, la distancia d goza de las propiedades usuales.

D1. Simetrı́a El cı́rculo de centro z0 y radio r > 0, es definido por, el conjunto

d(z1 , z2 ) = d(z2 , z1 ), ∀z1 , z2 ∈ C
∂Dr (z0 ) = Cr (z0 ) = {z ∈ C; |z − z0 | = r}
D2. Desigualdad triangular
A partir de la representación polar, podemos decir que
d(z1 , z2 ) ≤ d(z1 , z3 ) + d(z3 , z2 ), ∀z1 , z2 , z3 ∈ C
Cr (z0 ) = {z ∈ C; z = r(cos θ + i sin θ), θ ∈ [0, 2π]}
D3. Positividad
más generalmente,
d(z1 , z2 ) ≥ 0, ∀z1 , z2 ∈ C
Si d(z1 , z2 ) = 0, entonces z1 = z2 Cr (z0 ) = {z0 + r(cos θ + i sin θ), θ ∈ [0, 2π]}

Oscar Bobarı́n F. Oscar Bobarı́n F.

 1.3. Nociones fundamentales de topologı́a de C 13 14 Capı́tulo 1 Números Complejos

1.3 Nociones fundamentales de topologı́a de C Ejemplo 1. El conjunto Q + iQ = {x + iy; x, y son números racionales}. Como Q es
numerable y denso en C.
1. Interior de un conjunto. Dado A ⊂ C, el interior de A, es el conjunto En efecto, a través de la identidad x + iy ≡ (x, y), tenemos

int(A) = {z ∈ C; existe r > 0 tal que Dr (z) ⊂ A} Q + iQ ≡ Q × Q

Nota: int(A) es el mayor subconjunto abierto de A Como Q es numerable y el producto cartesiano de dos conjuntos numerables es
numerable, se sigue que Q + iQ es numerable.
2. Cerrado o adherencia de un conjunto. Dado A ⊂ C, el cerrado o adherencia de A, es Por otro lado, dados z0 = x0 + iy0 ∈ C y r > 0, el disco Dr (z0 ) contiene el
el conjunto cuadrado
√ √
A = {z ∈ C; para todo r > 0 se tiene Dr (z) ∩ A ̸= ϕ} 2 2
R = {x + iy; |x − x0 | < r y |y − y0 | < r ≡ I × J}
2 2
Nota: A es el menor subconjunto cerrado de C que contiene A. donde
3. Frontera o borde de un conjunto. Dado A ⊂ C, la frontera o borde de A, es el conjunto √ √ √ √
2 2 2 2
I = (x0 − r , x0 + r ), y J = (y0 − r , y0 + r )
2 2 2 2
∂A = {z ∈ C; para todo r > 0 se tiene Dr (z)∩A ̸= ϕ y Dr (z)∩(C−A) ̸= ϕ}
Como Q es denso en R, existen racionales x ∈ I e y ∈ J, o sea, existe x + iy ∈
Nota. Para todo A ⊂ C se tiene ∂A = A − int(A). En particular ∂A es un subconjunto Q + iQ tal que x + iy ∈ R ⊂ Dr (z0 ). Concluimos de este argumento que z0 está en
cerrado de C. el cerrado de Q + iQ, como querı́amos.

4. Punto de acumulación y punto aislado. Decimos que un punto z0 ∈ C es punto de Ejemplo 2. Sea X ⊂ C un conjunto denso en C. Si U es un abierto no vacı́o de C,
acumulación de un conjunto A ⊂ C, si para todo r > 0 tenemos (Dr (z) − z0 ) ∩ A ̸= ϕ. entonces X ∩ U es denso en U . En particular (Q + iQ) ∩ U es numerable y denso
Un punto z0 ∈ A que no es punto de acumulación de A es llamado punto aislado de en U .
A. (se deja como ejercicio)

5. Conjunto discreto. Es un conjunto A ⊂ C, tal que todos los puntos son aislados en A. 8. Diámetro y distancia entre conjuntos. Dado un conjunto limitado A ⊂ C, el diámetro
Ejemplos de conjuntos aislados son: de A, es definido por
diam(A) = sup{|z − w|; z, w ∈ A}
Los subconjuntos finitos de C
Ası́ por ejemplo:
El conjunto Z + iZ = {m + in; m, n ∈ Z}
diam(Dr (z0 )) = 2r
Sea (zn )n≥0 una sucesión con la siguiente propiedad : si z ∈ C es un punto de
acumulación de (zn )n≥0 , entonces z ̸= zn para todo n ≥ 0. En este caso el conjunto El diámetro del rectángulo
A = {zn ; n ≥ 0} es discreto.
Q = [a, b] × [c, d] = x = iy; a ≤ x ≤ b, c ≤ y ≤ d
6. Abiertos y cerrados relativos. Sea X ⊂ C.Decimos que A ⊂ X es un abierto relativo de
X (respect. cerrado relativo de X), si A = U ∩ X, donde U es un abierto de C (respect. es √
cerrado relativo de C). diam(Q) = (b − a)2 + (d − c)2
Ası́ mismo por ejemplo, si consideramos R ⊂ C, los intervalos abiertos son abiertos
relativos de R, en cuanto que los intervalos cerrados son cerrados relativos. Algunas propiedades:

7. Subconjuntos densos. Sea X ⊂ C. Decimos que A ⊂ X es denso en X si X ⊂ A. Veamos D1 Si A ⊂ B, entonces diam(A) ≤ diam(B)
dos ejemplos: D2 diam(A) = diam(A), para todo A ⊂ C

Oscar Bobarı́n F. Oscar Bobarı́n F.

 1.3. Nociones fundamentales de topologı́a de C 15

D3 Si K ⊂ C es compacto, entonces existen z0 , w0 ∈ K tales que

diam(K) = |w0 − z0 |

Distancia entre conjuntos. Dados dos conjuntos no vacı́os A, B ∈ C definimos la dis-

tancia entre ellos por

d(A, B) = ı́nf{|z − w|; z ∈ A y w ∈ B}

Oscar Bobarı́n F.