3.

4 El axioma del supremo

En la seccin 3.1 dividimos los axiomas que satisface el conjunto de todos los
nmeros reales, con la suma, con el producto y la relacin de orden, en tres
grupos: axiomas de campo, axiomas de orden y el axioma del supremo. Entre
aquella seccin y la que ahora comenzamos hemos trabajado con los dos
primero grupos de axiomas, sin tocar para nada el axioma del supremo. Ahora
es el momento de aclarar su escueto enunciado que, como se recordara,
seala:
Axioma del supremo: si

A R

es tal que

y A esta acotado

superiormente, entonces A tiene supremo.

Definicin 3.4.1 sea
(1) Si

A R

x 0 R , diremos que

x 0 es una cota superior de A si

a A :

a x0

(2) Diremos que A esta acotado superiormente si existe una cota superior
de A.
Ejemplos:
1. Sea A =

{2,1.5,0,1,1.5,2 } . Entonces 2 es una cota superior de A

porque es mayor o igual que cualquier otro elemento de A. En general, si

A es un conjunto finito el mayor de sus elementos es una cota superior
de A.
2.

Sean

a , b R con a< b .

A= (a,b) como
3. B=

x A , a< x <b , entonces b es una cota superior de A.

[ a , b ] como x B , a< x <b , entonces b es una cota superior de B.

4. Supongamos que A=(2,3). Como vimos en el ejemplo 2, 3 es una cota

superior de A. Pero

,3.5,4,5, 10

y cualquier otro nmero mayor que 3

tambin son cotas superiores de A.

En general, dados un conjunto
cualquier

y R

mayor que

(ver ejercicio 2 de Ejercicios 4).

A R

y una cota superior

x 0 , de A,

x 0 tambin es una cota superior de A

5. Sea

A= . Demostraremos que cualquier nmero real es una cota

x 0 R . Entonces es verdadera la proposicin

superior de A. sea

x :a x0

(Por qu?)

Como se deduce de los ejemplos anteriores, cuando un conjunto A de nmeros

reales est acotado superiormente, el conjunto de todas sus cotas superiores

A= , dicho conjunto de cotas superiores es

es infinito. En el caso en que

y sabemos, por Ejercicios 2 (7), que no existe el nmero real ms

pequeo de todos. Entonces no existe la menor de las cotas superiores de

A , entonces A tiene elementos y todas las cotas

. Ahora bien si

superiores de A estn a la derecha de todos los elementos de A. Entonces tiene

sentido preguntarnos si existe una cota superior ms pequea que todas las
dems: una mnima cota superior de A. cuando existe una mnima cota
superior de A suele drsele un nombre especial.

A R

Definicin 3.4.2 sea

x 0 R , diremos que

x0

es un supremo

de A, si se cumplen

s1 )

x 0 es cota superior de A

s 2 ) si m es cota superior de A, entonces

x0 m .

Entonces un supremo de un conjunto A es una cota superior con la propiedad

adicional

s 2 ). Esto nos permite demostrar su unicidad, es decir, que en

contraste con el concepto de cota superior de un conjunto A puede tener a lo

ms un supremo.
Teorema 3.4.1

A R

Demostracin: Que
satisfacen
),

y0 x0

s1 ) y

x0 y

y0

y0

x 0= y 0 .

supremos de A. Entonces

x 0 satisface

satisface

x 0= y 0 .

sean supremos de A significa que ambos

s 2 ). Asi, como

; pero como

Por consiguiente,

x0 , y0

s1 ) y

s1 ) y

y0

x 0 satisface

satisface

s 2 ),

s2

x0 y0 .

Entonces, si un conjunto A tiene un supremo

x 0 , ya le podemos llamar el

supremo de A (con el artculo determinado el) y representarlo de cierta

forma:
La proposicin

x 0 es el supremo de A se denotara por

x 0=

A. En

algunos libros suelen referirse al supremo como la mnima cota superior. En

particular en los de habla inglesa, el supremo de A es the least upper bound
of A y se denota por lub A.
Como veremos en secciones posteriores, hay mucos campos ordenados, es
decir, conjuntos que, con una suma y un producto, y con una relacin de orden,
satisfacen los axioma como los de campo y orden que se cumplen para

R.

Por ejemplo, el conjunto de los nmeros racionales (que se estudiara en la

seccin 3.6), con suma, producto y orden usuales, es un campo ordenado; pero
en dicho campo (y en muchos otros) no se cumple que todo subconjunto no
vacio del campo, que este acotado superiormente, tiene un supremo. Esto
significa que el axioma del supremo no es una propiedad que pueda
demostrarse a partir de los axiomas de campo y orden. Si queremos que esta
propiedad la cumplan los reales y claro que queremos!, pues con ella se
podr demostrar la existencia de races cuadradas y de nmeros irracionales,
entre otras cosas, se debe presentar como un nuevo axioma. Lo
enunciaremos otra vez, con la seguridad de que el lector ya entiende cada
concepto mencionado:
Axioma del supremo: si
superiormente, entonces

A R

es tal que

x 0 R , tal que

x 0=

y A esta acotado

A.

Ejemplos:
1. Sea B =

[ 2,3 ] . Sabemos ya que 3, y todo nmero mayor que 3, son

cotas superiores de b. intuitivamente, es claro que 3 es la menor de las

cotas superiores de B, as que proponemos que 3
Para demostrar esto, solo resta probar la propiedad

B .
s 2 ), lo cual es

sencillo:

Sea m una cota superior de B. entonces, para cada b

Como 3 es elemento de B, 3 m y ya.

B, b m.

2. Sea A = (2,3). En este caso tambin demostraremos que 3

A. Ya

s 2 ),

sabemos que 3 es una cota superior de A. para ver que se cumple

tendramos que demostrar que, dado m

R , entonces

m es una cota superior de A

3 m.

Pero en este caso conviene demostrar la contrarrecproca de dicha

implicacin:

m no es una cota superior de A.

para demostrarla, supongamos que m

(i)

Si m 2,2.5

3 . Entonces

y m 2.5. Esto muestra que m no es una cota

suprior de A.
(ii)

Si m 2, por ejercicio 2 (4), el promedio aritmtico de m y 3,

=

x0

m+3
, esta entre m y 3, asi que
2
2m

Gracias a esto podemos asegurar que

x 0 3.
x0 A

y que m

x 0 , lo cual

implica que m no es una cota superior de A.

3.

R = { x Rx 0 } , entonces sup

R =0 (ejercicio).

4. Si A es un conjunto que no esta acotado superiormente, entonces A no

tiene supremo, porque el supremo seria una cota superior de A
5.

+
R

6.

sea A=

{ x Rx 0 } , entonces

no tiene supremo (Por qu?)

{1 1n :n N }={0,1 12 ,1 13 ,1 14 , }={0, 12 , 23 , 45 , }

Claramente A

+
R

1
n

1, para cada

n N , asi que

y esta acotado superiormente, por el axioma del supremo, A tiene

supremo.
Todava no hemos desarrollado la teora necesaria para saber quin es
exactamente el supremo de A, pero el axioma del supremo nos permite
saber que si existe.
Demostraremos algunas propiedades relacionadas con el supremo.

Teorema 3.4.2 si A R , A

, A acotado superiormente y

a0 =sup A,

entonces

+ a A tal que a0 r a a0 .
r R
a0 r a 0 y por

Demostracin: sea r 0. Entonces

cota superior de A, asi que existe a
Corolario 3.4.3 sea A R , A

s 2 ),

a0 r

no es una

a A tal que a0r a

, A acotado superiormente y

a0 =sup

A. Entonces

r 0, a A tal que |aa0| r .

Demostracin: Sea r 0. Por el teorema 3.4.2, existe

a0 r a a0 .
equivale a

Por consiguiente

a A

a0 r a a0 +r . Es decir,

tal que

r a0 r

lo cual

|aa0| r

Lo cual lo podemos interpretar de la siguiente forma:

Si

a0

a0

es el supremo de A, entonces en cualquier intervalo abierto con centro

y radio r, siempre hay elementos del conjunto.

Las demostraciones que dimos de que 3 =sup(2,3) y de que 3 es el sup

[ 2,3 ] ,

son esencialmente diferentes porque, en el primer caso 3 no es elemento de

(2,3) y en el segundo caso 3 si es elemento de

[ 2,3 ] . Este caso fue mas

sencillo por que existio un elemento mas grande en el conjunto (el 3). En
general si un conjunto tiene un elemento mayor, es fcil demostar que ese
mismo elemento ser el supremo del conjunto. Antes de que enunciemos este
hecho como un teorema, bauticemos formalmente al elemento mayor de un
conjunto.
Definicin 3.4.3 sea A R
mximo de A si se cumplen:

si existe

x 0 R . Diremos que

x 0 es un

M 1

x0

M 2

x0 A

es una cota superior de A

Como en el caso del supremo, un conjunto A no puede tener mas de un

mximo (ejercicio), asi que hablaremos de el mximo de A y le daremos una
notacin especial: Si

x 0 R , a la proposicin x 0 es el

mximo de A la representaremos con:

Teorema 3.4.4 Sea

A R ,

x 0=max A .
y

x 0 max A , entonces

A=x 0
Demostracin: Como
Para demostrar

x 0=max A , por

M 1 x 0 es una cota superior de A.

s 2 , sea m cualquier cota superior de A. como

x 0 A ,m x 0 .

Ejemplos:
1. Como 3

(2,3 ) , pero 3

(2,3) , entonces 3 no es mximo de (2,3). El

conjunto (2,3) no tiene mximo porque si lo tuviera, por el teorema 3.4.4

sabramos que este mximo seria el supremo, o sea 3, pero ya vimos, 3
no puede ser el mximo del conjunto. Entonces un conjunto puede tener
supremo pero no mximo.
2. Sea

A= { x1 , x2 , x3 } R . El mximo de este conjunto es el mayor de los

de los tres elementos.

3. Si

1
A= 1 :n N
n

existiera

que

, entonces A no tiene mximo. En efecto, si

0= max A
, entonces como
x

x 0=1

1
n . Pero

x 0 A , existiran

nN

tal

n+1 n

1
1
1
1
1
1
1
1

1 1
x 0 1
y 1
A ,
n+1 n
n
n+ 1
n
n+1
n+1
n+1

esto ltimo es una contradiccin porque

x 0 es una cota superior de A.

en forma anloga a los conceptos de cota superior, supremo y mximo de un

conjunto tenemos los conceptos simtricos de cota inferior, nfimo y mnimo de
un conjunto y los correspondientes teoremas.
Definicin 3.4.4 sea
(1) Si

A R

y 0 R , diremos que

y0

es una cota inferior de A si

a A : y0 a .
(2) Diremos que A esta acotado inferiormente, si existe una cota inferior de
A.
Definicin 3.4.5 Sean

A R

y 0 R . Diremos que

y0

es un nfimo

de A si se cumplen:

i1 )

y0

es una cota inferior de A.

i 2 ) si m es una cota inferior de A, entonces

y0 m .

Coloquialmente, un nfimo de A es una mxima cota inferior de A. De hecho

este es otro nombre que suele drsele a un nfimo.
Tambin puede demostrarse que un conjunto no puede tener ms de un nfimo:
Teorema 3.4.5

A R y

x 0 , y 0 infimos de A . Entonces x 0= y 0 .

Demostracin: ejercicio 4, (11).

Si un conjunto A tiene un infimo
proposicin

y0

y0 , a

y0

se le llama el infimo de A y la

es el infimo de A se representa por

y 0=inf A .

La propiedad simtrica expresada en el axioma del supremo, la que seria el

axioma del infimo, se puede demostrar usando el axioma del supremo y, por
lo tanto, ya no es un axioma, sino el siguiente teorema:

Teorema

A R ,

3.4.6

A , y A estaacotado inferiormente , entonces Atiene infimo .

Demostracin: Sea

y A acotado inferiormente, entonces

y R

tal

que

y a a A a y a A
Definimos B =
superiormente y

{aa A } . Como a y a A , entonces B es acotado

A

implica

B .

Entonces por el axioma del supremo

Demostraremos que
satisface

i1 ) y

a0

a 0 R

tal que

a0 = .

es el nfimo de A. Para eso veremos que

a0

ii2 ) de la definicin de nfimo.

i) Como

a0 =B a a0 a A
a0 a a A
ii) supongamos que
es cota inferior de A,

A={aa A } y

y0

es cota inferior de A tal que

y 0 a a A a y 0 y 0
y 0 a0

a0 y 0

como

y0

es cota superior de

lo cual es una contradiccin.

a=inf A .
Algunos ejemplos de cotas inferiores e nfimos se describirn en los ejercicios.
Mientras, enunciemos otras propiedades del nfimo de un conjunto.
Teorema 3.4.7

Si A R , A , A esta acotado superiormente y a 0 R tal que a0=inf A , entonces

 r 0, a A : a0 a a0 +r .
Demostracin: Se deja como ejercicio.
Corolario 3.4.8

si A R , A , A estaacotado inferiormente y a0 R tal que a0 =inf A , entonces

r 0, a A :|aa 0| r
Demostracin: Ejercicio.
Este resultado lo podemos interpretar de la siguiente forma:
Si

a0

a0

es el nfimo de A, entonces en cualquier intervalo abierto con centro en

y radio r, hay elementos de A.

Existe el concepto simtrico al concepto de mximo de un conjunto.

Definicin 3.4.6 Sean

A R

a0 R diremos que

a0

es un mnimo de

A si se cumplen:

m1 )

a0

m2

a0 A .

es una cota inferior de A

Por su puesto en este caso tambin hay unicidad: si un conjunto A tiene un

mnimo, este es el nico nmero real que satisface
habla de el mnimo de A y la proposicin
representa como:

a0

m1 ) y

m2 . Por eso se

es el mnimo de A se

a0 =min A .

Se darn ejemplos en los ejercicios, as que solo nos resta enunciar al siguiente
teorema
Teorema 3.4.9

A R , A y x 0=min A , entonces

inf A= x0 .
Demostracin: Ejercicio.
Como se vera en los ejercicios, un conjunto puede tener nfimo y no tener
mnimo, asi que estos dos conceptos son diferentes.
Una ltima definicin.
Definicin 3.4.7 Sea

A R . Decimos que A es acotado si y solo si Aes

acotado superior e inferiormente.

Ejercicios 4.
1. cul es el mximo de (2,3) { 4 } ?cual es el supremo?
2. Demuestre que si A R ,
entonces
3. Sean

I,J

x 0 es una cota superior de A y

tambin es una cota superior de A.

dos intervalos tales que

(a) Probar que

IJ

solo punto.
(c) Suponga que

IJ .

es un intervalo si tiene mas de un punto.

(b) De un ejemplo que muestre que

IJ

y x0 ,

IJ

puede ser un conjunto de un

son intervalos abiertos y acotados. Probar que

es un intervalo abierto acotado.

(d) Dar un ejemplo de intervalos semi-abiertos

tales que

sea un intervalo cerrado.

4. Sean

A= ( a , b ) y B= [ a , b ] , donde a b. Demuestre que

5. Si

A =B einf A =inf B .
Es cierto que A=B?

6. Si

A=inf A , Qu puede decir acerca del conjunto A?

inf A=inf B .

IJ

7. Si

y acotado tal que

inf A

0, entonces pruebe que

{1a :a A }= inf1 A

8. Demuestre que el nfimo de un conjunto A no necesariamente es un

elemento del conjunto A (de un ejemplo).
9. Demuestre que el conjunto de cotas inferiores de

es

R , pero que

no tiene nfimo.
10. Tiene mnimo un conjunto finito?cul sera?
11. pruebe que 0

R ,

12. compruebe que

pero que

+
R

no tiene nfimo.

no tiene supremo tiene nfimo?

13. Demuestre que el conjunto

A=

{1n :n N }

tiene nfimo pero no tiene

mnimo.
14. Demuestre que

A R

tiene a lo ms un mximo, tiene a lo ms un

mnimo y tiene a lo ms un nfimo.

15. Si

A yB

estn acotados superiormente, demuestre que

A B
16. Si

A B y A y B

A B

estn acotados superiormente.

estn acotados superiormente, entonces

AB
B
() max { A , } .

17. Si

A B y A y B

estn acotados superiormente y

( A B) min { A ,B } .

A B , entonces

Hallar dos conjunto A y B tales que

A B< min { A ,B }

(sugerencia: piense en

el ejercicio 1 de esta lista)

18. Si

A B , acotados superiormente y

A B , entonces

inf A inf B
19. Si

A B , acotados superiormente y

A B , entonces

inf A infB .
a1 , a2 R , tales que

20. si A esta acotado, existen,

21. si A y B estn acotados, Qu puede decir de

22. A acotado superiormente

RA

A [ a1 , a2 ] .

AB ?

acotado inferiormente, es siempre

verdadera?
23. Demuestre el Teorema 3.4.7
24. Demuestre el Corolario 3.4.8
25. Demuestre el Teorema 3.4.9
26. Sean

A R

A={a :a A } . Demuestre que:

(a) A esta acotado inferiormente si y solo si A estas acotado superiormente

( A)

(b)

x 0=inf A

si y solo si

x 0 =

(c)

x 0=min A

si y solo si

x 0=max(A )

27. Describir los siguientes subconjuntos de

y cuando existan de el nfimo

y el supremo y de ser posible discuta la geometra del conjunto.

(a)

{ x R|x +3| 4 }

(b)

{x R|x1| 1x }

(c)

{ x R|12 x| x1 }

(d)

{ x R| x3| 3 }

3.6 Nmeros enteros, racionales e irracionales

No solo los nmeros naturales son introducidos en la primera enseanza, sino
tambin los horrendos quebrados o fracciones positivas, una tenebrosa
nocin del ceroms bien relacionada con la calificacin y nada de los
nmeros negativos. Toca a estos ltimos convertirse en poderosos refuerzos de
la personalidad del estudiante de secundaria en tanto le permitan restar
cualesquiera dos nmeros naturales en el orden que sea, y restar al hermano
menor:
A ver, Benjamn, Cunto es 83 100?
Ah!, pues no se puede.
claro que s, tontito; es 17.
Dos posibles relaciones reacciones puede tener benjamn: una envidia ante su
sabio hermano Delfn o la fuerte sensacin de que su hermano mayor se halla
bajo los efectos de una buena dosis de cannabis o, lo que es lo mismo, de que
esta chiflado.
Como en el curriculum usual, en el de la humanidad aparecieron antes las
fracciones positivas que los nmeros negativos. Aquellas ya las conocan los
egipcios desde mucho antes de Cristo; los negativos no vinieron a ser
incorporados sino hasta 1545, con la publicacin del ARS MAGNA de Girolamo
Cardano.
A continuacin les presentamos a ustedes lo ms bsico de estos conjuntos de
nmeros : los enteros y los racionales (fracciones positivas y negativas).
Definicin 3.6.1
a)

= {nn N }
.
N

b) Al conjunto

Z =N {0 } N

se le llama conjunto de nmeros enteros.

Asi pues

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

y es fcil ver que la suma y el producto

de enteros es tambin un numero entero (ver ejercicio 1). As mismo, la resta

es una operacin cerrada en

Z,

lo que no ocurre en

(83 100 0

83 - 100 N )
Otra cosa ocurre con el cociente. Esta operacin no es cerrada en
ejemplo, si

es un natural mayor que 1, entonces

1
N
n

3.5.2 del Teorema 3.5.1 Entonces

Z . Por

1
0< <1 por el Corolario
n

y por lo tanto

1
Z
n

pues

1
n

no

es cero y no es negativo.
Un conjunto en el que si son cerradas las cuatro operaciones fundamentales,
adicin, producto, resta y cociente, es el conjunto de los nmeros racionales,
que definiremos a continuacin:
Definicin: 3.6.2. El conjunto de nmeros racionales es el conjunto

Q=

{ ab a , b son enteros y b 0}

Z Q , ya que si

Otra observacin inmediata es que

a Z , entonces

a
a= Q . En particular el 1 y el 0 son racionales. Por lo tanto, al satisfacer la
1
suma y el producto de reales las propiedades de conmutatividad, asociatividad
y distributividad en todo R , tales operaciones, restringidas solo a elementos
de

Q , siguen satisfaciendo dichas propiedades. Adems, si

b distintos de cero, entonces

a
b

()

observaciones es fcil concluir que

importantes propiedades de

b
a

a
Q
b

con a y

tambin es racional. Por todas estas

es un campo. Veamos otras

Q .

Teorema 3.6.1
1.

a Z : ( a , a+1 ) Z= .

2.

a , b Z :a b [ a , a+1 ) [ b , b+1 )= .

Demostracion :
aZ

1. Sea
i)

Si

a>0, entonce s a N

y en el Teorema 3.5.7 se prob que

( a , a+1 ) N= . Pero como

{ 0 }
N

a>0, ( a , a+1 )

y por eso

( a , a+1 ) Z = .
ii)

Si

a=0 , ( a , a+1 )=(0,1) y es claro que

0 (0,1)
iii)

y es por esto que

=
( 0,1 ) N = .
( 0,1 ) N y que

( 0,1 ) Z= .

si a< 0 es ejercicio (ver ejercicio 3 de ejercicios 6)

2. Sean

r N

a,bZ
tal que

con

a b , podemos suponer que

b=a+r

b a+1 . Por lo tanto

a<b .

Entonces existe

(ver ejercicios 4 de ejercicios 6). As que

x [ a , a+1 ) a x a+ 1 b x [ b , b+1 ) .

Una consecuencia de este teorema y del principio del buen orden (Teorema
3.5.11) es el siguiente Teorema.
Teorema 3.6.2

para cada numero real x existe un unico numero entero a tal que a x a+1 .

Demostracion : Demostraremos primero la existencia de un nmero

que a x a+1 .
Si

x Z , basta escoger

a=x , puesto que

x .

aZ

tal

x Z . como

Supongamos ahora que

ejercicio 6 de ejercicios 6), el conjunto

que

es una cota superior de

a=max A . Entonces
Como

aZ

no esta acotado inferiormente (ver

A= { z Zz < x } no es vaco y dado

A , por el ejercicio 7 de ejercicios 6, existe

a< x .

no esta acotado superiormente, el conjunto

vaco y, dado que

ejercicios 6, existe

es una cota inferior de

b=min B . Entonces

B={ z Z x< z }

no es

B , por el ejercicio 8 de

bZ

b> x . As que

a,bZ

x (a , b) .
Ahora observemos que no existe
tendramos que

tal que

a< z <b : si existiera tal

a< z < x o x< z <b . En el primer caso

mayor que el mximo de

elemento de

zZ

b=a+1

y as,

seria un

B . Ninguno de estos casos puede

ocurrir.
Entonces

sera un elemento de

y, en el segundo caso,

mayor que el mnimo de

z ,

x (ver 5 de ejercicios 6)

La unicidad es inmediata de (2) del Teorema 3.6.1.