1

Nmeros reales y complejos

No sorprende que un primer captulo de un libro de Clculo estudie los nmeros reales, sin embargo, muchos estudiantes creen no tener que profundizar en dichos nmeros por saberlos conocidos. Veamos a continuacin un par de resultados curiosos. Se cumple, 0 = (1 1) + (1 1) + (1 1) + (1 1) + (1 1) + (1 1) + y por cumplir la propiedad asociativa las operaciones suma y resta, podemos escribir: 0 Luego 0 = 1! Supongamos ahora a y b nmeros reales tales que a > b y sea c su diferencia, de forma que a = b + c. Si multiplicamos los dos miembros de la igualdad por a b obtenemos: a(a b) = (b + c)(a b) de donde se deduce a2 ab ac = ab b2 bc a(a b c) = b(a b c) y simplicando, se obtiene a = b! Existen varias formas de introducir el cuerpo de los nmeros reales, entre las que se encuentran el mtodo de las cortaduras de Dedekind y el mtodo de Cantor, que utiliza el conjunto de las sucesiones de Cauchy de nmeros racionales. Los dos son mtodos constructivos y prueban la unicidad del cuerpo de los nmeros reales construido. Sin embargo, el estudio que se adopta en este libro no es constructivo. Introducimos el cuerpo de los nmeros reales axiomticamente. = 1 + (1 + 1) + (1 + 1) + (1 + 1) + (1 + 1) + (1 + 1) + = 1 + 0 + 0 + 0 +0+0+0+0+

Resaltamos el axioma del supremo como el resultado ms importante del anlisis real, pues de l se deducen las propiedades de ser cuerpo ordenado arquimedianamente y la densidad de Q en R.

1.1. Nmeros naturales, enteros y racionales

Los conjuntos numricos bsicos para una buena comprensin de este texto, y en general de las Matemticas, son los nmeros naturales (N), enteros (Z), racionales (Q), reales (R) y nalmente los nmeros complejos (C). Tal como los hemos mencionado, cada uno de estos conjuntos contiene al anterior, es decir, NZQRC N = {1, 2, 3, . . .} Este conjunto tiene una cantidad innita de elementos y es el conjunto de nmeros que nos permite contar y enumerar las cosas. De l se deriva el importante concepto de numerabilidad. Una de las caractersticas bsicas de los nmeros naturales es el principio de induccin, mtodo que permite demostrar una determinada propiedad que hace referencia a los nmeros naturales. Para demostrar que una proposicin P(n) es cierta para cualquier nmero natural (n N), el principio de induccin arma que: 1. Si P(1) es cierto; 2. Si para n = k, P(k) es cierto (hiptesis de induccin), entonces P(k + 1) es cierto, entonces P(n) es cierta n N.

Designamos con la letra N al conjunto de los nmeros naturales.

Demostrar que
1 + 2 + + n = Demostracin 1. Si n = 1, se cumple 1 = 1(1 + 1) =1 2 2. Supongamos que se cumple para k = n 1 1 + 2 + + (n 1) = (hiptesis de induccin) y queremos demostrar que 1 + 2 + + n = n(n + 1) 2 (n 1)n 2 n(n + 1) 2 n N, n 1

1 + 2 + + n = 1 + 2 + + (n 1) + n = =

(n 1)n +n = 2

(n 1)n + 2n n2 n + 2n n2 + n n(n + 1) = = = 2 2 2 2

Algunos autores consideran N = {0, 1, 2, 3, . . .} y expresan N = {1, 2, 3, . . . }, notacin habitual cuando se excluye el cero de un conjunto. Podemos observar que el conjunto de nmeros naturales no tiene estructura de grupo con las operaciones habituales de suma y producto, ya que no existe el opuesto por la suma o por el producto de un nmero natural. Al nal del estudio de los conjuntos numricos, encontraremos un conjunto que, adems de tener estructura de grupo, anillo o cuerpo con ciertas operaciones, nos asegure la existencia de soluciones de una ecuacin polinmica cualquiera con coecientes en dicho conjunto. Lo que se llama ser un cuerpo algebraicamente cerrado, es decir, que todo polinomio a coecientes en ese cuerpo, tenga todas sus soluciones en ese mismo cuerpo. Esta situacin se dar en el conjunto de los nmeros complejos, pero vayamos paso a paso. En el conjunto de los nmeros naturales ni siquiera podemos resolver una ecuacin tan sencilla como x+4 = 0 ya que su solucin x = 4 no pertenece a N. Ampliemos pues este conjunto de nmeros incluyendo tambin los negativos, es decir, para cada nmero natural aadimos su inverso por la suma. Tenemos el conjunto de los nmeros enteros. Denotaremos mediante la letra Z al conjunto de nmeros enteros, es decir, Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} Si nos jamos, este conjunto ya contiene elemento inverso con la operacin suma. Tambin verica la propiedad asociativa e incluso la conmutativa. Dispone tambin de un elemento neutro como es el cero, para esta operacin. En denitiva, (Z, +) es un grupo abeliano o conmutativo. Este grupo toma especial importancia en toda la teora de grupos y anillos, as como en la teora de Galois, pero no es algo que se deba ver aqu. Pese a lo que se consigue con este nuevo grupo, todava no tenemos suciente ya que, qu pasa si queremos resolver la ecuacin siguiente? 3x + 2 = 0 Los coecientes de la ecuacin son nmeros enteros, pero en cambio, su solucin es x = 2/3 que no es un elemento entero. Entonces, todava no tenemos suciente con los nmeros enteros, debemos incluir tambin, de algn modo, todo tipo de fracciones posibles. Denimos a continuacin el conjunto de los nmeros racionales, que se denotar por Q y que incluye a todos los elementos de la forma siguiente: Q= m , donde m Z, n N n

Fijmonos que consideramos que el trmino del numerador aporta el signo; por ello le permitimos ser de Z y en cambio el denominador lo jamos como positivo (esto podra ser al revs o

incluso permitiendo que ambos trminos fuesen de Z) pero eso s, no podemos permitir que el denominador se anule, ya que el conjunto no estara bien denido en ese caso. Adems tenemos muchos nmeros repetidos por lo que tenemos que identicar todos aquellos que sean el mismo como un solo nmero.

p Q

Q m, n Z con m.c.d(m, n) = 1 y p =

m n

El conjunto de nmeros racionales puede parecer mucho mayor que el de nmeros naturales pero no deja de ser equipotente con ste, es decir, de tener un nmero innito de elementos del mismo orden: numerable. En el captulo siguiente, en el ejemplo 2.21 veremos una demostracin de que esto es as. En el conjunto de los nmeros racionales ya tenemos soluciones para todo tipo de ecuaciones lineales o de grado uno, s. Pero, tenemos tambin todas las soluciones de las ecuaciones de grado superior? La respuesta es negativa. Si queremos resolver, por ejemplo, la ecuacin x2 2 = 0 tenemos que su solucin es x = 2, que no es un nmero que se pueda expresar como una fraccin de nmeros enteros de forma exacta. Veamos que efectivamente, no es un nmero racional. Demostraremos que 2 Q. / Demostracin Procederemos por reduccin al absurdo. Si 2 Q entonces p 2= q

Pero entonces tenemos

p2 2q2 = p2 p2 es par q2 De modo que entonces p tambin ser par y podremos escribirlo como p = 2r para algn r Z, pero 2q2 = 4r2 q2 = 2r2 q2 ser par, con lo que q tambin ser par, pero entonces el cociente entre p y q no sera irreductible al tener ambos, denominador y numerador, mltiplos de 2. 2=

Se denen a continuacin los nmeros reales, conjunto que incluye todos los nmeros que no se puedan escribir como fraccin de dos enteros. Este conjunto numrico merece una seccin propia.

1.2. Nmeros reales

Una de las motivaciones por las cuales se denen los nmeros reales es hallar un conjunto numrico para el cual todo polinomio a coecientes en ese conjunto tenga todas sus races tambin

en ese conjunto. Si consideramos que ya se encontrarn en ellos todos los anteriores y adems tambin incluimos elementos como las races n-simas de nmeros que no tengan esa raz como elemento racional, parece que el conjunto quede cerrado. Al nal veremos que todava no es as pero este conjunto numrico ser el ms habitual en el que se trabaje y es de una relevancia indiscutible. Denimos el conjunto de los nmeros reales de forma axiomtica ya que bsicamente interesan las propiedades de los nmeros reales y no los mtodos utilizados para construirlos. Suponemos que existe un conjunto no vaco R de elementos, llamados nmeros reales, que cumplen los axiomas que enunciamos a continuacin. Estos axiomas se clasican en tres grupos: axiomas de cuerpo, axiomas de orden y el axioma del supremo.

Dado un conjunto no vaco R y dos operaciones (aqu las denotamos mediante los signos + y ), y sean x, y, z tres nmeros reales arbitrarios. A la terna (R, +, ) la llamaremos cuerpo conmutativo si cumple los axiomas siguientes: 1. asociativa con ambas operaciones: x + (y + z) = (x + y) + z 2. conmutativa con ambas operaciones: x+y = y+x xy = yx x (y z) = (x y) z

3. elemento neutro distinto para ambas operaciones: 0 R : 0 + x = x 1 = 0, 1 R : 1 x = x 4. elemento opuesto con ambas operaciones: x R : x + (x) = 0 x R x R, x = 0, x1 R : x x1 = 1 5. distributiva: x (y + z) = x y + x z

x R

En un curso de lgebra se dene grupo y anillo para acabar dando la denicin de cuerpo y nalmente la de cuerpo conmutativo [B93]. De las propiedades de cuerpo conmutativo se deducen algunos teoremas de gran importancia, por ejemplo:

Si a, b, c son nmeros reales, se cumple [a + b = a + c] [b = c]

Dados a, b R !x : a + x = b. En esta situacin, x se escribe como b a.

Existe una relacin axiomas siguientes:

que establece una ordenacin entre los nmeros reales y cumple los

1. Propiedad reexiva x 2. Propiedad antisimtica Si 3. Propiedad transitiva Si x y ey z entonces x z x, y, z R x y e y x entonces x = y x, y R x x R

Por lo tanto es una relacin de orden. Adems este orden es total y compatible con la estructura algebraica de R. 4. Relacin de orden total x yoy x, x, y R 5. El orden es compatible con la suma. Si x y entonces x + z y + z, x, y, z R 6. El orden es compatible con el producto. Si x y entonces x z y z x, y, z R yz xz z 0 z<0

Esto completa la denicin de R como un cuerpo conmutativo totalmente ordenado. Observemos que si x e y son nmeros reales, x < y indica que x y y x = y. Tambin se escribe x y para indicar y x. Los nmeros reales x tales que x > 0 se denominan nmeros positivos y se denotan por el smbolo R+ . Se cumple la propiedad siguiente.

1. Si x, y R+ x + y, x y R+ . 3. 0 R+ . 2. x R, x = 0 tenemos que x R+ o x R+ , pero no los dos a la vez.

Los nmeros reales representan puntos de una recta. La eleccin del 0 y el 1 (elementos neutros de las operaciones que dan estructura de cuerpo al conjunto de los nmeros reales) determinan unvocamente una escala tal y como se observa en la Figura 1.1.

A partir de ah todos los nmeros sern escritos a una escala proporcional, es decir, la separacin que habr en la recta real entre los nmeros 8 y 0 ser ocho veces la que haya entre los nmeros uno y cero. Adems, cada x R corresponde a un nico punto de la recta. Y si x < y entonces el nmero real x vendr representado en la recta a la izquierda del nmero real y, como ilustra la Figura 1.2. Si a, b son nmeros reales tales que a < b, entonces un punto x satisface las desigualdades a < x < b si, y solo si x est entre a y b. Al conjunto de todos los puntos comprendidos entre a y b se denomina intervalo. Resultarn conjuntos de fundamental importancia en el Clculo y en el Anlisis matemtico en general. Como ejemplo particular veremos su importancia en la denicin del concepto de la integral de Riemann. Dependiendo de si los intervalos incluyen o no a sus extremos aparecen las deniciones que enunciamos a continuacin.

(a, b) = {x R : a < x < b}

Si a y b son nmeros reales tales que a < b, denimos el intervalo abierto (a, b) como sigue:

Si a y b son nmeros reales tales que a < b, denimos el intervalo cerrado [a, b] como sigue: [a, b] = {x R : a x b}

Si a y b son nmeros reales tales que a < b, denimos los intervalos semiabiertos (a, b] y [a, b) como sigue: (a, b] = {x R : a < x b} [a, b) = {x R : a x < b}

Si a R denimos los intervalos innitos (, a] = {x R : x a}

entendiendo que los smbolos + y se denen ms adelante y de momento son nmeros reales no nitos que cumplen, dado a R, si a > 0 si a < 0 a = + 0 a = 0

(a, +) = {x R : x > a}

Se cumple R = (, +) y denimos la extensin del cuerpo de los nmeros reales como: R = R {+, } Hemos comentado que los nmeros reales son aquellos que cumplen los axiomas de cuerpo conmutativo totalmente ordenado y el axioma del supremo. Para entender el enunciado de este ltimo axioma, debemos dar unas deniciones previas.

Sean A R, y nmeros reales. Entonces 2. es una cota inferior de A x A,

1. es una cota superior de A x A,

Naturalmente estas cotas no tienen por qu existir, o bien puede existir una de ellas y no la otra. En caso de existir diremos que el conjunto est acotado, otra denicin fundamental en la teora de conjuntos reales.

Sea A R. Diremos que el conjunto A est acotado si tiene cota superior y cota inferior. Observemos que el conjunto A = R+ no est acotado por no estar acotado superiormente.

10

Sea A R, entonces se denomina mximo del conjunto A a un nmero real M tal que MA x A x M

En caso de existir escribiremos M = m x(A). a

Sea A R, entonces se denomina mnimo del conjunto A a un nmero real m tal que mA x A x m

En caso de existir escribiremos m = mn(A). Estamos ya en condiciones de denir el supremo de un conjunto, concepto que existir en conjuntos de nmeros reales acotados superiormente.

Sea A un conjunto de nmeros reales acotado superiormente. Si existe el mnimo del conjunto de las cotas superiores recibe el nombre de supremo de A. En caso de existir lo notaremos sup(A). De manera anloga se dene el nmo de un conjunto.

Sea A un conjunto de nmeros reales acotado inferiormente. Si existe el mximo del conjunto de las cotas inferiores recibe el nombre de nmo de A. En caso de existir lo notaremos nf(A). En el caso en que estos supremos e nmos se alcancen en el mismo conjunto A, entonces reciben el nombre de mximo y mnimo respectivamente, pero no tienen porqu existir en general. Notemos que tanto el supremo como el nmo de un conjunto acotado existen siempre.

El conjunto A = {x R : 0 x 1} est acotado superiormente. Ejemplos de cotas superiores son los nmeros = 1, 2, 3, .... Este conjunto tiene mximo,
m x A = 1 a Sin embargo, el conjunto B = {x R : 0 mximo. El conjunto B s tiene supremo, x < 1}, igualmente acotado superiormente, no tiene sup B = 1

11

a R : a = sup A

Todo conjunto no vaco A de nmeros reales acotado superiormente tiene supremo, es decir,

El conjunto de los nmeros racionales Q no cumple el axioma del supremo. Del axioma del supremo se deduce el teorema siguiente:

Todo conjunto no vaco de nmeros reales A acotado inferiormente tiene un extremo inferior, es decir, L R : L = nf A

Sea A el conjunto de los nmeros opuestos a los de A. El conjunto A = 0 / y est acotado superiormente, luego del axioma del supremo se deduce que existe a R tal que a = sup(A). Luego a = in f (A).
Algunas de las propiedades fundamentales del supremo que se utilizan para demostrar propiedades y teoremas importantes del Anlisis matemtico son las siguientes:

Sea A un conjunto no vaco de nmeros reales y b = sup(A). Entonces, a < b, x R tal que a < x b.

Sabemos que x

b, x R (ya que b es cota superior de A).

Si x a entonces a sera una cota superior de A ms pequea que el supremo, y esto lleva a una contradiccin. Luego a < x.

Sean A, B R conjuntos no vacos. Sea C = {x + y : x A, y B}. Si A y B tienen supremo, entonces C tiene supremo y se cumple sup(C) = sup(A) + sup(B)

b, a A, b B. Si el conjunto B tiene

Sean A, B R conjuntos no vacos tales que a supremo, entonces A tiene supremo y se cumple sup(A)

sup(B)

12

Del axioma del supremo y de la propiedad de aproximacin del supremo, se deduce el siguiente resultado.

El conjunto Z+ de los enteros positivos no est acotado superiormente.

A continuacin enunciamos la propiedad arquimediana de los nmeros reales. Geomtricamente equivale a decir que todo segmento lineal, por largo que sea, puede recubrirse por un nmero nito de segmentos lineales de longitud dada.

Si x > 0 y y R n Z+ tal que nx > y. Demostrar que existe n Z+ tal que nx > y equivale a demostrar que existe y y n Z+ tal que n > . Si no fuera as seria una cota superior de Z+ y esto contradice el teorema x x anterior. A continuacin se enuncia uno de los resultados ms importantes que caracterizan el conjunto de los nmeros reales.

R Q es denso en R. Es decir, x, y R tales que x < y, entonces existen innitos nmeros racionales q tales que x < q < y.

Se deduce de la propiedad arquimediana.

El concepto de numerabilidad se dene en el captulo siguiente, sin embargo, continuando un comentario anterior, realizado en el estudio de los nmeros racionales, armamos que el conjunto Q es numerable mientras que R no lo es. Adelantamos que un conjunto es numerable si es nito o bien permite establecer una biyeccin con N. Se puede ver la denicin de numerabilidad en la Seccin 4.2. A continuacin denimos uno de los conceptos asociados a los nmeros reales ms interesantes: el valor absoluto de un nmero real, que inducir las deniciones de norma y de distancia en R.

|x| = x x si x 0 si x < 0

Denimos el valor absoluto de un nmero real como

13

Si x es un nmero real, se cumple |x| x |x|

Observemos que |x| es la distancia de x a 0 tal como se visualiza en el grco de la Figura 1.3.

Si a R+ , entonces x R se cumple: |x| a a x a

|x| > a [x < a o bien x > a]

Luego si un punto x R est a distancia menor o igual que a del origen, est situado en la recta real entre a y a. Si |x| > a el nmero real x est a distancia mayor que a del origen de coordenadas.

14

Para cualquier x, y R se cumplen las propiedades siguientes: 1. |x| = 0 x = 0 2. | x| = |x| 3. |x y| = |y x| x |x| = si y = 0 y |y| |x y|

4. |xy| = |x||y| 5.

6. |x + y|

7. |x| |y|

|x| + |y| (desigualdad triangular) |x y|

8. ||x| |y||

Algunas de estas propiedades son inmediatas aplicando la denicin de valor absoluto. Demostramos a continuacin las que podran presentar mayor dicultad.
1. |x| x |x| |y| y |y| (|x| + |y|) x + y |x + y| |x| + |y|

|x| + |y| |y| |y| |x y| |y x| = |x y|

2. ||x| |y|| =

|x| |y| si |x| |y| |x| si |x|

1) 1)

|x| = |x y + y| |y| = |y x + x|

|x y| + |y| |x| |y| |y x| + |x| |y| |x|

Escribir en forma de intervalo el conjunto de los nmeros reales que cumplen:

{x R : |3x + 5| De las propiedades del valor absoluto, se deduce |3x + 5| 2 [3x + 5 2 o 3x + 5 2] 2}

por lo tanto, se debe cumplir una de las dos desigualdades.

3x + 5 3x + 5

2 3x 2 3x

3 x 7 x

1 7 3

15

por lo tanto, {x R : |3x + 5| 2} = , 7 [1, +) 3

Finalmente enunciamos y demostramos la desigualdad de Cauchy-Schwarz, que ser el resultado ms fundamental a nivel topolgico y de conjuntos en el conjunto de los nmeros reales. Servir para demostrar la desigualdad triangular de distancias y otros resultados similares.

2 n n

Sean a1 , . . . , an , b1 , . . . , bn R. Se cumple

k=1

ak bk

k=1

a2 k

k=1

b2 k

Hay igualdad si =

bk ak

k = 1, . . . , n.

Para cualquier nmero real x se cumple:

k=1

(ak x + bk )2 = a2 x2 + 2 ak bk x + b2 = k k
k=1 k=1 k=1

k=1

a 2 x2 + 2 k

k=1

ak bk x + b2 k
k=1

Si a2 > 0, es decir, existe algn ak = 0, tomamos x = k

k=1

k=1 n

ak bk
k=1

a2 k

y substituyendo en la igualdad

tenemos:
n k=1

ak bk

k=1

a2 k

k=1

b2 k

como queramos demostrar. Si a2 = 0, eso implica ak = 0 k = 1, . . . , n. En este caso, la igualdad es trivial. k

k=1 n

1.3. Nmeros complejos

Considrese la ecuacin x2 + 1 = 0

16

aparentemente muy sencilla pero con soluciones x = 1 que no son nmeros reales, al no pertenecer a este cuerpo las races de nmeros negativos. Es por ello que para conseguir un cuerpo donde todos y cada uno de los polinomios a coecientes reales (y de hecho tambin los polinomios a coecientes complejos) tengan solucin, debemos ampliar nuestro conjunto con todas las races de nmeros reales negativos. A este conjunto se le conoce con el nombre de conjunto de nmeros complejos y se denota mediante C. A principios del siglo XIX, Karl Friedrich Gauss (1777-1855) y William Rowan Hamilton (1805-1865) independientemente y casi al mismo tiempo propusieron la idea de denir los nmeros complejos como pares ordenados (a, b) de nmeros reales que tienen unas ciertas propiedades. Esta idea es la que se presenta a continuacin.

Se dene el conjunto C de los nmeros complejos como el producto cartesiano C = R R = {(a, b) : a, b R} es decir, que un nmero complejo se identica con un punto del plano. Si z = (a, b) es un nmero complejo, diremos que a es la parte real de z y se escribe Re(z) y que b es la parte imaginaria de z que escribiremos Im(z). Diremos que z = (a, b) est expresado en forma cartesiana. El curso en la plataforma Moodle asociado a este texto, presenta ejercicios interactivos que ayudan a la comprensin de los conceptos matemticos que se van introduciendo en el texto. La Figura 1.4 muestra uno de los ejemplos, en este caso asociado a la representacin grca de los nmeros complejos en el plano.

Si (a, b) y (c, d) son dos nmeros complejos, denimos (a, b) + (c, d) = (a + c, b + d) (a, b) (c, d) = (ac bd, ad + bc) Con estas operaciones, (C, +, ) es un cuerpo conmutativo. A diferencia de lo que ocurre con la denicin de la operacin suma, la denicin del producto de nmeros complejos no parece intuitiva. A continuacin se dene la expresin binmica de los nmeros complejos y es un buen ejercicio razonar el porqu de la denicin del producto de los nmeros complejos.

Se dene i como el nmero complejo i = (0, 1). Observamos que i2 = (0, 1)(0, 1) = (1, 0). Como que los nmeros complejos de la forma (a, 0) tienen exactamente el mismo comportamiento respeto a la suma y multiplicacin de nmeros

17

complejos que los nmeros reales respecto a sus operaciones de suma y producto, escribiremos (a, 0) simplemente como a. Por lo tanto, Observar que 1 = i, luego, el estudio con nmeros complejos permite trabajar con races de nmeros negativos, a diferencia de la situacin en R. Fijmonos que podemos escribir (a, b) = (a, 0) + (0, b) = (a, 0) + (b, 0) (0, 1) = a + bi Esta es una forma muy habitual de escribir los nmeros complejos y se denomina forma binmica. i2 = 1

Si z = (a, b) diremos que el opuesto de z es el nmero complejo z = (a, b)

18

z = a bi

Si z = a + bi denimos su conjugado, que escribiremos z, como

La Figura 1.5 visualiza uno de los ejemplos interactivos en la plataforma Moodle que permite consolidar los conceptos de nmero complejo opuesto y conjugado.

Si z = a + bi, con (a, b) = (0, 0), se dene el nmero complejo inverso de z, que escribiremos z1 , como 1 z1 = a + bi Para denir correctamente el nmero complejo debemos conocer su parte real y su parte imaginaria, 1 1 a bi a bi a b = = 2 = 2 2 i 2 2 a + bi a + bi a bi a + b a +b a + b2

19

Comprobar que (a, b) a b , a2 + b2 a2 + b2 = (1, 0)

La Figura 1.6 muestra un ejemplo interactivo para consolidar el concepto de inverso de un nmero complejo. Este concepto, permite ampliar las operaciones entre complejos ya estudiadas y que se pueden practicar interactivamente tal como ilustra la Figura 1.7.

Si z = a + bi es un nmero complejo, denimos su mdulo, que escribiremos |z|, como |z| = a2 + b2

Observar que |z| es la distancia de z a (0, 0). En general, la distancia entre dos nmeros complejos z y w se dene como |z w|.

20

Si z y w son nmeros complejos, se cumple 1. z = z 2. z = z z es real 3. z + w = z + w 4. z = (z) 5. z w = z w 7. |z|2 = z z 9. |z + w|

6. z1 = (z)1 , si z = 0 8. |z w| = |z| |w| |z| + |w|

Demostrar que si z, z C, se verica que:

1 |z|2 + |z |2 = (|z + z |2 + |z z|2 ) 2

21

Aplicando la propiedad |z|2 = zz, obtenemos:

1 1 (|z + z |2 + |z z|2 ) = ((z + z )(z + z ) + (z z)(z z )) 2 2 1 = ((z + z )(z + z ) + (z z)(z z )) 2 1 = (zz + zz + z z + z z + zz zz z z + z z ) 2 1 = (2zz + 2z z ) = zz + z z = |z|2 + |z |2 2

Anteriormente hemos visto que los nmeros reales representan los puntos de una recta mientras que los nmeros complejos son los puntos del plano. La parte real se representa en el eje de abcisas o eje real, y los mltiplos de i como puntos del eje imaginario, perpendicular al eje real en el origen. A esta representacin geomtrica se la conoce como el Diagrama de Argand. Si z = (a, b) y w = (c, d) son dos nmeros complejos, determinan un paralelogramo, tal que dos de sus lados son los segmentos rectilneos de (0, 0) a z y de (0, 0) a w. El vrtice opuesto a (0, 0) es el nmero complejo z + w. Luego la suma de nmeros complejos se corresponde grcamente con la suma de vectores. Observamos esta representacin en la Figura 1.8. La interpretacin geomtrica del producto es ms complicada y para ayudar a intuir la interpretacin introducimos una nueva forma de representar los nmeros complejos. El producto de nmeros complejos no es ni el producto escalar de vectores ni el producto vectorial. Suponemos que z y w son dos nmeros complejos diferentes de cero. Observamos que si z = 0 o bien w = 0 entonces z w = 0. Para cualquier z C, z = 0 podemos escribir z = |z| donde |z| es un nmero real positivo y z |z|

z es un nmero complejo de mdulo 1, porque |z| z |z| = =1 |z| |z|

Pero, adems, cualquier nmero complejo z = a + bi con |z| = 1 se puede escribir como z = (cos , sen ) = cos + i sen por lo tanto, cualquier nmero complejo z = 0 se puede escribir como z = r(cos + i sen ) con r > 0. Esta expresin se denomina forma trigonomtrica de un nmero complejo. El nmero r es nico (es |z|) pero no es nico; si una posibilidad es 0 , que se denomina argumento y se escribe arg(z), entonces las otras son 0 + 2k siendo k Z.

22

Con el mdulo y el argumento se dene otra forma de representar los nmeros complejos, la forma polar. z = r Es interesante el ejemplo interactivo que muestra la Figura 1.9 pues en l podemos practicar las distintas expresiones de un mismo nmero complejo. La forma trigonomtrica de los nmeros complejos nos ayuda a dar la interpretacin geomtrica del producto. Si z y w son dos nmeros complejos diferentes de cero tales que z = r(cos + i sen ) w = s(cos + i sen ) entonces, z w = rs(cos + i sen )(cos + i sen ) = rs[(cos cos sen sen ) + y(sen cos + cos sen )] = rs [cos( + ) + i sen( + )]

23

Por lo tanto, el nmero complejo z w es un nmero de mdulo, el producto de los mdulos de z y de w y de argumento, la suma de los argumentos de z y w. Obsrvese la interpretacin geomtrica en la Figura 1.10.

Si z y w son dos nmeros complejos, entonces se cumple: 1. arg(zw) = arg(z) + arg(w) 2. arg(z1 ) = arg(z), si z = 0 z = arg(z) arg(w), si w = 0 3. arg w por lo tanto, si z = r y w = s podemos escribir z w = (|z| |w|) + z r z = = w s w siendo y ngulos del intervalo [0, 2 ).

24

Para el clculo de potencias y races de nmeros complejos conviene tener la expresin del nmero en forma trigonomtrica o polar, por lo tanto es interesante dado un nmero complejo saber pasar de la forma binmica o cartesiana a la forma polar o trigonomtrica y viceversa. En el curso de Clculo en la plataforma Moodle se puede practicar con ejercicios interactivos el cambio de expresin de los nmeros complejos, de coordenadas cartesianas a polares y viceversa. Ver Figuras 1.11 y 1.12. Dada la forma trigonomtrica es sencillo encontrar la forma binmica o cartesiana de un nmero complejo z = r(cos + i sen ) = r cos + ir sen = a + bi = (a, b) siendo a = r cos b = r sen

Supongamos ahora que tenemos un nmero complejo en forma binmica. Buscamos su mdulo y calculamos el argumento. z = a + bi = |z|(cos + i sen )

25

por lo tanto, a = |z| cos b = |z| sen Si a = 0 entonces = Si a = 0 entonces b sen b = = arctan a cos a Fijmonos que existen dos ngulos en [0, 2 ) con el mismo valor de la tangente. Para encontrar el valor correcto de debemos tener en cuenta los signos de a y de b. Si a y b tienen el mismo signo, la tangente es positiva y el ngulo se encuentra o bien en el primer cuadrante (si a > 0 y b > 0), o bien en el tercero (si a < 0 y b < 0). Las Figuras 1.13 y 1.14 muestran grcamente estas observaciones. Si a y b tienen signos diferentes, la tangente es negativa y el ngulo se encuentra en el segundo cuadrante (a < 0 y b > 0) o en el cuarto (a > 0 y b < 0).

3 si b > 0 y = si b < 0. 2 2

26

Expresar en forma polar el nmero complejo z = 1 i 3.

En primer lugar debemos calcular el mdulo y el argumento del nmero complejo z. |z| = (1)2 + ( 3)2 = 1 + 3 = 4 = 2 3 = arctan = arctan( 3) 1 Como a = 1 > 0 y b = 3 < 0

=
y, por lo tanto,

5 3

z = 2 5
3

27

Si x R, se dene la exponencial compleja como eix = cos x + i senx

z = |z|(cos + i sen )

Dado un nmero complejo z, se puede expresar en forma trigonomtrica como

De la denicin de exponencial compleja se deduce z = |z|ei y a esta expresin se denomina forma exponencial de un nmero complejo. En el curso de Clculo en la plataforma Moodle se puede practicar esta expresin de los nmeros complejos de manera interactiva. Ver Figura 1.15.

28

z = r(cos + i sen )

Sea z un nmero complejo, z = 0

entonces, si n N se cumple, zn = |z|n (cos n + i sen n ) expresin que se conoce como frmula de De Moivre.

Aplicamos el mtodo de induccin para demostrar la frmula de De Moivre. Si n = 1, expresando el nmero complejo en forma trigonomtrica, tenemos
z = |z|(cos + i sen ) Supongamos que la frmula se cumple para un determinado valor n, veamos si se cumple para n + 1. zn+1 = zn z = |z|n (cos n + i sen n )|z|(cos + i sen ) = de donde se deduce que la frmula es cierta para cualquier valor n N. |z|n+1 (cos(n + 1) + i sen(n + 1) )

29

Si z C y n N, se dice que el nmero complejo u es una raz n-sima de z si se cumple z = un .

Todo nmero complejo no nulo tiene exactamente n races n-simas complejas, que se calculan de la siguiente manera: Si z = |z|(cos + i sen ), entonces, los uk C tales que un = z son k uk = (|z|) n (cos k + i sen k ) con
1

k =

+ 2k n

k = 0, 1, . . . , n 1

Observamos que estos nmeros complejos son todos diferentes, puesto que dos argumentos k cualesquiera con k = 0, 1, . . . , n 1 dieren en menos de 2 .

30

Sea = x(cos + i sen ) donde s = | |. Un nmero complejo z = r(cos + i sen ) satisface que zn = si y solo si se verica,
rn (cos n + i sen n ) = s(cos + i sen ) donde rn = s cos n + i sen n = cos + i sen

De la primera ecuacin rn = s obtenemos que el mdulo ser r= ns y de la segunda ecuacin tendremos n = + 2 k con lo cual,

+ 2 k = k = n n Recprocamente, si consideramos r = s y = k para algn k, tendremos que z = r(cos + i sen ) satisface la condicin zn = .

Ahora nos falta determinar que el nmero de races n-simas de es exactamente n. Tendremos suciente con ver cules de estos z son distintos y que en total hay n diferentes. Pero,

k =

+ 2 k () + 2(nq) + 2k 2 k = = + 2q + n n n n

() ya que para algn q Z entre 0 y n 1 y algn k Z podremos escribir k = nq + k (divisin euclidiana). Entonces, cos k + i sen k = cos k + i sen k Y esto quiere decir que todo z que satisface zn = se puede escribir como: zk = n s(cos k + i sen k ) para k = 0, , n 1.

Resolver en el cuerpo C de los nmeros complejos la ecuacin

z3 i = 1 Este problema se puede reducir al clculo de las races cbicas de un nmero complejo. En efecto, de la ecuacin dada se deduce que z= 3 1+i

Expresamos el nmero 1 + i en forma trigonomtrica:

31

1+i =

+ i sen 2 cos 4 4

Por lo tanto, las tres races que estamos buscando son los nmeros complejos de mdulo
3

6 2= 2

y argumentos:

+ 0 (2 ) 0 = 4 = 4 + 1 (2 ) = 1 = 4 4 + 2 (2 ) 2 = 4 = 4

12
3 4 17 12

Estos tres puntos del plano que denominamos z0 1 y z2 estn sobre una misma circunferencia ,z centrada en el origen de coordenadas y de radio 6 2, tal y como se puede visualizar interactivamente en el ejercicio de la plataforma Moodle que muestra la Figura 1.16. La Figura 1.17 muestra un ejemplo interactivo para practicar con las races de nmeros complejos. Observamos que existen polinomios con coecientes reales que no tienen solucin, por ejemplo x2 + 1 = 0. El teorema fundamental del lgebra establece el hecho que la introduccin del nmero complejo i proporciona soluciones a cualquier ecuacin polinmica con coecientes complejos.

Cualquier ecuacin

a0 , a1 , . . . , an1 C

zn + an1zn1 + . . . + a0 = 0,

tiene todas sus n soluciones (contadas con su multiplicidad) en el cuerpo de los complejos.

Ejercicios resueltos

Determinar el conjunto de los nmeros reales que cumplen: {x R : |x + 1| + |x + 2| < 3}

32

En este ejercicio tenemos la suma de dos valores absolutos. Para poder trabajar ms cmodamente, eliminaremos el valor absoluto de x + 1 aplicando la denicin. Si x + 1 0x 1 |x + 1| + |x + 2| < 3 x + 1 + |x + 2| < 3 |x + 2| < 2 x que equivale a x2 < x+2 < 2x Estudiamos las dos desigualdades separadamente y consideramos la interseccin de los resultados correspondientes. x + 2 < 2 x 2x < 0 x < 0 x 2 < x + 2 2 < 2 (cierto) Luego, {x R : |x + 2| < 2 x} = (, 0) [1, +) = [1, 0)

33

Si x + 1 < 0 x < 1 |x + 1| + |x + 2| < 3 x 1 + |x + 2| < 3 |x + 2| < 4 + x que equivale a 4 x < x + 2 < 4 + x Estudiamos las dos desigualdades separadamente y consideramos la interseccin de los resultados correspondientes. x + 2 < 4 + x 2 < 4 (cierto)

4 x < x + 2 6 < 2x 3 < x Por lo tanto, {x R : |x + 2| < 3 + x} = (, 1) (3, +) = (3, 1) As pues, {x R : |x + 1| + |x + 2| < 2} [1, 0) (3, 1) = (3, 0)

34

Determinar el conjunto de los nmeros reales que cumplen: {x R : |x2 6| < |x|}

En esta desigualdad aparecen dos valores absolutos. Eliminaremos el valor absoluto de x aplicando la denicin. Si x 0 |x2 6| < x x < x2 6 < x

que equivale a

luego, estudiamos las dos desigualdades separadamente y consideramos la interseccin de los resultados correspondientes.

x < x2 6 x2 + x 6 > 0 (, 3) (2, +) x2 6 < x x2 x 6 < 0 (2, 3) Por lo tanto, {x R : |x2 2| < x} = ((, 3) (2, +)) (2, 3) = (2, 3) Si x < 0 que equivale a |x2 6| < |x| |x2 6| < x x < x2 6 < x

Estudiamos las dos desigualdades separadamente y consideramos la interseccin de los resultados correspondientes. x2 6 < x x2 + x 6 < 0 (3, 2) Por lo tanto, {x R : |x2 2| < x} = ((, 2) (3, +)) (3, 2) = (3, 2) As pues, {x R : |x2 2| < |x|} = (3, 2) (2, 3) x < x2 6 x2 x 6 > 0 (, 2) (3, +)

Calcular los valores z C tales que z,

3 y 2 z tengan el mismo mdulo. z

35

Si z = x + yi tendremos:

3 3 = = z |z|

|z| =

x2 + y2 3 x2 + y2 (2 x)2 + y2

|2 z| = |(2 x) yi| = Igualando las expresiones:

x2 + y2 = x2 + y2 =

3 x2 + y2

x2 + y2 = 3

4x = 4 x = 1 Debemos encontrar el valor de y que cumple

(2 x)2 + y2 x2 + y2 = 4 4x + x2 + y2

x=1 x2 + y2 = 3 De donde se deduce

1 + y2 = 3 y2 = 2 y = 2

por lo tanto, los nmeros complejos que cumplen las condiciones son: z1 = 1 + 2i z2 = 1 2i

Expresar en forma binmica la suma: S = 1+ 1 1 1 1 + + + + 2 3 1 + i (1 + i) (1 + i) (1 + i)20

36

Esta suma corresponde a la suma de los veinte primeros trminos de la progresin geomtrica de 1 razn luego utilizaremos la frmula 1+i Sn = siendo a0 = 1, an = 1 1 yr= (1 + i)20 1+i a0 an r 1r

Calculamos el mdulo y el argumento del nmero 1 + i. |1 + i| = 12 + 12 = 2;

= arctan

1 = 1 4

Por lo tanto, aplicando la frmula de De Moivre: (1 + i)20 = ( 2)20 20 = ( 2)20 5

4

Calculamos, pues, la expresin binmica de la suma. 1 1 1 1 1 (1 + i) 20 1 + i 21 (1 + i) (1 + i) (1 + i)20 S20 = = = i 1 i 1 1+i 1+i (1 + i) ( 2 )20 i i(1 + i) + i( 220 )5 4 = = i i 1 20 = (1 i) + i 2 (cos(5 ) + sen(5 )i) 20 = (1 i) + i( 2) (1) 20 = 1 (( 2) + 1)i 1

Consideramos la ecuacin siguiente en el cuerpo C de los nmeros complejos: z3 + (1 2i)z2 + (1 + 9i)z 2(1 + 5i) = 0 a) Demostrar que tiene una solucin real y calcularla. b) Buscar las otras soluciones de la ecuacin. c) Demostrar que el tringulo que determinan las tres soluciones de la ecuacin es issceles.

37

Se trata de resolver una ecuacin de tercer grado en el cuerpo de los nmeros complejos. Recordar que si un polinomio a coecientes reales tiene una raz compleja tambin es raz su conjugada. En este caso esto no pasa porque el polinomio tiene coecientes complejos. a) Suponemos z = r con r real. Tendremos: r3 + (1 2i)r2 + (1 + 9i)r 2(1 + 5i) = 0 que separando la parte real y la parte imaginaria ser: (r3 r2 r 2) + (2r2 + 9r 10)i = 0 r3 r2 r 2 = 0 2r2 + 9r 10 = 0

Por lo tanto, r deber cumplir las ecuaciones:

Resolviendo la segunda ecuacin tenemos que r = 2 o bien r = 2,5. Pero r = 2,5 no cumple la primera ecuacin, por lo tanto, la solucin real de la ecuacin es r=2 b) Dividimos el polinomio por z 2. La ecuacin que debemos resolver se transforma en: es decir, z2 + (1 2i)z + (1 + 5i) = 0 que es una ecuacin de segundo grado. z= (1 2i) = (z 2)(z2 + (1 2i)z + (1 + 5i)) = 0

(1 2i)2 4(1 + 5i) (1 2i) 7 24i = = 2 2 2 + 3i 1i

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

c) Comprobamos que la distancia de z2 a z1 es la misma que la de z2 a z3 teniendo en cuenta que la distancia se dene como d(z1 , z2 ) = |z1 z2 |. d(z2 , z1 ) = |z2 z1 | = |(2 + 3i) 2| = | 4 + 3i| = = (3)2 + 42 = 5 (4)2 + 32 = 5

(hemos calculado 7 24i resolviendo el sistema resultante de plantear la ecuacin (a + bi)2 = 7 24i, pero tambin se puede calcular pasando el nmero 7 24i a forma trigonomtrica y calculando la raz.) As, pues, las tres soluciones de la ecuacin son: z1 = 2, z2 = 2 + 3i y z3 = 1 i.

d(z2 , z3 ) = |z2 z3 | = |(2 + 3i) (1 i)| = | 3 + 4i| =

38

Problemas propuestos

Denir conjunto ordenado. Dar un ejemplo. Expresar en forma de intervalos los siguientes conjuntos de nmeros reales: a) {x R : 2 |2x 6|}

b) {x R : |x + 1| > |x 2|}

Expresar en forma de intervalo el siguiente conjunto de nmeros reales A = {x R : ||x + 1| |x 1|| < 1}

Expresar en forma de intervalo el siguiente conjunto de nmeros reales xR: x2 + 6x 1 <1 (x + 3)2

Encontrar el lugar geomtrico de los puntos z C tales que z + z < |z|. Determinar el lugar geomtrico de los puntos del plano z C tales que la razn de distancias de z a los puntos 1 y 1 tiene valor constante 2. Encontrar para qu valores de n N, z = ( 3 + i)n es un nmero real positivo. Calcular (8) 3 en el conjunto de los nmeros complejos C y expresar el resultado en forma binmica. Sea z C el punto del plano z = 24 + 23i 1 + i. Calcular z2/3 . 10 5i 5 2i 6
1

Calcular en el cuerpo de los nmeros complejos

6

Sean z1 y z2 las soluciones de la ecuacin z2 2z + 5 = 0 en el cuerpo de los nmeros complejos. Calcular 3 z1 + z2 . Demostrar que, si z1 y z2 son las soluciones complejas de la ecuacin ax2 + bx + c = 0 (b2 < 4ac), z1 z2 entonces z2 y z1 son nmeros complejos conjugados de mdulo 1.

Test de autoevaluacin
Creemos interesante para el lector de este texto realizar el test de autoevaluacin que se encuentra en la pgina de Moodle asociada al curso. El estudiante puede visualizar la correccin del test y recomendamos que en caso de no obtener resultados satisfactorios se practique de nuevo con los ejercicios interactivos correspondientes a este captulo. A continuacin se muestra una de las preguntas del test.

39