28 7. LA PROPIEDAD ARQUIMEDIANA Y SUS CONSECUENCIAS.

(i) si u < es u A,

(ii) si u > es u B.

Ya que A B = R, debe ser A o bien B. As pues, para cada a A debe ser a (si fuera
a > , segun (ii) debera ser a B, lo cual es imposible). Por otro lado, para cada b B es b.

Veamos que es entonces el supremo de E:

es cota superior de E. Por reduccion al absurdo, supongamos que no lo fuera, en tal caso algun
elemento x0 E sera < x0 . Pero entonces,
x0 +
< < x0
2
x0 + x0 +
y, aplicando (ii), debe ser B, o sea que debe ser una cota superior de E. Pero
2 2
x0 +
esto se contradice con que x0 E y < x0 .
2
Esa contradiccion prueba que debe ser cota superior de E

Si b es una cota superior de E entonces b B, por lo que b, as que es menor o igual que
todas las cotas superiores.

De ambas resulta que es el supremo de E.

Ejercicio II.32. Prueba que cada conjunto no vaco de numeros reales acotado inferiormente tiene un
nfimo. (Yo llamara E al conjunto y considerara el conjunto E, pero sera un buen ejercicio demostrarlo
de forma similar al teorema.)

Ejercicio II.33. Prueba que del principio del supremo puede deducirse el axioma de completitud de
Dedekind y deduce que ambas son proposiciones equivalentes.

7 La propiedad arquimediana y sus consecuencias.

Vamos a volver a considerar el conjunto de los numeros naturales N, para establecer que

Teorema 7.1 (Propiedad Arquimediana de R) El conjunto de los numeros naturales no esta aco-
tado superiormente en R.

Demostracion

Por reduccion al absurdo, supongamos que el estamento es falso. Puesto que N 6= si estuviera acotado
superiormente tendra un supremo, segun el principio del supremo. Esto es, existira R tal que

n , para cada n N.

Como 1 < , el numero 1 no puede ser cota superior del conjunto N, debe existir algun n0 N
tal que 1 < n0 , pero esto es lo mismo que decir que < n0 + 1, siendo n0 + 1 N, lo cual es una
contradiccion.

Introduccion al analisis matematico

TEMA 2. CONJUNTOS NUMERICOS 29

En ocasiones, el siguiente tambien se conoce como propiedad arquimediana de R, de hecho es una propo-
sicion equivalente:

Corolario 7.2 Si a, b R y a > 0 existe n N tal que an > b.

Demostracion Por la propiedad arquimediana de R, ningun numero real puede ser cota superior de N,
as que ba1 no es cota superior de N, luego debe existir algun n N verificando

n > ba1 , y puesto que a > 0, se deduce que an > b.

Si aplicamos este corolario al caso particular de b = 1 y a > 0 se obtiene que

1
Corolario 7.3 Dado cualquier numero real a > 0 existe n N tal que 0 < < a.
n

1
Ejercicio II.34. Prueba que si para dos numeros a y b es a < b + , para cada n N, entonces a b.
n
Ejercicio II.35. Sea E 6= un subconjunto de R y R, prueba que es el supremo de E si y solo si
se verifican las dos siguientes condiciones

(i) es cota superior de E.

1
(ii) Para cada n N existe x E tal que x > .
n

Ejercicio II.36. Usa el ultimo corolario para demostrar que 0 es el nfimo del conjunto
1
{ : n N}.
n

8 Parte entera de un numero real.

Para proceder a la definicion y existencia de lo que se conoce como parte entera de un numero real, vamos
a necesitar la siguiente propiedad del conjunto de los numeros naturales:

Teorema 8.1 (Buen orden de N) Todo subconjunto no vaco M de N tiene un mnimo que se conoce
como primer elemento del conjunto M .

Demostracion En efecto, M N esta acotado inferiormente, puesto que, por ejemplo, 1 es cota inferior.
As que tiene un nfimo . Debemos probar que es el mnimo; esto es, que M . Observemos que de
ser un numero natural sera el primer elemento de M y M (por que?), as que si suponemos que
6 M , no puede ser un numero natural.

Consideremos el conjunto,
A = {n N : n < }.
Como 1 es cota inferior de M sera 1 , pero como no es un numero natural, no es = 1, por lo que
debe ser 1 < . Por tanto, 1 A.

Quico Bentez