LECCIN 1

LOS NMEROS REALES

Antes de iniciar esta Leccin, debemos expresar que para leer este Texto
hemos supuesto que el estudiante aprob un curso de clculo y un curso de
sistemas numricos. Presuponemos entonces que el Lector est
familiarizado con las propiedades de los sistemas numricos N, Z y Q de
los nmeros naturales, los enteros y los racionales respectivamente.
El conjunto R de los nmeros reales es el nico cuerpo ordenado completo
que existe. Adems, R contiene al cuerpo ordenado Q de los nmeros
racionales. El motivo de esta Leccin es aclarar el enunciado anterior y
demostrar algunas de las propiedades ms tiles que se derivan de l.
Este curso de Anlisis Real es la formalizacin del curso de Clculo que
Ud. ya estudi, y est fundamentado en el estudio de los nmeros reales,
razn por la cul arrancamos con una revisin completa de los nmeros
reales probablemente vistos por Ud. en el curso de sistemas numricos o
su equivalente.
1.1 DEFINICIN Un cuerpo es un conjunto no vaco K provisto de dos
funciones:

+ : KK K, (x, y) x + y
: KK K, (x, y) xy,
llamadas adicin y multiplicacin respectivamente, sujetas a los
siguientes axiomas:
(A
1
) x + y = y + x, x, yK
(A
2
) x + (y + z) = (x + y) + z, x, y, zK
(A
3
) 0K : x + 0 = x, xK
(A
4
) xK, xK : x + (x) = 0
(M
1
) xy = yx, x, yK
(M
2
) x(yz) = (xy)z, x, y, zK

(M
3
) 1K, 1 0: x1 = x, xK
(M
4
) xK con x 0, x
1
K : xx
1
= 1
(D) x(y + z) = xy + xz, x, y, zK.
1.2 OBSERVACIONES
(1) x + y se llama la suma de los sumandos x e y; xy se llama el
producto de los factores x e y. En lo sucesivo, escribiremos xy en lugar
de xy.
(2) Como + y son funciones, entonces + y estn bien defnidas y son
cerradas. Es decir, se tiene respectivamente que:
x = x, y = y x + y = x + y, xy = xy,
x, yK x + y, xyK.
Un ejemplo que ayuda a aclarar la importancia de ser + y bien
defnidas es el siguiente. Sea A el conjunto de todos los nmeros
racionales de la forma
b
a
con a, bZ , b > 0. Defnimos en A, mediante:
d b
c a
d
c
b
a
+
+

, donde + denota la adicin de nmeros enteros. Aunque es
cerrada en A, ella no est bien defnida pues
9
3
3
1
;
4
2
2
1

. Sin embargo,
9
3
4
2
3
1
2
1

(ya que
13
5
5
2

).
(3) Los axiomas (A
1
) al (A
4
) son los axiomas aditivos. (A
1
) se llama la
conmutatividad de la adicin, (A
2
) es la asociatividad de la adicin,
(A
3
) es la existencia de neutro aditivo y (A
4
) es la existencia de
inverso aditivo. Los axiomas (M
1
) al (M
4
) son los axiomas
multiplicativos. (M
1
) es la conmutatividad de la multiplicacin, (M
2
)
es la asociatividad de la multiplicacin, (M
3
) es la existencia de
neutro multiplicativo y (M
4
) es la existencia de inverso
multiplicativo. Finalmente, (D) es la distributividad de la
multiplicacin con respecto a la adicin.
(4) x
1
tambin se denota por
x
1
o por 1/x, y escribiremos usualmente
x
y
y/x, en lugar de yx
1
. As, por ejemplo, si x, y, u, vK y si y 0, v 0,
entonces:

2

yv
uy xv
v uy)y (xv v uyy v xvy uv xy
v
u
y
x
1 1 1 1 1 1 1 1
+
+ + + +

.
(5) Hemos dado un nombre anticipado a los smbolos 0, 1, x,
x
1
en los
respectivos axiomas que los defnen. Esto se debe a que en el prximo
Teorema 1.3, se demostrar que ellos son nicos.
(6) Observemos tambin que la relacin de igualdad en K est, por
defnicin, sujeta a ser una relacin de equivalencia en K. Es decir,
satisface las siguientes propiedades:
(1.1) xK, x = x (refexividad),
(1.2) x, yK, x = y y = x (simetra),
(1.3) x, y, zK, x = y, y = z x = z (transitividad).
El siguiente Teorema establece algunas de las propiedades ms bsicas
que se derivan de la defnicin de cuerpo.
1.3 TEOREMA Sea (K, +, ) un cuerpo. Entonces:
(1) Unicidad del cero: Si 0K satisface x + 0 = x, xK, entonces 0 =
0.
(2) Unicidad del inverso aditivo: Sea xK. Si yK satisface x + y =
0, entonces y = x.
(3) Cancelacin aditiva: Si x, y, zK satisfacen x + z = y + z, entonces
x = y.
(4) x, yK, (x + y) = (x) + (y).
(5) xK, (x) = x.
(6) Unicidad del 1: Si 1K satisface x1 = x, xK, entonces 1 = 1.
(7) Unicidad del inverso multiplicativo: Sea xK, x 0. Si yK
satisface xy = 1, entonces y = x
1
.
(8)Cancelacin multiplicativa: Si x, y, zK satisfacen xy = xz, donde
x 0, entonces y = z.
(9)x0 = 0, xK.
(10)(xy)
1
= x
1
y
1
, x, yK con x 0, y 0.
(11)(x
1
)
1
= x, xK con x 0.
(12)x = (1)x, xK.
(13)(x)y = x(y) = (xy), x, yK.
3

(14)(x)(y) = xy, x, yK.
Demostracin
(1) 0 = 0 + 0 (pues 0 es neutro aditivo). 0 = 0 + 0 (pues 0 es neutro
aditivo). Por (A
1
), 0 + 0 = 0 + 0. Pero, como = es una relacin simtrica y
transitiva, entonces 0 = 0.
(2) Tenemos,
y = y + 0 = y + [x + (x)] = (y + x) + (x) =
= (x + y) + (x) = 0 + (x) = (x) + 0 = x,
quedando a cargo del Lector justifcar cada igualdad.
(3) x + z = y + z (x + z) + (z) = (y + z) + (z), pues la adicin est bien
defnida. En consecuencia,

x = x + 0 = x + [z + (z)] = (x + z) + (z) = (y + z) + (z) =
= y + [z + (z)] = y + 0 = y.
(4) Por un lado, por (A
4
), tenemos que (x + y) + [(x + y)] = 0. Por el otro
lado,
(x + y) + [(x) + (y)] = [(x + y) + (x)] + (y) = [(y + x) + (x)] + (y) =
[y + (x + (x))] + (y) = (y + 0) + (y) = y + (y) = 0.
Por (2) anterior, (x + y) = (x) + (y).
(5) Por un lado, (x) + x = 0. Por otro lado, por (4), por (A
4
) y por (2),
tenemos sucesivamente que (x) + [(x)] = [x + (x)] = 0 = 0.
Luego, por (2), x = (x). Porqu 0 = 0?
(6) Es similar a la demostracin de (1) y queda a cargo del Lector.
(7) Es similar a la demostracin de (2) y queda a cargo del Lector.
(8) Es similar a la demostracin de (3) y queda a cargo del Lector.
(9) Como 0 = 0 + 0, entonces x0 = x(0 + 0) (ya que la multiplicacin
est bien defnida). Luego, x0 = x0 + x0 (por (D)). Por lo tanto, 0 + x0 =
x0 + x0, y por (3), 0 = x0.
(10)Es similar a la demostracin de (4) y queda a cargo del Lector.
(11)Es similar a la demostracin de (5) y queda a cargo del Lector.
(12)x + (1)x = 1x + (1)x = [1 + (1)]x = 0x = 0 (el Lector debe justifcar
cada igualdad).
4

(13)(x)y = [(1)x]y = [x(1)]y = x[(1)y] = x(y) (note que aqu hemos
usado (12) y algunas propiedades de la multiplicacin que el Lector debe
detectar). Adems, xy + x(y) = x[y + (y)] = x0 = 0. Luego, x(y) = (xy),
por (2) anterior.
(14)(x)(y) = [(1)x](y) = (1)[x(y)] = (1)[(xy)] = [(xy)] = xy, donde
las igualdades se justifcan por (12), (M
2
), (13), (12) y (5), respectivamente.

1.4 DEFINICIN Sea (K, +, ) un cuerpo. Entonces, K se llama un

cuerpo ordenado si existe K
+
tal que K
+
K con las siguientes dos
propiedades:
(0
1
) x, yK
+
x + yK
+
, xyK
+
.
(0
2
) xK, una y solo una de las siguientes tres propiedades se verifca:
(1) xK
+
(2) x = 0 (3) xK
+
.
(0
2
) se llama la Ley de la Tricotoma de Arqumedes.

K
+
se llama el conjunto de los elementos positivos de K.
Escribiremos, en lo sucesivo, x < y (o tambin y > x), en lugar de
escribir (y + (x))K
+
. Por ejemplo, yK
+
signifca y > 0.
Con esta notacin, (0
1
) y (0
2
) toman la forma:
(0
1
) x, yK, x > 0, y > 0 x + y > 0, xy > 0.
(0
2
) xK, una y solo una de las siguientes propiedades se verifca:
(1) x > 0 (2) x = 0 (3) x < 0.
Observemos tambin que una forma equivalente de expresar (0
2
) es:
(0
2
) x, yK, una y solo una de las siguientes propiedades se verifca:
(1) x < y (2) x = y (3) x > y.
NOTACIN: x, yK, escribiremos x y, en lugar de x + (y).
1.5 TEOREMA Sea (K, +, ) un cuerpo ordenado. Entonces:
5

(1) x, y, zK, x < y, y < z x < z (transitividad de <).
(2) x, y, zK, x < y x + z < y + z.
(3) x, y, zK, x + z < y + z x < y.
(4) 0 < 1.
(5) xK, x > 0 x < x.
(6) xK, x < 0 x < x.
(7) x, y, zK, x < y, z > 0 xz < yz.
(8) x, y, zK, x < y, z < 0 xz > yz.
(9) x, y, zK, xz < yz, z > 0 x < y.
(10) x, y, zK, xz < yz, z < 0 x > y.
(11) xK, x > 0 x
1
> 0.
(12) x, yK, 0 < x < y 0 < y
1
< x
1
.
Demostracin
(1) x < y signifca y x > 0 e y < z signifca z y > 0. Por lo tanto, por
(0
1
), (y x) + (z y) > 0. Usando algunas propiedades de cuerpo cules?,
obtenemos z x > 0. Es decir, x < z.
(2) x < y signifca y x > 0. Luego, (y + z) (x + z) > 0. En otras
palabras, x + z < y + z.
(3) Es similar a (2) y queda a cargo del Lector.
(4) Si 1 < 0,entonces 0 1 > 0. Es decir, 1 > 0. Por (0
1
), 1 = (1)(1) > 0.
Pero, 1 > 0 contradice la ley de la tricotoma (pues estamos suponiendo que
1 < 0). Luego, 1 < 0 es falso. Por (M
3
) conocemos que 1 0. Luego, por la ley
de la tricotoma, 0 < 1.
(5) x > 0 implica, por (0
1
), que x + x > 0. Pero, por (5) del Teorema 1.3,
tenemos x + x = x (x). Luego, x (x) > 0, lo cual signifca que x < x.
(6) Es similar a (5) y queda a cargo del Lector.
(7) x < y, z > 0 y x > 0, z > 0. Luego, por (0
1
), (y x)z > 0. Por lo
tanto, yz xz > 0. Esto es, xz < yz.
(8) Es similar a (7) y queda a cargo del Lector.
(9) Si y < x, entonces por (7), yz < xz, en contradiccin con la
hiptesis de ser xz < yz (va ley de la tricotoma). Si y = x, entonces yz = xz,
en contradiccin con la hiptesis xz < yz (va ley de la tricotoma). Por la
ley de la tricotoma de nuevo, pero aplicada ahora a x e y, tenemos que x <
y.
(10)Es similar a (9) y queda a cargo del Lector.
6

(11)Si x
1
< 0, entonces por (7), 1 = xx
1
< x0 = 0, lo cual contradice (4)
por la va de la ley de la tricotoma.
(12)Por (11), tenemos 0 < x
1
, 0 < y
1
. Por (0
1
), x
1
y
1
> 0. Como x < y,
entonces y x > 0. Por (0
1
), (y x)x
1
y
1
> 0. Luego, usando algunas
propiedades de cuerpo, cules?, x
1
y
1
> 0. Es decir, y
1
< x
1
.
NOTACIN. Sea ahora K un cuerpo ordenado y sean x, yK. En lo
sucesivo, escribiremos x y (o tambin y x), si x < y si x = y.
Note entonces, que x 0 signifca x > 0 x = 0.
Observemos tambin que es una relacin de orden en K. Es decir:
(1.4) xK, x x ( es refexiva),
(1.5) x, yK, x y , y x x = y ( es antisimtrica),
(1.6) x, y, zK, x y , y z x z ( es transitiva).
La demostracin de (1.4) es inmediata, la demostracin de (1.5) es por la
va de la ley de la tricotoma y la demostracin de (1.6) es una
consecuencia del Teorema 1.5 (1). Tambin, como consecuencia de la ley de
la tricotoma, resulta que (K, ) es totalmente ordenado (tambin dicho,
es un orden total en K); es decir, adems de ser un orden en K, se
tiene:
(1.7) x, yK, x y o y x.
Ahora vamos a pasar a estudiar el valor absoluto de un elemento de un
cuerpo ordenado K y vamos a presentar sus propiedades bsicas.
1.6 DEFINICIN Sea K un cuerpo ordenado y sea xK. El valor
absoluto o mdulo de x, denotado por x, se defne por:

'

<

>

0 x si x
0 x si 0
0 x si x
x
; es decir,

'

0 x si x
0 x si x
x
Observemos que por la ley de la tricotoma, x est defnido para todo xK.
Adems,
x 0,xK,
x = x, xK,
7

x = 0 si y solo si x = 0,
x > 0 si y solo si x > 0
1.7 TEOREMA Sea K un cuerpo ordenado.
(1) Si xK satisface x < , K con > 0, entonces x = 0.
(2) Sean x, K, donde > 0. Entonces:
x < < x < ,
x x .
(3) xy = x y, x, yK.
(4)
y x, ,
y
x
y
x

K, con y 0.
(5) x + y x + y , x, yK (desigualdad triangular).
(6) x y x y , x, yK.
Demostracin
(1) Si x fuera 0, entonces x > 0. Tomando = |x| en la hiptesis de (1),
tendramos que |x| < |x|, contradiciendo la ley de la tricotoma.Luego, x
= 0.
(2)Supongamos que x < . Si x 0 entonces x < . Luego, < x (esto se
debe a que > 0 < 0 < x). Luego, < x < .
Si x < 0, entonces x = x, y as, x < (pues por hiptesis, x < ).
Luego, < x (por (8) del Teorema 1.5 y porque (1)(x) = x).
Pero, como x < 0, entonces x < x (vea (6) del Teorema 1.5). Luego, x <
(pues < x, y as, < x). Luego, < x < .
Recprocamente, supongamos que < x < . Vamos a demostrar que
x < . Si x 0, entonces x = x. As, x < . Si x < 0, entonces x = x.
Como < x, entonces (x) = x () > 0. Luego, x < . Por lo tanto,
en este caso, tambin se tiene que x < .
Se deja al Lector demostrar (usando el caso ya demostrado) que:
x x .
(3) Sean x, y dos reales. Considerando los tres casos:

(1) x 0, y 0 ; (2) x 0, y 0 ; (3) x 0, y 0
8

(el caso x 0, y 0 es simtrico al caso (3) y as es superfuo considerarlo),
se demuestra en cada uno de ellos que xy = x y. Los detalles quedan a
cargo del Lector.
(4) Recuerde que
y
1
es tambin una notacin para y
1
, si y 0. Luego, si
y 0 entonces,
y
1
= y
1
. Por (3) anterior, basta demostrar que y
1
= y
1
,
lo cual se hace distinguiendo por separado los casos y > 0 e y < 0, y usando
(11) del Teorema 1.5. Los detalles quedan tambin a cargo del Lector.
(5) Por la defnicin de valor absoluto se tiene:
x x x, xK y y y y, yK.
Luego,
(x + y) x + y x + y, x, yK.

Por (2) anterior,
x + y x + y, x, yK.
(6) Como x = (x y) + y, tenemos por (5) que x x y + y. Luego:
(1.8) x y x y, x, yK.
Intercambiando los roles de x y de y en (1.8), y notando que y x =
x y, x, yK, tenemos:
(1.9) (x y) x y, x, yK.
De (1.8) y (1.9) tenemos fnalmente que x y x y, x, yK.
El conjunto Q de los nmeros racionales es un cuerpo ordenado y as tiene
las propiedades hasta ahora estudiadas en esta Leccin. La diferencia
entre los racionales y los reales que queremos enfatizar en esta Leccin es
que los racionales no son un cuerpo ordenado completo, pero los reales s
lo son. Antes de empezar a aclarar esta diferencia, recordemos primero la
siguiente:
1.8 DEFINICIN Sea X un conjunto no vaco y sea una relacin de
orden en X. Es decir, satisface:
9

(1.10) x x, xX (propiedad refexiva de ),
(1.11) x, yX, x y, y x x = y (propiedad antisimtrica de ),
(1.12) x, y, zX, x y, y z x z (propiedad transitiva de ).
Entonces, el par (X, ) se llama un conjunto parcialmente ordenado o
simplemente, un conjunto ordenado.
Aunque la relacin de orden en X se denot con el mismo smbolo que la
desigualdad de los conjuntos numricos, no debe ser confundida con ella.
Solo se pueden usar de las propiedades refexiva, antisimtrica y
transitiva que la defnen y cualquier otra propiedad que se demuestre de
ellas. Por ejemplo, en el conjunto N de los nmeros naturales,

a b si y solo si a es un divisor de b,
defne en N una relacin de orden, que no es la relacin usual de
desigualdad de nmeros naturales.
Note tambin que un cuerpo ordenado es un conjunto ordenado (vea los
comentarios antes de la defnicin 1.6).
1.9 DEFINICIN Sea (X, ) un conjunto ordenado y sea A X, A .
(1) xX se llama una cota superior de A en X si a x, aA.
(2) xX se llama una cota inferior de A en X si x a, aA.
(3) Si A tiene una cota superior en X, entonces A se llama acotado
superiormente en X.
(4) Si A tiene una cota inferior en X, entonces A se llama acotado
inferiormente en X.
(5) A se llama acotado en X si A es acotado tanto inferior como
superiormente en X.
Observe que un conjunto que tenga cota superior, puede tener varias otras
cotas superiores.
Una observacin similar es vlida para cotas inferiores. Por ejemplo, en el
cuerpo ordenado Q de los nmeros racionales, si

A = {xQ : x 1}, B = {xQ : x 5} , C = {xQ : 1 < x 3},
10

entonces A es acotado superiormente pero no inferiormente en Q y A tiene
infnitas cotas superiores, B es acotado inferiormente (con infnitas cotas
inferiores), pero no es acotado superiormente en Q. Ni A ni B son acotados
en Q, pero C es acotado en Q.
1.10DEFINICIN Sea (X, ) un conjunto ordenado y sea A X un
conjunto acotado superiormente en X. Entonces xX se llama el supremo
de A en X, y escribimos
x = supA,
si:
(1) x es cota superior de A en X, y
(2) si x
0
X es una cota superior de A, entonces x x
0
.
Similarmente, si A es acotado inferiormente en X, entonces xX se llama
el nfmo de A en X, y escribimos
x = infA,
si:
(3) x es cota inferior de A en X, y
(4) si x
0
X es una cota inferior de A, entonces x
0
x.
1.11 OBSERVACIONES
(1) No hay garanta que todo conjunto acotado en un conjunto ordenado X
tenga nfmo y/o supremo y eventualmente demostraremos (en el Teorema
1.20) que en el cuerpo ordenado Q de los racionales hay conjuntos acotados
sin supremo o sin nfmo.
(2) Se llam el supremo y se llam el nfmo a los correspondientes
elementos de la Defnicin 1.10, por la sencilla razn que ellos son nicos,
como se deduce fcilmente de la propia defnicin. Para la demostracin de
la unicidad del supremo, considere dos de ellos, digamos x
1
, x
2
, y
demuestre que x
1
= x
2
, demostrando que x
1
x
2
, y que x
1
x
2
. Use un
formato de demostracin similar para demostrar la unicidad del nfmo.
(3) Recordemos que si X es un conjunto ordenado y si A X, entonces
xA se llama el menor elemento de A si x a, aA. Similarmente xA
se llama el mayor elemento de A si a x, aA.
11

Demuestre, usando un formato de demostracin similar a como se
demuestra la unicidad del supremo, que si el menor o el mayor elemeto de
A existe, este debe ser nico.
Con este lenguage es fcil demostrar que supA es la menor de las cotas
superiores de A en X, e infA es la mayor de las cotas inferiores de A en X.
Esto no quiere decir que supAA, o que infAA. Por ejemplo, en el
conjunto C defnido antes de la Defnicin 1.10, infCC, pero supCC, ya
que infC = 1 y supC = 3.
Si supA existe y supAA, entonces supA se llama el mximo elemento
de A, el cual se denota por maxA. Similarmente, si infA existe y si infAA,
entonces infA se llama el mnimo elemento de A, y se denota por minA.
Note tambin que es posible tener un conjunto ordenado y un subconjunto
fnito que no tenga mximo elemento o mnimo elemento. Por ejemplo,
considere en N la relacin a b si y solo si a es un divisor de b , y
considere el conjunto A = {2, 3, 5}. Entre parntesis, es este A acotado
superiormente y/o acotado inferiormente en N? Existe supA y/o infA en
N?
Sin embargo, en un cuerpo ordenado K, todo subconjunto fnito tiene
mximo y tiene mnimo elemento, ya que un cuerpo ordenado es
totalmente ordenado, como fue observado antes.
1.12 DEFINICIN Sea (X, ) un conjunto ordenado. Entonces, (X, ) se
llama completo si todo A X, (A ), que es acotado superiormente en X,
tiene supremo en X.
1.13 TEOREMA Existe un nico cuerpo ordenado completo. Este cuerpo
contiene a Q, se denota por R y se llama el cuerpo de los nmeros
reales.
COMENTARIOS
(1) No demostraremos este Teorema ahora. Se demostrar en el Apndice
B. Mientras tanto asumiremos este Teorema como un axioma, como lo
propuso el matemtico K. Weierstrass. Sin embargo, el matemtico R.
Dedekind por un lado, a travs de las llamadas cortaduras de Dedekind
y el matemtico G. Cantor por otro lado, a travs de las llamadas clases de
equivalencia de sucesiones de Cauchy de nmeros racionales, han
12

propuesto diferentes construcciones de los nmeros reales a partir de los
nmeros racionales, que demuestran el Teorema 1.13. En el Apndice B
nosotros demostraremos el Teorema 1.13 por la va de G. Cantor ya que
esta construccin ser tambin adaptada a una situacin ms general, la
cual estudiaremos el prximo semestre al completar un espacio mtrico.
La palabra diferentes fue escrita entre comillas debido a la unicidad en
el enunciado del Teorema 1.13 (esta unicidad est aclarada en el ejercicio
propuesto nmero 30 al fnal de la Leccin). Es decir, dichas
construcciones son solo aparentemente diferentes.
(2)No est dems volver a insistir que el axioma de supremo es el que
hace la diferencia entre el cuerpo ordenado de los nmeros racionales y el
cuerpo ordenado de los nmeros reales. Q no es completo como lo
demostraremos en el Teorema 1.20, pero R es completo.
Vamos a completar esta Leccin estudiando algunas consecuencias
bsicas, pero muy importantes, del Teorema 1.13.
1.14 TEOREMA Sea A R un conjunto acotado inferiormente.
Entonces, infA existe en R.
Demostracin Sea xR una cota inferior de A. Sea A = {a : aA}. Note
que x es una cota superior de A en R pues, x a si y solo si a x.
Como R es completo, entonces A tiene supremo en R, digamos x
0
. Es
fcil demostrar ahora que x
0
= infA, demostrando que x
0
es una cota
inferior de A en R, y que es la mayor de ellas.
1.15 TEOREMA (PROPIEDAD ARQIMEDIANA DE LOS REALES)
Para todo xR, existe un nmero natural n tal que n > x.
Demostracin Si el Teorema fuera falso, existira xR con n x, nN.
As, N R sera acotado superiormente por este x. Sea s = supN.
Entonces, n + 1 s, nN. En consecuencia, n s 1, nN, en
contradiccin con el hecho de ser s (= supN) la menor de las cotas
superiores de N.
1.16 COROLARIO Sea R, > 0. Entonces, hay un nmero natural n,
tal que 1/n < .
13

Demostracin Por el Teorema, hay un nmero natural n tal que n > 1/.
Luego, 1/n < .
1.17 TEOREMA (DENSIDAD DE Q EN R) Sean xR, R, > 0.
Entonces, hay un nmero racional r tal que x r < .
Demostracin De acuerdo con el corolario anterior, sea q un nmero
natural tal que 1/q < . Por el Teorema anterior, podemos elegir nN tal
que qx < n. Por lo tanto, n < qx < n. En el conjunto fnito {n, n +
1, .... , 1, 0, 1, .... , n 1, n}, sea p el mayor entero que es menor o igual
que qx. Luego, p qx < p + 1. Por lo tanto,
q
1
q
p
x
q
p
+ <
. Si r =
q
p
,
entonces rQ y se tiene que 0 x r <
q
1
. En consecuencia, x r <
q
1
<
.
1.18 COROLARIO Entre dos nmeros reales distintos siempre hay un
nmero racional.
Demostracin Sean a, bR con a < b. Sea =
2
a b
. Note que > 0.
Sea x =
2
b a+
. Por el Teorema 1.17, existe rQ tal que x r < . Luego,
x < r < x + . Esto es, a < r < b.
Sea nN y sea xK, donde K es cualquier cuerpo ordenado.
Entonces, defnimos x
n
recursivamente como
x
1
= x, x
n+1
= x
n
x, nN.
As,
x
n
= xx...x, n factores,
y defnimos nx recursivamente como
1x = x, (n+ 1)x = nx + x, nN.
As,
nx = x + x + ... + x, n sumandos.
1.19 TEOREMA (EXISTENCIA Y UNICIDAD DE RAZ nSIMA)
14

Para cada xR, x > 0, y cada nN, existe un nico yR, y > 0 con y
n
= x.
Este y se denota por
n
x o por x
1/n
y se llama la raz nsima de x.
Demostracin Para demostrar la unicidad, sean y, z dos reales
positivos tales que y
n
= x = z
n
. Si y < z entonces y
n
< z
n
(demostrarlo por
induccin), lo cual es una contradiccin. Similarmente, y > z conduce a
contradiccin. Luego, por la ley de la tricotoma, y = z.
Para demostrar la existencia, sea A = {aR : a > 0, a
n
< x}. Sea a =
1 x
x
+
.
Entonces, 0 < a < 1, y por lo tanto (por induccin), a
n
< a. Luego, a
n
< x.
As, aA. Luego, A . Note ahora que 1 + x es cota superior de A en R.
En efecto, si no lo fuera, habra bA con 1 + x < b. Pero, entonces, por
induccin y porque b > 1, tenemos que b
n
> b. Luego, b
n
> x, lo cual es una
contradiccin (pues bA). As, A es acotado superiormente en R.
Sea y = supA. Demostraremos que x = y
n
, demostrando que cada
desigualdad x < y
n
, x > y
n
conduce a contradiccin.
Supongamos primero que x < y
n
. Sea c =
1 n
n
ny
x y

. Entonces, 0 < c < y. En

efecto, para demostrar que c < y, suponer que c y. Por lo tanto, y
n
x
ny
n
. Luego, x (1 n)y
n
, de donde x 0, lo cual es una contradiccin.
Observe ahora que como y es la menor de las cotas superiores de A en R,
entonces y c no es cota superior de A en R. Por lo tanto, hay dA tal que
y c < d. Luego,
y
n
d
n
< y
n
(y c)
n
cny
n1
= y
n
x.
La segunda desigualdad de la lnea anterior se demuestra por induccin.
Luego, d
n
> x, contradiciendo que dA.
Supongamos ahora que y
n
< x. Elegir, de acuerdo con el corolario anterior,
un hR tal que
(1.13) 0 < h < 1, h <
1 n
n
1) n(y
y x

.
Entonces, por (1.13), tenemos:
(y + h)
n
y
n
hn(y + h)
n1
< hn(y + 1)
n1
< x y
n
.
15

Luego, (y + h)
n
< x. En consecuencia, y + h A, lo cual contradice que
y = supA. Luego, y
n
= x.
1.20 TEOREMA El cuerpo ordenado Q de los nmeros racionales no es
completo.
Demostracin Sea A Q defnido por A = {xQ : x < 2}. Entonces, A
es acotado superiormente en Q, por ejemplo, por 2 (el Lector debe
demostrar que 2 < 2). Vamos a demostrar que A no tiene supremo en Q.
Para ello, vamos a demostrar que el supremo de A en R es 2. En efecto,
2 es claramente una cota superior de A en R. Por otro lado, si y < 2
entonces y no puede ser cota superior de A en R pues si lo es, entonces por
el Corolario 1.18, habra rQ con y < r < 2, lo cual es una contradiccin.
Luego, 2 es el supremo de A en R. Observe ahora que como Q R, y
como el supremo de A en R es nico entonces, si existiera el supremo de A
en Q, este debe coincidir con el supremo de A en R.
Luego, la demostracin se completa demostrando que 2 no es racional.
En efecto, si 2Q, entonces habran p, qZ, primos entre s, con
q
p
2
.
Luego, 2q
2
= p
2
. As, p
2
, y por lo tanto p, sera un nmero par (ya que si p
fuese impar, digamos p = 2m + 1, donde mZ, entonces p
2
= 2(2m
2
+ 2m) +
1, sera tambin impar).As, p = 2n, para algn nZ. Pero, como 2q
2
= p
2
,
entonces, 2q
2
= 4n
2
. En consecuencia, q
2
= 2n
2
.
Luego, q
2
, y por lo tanto q, al igual que p, sera un nmero par,
contradiciendo el hecho de ser p y q primos entre s. As, 2Q y, en
consecuencia, A que es acotado superiormente en Q, no tiene supremo en
Q.
Antes de completar esta Leccin, vamos a aprovechar la oportunidad para
introducir la siguiente:
1.21 DEFINICIN Sean a, bR con a < b. Entonces:
(1) (a, b) = {xR : a < x < b},
(2) (, a) = {xR : x < a},
(3) (a, ) = {xR : a < x},
(4) (, ) = R,
16

(5) [a, b] = {xR : a x b},
(6) [a, b) = {xR : a x < b},
(7) (a, b] = {xR : a < x b},
(8) (, a] = {xR : x a},
(9) [a, ) = {xR : a x}.
Estos conjuntos se llaman intervalos reales. Los intervalos en (1), (2),
(3) y (4) se llaman intervalos abiertos. Los intervalos en (5), (8) y (9) se
llaman intervalos cerrados. Los intervalos en (6) y (7) se llaman
intervalos semiabiertos. Los intervalos en (1), (5), (6) y (7) son los
intervalos de longitud fnita b a. Los intervalos en (2), (3), (4), (8) y (9)
son los intervalos de longitud infnita.
PREGUNTAS DE LA CLASE
1. En el texto se consider el conjunto C = {xQ : 1 < x 3}, y se dijo que
infC = 1 y supC = 3. Esto es intuitivamente claro. Pero, podra dar una
demostracin de este hecho?
Respuesta Primero que nada, es claro que 3 es una cota superior de C en Q. Por
otro lado, si x
0
Q y si x
0
< 3, entonces x
0
no puede ser cota superior de C (ya que
3C). Luego, si x
0
Q es cota superior de C entonces, 3 x
0
(aqu hemos usado el
hecho de ser Q un cuerpo ordenado y por lo tanto satisface la ley de la tricotoma).
Luego, supC = 3 (vea la defnicin de supremo).
Para demostrar que infC = 1, note primero que 1 es una cota inferior de C en Q.
Sea ahora x
0
Q una cota inferior de C. Para demostrar que 1 = infC, debemos
demostrar que x
0
1 (vea la defnicin de nfmo). Para demostrar que x
0
1,
supongamos lo contrario. Es decir, supongamos que 1 < x
0
(note que hemos
usado la ley de la tricotoma de Q). Vamos a llegar a una contradiccin. Como
1 < x
0
entonces, x
0
C (ya que si x
0
C, entonces x
0
> 3, y as, x
0
no sera una
cota inferior de C en Q). Pero, 1 < (1 + x
0
) < x
0
(ya que si x, y R, con x
< y, entonces se tiene que x < (x + y) < y, como Ud. tiene la sana y fcil tarea
de demostrar). Como adems (1 + x
0
)Q, entonces este elemento tambin
pertenece a C, y as, x
0
no es cota inferior de C, lo cual es una contradiccin.
2. En la clase se asegur que si A R est acotado superiormente entonces,
supA es la menor de las cotas superiores de A. Podra aclarar esto un poco ms?
17

Respuesta Consideremos el conjunto B = {yR: y es cota superior de A}.
Debemos demostrar que (B, ) tiene un menor elemento y que este menor
elemento es supA. Es claro que supAB. De acuerdo con (3) de la Observacin
1.11, debemos demostrar que supA y, yB. Pero, esto es verdad por la propia
defnicin de supremo (vea (2) de la Defnicin 1.10).
3. Del enunciado del Teorema 1.13 se infere que cualquier cuerpo ordenado
completo debe contener a Q. Pero, a simple vista pareciera que todo cuerpo fnito
debe ser ordenado y por ser fnito y ordenado, debe ser tambin completo.
Respuesta Ningn cuerpo fnito puede ser ordenado. Y ahora paso a presentarle
una demostracin de este hecho. Para ello, sea K un cuerpo fnito. Los elementos:
1, 1 + 1, 1 + 1 + 1, ... ... , 1 +... ... + 1, ... ... ,
pertenecen a K y como K es fnito, estos elementos no pueden ser todos distintos
entre s. Luego al menos dos de ellos son iguales, y usando la cancelacin aditiva
(Teorema 1.3 (3)), resulta que 1 + 1 + ...+ 1 = 0, para un cierto nmero positivo de
sumandos 1. Como 1K
+
, entonces si K fuera un cuerpo ordenado, se debera
tener

0 = 1 + 1 + ... + 1 K
+
(vea (0
1
) de la Defnicin 1.4). Pero esto contradice (0
2
) ya que (0
2
) implica que
0K
+
. Luego, K no puede ser un cuerpo ordenado si es fnito.
4. En el curso de Algebra I, hemos visto que C (los complejos) es un cuerpo
para la adicin componente por componente y multiplicacin dada por

(a, b)(c, d) = (ac db, ad + bc), a, b, c, dR.
Es C un cuerpo ordenado?
Respuesta No. Suponga que el cuerpo C de los nmeros complejos es un cuerpo
ordenado. Vamos a llegar a una contradiccin. Para ello, consideremos el
nmero complejo i = (0, 1).
Note que, por la multiplicacin dada en el enunciado, se tiene:

ii = (0, 1)(0, 1) = (1, 0) = 1
18

(recuerde que los elementos del tipo (x, 0) con xR se identifcan con x). Luego
i
2
= 1. Supongamos que hay un subconjunto C
+
de C, que satisface (0
1
) y (0
2
) de
la Defnicin 1.4. Por (0
2
) se tiene que iC
+
iC
+
(ya que claramente i 0).
Pero si iC
+
entonces, por (0
1
), i
2
= 1C
+
. Por (0
1
), de nuevo, (1)( 1) = 1C
+
.
Luego, 1C
+
, y 1C
+
, contradiciendo la ley de la tricotoma (0
2
). Pero si
iC
+
entonces, por (0
1
), (i)( i) = 1C
+
. Por (0
1
) de nuevo, (1)(1) = 1C
+
.
Luego, 1C
+
y 1C
+
, contradiciendo la ley de la tricotoma. Luego, el cuerpo C
de los nmeros complejos no es un cuerpo ordenado.
5. En la Defnicin 1.21, Ud. dice que los intervalos (, a] y [a, ) son
cerrados. No se llaman estos intervalos semiabiertos, en similitud con los
intervalos del tipo (a, b] y [a, b)?
Respuesta En varios libros estos intervalos se llaman semiabiertos. En la
Leccin 6, nosotros vamos a estudiar los conjuntos abiertos y los conjuntos
cerrados en R
n
, y en particular en R. All vamos a demostrar que un intervalo
abierto, de longitud fnita o no, es un conjunto abierto y veremos que el
complemento de un conjunto abierto es un conjunto cerrado. Para ser
consistentes con estos hechos es que los intervalos del tipo (, a] y del tipo [a, )
se llamarn cerrados en este texto, por ser el complemento de los intervalos
abiertos (a, ) y (, a), respectivamente.
PRCTICA DE LA LECCIN
1. Sea K un cuerpo ordenado y sean x, y, zK. Demuestre que:
(1) x
2
+ y
2
= 0 x = y = 0.
(2) x, y , z no negativos, x y + z
z 1
1
y 1
1
x 1
1
+
+
+

+
.
(3) x > 1 x
n
1 n(x 1), nN.
Solucin
(1) Vamos a demostrar primero que para cada zK, se tiene que z
2
0. Para
ello, sea zK. Por la ley de la tricotoma, z > 0, z = 0 z > 0.
Si z > 0 entonces, por (0
1
), z
2
= zz > 0. Si z = 0 entonces, z
2
= 00 = 0.
Si z > 0 entonces, por (0
1
), (z)(z) > 0. Pero, por Teorema 1.3 (14), se tiene z
2
=
(z)(z). Luego, z
2
> 0 en este caso tambin. As, para cada zK se tiene, z
2
0, y
si z 0, entonces z
2
> 0.
19

Para resolver ahora el ejercicio, suponer que x 0. Entonces, por la observacin
anterior, x
2
> 0. Pero, como y
2
0, entonces por la propia defnicin de , y por
(0
1
), se tiene que x
2
+ y
2
> 0. Pero, esto contradice la hiptesis x
2
+ y
2
= 0.
Luego, x = 0. Similarmente se demuestra que y = 0.
Antes de pasar al prximo ejercicio, observemos que en el enunciado de este
problema solo estn envueltas las operaciones de cuerpo de K. Sin embargo, en su
solucin hemos usado las propiedades de cuerpo ordenado de K. La pregunta
pertinente es:
es verdad que en todo cuerpo (no necesariamente ordenado),
x
2
+ y
2
= 0 x = y = 0?
El Lector debe tratar de responder a esta pregunta. (Indicacin: considere el
cuerpo Z
2
de los enteros mdulo 2).
(2) Para aclarar la notacin del enunciado, conviene leer (4) de Observaciones
1.2. Note primero que:
z 1
z
y 1
y
z y 1
z
z y 1
y
z y 1
z y
+
+
+

+ +
+
+ +

+ +
+
La desigualdad anterior, se debe al Teorema 1.5(12), aplicado a las
desigualdades:
0 < 1 + y 1 + y + z,
y
0 < 1 + z 1 + y + z.
Por lo tanto, es sufciente demostrar que:
z y 1
z y
x 1
x
+ +
+

+
.
Pero, esto es verdad ya que x y + z implica:
x(1+ y + z) (1 + x)(y + z),

de donde resulta por (7) y (11) del Teorema 1.5 que
z y 1
z y
x 1
x
+ +
+

+
.
Esto completa la solucin.
(3) Recordemos primero que x
n
= xx...x, n factores, y recordemos que nx =
x + x + ... + x, n sumandos. Vamos a demostrar este ejercicio por induccin.
Para n = 1, la desigualdad es clara.
Suponer ahora que:
20

(1.14) x
n
1 n(x 1).
Debemos demostrar que:
(1.15) x
n+1
1 (n + 1)(x 1).
Note que x
n+1
x = (x
n
1)x nx(x 1) (vea (1.14) y Teorema 1.5 (7)).
Pero,
x > 1 nx(x 1) > n(x 1)
porqu? Luego, x
n+1
n(x 1) + x. En consecuencia,

x
n+1
1 n(x 1) + (x 1) = (n + 1)(x 1).
Esto completa la solucin.
2. Sean x, yR.
(1) Demuestre que x < 1, y < 1
1
xy 1
y x
<

.
(2) Demuestre que x 0, y 0
y x
y x 2
y
y
x
x
+
+
+
.
(3) Si x < y + , R tal que 0 < < , donde es un real positivo fjo,
demuestre que x y.
Solucin
Note que x < 1, y < 1 xy < 1. Luego, 1 xy > 0. Por lo tanto, debemos
demostrar que x y < 1 xy. Pero, si a, b > 0 satisfacen a
2
< b
2
, entonces a <
b (demustrelo). As, debemos demostrar que x y
2
< (1 xy)
2
.
Pero, a
2
= a
2
, aR. En consecuencia, debemos demostrar que

(x y)
2
< (1 xy)
2
.
Es decir, debemos demostrar que x
2
2xy + y
2
< 1 2xy + x
2
y
2
.
En resumen , el ejercicio se reduce a demostrar lo siguiente:
(1.16) x < 1, y < 1 x
2
+ y
2
< 1 + x
2
y
2
.
Para demostrar (1.16), note que (1 x
2
)(1 y
2
) = 1 x
2
y
2
+ x
2
y
2
. Como x < 1, y
como y < 1, entonces (1 x
2
)(1 y
2
) > 0.
Por lo tanto, 1 x
2
y
2
+ x
2
y
2
> 0, lo que demuestra (1.16).
(2) El ejercicio luce complicado. Sin embargo, no es as. Note que si x > 0, y
< 0 si x < 0, y > 0, entonces
0
y
y
x
x
+
y la desigualdad pedida se satisface
21

claramente. Pero si x > 0, y > 0 si x < 0, y < 0, entonces tenemos que
2
y x
y x 2
y, , 2
y
y
x
x

+
+
+
. Luego, la desigualdad es tambin clara.
(3) Supongamos x > y. Vamos a llegar a una contradiccin.
Note que x y > 0. Luego, por la Propiedad Arquimediana, hay un nmero
natural n (que podemos suponer mayor que 1) tal que x y < n. Sea =
n
y x
. Entonces , 0 < < . Por la hiptesis, tenemos que x < y +
n
y x
, de
donde (n 1)(x y) < 0. Recuerde ahora que:
(n 1)(x y) es (x y) + ... + (x y), n 1 sumandos.
Luego, por (0
1
), x y < 0, en contradiccin con la suposicin x > y. Luego, por (0
2
),
tenemos que x y.
3. Sean A, B R dos conjuntos acotados superiormente.
(1) Si A B , demuestre que A B es acotado superiormente y demuestre
que
sup(A B) min{supA, supB}.
Exhiba un ejemplo donde la desigualdad no es una igualdad.
(2) Demuestre que A B es acotado superiormente y
sup(A B) = max{supA, supB}.
Solucin
(1) Como A B A, sup A es cota superior de A B. Luego, A B es acotado
superiormente y por defnicion de supremo, sup(A B) supA.
Similarmente, sup( A B) supB. Luego,

sup(A B) min{supA, supB}.
Para exhibir un ejemplo donde la igualdad no es siempre vlida, considere los
conjuntos en R defnidos por A = [0, 2] {4} y B = [1, 3].
(2) Sea xA B. Si xA, entonces x supA, y si xB, entonces, x supB.
Luego, x max{supA, supB}. As, A B es acotado superiormente y tenemos que
sup(A B) max{supA, supB}.
Por otro lado, A A B y as supA sup(A B) (pues sup(A B) es cota
superior de A). Similarmente, supB sup(A B).
Luego, max{supA, supB} sup(A B).
22

En consecuencia, sup(A B) = max{supA, supB}.
4. Sean A, B R. Defnir A + B = {x + y : xA, yB} y defnir
AB = {xy : xA, yB}.
Suponer ahora que A y B son acotados inferiormente. Demuestre que:
(1) inf(A + B) = infA + infB.
(2) infA > 0, infB > 0 inf(AB) = (infA)(infB).
Solucin
(1) Sea z(A + B). Luego, z = x + y con xA, yB.
Como infA x, infB y, entonces infA + infB z, z(A + B).
Por defnicin de nfmo, infA + infB inf(A + B).
Para demostrar la desigualdad inversa, sea > 0. Entonces, infA + /2 no es cota
inferior de A (ya que infA es la mayor de las cotas inferiores). As, hay xA tal
que x < infA + /2. Similarmente, hay yB con y < infB + /2.
Luego, x + y < infA + infB + . Pero inf(A + B) x + y. En consecuencia,
inf(A + B) < infA + infB + , > 0.
Por lo tanto, inf(A + B) infA + infB (vea el ejercicio propuesto 13 al fnal de la
Leccin). As, inf(A + B) = infA + infB.
(2) Sea zAB. Entonces, z = xy, con xA, yB. Luego, infA x, infB y. En
consecuencia, (infA)(infB) xy = z (ya que infA > 0, infB > 0).
Es decir, (infA)(infB) z, zAB. Por defnicin de nfmo, se tiene que AB es
acotado inferiormente e (infA)(infB) inf(AB). Para demostrar ahora la
desigualdad opuesta, sea > 0. Entonces, infA +
B inf 3

no es cota inferior de A y
en consecuencia, hay xA con x < infA +
B inf 3

. Similarmente, hay yB tal

que y < infB +
A inf 3

. As, xy < (infA+

B inf 3

)(infB +
A inf 3

).
Como xyAB, entonces:
inf(AB) < (infA +
B inf 3

)(infB +
A inf 3

) =
= (infA)(infB) +
3
2
+
) B )(inf A (inf 9
2

<
< (infA)(infB) + ,
si < 3(infA)(infB). Luego, por el ejercicio 2(3) de esta Prctica, tenemos que
inf(AB) (infA)(infB).
23

5.(1)Sea xR. Demuestre que:
(i) x = inf{rQ : x < r} (ii) x = sup{rQ : r < x}.
(2)Sean A = {a
n
: n = 1, 2, 3, ...} y B = {b
n
: n = 1, 2, 3, ...} dos conjuntos de
nmeros reales tales que a
n
< b
n
, n = 1, 2, 3, ... . Si A es acotado superiormente,
es verdad que B es acotado inferiormente? Si B es acotado superiormente,
demuestre que A es acotado superiormente y supA supB.
Es verdad que supA < supB?
Solucin
(1) Es claro que x es cota inferior del conjunto A = {rQ : x < r}. Sea yR tal que
x < y. Entonces, por el corolario 1.18, hay un nmero racional r tal que x < r < y.
Como x < r, entonces rA. Como r < y, entonces, y no es cota inferior de A. Luego,
x es la mayor de las cotas inferiores de A, y as,
x = infA = inf{rQ : x < r}.
Esto demuestra (i). La demostracin de (ii) es similar y se deja al Lector.
(2) La respuesta a la primera pregunta es no. En efecto, sean a
n
= n, y sean
b
n
= n + 1, n = 1, 2, 3, ... . As, a
n
< b
n
, n = 1, 2, 3, ... , A = {... , 4, 3, 2, 1}
y B = {... , 3, 2, 1, 0}. A es acotado superiormente pero, B no es acotado
inferiormente. Suponer ahora que A y B son como en el enunciado y supongamos
adicionalmente que B es acotado superiormente. Observe que a
n
< b
n
, n,
implica a
n
< supB, n. Luego, A es acotado superiormente y como supA es la
menor de las cotas superiores de A, entonces supA supB.
Sin embargo, no se puede asegurar que supA < supB. Por ejemplo, sean a
n
=
n
1
, b
n
=
1 n
1
+

, n = 1, 2, 3, ... . Luego, a
n
< b
n
, n, pero supA = supB = 0.
6.(1)Demuestre que dado un nmero real x, hay siempre un nmero entero m
tal que m 1 x < m.
(2)Demuestre que si x e y son dos nmeros reales tales que 1 + x y,
entonces hay un nmero entero n tal que x < n y.
Solucin
(1) Conocemos del curso de Algebra I, el Principio del Buen Orden de los nmeros
naturales, que asegura que todo subconjunto no vaco de nmeros naturales tiene
un menor elemento. Si el real x es el 0, entonces tomamos m = 1 para obtener la
conclusin. Si el real x es positivo, entonces por la Propiedad Arquimediana, hay
24

un natural n tal que x < n. Por el Principio del Buen Orden de los naturales
nombrado arriba, hay un menor natural m tal que x < m.
Luego, m 1 x < m. Si x es negativo, la conclusin se obtiene aplicando lo
anterior al real positivo x. Los detalles quedan a cargo del Lector.
(2) Aplicando (1), sea n un entero con n 1 x < n. As, n x + 1.
Como 1 + x y, entonces n y. Luego, x < n y.
7.(1) Demuestre que 5 2+ es un nmero irracional (es decir, real pero no
racional).
(2) Es verdad que para cada nmero natural n mayor que 1, 3 n n + + es un
nmero irracional?
Solucin
(1) Supongamos que 5 2+ = r, donde r es un nmero racional. Vamos a llegar a
una contradiccin. Note primero que r 0 y que 2 r 5 . Elevando al
cuadrado y despejando 2, tenemos que
r 2
3 r
2
2

. Como Q es un cuerpo,
entonces
r 2
3 r
2

es un nmero racional. Luego, 2 es un nmero racional, lo

cual es una contradiccin (lea la demostracin del Teorema 1.20).
(2) Si 3 n n + + es racional, tambin lo es su cuadrado y en consecuencia
) 3 n ( n + es racional. Sean p y q dos enteros positivos, primos entre s, tales que
) 3 n ( n + =
q
p
. Luego, n(n + 3) =
2
2
q
p
. Como n(n + 3) es un nmero natural,
entonces q
2
y por lo tanto q, es un divisor de p
2
. Pero, p y q son primos entre s.
Luego, q = 1, y as, n(n + 3) = p
2
. Si p n + 3 si p n, llegamos a una rpida
contradiccin (por ejemplo, p n + 3 p
2
(n + 3)
2
> n (n + 1)).
Luego, n < p < n + 3, y como p es un nmero entero positivo, entonces p
= n + 1 p = n + 2. Si p = n + 1, entonces n(n + 3) = (n + 1)
2
, de donde n = 1.
Similarmente, si p = n + 2, entonces n = 4, el cual no es un nmero natural. En
resumen, 3 n n + + es racional, solo cuando n = 1.
EJERCICIOS PROPUESTOS
1. Sea K un cuerpo. Demuestre que si x, yK, satisfacen xy = 0, entonces x
= 0 o bien y = 0.
2. Sea K un cuerpo. Sea xK, x 0, y suponer que x + x
1
= 2. Demuestre
que x
2
+ x
2
= 2, y por induccin demuestre que x
n
+ x
n
= 2, nN.
3. Sean x, yR.
25

(1) Demuestre que x
n
y
n
= (x y)(x
n1
+ x
n2
y + ... + xy
n2
+ y
n1
), nN.
(2) Demuestre que:
(i) 0 < x < y x
n
< y
n
, nN,
(ii) n, mN, n < m , 0 < x < 1 x
n
> x
m
,
(iii) n, mN, n < m , 1 < x x
n
< x
m
,
(iv) (xy)
n
= x
n
y
n
, nN,
(iii) y 0
n
n
n
y
x
y
x

,
_

, nN.
4. Sea K un cuerpo. Demuestre que:
(1) n(x + y) = nx + ny, nN, x, yK
(2) (nx)y = n(xy) = x(ny), nN, x, yK
(3) (m + n)x = mx + nx, m, nN, xK
(4) (mn)x = m(nx), m, nN, xK.
5. Defnir:
1 n , ... 3, 2, 1, k ,
k!
1) k (n ... 1) n(n
k
n
1,
n
n
0
n

+


,
_

,
_

,
_

,donde nN.
Sea K un cuerpo. Sean x, yK. Demuestre el Teorema del Binomio de
Newton:
k k n
n
0 k
n
y x
k
n
y) (x

,
_

+
, nN.
6. Sea K un cuerpo ordenado. Sean x, yK con xy > 0.
Demuestre que (x > 0 , y > 0) (x < 0 , y < 0).
7.Sea K un cuerpo ordenado y sean x, yK que satisfacen x y < , K,
tal que > 0. Demuestre que x = y.
8. Sea K un cuerpo ordenado y sean x, y, zK.
Demuestre que x y z si y solo si x y + y z = x z.
9. Sean K un cuerpo ordenado y a, b, x, yK con a < x < b, a < y < b.
Demuestre que x y < b a.
10. Sea K un cuerpo ordenado y sean x, LK tales que L < x < L + , K,
tal que > 0. Demuestre que L = x.
11. Sea K un cuerpo ordenado y sean x, K. Demuestre que:
x > si y solo si x > x < .
12. Sean K un cuerpo ordenado, xK. Si x < 1 + , K tal que > 0, es
verdad que x < 1? Demuestre o exhiba contraejemplo.
13. Sea K un cuerpo ordenado. Sean x, yK tales que x < y + , K tal
que > 0. Demuestre que x y.
14. Encontrar (demostrando su respuesta) infA y supA en R (si existen), en los
siguientes casos:
26

(1) A = {1/n : nN} (2) A = {
2 k
1 2k
+
+
: kN}
(3) A = {xR : x
2
> 2} (4) A = {xR : x
2
x 2 < 0}.
15. Para cada x, yR, demuestre que:
(1) max{x, y} =
2
y x y x + +
(2) min{x, y} =
2
y x y x +
.
16. Demostrar que los siguientes nmeros son irracionales; es decir, son
reales pero no racionales:
(1) 1 +
3
2
(2) 3 (3) 1 + n + n , nN.
17. Sean A B R, con A , y B acotado.
Demuestre que A es acotado y que infB infA supA supB.
18. Sea A R acotado superiormente. Sea A = {x : xA}. Demuestre que A
est acotado inferiormente y que inf(A) = supA.
19. Exhibir, demostrando su respuesta, un conjunto de nmeros irracionales
con supremo racional.
20. Sea A R acotado superiormente. Sea B = {xR : x es cota superior de A}.
Demuestre que B est acotado inferiormente y que supA = infB.
21. Sea A R acotado superiormente. Demuestre que x = supA si y solo si x es
cota superior de A en R y > 0, hay x
0
A con x < x
0
x.
22. Sea A R acotado inferiormente. Demuestre que x = infA si y solo si x es
cota inferior de A en R y > 0, existe x
0
A con x x
0
< x + .
23. Sean A, B R dos conjuntos acotados superiormente.
Demostrar que sup(A + B) = supA + supB, donde A + B est defnido
por A + B = {a + b : aA, bB}.
24. Sea A R un conjunto acotado. Sea A = {x : xA}. Demuestre que:
(1) A es acotado
(2) supA = max{supA, infA}
(3) 0 inf A min{supA, infA}.
25. Sean A y B dos conjuntos de nmeros reales positivos. Demostrar que
sup(AB) = (supA)(supB), donde AB = {ab : aA, bB}.
26. Demostrar que entre dos nmeros reales distintos hay siempre un nmero
irracional.
27. Demostrar que xR, > 0, hay un irracional z tal que z x < .
28. Demostrar que para cada entero positivo p y cada real > 0, hay un
nmero racional r tal que r
2
< p < r
2
+ .
29. Demostrar que entre dos nmeros reales distintos, existe un nmero
racional de la forma
n
10
m
con nN, mZ.
27

30. Sean F y K dos cuerpos ordenados completos. Demuestre que F y K son
isomorfos. Es decir, demuestre que hay una funcin f : F K que es 11,
sobre y satisface:
(1) f(x + y) = f(x) + f(y), x, yF.
(2) f(xy) = f(x)f(y), x, yF.
(3) x, yF, x y f(x) f(y).
Este ejercicio dice que si existe un cuerpo ordenado completo K, entonces K
es nico salvo isomorfsmo.
31. (1) Sean x, yR. Demuestre que:
(i) 0 < x < y
n
n
y x< , nN,
(ii) m, n N, n < m , 0 < x < 1
m n
x x<
,
(iii) m, n N, n < m , 1 < x
m n
x x>
,
(iv) x 0, y 0
n
n
n
y x xy , nN,
(iii) x 0, y > 0
n
n
n
y
x
y
x

, nN.
(2) Exhiba un cuerpo ordenado K y un elemento xK que no tenga raz
cbica. Demuestre su respuesta.
EXAMEN DE LA LECCIN
1. (1)Sea K un cuerpo. Sean x, yK. Considerando la ley asociativa en
la suma xy + (x)y + (x)(y), demuestre que xy = (x)(y).
(2)Sea K un cuerpo ordenado y sea xK tal que x > 0. Demuestre
que x + x
1
> 2 si y solo si x 1.
(3) Demuestre que todo cuerpo ordenado debe contener un
nmero infnito de elementos.
(4)Demuestre que el cuerpo C de los nmeros complejos no es un
cuerpo ordenado.
2.(1)Como se defne el valor absoluto en R?
(2) Si x, y, zR, demuestre que x y z x y z.
(3) Enuncie y demuestre la propiedad que us para demostrar (2).
(4)Es verdad que si x, yR, satisfacen la desigualdad x > y,
entonces
y x
y x
y x
y x

+
+
?
28

(5) Si x, yR satisfacen x y , R tal que 0 < 1,
demuetre que x = y.
3.(1)Sea (X, ) un conjunto ordenado y sea A X. Cmo se defne el
mximo elemento y el mnimo elemento de A?
(2)Exhiba un conjunto ordenado (X, ) y un subconjunto fnito
A X que tenga mnimo elemento pero que no tenga mximo
elemento.
(3)Demuestre que en un cuerpo ordenado, todo subconjunto fnito,
no vaco, tiene mximo y tiene mnimo.
4. (1)Cmo se defne el supremo y el nfmo de un conjunto acotado de
R?
(2)Demuestre que ellos son nicos.
(3)Demuestre que el nfmo de un conjunto A R, acotado
inferiormente es la mayor de las cotas inferiores de A.
5.(1)Sean A, B R dos conjuntos acotados y suponer que A B .
(2)Demuestre que A B y A B son acotados.
(3)Demuestre que inf(A B) max{infA, infB} y exhiba un ejemplo
en donde no se verifca la igualdad.
(4)Es verdad que inf(A B) = min{infA, infB}?
6.(1)Qu dice la Propiedad Arquimediana? Demustrela.
(2)Sea > 0. Demuestre que hay n, mN tales que 1/n + 1/m < .
Deduzca que infA = 0, donde A = {1/n + 1/m : n, mN}.
(3)Sea > 0. Demuestre que hay n, mN tales que 1/n + 1/m > 2 .
Deduzca que supA = 2, donde A es como en (2).
7. Demostrando su respuesta, exhiba conjuntos acotados A, B, C R
tales que:
(1)infAA, pero supAA.
(2)infBB y supBB.
(3)Los elementos de C son nmeros racionales pero infC y supC no
lo son.
8.(1)Qu dice el Teorema de Densidad de Q en R?
(2)Demustrelo.
(3)Deduzca que entre dos reales distintos siempre hay un nmero
racional.
29

(4)Exhiba, demostrando su respuesta, un nmero racional entre
3 y 2
.
9. (1)Enuncie el Teorema de existencia y unicidad de raz nsima en
R.
(2)Exhiba un bosquejo de su demostracin.
(3) Demuestre que 5 es un nmero irracional (es decir, es real pero
no racional).
(4)Demuestre que en R se tiene que 5 2 10 .
10. Sea xR. Demuestre que:
(1) x = sup{y : y es irracional menor que x}.
(2) x = inf{y : y es irracional mayor que x}.
11.Justifcando su respuesta, indique cules de las siguientes
proposiciones son verdaderas:
(1) Si K es un cuerpo oredenado y si xK, entonces x < x.
(2) Si x, yR entonces x y x y.
(3) Si xR y si < x < , > 0, entonces x = 0.
(4) Si A R tiene supremo, entonces tambin tiene nfmo.
(5) Entre dos reales distintos hay un nmero racional y uno
irracional.
(6) Todo cuerpo ordenado es completo.
(7) La propiedad Arquimedeana de los reales asegura que entre dos
reales distintos hay un nmero natural.
(8) > 0, (R), existe nN tal que < 1/n.
(9) Existe un menor entero positivo n tal que 1
100
n
2
< .
(10) Existe un mayor entero positivo n tal que 1
100
2
n
> .
30


31