You are on page 1of 33

This is page 1

Printer: Opaque this

Captulo 1
Los axiomas de los nmeros
reales
En estas notas presentaremos la denicin de los nmeros reales en tr-
minos de sus propiedades bsicas y trataremos de mostrar como a partir
de estas propiedades se pueden obtener el resto de las propiedades que
conocemos.
A estas propiedades bsicas se les llama los axiomas de los nmeros
reales y aqu los dividiremos en tres grupos. En primer lugar discutiremos
los axiomas algebraicos, luego veremos los axiomas de orden y nalmente
discutiremos un axioma espacial llamado el axioma del supremo.

1.1. Los axiomas algebricos de los nmeros reales


Por los nmeros reales entedemos un conjunto, diferente del vaco, al que
denotamos por R, con dos operaciones; una a la que llamaremos la suma y
la denotaremos con el smbolo "+", otra a la que llamaremos multiplicacin
y la denotaremos por " ", y una relacin de orden a la que denotaremos
por "<"para las cuales se cumplen las siguientes propiedades:
Para la suma
S1) Si u; v 2 R, entonces, u + v 2 R.
S2) Si u; v 2 R, entonces, u + v = v + u.
S3) Si u; v; w 2 R, entonces, u + (v + w) = (u + v) + w.
S4) Existe un nico elemento en R, al que denotaremos con el smbolo 0,
con la propiedad siguiente:
u + 0 = u y 0 + u = u 8u 2 R
S5) Para cada elemento u 2 R existe un nico elemento, denotado por u,
que tiene la siguiente propiedad
u + ( u) = 0
Para la multiplicacin
M1) Si u; v 2 R, entonces, u v 2 R.
M2) Si u; v 2 R, entonces, u v = v u.
M3) Si u; v; w 2 R, entonces, u (v w) = (u v) w.
M4) Existe un nico elemento en R, diferente del 0, al que denotaremos
con el smbolo 1, con la propiedad siguiente:
u 1 = u y 1 u = u 8u 2 R
2 1. Los axiomas de los nmeros reales

M5) Para cada elemento u 2 R, con u 6= 0, existe un nico elemento,


denotado por u 1 , que tiene la siguiente propiedad
1
u u =1

La propiedad distributiva
SM) Si u; v; w 2 R, entonces,

u (v + w) = u v + u w

En lo que sigue daremos por sentadas las propiedades bsicas de la igual-


dad:
) u = u.
) Si se sabe que u = v, entonces, v = u.
) Si se sabe que u = v y que v = w, entonces, ,u = w. (A esta propiedad
se le concoce como la transitividad de la igualdad)
) Si se sabe que u = v, entonces, u + w = v + w y w + u = w + v.
) Si se sabe que u = v, entonces, u w = v w y w u = w v.
Tambin suprimiremos el punto " "para denotar la multiplicacin. As
en lugar de escribir a b, escribiremos tan solo ab.
Teorema 1.1. a) Si u; v; w 2 R entonces, sin importa el orden en que se
sumen el resultado siempre es el mismo.
b) Si u; v; w 2 R entonces, sin importa el orden en que se multipliquen
el resultado siempre es el mismo.
Demostracin. Mostraremos como se puede ver que u+(v + w) = (w + v)+
u usando tan solo los axiomas y las propidades de la igualdad.
De la propiedad (S2) sabemos que

v+w =w+v

y de la propiedad ( ) para la igualdad, podemos armar que

(v + w) + u = (w + v) + u (1.1.1)

Por otra parte de (S2) se tiene que

u + (v + w) = (v + w) + u (1.1.2)

De (1.1.2) y (1.1.1) usando la propiedad ( ) de la igualdad se obtiene la


igualdad
u + (v + w) = (w + v) + u
De modo similar, usando los axiomas y las propiedades de la igualdad, se
pueden deducir que, todas las formas en que se pueden sumar tres nmeros
reales son iguales.
Veamos ahora como se deduce que v (uw) = u (wv).
1. Los axiomas de los nmeros reales 3

Del axioma (M3) sabemos que

v (uw) = (vu) w (1.1.3)

del axioma (M2) se tiene la igualdad

vu = uv

y por ( ) llegamos a
(vu) w = (uv) w (1.1.4)
Por la propiedad ( ) y las igualdades (1.1.3) y (1.1.4) podemos armar
que
v (uw) = (uv) w (1.1.5)
El axioma (M2) se tiene que

u (vw) = (uv) w

y por la propiedad ( )
(uv) w = u (vw) (1.1.6)
(1.1.5) y (1.1.6) junto con ( ) nos dan

v (uw) = u (vw) (1.1.7)

Por otra parte, de (M2) sabemos que

vw = wv

y por ( ) obtenemos la igualdad

u (vw) = u (wv) (1.1.8)

Finalmente la propiedad ( ) y las igualdades (1.1.7) y (1.1.8) nos permiten


concluir que
v (uw) = u (wv)
Se puede razonar de modo similar usando los axiomas (M2) y (M3) y las
propiedades de la igualdad para obtener que no importa el orden en que se
multipliquen tres nmero, el resultado siempre es el mismo.
Problema 1.1. Enliste todas las formas distintas en que se pueden sumar
tres nmeros u; v; w. Y demuestre la igualdad entre dos de ellas (diferente
a la que se d en la demostracin).
Problema 1.2. Enliste todas las formas distintas en que se pueden mul-
tiplicar tres nmeros u; v; w. Y demuestre la igualdad entre dos de ellas
(diferente a la que se d en la demostracin).
El siguiente resultado es consecuencia de las porpiedades de la igualdad
4 1. Los axiomas de los nmeros reales

Teorema 1.2. a) Si u = u0 y v = v 0 , entonces, u + v = u0 + v 0 .


b) Si u = u0 y v = v 0 , entonces, uv = u0 v 0 .
Demostracin. Tan solo probaremos la validez de b) la propiedad a) se
obtiene de modo similar.
Puesto que u = u0 se sigue de ( ) que

uv = u0 v (1.1.9)

Tambin de ( ) pero partiendo de la igualda v = v 0 se tiene que

u0 v = u0 v 0 (1.1.10)

Finalmente de (1.1.9) y (1.1.10) y la transitividad (propiedad ( ) ) podemos


armar que
uv = u0 v 0

Problema 1.3. Demuestre el inciso a) del teorema 1.2.


Teorema 1.3. Si u; v; w son nmeros reales, entonces, (u + v) w = uw +
vw.
Demostracin. Empecemos por usar el axioma (M2) para obtener que

(u + v) w = w (u + v)

Del axioma (SM) sabemos que

w (u + v) = wu + wv

Estas dos igualdades junto con la propiedad ( ) nos permiten armar que

(u + v) w = wu + wv (1.1.11)

De acuerdo con el axioma (M2) se tiene que

wu = uw y wv = vw

y por la propiedad a) en el teorema 1.2 obtenemos la igualdad

wu + wv = uw + vw (1.1.12)

Nuevamente ( ) aplicado a las igualdades (1.1.11) y (1.1.12) nos permite


concluir que
(u + v) w = uw + vw

Teorema 1.4. Para todo a 2 R, se cumple que a0 = 0 y 0a = 0.


1. Los axiomas de los nmeros reales 5

Demostracin. De la propiedad (M4) sabemos que

a1 = a

y por las propiedades de la igualdad

a = a1

Puesto que 0 2 R se sigue de la propiedad (M1) que a0 2 R, as por las


propiedades de la igualdad

a + a0 = a1 + a0 (1.1.13)

Por la propiedad (SM) sabemos que

a1 + a0 = a (1 + 0) (1.1.14)

De las igualdades 1.1.13 y 1.1.14 se sigue de la transitividad de la igualdad


que
a + a0 = a (1 + 0) (1.1.15)
Por otra parte de (S4) sabemos que 1 + 0 = 1 y de la propiedade ( )
de la igualdad obtenemos que

a (0 + 1) = a1

y puesto que a1 = a (propiedad (M4)), la transitividad de la igualdad


implica que
a (0 + 1) = a (1.1.16)
Si ahora usamos las igualdades 1.1.14 y 1.1.16, la transitividad nos per-
mita concluir que
a + a0 = a
De acuerdo con la propiedad (S4) el nico elemento de R que satisface esta
igualdad para cualquier a 2 R es el 0, lo que implica que

a0 = 0

En lo que sigue no pondremos tanto nfasis en las propiedades de la


igualdad que se estn usando pero si lo haremos con las axiomas de R que
se requieran en el argumento.
Otra propiedad bien conosida que se puede deducir de los axiomas de R
con un argumento de unicida similar al empleado en la demostracin del
teorema anterior es la siguiente.
Teorema 1.5. Para todo a 2 R se cumple que ( a) = a.
6 1. Los axiomas de los nmeros reales

Demostracin. De acuerdo con la propiedad (S5) ( a) es el nico ele-


mento de R que satisface que sumado a a nos da 0, esto es,

( a) + ( ( a)) = 0 (1.1.17)

Tambin sabemos de (S5) que

a + ( a) = 0

Pero por (S2)


( a) + a = a + ( a)
por lo tanto
( a) + a = 0
Esto quiere decir que a tambin tiene la propiedad de que sumado a a da
0, pero ( a) es el nico con esta propiedad por lo tanto

a= ( a)

Problema 1.4. Verique que en R se cumplen las famosas leyes de los


signos, esto es, muestre que
a) Para todo a 2 R se cumple que a = ( 1) a.
b) Para todo a; b 2 R se cumple que ( a) b = (ab) = a ( b).
c) Para todo a; b 2 R se cumple que ( a) ( b) = ab.
Puesto que todos los aximas de los reales se reeren a la suma y la
multiplicacin las operaciones de resta y divisin debern describirse en
trminos de las operaciones de suma y multiplicacin.
Denicin 1.1. Dados u; v 2 R denimos la resta u "menos"v como

u v := u + ( v)

Denicin 1.2. Dados u; v 2 R con v 6= 0, denimos la divisin u


.en tre"v como
u
= uv 1
v
En trminos de estas deniciones y las propiedades de R podemos mostrar
que
Teorema 1.6. Dados u; v 2 R se tiene que

(a b) = b a

Demostracin. Por las propiedades ya obtenidas se tiene que

(a b) = ( 1) (a b)
1. Los axiomas de los nmeros reales 7

de la denicin se sigue que a b = a + ( b) y por tanto


( 1) (a b) = ( 1) (a + ( b))
lo que nos lleva a la igualdad
(a b) = ( 1) (a + ( b))
Por la propiedad (SM) se tiene que
( 1) (a + ( b)) = ( 1) a + ( 1) ( b)
y por transitividad
(a b) = ( 1) a + ( 1) ( b) (1.1.18)
Al usar las leyes de los signos (que ya debieron ser demostradas) y la
transitividad de la igualdad se tiene que
( 1) a + ( 1) ( b) = ( a) + ( ( b))
( 1) a + ( 1) ( b) = ( a) + b
( 1) a + ( 1) ( b) = b + ( a)
( 1) a + ( 1) ( b) : =b a
La igualdad 1.1.18 y la ltima implican que
(a b) = b a

Problema 1.5. Demuestre que los elementos de R tienen las siguientes


propiedades
a) 0 = 0.
b) 1 1 = 1.
c) Si ab = 0, entonces, a = 0 b = 0.
d) Si a 6= 0, entonces, a 1 6= 0.
1
e) Si ab 6= 0, entonces, (ab) = a 1 b 1 .
1
f) Si a 6= 0, entonces, a 1 = a.
Como es costumbre si a 2 R y n es un natural denotaremos por an a la
multiplicain
an := a
| a {z a}
n factores
n
Si adems a 6= 0, tambin para cada n natural escribiremos a para
indicar el nmero
1
a n := (an )
Un caso espaecial de exponente es el 0, este solo est denido para nmeros
a 2 R diferentes de cero: Si a 6= 0 denimos a0 como
a0 = 1
8 1. Los axiomas de los nmeros reales

Problema 1.6. Demuestre que si a; b 2 R, entonces, se cumplen las sigu-


ientes propiedades:
a) an am = am+n .
n
b) an bn = (ab) .
c) Si adems b 6= 0,
a n an
= n
b b
2
Problema 1.7. Demuestre que si a; b 2 R, entonces, (a + b) = a2 + 2ab +
b2 .
Problema 1.8. Muestre que b2 a2 = (b a) (b + a).
Problema 1.9. Demuestre que si a; b; c; d 2 R y b 6= 0; d 6= 0, entonces,
a)
a c ad + bc
+ =
b d bd
b)
a c ac
=
b d bd
Estos problemas dejan ver que las propiedades algebricasde los nmeros
reales que conocemos y usamos, se puede obtener a partir de los axiomas
(S1) a (S5), (M1) a (M5) y el axioma (SM).

1.2. Los axiomas de orden


Ahora enunciaremos y discutiremos algunas consecuencias de los axiomas
de orden.
O1) Dados u; v 2 R, se cumple una y solo una de las relaciones siguientes:
u<v u=v v<u
O2) Si u; v; w 2 R y se tiene que u < v y v < w, entonces,
u<w
O3) Si u; v; w 2 R y se tiene que u < v, entonces,
u+w <v+w
O4) Si u; v; w 2 R y se tiene que u < v y 0 < w, entonces,
uw < vw
O5) 0 < 1.
El smbolo < se lee .es menor que". Tambin usaremos la notacin u > v
como forma alternativa para indicar que v < u (el smbolo > se lee .es
mayor que"). En trmonios del orden un dene el signicado de nmero
positivo y negativo.
1. Los axiomas de los nmeros reales 9

Denicin 1.3. Diremos que un nmero real u es positivo si y solos si


u > 0.
Diremos que un nmero real u es negativo si y solo si u < 0.
Notemos que el nmerto 0 no es positivo ni negativo.
A las propiedades de la igualdad que discutimos anteriormente agregare-
mos la propiedad
) Si u < v, u = u0 y v = v0, entonces, u0 < v 0 .
En cuanto al orden uno puede tambin deducir muchas de las propiedades
usuales de las desigualdades.
Teorema 1.7. a) Si a > 0, entonces, a < 0.
b) Si a < 0, entonces, a > 0.
Demostracin. a) Si 0 < a por la propiedad (O3) 0 + ( a) < a + ( a) y
por (S4) y (S5) se tiene que 0+( a) = a y a+( a) = 0, por la propiedad
de la igualdad ( ) concluimos que
a<0
b) Si a < 0, la propiedad (O3) nos da la desigualdad a+( a) < 0+( a).
Ahora (S5), (S4) nos dan a + ( a) = 0 y 0 + ( a) = a, as de ( ) se
deduce la desigualdad
0< a
o, lo que es lo mismo
a>0

Con frecuancia se confunde el signo de un nmero con el que sea positivo


o negativo. El inciso b) de este teorema muatra que aunque la expresin
a tiene un signo menos, la contidad a, bajo la hiptesis del teorema, es
una cantidad positiva.
Teorema 1.8. Si a < b y c < 0, entonces, ac > bc.
Demostracin. Por el teorema 1.7 se tiene que c > 0 y por (O4)
a ( c) < b ( c)
por las reglas de los signos ya demostradas obtenemos que
ac < bc
Sumando ac se tiene de (O3), (S5) y ( ) que
0< bc + ac
Si ahora sumamos bc concluimos de (O3), (S2), (S3), (S5) y (S4) que
bc < ac
esto es, ac > bc.
10 1. Los axiomas de los nmeros reales

Problema 1.10. Demuestre que si a < b y c < d, entonces, a + c < b + d.


Problema 1.11. Demuestre que si a 6= 0, entonces, a2 > 0.
Problema 1.12. Muestre que 1 < 2.
1
Problema 1.13. Demuestre que si a > 0, entonces, a > 0 y si a < 0,
entonces, a 1 < 0.
Otro resultado muy til en desigualdades es el siguiente
Teorema 1.9. Si ab > 0, entonces, a > 0 y b > 0 a < 0 y b < 0.

Demostracin. Por (O1) se tiene que ab 6= 0 y puesto que si uno de los


fatores es cero la multiplicacin es cero, se tiene que a 6= 0 y por (O1)
puede ocurrir que a > 0 a < 0. En el primer caso se tiene que a 1 > 0,
as, por (O4)
a 1 (ab) > a 1 0
y de las propiedades de la multiplicacin concluimos que b > 0. En el
segundo caso, se tiene que tambin a 1 < 0 y por el teorema anterior
1 1
a (ab) < a 0

y por las propiedades de la multiplicacin obtenemos que b < 0. En con-


clusin, si ab > 0 o bien a y b son mayores que cero o bien los dos son
menores que cero.

Problema 1.14. Muestre que si ab < 0, entonces, a > 0 y b < 0 o a < 0


y b > 0.
Teorema 1.10. Sean a y b elementos de R si se cumple que a > 0, b > 0
y a2 < b2 , entonces, se puede armar que a < b.

Demostracin. Puesto que a2 < b2 , se tiene de (O3) que 0 < b2 a2 y


como
b2 a2 = (b a) (b + a)
concluimos que
0 < (b a) (b + a)
Puesto que a > 0 y b > 0 a + b > 0 as, por el teorema 1.9, b a > 0 lo que
implica (por O3)) que

b > a o en forma equivalente a < b

Otros smbolos usados en relacin con el orden son:


a b esto se lee a es menor o igual que b y nos indica que la cantidad a es
o menor o es igual que la cantidad b.
1. Los axiomas de los nmeros reales 11

a b esto se lee a es mayor o igual que b y nos indica que la cantidad a es


o mayor o es igual que la cantidad b.
Por supuesto, tambin tenemos la notacin de intervalos:
(a; b) denota al conjunto

(a; b) = fx 2 R : a < x y x < bg

[a; b] denota al conjunto

[a; b] = fx 2 R : a xyx bg

(a; b] denota al conjunto

(a; b] = fx 2 R : a < x y x bg

[a; b) denota al conjunto

[a; b) = fx 2 R : a x y x < bg

( 1; b) denota al conjunto

( 1; b) = fx 2 R : x < bg

(a; 1) denota al conjunto

(a; 1) = fx 2 R : x > ag

( 1; b] denota al conjunto

( 1; b] = fx 2 R : x bg

[a; 1) denota al conjunto

[a; 1) = fx 2 R : x ag

1.3. Los nmeros reales y la recta numrica


Una interpretacin muy til de los nmeros reales es como puntos en
una recta. Recordemos que si se elijen dos puntos distintos en la recta y
al punto que est ms a la izquierda se le asigna el nmeor 0 y al que est
ms a la derecha se le asigna el nmero 1, entonces, a cada nmero real se
le puede asignar un punto. A una recta a la que a cada nmero se le ha
asignado un nmero real se le llama una recta numrica.
Usando la recta numrica podemos, por ejemplo, dar una interpretacin
intuitiva de las suma de dos nmeros que ya se han ubicado en la recta,
digamos a y b. En efecto, consideramos el segmento que une al 0 con el
punto correspondiente al nmero b, si lo trasladamos sobre la recta para
12 1. Los axiomas de los nmeros reales

que el punto correspondiente al 0 coincida con el punto asociado al nmero


a. Al nmeor a + b le corresponde el punto que est en el extremo nal del
segmento trasladado.
La interpretacin en la recta nmerica del negativo de un nmero puede
ser de mucha ayuda para entender muchos resultados. Dado un nmero u,
su negatiov, u, es el punto en la recta numrica que se encuentra del lado
opuesto al cero.

u 0 1 -u a b a+b

Aunque no lo haremos aqu, tambin se puede localizar el producto de


dos nmero, el cociente y el rcproco usando una recta auxiliar.
El orden de los numeros reales es otro concepto que se puede visualizar
en la recta numrica. Si el punto correspondiente al nmero a est a la
izquierda del punto asociado al nmero b, entonces, a < b (en la gura, por
ejemplo, se tiene que 1 < u). De acuerdo con esto, un nmero es negativo
si se encuentra a la izquierda del 0 y ser positivo si est a la derecha del
0. (En la gura, el nmero u es negativo mientras que u es positivo.)
Teorema 1.11. Dados dos nmeros reales a y b, con a < b, el nmero
a + b 2 a = a+b
2 est entra a y b, esto es,

a+b
a< <b
2
Problema 1.15. Puede ilustrar en la recta numrica quien es el punto
que le corresponde a a+b
2 ?

Problema 1.16. Demuestre el teorema 1.11.


Problema 1.17. a) Muestre que dados dos nmeros reales a y b, con a < b,
el nmero a + b10a ; a + 2 b10a ; a + 3 b10a ; : : : ; a + 9 b10a estn entra a y b. Ms
an, muestre que

b a b a b a b a
a<a+ <a+2 <a+3 < <a+9 <b
10 10 10 10
1. Los axiomas de los nmeros reales 13

b) Ilustre en la recta numrica que puntos le corresponden a cada uno


de estos nmeros.
Problema 1.18. a) Intente enunciar un teorema que generalice los resul-
tados obtenidos en los dos problemas anteriores.
b) Si est convencido de su teorema demuestrelo usando los axiomas y
las propiedades que hemos visto..
Problema 1.19. Muestre que si se cumplen las desigualdades

u vyv u

entonces, u = v.
Problema 1.20. Muestre que
a) Si a < b y b c, entonces, a < c.
b) Si a b y b < c, entonces, a < c.

1.4. Los naturales, enteros y racionales como


subconjuntos de los nmeros reales
Aun cuando no daremos una discucin detallada sobre como se pueden
ver los nmeros naturales, enteros y racionales como subconjuntos si resul-
tara importante el siguiente resultado.
Teorema 1.12. Los nmeros naturales N, los numeros enteros Z y los
nmeros racionales Q se pueden ver como conjuntos de nmeros reales.
La idea para demostrar este teorema es considerar el 1 de los nmeros
reales y se denen los nmeros

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

Luego se usa el principio de induccin para ver que el conjunto de reales


f1; 2; 3; 4; : : :g es equivalente a N.
Una vez demostrado esto se dene el conjunto de los reales enteros como

f0; 1; 1; 2; 2; 3; 3; : : :g

done el 0 es el cero de los nmeros reales y 1; 2; 3; : : : son los negativos


de los nmeros 1; 2; 3; : : : dado por el axioma (S5) de los reales y se muestra
que este conjunto es equivalente a Z.
14 1. Los axiomas de los nmeros reales

Finalmente, se denen los racionales en R como el conjunto de nmeros


relales que se pueden escribir en la forma
m
con m y n en el conjunto de los enteros y n 6= 0
n
y se prueba que este conjunto es equivalente a Q.
Por supuesto, los conjuntos N, Z y Q vistos como subconjuntos de R,
tienen todas las propiedades que se deducen para estos conjuntos.
Problema 1.21. Use el hecho de que para m; n 2 N con m < n, se cumple
que n m 2 N, para mostrar que si m; n 2 N y m < n, entonces, m+1 n.
(Recuerde que todo natural es mayor o igual a 1)
Problema 1.22. Muestre que si n 2 N, entonces, n2 n. (Recuerde que
todo natural es mayor o igual a 1)
Problema 1.23. Muestre que si a y b son nmeros reales diferentes de
cero
ac c
=
ab b

1.5. El axioma del supremo


Los nmeros reales no solo cumplen los 11 axiomas algebraicos y los 5
axiomas de orden. Tambin tienen una propiedad que resulta esencial y
que distinge a los reales de cualquier otro sistema de nmeros, el llamado
axioma del supremo. Para enunciareste axioma se requier denir algunos
conceptos relacionados con subconjuntos de R.
Denicin 1.4. Dado un conjunto A de R no vaco, diremos que un ele-
mento M de R es una cota superior del conjunto A si y solo si se cumple
que
8a 2 A se cumple la desigualdad a M

En trminos intuitivos, si describimos el conjunto A en la recta numrica


una cota superior es un nmero que est a la derecha de todos los elementos
del conjunto A.
Denicin 1.5. Dado un conjunto A en R no vaco, diremos que A es
acotado superiormente si y solo si tiene al menos una cota superior.
Problema 1.24. Sea A un conjunto de nmeros reales no vaco. Enuncie
en positivo el enunciado "M no es cota superior del un conjunto A
Problema 1.25. a) Encuentre tres cotas superiores del intervalo ( 1; 7).
b) Puede dar una cota superior del conjunto f1; 2; 3; 4; : : :g?
1. Los axiomas de los nmeros reales 15

Denicin 1.6. Dado un conjunto de nmetros reales no vaco A, diremos


que el conjunto A tiene supremo si y solo si existe un elemento S 2 R
que cumple las siguientes propiedades:
) S es cota superior de A, esto es,
8a 2 A; a S
) Para toda cota superior M del conjunto A se cuple que
S M
Cuando este nmero S exista le llamaremos el supremo de A y se le
denota por
S = sup A
En un lenguaje menos formal pero tal vez ms ilustrativo, el supremos de
un conjunto es "la ms pequea de las cotas superiores del conjunto". Desde
un punto de vista intuitivo el supremo de un conjunto sera el punto en la
recta numrica con la propiedad de estar a la derecha de A y "pegadito.a
A.
Problema 1.26. En trminos intuitivos quin sera el supremo del con-
junto
1 2 3 4 n 1
; ; ; ;:::; ;::: ?
2 3 4 5 n
Problema 1.27. Enuncie en positivo la negacin del enunciado ) en la
denicin de supremo.
Proposicin 1.13. Si un conjunto de nmeros reales no vaco A tiene
supremo, entonces, dicho supremo es nico.
Demostracin. Supongamos que existen dos nmeros S y S 0 que cumplen
las propiedades ) y ). Entonces, como S 0 cumple ) y S cumple ) podemos
armar que S S 0 . Pero S tambin cumple ) y S 0 cumple ) porlo tanto
S 0 S. Estas dos desiguadades implican que S = S 0 .
Ejemplo 1.1. Considere el conjunto A = ( 1; 7), esto es, el conjunto
A = fx 2 R : 1 < x y x < 7g
Veamos que
sup A = sup ( 1; 7) = 7
En efecto, puesto que x < 7 para todo x 2 ( 1; 7), tambin se cumple que
x 7 para todo x 2 ( 1; 7) y por ende 7 cumple ). Para ver que cumple
) procedemos por reduccin al absurdo.
Supongamos que hay una cota superior M del intervalo ( 1; 7) tal que
M < 7. Entonces, usando el teorema 1.11 se tiene que
M +7
M< <7
2
16 1. Los axiomas de los nmeros reales

y como M es cota superior del intervalo ( 1; 7), 1 < 0 M y por la


propiedad transitiva del orden (O2)

M +7
1< <7
2

lo que muestra que M2+7 2 ( 1; 7) y M < M2+7 . Lo que contradice el que


M sea cota superior del intervalo ( 1; 7). Por lo tanto lo supuesto es falso,
esto es, toda cota superior del intervalo ( 1; 7) es mayor o igual que 7 y la
propiedad ) se cumple para el 7.
Problema 1.28. Demuestre que el supremo del intervalo ( 1; 7] es el 7.
(Sugerencia: Es ms facil que el ejemplo anterior).
Denicin 1.7. Diremos que un conjunto de nmeros relaes A tiene el-
emento maximal si y solo si existe un elemento aM en el conjunto A
con la propiedad de que
8a 2 A; a aM

Teorema 1.14. Si un conjunto de nmeros reales A tiene elemento max-


imal, digamos aM , entonces,

aM = sup A

Demostracin. Por denicin de elemento maximal se tiene que el elemento


maximal aM es una cota superior de A, esto muestra que aM tiene la
propiedad ). Por otra parte, para cualquier cota superior M del conjunto
A, se cumple que a M para todo a 2 A y, puesto que aM 2 A se cumple
que aM M . Esto es, para toda cota superior M se tiene que aM M . As
que aM cumple la propiedad ). Por lo tanto aM es el supremo de A.

Teorema 1.15. Sea A un conjunto de nmeros reales no vaco y acotado


superiormente. Entonces, un nmero S es el supremo de A si y solo si
)* S es cota superior del conjunto A
)* Para cada nmero positivo dado, digamos ", existe un elemento a"
en A tal que
S " < a"

Demostracin. Mostraremos primero que si S es el supremo del conjunto


A (esto es, si S cumple las propiedades ) y )), entonces, cumple )* y )*
enunciadas en este teorema. Como )* es la misma propiedad la propiedad
)*, ah no hay nada que demostrar. Resta por ver que el supremo cumple
)*:
Para cada nmero positivo ", sabemos que

S " < S (puesto que " > 0)


1. Los axiomas de los nmeros reales 17

lo que implica que S +" no puede ser una cota superior del conjunto A, pero
esto quiere decir justamente que existe un elemento, al que denotaremos
por a" en A tal que
S " < a"
Mostremos ahora que si S cumple las propiedades )* y )*, entonces, S
es el supremos. Nuevamente la propiedad )* es la misma que ) y no hay
nada que probar.
Para mostrar que )* implica ) procedemos por reduccin al absurdo.
Supongamos que se cumple )* y que no se cumple ). Esto es, supong-
amos que se cumple )* y que existe una cota superior M de A tal que

M <S

Del resultado obtenido en el teorema 1.11 sabemos que


M +S
M< <S
2
La segunda desigualdad implica que
M +S S M
0<S =
2 2
y por lo tanto S 2M es un nmero positivo. De acuerdo con )* existe un
elemento a 2 A tal que
S M
S <a
2
Pero
S M S+M S+M
S = yM<
2 2 2
en consecuencia
M <a
se cumple para al menos un elemento a en A lo que contradice el que M
se cota superior de A. Por lo tanto la condicin )* implca la condicin
).
Ya estamos en posicin de enunciar el axioma del supremo (el axioma 17
de los nmeros reales).

Axioma del supremo: Todo conjunto de nmeros reales no vaco y


acotado superiormente tiene un supremo en R.

Veamos algunas consecuencias de este axioma


Teorema 1.16. El conjunto de los nmero naturales, N, no es acotado
superiormente.
18 1. Los axiomas de los nmeros reales

Demostracin. La demostracin es por reduccin al absurdo.


Supongamos que el conjunto de los nmeros naturales es acotado supe-
riormente. Como 1 2 N, los naturales es un conjunto no vaco y acotado
superiormente, por el axioma del supremo el conjunto N tiene un supremo
en R, llamemoslo S.
Puesto que 1 > 0, por el teorema 1.15 existe un nmeor n1 2 N tal que
S 1 < n1
lo que implica que
S < n1 + 1
pero sabemos que n1 2 N y por lo tanto n1 + 1 tambin es un elemento de
N. Esto contradice el que S sea el supremo.
Corolario 1.17. Para cada nmero real x se puede encontrar al menos un
nmero natural n tal que n > x.
Demostracin. El argumento es por reduccin al absurdo.
Suponga que existe un real x tal que n x para todo n 2 N, entonces, se
tendra que x es cota suoerior de N, lo que contradice el teorema 1.16.
Corolario 1.18. (Propiedada Arquimediana 1) Dado un nmero real x > 0
y cualquier nmero y 2 R, existe n 2 N tal que nx > y.
Demostracin. Puesto que x > 0, xy es un nmero real y por el corolario
1.17 existe n 2 N tal que n > xy . Usando las propiedades de orden se sigue
que nx > y.
Corolario 1.19. Para cada nmero real " > 0 existe N" 2 N tal que para
todo n 2 N tal que n N" se cumple que
1
<"
n
Demostracin. Puesto que " > 0, podemos aplicar el corolario 1.18 con
x = " y y = 1, para concluir que existe un natural N" tal que N" " > 1. de
la spropiedades de orden se sigue que para todo n 2 N tal que n N" se
cumple que n" N" ". En resumen, tenemos que
1 < N" " y N" " n"
lo que implica que
1 < n"
y puesto que todo nmero natural es positivo concluimos que para todo
n N" se cumple la desigualdad
1
<"
n
1. Los axiomas de los nmeros reales 19

1.6. Existencia de la raz cuadrada de un nmero


real positivo
p
En este apartado mostraremos que si a 2 R y a 0, entonces, 2 a es un
nmero real. Para ello debemos precisar el signicad de la raz cuadrada.
Denicin 1.8. Diremos que un nmero real a tiene raz cuadrada en R
si y solo si existe un nmero real positivo b tal que

b2 = a

Al nmero
p b se le llama la raz cuadrada positiva de a y solomos denotarlo
1
por a o a 2 .
Para probar la exiastencia de la raz cuadrada de un nmero positivo,
requerimos dos propiedades de desigualdades.
Lema 1.20. a) Si h es un nmero real tal que 0 < h < 1,
/ entonces,

h2 < h

b) Si h es un nmero real tal que h > 1, entonces,

h < h2

Lema 1.21. Si u; v y w son nmeros reales positivos y u < v, entonces


w w
<
v u
Problema 1.29. Demuestre el lema 1.20.
Problema 1.30. Demuestre el lema 1.21.
Teorema 1.22. Todo nmero real positivo tiene una raz cuadrada positi-
va.
Demostracin. Sea a un nmero real positivo. Considere el conjunto

Ra = x 2 R : x 0 y x2 < a

(La idea es mostrar que el conjunto Ra tiene supremo y que dicho supremo
es justa mente la raz de a.)
De acuerdo con el axioma del supremo, basta ver que el conjunto Ra es
diferente del vaco y que es acotado superiormente para que su supremo
sea un nmero real.
Puesto que 0 0 y 02 = 0 < a, se tiene que 0 2 Ra por lo tanto Ra 6= ?.
Veamos ahora que Ra es acotado superiormente. Por el corolario 1.17
existe n 2 N tal que a < n y como n n2 (problema 1.22 o lema 1.20-b))
obtenemos que a < n2 .
20 1. Los axiomas de los nmeros reales

Ahora bien, para cada x 2 Ra se cumple que x2 < a, por lo tanto x2 < n2
y puesto que x y n son mayores o iguales que cero, podemos armar que
x n.
Esto muestra que n es una cota superior de Ra y por ende Ra est
acotado superiormente por lo tanto existe un nmero real b tal que

b = sup Ra = sup x 2 R : x 0 y x2 < a

Resta por demostrar que b es justo la raz de a, esto es, que b2 = a (esta
es la parte difcil). Para ello usaremos reduccin al absurdo para ver que
b2 no puede ser menor que a y que tampoco puede ser mayor que a, luego,
por la tricotoma (axioma (O1)) se obtendr la igualdad.
Supongamos primero que b2 < a. El teorema 1.11 junto con el hecho de
b2
que a2b+1 > 0, garantizan que podemos encontrar un numero h que cumpla
las tres condiciones sihguientes
a b2
h > 0; h < 1 y h <
2b + 1
Mostraremos que b + h 2 Ra .
Como b 0 y h > 0, b + h 0.
Por otra parte, puesto que h < 1, se sigue del lema 1.20-a) que h2 < h y
por lo tanto
2
(b + h) = b2 + 2bh + h2 < b2 + 2bh + h
esto es,
2
(b + h) < b2 + (2b + 1) h
a b2
Si ahora usamos el hecho de que h < 2b+1 obtenemos que

a b2
(2b + 1) h < (2b + 1) =a b2
2b + 1
en consecuencia
2
(b + h) < b2 + a b2 = a
Por lo tanto (b + h) 2 Ra , pero b + h > b lo que contradice el que b sea el
supremo de Ra . As que b2 no puede ser menor que a.
2
Supongamos ahora que b2 > a. Sea h = b2b+1a , mostraremos primero que
2
(b h) > a.
Es claro que

2 b2 a
(b h) = b2 2bh + h2 > b2 2bh = b2 2b
2b + 1

Como b2 a > 0; 2b + 1 > 0; 2b > 0 y 2b < 2b + 1, el lema 1.21 garantiza


que
b2 a b2 a
<
2b + 1 2b
1. Los axiomas de los nmeros reales 21

de las propiedades de orden se obtiene que

b2 a b2 a
2b > 2b
2b + 1 2b

lo que implica la desigualdad

b2 a b2 a
b2 2b > b2 2b
2b + 1 2b

y por ende

2 b2 a
(b h) > b2 2b = b2 b2 a =a
2b

Finalmente, si esto ocurre se tendra que para todo x 2 Ra


2
(b h) > a > x2

y como (b + h) > 0 y x 0, concluimos de las propiedades del orden que

(b h) x

para todo x 2 Ra . Esto es, b h es cota superior de Ra y (b h) < b, lo


que contradice el que b sea el supremo de Ra . Por lo tanto, b2 no puede ser
mayor que a.
Por la propiedad de tricotoma concluimos que b2 = a. Esto es, b es la
raz cuadrada positiva de a.
p
Problema 1.31. Use reduccin al absurdo para p mostrar que 2 no es
un numero racional. (Sugerencia: Suponga que 2 es racional. Recuerde
que todo nmero racional se puede escribir en la forma pq donde p y q son
enteros que no tienen divisores en comun. Luego use el hecho de que si p2
y q 2 son pares, entonces, p y q tambin son pares y use esto para llegar a
una contradiccin.)

1.7. El nmo de un conjunto


La intencin en este apartado es denir el anlogo a cota superior y supre-
mo de un conjunto, cuando lo que se tiene es un conjunto "limitado"del
lado izquierdo de la recta.
Problema 1.32. Como denira de manera rigurosa (esto es en trminos
de los axiomas de R) la idea de que, en la recta numrica un nmero est
a la izquierda de los todos los elementos de un conjunto A? (Esta idea
corresponde al concepto de cota inferior de un conjunto).
22 1. Los axiomas de los nmeros reales

Problema 1.33. Como denira de manera rigurosa (esto es en trminos


de los axiomas de R) la idea de que, en la recta numrica, un nmero est
a la izquierda de los elementos de un conjunto A y est pegado alconjunto?
(Esta idea corresponde al concepto de nmo de un conjunto).
A continuacin denimos de forma precisa los conceptos de cota inferior,
conjunto acotado inferiormente e nmo de un conjunto no vaco.
Denicin 1.9. Sea A un conjunto en R no vaco, diremos que un nmro
m 2 R es una cota inferior de A el conjunto A si y solo si

m a 8a 2 A

Denicin 1.10. Sea A un conjunto de R no vaco, diremos que A es


acotado inferiormente si y solo si el conjunto A tiene una cota inferior.
Problema 1.34. Su respuesta en el problema 1.32 coincide con la deni-
cin de cota inferior que damos?
Problema 1.35. Encuentre tres cotas inferiores para el conjunto ( 1; 7].
Denicin 1.11. Sea A un conjunto de R no vaco, diremos que el conjunto
A tiene nmo si y solo si existe un elemento i 2 R que cumple las siguientes
propiedades:
) i es cota inferior de A, esto es,

i a 8a 2 A

) Para toda cota inferior m del conjunto A se cuple que

m i

Cuando este nmero S exista le llamaremos el nmo de A y se le


denota por
i = nf A
Problema 1.36. Su respuesta en el problema 1.33 coincide con la deni-
cin de nmo que damos?
Denicin 1.12. Diremos que un conjunto A tiene elemento minimal
si y solo si existe un elemento am en el conjunto A con la propiedad de
que
8a 2 A; am a
Teorema 1.23. Si un conjunto de nmeros reales A tiene elemento min-
imal am , entonces,
am = nf A
Problema 1.37. Demuestre el teorema 1.23.
1. Los axiomas de los nmeros reales 23

Denicin 1.13. Dado un conjunto de nmeros reales no vaco A deni-


mos el conjunto A como el conjunto

A = fx 2 R : x 2 Ag

Dicho de otra forma, un nmero est en A si y solo si su negativo est


en A.
Teorema 1.24. Si A es un conjunto de nmeros reales no vaco y acotado
inferiormente, entonces, el conjunto A es no vaco y acotado superior-
mente. Ms an si m es cota inferior de A, entonces, m es cota superior
de A.
Demostracin. Vemos primero que A es un conjunto no vaco. Puesto que
A 6= ?, sabemos que existe un nmero real a 2 A, puesto que para x = a
se cumple que x = ( a) = a 2 A, se sigue de la denicin de A que
x 2 A. Por lo tanto A es no vaco.
Resta mostrar que A es acotado superiormente. Como A est acotado
inferiormente, existe m 2 R tal que m es menor o igual que todo elemento
de A. Probaremos que m es cota superior de A. Dado x 2 A, sabemos
que x 2 A y como m es menor o igual que todo elemento de A, se tiene que
m x y de las propiedades de orden concluimos que x m. Como este
rgumento es vlido para todo elemento x en A, concluimos que m es cota
superior de A y, en consecuencia, A est acotado superiormente.
El siguiente resultado muestra que la versin del axioma del supremo
para el nmo tambin se cumple.
Teorema 1.25. Todo conjunto A de nmeros reales no vaco y acotado
inferiormente tiene un nmo en R. Adems

nf A = sup ( A)

Demostracin. Por el teorema anterior el conjunto A es no vaco y est


acotado superiormente. Por el axioma del supremo existe S 2 R tal que

S = sup ( A)

Mostraremos que S es el nmo de A. Veamos primero que S es cota


inferior de A. Dado x 2 A, sabemos que ( x) = x 2 A por lo tanto
x 2 A pero S es el supremo de A lo que implica que x S y por las
propiedades de orden, S x. Como este argumento es vlido para todo
x 2 A, comcluimos que S es cota inferior de A y S cumple ) .
Resta ver que S cumple ) . Sea m una cota inferior de A, por el
teorema anterior m es cota superior de A y como S es el supremo de
A, S m. de las propiedades del orden podemos armar que m S.
As, para toda cota inferior m de A se cumple que m S. lo que muestra
que S cumple ) .
24 1. Los axiomas de los nmeros reales

En conclusin S es el nmo de A, esto es, nf A = S y como S =


sup ( A) podemos armar que A tiene nmo y que

nf A = sup ( A)

Denicin 1.14. Un conjunto A de nmeros reales no vaco se dice que es


acotado si y solo si el conjunto A es acotado superiormente e inferiormente.
Teorema 1.26. Todo conjunto A de nmeros reales no vaco y acotado
tiene nmo y supremo en R.
Problema 1.38. Muestre que si a; b 2 R y a < b, entonces, los intervalos
(a; b) ; [a; b], (a; b] y [a; b) son acotados, el nmo de cualquiera de ellos es a
y el supremos de cualquiera de ellos es b.
Problema 1.39. Muestre que el conjunto

1
A= x2R:x= ;n 2 N
n

a) Es acotado.
b) Diga quienes son el supremo y el nmo de A. Y demuestre que lo que
dijo es cierto.
(Sugerencia: Vea que el conjunto A est formado por los nmeros 1; 21 ; 13 ; 14 ; : : : ; n1 ; : : :)
Problema 1.40. Muestre que el conjunto

n 1
A= x2R:x= ;n 2 N
n

a) Es acotado.
b) Diga quienes son el supremo y el nmo de A y demuestre que lo que
dijo es cierto.
(Sugerencia: Vea que el conjunto A est formado por los nmeros 0; 1 12 ; 1 1
3; 1
1
4; : : : ; 1
1
n; : : :
y use el hecho de que para todo nmero positivo " existe N tal que n1 < "
para todo n N )

1.8. Sobre el binomio de Newton y la serie


geomtrica
En este apartado discutimos brevemente dos de las ms famosas frmulas
de la mtemtica bsica.
1. Los axiomas de los nmeros reales 25

1.8.1. Sobre el smbolo de factorial


Empecepos por recordar que el factorial de un entero no negativo n es
el producto
n! = n (n 1) (n 2) 3 2 1
o si se quiere
n! = 1 2 3 (n 2) (n 1) n
De modo reiguroso, el factorial se dene de modo inductivo:

0! = 1
Para n = 1; 1! = 1

y
(n + 1)! = (n + 1) n!
Problema 1.41. Use la denicin inductiva para llegar a que 4! = 4 3 2 1.
1 1
Problema 1.42. Muestre que k! 2k 1
para k > 1. (Sugerencia: Observe
que todos los factores en k! excepto el 1 son mayores que 2 y use esto para
obtener que 2k 1 k! para k > 1. Tambin puede usar induccin)
Uno puede usar la notacin factorial cuando uno quiere considerar un
producto de la forma n (n 1) (n 2) j; con j un entero entre 1 y
n. En efecto, uno tiene que

n!
= n (n 1) (n 2) j
(j 1)!

o como se usa frecuentemente


n!
= n (n 1) (n 2) (j + 1)
j!

Otra frmula que se expresa en trminos del factorial es la frmula de los


coecientes binomiales
(n) n!
Ck =
k! (n k)!

Esta frmula es muy til en muchos problemas combinatorios y tambin es


llamada las frmula de las combinaciones de n en k. entre sus muchas
propiedades hay dos que nos sern de untilidad
Teorema 1.27. Para cualquier entero positivo n y para cualquier entero
positivo k n se cumple que
(n) (n) (n+1)
a) Ck 1 + Ck = Ck .
(n) (n) n (k 1)
b) Ck = Ck 1 k .
26 1. Los axiomas de los nmeros reales

Demostracin. a) Empecemos por observar que, de acuerdo con la deni-


cin del factorial,

(n + 1)! = n! (n + 1) ; k! = (k 1)!k y (n (k 1))! = (n k + 1)! = (n k)! (n k + 1)

Usando esto y un poco de lgebra se tiene que

(n) (n) n! n!
Ck 1 + Ck = +
(k 1)! (n (k 1))! k! (n k)!
n! n!
= +
(k 1)! (n k)! (n k + 1) (k 1)!k (n k)!
n! 1 1
= +
(k 1)! (n k)! n k + 1 k
n! n+1
=
(k 1)! (n k)! k (n k + 1)
n! (n + 1) (n + 1)!
= =
(k 1)!k (n k)! (n k + 1) k! (n k + 1)!

y como (n k + 1) = ((n + 1) k) concluimos que

(n) (n) (n + 1)! (n+1)


Ck 1 + Ck = = Ck
k! ((n + 1) k)!
La demostracin del segundo inciso se deja como ejercicio.
(n) (n) n (k 1)
Problema 1.43. Muestre que Ck = Ck 1 k .
(n+1) (n) (n+1) (n)
Problema 1.44. Verique C0 = C0 = 1 y Cn+1 = Cn = 1.

1.8.2. La frmula del binomio de Newton


Una de as frmulas ms conocidas en matemticas es la del desarrollo
de las potencias de un binomio de. Sabemos por ejemplo que
2
(a + b) = a2 + 2ab + b2

y que
3
(a + b) = a3 + 3a2 b + 3ab2 + b3
4 n
Para obtener una frmula para (a + b) o para el caso general (a + b) uno
(n)
tiene el siguiente resultado que hace uso de los coecientes binomiales Ck .
Teorema 1.28. (Frmula del binomio de Newton) Sea x un nmero
reales diferentes de cero y sea n un entero positivo. Entonces, se cumple
que
n (n) (n) (n) (n) n 2 (n) n 1
(1 + x) = C0 + C1 x + C2 x2 + + Cn 2x + Cn 1x + Cn(n) xn
1. Los axiomas de los nmeros reales 27

(1)
Demostracin. La demostracin es por induccin. Puesto que C0 =1y
(1)
C1 = 1, para n = 1 se teiene que
1 (1) (1)
(1 + x) = 1 + x = C0 + C1 x
n+1
Partamos ahora de que la frmula es vlida para n. Como (1 + x) =
n
(1 + x) (1 + x) y la frmula es vlida para n, se cumple que
n+1 (n) (n) (n) (n) n 2 (n) n 1
(1 + x) = C0 + C1 x + C2 x2 + + Cn 2x + Cn 1x + Cn(n) xn (1 + x)

Usando la propiedad distributiva (axioma (SM)) obtenremos que


n+1 (n) (n) (n) (n) n 2 (n)
(1 + x) = C0 + C1 x + C2 x2 + + Cn 2x + Cn 1 xn 1 + Cn(n) xn +
(n) (n) (n) (n) (n)
+C0 x + C1 x2 + C2 x3 + + Cn 2 xn 1 + Cn 1 xn + Cn(n) xn+1

Agrupando trminos semejantes (otro hecho que se obtiene del axioma


(SM)) nos queda que
n+1 (n) (n) (n) (n) (n)
(1 + x) = C0 + C0 + C1 x + C1 + C2 x2 +
(n) (n) (n)
+ Cn 2 + Cn 1 xn 1
+ Cn 1 + Cn(n) xn + Cn(n) xn+1

Del teorema 1.27 llegamos a la igualdad


n+1 (n) (n+1) (n+1) 2 (n+1) n 2 (n+1)
(1 + x) = C0 +C1 x+C2 x + +Cn 2 x +Cn 1 xn 1 +Cn(n+1) xn +Cn(n) xn+1
(n) (n+1) (n) (n+1)
y como C0 = C0 y Cn = Cn+1 concluimos que
n+1 (n+1) (n+1) (n+1) 2 (n+1) n 2 (n+1) (n+1)
(1 + x) = C0 +C1 x+C2 x + +Cn 2 x +Cn 1 xn 1 +Cn(n+1) xn +Cn+1 xn+1

lo que demuestra el teorema.


Problema 1.45. a) Use la frmula del binomio de Newton para encontrar
4
el desarrollo de (1 + x) .
b) Reprodusca el argumento usado en la demostracin del teorema 1.28
5
para obtener la frmula para (1 + x) .
Problema 1.46. a) Muestre que si a y b son nmeros reales diferentes de
cero, entonces,
n (n) (n) (n) (n) 2 n 2 (n)
(a + b) = C0 an +C1 an 1
b+C2 an 2 2
b + +Cn 2a b +Cn 1 abn 1 +Cn(n) bn

b) Muestre que si a y b son nmeros reales diferentes de cero, entonces,


n (n) (n) (n) n 2 (n) 2 n 2 n 1 (n) n
(a b) = C0 an C1 an 1
b+C2 an 2 2
b +( 1) Cn 2a b +( 1) Cn 1 ab
n 1
+( 1) Cn(n) bn
b
(Sugerencia: a + b = a 1 + a ya b = a + ( 1) b)
28 1. Los axiomas de los nmeros reales

Problema 1.47. Demuestre que


(n) (n) (n) (n) (n)
C0 + C1 + C2 + + Cn 2 + Cn 1 + Cn(n) = 2n
Problema 1.48. a) Muestre que para todo h > 0 se cumple que

n n n (n 1) 2
(1 + h) > 1 + nh y (1 + h) 1+ h
2
b) Muestre que
n
1
1+ 2
n

1.8.3. La serie geomtrica


Otra frmula muy importante es la que nos permite calcular el valor de
una suma de la forma
Sn (q) = 1 + q 1 + q 2 + q 3 + + qn 1
+ qn
Una suma de este tipo es llamada una serie o suma geomtrica.
Problema 1.49. a) Diga quienes son las siguientes sumas geomtricas
1
a) S6 (2) ; b) S5 ; c) S4 ( 2) ; d) S4 (1)
2
b) Intente calcular el valor de cada una de estas sumas.
Teorema 1.29. (Frmula de la serie geomtrica) Para cualquier
nmero q 6= 1 y para cada entero positivo n se tiene la frmula
1 qn
Sn (q) = 1 + q + q 2 + q 3 + + qn 1
+ qn =
1 q
Demostracin. Por supuesto que uno puede demostrar la frmula usando
induccin. Sin embargo, resulta ms ilustrativo la siguiente demostracin
alternativa.
Empeceos por observar que
qSn (q) = q + q 2 + q 3 + + q n + q n+1
y como
Sn+1 (q) = 1 + q + q2 + q3 + + q n + q n+1
= 1 + q + q2 + q3 + + q n + q n+1 = 1 + qSn (q)
Por otra parte
Sn+1 (q) = 1 + q + q2 + q3 + + q n + q n+1
2 3
= 1+q+q +q + + q n + q n+1 = Sn (q) + q n+1
1. Los axiomas de los nmeros reales 29

Usando estas dos igualdades concluimos que


Sn (q) + q n+1 = 1 + qSn (q)
y por ende
Sn (q) qSn (q) = 1 q n+1
esto es,
(1 q) Sn (q) = 1 q n+1
y puesto que q 6= 1, obtenemos al frmula
1 q n+1
Sn (q) =
1 q

Problema 1.50. Use esta frmula para calcular las sumas del problema
1.49.
Problema 1.51. a) Muestre que para q 6= 1
qj q n+1
q j + q j+1 + q j+3 + + qn 1
+ qn =
1 q
(Sugerencia: Esta suma es la suma hasta q n menos la suma hasta q j 1
.)
Problema 1.52. a) Muestre que
1 1 1
1+ + + =2
2 2n 2n
b) Muestre que
1 1 1 1 1
+ j+2 + + n = j
2j+1 2 2 2 2n
Corolario 1.30. Dados nmeros reales a y b distintos, para cada entero
positivo n > 1 se cumple que
an bn = (a b) an 1
+ an 2
b + an 3 2
b + + a2 bn 3
+ abn 2
+ bn 1

Problema 1.53. Use el corolario 1.30 para desarrolloar las expresiones


a) a3 b3 , b) a4 b4 , c) a5 b5
Problema 1.54. a) Use la frmula de la serie geomtrica (teorema 1.29)
con q = ab para obtener que
b n 2 n 3 n 2 n 1
1 a b b b b b
b
=1+ + + + + +
1 a
a a a a a
b) Multiplique ambos lados de la igualdad por an 1 y haga un poco de
"lgebrita"para obtener la demostracin del corolario 1.30.
(Sugerencia: Al multiplicar, de un lado puede usar el hecho de que an 1 =
an
a )
30 1. Los axiomas de los nmeros reales

Problema 1.55. a) Se acuerda que haca en Clculo Diferencial para


3 4
calcular lmites de expresines de la forma l mx!2 xx 28 o l mx!1 xx 11 ?
b) Si no se acuerda no importa. Lo importante es si podra calcular estos
lmites (al estilo de Clcuo Diferencial) ahora. Puede? Explique.
Problema 1.56. a) Convenzase de que la expresin

n (n 1) (n 2) (n k + 1)

tiene k factores.
b) Use el hecho de que

n!
= n (n 1) (n 2) (n k + 1)
(n k)!

para mostrar que


n! 1
<1
(n k)! nk
c) Use esto y la frmula del binomio para mostrar que
n
1 1 1 1 1 1 1
1+ < + + + + + +
n 0! 1! 2! (n 2)! (n 1)! n!

(n)
(Recuerde que Ck = k!(nn! k)! )
d) Use el problema 1.42 para mostrar que para n > 3
n
1 1 1 1 1 1
1+ <1+1+ + + 3+ + +
n 2 22 2 2n 2 2n 1

e) Use la serie geomtrica para mostrar que


n
1
1+ <3
n

Problema 1.57. a) Muestre que si a > 0; b > 0 y a > b, entonces, ak > bk ,


para k 2 N.
b)Muestre que si a > 0; b > 0 y ak > bk , entonces, a > b, para k 2 N.
(Sugerencia: Use el corolario 1.30.)

1.9. Existencia de la raz ensima de un nmero


positivo
En este apartado
1. Los axiomas de los nmeros reales 31

Lema 1.31. Sea p un nmero real positivo, entonces,


a) Para todo nmero h tal que 0 < h < 1 se cumple la desigualdad
n n
(p + h) < pn + h [(p + 1) pn ]

b) Para todo nmero h tal que 0 < h < m n f1; pg se cumple la desigual-
dad
n n
pn h [(p + 1) pn ] < (p h)
Demostracin. Probaremos la desigualdad en el inciso b), la demostracin
del inciso a) se deja de tarea.
Emoecemos por observar que como h < m n f1; pg se tiene que p h > 0
y puesto que p + 1 > p h, para todo k 2 N se cumple que
k k
(p h) < (p + 1)

(ver el problema 1.57).


Ahora bien, del corolario 1.30 (con a = p y b = p h) obtenemos que
h i
n n 2 n 1
pn (p h) = h pn 1 + pn 2 (p h) + + p (p h) + (p h)
(1.9.1)
y, por lo observado anteriormente,
n 2 n 1 n 2 n 1
pn 1
+pn 2
(p h)+ +p (p h) +(p h) < pn 1
+pn 2
(p + 1)+ +p (p + 1) +(p + 1)

Nuevamente el corolario 1.30 muestra que


n 2 n 1 n
pn 1
+ pn 2
(p + 1) + + p (p + 1) + (p + 1) = (p + 1) pn

As
n 2 n 1 n
pn 1
+ pn 2
(p h) + + p (p h) + (p h) < (p + 1) pn

De la igualdad (1.9.1) y esta desigualdad concluimos que


h i
n n 2 n 1 n
pn (p h) = h pn 1 + pn 2 (p h) + + p (p h) + (p h) < h [(p + 1) pn ]

esto es,
n n
pn (p h) < h [(p + 1) pn ]
Finalmente, usando las propiedades de orden concluimos que
n n
pn h [(p + 1) pn ] < (p h)

Problema 1.58. Muestre que si p > 0 y 0 < h < 1, entonces,


n n
(p + h) < pn + h [(p + 1) pn ]

(Sugerencia: Use el corolario 1.30 con a = (p + h) y b = p.)


32 1. Los axiomas de los nmeros reales

Ya estamos listos para mostrar la existencia de la raz ensima de un


nmero real positivo.
Teorema 1.32. Sea a un nmero real positivo. Entonces, para cada entero
positvo n existe un nmero real positivo p tal que

pn = a

Demostracin. La demostracin sigue el esquema de la prueba para el caso


de la raz cuadrada.
Empezamos por considerar el conjunto

Ra(n) = fx 2 R : x 0 y xn < ag
(n) (n)
Es claor 0 2 Ra y por ende Ra es no vaco. Como ya se vio, existe un
entero positivo k tal que a < k y puesto que k < k n , se tiene que a < k n .
(n)
As, para cada x 2 Ra se cumple la desigualdad xn < k n , lo que implica
(n) (n)
(problema 1.57) que para cada x 2 Ra , x < k, esto es, el conjunto Ra
est acotado superiormente.
Por el axioma del supremo existe un nmero real p tal que

p = sup Ra(n) = sup fx 2 R : x 0 y xn < ag

Mostraremos que pn = a. El argumento es por reduccin al absurdo.


n
Supongamos que n p < a,n entonces,
o podemos elegir un nmero real h tal
a p
que 0 < h < m n 1; (p+1)n pn .
Por el lema 1.31 se tiene que
n n
(p + h) < pn + h [(p + 1) pn ]
a pn
y puesto que h < (p+1)n pn se sigue que

n a pn n
(p + h) < pn + n [(p + 1) pn ] = a
(p + 1) pn
(n)
Esto muestra que p + h 2 Ra y como p es el supremo de este conjunto se
tendra que p + h p lo que es absurdo por lo tanto pn no puede ser menor
que a.
n
Supongamos
n ahora que
o p > a, entonces, podemos elegir h tal que 0 <
pn a
h < m n 1; p; (p+1)n pn .
De acuerdo con el lema 1.31
n n
(p h) > pn h [(p + 1) pn ]
pn a
y puesto que h < (p+1)n pn ,

pn a
h> n
(p + 1) pn
1. Los axiomas de los nmeros reales 33

As,
n n
(p h) > pn h [(p + 1) pn ]
pn a n
> pn n [(p + 1) pn ] = a
(p + 1) pn
(n)
Finalmente, de esta desigualdad y de la denicin de Ra se tiene que
n
8x 2 Ra(n) se cumple que (p h) > a > xn

y como (p h) > 0 y x 0 otenemos que

8x 2 Ra(n) se cumple que p h>x


(n)
Esto es, p h es cota superior de Ra lo que omplica que

p h p !

por lo tanto pn no puede ser mayor que a.


Por tricotoma necesariamente pn = a
Denicin 1.15. Dado un nmero a, a un nmero p tal que que cumple
la igualdad pn = a se le llama una raz ensima de a y se le denota por
p 1
p = n a o p = an

De acuerdo con esta denicin hemos probado que todo nmero real
positivo tiene una raz ensima positiva.
Problema 1.59. Muestre que todo nmero real positivo, tiene una nica
raz ensima positiva.