Introducci on a los n umeros complejos

1.1. C omo y por qu e aparecen los n umeros complejos?

Los n umeros complejos no han entrado en la matem atica del mismo modo en
que lo han hecho los n umeros naturales, los racionales o incluso los reales, es de-
cir, como construcciones abstractas buscadas ex profeso par resolver un problema:
los n umeros complejos se han colado por la puerta de atr as. Los matem aticos se
toparon de frente con ellos sin saber muy bien qu e hacer, y fueron considerados
una anomala, algo embarazoso que ensuciaba el

Algebra, hasta que primero
Argand y despu es, sobre todo, Gauss, les dieron el estatus que les corresponda al
dar una interpretaci on geom etrica de los n umeros complejos. A partir de ah re-
velan todo su potencial pr actico y entran por la puerta grande en la fsica y en la
ingeniera, de modo que actualmente, la teora m as moderna sobre la Naturaleza,
la mec anica cu antica, no se puede formular sin emplear n umeros complejos; el di-
se no de circuitos de corriente alterna se basa en los complejos; la teora de control
de sitemas tiene su expresi on m as simple en n umeros complejos. . . y los n umeros
complejos pueblan la matem atica con la naturalidad con que antes lo hacan los
n umeros reales.
Si uno busca en la Wikipedia, la primera menci on de la raz cuadrada de un
4 1 Introducci on a los n umeros complejos
n umero negativo se atribuye a Her on de Alejandra, en el siglo I de nuestra era.
No est a muy claro en qu e consiste tal menci on, pero s parece claro que la primera
manipulaci on de n umeros complejos se debe a Girolamo Cardano (15011576), a
quien debemos las f ormulas para la soluci on de las ecuaciones de grado 3 y 4.
Cardano era, adem as de matem atico, un afamado m edico de Mil an. Las f ormu-
las de la soluci on de la ecuaci on c ubica no son suyas, sino que se deben a Tartaglia,
otro matem atico contempor aneo suyo, a quien persuadi o de que se las revelara, en
1539, bajo el juramento de no divulgarlas hasta que este las publicara. Cardano
no cumpli o su promesa y en 1545 las f ormulas aparecieron en su Ars magna, obra
considerada hoy como el germen del algebra.
Para ilustrar las f ormulas, Cardano resuelve una serie de ejemplos. En el captu-
lo 37 se plantea el siguiente problema: dividir un segmento de longitud 10 en dos
trozos tales que el rect angulo cuyos lados tienen la longitud de esos trozos tenga
area 40. Si los dos trozos miden x y 10 x, la ecuaci on que plantea el problema
es
x(10 x) = 40.
El propio Cardano admite que el problema no tiene soluci on, ya que el rect angulo
de mayor area que se puede construir, un cuadrado, correspondera a la divisi on
del segmento en dos iguales de longitud 5, y tendra, por tanto, area 25. Apli-
cando las f ormulas de las races de las ecuaciones cuadr aticas, Cardano obtiene
5 +

15 y 5

15 como longitudes de los segmentos. Desde luego, ar-

ma que tales soluciones son imposibles, porque involucran la raz cuadrada de
n umeros negativos; sin embargo, si uno las multiplica,
(5 +

15)(5

15) = 5
2
(

15)
2
= 25 (15) = 40,
que es, efectivamente, el area buscada. As que concluye que, de alguna manera
sutil ambas expresiones son soluci on de la ecuaci on, pero se apresura a denomi-
nar quantitas sophistica, es decir, algo as como n umero formal, a la expresi on

15.
El algebra de Cardano fue ampliada y desarrollada posteriormente por Bom-
belli (15261572), cuyos trabajos se recogen en su obra Lalgebra, publicada en
Bolonia en 1572. En dicha obra Bombelli vuelve a manipular n umeros complejos,
y lo hace correctamente. El ejemplo m as destacable es la manipulaci on que hace
de las f ormulas de Cardano para resolver la ecuaci on c ubica
x
3
= 15x + 4,
1.1 C omo y por qu e aparecen los n umeros complejos? 5
una de cuyas soluciones es, claramente, x = 4. Las f ormulas de Cardano aplicadas
a la ecuaci on c ubica
x
3
= px + q,
dan como una soluci on la expresi on
x =
3
_
q/2 +

d +
3
_
q/2

d, d = (q/2)
2
(p/3)
3
.
Aplicadas al ejemplo anterior producen como resultado
x =
3
_
2 +

121 +
3
_
2

121.
El propio Cardano haba concluido de este resultado que sus f ormulas no eran
aplicables a este caso; sin embargo, Bombelli razona de la siguiente manera:
(2

1)
3
= 2
3
3 2
2

1 + 3 2(

1)
2
(

1)
3
= 8 12

1 6 (

1) = 2 11

1 = 2

121,
de donde concluye que
3
_
2

121 = 2

1.
Entonces
x =
3
_
2 +

121 +
3
_
2

121 = 2 +

1 + 2

1 = 4,
que es, en efecto, la una soluci on de la ecuaci on. Con esta manipulaci on Bom-
belli salva el algebra de Cardano y aporta la primera manipulaci on algebraica de
n umeros complejos para resolver un problema de la historia.
En 1637, Descartes, en el ap endice La geometrie de su obra Discourse de la
m ethode, arma
Ni las races verdaderas ni las falsas son siempre reales; a veces son
imaginarias; es decir, mientras que uno puede imaginar tantas races de
cada ecuaci on como grado haya asignado, no siempre hay una cantidad
denida que corresponda a cada raz imaginada.
Y con esta frase bautiza como imaginarias las expresiones que contienen races
cuadradas de n umeros negativos.
Pero a pesar de que los algebristas parecen dispuestos a admitir la existencia
de estos engendros para salvar el

Algebra, los n umeros imaginarios tienen
6 1 Introducci on a los n umeros complejos
muchos detractores. Y no les falta raz on, dado que la manipulaci on de las races
de n umeros negativos no es consistente; v ease, si no, este sencillo ejemplo:
1 = (

1)
2
=
_
(1)
2
=

1 = 1.
Newton, por ejemplo, arma que la existencia de estas races no es m as que la
expresi on de la insolubilidad de un problema. Al mismo tiempo, Leibnitz hace
una nueva aportaci on al algebra de los complejos descubriendo la identidad
_
1 +

3 +
_
1

3 =

6,
muy f acil de demostrar sin m as que elevar los dos miembros al cuadrado. Adem as,
arma que expresiones como log(1) son n umeros imaginarios.
El primer gran paso hacia la instalaci on denitiva de los n umeros complejos en
la matem atica se debe a Euler (17071783).

Este hizo una cosa muy sencilla, y al
mismo tiempo de un enorme alcance: deni o un nuevo n umero, al que llam o
i =

1,
y le dio el mismo estatus de existencia que a los n umeros reales. De el arm o que
no era ni mayor, ni menor, ni igual a ning un n umero real, y deni o las reglas
de suma y multiplicaci on de este n umero que hoy conocemos. En particular la
conocida i
2
= 1. Con esta aportaci on aparecen de lleno los n umeros complejos
como el conjunto de todas las expresiones algebraicas construibles con los reales
y este nuevo n umero, y desaparece el problema de la ambig uedad de las races
de n umeros negativos. Con estas herramientas Euler empieza a manipular expre-
siones complejas con una maestra sin precedentes, y nos aporta muchas de las
mayores contribuciones al an alisis. Entre sus mayores aportaciones est a la deno-
minada f ormula de Euler,
e
i
= cos + i sen ,
que dene la exponencial de un n umero complejo y la relaciona con las funciones
trigonom etricas. La manera en que la demuestra es la siguiente. La serie de Taylor
de la exponencial es
e
z
=

n=0
z
n
n!
.
Si sustituimos z = i y separamos los t erminos pares de los impares en la serie,
e
i
=

n=0
i
2n

2n
(2n)!
+

n=0
i
2n+1

2n+1
(2n + 1)!
.
1.2 Los n umeros complejos 7
Como i
2
= 1, i
2n
= (1)
n
y i
2n+1
= i(1)
n
, as que
e
i
=

n=0
(1)
n

2n
(2n)!
+ i

n=0
(1)
n

2n+1
(2n + 1)!
.
Basta identicar las series del coseno y del seno,
cos =

n=0
(1)
n

2n
(2n)!
, sen =

n=0
(1)
n

2n+1
(2n + 1)!
y ya tenemos la f ormula de Euler, de la que, como caso particular, Euler obtiene
su famosa ecuaci on
e
i
+ 1 = 0,
que relaciona cinco de los n umeros m as importantes de la matem atica: 0, 1, e, i y
.
El ultimo paso en este proceso lo dieron Argand (17681822) y Gauss (1777
1855), quienes introdujeron el plano complejo, es decir, una representaci on de los
n umeros complejos x + iy en la que x es la coordenada sobre un eje cartesiano e
y la coordenada sobre el eje perpendicular. Todas las operaciones con complejos
tienen su contrapartida geom etrica en el plano. De este modo, por n, los ma-
tem aticos pudieron ver los n umeros complejos, pese a que Descartes armaba
que eran imposibles de visualizar. Asimismo, denir, por ejemplo, funciones de
una variable compleja no es m as que otra manera de tratar con funciones de dos
variables, si bien, como veremos, las funciones de variable compleja revelan unas
estructuras muy ricas que abren posibilidades insospechadas al an alisis matem ati-
co.
1.2. Los n umeros complejos
1.2.1. Deniciones b asicas
El conjunto de los n umeros complejos se dene como
C = {x + iy : x, y R},
donde i es la unidad imaginaria y verica i
2
= 1. Si z = x + iy, diremos
que x es la parte real de z, que denotaremos x = Re z, y que y es la parte
imaginaria de z, que denotaremos y = Imz. Evidentemente, Re z, Imz R.
Los n umeros reales son complejos con parte imaginaria 0, de modo que R C.
8 1 Introducci on a los n umeros complejos
Los complejos con parte real 0 se denominan imaginarios puros. El unico n umero
real imaginario puro es el 0.
Dado un complejo, z = x + iy, se dene su conjugado como z = x iy, y su
m odulo como |z| =
_
x
2
+ y
2
.
Dos complejos son iguales si y s olo si lo son sus partes reales e imaginarias; es
decir, si z
1
= x
1
+ iy
1
y z
2
= x
2
+ iy
2
,
z
1
= z
2

_
x
1
= x
2
,
y
1
= y
2
.
La suma de dos complejos se dene como
z
1
+ z
2
= (x
1
+ iy
1
) + (x
2
+ iy
2
) = (x
1
+ x
2
) + i(y
1
+ y
2
),
y el producto como
z
1
z
2
= (x
1
+ iy
1
)(x
2
+ iy
2
) = x
1
x
2
+ ix
1
y
2
+ ix
2
y
1
+ i
2
y
1
y
2
= (x
1
x
2
y
1
y
2
) + i(x
1
y
2
+ x
2
y
1
).
N otese que el producto de un n umero complejo por su conjugado es
zz = (x + iy)(x iy) = x
2
+ y
2
= |z|
2
.
Asimismo, las partes real e imaginaria se pueden expresar como
Re z =
z + z
2
, Imz =
z z
2i
.
Suma y producto tienen elementos neutros, 0 y 1 respectivamente, e inversos.
El inverso de z = x + iy respecto de la suma es z = x iy, y respecto del
producto,
z
1
=
1
z
=
z
zz
=
z
|z|
2
=
x iy
x
2
+ y
2
.
Como los n umeros reales tiene estructura de cuerpo, los complejos, con las
operaciones suma y producto que hemos denido y sus respectivos neutros e in-
versos, tienen tambi en estructura de cuerpo. Eso signica, en particular, que to-
das las manipulaciones algebraicas que se pueden hacer con los n umeros reales
son igualmente v alidas para los complejos. Sin embargo, los n umeros complejos
carecen de la estructura de orden que tienen los reales, de modo que, dados dos
complejos, no se puede decir que uno sea mayor o menor que el otro. Esto se
1.2 Los n umeros complejos 9
ver a claro cuando hagamos la identicaci on entre C y R
2
, conjunto este ultimo
que carece de la ordenaci on de R.
Algunas propiedades, bastante obvias, de la conjugaci on son:
z = z, z
1
+ z
2
= z
1
+ z
2
, z
1
z
2
= z
1
z
2
,
z
1
z
2
=
z
1
z
2
, (z
n
) = z
n
.
Otras, no menos evidentes, relacionadas con el m odulo, son:
| Re z| |z|, | Imz| |z|, |z| = |z|,
|z
1
z
2
| = |z
1
||z
2
|,

z
1
z
2

=
|z
1
|
|z
2
|
.
Para demostrar la pen ultima basta hacer
|z
1
z
2
|
2
= (z
1
z
2
)(z
1
z
2
) = z
1
z
2
z
1
z
2
= z
1
z
1
z
2
z
2
= |z
1
|
2
|z
2
|
2
.
Para la ultima s olo hay que tener en cuenta que 1/z = z/|z|
2
.
Menos obvia es la desigualdad triangular,
|z
1
+ z
2
| |z
1
| +|z
2
|,
que se prueba de la siguiente manera:
|z
1
+ z
2
|
2
= (z
1
+ z
2
)(z
1
+ z
2
) = (z
1
+ z
2
)(z
1
+ z
2
) = |z
1
|
2
+ z
1
z
2
+ z
1
z
2
+|z
2
|
2
= |z
1
|
2
+ z
1
z
2
+ z
1
z
2
+|z
2
|
2
= |z
1
|
2
+ 2 Re(z
1
z
2
) +|z
2
|
2
|z
1
|
2
+ 2|z
1
z
2
| +|z
2
|
2
= |z
1
|
2
+ 2|z
1
||z
2
| +|z
2
|
2
= (|z
1
| +|z
2
|)
2
.
De esta desigualdad se deduce f acilmente

|z
1
| |z
2
|

|z
1
z
2
|,
pues
|z
1
| = |(z
1
z
2
) + z
2
| |z
1
z
2
| +|z
2
|,
de donde |z
1
| |z
2
| |z
1
z
2
|. Por otro lado,
|z
2
| = |(z
2
z
1
) + z
1
| |z
1
z
2
| +|z
1
|,
de donde (|z
1
| |z
2
|) |z
1
z
2
|. Las dos desigualdades juntas demuestran el
resultado.
10 1 Introducci on a los n umeros complejos
1.2.2. Interpretaci on geom etrica: representaci on polar
El n umero complejo x + iy se puede identicar con el par ordenado (x, y),
lo que permite representar C en el plano R
2
. El eje de las abscisas se denomina
eje real, el de las ordenadas eje imaginario y el plano R
2
se denomina plano
complejo. Esta identicaci on permite representar z = x+iy no s olo en coordena-
das cartesianas, sino mediante sus coordenadas polares. Si la distancia del punto
(x, y) = (0, 0) al origen es r y el angulo que forma el vector con el eje real es ,
el n umero complejo z = x + iy tiene m odulo |z| = r y argumento arg z = .
M odulo y argumento se obtienen de z = x + iy mediante
r =
_
x
2
+ y
2
, tan =
y
x
,
y proporcionan la siguiente representaci on polar de z
z = r(cos + i sen ) = re
i
,
empleando la f ormula de Euler que fue introducida en 1.1 y sobre la que volve-
remos a tratar m as adelante.
Es evidente que si un complejo z = 0 queda determinado, en forma polar, por
un angulo , quedar a igualmente determinado por un angulo + 2k, con k Z.
As pues, arg z no es una expresi on bien denida. En realidad, hay dos maneras
de entender arg z: como funci on o como conjunto. Como funci on, es necesario
especicar un intervalo de angulos de manera que est e unvocamente denida.
Tpicamente se eligen [0, 2) o (, ] como intevalos, aunque cualquier otro de
longitud 2 es igualmente v alido. Elegir el intervalo implica adoptar una determi-
naci on de la funci on arg z. La determinaci on hace que la funci on no sea continua
en todo el plano complejo. Si S es la semirrecta que comienza en el origen que
marca la determinaci on elegida, arg z ser a continua en C S. La elecci on de
(, ] como intervalo de arg z se denomina determinaci on principal. Si no se
especica otra cosa, esta es la determinaci on que se adopta para las representacio-
nes polares.
Ejemplo 1.1. H allese la representaci on polar de 1 i.
M odulo y argumento se hallan mediante
r =
_
(1)
2
+ (1)
2
=

2,
tan =
1
1
= 1.
De la segunda ecuaci on, el signo de parte real e imaginaria, y dado que tenemos que usar la deter-
minaci on principal, se sigue que = 3/4, as que
1 i =

2e
3i/4
.
1.2 Los n umeros complejos 11
La otra forma de entender arg z es como conjunto, es decir,
arg z = { + 2k : k Z}.
Representa la clase de equivalencia de todos los angulos que dan lugar a la misma
representaci on polar de z. Este es el sentido en el que se expresan las siguientes
identidades que involucran la funci on arg z:
arg(z
1
z
2
) = arg z
1
+ arg z
2
, arg
_
1
z
_
= arg z = arg z,
arg
_
z
1
z
2
_
= arg z
1
arg z
2
,
Para poder justicar estas identidades tenemos que estudiar el signicado geom etri-
co del producto de dos n umeros complejos (la suma de n umeros complejos es
simplemente la suma de vectores de R
2
).
Antes de ello, vamos a comprobar que la exponencial compleja introducida en
la f ormula de Euler cumple las propiedades b asicas de la exponencial, a saber,
(1) e
i
1
e
i
2
= e
i(
1
+
2
)
,
(2) 1/e
i
= e
i
.
La propiedad (1) se prueba mediante las identidades trigonom etricas para la suma
de angulos:
e
i
1
e
i
2
= (cos
1
+ i sen
1
)(cos
2
+ i sen
2
)
= (cos
1
cos
2
sen
1
sen
2
) + i(sen
1
cos
2
+ cos
1
sen
2
)
= cos(
1
+
2
) + i sen(
1
+
2
) = e
i(
1
+
2
)
.
En cuanto a la propiedad (2), en primer lugar
e
i
= (cos + i sen ) = cos i sen = cos() + i sen() = e
i
;
en segundo lugar,

e
i

2
= e
i
e
i
= e
0
= 1,
usando la propiedad (1), luego
1
e
i
=
e
i
|e
i
|
2
= e
i
.
12 1 Introducci on a los n umeros complejos
Gracias a estas propiedades en adelante emplearemos la forma polar con la expo-
nencial, lo que simplicar a considerablemente los c alculos.
Retomando el problema del producto de complejos, si z
1
= r
1
e
i
1
y z
2
= r
2
e
i
2
,
z
1
z
2
= r
1
r
2
e
i(
1
+
2
)
El vector de R
2
que representa el producto z
1
z
2
tiene de m odulo r
1
r
2
(es otra
manera de obtener la propiedad |z
1
z
2
| = |z
1
||z
2
|) y de angulo
1
+
2
. As, por
ejemplo, multiplicar un complejo por otro de m odulo 1 es lo mismo que rotar el
vector que lo representa un angulo igual al angulo de este ultimo. Esto prueba la
identidad
arg(z
1
z
2
) = arg z
1
+ arg z
2
.
N otese que esta identidad, por ser una relaci on entre conjuntos, tiene en cuenta el
hecho de que
1
+
2
puede ser un angulo que no est a en la determinaci on jada
para la funci on arg. Veamos un ejemplo:
Ejemplo 1.2. Determina arg
_
(1 + i)i
_
.
Evidentemente, (1 + i)i = 1 i =

2e
3i/4
, pero
arg(1 + i) =
3
4
, arg i =

2
, = arg(1 + i) + arg i =
3
4
+

2
=
5
4
,
que se sale de la determinaci on. Ahora bien, como conjuntos,
arg(1 + i) =
3
4
+ 2k
1
, arg i =

2
+ 2k
2
,
siendo k
1
, k
2
Z, lo que implica
arg(1 + i) + arg i =
3
4
+

2
+ 2k =
5
4
+ 2k,
con k = k
1
+ k
2
Z. El argumento en la determinaci on principal corresponde a k = 1.
Del mismo modo que el producto, el inverso de z = re
i
ser a
1
z
=
1
re
i
=
1
r
e
i
,
y el conjugado
z = re
i
= re
i
.
La conjugaci on, pues, corresponde a una reexi on sobre el eje real. Con estas dos
relaciones se demuestran las identidades
arg
_
1
z
_
= arg z = arg z.
A partir de las dos identidades que hemos probado se obtiene la tercera,
arg
_
z
1
z
2
_
= arg
_
z
1
1
z
2
_
= arg z
1
+ arg
_
1
z
2
_
= arg z
1
arg z
2
.
1.2 Los n umeros complejos 13
1.2.3. Potencias y races
De nuevo la representaci on polar permite estudiar potencias y races de n ume-
ros complejos. La potencia se obtiene de una forma muy sencilla. Si z = re
i
y
n Z,
z
n
=
_
re
i
_
n
= r
n
e
in
,
de donde se siguen dos identidades m as entre m odulos y argumentos:
|z
n
| = |z|
n
, narg z arg(z
n
),
esta ultima, de nuevo, entendiendo arg como conjunto. La raz on de esta relaci on
es que arg(z
n
) = n + 2k, con k Z, mientras que narg z = n( + 2l), con
l Z, o lo que es lo mismo, narg z = n + 2k

pero con k

m ultiplo de n.
Cuando |z| = 1, obtenemos la identidad
_
e
i
_
n
= e
in
,
que se reescribe como una identidad trigonom etrica que recibe el nombre de
f ormula de De Moivre:
(cos + i sen )
n
= cos n + i sen n.
Ejemplo 1.3. Empleando la f ormula de De Moivre obt en las identidades de seno y coseno de
angulos m ultiplos.
Para n = 2 la f ormula de De Moivre da
cos 2 + i sen 2 = cos
2
sen
2
+ i2 sen cos ,
de donde
cos 2 = cos
2
sen
2
, sen 2 = 2 sen cos ,
las conocidas f ormulas del angulo doble.
Pero la f ormula es igualmente aplicable a n = 3,
cos 3 + i sen 3 = cos
3
3 cos sen
2
+ i(3 cos
2
sen sen
3
),
de donde
cos 3 = cos
3
3 cos sen
2
, sen 3 = 3 cos
2
sen sen
3
.
En general, empleando la regla del binomio, obtendremos las siguientes f ormulas:
cos n =

k : 02kn
_
n
2k
_
(1)
k
cos
n2k
sen
2k
,
sen n =

k : 02kn1
_
n
2k + 1
_
(1)
k
cos
n2k1
sen
2k+1
.
14 1 Introducci on a los n umeros complejos
c
c
2
(a) (b)
c

c
c
c
2

c
3
c
4
Figura 1.1: Si c es una r aiz n- esima de z, las guras representan los puntos correspondientes a las
n races para n = 3 (a) y n = 5 (b). Los puntos forman sendos polgonos de n lados.
Las races de n umeros complejos son m as sutiles. Sea z = re
i
y supongamos
que queremos hallar la raz n- esima de z. Teniendo en cuenta que z = re
i(+2k)
para todo k Z,
n

z =
_
re
i(+2k)
_
1/n
=
n

re
i(+2k)/n
, k Z.
Ahora bien, seg un vamos dando valores a k, empezando por k = 0, obtenemos
distintos argumentos para
n

z hasta que llegamos a k = n 1. A partir de ah,

si k = n, 2k/n = 2 y se obtiene el mismo argumento que para k = 0; si
k = n + 1, 2k/n = 2 + 2/n, y se obtiene el mismo argumento que para
k = 1; etc., y lo mismo ocurre si k < 0.
Resumiendo, el n umero complejo z = re
i
tiene n races n- esimas, a saber,
n

re
i/n
,
n

re
i/n+2i/n
,
n

re
i/n+4i/n
,
n

re
i/n+2(n1)i/n
,
todas las cuales son soluciones w C de la ecuaci on w
n
= z. Esta propiedad se
plasma en las dos identidades

=
n
_
|z|, arg
_
n

z
_
=
1
n
arg z,
la segunda, de nuevo, entendida como relaci on entre conjuntos.
Un hecho importante es que la ecuaci on w
n
= 1 tiene n races distintas. Cada
una de ellas recibe el nombre de raz n- esima de la unidad. Si denotamos
n

e
2i/n
, estas son,
1,
n
,
2
n
, ,
n1
n
.
1.2 Los n umeros complejos 15
Si n = 2, las dos races son 1 y e
i
= 1, como ya sabamos.
Retornando al caso general, si c representa cualquiera de las races n- esimas
de z, las n races se obtienen mediante las f ormulas
c, c
n
, c
2
n
, , c
n1
n
.
Geom etricamente, la acci on de
n
es la de rotar el vector correspondiente a c un
angulo 2/n. En consecuencia, y como las n races de z tienen el mismo m odulo
y est an, por tanto, sobre una circunferencia, los puntos correspondientes a las n
races formar an los v ertices de un polgono de lado n (v ease la gura 1.1).
1.2.4. Conjuntos de C y puntos notables
El conjunto b asico es el entorno de un punto, tambi en denominado disco.
Est a dado por
D(z
0
, ) = {z C : |z z
0
| < },
y representa un crculo en el plano complejo, de radio y centro z
0
(excluyendo la
circunferencia lmite.
Dado un conjunto C, diremos que es abierto si para todo z existe un
entorno D(z, ) . Diremos que es cerrado si su complementario
c
= C
es abierto. Un conjunto dado no tiene por qu e ser ni abierto ni cerrado. El conjunto
C es, a la vez, abierto y cerrado.
Un punto z es punto interior de si existe D(z, ) , y es punto exterior si
existe D(z, )
c
. Si un punto no es ni exterior ni interior es un punto frontera.
Un conjunto abierto no contiene ning un punto frontera y uno cerrado los contiene
todos. Se denomina cierre o clausura de a la uni on de y todos sus puntos
frontera (y se denota ).
Ejemplo 1.4. El conjunto D(z
0
, ) es abierto.
Para probarlo, tomemos un punto z D(z
0
, ). Por denici on, |z z
0
| < . Sea =
|z z
0
| > 0 y consideremos el disco D(z, ). Vamos a demostrar que D(z, ) D(z
0
, ), lo que
probar a que D(z
0
, ) es abierto. Para ello bastar a probar que todo punto de D(z, ) est a tambi en
en D(z
0
, ). Sea y D(z, ); por denici on
|y z| < = |z z
0
| |y z| +|z z
0
| < ,
pero por la desigualdad triangular, entonces,
|y z
0
| |y z| +|z z
0
| < ,
lo que prueba que y D(z
0
, ).
La circunferencia |z z
0
| = es la frontera de D(z
0
, ) y, por tanto, el cierre de este conjunto
ser a
D(z
0
, ) = {z C; |z z
0
| }.
16 1 Introducci on a los n umeros complejos
Un punto z C es punto de acumulaci on de si todo entorno D(z, ) tiene
intersecci on no vaca con {z}.
Un conjunto abierto es conexo si cada par de puntos z
1
, z
2
se puede
unir por una curva continua : [a, b] , es decir, (a) = z
1
y (b) = z
2
.
Llamaremos dominio a cualquier conjunto abierto conexo. Cuando el conjunto
pueda contener alg un punto frontera lo llamaremos regi on.
Un conjunto es simplemente conexo si no tiene agujeros. M as formalmen-
te, si es conexo y ninguna curva cerrada contenida en rodea puntos que no per-
tenecen a . En caso contrario se denomina m ultiplemente conexo. Por ejemplo,
el anillo = {z C : 1 < |z z
0
| < 2} es m ultiplemente conexo.
Finalmente, un conjunto es acotado si est a contenido en alg un disco.