Índice general

1 Números Reales y Complejos 1

1.1 Construcción de los números reales . . . . . . . . . . . . . . . . . . . 1
Suma y producto de números naturales . . . . . . . . . . . . . . . . . 3
Suma y producto de números racionales . . . . . . . . . . . . . . . . . 8
1.2 Los números reales como un sistema aximático . . . . . . . . . . . . . 12
Axiomas de campo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
El campo de los números reales . . . . . . . . . . . . . . . . . . . 16
Axiomas de orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Intervalos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
Axioma de completitud . . . . . . . . . . . . . . . . . . . . . . . . . . 24
La propiedad arquimediana de los números reales . . . . . . . . . . . 26
1.3 Números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Suma y producto de números complejos . . . . . . . . . . . . . . . . . 28
Representación geométrica de los números complejos . . . . . . . . . 29
Potencias de un número complejo . . . . . . . . . . . . . . . . . . 30
Radicales de un número complejo . . . . . . . . . . . . . . . . . . 32
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Bibliografia Capítulo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 35
 Índice de figuras

1.1 Construcción de números que no son racionales. . . . . . . . . . . . . 11

1.2 Representación geométrica de los números reales. . . . . . . . . . . . 12
1.3 Representación geométrica de los diferentes intervalos. . . . . . . . . . 23
1.4 Supremo del conjunto A. . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.5 Máximo del conjunto A. . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6 Representación del número complejo z como un punto del plano complejo. 29
1.7 Representación del número complejo z como un vector del plano
complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.8 Representación polar de los números complejos del Ejemplo 1.1 . . . 32
p
1.9 Representación geométrica de las raíces de 5 1 + i. . . . . . . . . . . . 34
 Capítulo 1

Números Reales y Complejos

Los números reales se los puede presentar de al menos dos maneras: (1): Construyendo
el conjunto R de los números reales a partir del conjunto N de los números naturales;
toda esta construcción se la hace planteando cada vez problemas que no son resolubles
en los conjuntos numéricos intermedios entre N y R. y (2): Presentando los axiomas
que cumple el conjunto de los números reales; es decir, exigiendo que el conjunto R
sea un campo ordenado y completo.
Este capítulo esta dividido en 3 secciones. La Sección 1.1 estudia de manera muy
rápida la construcción de los reales a pertir de los naturales. En la Sección 1.2 se
presenta los axiomas de campo, orden y completitud que caracterizan a los números
reales, a partir de estos axiomas se demuestran las propiedades aritméticas más
conocidas del conjunto de los números reales. Finalmente, en la Sección 1.3 se hace
una introducción muy rápida al conjunto C de los números complejos.

1.1 Construcción de los números reales

En esta sección explicamos de manera bastante intuitiva como se construye los
números reales a partir de los números naturales. Esta construcción se la realiza
planteando problemas que no son resolubles en un conjunto determinado, teniendo
que ampliar éste (para que la solución al problema sea positiva) con nuevos elementos
para obtener cada vez un conjunto más grande. Comenzamos esta construcción con
el conjunto numérico más pequeño; es decir, el conjunto de los números naturales.
Utilizamos el símbolo N para denotar al conjunto de los números naturales. Sea S
la función sucesor entre elementos del conjunto N; es decir, S(n) = n + 1 para todo
Capítulo 1. Números Reales y complejos

n 2 N. Admitimos que el conjunto N satisface las siguientes propiedades1 :

1. 0 2 N.

2. Para todo n 2 N se tiene que S(n) 2 N.

3. Para todo m, n 2 N se tiene que: m = n si y sólo si S(m) = S(n).

4. No existe n 2 N tal que S(n) = 0.

La formulación original de estas propiedades (axiomas), dadas por el matemático

italiano Giuseppe Peano utilizó 1 en lugar de 0 como el “primer” número natural. Esta
elección es arbitraria, ya que la primera propiedad no otorga al número 0 propiedades
adicionales. Sin embargo, como 0 es la identidad aditiva en aritmética, la mayoría
de las formulaciones modernas de los axiomas de Peano comienzan desde 0. Las
propiedades 1, 2, 3 y 4 definen una representación unaria de la noción intuitiva de
los números naturales: el número 1 se puede definir como S(0), 2 como S(S(0)), etc.
Sin embargo, considerando la noción de número natural como definido por estas
propiedades, las propiedades 1, 2, 3, 4 no implican que la función sucesor genere todos
los números naturales diferentes de 0. En otras palabras, no garantizan que cada
número natural distinto de cero deba aparecer como sucesor de algún otro número
natural.
La noción intuitiva de que cada número natural puede obtenerse aplicando el
sucesor con la suficiente frecuencia al número 0 requiere una propiedad adicional,
que a veces se denomina axioma de inducción.

5. Si K es un conjunto de números naturales tal que:

• 0 2 K, y

• Para cualquier número natural n, si n 2 K implica que S(n) 2 K, entonces

K contiene cualquier número natural.

A partir de las cinco propiedades enunciadas arriba uno puede darse cuenta que el
conjunto de los números naturales es el siguiente conjunto:

N = {0, 1, 2, 3, . . .},
1
Estas propiedades, cinto en total, son los axiomas de Peano para los números naturales.

2
 1.1. Construcción de los números reales

donde los puntos suspensivos significa que la sucesión continua indefinidamente.

Observación 1.1. Algunas veces la propiedad 5 o axioma de inducción se enuncia

de la siguiente manera. Si ' es una propiedad unaria tal que:

• '(0) es verdadera, y

• Para cualquier número natural k, si '(k) es verdadera implica que '(k + 1) es

verdadera, entonces '(n) es verdadera para cualquier número natural n.

La forma del axioma de inducción expuesta en la Observación 1.1 nos permite

demostrar algunas propiedades elementales que cumplen los números naturales. Por
n(n + 1)
ejemplo, se pide demostar que la suma 1+2+. . .+n es igual a . La propiedad
2
'(n) diría que la suma de los n primeros números naturales es igual a la mitad del
producto n(n + 1).
Obviamente esta propiedad se satisface para 0, luego '(0) es verdadera. Si
suponemos que la propiedad ' es verdadera para k se tendría la siguiente igualdad:

k(k + 1)
1 + 2 + ... + k = . (1.1)
2

Sumando k + 1 a cada lado de la Igualdad (1.1) se obtiene la igualdad

k(k + 1)
1 + 2 + . . . + k + (k + 1) = + k + 1. (1.2)
2

El lado izquierdo la la Igualdad (1.2) representa '(k + 1) mientras el lado derecho

(k + 1)(k + 2)
(realizando las operaciones) es igual a , luego '(k + 1) es verdadera.
2
Así, la propiedad enunciada por ' es verdadera para todo número natural n.

Suma y producto de números naturales

Las operaciones de suma y producto de números naturales se pueden definir

recursivamente a partir de la función sucesor de la siguiente manera:
Suma.
a + 0 = a, (1.3)

a + S(b) = S(a + b). (1.4)

3
Capítulo 1. Números Reales y complejos

Producto
a · 0 = 0, (1.5)

a · S(b) = a + (a · b). (1.6)

Desde las ecuaciones (1.3), (1.4) y (1.5), (1.6) se puede demostrar que la suma y
el producto satisfacen las siguientes propiedades:

1. Conmutatividad. Para todo a, b números naturales se cumple:

a + b = b + a, a · b = b · a.

2. Asociatividad. Para todo a, b, c números naturales se cumple:

(a + b) + c = a + (b + c), (a · b) · c = a · (b · c).

3. Existencia del neutro aditivo. Para todo número natural a se cumple:

a + 0 = a.

4. Existencia del neutro multiplicativo. Para todo número natural a se cumple:

a · 1 = a.

5. Distributividad del producto respecto a la suma. Para todo a, b, c númros

naturales se cumple:
a · (b + c) = a · b + a · c.

Observación 1.2. Las propiedades 1 a 5 determinan el comportamiento de la suma

y producto de los números naturales. Luego, a partir de ellas se puede desarrollar
toda la aritmética de los números naturales.

Observamos que la relación de orden usual, denotada por “”, se puede definir de
la siguiente manera:

Definición 1.1. Para todo a, b 2 N, a  b si y sólo si existe c 2 N tal que a + c = b.

Esta relación es estable bajo la adición y multilicación. Es decir, para a, b, c 2 N:

Si a  b, entonces

4
 1.1. Construcción de los números reales

• a + c  b + c, y

• a · c  b · c.

Observación 1.3. Sea A un conjunto diferente del vacío. Sean a, b elementos de A,

, ⌦ operaciones binarias definidas en A. Se dice que la estructura (A; a, b, , ⌦)
es un semianillo unitario conmutativo cuando se satisfacen las tres siguientes
propiedades:

1. La estructura (A; a, ) es un monoide conmutativo. Es decir:

• Para todo m1 , m2 2 A: m1 m2 = m2 m1 .

• Para todo m1 , m2 , m3 2 A: (m1 m2 ) m3 = m1 (m2 m3 ).

• Para todo m 2 A: m a = a.

Al elemento a se le llama neutro para la operación . Se tiene que la estructura

(N; 0, +) es un monoide conmutativo con elemento neutro aditivo el 0.

2. La estructura (A; b, ⌦) es un monoide conmutativo.

Al elemento b se le llama neutro para la operación ⌦ o unidad de la operación ⌦. Se

tiene que la estructura (N; 1, ·) es un monoide conmutativo con unidad igual a 1.

3. Para todo m1 , m2 , m3 2 A se cumple que m1 ⌦(m2 m3 ) = (m1 ⌦m2 ) (m1 m3 ).

Resulta que el conjunto de los números naturales provisto de las operaciones de

adición y producto es un semianillo unitario conmutativo. Es decir, la estructura
(N; 0, 1, +, ·) es un semianillo unitario conmutativo. Además, ya que el conjunto de
los números naturales es un conjunto ordenado (ver 1.1) se tiene que la estructura
(N; 0, 1, +, ·, ) es un semianillo unitario conmutativo ordenado.
A este punto surge de manera natural la siguiente pregunta:

Pregunta 1.1. Dado n 2 N. ¿Es posible hallar m 2 N tal que m + n = 0?

El candidato obvio para dar una respuesta positiva a esta pregunta es m = n.

Desafortunadamente “ n” no es un número natural para cualquier n 2 N \ {0}, luego
el conjunto N no es suficiente para dar respuesta afirmativa a esta pregunta.

5
Capítulo 1. Números Reales y complejos

Puesto que la operación planteada en la Pregunta 1.1 aparece con frecuencia en

los conjuntos numéricos, dar una respuesta afirmativa a ésta es de fundamental
importancia.
La solución a este inconveniente es ampliar el conjunto de los números naturales
con sus opuestos aditivos. Este nuevo conjunto se llama conjunto de los números
enteros, denotado con Z. Es decir,

Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . . , }.

Observación 1.4. Agregar al conjunto N sus opuestos aditivos enriquece su

estructura. Esto nos permite definir nuevas operaciones que antes no era posible
definir. Por ejemplo, la resta de dos números enteros se define de la siguiente manera:
Sean m, n 2 Z; la resta de m con n, denotada m n, es un número d 2 Z tal que
m = n + d.

Como se puede concluir de la Observación 1.4, el objetivo de ir agregando nuevos

elementos a conjuntos que tienen una estructura dada es enriquecer su estructura.
Por ejemplo, la estructura (Z; 0, +) es mas rica en propiedades que la estructura
(N; 0, +). Para ver esto con más claridad nos permitimos dar la siguiente definición:

Definición 1.2. Sean A un conjunto diferente del vacío, a un elemento de A y

una operación binaria definida en A. La estructura (A; a, ) es un grupo cuando se
satisfacen las siguientes propiedades:

• (A; a, ) es un moniode conmutativo.

• Para todo b 2 A existe c 2 A tal que b c = a.

Al elemento b 2 A que satisface la segunda propiedad de la Definición 1.2 se le

llama opuesto (para la operación ) de c.
Como vemos, la inserción de los opuestos aditivos de los números naturales hace
del conjunto de los números enteros con la adición un grupo conmutativo; es decir,
la estructura (Z; 0, +) es un grupo conmutativo. Claramente esto ha enriquecido la
estructura (N; 0, +).
Si pedimos que la multiplicación cumpla con las mismas propiedades establecidas
para el conjunto N de los números naturales, esta ves para el conjunto Z de los

6
 1.1. Construcción de los números reales

números enteros, obtenemos lo que en matemática se conoce como anillo conmutativo

unitario. Es decir, si se cumple que:

• La estructura (Z; 1, ·) es un monoide conmutativo, y

• Para todo a, b, c 2 Z se cumple que a · (b + c) = (a · b) + (a · c),

entonces la estructura (Z; 0, 1, +, ·) es un anillo conmutativo unitario que además es

ordenado si definimos la relación de orden en Z de la siguiente manera:

Definición 1.3. Para todo a, b 2 Z, a  b si y sólo si existe c 2 Z tal que a + c = b.

Observamos que desde la Definición 1.3 podemos establecer, por ejemplo, la

desigualdad 3 2 pues existe 1 2 Z tal que 3 + 1 es igual a 2. Al igual que
en el conjunto de los números naturales, esta relación es estable bajo la adición y
multilicación pero esta vez en el conjunto de los números enteros.

Observación 1.5. Existe una manera muchas más elegante de definir al conjunto
de los números enteros como el conjunto cociente determinado por una relación de
equivalencia definida sobre el conjunto N ⇥ N.

El estudio del conjunto Z como un conjunto cociente queda fuera del alcance
introductorio de este texto. Sin embargo, damos la definición para que un lector
interesado en estudios más especializados pueda desarrollar este contenido (consultar
por ejemplo [DB, cap. 10]).
Sean (a, b), (c, d) pares ordenados de números naturales. Decimos que (a, b) está
relacionado con (c, d) si y sólo si a + d = c + b. Cuando el par ordenado (a, b) está
relacionado con el par ordenado (c, d) escribimos (a, b) ⇠ (c, d).
Resulta que la relación “⇠” definida en N ⇥ N es una relación de equivalencia
(probarlo). Luego ésta particiona al conjunto N⇥N en clases de equivalencia (disjuntas)
que cubren todo N ⇥ N.

Definición 1.4. Se llama conjunto de números enteros al conjunto Z = N ⇥ N/ ⇠.

La Definición 1.4 choca con la idea intuitiva que tenemos de los números enteros.
Sin embargo, podemos asociar al par (a, b) 2 N ⇥ N con a b, luego es posible
identificar cada número entero de la siguiente manera:

7
Capítulo 1. Números Reales y complejos

• Cuando a 2 Z es positivo, lo identificamos con la clase de equivalencia del par

(a, 0).

• Cuando a 2 Z es negativo, lo identificamos con la clase de equivalencia del par

(0, a). Notamos que a 2 N pues a es negativo.

• Cuando a 2 Z es el cero, lo identificamos con la clase de equivalencia del par

(a, a).

Ahora retornamos a la construcción de los números reales desde el punto en que

nos quedamos; es decir, desde los números enteros. Tiene sentido hacer la siguiente
pregunta (como se hizo en el conjunto N de los números naturales):

Pregunta 1.2. Dado n 2 Z \ {0}. ¿Es posible hallar m 2 Z tal que m · n = 1?

1
El candidato obvio para dar una respuesta positiva a esta pregunta es m = .
n
Desafortunadamente “1/n” no es un número entero para cualquier n 2 Z \ {0}, luego
el conjunto Z no es suficiente para dar respuesta afirmativa a esta pregunta.
Para dar una respuesta positiva a la Pregunta 1.2 tenemos que ampliar el conjunto
n
de los números enteros, esta vez con todas las fracciones de la forma donde m 6= 0.
m
En concreto, llamamos conjunto de los números racionales al siguiente conjunto:
nm o
Q= : m 2 Z y n 2 N \ {0} .
n

Observación 1.6. Dado n 2 Z \ {0}. Al número racional m tal que m · n = 1 se

lo denota por n 1
y se lo llama inverso multiplicativo de n. Además, cada número
n
entero n se lo puede ver como la fracción 2 Q.
1

Se sabe desde la escuela primaria que: Todo número decimal finito o infinito
periódico se lo puede escribir como una fracción. Luego, todos los decimales finitos e
infinitos periódicos son números racionales.

Suma y producto de números racionales

m1 m2
Sean , números racionales. Definimos su suma de la siguiente manera:
n1 n2

8
 1.1. Construcción de los números reales

1. Suma:
m1 m2 m1 · n2 + m2 · n1
+ = .
n1 n2 n1 · n2

2. Producto:
m1 m2 m1 · m2
· = .
n1 n2 n1 · n2

Observamos que con la suma y producto de números racionales definidas de esta

manera resulta que las estructuras (Q; 0, +) y (Q; 1, ·) son grupos conmutativos,
además, el producto sigue distribuyéndose con la adición. Luego, la estructura
(Q; 0, 1, +, ·) es lo que se llama en matemática un campo.
m1 m2
Diremos que  cuando m1 · n2  m2 · n1 . Así, la estructura (Q; 0, 1, +, ·, )
n1 n2
es un campo ordenado.
Una propiedad importante que cumple el conjunto Q es la siguiente:

m1 m2
Teorema 1.1 (Densidad de los números racionales). Sean , números
n1 n2
m1 m2 m1 m2
racionales. Si < , entonces existe q 2 Q tal que <q< .
n1 n2 n1 n2
m1 m2
Demostración. Definimos q como la suma de con , es decri
n1 n2
m1 m2
n1
+ n2 m1 n2 + m2 n1
q= = .
2 2n1 n2

Es inmediato que q 2 Q. Veamos que q cumple con las condiciones exigidas en el

teorema.

m1
1. < q.
n1
m1 m2
Como < , se cumplen las siguientes desigualdades:
n1 n2

m1 n2 < m2 n1 , por definición de la relación “<” en Q.

m1 n2 n1 < m2 n21 , multiplicando por n1 la última desigualdad.

2m1 n2 n1 < m2 n21 + m1 n2 n1 , sumando m1 n2 n1 a la última desigualdad.

m1 (2n1 n2 ) < n1 (m2 n1 + m1 n2 ).

m1 m2 n1 + m1 n2
< .
n1 2n1 n2

9
Capítulo 1. Números Reales y complejos

m2
2. q < .
n2
m1 m2
Como < , se cumplen las siguientes desigualdades:
n1 n2

m1 n2 < m2 n1 , por definición de la relación “<” en Q.

m1 n22 < m2 n1 n2 , multiplicando por n2 la última desigualdad.

m1 n22 + m2 n1 n2 < 2m2 n1 n2 , sumando m2 n1 n2 a la última desigualdad.

n2 (m1 n2 + m2 n1 ) < m2 (2n1 n2 ).

m2 n1 + m1 n2 m2
< .
2n1 n2 n2

Intuitivamente, el Teorema 1.1 nos dice que los números racionales están tan cerca
uno del otro como se quiera; es decir, el conjunto Q de los números racionales es un
conjunto denso.

Observación 1.7. Al igual que el conjunto Z, el conjunto de los números racionales

se lo puede definir como el conjunto cociente determinado por una relación de
equivalencia definida sobre Z ⇥ Z6=0 (ver Observación 1.5) donde Z6=0 es el conjunto
Z \ {0}. En efecto, Q = Z ⇥ Z6=0 / ⇠, donde (m1 , n1 ) ⇠ (m2 , n2 ) si y sólo si m1 n2
m2 n1 = 0.
m
Podemos asociar al número racional con el par (m, n) 2 Z ⇥ Z6=0 . Luego, a partir
n
de la Observación 1.7 podemos considerar que el representante del número racional
m a
es la fracción tal que mcd(a, b) = 1 donde “mcd” representa el máximo común
n b
1 2 4 6
divisor. Por ejemplo las fracciones , , , , etc. son el mismo número racional,
2 4 8 12
luego podemos considerar como representante de todas estas fracciones a la fracción
1
.
2
De forma más técnica diríamos que
 ⇢
1 1 2 4 6
= ..., , , , ,... ,
2 2 4 8 12
Donde [x] representa la clase de equivalencia de x.
A este punto es natural preguntarse si existen números que no son racionales. La
respuesta se conoce desde los tiempos de Pitágoras (aunque los mismos pitagóricos
no divulgaron sus descubrimientos).

10
 1.1. Construcción de los números reales

Consideremos un triángulo rectángulo cuyos catetos son unitarios. La hipotenusa

p
de tal triangulo es, por el teorema de Pitágoras, 2 (ver Figura 1.1).

Figura 1.1: Construcción de números que no son racionales.

p
Pregunta 1.3. ¿Es 2 un número racional?
p m p m
Supongamos que 2 2 Q, luego existe una fracción tal que 2 = donde
n n
mcd(m, n) = 1 (ver el párrafo posterior a la Observación 1.7). Elevando al cuadrado
cada miembro de la última igualdad se tiene que m2 = 2n2 , luego m2 es un número
par, por tanto m es también un número par. Ya que m es un número par, éste tiene
la forma 2k para algún número entero k. Luego 4k 2 = 2n2 , por tanto n2 es un número
par, luego n es un número par. Así, mcd(m, n) = 2 lo cual es una contradicción, por
p
tanto 2 2 / Q.
A todos los números que no son racionales se les llama números irracionales y se
les representa por I

Definición 1.5. Se llama conjunto de los números reales al siguiente conjunto:

R = Q [ I.

Existe una manera de representar geométricamente al conjunto de los números

reales. Dibujamos una recta y escogemos un punto arbitrario para representar el
“cero”; ahora elegimos otro punto, a la derecha del cero, para representar el “uno”.
A partir de esta elección podemos representar sobre la recta todos los números
enteros. La representación de los números racionales se los puede hacer con una
p
construcción de regla y compas. Por ejemplo para representar el número 2 sobre la

11
Capítulo 1. Números Reales y complejos

recta procedemos de la siguiente manera: Dibujamos un triánguo rectángulo cuyos

p
catetos sean igual a “uno”, de esta manera la hipotenusa de dicho triańgulo es 2.
Ahora abrimos el compas de tal forma que su abertura coincida con la longitud de la
p
hipotenusa. Para representar 2 lo único que debemos hacer es fijar una punta del
compas en el “cero de la recta”, la otra punta la colocamos sobre la recta. Donde se
p
marque será 2.
En la Figura 1.2 se ha representado los números enteros 2, 1, 0, 1, 2 y el número
p
racional 2; las flechas en los extremos de la recta indican que ésta se prolonga en
ambas direcciones y los puntos suspensivos están indicando que la representación
continua en ambas direcciones. Dicha representación geométrica se le conoce como
recta real .

Figura 1.2: Representación geométrica de los números reales.

Observación 1.8. Existen varias maneras de construir los números reales. Por
ejemplo, cortaduras de Dedekind o clases de equivalencia de sucesiones de Cauchy.
Por desgracia, cualquiera de estas construcciones queda muy lejos del carácter
introductorio de este texto.

1.2 Los números reales como un sistema aximático

En la Sección 1.1 se indicó como es la construcción del conjunto R de los números

reales a partir del conjunto N de los números naturales. Vimos que los los conjuntos
numéricos, por decirlo de laguna manera, más pequeños presentan problemas cuando
se quiere resolver ciertos problemas (ver por ejemplo el Problema 1.1), luego es
necesario ir cada vez agregando nuevos elementos (números) a estos conjuntos para
que dichos problemas sean resolubles. Además, se mencionó que el conjunto Q de
los números racionales es campo ordenado y denso (ver pagina 9), propiedades
que también se cumplen en el conjunto R. Luego, tiene sentido hacer la siguiente

12
 1.2. Los números reales como un sistema aximático

pregunta2 :

Pregunta 1.4. ¿Cuál es la diferencia entre los conjuntos Q y R?

En esta sección estudiamos al conjunto de los números reales desde un punto de

vista completamente diferente y vemos cual es la diferencia entre los conjunto Q y R.

Axiomas de campo

Sea A u conjunto no vacío. Diremos que f es una ley de composición interna en A

cuando f es una función de A2 en A. Es decir: Si (x, y) 2 A ⇥ A, entonces f (x, y) 2 A.
Cuando f es una ley de composición interna en A es habitual decir que f es una
operación definida en A o, si no existe confución, f es una operación en A. Además
en lugar de f se utiliza cualquier símbolo, por ejemplo ⇤ y se escribe a ⇤ y en lugar
de ⇤(x, y).

Definición 1.6. Sea A un conjunto no vacío, , ⌦ dos operaciones en A. Diremos

que A es un campo con las operaciones , ⌦ si se satisfacen las siguientes propiedades:

1. Para la operación :

• Conmutativa: Para todo x, y 2 A, x y=y y.

• Asociativa: P aratodox, y, z 2 A, (x y) z=x (y z).

• Existencia del elemento neutro: Existe e 2 A tal que para todo x 2 A se

cumple que x e = x.

• Existencia del elemento inverso: Para todo x 2 A existe y 2 A tal que

x y=e .

2. Para la operación ⌦:

• Conmutativa: Para todo x, y 2 A, x ⌦ y = y ⌦ y.

• Asociativa: P aratodox, y, z 2 A, (x ⌦ y) ⌦ z = x ⌦ (y ⌦ z).

2
Notamos que el conjunto R se obtuvo del conjunto Q añadiento a éste el conjunto de los números
irracionales. Pero esto no añade, aparentemente, ninguna estructura extra al cinjunto Q.

13
Capítulo 1. Números Reales y complejos

• Existencia del elemento neutro: Existe e⌦ 2 A tal que para todo x 2 A se

cumple que x ⌦ e⌦ = x.

• Existencia del elemento inverso: Para todo x 2 A \ {e } existe y 2 A tal

que x ⌦ y = e⌦ .

3. Distributividad de la operación ⌦ respecto a la operación : Para todo x, y, z 2

A,
x ⌦ (y z) = (x ⌦ y) (x ⌦ z).

Observación 1.9. La estructura (A; e , e⌦ , , ⌦) se dice que es un campo.

Un ejemplo particularmente importante de una estructura de campo es el que se

presenta a continuación.
Dado m 2 Z 1 donde Z 1 = {x 2 Z : x 1}, se dice que a, b 2 Z son congruentes
módulo m si y sólo si m | (a b) donde el símbolo “|” significa divide. Cuando a
y b son congruentes módulo m escribimos a ⌘ b (mód m). Es fácil demostrar que
la relación de congruencia módulo m es una relación de equivalencia definida en Z.
Al conjunto cociente determinado por esta relación de equivalencia lo denotamos
por Zm y la clase de equivalencia de un elemento a 2 Z lo denotamos por [a]m o
simplemente por [a] cuando no existe confución. Es inmediato que

Zm = {[0], [1], . . . , [m 1]}.

En Zm se definen las siguientes operaciones:

1. Adición: [a] + [b] = [a + b].

2. Producto: [a] · [b] = [a · b] donde el primer · es el producto entre elementos de

Zm y el segundo · es el producto entre elementos de Z.

Cuando no exista cofución escribimos [a][b] (respectivamente ab) en lugar de [a] · [b]
(respectivamente a · b). Es importante que el lector sea consiente que las operaciones
de adición y producto definidas anteriormente están bien definidas. Demostramos que
la adición está bien definida, dejando como ejercicio para el lector la demostración
de que el producto está bién definido.

14
 1.2. Los números reales como un sistema aximático

Supongamos que a ⌘ b (mód m) y c ⌘ d (mód m); es decir, [a] = [b] y [c] = [d].
Tenemos que probar que [a] + [c] = [b] + [d]; es decir, la adición no depende del
elemento que escojamos como representante de su clase de equivalencia. En efecto, ya
que a ⌘ b (mód m), tenemos m | (a b), luego existe k1 2 Z tal que a b = k1 m. De
la misma manera, existe k2 tal que c d = k2 m. Sumando estas últimas igualdades
se tiene que (a b) + (c d) = (k1 + k2 )m. Luego (a + c) (b + d) = (k1 + k2 )m,
luego (a + c) ⌘ (b + d) (mód m), por tanto [a + c] = [b + d]. Así

.[a] + [c] = [a + c]

= [b + d]

= [b] + [d].

Es inmediato que: [0] y [1] son los elementos neutros de la adición y el producto
respectivamente.

Observación 1.10. Utilizamos la notación Zp únicamente en el caso en el que p es

un número primo.

El siguiente teorema (cuya demostración queda fuera del alcance de este texto) nos
permitirá demostrar que para todo [a] 2 Zp \ {[0]} existe su inverso para la operación
producto.

Teorema 1.2 (Identidad de Bézout). Si a, b son números enteros diferentes de cero

tales que mcd(a, b) = d, entonces existen enteros x, y tales que ax + by = d.

Sea [a] 2 Zp \ {[0]}, se cumple la siguiente cadena de implicaciones:

Existe b 2 Z tal que [a][b] = [1] si y sólo si [ab] = [1]

si y sólo si ab ⌘ 1 (mód p)
si y sólo si p | ab 1
si y sólo si existe k 2 Z tal que ab 1 = kp
si y sólo si ab kp = 1.
Ya que p es un número primo se tiene que mcd(a, p) = 1. Luego, a partir del Teorema
1.2, existen b y k tal que ab kp = 1. Por tanto, siguiendo la cadena de equivalencias,
para cada [a] 2 Zp \ {[0]} existe [b] 2 Zp tal que [a][b] = [1]. Así, [a] es invertible.
Es un ejercicio fácil comprobar que la estructura (Zp ; +, ·, [0], [1]) es un campo.

15
Capítulo 1. Números Reales y complejos

El campo de los números reales

Ahora admitimos la existencias de los siguientes objetos matemáticos:

1. Un conjunto no vacío R,

2. Dos elementos 0, 1 2 R y

3. Dos operaciones +, · definidas en R.

Junto con estos objetos admitimos que la estructura (R; 0, 1, +, ·) es un campo.

Es decir, el conjunto R con los elementos 0, 1 y las operaciones +, · satisfacen las
propiedades de la Definición 1.6.
Al conjunto R lo llamaremos conjunto de los números reales, los elementos “0”
y “1” los llamaremos el neutro aditivo y neutro multiplicativo respectivamente, la
operación “+” se llama adición y la operación “·” se llama multiplicación. Además, se
utilizará la notación, siempre que no haya confución, xy en lugar de x · y. Por último
indicamos que los elementos “0” y “1” son: el elemento neutro aditivo y el elemento
neutro multiplicativo respectivamente.
No se deber atribuir ningún significado especial a los símbolos “+” y “·” a parte de
las propiedades de campo (ver Definición 1.6).

Observación 1.11. Esta forma de definir el conjunto de los números reales tiene al
menos dos aspectos importantes:

1. Es una forma moderna de definir el conjunto de los números reales.

2. Todas las propiedades algebraicas deseadas en el conjunto de los números reales

se pueden deducir sin ninguna dificultad a partir de las propiedades de campo
de la estructura (R; 0, 1, +, ·).

A continuación demostramos algunos teoremas que se pueden demostrara partir

de las propiedades de campo de los números reales.

Teorema 1.3 (Unicidad de los neutros). El neutro aditivo (neutro multiplicativo) es

único.

16
 1.2. Los números reales como un sistema aximático

Demostración. El teorema pide demostrar que los elementos “0” (neutro aditivo)
y “1” (neutro multiplicativo) son únicos. Nosotros demostramos la unicidad del
neutro aditivo, dejando como ejercicio la demostración de la unicidad para el neutro
multiplicativo.
En efecto, supongamos que existe 0 6= a 2 R tal que a + x = x para todo x 2 R,
en particular (tomando x = 0) se tiene que a + 0 = 0. Ya que el “0” es el neutro
aditivo se tiene que a + 0 = a. Luego, por la transitividad de la igualdad, a = 0.
Contradicción.

Teorema 1.4 (Unicidad del inverso aditivo). El inverso aditivo es único.

Demostración. Sea x un número real cualquiera. Supongamos que el inverso aditivo

de x no es único; es decir, supongamos que existen y, z distintos (ambos números
reales) tal que x + y = 0 y x + z = 0. Se tiene la siguiente cadena de igualdades:

y =y+0

= y + (x + z)

= (y + x) + z (por la propiedad asociativa de la adición)

= 0 + z (porque y es el inverso aditivo de x)

= z (porque 0 es el neutro aditivo).

Observación 1.12. Puesto que para cada x 2 R, el inverso aditivo de x es único.

Podemos denotar con x al inverso aditvvo de x.

Teorema 1.5 (Ley cancelativa de la adición). Sean a, b, c números reales.

Si a + c = b + c, entonces a = b.

Demostración. Como a + c = b + c se tiene que a + c + ( c) = b + c + ( c), luego

a + (c + ( c)) = b + (c + ( c)), por tanto a + 0 = b + 0, luego a = b.

Corolario 1.1. Para todo número real x; ( x) = x.

Se tiene que
( x) + ( x) = 0 (1.7)

17
Capítulo 1. Números Reales y complejos

y
x + ( x) = 0 (1.8)

Desde las ecuaciones (1.7) y (1.8) se tiene que ( x) + ( x) = x + ( x). Luego, por
el Teorema 1.5, ( x) = x.

Observación 1.13. El Corolario 1.1 asegura que el inverso (aditivo) del inverso
(aditivo) de x es igual a x.

Teorema 1.6. Si x es un número real cualquiera, entonces x · 0 = 0.

Demostración. Lo único que debemos probar es que x · 0 es el neutro aditivo (por el

Teorema 1.3 el inverso aditivo es único); es decir, x · 0 = 0.
En efecto, para todo y 2 R se tiene:

y + x · 0 = y + x · (0 + 0)

= y + (x · 0 + x · 0)

= (y + x · 0) + x · 0.

Luego se satisface la desigualdad y + x · 0 = (y + x · 0) + x · 0. Aplicando el Teorema

1.5, se tiene que y = y + x · 0, luego x · 0 es el neutro aditivo.

Teorema 1.7 (Unicidad del inverso multiplicativo). El inverso multiplicativo es

único.

Demostración. Sea x 2 R \ {0}. Supongamos que el inverso multiplicativo de x no

es único; es decir, supongamos que existen y, z distintos (ambos números reales) tal
que xy = 1 y xz = 1. Se tiene la siguiente cadena de igualdades:

y =y·1

= y(xz)

= (yx)z (por la propiedad asociativa de la multiplicación)

= 1 · z (porque y es el inverso multiplicativo de x)

= z (porque 1 es el neutro multiplicativo).

18
 1.2. Los números reales como un sistema aximático

Observación 1.14. Puesto que para cada x 2 R \ {0}, el inverso multiplicativo

de x es único. Podemos denotar con x al inverso multiplicativo de x (en muchas
1

1
ocaciones resulta conveniente denotar con a tal inverso multiplicativo).
x

Teorema 1.8 (Ley cancelativa de la multiplicación). Sean a, b, c números reales.

Si c 6= 0 y ac = bc, entonces a = b.

Demostración. Por un lado c 6= 0, luego existe c 1 . Por otro lado, por hipótesis se
tienen que ac = bc, luego ac(c 1 ) = bc(c 1 ). Aplicando la propiedad distributiva del
producto respecto a la adición se tiene a(c · c 1 ) = b(c · c 1 ), por tanto a · 1 = b · 1,
luego a = b.

Corolario 1.2. Para todo número real x diferente de cero; (x 1 ) 1

= x.

Se tiene que
(x 1 ) 1
·x 1
=1 (1.9)

y
x·x 1
=1 (1.10)

Desde las ecuaciones (1.9) y (1.10) se tiene que (x 1 ) 1

·x 1
= x · x 1 . Luego, por el
Teorema 1.8, (x 1 ) 1
= x.

Observación 1.15. El Corolario 1.2 asegura que el inverso (multiplicativo) del

inverso (multiplicativo) de x es igual a x, siempre que x 6= 0.

La demostración del siguiente teorema se deja como ejercicio para el lector.

Teorema 1.9. Sean w, x, y, z números reales cualquiera. Se satisfacen las siguientes

igualdades:

1. ( x)y = x( y) = (xy).

2. ( x)( y) = xy.

3. Si xy = 0, entonces x = 0 o y = 0.

x y xz + wy
4. Si w 6= 0 y z 6= 0, entonces + = .
w z wz

19
Capítulo 1. Números Reales y complejos

Axiomas de orden

El lector estará familiarizado con los números positivos y negativos pero, si carece de
experiencia en estos temas seguramente no podrá precisar qué es un número positivo
o que es un número negativo.
En esta parte presentamos un grupo de propiedades (axiomas) que se refieren a un
concepto que nos permitirá establecer una ordenación en el conjunto de los números
reales. Es decir, nos permitirá establecer cuando un número real es mayor (menor)
que otro.
Comenzamos suponiendo que existe un subconjunto propio de los números reales;
es decir, suponemos que existe R+ ( R llamado conjunto de los números reales
positivos que satisface los siguientes axiomas (propiedades):

O1. Si x, y 2 R+ , entonces x + y 2 R+ y xy 2 R+ .

O2. Para cada x 6= 0 o bién x 2 R+ o bién x 2 R+ , pero no ambos.

O3. 0 2
/ R+ .

Ahora podemos definir cuatro relaciones en el conjunto de los números reales,

denotadas por los símbolos: “<”, “>”, “”, “ ” y llamadas “menor que”, “mayor que”,
“menor o igual a” y “mayor o igual a”, respectivamente.

Definición 1.7. En el conjunto R de los números reales definimos las siguientes

relaciones de orden 3 :

• x < y si y sólo si y x es positivo.

• x > y si y sólo si x y es positivo.

• x  y si y sólo si x < y o x = y.

• x y si y sólo si x > y o x = y.
3
Recordamos que una relación R definida en un conjunto A es una relación de orden si es
antisimétrica y transitiva. Además, cuando R es reflexiva la relación se dice que es una relación de
orden amplio y cuando R es no reflexiva se dice que la relación es una relación de orden estricto.

20
 1.2. Los números reales como un sistema aximático

El lector puede demostrar que las dos primeras relaciones son (efectivamente)
relaciones de orden estricto mientras que las dos últimas relaciones son relaciones de
orden amplio .
A partir de la Definición 1.7 podemos afirmar que x > 0 si y sólo si x es positivo.
Cuando x < 0 se dice que x es negativo; cuando x 0 se dice que x es no negativo;
cuando x  0 se dice que x es no positivo.
El siguiente teorema afirma que para todo par de números reales x, y se cumple
únicamente una de las siguientes relaciones: x es mayor que y, x es menor que y, x
es igual a y.

Teorema 1.10 (Ley de Tricotomia). Sean x, y números reales arbitrarios. Se satisface

exactamente una de las tres relaciones x < y, x > y, x = y.

Demostración. Sea z = x y. Si z = 0, entonces x y=y x = 0, luego (por el

Axioma O3) no puede ser x > y o y > x. Si z 6= 0, entonces (por el Axioma O2) z > 0
o z > 0 pero no ambos, por tanto x > y o y > x pero no ambas. Así, exactamente
un de las tres relaciones x = y, x > y, y > x se satisface.

El siguiente teorema, que se deja como ejercicio para el lector, recoge las reglas
más importante para trabajar con desigualdades.

Teorema 1.11. Sea a, b, c números reales.

i. Si a < b y b < c, entonces a < c.

ii. Si a < b, entonces a + c < b + c,

iii. Si a < b y c > 0, entonces a · c < b · c.

iv. Si a < b y c < 0, entonces a · c > b · c.

v. Si a < 0 y b < 0, entonces a · b > 0.

vi. Si a > 0 y b < 0, entonces a · b < 0.

vii. Si a 6= 0, entonces a2 > 0.

viii. 1 > 0.

21
Capítulo 1. Números Reales y complejos

ix. Si a > 0, entonces a 1

> 0.

x. Si 0 < a < b, entonces 0 < b 1

< a 1.

Observamos que el item viii afirma que el conjunto R+ es no vacío; su demostración

se la consigue aplicando el item vii a a = 1.

Observación 1.16. El conjunto de los números reales, al igual que el conjunto Q

de los números racionales, es denso. Es decir, si x, y son números reales y x < y,
entonces existe z 2 R tal que x < z < y.

Intervalos

Como se dijo, los axiomas de orden nos permiten decidir cuando un número real es
mayor (menor) que otro. Además, el conjunto R es denso (ver Observación 1.16).
Luego, existe una infinidad de números reales comprendidos entre dos números reales
dados.
Al conjunto de números reales comprendidos entre a y b se le llama intervalo, su
definición exacta es la siguiente:

Definición 1.8 (Intervalos finitos). Sean a, b números reales tales que a  b.

Definimos los siguientes conjuntos:

1. Intervalo abierto.
]a, b[= {x 2 R : a < x < b}.

2. Intervalo cerrado.
[a, b] = {x 2 R : a  x  b}

3. intervalos semiabiertos (o semicerrados).

]a, b] = {x 2 R : a < x  b},

[a, b[ = {x 2 R : a  x < b}.

Observación 1.17. Los números a, b se llaman extremos del intervalo. Cuando

a = b, el intervalo abierto ]a, b[ es el conjunto vacío y el intervalo cerrado [a, b] se
reduce al conjunto {a}.

22
 1.2. Los números reales como un sistema aximático

Ahora introducimos los símbolos +1 y 1 llamados “más infinito” y “menos

infinito” respectivamente. Además, pedimos que para todo número real x se satisfaga
la desigualdad 1 < x < +1.
Con estos nuevos símbolos se puede definir los llamados intervalos infinitos, su
definición es la siguiente:

Definición 1.9 (Intervalos infinitos). Sean a un número real. Definimos los siguientes
conjuntos::
] 1, a[ = {x 2 R : x < a},

] 1, a] = {x 2 R : x  a},

]a, +1[ = {x 2 R : x > a},

[a, +1[ = {x 2 R : x a}.

Observación 1.18. En la Sección 1.1 se indicó que existe una representación
geométrica de los números reales (ver Figura 1.2). Esta representación nos permite
tener una imagen geométrica de los intervalos finitos (ver Definición 1.8).

Figura 1.3: Representación geométrica de los diferentes intervalos.

En la Figura 1.3 se muestra la representación geométrica de los intervalos finitos.

En esta representación, el círculo lleno indican que se toma en cuenta el extremo del
intervalo mientras que el círculo hueco indica que el extremo del intervalo no está
tomado en cuenta.

Observación 1.19. Los intervalos infinitos (ver Definición 1.9) se representan

geométricamente por semirectas dirigidas.

23
Capítulo 1. Números Reales y complejos

Axioma de completitud

En las secciones 1.1 y 1.2 se ha visto que el conjunto de los números racionales y el
conjunto de los números reales son ambos campos ordenados y densos. Luego, surge
de manera natural la siguiente pregunta:

Pregunta 1.5. ¿ Existe alguna diferencia estructural entre los conjuntos Q y R?

La respuesta a la Pregunta 1.5 es afirmativa; es decir, existe al menos una propiedad

que se cumple en el conjunto R de los números reales pero no se cumple en el conjunto
Q de los números racionales. Para entender completamente la respuesta positiva
de esta pregunta necesitamos primero introducir alguna terminología y establecer
algunos resultados; comenzamos con la siguiente definición:

Definición 1.10. Sea A un subconjunto no vacío de números reales. Se dice que A

es un conjunto acotado superiormente cuando existe M 2 R tal que x  M para todo
x 2 A. El número M se dice que es una cota superior del conjunto A.

Los intervalos finitos son conjuntos acotados superiormente. Por ejemplo, el

intervalo ]a, b[ es un conjunto acotado superiormente pues existe M = b + 1 tal
que x  b + 1 para todo x del intervalo ]a, b[.
Los intervalos infinitos de la forma [a, 1[, el conjunto de los números naturales,
el conjunto de los números enteros son algunos ejemplos de conjuntos que no son
acotados superiormente.

Observación 1.20. Si M es una cota superior del conjunto A, entonces todo número
real mayor que M también es una cota superior del conjunto A.

Sea M una cota superior del conjunto A. Se dice que M es el máximo del conjunto
A cuando M 2 A. Cuando M es el máximo del conjunto A escribimos M = máx A.

Definición 1.11 (supremo). Sea A un conjunto acotado superiormente. Se llama

supremo de A a la mínima cota superior.

Cuando S es el supremo del conjunto A escribimos S = sup A.

24
 1.2. Los números reales como un sistema aximático

Observación 1.21. Debemos estas conscientes que la Definicón 1.11 no asegura la

existencia de una mínima cota superior de un conjunto acotado superiormente.

Desde la Definición 1.11 se tiene: Si M = sup A y T es cualquier cota superior de

A, entonces M  T .
En la Figura 1.4 se representa el supremo de un conjunto A.

Figura 1.4: Supremo del conjunto A.

Cuando el supremo del conjunto A pertenece al conjunto, el supremo y el máximo

coinciden. La Figura 1.5 representa esta ocurrencia.

Figura 1.5: Máximo del conjunto A.

Observación 1.22. Se puede demostrar que el supremo de un conjunto, cuando

existe, es único. Luego, se habla del supremo de un conjunto en lugar de un supremo
del conjunto..

El siguiente axioma, llamado axioma de completitud, asegura la existencia del

supremo de un conjunto.

25
Capítulo 1. Números Reales y complejos

Axioma (Completitud). Cualquier subconjunto A de R, no vacío y acotado

superiormente, tiene supremo

Los conceptos de cota inferior, ínfimo y mínimo se definen de manera similar a los
conceptos de cota superior, supremo y máximo respectivamente. Invitamos al lector
que realice por si mismo estas definiciones.
Ahora ya estamos en condiciones de entender la diferencia entre los conjuntos Q
y R. En efecto, consideremos el conjunto A = {x 2 Q : x2 < 2}. Por un lado, el
conjunto A está acotado superiormente, luego (por el Axioma de completitud) el
conjunto A admite supremo que es, naturalmente, un número real. Se puede ver
inmediatamente que M = 2 es el supremo de A. Por otro lado, se vió que no existe
un número racional q tal que q 2 = 2 (ver Pregunta 1.3 de la página 11). Luego, el
conjunto A no admite un supremo que además sea un número racional.
El conjunto A = {x 2 Q : x2 < 2} muestra que el conjunto Q de los números
racionales no es completo (tiene huecos) lo cual no sucede con el conjunto de los
números reales que es completo gracias al Axioma de Completitud.

La propiedad arquimediana de los números reales

Para terminar esta sección presentamos algunas propiedades importantes que se

pueden deducir a partir del Axioma de Completitud.

Teorema 1.12. El conjunto Z+ = {1, 2, 3, . . .} de los enteros positivos no está

acotado superiormente.

Demostración. Supongamos que el conjunto Z+ está acotado superiormente. Como

Z+ es un subconjunto no vacío y acotado superiormente (por la supocición hecha
al inicio), por el Axioma de Completitud, Z+ admite supremo. Sea b = sup Z+ . El
número b 1, menor que b, no puede ser una cota superior de Z+ . Luego, existe
al menos un número entero positivo n tal que n > b 1. Para este n se tiene que
n + 1 > b. Ya que n + 1 2 Z+ se tiene que sup Z+ = b > n + 1, contradicción.

Teorema 1.13. Para cualquier número real x existe un entero positivo n tal que
n > x.

26
 1.3. Números complejos

Demostración. Si no fuera así, por el Teorema 1.12, algún rela x sería una cota
superior de Z+ .

Teorema 1.14. Sean x > 0, y un número real arbitrario. Existe un entero positivo
n tal que nx > y.

y
Demostración. Reemplazamos x por en el Teorema 1.13.
x

El Teorema 1.14 se conoce como propiedad arquimediana de los números reales. Se

invita al lector a investigar la interpretación geométrica de la propiedad arquimediana
del conjunto R (ver por ejemplo [AT, pag. 28]).
A partir de la propiedad arquimediana de los números reales se puede demostrar
la siguiente propiedad que es de gran utilidad en el estudio del cálculo de funciones
reales.

Teorema 1.15. Si existen números reales x, y, a tales que se satisface la desigualdad

y
axa+ (1.11)
n

para cualquier entero n 1, entonces x = a.

Demostración. Si x > a, entonces x a > 0. Luego, por el Teorema 1.14, existe

y
un entero positivo n tal que n(x a) > y, luego x > a + . La última desigualdad
n
contradice la Ecuación (1.11). Por lo tanto, se debe cumplir que x = a.

1.3 Números complejos

En esta sección desarrollamos muy rápidamente la teoría de los números complejos.

Nuestro objetivo es aprender como calcular una potencia y un radical de un número
complejo dado.
Recordamos que, según la propiedad vii del Teorema 1.11 (ver pag. 21), para todo
número real x se tiene x2 0. Luego, en el conjunto de los números reales no se puede
resolver ecuaciones del tipo x2 + a = 0 cuando a > 0. La forma de solventar este
problema es considerar un nuevo conjunto de números que, en lo posible, conserve la

27
Capítulo 1. Números Reales y complejos

mayor cantidad de propiedades que se cumplen en los números reales4 . Nuestro interés
es conservar las propiedades algebraicas de los números reales; es decir, este nuevo
conjunto tiene que ser un campo. Primero necesitamos dar la siguiente definición:

Definición 1.12. Se llama unidad imaginaria, denotada por i, a la raíz cuadrada

p
de 1. Es decir, i = 1.

Ahora ya podemos establecer el concepto de número complejo. En efecto, sean a,

b números reales. Llamanos número complejo a toda expresión de la forma a + bi
donde “i” es la unidad imaginaria.
El conjunto de los números complejos, denotado por C, es el siguiente conjunto:
p
C = z : z = a + bi, donde a y b son números reales, i = 1 .

Observación 1.23. Como a, b son números reales arbitrarios, en particular podemos

tomar b = 0. Así, R ( C.

Se llama parte real y parte imaginaria del número complejo z = a+bi a los números
reales Re(z) = a y Im(z) = b respectivamente.

Suma y producto de números complejos

Sean z1 = a1 + b1 i, z2 = a2 + b2 i números complejos. Se define las siguientes

operaciones:

1. Adición. z1 + z2 = (a1 + a2 ) + (b1 + b2 )i.

2. Producto. z1 · z2 = (a1 a2 b1 b2 ) + (a1 b2 + a2 b1 )i. Escribiremos z1 z2 , siempre

que no cause confusión, por z1 · z2 .

Observamos que para todo z 2 C se cumple que z + 0 = z y z · 1 = z. Luego, los

números complejos 0 = 0 + 0i y 1 = 1 + 0i son los neutros aditivo y multiplicativo
respectivamente. Además: si z = a + bi, entonces z= a bi es el inverso aditivo
a bi
de z y, si z = a + bi es diferente de cero, entonces z 1
= 2 es el inverso
a + b2
multiplicativo de z.
El siguiente teorema se deja como ejercicio para el lector.
4
Este conjunto tiene que ser suficiente para resolver ecuaciones de la forma x2 + a = 0 para todo
número real a

28
 1.3. Números complejos

Teorema 1.16. La estructura (C; 0, 1, +, ·) es un campo.

Cuando z = a + bi, definimos el conjugado de z como z = a bi. El conjugado de

un número complejo satisface las siguientes propiedades:

1. z1 + z1 = z1 + z2 .

2. z1 z1 = z1 z2 .

3. z = z.
✓ ◆
z1 z1
4. = , siempre que z2 6= 0.
z2 z2
5. z + z = 2 Re(z).

6. z z = 2 Im(z)i.
p p
El módulo de z = a + bi, denotado por | z |, está definido por z·z = a2 + b2 . Es
p
decir, | z |= a2 + b2 .

Representación geométrica de los números complejos

Los números complejos se los puede representar como un punto del plano cartesiano,
llamado plano complejo, donde el eje de las abscisas se llama eje real y el eje de las
ordenadas se llama eje imaginario.
En la Figura 1.6 se representa un punto en el plano complejo. La parte real de z se
ubica sobre el eje real, la parte imaginaria de z está ubicada sobre el eje imaginario.

Figura 1.6: Representación del número complejo z como un punto del plano complejo.

Recordamos que un punto del plano cartesiano se lo puede ver como un vector. Así,
un número complejo también se lo puede tratar como un vector del plano complejo.

29
Capítulo 1. Números Reales y complejos

A partir de esta representación (ver Figura 1.7) se puede ver que

z =| z | (cos ↵ + i sen ↵), (1.12)

donde 0 | z |< +1 y 0  ↵  2⇡.

La Ecuación (1.12) se llama forma polar z. El número real | z | se llama módulo
de z y ↵ se conoce como argumento principal o simplemente argumento de z.
La representación polar de un número complejo z resulta muy útil cuando deseamos
calcular potencias y radicales de z.

Figura 1.7: Representación del número complejo z como un vector del plano complejo.

Potencias de un número complejo

El siguiente teorema nos dice como calcular una potencia n-ésima de un número
complejo z.

Teorema 1.17 (Teorema de De Moivre). Sean z =| z | (cos ↵ + i sen ↵) y n un

número entero positivo, entonces z n =| z |n (cos n↵ + i sen n↵).

Demostración. La demostración la realizamos por inducción.

i. Probamos que la propiedad se cumple para n = 2. En efecto,

z 2 = (| z | (cos ↵ + i sen ↵)) · (| z | (cos ↵ + i sen ↵))

=| z |2 (cos2 ↵ sen2 ↵ + i2 sen ↵ cos ↵)

=| z |2 (cos(2↵) + i sen(2↵)).

30
 1.3. Números complejos

Observamos que la última igualdad está justificada por las identidades

trigonométricas
sen(↵ + ) = sen ↵ cos + sen cos ↵,

cos(↵ + ) = cos ↵ cos sen ↵ sen ,

aplicadas al caso ↵ = .

ii. Suponemos que la propiedad se cumple para n = k. Es decir, suponemos que se

satisface la igualdad
z k =| z |k (cos k↵ + i sen k↵). (1.13)

iii. Probamos que la propiedad se cumple para n = k + 1. En efecto,

z k+1 = z k · z

= (| z |k (cos k↵ + i sen k↵)) · (| z | (cos ↵ + i sen ↵))

=| z |k+1 (cos k↵ · cos ↵ sen k↵ · sen ↵ + i(sen ↵ · cos k↵ + sen k↵ · cos ↵))

=| z |k+1 (cos((k + 1)↵) + i sen((k + 1)↵)).

Observamos que la segunda igualdad está justificada por la Ecuación 1.13.

El Teorema 1.17 nos permite realizar, por ejemplo, los siguientes cálculos:

Ejemplo 1.1. Calcular z n cuando

i. z = 1 + i, n = 4.
p
ii. z = 1 3i, n = 2.

iii. z = 1 i, n = 5.

Solución. Lo primero que hacemos es expresar z en forma polar. Para el literal i se

p ⇣ ⇡ ⇡⌘
tiene que z = 2 cos + i sen , ver Figura 1.8 (a). Por el teorema De Demoivre
4 4
(ver Teorema 1.17) se tiene
⇣p ⌘4
z4 = 2 (cos ⇡ + i sen ⇡)

= 4( 1)

= 4.

31
Capítulo 1. Números Reales y complejos

Para el literal ii se tiene (ver Figura 1.8 (b))

✓ ◆
2 2 4 4
z = (2) cos ⇡ + i sen ⇡
3 3
p !
1 3
=4 i
2 2
p
= 2 2 3i.

El literal iii se deja como ejercicio para el lector.

p
(a) z = 1 + i (b) z = 1 3i (c) z = 1 i

Figura 1.8: Representación polar de los números complejos del Ejemplo 1.1

Radicales de un número complejo

p
Sea z = a + bi un número complejo. En lo que sigue calculamos n
z para cualquier
entero n 2.
Sean | z | (cos ↵ + i sen ↵), | w | (cos ✓ + i sen ✓) la representación polar de z y w
p
respectivamente. Tenemos n z = w si y sólo si z = wn . Luego
8
> p
<| w |= n | z |,

:✓ = ↵ + 2k⇡ , k 2 Z.
>
n

Observamos que

1. | w | es la raíz n-ésima real de | z | pues | w |2 R.

32
 1.3. Números complejos

2. Es suficiente que 0  k  n 1 pues

↵
Si k = n, entonces ✓ = , correspondiente a k = 0.
n
↵ + 2⇡
Si k = n + 1, entonces ✓ = + 2⇡, correspondiente a k = 1.
n
..
.
↵ + 2(n 1)⇡
Si k = 2n 1, entonces ✓ = + 2⇡, correspondiente a k = n 1.
n

Así, sen ✓ y cos ✓ se repiten ciclicamente a partir de k = n con un ciclo de longitud n.

Observación 1.24. Para los diferentes valores de k se van generando diferentes

p
valores de w. Así, existen exactamente n valores distintos de w en el cálculo de n z.

Ejemplo 1.2. Hallar la raíz quinta de z = 1 + i.

p ⇣ ⇡ ⇡⌘
Solución. La representación polar de z es 2 cos + i sen , ver Figura 1.8 (a).
⇡
4 4
p + 2k⇡
Así, | w |= 2 y ✓ = 4 donde k = 0, 1, 2, 3, 4. Por lo tanto, los 5 valores de
10

5
w están dados por:

p ⇣10 ⇡ ⇡⌘
1. Para k = 0 se tiene w1 = 2 cos + i sen ⇡ 1.05 + 0.16i.
20 20
✓ ◆
p
10 9⇡ 9⇡
2. Para k = 1 se tiene w2 = 2 cos + i sen ⇡ 0.16 + 1.05i.
20 20
✓ ◆
p
10 17⇡ 17⇡
3. Para k = 2 se tiene w3 = 2 cos + i sen ⇡ 0.95 + 0.48i.
20 20
✓ ◆
p
10 25⇡ 25⇡
4. Para k = 3 se tiene w4 = 2 cos + i sen ⇡ 0.75 0.75i.
20 20
✓ ◆
p
10 33⇡ 33⇡
5. Para k = 4 se tiene w5 = 2 cos + i sen ⇡ 0.48 0.95.
20 20

Para terminar esta parte mencionamos que las raíces n-ésimas de z representan
geométricamente los vértices de un polinomio regular de n vértices.
La Figura 1.9 muestra un pentágono regular cuyos vértices corresponden al cálculo
de la raíz quinta de 1 + i.

33
Capítulo 1. Números Reales y complejos

p
Figura 1.9: Representación geométrica de las raíces de 5
1 + i.

Ejercicios

1. Demostrar que 52n 1 es multiplo de 24 para todo n 2 N.

2. Demostrar que xn y n es divisible por x y para todo n entero positivo.

n
X n(n + 1)(2n + 1) P
3. Demostrar que = , donde es el símbolo de suma.
i=1
6

Y1 ✓
n
1
◆i
nn 1 Q
4. Demostrar que 1+ = , donde es el símbolo de producto.
i=1
i (n 1)!

5. Hallar las siguientes potencias:

• (2 3i)3 .

• ( i)6 i.

• (2 + 4i)5 .

6. Calcular las siguientes raices:

p
• 2 3i.
p
• 4 2 + i.
p
3
• 1.

34
 Bibliografía

[DB] D’amore, B. (1979). Algebra: Elementi e Strutture 1. Zanichelli Editore S. p. A.

[LJ] Lara, J., & Arrova, J. (2007). Análisi Matemático. (2a Ed.). Universidad del
Ecuador. Quito, Ecuador.

[AT] Apostol, T. (1967). Calculus Volume 1: One-Variable Calculus, with an

Introduction to Linear Algebra. IJohn Wiley & Sons.