Los sistemas de Numeros

Reales y Complejos

H. Sira-Ramrez
CINVESTAV-IPN
Departamento de Ing. Electrica
Mexico, D.F., Mexico

Mexico, Mayo 2007

La referencia basica, de la cual se han extraido
estas notas, es el libro

W. Rudin Principles of Mathematical Analysis,

3a Edicion. McGraw Hill Book Co. New York,
1964.

De lectura ampliamente recomendada:

Captulo 3 del libro

R. Penrose El camino a la Realidad: Una gua

completa de las leyes del universo, Editorial
Debate, Mexico 2007.

1
El concepto de numero es esencial en una dis-
cusion de los principales conceptos del analisis
(tales como: convergencia, continuidad, difer-
enciacion e integracion)

Los numeros racionales forman un campo

que identificamos con Q y esta constituido por
todos los numeros expresables mediante el co-
ciente de dos enteros cuyo denominador es no
nulo

m
Q = {p | p = , m N, n N, n 6= 0}
n

Los numeros racionales son insuficientes en

muchos sentidos, en especial; como conjunto
de numeros ordenados y como campo. Por
ejemplo, no existe un numero racional, p, cuyo
cuadrado, p2, sea 2. Esto nos lleva a introducir
los numeros irracionales que a menudo se
escriben como expansiones decimales infinitas.
2
En ocasiones consideramos que los numeros
irracionales se aproximan por numeros dec-
imales finitos correspondientes. As pues, la
sucesion:

1, 1.4, 1.41, 1.414, 1.4142, . . .

tiende a 2. A menos que hayamos definido

claramente el numero irracional 2, la pre-
gunta que debemos contestar es: A que tiende
esta sucesion ? Esta pregunta se puede con-
testar tan ponto como hayamos construido el
llamado sistema de numeros reales.

3
Ejemplo

Demostramos que la ecuacion

p2 = 2 (1)
no se satisface por ningun racional p.

Si tal p existiese, pudiesemos escribirlo como

p = m/n, siendo m y n numeros enteros que
no pueden ser ambos pares. Supongase que
esto es cierto, entonces

m2 = 2n2 (2)
Esto demuestra que m2 es par. Por lo tanto m
es par (si m hubiese sido impar, su cuadrado,
m2, habra sido tambien impar). De tal forma
que m2 es divisible por 4. Se sigue que el
miembro derecho de (2) es divisible por 4 de
tal forma que n2 es par.

4
La suposicion de que (1) es valido nos lleva a
la conclusion de que ambos, m y n son pares,
lo cual es contrario a nuestra escogencia de
ambos numeros. Por lo tanto (1) es imposible
para cualquier racional p.

Examinemos la situacion en mas detalle. Sea

A el conjunto de todos los numeros racionales
positivos p tales que p2 < 2 y sea B el con-
junto de todos los numeros racionales positivos
p tales que p2 > 2. Demostraremos que A no
contiene un elemento que sea el mas grande
(mayorante) y que B no contiene un elemento
que sea el mas pequeno (minorante).

A = {p Q, p > 0 | p2 < 2}

B = {p Q, p > 0 | p2 > 2}

5
Explcitamente, para cada p A podemos hal-
lar un racional q A tal que p < q y por cada
p B podemos hallar un racional q B tal que
q < p. Para lograr esto, asociamos con cada
racional positivo p > 0 el numero:
p2 2 2p + 2
q =p = (3)
p+2 p+2
entonces
2(p2 2)
q2 2= (4)
(p + 2)2

Entonces, si p A es claro que p2 2 < 0 y

la ecuacion (3) demuestra que q > p mientras
que (4) claramente establece que q 2 < 2. Por
lo tanto q A.

Por otra parte, si p B entonces p2 2 > 0 y

(3) demuestra que 0 < q < p y (4) demuestra
que q 2 > 2. Por lo tanto q B.

6
La discusion anterior nos demuestra que el sis-
tema de numeros racionales tiene ciertas la-
gunas o intersticios a pesar del hecho, facil-
mente demostrable, que entre dos racionales
cualesquiera existe otro racional: Si r < s en-
tonces r < (r + s)/2 < s. Los numeros reales
rellenan tales intersticios.

Este hecho constituye la razon fundamental

por la cual los numeros reales juegan un pa-
pel importante en el analisis.

Empezaremos con una discusion breve de con-

ceptos generales tales como los de conjuntos
ordenados y campos.

7
Terminologa
Si A es un conjunto (cuyos elementos pueden ser numeros,
u objetos cualquiera) escribimos :

xA
para indicar que x es un miembro (o un elemento) de
A. Si x no es un miembro de A escribimos entonces:

x
/A

El conjunto que no contiene elemento alguno recibe el

nombre de conjunto vaco y se denota por . Si el
conjunto tiene al menos un elemento, se llamara no
vaco.

Si A y B son conjuntos y cada elemento de A es un

elemento de B, decimos que A es un subconjunto de
B y escribimos A B, o B A. Si, ademas, existe
un elemento de B que no esta en A entonces A es un
subconjunto propio de B. Notese que para todo A,
A A.

Si A B y B A entonces A = B, de otra forma A 6= B.

8
Conjuntos Ordenados

Definicion 1 Sea S un conjunto. Una relacion

de orden, o simplemente, un orden sobre S es
una relacion, expresada mediante el smbolo <,
con las siguientes propiedades:

(i) Si x S e y S entonces uno, y solo uno,

de los siguientes enunciados es cierto
x < y, y < x, x=y

(ii) si x, y, z S y si x < y y y < z entonces

x < z.

El enunciado x < y se lee: x es menor que

y o x es inferior a y o x precede a y.

A menudo es conveniente escribir y > x en

lugar de x < y.

La notacion x y indica que x < y o que x = y,

sin especificar cual de los dos enunciados es
valido. En otras palabras x y es la negacion
de x > y.
9
Definicion 2 Un conjunto ordenado es un con-
junto S en el cual se ha definido un orden.

Ejemplo: Q, el conjunto de los numeros racio-

nales, es un conjunto ordenado si r < s se de-
fine como equivalente a que sr sea un numero
racional positivo.

Definicion 3 Supongase que S es un conjunto

ordenado y E S. Si existe un S tal que
x para todo x E decimos que E es un
conjunto superiormente acotado o acotado por
arriba o acotado por encima y le damos a el
nombre de cota superior de E.

Las cotas inferiores se definen de manera sim-

ilar (con el smbolo , en lugar de ).

10
Definicion 4 Supongase que S es un conjunto
ordenado E S y que E esta superiormente
acotado. Supongase que existe un S que
satisface las siguientes propiedades:

(i) es una cota superior de E

(ii) Si < entonces no es una cota superior

de E.

Entonces llamamos a la cota superior mnima

de E, o el supremo de E [que existe cuando
mas un tal es claro de (ii)] y escribimos
= sup E

La mayor cota inferior o el nfimo de un con-

junto E que se encuentra acotado inferiormente
o que esta acotado por debajo se define de la
misma manera: El enunciado
= inf E
significa que es una cota inferior de E y que
no existe > que tambien sea una cota in-
ferior de E.
11
Ejemplos

(a) Considere los conjuntos A y B de la pagina

4 como subconjuntos del conjunto ordenado Q.
El conjunto A esta acotado superiormente. De
hecho, las cotas superiores de A son, exacta-
mente, los elementos del conjunto B. Puesto
que B no contiene un elemento inferior a todos
A no tiene una cota superior mnima en Q.

En forma similar, B esta acotado por debajo:

El conjunto de todas las cotas inferiores de B
consiste precisamente de A y de todo r Q con
r 0. Puesto que A no tiene un elemento su-
perior a todos B no tiene cota inferior maxima
en Q.

12
(b) Si = sup E existe, entonces pueda que
sea o no elemento de E. Por ejemplo, Sea E1
el conjunto de todos los r Q, con r < 0. Sea
E2 el conjunto de todos los r Q con r 0.
Entonces

sup E1 = sup E2 = 0
y, sinembargo, 0
/ E1 y 0 E2.

(c) Sea E el conjunto de todos los numeros

1/n, donde n = 1, 2, 3, . . .. Entonces sup E = 1
se encuentra en E, e inf E = 0, no se encuentra
en E.

13
Definicion 5 Un conjunto ordenado S se dice
tener la propiedad de cota superior mnima si
lo siguiente es cierto:

Si E S, con E no vaco, y E esta acotado

superiormente, entonces sup E existe en S.

El ejemplo (a) de la pagina 11 demuestra que

Q no tiene la propiedad de cota superior mnima.

Demostraremos que existe una relacion entre

cotas inferiores maximas y cotas superiores mni-
mas y que todo conjunto ordenado con la propie-
dad anterior (propiedad de cota superior mnima)
tambien disfruta de una propiedad que llamamos
la propiedad de cota inferior maxima.

14
Teorema Supongase que S es un conjunto
ordenado con la propiedad de cota superior
mnima. Sea B S, con B no vaco y B aco-
tado inferiormente. Sea L el conjunto de todos
las cotas inferiores de B. Entonces

= sup L
existe en S y = inf B. En particular, inf B
existe en S.

Demostracion Puesto que B esta acotado por

debajo, L no es vaco. Puesto que L consiste
exactamente de aquellos y S que satisfacen
la desigualdad y x para cada x B, vemos
que cada x B es una cota superior de L.
As L esta acotado superiormente. Nuestra
hipotesis sobre S implica por tanto que L tiene
un supremo en S; llamemosle .

15
Si < entonces no es una cota superior de
L y por tanto / B. Se sigue que x para
cada x B. As entonces L.

Si < entonces
/ L, puesto que es una
cota superior de L.

Hemos demostrado que si L pero / L

si > . En otras palabras, es una cota
inferior de B, pero no lo es si > . Esto
significa que = inf B.

16
Campos

Un campo es un conjunto F provisto de dos

operaciones: suma o (adicion) y producto (o
multiplicacion) que satisfacen los siguientes ax-
iomas

Axiomas de la adicion

A.1 Si x F e y F entonces x + y F .
A.2 La operacion de adicion es conmutativa
x + y = y + x, y, x F
A.3 La suma es asociativa
(x + y) + z = x + (y + z), x, y, z F
A.4 F contiene un elemento llamado cero y
denotado mediante 0, tal que:
0 + x = x, x F
A.5 A cada elemento x F le corresponde un
elemento llamado opuesto, designado por x
y perteneciente a F tal que
x + (x) = 0
17
Axiomas de la multiplicacion

M.1 Si x F e y F , el producto xy F

M.2 La multiplicacion es conmutativa

xy = yx, x, y F

M.3 La multiplicacion es asociativa

(xy)z = x(yz), x, y, z F

M.4 F contiene un elemento, llamado unidad,

y designado mediante 1 tal que

1x = x, xF
M.5 Si x F y x 6= 0 entonces existe un ele-
mento 1/x llamado el inverso tal que

x(1/x) = 1

18
Ley Distributiva

D.
x(y + z) = xy + xz

es valida para todo x, y, z F

Proposicion 6 Los axiomas de la adicion im-

plican los siguientes enunciados

(a) Si x + y = x + z entonces y = z (ley de

cancelacion)

(b) Si x + y = x entonces y = 0 (unicidad del

cero)

(c) Si x + y = 0 entonces y = x (unicidad del

opuesto)

(d) (x) = x (ley del opuesto del opuesto)

19
Demostracion

Si x + y = x + z los axiomas en A implican

y = 0 + y = (x x) + y = x + (x + y) =
x + (x + z) = (x + x) + z = 0 + z = z. Esto
demuestra (a)

Si tomamos z = 0 tenemos x + y = x en-

tonces y = 0. Esto demuestra (b).

Si hacemos z = x, x + y = 0 implica que

y = x. Esto demuestra (c).

Puesto que x + x = 0 tomamos x en lugar

de x y entonces (x)+(x) = 0, (x)x =
0, (x) = x. Esto demuestra (d).

20
Proposicion 7 Los axiomas de multiplicacion
implican

(1) Si x 6= 0 y xy = xz entonces y = z (can-

celacion).

(2) Si x 6= 0 y xy = x entonces y = 1 (unicidad

del 1).

(3) Si x 6= 0 y xy = 1 entonces y = 1/x (unici-

dad del opuesto).

(4) Si x 6= 0 entonces 1/(1/x) = x (opuesto

del opuesto).

21
Demostracion

1) y = 1y = x(1/x)y = 1/xxy = 1/xxz =

x(1/x)z = 1z = z. Esto demuestra (1).

2) En xy = xz tomamos z = 1, entonces xy =
x implica y = z = 1. Esto demuestra (2).

3) En xy = xz tomemos z = 1/x. Entonces

xy = x(1/x) = 1 lo cual implica y = z = 1/x.
Esto demuestra (3).

4) Dado que x(1/x) = 1 tomamos 1/x en lugar

de x entonces (1/x)(1/(1/x)) = 1 implica que
x = 1/(1/x). Esto demuestra (4).

22
Proposicion 8 Los axiomas del campo impli-
can los siguientes enunciados para cualesquiera
x, y, z F .

(a) 0x = 0.

(b) Si x 6= 0 e y 6= 0 entonces xy 6= 0.

(c)(x)y = (xy) = x(y).

(d) (x)(y) = xy

Demostracion

0x + 0x = (0 + 0)x = 0x entonces la unicidad

del cero demuestra que 0x = 0 y (a) es cierto.

1 = (1/y)(1/x)xy = (1/y)(1/x)0 = 0 lo cual

es una contradiccion de tal modo que (b) es
cierto.
23
 La primera igualdad en (c) proviene de

(x)y + xy = (x + x)y = 0y = 0
en combinacion con la ley del opuesto. La otra
parte de (c) se demuestra de la misma manera.

Finalmente (x)(y) = [x(y)] = [(xy)] =

xy por (c) y la ley del opuesto del opuesto.

24
Definicion 9 Un campo ordenado es un campo
F que ademas es un conjunto ordenado tal que:

(i) x + y < x + z si x, y, z F e y < z.

(ii) xy > 0 si x, y F , x > 0, y > 0.

Si x > 0 llamamos a x positivo, si x < 0 lla-

mamos a x negativo.

Q es un campo ordenado.

Todas las reglas familiares para trabajar con

desigualdades aplican en cada campo ordenado:

Multiplicacion por cantidades positivas (nega-

tivas) preservan (revierten) las desigualdades.
Ningun cuadrado es negativo, etc.

25
Proposicion 10 Los siguientes enunciados son
ciertos en cualquier campo ordenado

(a) Si x > 0 entonces x < 0 y viceversa.

(b) Si x > 0 y y < z entonces xy < xz.

(c) Si x < 0 y y < z entonces xy > xz.

(d) Si x 6= 0 entonces x2 > 0. En particular,

1 > 0.

(e) Si 0 < x < y entonces 0 < 1/y < 1/x.

26
Demostracion

(a) Si x > 0 entonces 0 = x + x > x + 0,

de tal forma que x < 0. Si x < 0 entonces
0 = x + x < x + 0 de tal forma que x > 0.
Esto demuestra (a).

(b) Puesto que z > y tenemos que z y >

y y = 0, por lo tanto x(z y) > 0 y entonces

xz = x(z y) + xy > 0 + xy = xy

(c) Por (a) y (b) y la proposicion anterior

[x(z y)] = (x)(z y) > 0

de tal forma que x(z y) < 0, por lo tanto
xz < xy.

27
(d) Si x > 0, la parte (ii) de la definicion
anterior significa que x2 > 0. Si x < 0 en-
tonces x > 0, por lo tanto (x)2 > 0. Pero
x2 = (x)2, por la proposicion anterior parte
(d). Puesto que 12 = 1, 1 > 0.

(e) Si y > 0 y v 0 entonces yv 0. Pero

y(1/y) = 1 > 0. Por lo tanto 1/y > 0. De
la misma forma, 1/x > 0. Si multiplicamos
ambos lados de la desigualdad x < y por la
cantidad positiva (1/x)(1/y) obtenemos 1/y <
1/x.

28
El campo de los numeros reales

El siguiente teorema representa la base funda-

mental del sistema de numeros reales

Teorema 11 Existe un campo ordenado R que

tiene la propiedad de cota superior mnima.
Ademas R contiene a Q como sub-campo.

La segunda aseveracion significa que Q R y

que las operaciones de suma y multiplicacion
en R, cuando se aplican a miembros de Q, co-
inciden con las operaciones usuales sobre los
numeros racionales; tambien, los numeros ra-
cionales positivos son elementos positivos de
R.

Los miembros de R reciben el nombre de nu-

meros reales.

29
Teorema 12 (a) Si x R, y R, y x > 0,
entonces existe un entero positivo n tal que
nx > y

(b) Si x R, y R, y x < y, entonces existe un

p Q tal que x < p < y.

La parte (a) recibe a menudo el nombre de

propiedad arquimedica de R. La parte (b) se
establece tambien diciendo que Q es denso en
R. Entre dos numeros reales cualesquiera existe
un racional.

30
Demostracion

(a) Sea A el conjunto de todos los nx donde

n toma valores en los numeros positivos. Si
(a) fuese falsa entonces y sera una cota supe-
rior de A pero en tal caso A tendra una cota
superior mnima en R. Hagamos = sup A.
Puesto que x > 0, x < y x no es una
cota superior de A. Por lo tanto x < mx
para algun entero positivo m. Pero entonces
< (m + 1)x A, lo cual es imposible, dado
que es una cota superior de A.

(b) Puesto que x < y, tenemos que y x > 0 y

(a) nos proporciona un numero positivo n tal
que
n(y x) > 1
Apliquemos (a) nuevamente, para obtener para-
metros positivos enteros m1 y m2 tales que
m1 > nx, m2 > nx. Entonces
m2 < nx < m1
31
Por lo tanto, existe un entero m (con m2
m m2) tal que

m 1 < nx < m
Si combinamos estas desigualdades obtenemos:

nx < m 1 + nx < ny
Puesto que n > 0, se sigue que
m
x< <y
n
Esto demuestra (b) con p = m/n.

Demostraremos ahora la existencia de raices

nesimas de numeros reales positivos.

32
Teorema 13 Por cada real x > 0 y cada en-
tero n > 0 existe un y solamente un real y tal
que y n = x.

Este numero se escribe n x o x1/n.

Demostracion

De que existe al menos un real y es claro puesto

que 0 < y1 < y2 implica que y1n < y2n.

Sea E el conjunto de todos los numeros reales

positivos t tales que tn < x.

Si t = x/(1 + x) entonces 0 < t < 1 y por lo

tanto tn < t < x. As pues t E y E no es
vaco.

Si t > 1 + x entonces tn > t > x de tal forma

/ E. As pues 1 + x es una cota superior
que t
de E.
33
De la propiedad de cota superior mnima de R
se sigue la existencia de

y = sup E

Para demostrar que y n = x demostraremos que

cada una de las desigualdades y n < x y y n > x
lleva a una contradiccion.

La identidad

bn an = (b a)(bn1 + bn2a + + an1)

conduce a la desigualdad

bn an < (b a)nbn1
cuando 0 < a < b.

34
Supongase que y n < x y escojamos h de tal
forma que 0 < h < 1 y

x yn
h<
n(y + 1)n1

Hagamos a = y, b = y + h. Entonces

(y+h)ny n < hn(y+h)n1 < hn(y+1)n1 < xy n

As pues (y + h)n < x y y + h E. Puesto que

y + h > y esto contradice al hecho de que y sea
una cota superior de E.

35
Supongase ahora que y n > x.

Hagamos

yn x
k=
ny n1

entonces 0 < k < y. Si t y k, concluimos

que

y n tn y n (y k)n < kny n1 = y n x

As tn > x y t / E. Se sigue que y k es

una cota superior de E. Pero y k < y, lo
cual contradice el hecho de que y es una cota
superior mnima de E. Por lo tanto y n = x.

36
Corolario 14 Si a y b son numeros reales pos-
itivos y n es un entero positivo, entonces

(ab)1/n = a1/nb1/n

Demostracion

Hagamos = a1/n, = b1/n. Entonces

ab = n n = ()n
puesto que la multiplicacion es conmutativa.
La aseveracion sobre la unicidad del teorema
anterior demuestra que

(ab)1/n = = a1/nb1/n

37
El sistema extendido de los numeros reales

Definicion 15 El sistema extendido de numeros

reales consiste del campo de los reales R y dos
smbolos + y . Preservamos el orden
original en R y definimos

< x < +
para cada x R.

Es claro que + es una cota superior de cada

subconjunto del sistema extendido de numeros
reales, y que cada subconjunto no vaco tiene
una cota superior mnima.

Si, por ejemplo, E es un conjunto no vaco de

numeros reales que no esta acotado por encima
en R entonces sup E = + en el sistema ex-
tendido de numeros reales.

Las mismas precisiones se aplican para cotas

inferiores.
38
El sistema extendido de los numeros reales no
forma un campo. Sinembargo se acostumbra
hacer las siguientes convenciones:

(a) Si x es real entonces

x x
x + = +, x = , = =0

(b) Si x > 0 entonces x (+) = +,

x () = .

(c) Si x < 0 entonces x (+) = ,

x () = +.

Cuando se desea distinguir entre numeros reales

por un lado y los smbolos + y por otro
lado, llamamos a los primeros finitos.

39
El campo de los numeros complejos

Definicion 16 Un numero complejo es un par

ordenado (a, b) de numeros reales. Ordenado
significa que (a, b) y (b, a) se consideran distin-
tos si a 6= b.

Sean x = (a, b), y = (c, d) dos numeros com-

plejos. Escribimos y = x si y solamente si a = c
y b = d.

Definimos

x + y = (a + c, b + d),
xy = (ac bd, ad + bc)

Teorema 17 Estas definiciones de suma y mul-

tiplicacion hacen del conjunto de los numeros
complejos un campo, C, con (0, 0) y (1, 0) en
el papel de 0 y 1.

40
Demostracion

Simplemente verificamos los axiomas dados para

un campo utilizando, naturalmente, la estruc-
tura de campo que ya tiene R.

Sean x = (a, b), y = (c, d), z = (e, f ).

(A.1) si x C e y C entonces x + y C. Es
claro.

(A.2) x+y = (a+c, b+d) = (c+a, d+b) = y+x

(A.3) (x+y)+z = (a+c, b+d)+(e, f ) = (a+c+

e, b + d + f ) = (a, b) + (c + e, d + f ) = x + (y + z).

(A.4) x + 0 = (a, b) + (0, 0) = (a + 0, b + 0) =

(a, b) = x.

(A.5) Hagamos x = (a, b) entonces x +

(x) = (0, 0) = 0
41
(M1) Es claro.

(M2) xy = (acbd, ad+bc) = (cadb, da+cb) =

yx

(M3) (xy)z = (ac bd, ad + bc)(e, f ) = (ace

bde adf bcf, acf bdf + ade + bce) = (a, b)(ce
df, cf + de) = x(yz).

(M4) 1x = (1, 0)(a, b) = (a0, b+0) = (a, b) =

x

(M5) Si x 6= 0 entonces (a, b) 6= (0, 0) lo cual

significa que al menos uno de los numeros reales
a,b es diferente de 0. Por lo tanto a2 + b2 > 0
y podemos definir

1 a b
= ,
x a2 + b2 a2 + b2
Entonces

1 a b
x = (a, b) 2 2
, 2 2
= (1, 0) = 1
x a +b a +b
42
(D) x(y + z) = (a, b)(c + e, d + f ) = (ac + ae
bd bf, ad + af + bc + be) = (ac bd, ad + bc) +
(ae bf, af + be) = xy + xz

Teorema 18 Para cualesquiera numeros reales

a y b tenemos

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

La demostracion es trivial.

Este teorema demuesra que los numeros com-

plejos de la forma (a, 0) tienen las mismas pro-
piedades artimeticas que los numeros reales
correspondientes a. Podemos, por tanto, iden-
tificar (a, 0) con a. Esta identificacion nos dice
que el campo de los numeros reales es un sub-
campo del campo de los numeros complejos.
43
Hemos definido los numeros complejos sin hacer
referencia a la misteriosa raiz cuadrada de -1.
Demostramos ahora que la notacion (a, b) es
equivalente a la mas tradicional a + bi.

Definicion 19 i=(0,1)

Teorema 20 i2 = 1

Demostracion

i2 = (0, 1)(0, 1) = (1, 0) = 1

Teorema 21 Si a y b son reales (a, b) = a + bi

Demostracion

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

44
Definicion 22 Si a y b son reales y z = a + bi
entonces el numero complejo z = a bi recibe
el nombre de conjugado de z. Los numeros a y
b constituyen la parte real y la parte imaginaria
de z, respectivamente.

Ocasionalmente escribimos

a = Re(z), b = Im(z)

Teorema 23 Si z y w son complejos, entonces

(a) z + w = z + w

(b) zw = z w

(c) z + z = 2Re(z), z z = 2Im(z).

(d) zz es real y positivo (excepto cuando z =

0.)

45
Demostracion

(a),(b) y (c) son triviales. Para demostrar (d)

escribimos z = a + bi y vemos que zz = a2 + b2.

Definicion 24 Si z es un numero complejo, su

valor absoluto | z | es la raiz cuadrada no neg-
ativa de zz; es decir, | z | = (zz)1/2.

La existencia y unicidad de | z | es clara en

virtud de (d) del teorema anterior a partir de
la existencia de raices cuadradas de numeros
reales.

Notese que cuando x es real, entonces x = x y

por tanto | x | = x2. As entonces | x | = x si
x 0, | x | = x si x < 0.

46
Teorema 25 Sean z y w numeros complejos.
Entonces

(a) | z | > 0 a menos que z = 0, | 0 | = 0,

(b) | z | = | z |

(c) | zw | = | z || w |,

(d) | Re(z) | | z |,

(e) | z + w | | z | + | w |.

47
Demostracion

(a) y (b) son triviales. Hagamos z = a + bi,

w = c + di con a, b, c, d reales. Entonces

| zw |2 = (ac bd)2 + (ad + bc)2

= (a2 + b2)(c2 + d2) = | z |2| w |2

o | zw |2 = (| z || w |)2. Ahora (c) se sigue de

la unicidad de la raiz cuadrada.

Para demostrar (d), notese que a2 a2 + b2,

por lo tanto
q q
|a|= a2 a2 + b2

48
Para demostrar (e) notese que zw es el con-
jugado de zw, de tal forma que zw + zw =
2Re(zw). Por lo tanto

| z + w |2 = (z + w)(z + w)
= zz + zw + zw + ww
= | z |2 + 2Re(zw) + | w |2
| z |2 + 2| zw | + | w |2
= | z |2 + 2| z || w | + | w |2
= (| z | + | w |)2
(e) se sigue de tomar raices cuadradas.

Notacion Si x1, . . . , xn son numeros complejos,

escribimos
n
X
x1 + x2 + + xn = xj
j=1
Concluimos esta parte con una desigualdad im-
portante, conocida como desigualdad de Schwarz.
49
Teorema 26 Si a1, . . . , an y b1, . . . , bn son numeros
complejos, entonces
2
X
n n
X
2 n
X
2

aj bj aj bj

j=1 j=1 j=1

Demostracion
P P
Hagamos A = | aj |2, B = | bj |2, C =
P
aj bj . Notese que si B = 0 entonces b1 =
= bn = 0 y la conclusion es trivial. Supon-
gamos entonces que B > 0. Tenemos:
X X
| Baj Cbj |2 = (Baj Cbj )(Baj Cbj )
X X
= B2 | aj |2 BC aj bj
X X
BC aj bj + | C |2 | bj |2
= B 2A B| C |2
= B(AB | C |2)
Puesto que cada termino en la primera suma
es no negativo vemos que B(AB | C |2) 0
y dado que B > 0 se sigue que AB | C |2 0.

50
Espacios Eucldeos

Definicion 27 Para cada entero positivo k, sea

Rk el conjunto de todas las k-tuplas ordenadas

x = (x1, x2, , xk )
donde x1,x2,. . .,xk son numeros reales, llama-
dos coordenadas, de x. Los elementos de Rk
reciben el nombre de puntos, o vectores, espe-
cialmente cuando k > 1. Designaremos a los
vectores mediante negritas.

Si y = (y1, . . . , yn) y si es un numero real

ponemos

x + y = (x1 + y1, x2 + y2, . . . , xk + yk )

y = (x1, x2, . . . , xk )
de tal forma que x + y Rk y x Rk . Esto
define la suma de vectores y la multiplicacion
de un vector por un numero real (un escalar).

51
Las dos operaciones definidas (suma de vec-
tores y multiplicacion por escalares) satisfacen
las leyes de la conmutatividad, asociatividad y
distributividad (la demostracion es semejante a
las leyes analogas que se establecieron para los
numeros reales) y contribuyen a hacer de Rk un
espacio vectorial sobre el campo de los reales.
El elemento cero de Rk (llamado a menudo
origen o vector nulo) es el punto 0 cuyas co-
ordenadas son todas cero.

Definimos tambien el producto interno (o

producto escalar) de x y y mediante
k
X
xy = xiyi
i=1
y la norma de x mediante
1/2
Xk
|x | = ( x x)1/2 = x2
i
1
La estructura constituida por el espacio vecto-
rial Rk y las definiciones de producto y norma
recibe el nombre de k-espacio eucldeo.
52
Teorema 28 Supongase que x, y, z Rk y
es un numero real. Entonces

(a) | x | 0;

(b) | x | = 0 si y solamente si x = 0;

(c) |x| = | || x |;

(d) | x y | | x || y |;

(e) | x + y | | x | + | y |;

(f) | x z | | x y | + | y z |.

53
Demostracion

(a), (b) y (c) son obvias y (d) es una conse-

cuencia inmediata de la desigualdad de Schwarz.

Gracias a (d) tenemos

| x + y |2 = (x + y) (x + y)
= x x + 2x y + y y
| x |2 + 2| x || y | + | y |2
= (| x | + | y |)2.
de tal manera que (e) queda demostrado. Fi-
nalmente, (f) se sigue de (e) reemplazando x
por x y e y por y z.

Los acapites (a), (b) y (f) del teorema anterior

nos permiten considerar a Rk como un espacio
metrico.
54
R1 (el conjunto de los numeros reales) recibe el
nombre de linea, recta o recta real. En forma
similar R2 se le llama plano o plano complejo.
En ambos casos, la norma coincide con el valor
absoluto del nmero real o complejo correspo-
diente.

55