Tema 1.

Nmeros Complejos u
Prof. William La Cruz Bastidas 27 de septiembre de 2002

Cap tulo 1

Nmeros Complejos u
Denicin 1.1 Un nmero complejo, z, es un nmero que se expresa como z = x + iy o, de o u u manera equivalente, z = x+yi, donde x e y . Se conoce a i como la unidad imaginaria, adems, i2 = 1. a Se denotar con x = Re z la parte real del nmero z y con y = Im z la parte imaginaria de a u z. Los nmeros complejos de la forma z = x + i0 se denominan reales puros o, simplemente, u reales; y los nmeros complejos de la forma z = 0 + iy se denominan imaginarios puros. u o Decimos que dos nmeros complejos son iguales si y slo si sus partes reales son iguales y sus u partes imaginarias son iguales. En otras palabras, si z = a + ib, y z = w, entonces a = c, b = d. u No existe relacin de orden en los nmeros complejos; de lo contrario, las conocidas o relaciones de orden que se usan en el caso de los nmeros reales no son vlidas. Usando nmeros u a u reales podemos decir, por ejemplo, que 5 > 3; pero no tiene sentido armar que 1 + i < 2 + 3i. w = c + id,

1.1

Operaciones algebraicas

Podemos sumar,restar, multiplicar y dividir nmeros complejos obteniendo como resultado otro u nmero complejo. Sean z1 = a + ib y z2 = c + id nmeros complejos. u u La suma de los nmeros complejos z1 y z2 se dene como: u z1 + z2 = (a + c) + i(b + d). La resta de los nmeros complejos z1 y z2 se dene como: u z1 z2 = (a c) + i(b d). La multiplicacin de los nmeros complejos z1 y z2 se dene como: o u z1 z2 = (ac bd) + i(ad + bc). 1

 CAP ITULO 1. NUMEROS COMPLEJOS La divisin de los nmeros complejos z1 y z2 = 0 se dene como: o u z1 = z2 ac + bd c2 + d2 +i bc ad c2 + d2 .

1.2

Representacin geomtrica o e

Se puede establecer una correspondencia uno a uno entre cada nmero complejo z = x + iy y el u u punto (x, y) del plano cartesiano xy. De esta forma, cada nmero complejo se puede representar geomtricamente como un punto en el plano cartesiano. Cada vez que utilicemos el plano para e representar un nmero complejo lo denominaremos plano complejo o plano z. En estas ciru cunstancias, el eje x, o eje horizontal, se llama eje de los n meros reales, mientras que el eje u y, o eje vertical, se conoce como eje de los nmeros imaginarios. u Otra representacin posible de z en este plano es en forma de vector. Mostramos a z = x + iy o como una l nea dirigida que comienza en el origen del plano y termina en el punto (x, y). As , podemos representar un nmero complejo como un punto o como un vector en el plano xy. u

1.3

Valos absoluto y conjugado

Denicin 1.2 Se dene el valor absoluto del nmero complejo z = x + iy, denotado por |z|, o u como |z| = x2 + y 2 . Denicin 1.3 Se dene el conjugado del nmero complejo z = x + iy, denotado por z, como o u z = x iy.

1.3.1

Propiedades de la conjugacin o

Sean z1 y z2 nmeros complejos. La siguientes identidas son ciertas. u 1. z1 = z1 . 2. z1 + z2 = z1 + z2 . 3. z1 z2 = z1 z2 . 4. z1 z2 = (z1 ) (z2 ). 5. z1 z2 = (z1 ) . (z2 )

6. |z1 | = |z1 |. La siguiente proposicin establece una relacin entre el mdulo y el conjugado de un nmero o o o u complejo. Proposicin 1.1 Si z = x + iy, entonces o zz = |z|2 .

 CAP ITULO 1. NUMEROS COMPLEJOS Demostracin. Se tiene que o zz = (x + iy)(x iy) = (x2 + y 2 ) + i(yx xy) = x2 + y 2 = |z|2 .

1.3.2

Propiedades del valor absoluto

Sean z1 y z2 nmeros complejos. Las siguientes identidas son ciertas. u 1. |z| |Re z| Re z. 2. |z| |Im z| Im z. 3. |z1 z2 | = |z1 | |z2 |. 4. z1 |z1 | , z2 = 0. = z2 |z2 |

1.3.3

Desigualdad Triangular

El proceso de sumar el nmero complejo z1 = x1 + iy1 al nmero complejo z2 = x2 + iy2 tiene una u u interpretacin simple en trminos vectoriales. El vector que representa la suma de los nmeros o e u complejos z1 y z2 se obtiene sumando vectorialmente los vectores de z1 y z2 ; es decir, empleando la regla del paralelogramo. La desigualdad triangular se puede obtener a partir de este esquema geomtrico. La longitud de un lado cualquiera de un tringulo es menor o igual que la suma de e a las longitudes de los otros lados. La longitud correspondiente a z1 + z2 es |z1 + z2 |, que debe ser menor o igual que la suma de las longitudes, |z1 | + |z2 |. Proposicin 1.2 (Desigualdad Triangular) Si z1 y z2 son nmeros complejos, entonces o u |z1 + z2 | |z1 | + |z2 | . Demostracin. Se tiene que o |z1 + z2 |2 = (z1 + z2 ) (z1 + z2 ) = (z1 + z2 ) (z1 + z2 ) = z1 z1 + z1 z2 + z2 z1 + z2 z2 = |z1 |2 + z1 z2 + z2 z1 + |z2 |2 pero z1 z2 + z1 z2 = 2Re (z1 z2 ) 2 |z1 z2 | = 2 |z1 | |z2 | = 2 |z1 | |z2 | , luego |z1 + z2 |2 |z1 |2 + 2 |z1 | |z2 | + |z2 |2 = (|z1 | + |z2 |)2 , (1.1)

= |z1 |2 + z1 z2 + z1 z2 + |z2 |2 ,

 CAP ITULO 1. NUMEROS COMPLEJOS de donde se deduce que |z1 + z2 | |z1 | + |z2 | , con lo cual queda establecida la desigualdad triangular.

La siguiente proposicin es la generalizacin de la desigualdad triangular. En esta proposicin o o o se indica que la desigualdad triangular se cumple para un nmero nito de nmeros complejos. u u Proposicin 1.3 (Desigualdad Triangular Generalizada) Si z1 , z2 , . . . , zn (n 2), son no u meros complejos, entonces |z1 + z2 + + zn | |z1 | + |z2 | + + |zn | . (1.2)

Demostracin. Realicemos la demostracin por induccin. De la Proposicin 1.2 se tiene que la o o o o desigualdad (1.2) se cumple para n = 2. Supongamos que la desigualdad (1.2) se satisface para un entero n = k > 2, es decir, |z1 + z2 + + zk | |z1 | + |z2 | + + |zk | . (1.3)

Ahora veamos que la desigualdad (1.2) se satisface para un entero n = k+1. Como z1 +z2 + +zk es un nmero complejo, entonces de la Proposicin 1.2 se concluye que u o |(z1 + z2 + + zk ) + zk+1 | |z1 + z2 + + zk | + |zk+1 | . De las desigualdades (1.3) y (1.4) se deduce |z1 + z2 + + zk + zk+1 | |z1 | + |z2 | + + |zk | + |zk+1 | , para todo entero k > 2. Con esto se concluye la prueba de la proposicin. o 2 (1.4)

1.4

Coordenadas polares

El nmero complejo z = x + iy = 0 est representado en coordenadas cartesianas por el par u a ordenado (x, y). Este nmero complejo tambin se puede sepresentar en el plano con las llamadas u e coordenadas polares (r, ), donde r = |z| y es el argumento de z. Denicin 1.4 Para cualquier nmero complejo z = 0, el argumento de z, denotado por arg z, o u es el gulo, medido en radianes, que forma z con la parte positiva del eje real. Por lo tanto, tiene a un valor cualquiera de una cantidad innita de valores reales que dieren entre s en mltiplos u enteros de 2. Estos valores se pueden encontrar a partir de la ecuacin o tan = y . x

El argumento principal de z o valor principal de arg z, denotado por Arg z, se dene como el unico valor de arg z tal que < arg z .

 CAP ITULO 1. NUMEROS COMPLEJOS Identidades entre argumentos u Sean z1 y z2 dos nmeros complejos distintos de cero. Las siguientes identidades son ciertas. 1. arg(z1 z2 ) = arg z1 + arg z2 . 2. arg z1 z2 = arg z1 arg z2 .

Forma polar de un n mero complejo u El nmero complejo z = x + iy se puede representar como un vector cuyo extremo nal tiene u coordenadas polares (r, ). Es fcil ver que x = r cos e y = rsen . As pues, a z = r(cos + isen ) es la forma polar de un nmero complejo. u Ejemplo 1.1 Utilizando el argumento principal, represente en forma polar al nmero complejo u z = 1 + i. Solucin. Se tiene que las coordenadas polares de z = 1 + i son: o y = arctan(1) = . r= 2 4 El valor = es el argumento principal de 1 + i, ya que pertenece al intervalo (, ]. Por lo 4 tanto, la forma polar de z = 1 + i empleando el argumento principal es: 1 + i = 2 cos + isen . 4 4 Por un razonamiento similar al utilizado en el Ejemplo 1.1 se puede vericar que la forma polar de los nmeros complejos 1 + i, 1 i y 1 i es: u 3 3 + isen 2 cos , 4 4 3 3 1 i = 2 cos isen , 4 4 1i = 2 cos isen . 4 4 1 + i = (1.5)

1.4.1

Frmula de Euler o
ei = cos + isen

Sea z = x + iy un nmero complejo cuya forma polar viene dada por (1.5). Escribiendo u

y suponiendo que r = 1, se obtiene que

z = ei

(1.6)

que se conoce como frmula de Euler. Sean z1 = ei1 y z2 = ei2 . Utilizando esta notacin o o obtenemos las siguientes identidades:

 CAP ITULO 1. NUMEROS COMPLEJOS 1. z1 z2 = ei(1 +2 ) ;

1 = ei1 ; z1 z1 3. = ei(1 2 ) . z2 Ahora, para cualquier z = r(cos + isen ) se puede utilizar la frmula Euler para reescribir o a z como: z = rei 2. y, adems, si z1 = r1 ei1 y z2 = r2 ei2 , entonces las siguientes identidades son ciertas: a 1. z1 z2 = (r1 r2 )ei(1 +2 ) ; 2. 1 1 = ei1 ; z1 r1 z1 r1 3. = ei(1 2 ) . z2 r2

Por lo tanto, la forma polar de z utilizando la frmula de Euler es z = rei , donde r y son sus o coordenadas polares ( no necesariamente es el argumento principal de z).

1.5

Potencias y ra ces

Denicin 1.5 (Potencia) Sean z = rei y n un entero no negativo. La potencia n-sima de o e z, denotada con z n , se dene como z n = r n ein = r n (cos n + isen n) . e Denicin 1.6 (Ra Sean z = rei y n un entero no negativo. Las races n-simas de z, o z) 1/n , se denen como denotadas con z +2k + 2k + 2k + isen , k = 0, 1, . . . , n 1 z 1/n = n rei n = n r cos n n donde n r denota la raz n-sima del nmero real r. e u Debemos alclarar que el valor de empleado en las deniciones 1.5 y 1.6, es cualquier valor del argumento de z, no necesariamente es el argumento principal. Ejemplo 1.2 Calcular (1 + i)5 y (1 + i)1/5 . Solucin. Las coordenadas polares de 1 + i son: o r= 2 y De esta forma, z5 = y 5 z=
20

. 4

5 5 5 25 ei 4 = 25 cos + isen 4 4 , k = 0, 1, 2, 3, 4.

2e

(/4)+2k 5

20

(/4) + 2k (/4) + 2k 2 cos + isen 5 5

 CAP ITULO 1. NUMEROS COMPLEJOS

1.6

Regiones en el plano complejo

En esta parte se estudiarn conjuntos especiales de nmeros complejos, o puntos, y la proximidad a u de unos a otros. Denicin 1.7 (Vecindad) El conjunto de puntos o B(z0 , ) = {z : |z z0 | < } , para cada punto z0 y cada > 0, se denomina vecindad de z0 , que consta de todos los puntos situados dentro de la circunferencia de centro z0 y radio . Denicin 1.8 (Conjunto abierto) Se dice que un conjunto de nmeros complejos S es abiero u to si para cada z S existe una vecindad de z, B(z, ), tal que B(z, ) S. Ejemplo 1.3 El conjunto |z| < 1 es abierto. En efecto, es posible trazar una vecindad B(z, ) alrededor de cada uno de sus puntos de tal forma que todos los puntos de B(z, ) pertenecen al conjunto |z| < 1. Denicin 1.9 (Frontera de un conjunto) Sea S un conjunto de nmeros complejos. La o u frontera de S es el conjunto formado por los puntos z (no necesariamente pretenecientes a S) tales que B(z, ) S = , para todo > 0; en otras palabras, todas las vecindades de z contienen puntos de S y puntos que no estn en S. a Ejemplo 1.4 El conjunto |z 1| = 1 es la frontera del conjunto |z 1| < 1. Denicin 1.10 (Punto de acumulacin) Sea S un conjunto de nmeros complejos. Se dice o o u que z0 es un punto de acumulacin de S si toda vecindad de z0 contiene por lo menos un punto o de S diferente de z0 . Denicin 1.11 (Conjunto cerrado) Se dice que un conjunto de nmeros complejos S es ceo u o e rrado, si todos sus puntos de acumulacin pertenecen a l. Equivalentemente, S es cerrado si contiene a su frontera. Ejemplo 1.5 El conjunto |z| 1 es cerrado. Denicin 1.12 (Conjunto conexo) Se dice que un conjunto de nmeros complejos S es coneo u xo, si dados dos puntos cualesquiera de S, existe una trayectoria formada por segmentos de recta que los une y cuyos puntos pertenecen todos a S. Denicin 1.13 (Dominio) Se dice que el conjunto de nmeros complejos S es un dominio, si o u S es abierto y conexo. Ejemplo 1.6 El conjunto |z| < 1 es un dominio. u Denicin 1.14 (Conjuntos acotado y no acotado) Se dice que un conjunto de nmeros o complejos S es acotado, si existe un nmero real R > 0 tal que todo punto de S queda dentro de u la circunferencia |z| = R. Por el contrario, si |z| > R para todo R > 0 y algn z S, se dice que u S es no acotado. Ejemplo 1.7 El conjunto que consiste en el cuadrado 0 Re z 1, 0 Im z 1, es acotado. La franja {z : Re z 3} es un conjunto no acotado.