Está en la página 1de 8

uia

Numeros complejos
Instituto de Matematicas*

tioq
Facultad de Ciencias Exactas y Naturales
Unviersidad de Anquioquia
Medelln, 24 de julio de 2011

An
1. Introduccion
Aunque las operaciones algebraicas establecidas entre
numeros reales, sus propiedades de orden, etc., permiten
resolver una gran variedad de problemas que se modelan
por medio de ecuaciones algebraicas, existen ecuaciones que
no poseen soluciones reales. La ecuacion x2 + 1 = 0 por
ejemplo no tiene soluciones en R, pues no existe un x R
tal que x2 = 1 (todo numero real elevado al cuadrado es
de
no-negativo).
Los numeros complejos fueron concebidos por el ma-
tematico italiano Gerolamo Cardano quien, en un intento
por obtener formulas cerradas para las races de ecuaciones Figura 1: Conjunto de Mandelbrot
cubicas, encontro soluciones que no eran reales. Estas so-
ad
luciones que el denomino ficticias posteriormente fueron formalizadas por el matematico italiano
Rafael Bombelli en lo que actualmente es conocido como el conjunto de los numeros complejos
(C). Todas estas ideas condujeron a uno de los resultados mas importantes del algebra, a saber,
el teorema fundamental del algebra que establece que con numeros complejos, siempre es posible
encontrar al menos una solucion de cualquier ecuacion polinomica.
rsid

Los numeros complejos son utilizados en una gran cantidad de campos de aplicacion como la
ingeniera, el electromagnetismo, la dinamica de fluidos, la teora del caos y otros campos de la
fsica y de las matematicas aplicadas. El conjunto de Mandelbrot por ejemplo (figura 1) es un
conjunto de puntos en el plano complejo cuya frontera constituye una figura llamada fractal. Esta
figura autorecursiva modela patrones de crecimiento observados en la naturaleza y es generada
por medio de un proceso iterativo regido por una ecuacion cuadratica con coeficientes complejos.

2. Conceptos basicos
ive

Los numeros complejos resultan ser de mucha utilidad, pues nos permiten hallar soluciones de
ecuaciones que no se pueden resolver utilizando numeros reales. Recordemos que

NZQR (1)
Un

Dependiendo del tipo de ecuacion, se hace necesario utilizar un conjunto numerico particular.
La ecuacion x2 = 16 tiene soluciones enteras, la ecuacion 25x2 = 16 tiene soluciones racionales
y la ecuacion x2 = 7 tiene soluciones irracionales. Todas estas ecuaciones tienen soluciones en R
mientras que la ecuacion x2 = 16 no tiene soluciones en R. Los numeros complejos C ocupan la
jerarqua mas alta en la cadena de contenencias ilustradas en (1).
* Esta obra es distribuida bajo una licencia Creative Commons Atribucion - No comercial 2.5 Colombia.

1
2 Instituto de Matematicas, Universidad de Antioquia

uia
2.1. Propiedades
Definicion 2.1 (Numeros complejos) El conjunto de los numeros complejos (denotado por C)
esta formado por todas las parejas (a, b) con a y b numeros reales. Se dice que dos numeros complejos
(a, b) y (c, d) son iguales si a = c y b = d

Como ejemplos de numeros complejos tenemos = (2, 3), = (1/3, 5/4), z = ( 2, ) y

tioq
w = (2, 3). En este caso = w.
Si en
= (a, b) (2)

b = 0, escribiremos (a, 0) = a y as, el conjunto de los numeros reales puede verse como un
subconjunto propio de los numeros complejos y

NZQRC

An
En particular, el numero complejo (0, 0) lo denotaremos por 0 y el numero complejo (1, 0) lo
denotaremos por 1.
Los numeros complejos se pueden sumar y multiplicar y el resultado es nuevamente un numero
complejo como se define a continuacion.

Definicion 2.2 (Suma y producto en C) En el conjunto de los numeros complejos C se defi-


nen las operaciones suma y producto de la manera siguiente:

1. (a, b) + (c, d) = (a + c, b + d)
de
2. (a, b) (c, d) = (ac bd, ad + bc)

Por ejemplo, si z = (3, 4) y w = (2, 5), entonces


ad
z + w = (3, 4) + (2, 5) = (5, 9)
zw = (3, 4) (2, 5) = (3 2 4 5, 3 5 + 4 2) = (14, 23)

Observermos que a + c = (a, 0) + (c, 0) = (a + c, 0) = a + c y ac = (a, 0)(c, 0) = (ac, 0) = ac y


por tanto las operaciones de suma y producto en C son consistentes con las operaciones aritmeticas
rsid

en R.

Proposicion 2.1 (Propiedades de campo) Para todo , , C se tiene que:

1. + = + (la suma es conmutativa).

2. = (el producto es conmutativo).

3. + ( + ) = ( + ) + (la suma es asociativa).


ive

4. () = () (el producto es asociativo).

5. ( + ) = + (el producto es distribuitivo respecto a la suma).

6. El numero complejo 0 = (0, 0) satisface + 0 = 0 + = (elemento neutro para la suma).


Un

7. Existe un unico numero complejo tal que + () = 0 (inverso aditivo).

8. El numero complejo 1 = (1, 0) satisface 1 = 1 = (elemento neutro para el producto).

9. Para todo 6= 0, existe un unico numero complejo 1 6= 0 tal que 1 = 1 (inverso


aditivo).
Instituto de Matematicas, Universidad de Antioquia 3

uia
Dado = (a, b), el elemento 0 enunciado en (6) satisface

0 = (a, b)(0, 0) = (a 0 b 0, a 0 + b 0) = (0, 0)

Dado = (a, b), el elemento enunciado en (7) viene dado por

tioq
= (a, b)

Otro numero complejo de particular interes es (0, 1). Dicho numero se denota por i y satisface

i2 = i i = (0, 1)(0, 1) = (0 1 1 1, 0 1 + 1 0) = (1, 0)

Por tanto
i2 = 1 (3)

An
Ningun numero real satisface una igualdad como la enunciada en (3). El numero complejo i =
1 se denomina unidad imaginaria y nos permite escribir cualquier numero complejo arbitrario
= (a, b) en la forma

= (a, b) = (a, 0) + (b, 0) = (a, 0) + (b, 0)(0, 1) = a + bi (4)

En (4), el numero real a se denomina la parte real del numero complejo , mientras que el
numero real b se denomina la parte imaginaria de . La parte real del numero complejo z = 34 2i

por ejemplo es 43 mientras que su parte imaginaria es 2.
de
La parte real de un numero complejo z la denotaremos por Re(z), la parte imaginaria por Im(z)
y por tanto
z = a + bi = Re(z) + Im(z)i (5)
Cuando los numeros complejos se expresan en la forma a + bi, las operaciones suma y producto
ad
de la definicion (2.2) quedan as:

Proposicion 2.2 Para todo par de numeros complejos z = a + bi y w = c + di,

1. z + w = (a + bi) + (c + di) = (a + c) + (b + d)i


rsid

2. zw = (a + bi)(c + di) = (ac bd) + (ad + bc)i

Observemos que el producto enunciado en (2) tambien se puede deducir a partir de las propie-
dades de campo en C y de que i2 = 1:

(a + bi)(c + di) = a(c + di) + bi(c + di)


= ac + adi + bic + bdi2
ive

= ac + adi + bic bd
= (ac bd) + (adi + bic)
= (ac bd) + (ad + bc)i

2.2. Conjugado de un numero complejo


Un

El conjugado de un numero complejo nos permite realizar divisiones entre numeros complejos
con facilidad.

Definicion 2.3 (Conjugado) Dado el numero complejo z = a+bi, el numero complejo z = abi
que se obtiene al cambiar el signo de la parte imaginaria de z se denomina el conjugado de z.
4 Instituto de Matematicas, Universidad de Antioquia

uia
Por ejemplo, el conjugado de z = 3 + 4i es z = 3 4i mientras que para w = 2 5i, w = 2 + 5i.
Primero observemos que dado z = a + bi,

z + z = (a + bi) + (a bi) = 2a = 2 Re(z) R

mientras que

tioq
zz = (a + bi)(a bi) = (a a b (b)) + (a (b) + b a)i = a2 + b2 R

En ambos casos, el resultado es un numero real puro (numero complejo con parte imaginaria nula).

Proposicion 2.3 (Propiedades del conjugado) Para todo numero complejo z = a + bi,

1. z + z = (a + bi) + (a bi) = 2a = 2 Re z R

2. zz = a2 + b2 R

An
La propiedad (2) nos permite encontrar el inverso multiplicativo de un numero complejo z =
a + bi:

1 z
zz = a2 + b2 = = 2 (6)
z a + b2
As mismo podemos dividir numeros complejos: de
w 1 z zw
= w = 2 w = 2 (7)
z z a + b2 a + b2

Ejemplo 2.1 Exprese en la forma a + bi los numeros complejos

1 1 + 2i
1. 2.
3 + 4i 2 4i
ad

Solucion

1 1 3 4i 3 4i 3 4i 3 4
1. = = = = i
3 + 4i 3 + 4i 3 4i 9 + 16 25 25 25
rsid

1 + 2i 1 + 2i 2 + 4i 6 + 8i 6 + 8i 3 2
2. = = = = + i
2 4i 2 4i 2 + 4i 4 + 16 20 10 5

2.3. Exponentes
Sean n Z+ y z C. Al igual que para numeros reales, z n es una notacion exponencial que
representa el producto de z multiplicado n veces por s mismo.
ive

z n = z| z {zz z}
n veces

Para z 6= 0,
1
z0 = 1 y z n =
zn
Las leyes de los exponentes para numeros reales tambien son validas para numeros complejos:
Un

Proposicion 2.4 Para todo z, w C y m, n Z se tiene que

zm
1. z m z n = z m+n 3. (zw)n = z n wn 5. zn = z mn , z 6= 0
n n
zm 1
2. (z m )n = z mn 4. Para wz = wz n , w 6= 0 6. zn = z nm , z 6= 0
Instituto de Matematicas, Universidad de Antioquia 5

uia
2.4. Radicales
La nocion de raz n-esima desarrollada para numeros reales puede extenderse al conjunto de
los numeros complejos, pero a diferencia de lo que se presenta en los numeros reales, algunas de
sus propiedades no siguen siendo validas en C.
La unidad imaginaria i es un numero complejo que satisface la ecuacion z 2= 1. Utilizando
esta notacion, podemos pensar en i como la raiz cuadrada de 1 y escribir i = 1. No obstante,

tioq
observemos que el numero complejo i tambien satisface la ecuacion z 2 = 1:

(i)2 = i2 = 1

Cual es entonces la raz cuadrada de 1? Esta discusion pretende justificar la siguiente definicion:

Definicion 2.4 La raz cuadrada principal de 1 es i. Para cualquier


numero real r
> 0 se
define la raz cuadrada principal de r como el numero complejo r i y se denota por r:

r = r i (8)

An

Observemos que 4 = 4 i = 2i y 7 = 7 i. De lo anterior se deduce que para todo
numero real p < 0 existen precisamente un par de numeros complejos que satisfacen

z2 = p (9)

Estos son la raz cuadrada principal de p y su inverso aditivo. La ecuacion x2 + 25 = 0 tiene dos
soluciones complejas: x = 5i y x = 5i.
Es importante senalar que la formula valida para numeros reales positivos x y = xy no es
valida en este contexto:
de
x y 6= xy , x, y < 0 (10)
Esta ultima observacion es facil verificarla haciendo x = y = 1. El lado izquirdo de (10) queda

x y = 1 1 = ii = i2 = 1 (11)
ad
mientras que el lado derecho de (10) queda
p
xy = (1)(1) = 1 = 1 (12)
 
Ejemplo 2.2 Exprese en la forma a + bi el producto 3 9 2 + 4 .
rsid

Solucion    
3 9 2 + 4 = 3 9 2 + 4
  
= 3 9 i 2 + 4 i
= (3 3i) (2 + 2i)
= 3 (2 + 2i) 3i (2 + 2i)
= 6 + 6i + 6i 6i2
ive

= 6 + 6i + 6i + 6
= 0 + 12i

3. El Plano Complejo
Un

La representacion geometrica de los numeros reales como puntos sobre una recta permite in-
troducir de manera intuitiva muchas de las propiedades abstractas que caracterizan a los numeros
reales.
Por medio de esta representacion geometrica, cada punto de la recta representa un numero real
y recprocamente, a cada numero real le corresponde un punto de la recta.
6 Instituto de Matematicas, Universidad de Antioquia

uia
-5 -4 -3 -2 -1 0 1 2 3 4 5

La misma idea se puede extender para C. Cualquier numero complejo z = (a, b) lo podemos
representar como un punto en un plano coordenado. El punto de coordenadas (a, b) es la repre-
sentacion geometica del numero z = a + bi. Cada punto de este plano (llamado plano complejo1 )
representa un numero complejo y viseversa. Al eje x se le denomina eje real, al eje y se le denomina
eje imaginario. A la interseccion de los ejes se le denomina el origen

tioq
Todos los puntos sobre el eje real representan un numero real, mientras que los puntos sobre
el eje imaginario representan numeros imaginarios puros (numeros complejos con parte real nula).
El punto de coordenadas (0, 1) por ejemplo representa a i

Im
2 + 3i
3

An
2
+ 2i
2
4+i
1 i

-5 -4 -3 -2 -1 1 2 3 4 Re
-1
4i
-2

3 2i
-3
de
3.1. Modulo de un numero complejo
ad

El concepto de valor absoluto establecido para numeros reales se puede extender a C. Recor-
demos que para todo x R, 
x si x 0
|x| = (13)
x si x < 0
rsid

El valor absoluto nos permite estimar distancias entre puntos (numeros reales) de la recta real.
Para el caso complejo, la nocion de valor absoluto o modulo, nos permite estimar distancias entre
puntos (numeros complejos) del plano complejo.

Definicion 3.1 El valor absoluto o modulo de un numero complejo z = a + bi viene dado por
p
|z| = a2 + b2 (14)
ive

La definicion (3.1) de modulo de un numero complejo z = a + bi corresponde a la distancia que


hay desde el origen hasta un punto de coordenadas (a, b) en el plano complejo. La formula (14)
corresponde al teorema de Pitagoras.
p
p Por ejemplo |3 4i| = 32 + (4)2 = 25 = 5, |2i| = 02 + 22 = 4 = 2 y | 5| =
(5)2 + 02 = 25 = 5.
El valor absoluto o modulo de un numero complejo satisface importantes propiedades.
Un

Proposicion 3.1 Para todo par de numeros complejos z y w se tiene que

1 Al plano complejo tambien se le conoce como plano de Argand en honor al matematico suizo Jean Argand,

(1768, 1822) quien en 1806 propuso esta representacion para los numeros complejos.
Instituto de Matematicas, Universidad de Antioquia 7

uia
1. |z| 0 3. |z + w| |z| + |w|
2. |z| = 0 z = 0 4. |zw| = |z||w|

Existe una relacion importante entre el modulo de un numero complejo y su conjugado. La


propiedad (2) de la proposicon (2.3) sobre el conjugado afirma que para todo numero complejo

tioq
z = a + bi, se cumple que zz = a2 + b2 . Por tanto

Proposicion 3.2 Para todo numero complejo z = a + bi se satisface la siguiente igualdad

zz = |z|2 (15)

Observemos que para el caso en que b = 0, z = z = a y (3.2) se convierte en z 2 = |z|2

An
3.2. Conjunto de Mandelbrot
El conjunto de Mandelbrot es un conjunto de puntos en el plano complejo cuya frontera cons-
tituye un fractal. El concepto fue desarrollado, entre otros, por el matematico frances Benot
Mandelbrot y se popularizo en 1985 tras la publicacion de un artculo en la revista Scientific
de
American en el que se presento un algoritmo para describirlo.
Matematicamente esta definido por todos los puntos del plano complejo c C para los cuales
la sucesion

z0 = 0 , z1 = z02 + c , z3 = z22 + c , . . . , zn+1 = zn2 + c , . . . (16)


ad
resulta acotada, es decir, a medida que n aumenta, el termino n-esimo zn en modulo no crece
arbitrariamente. Por ejemplo, haciendo c = 1 en (16) obtenemos

z0 = 0 , z1 = z02 + 1 = 02 + 1 = 1 , z2 = z12 + 1 = 1 + 1 = 2 , z3 = z22 + 1 = 22 + 1 = 5 , . . .


rsid

y los terminos de la sucesion generada resultante 0, 1, 2, 5, 26, . . . se hacen arbitrariamente gran-


des cuando n se hace grande, es decir, no estan acotados. Concluimos entonces que c = 1 no
pertenece al conjunto de Mandelbrot.
Por otra parte, al sustituir c = 1 en (16) obtenemos

z0 = 0 , z1 = z02 1 = 01 = 1 , z2 = z12 +i = (1)2 1 = 0 , z3 = z22 1 = 02 1 = 1 , . . .


ive

y los modulos de los terminos de la sucesion generada resultante |0|, |1|, |0|, |1|, |0|, . . . no
crecen arbitrariamente. Por tanto c = 1 s pertenece al conjunto de Mandelbrot.
Cuando se implementa la definicion (16) en un lenguaje de programacion y se grafican los resul-
tados en un computador, surge una estructura compleja con una frontera aparentemente irregular.
La figura (1) de la pagina inicial del Taller muestra los resultados: los puntos que pertenecen al
conjunto de Mandelbrot se muestran en negro. Observese como -1 pertenece al conjunto mientras
Un

que 1 no.
El conjunto de Mandelbrot goza de una propiedad de autosimilitud caracterstica de los frac-
tales2 : al ampliarse una region de la imagen reaparece en miniatura la imagen total inicial como
se ilustra a continuacion.

2 Objeto semigeometrico cuya estructura basica, fragmentada o irregular, se repite a diferentes escalas.
8 Instituto de Matematicas, Universidad de Antioquia

uia
En la Figura (2a) se muestra el conjun-
to de Mandelbot, es decir, el conjunto de
puntos en el plano complejo que satisfa-
cen el criterio establecido en (16). En esta
figura se seleccionan tres regiones cuadra-
das.

tioq
En la Figura (2b) se muestra la imagen re-
sultante que se obtiene al amplificar la re-
(a) (b) gion cuadrada izquierda de la figura (2a).

En la Figura (2c) se muestra la imagen


resultante que se obtiene al amplificar la
region cuadrada superior de la figura (2a).

An
En la Figura (2b) se muestra la imagen
resultante que se obtiene al amplificar la
region cuadrada derecha de la figura (2a).

Este proceso se puede repetir indefinida-


mente y los resultados son los mismos: in-
(c) (d)
variabilidad con relacion a la escala.
Figura 2: Conjunto de Mandelbrot
de
Referencias
[1] E.W. Swokowski, J.A. Cole, Algebra y Trigonometra con Geometra Analtica, undecima
edicion, editorial Thomson, 2006.
ad
[2] M. Sullivan., Algebra y Trigonometra, septima edicion, editorial Pearson, 2006.
[3] F.D. Demana, B.K. Waits, G.D. Foley, D. Kennedy, Precalculo, septima edicion, editorial
Pearson, 2006.
rsid
ive
Un

También podría gustarte