3.

4 El axioma

del

supremo

En la secci
on 3.1 dividimos los axiomas que satisface el conjunto de todos los
n
umeros reales, con la suma, con el producto y la relacion de orden, en tres
grupos: axiomas de campo, axiomas de orden y el axioma del supremo. Entre
aquella secci
on 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, se
nala:
Axioma del supremo: si A R es tal que A 6= y A esta acotado superiormente, entonces A tiene supremo.

Definici
on 3.4.1 sea A R
1) Si x0 R, diremos que x0 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 x A, a < x < b, entonces b es
una cota superior de A.
3. B = [a, b] como x A, 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

umero mayor que 3

superior de A. Pero , 3.5, 5, 10 y cualquier otro n
tambien son cotas superiores de A.
En general, dados un conjunto A R y una cota superior x0 , de A,
cualquier y R mayor que x0 tambien es una cota superior de A (ver
ejercicio 2 de Ejercicios 4).
5. Sea A = Demostraremos que cualquier n
umero real es una cota superior
de A. sea x0 R. Entonces es verdadera la proposicion x : a x0
(Por que?)

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

umeros
reales est
a acotado superiormente, el conjunto de todas sus cotas superiores es
infinito. En el caso en que A = , dicho conjunto de cotas superiores es R y
sabemos, por Ejercicios 2 (7), que no existe el n
umero real mas peque
no de
todos. Entonces no existe la menor de las cotas superiores de . Ahora bien
si A 6= entonces A tiene elementos y todas las cotas superiores de A estan a
la derecha de todos los elementos de A. Entonces tiene sentido preguntarnos si
existe una cota superior m
as peque
na que todas las demas: una mnima cota
superior de A. cuando existe una mnima cota superior de A suele darsele un
nombre especial.
Definici
on 3.4.2 sea A R y x0 R, diremos que x0 es un supremo de A,
si se cumplen
x0 es cota superior de A
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 S2 ). 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 mas
un supremo.
Teorema 3.4.1 Sea A R y x0 supremos de A. Entonces x0 = y0 .
Demostraci
on: Que x0 y y0 sean supremos de A significa que ambos satisfacen
S1 ) y S2 ) Asi, como x0 satisface S1 ) y y0 satisface S2 ), y0 x0 ; pero como y0
satisface S1 ) y x0 satisface S2 ),x0 y0 Por consiguiente, x0 = y0 .
Entonces, si un conjunto A tiene un supremo x0 , ya le podemos llamar el
supremo de A (con el artculo determinado el) y representarlo de cierta forma:
La proposici
on x0 es el supremo de A se denotara por x0 = supA. 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 lubA.
Como veremos en secciones posteriores, hay muchos campos ordenados, es decir, conjuntos que, con una suma y un producto, y con una relacion de orden,
satisfacen los axioma como los de campo y orden que se cumplen para R. Por
ejemplo, el conjunto de los n
umeros racionales (que se estudiara en la seccion
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 vaco 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 podra demostrar la existencia
de races cuadradas y de n
umeros 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 A R es tal que A 6= y A esta acotado superiormente,
entonces existe x0 R tal que X0 = supA
Ejemplos:
Sea B . Sabemos ya que 3, y todo n
umero mayor que 3, son cotas superiores
2

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

as que proponemos que 3 = supB. Para demostrar esto, solo resta probar la
propiedad S2 ), lo cual es sencillo:
Sea m una cota superior de B. entonces, para cada b B, b m Como 3 es
elemento de B,3 m y ya.
Sea A =(2,3) En este caso tambien demostraremos que 3= supA. Ya sabemos
que 3 es una cota superior deA. para ver que se cumple S2 ), 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 implicacion:
m < 3 m no es una cota superior de A. Para demostrarla, supongamos que
m 3. Entonces Si m 2,2.5 A y m < 2.5. Esto muestra que m no es una
cota suprior de A. Si m > 2 , por ejercicio 2 (4), el promedio aritmetico de m y
3, x0 = esta entre m y 3, asi que 2< m < x0 < 3. Gracias a esto podemos asegurar que x0 A y que m < x0 , lo cual implica que m no es una cota superior
de A. R (ejercicio). Si A es un conjunto que no esta acotado superiormente,
entonces A no tiene supremo, porque el supremo sera una cota superior de A
fx (Por que?) fx Claramente fx y fx, para cada fx, asi que fx y esta acotado
superiormente, por el axioma del supremo, A tiene supremo. Todava no hemos
desarrollado la teora necesaria para saber quien 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 fx, A acotado superiormente y fx, entonces fx Demostracion: sea fx. Entonces fx y por
fx, fx no es una cota superior de A, asi que existe a fx Corolario 3.4.3 sea fx, A
acotado superiormente y fx. Entonces fx Demostracion: Sea fx. Por el teorema
3.4.2, existe fx tal que fx Por consiguiente fx. Es decir, fx lo cual equivale a fx
Lo cual lo podemos interpretar de la siguiente forma: Si fx es el supremo de
A, entonces en cualquier intervalo abierto con centro fx y radio r, siempre hay
elementos del conjunto. Las demostraciones que dimos de que fx y de que fx
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 fx Este caso fue mas sencillo porque
existi
o un elemento m
as grande en el conjunto (el 3). En general si un conjunto
tiene un elemento mayor, es facil demostrar que ese mismo elemento sera el
supremo del conjunto. Antes de que enunciemos este hecho como un teorema,
bauticemos formalmente al elemento mayor de un conjunto. Definicion 3.4.3 sea
fx. Diremos que fx es un m
aximo de A si se cumplen: fx fx Como en el caso del
supremo, un conjunto A no puede tener mas de un maximo (ejercicio), asi que
hablaremos de el m
aximo de A y le daremos una notacion especial: Si fx, a la
proposici
on fx es el m
aximo de A la representaremos co fx Teorema 3.4.4 Sea
fx fx Demostraci
on: Como fx por fx es una cota superior de A. Para demostrar
fx, sea m cualquier cota superior de A. como fx. Ejemplos: Como fx, pero fx entonces 3 no es m
aximo de (2,3). El conjunto (2,3) no tiene maximo porque si lo
tuviera, por el teorema 3.4.4 sabramos que este maximo sera el supremo, o sea
3, pero ya vimos, 3 no puede ser el maximo del conjunto. Entonces un conjunto
puede tener supremo pero no maximo. Sea fx. El maximo de este conjunto es el
mayor de los de los tres elementos. Si fx entonces A no tiene maximo. En efecto,
si existiera fx, entonces como fx, existiran fx tal que fx Pero Fx esto u
ltimo
3

es una contradicci
on porque fx es una cota superior de A. En forma analoga
a los conceptos de cota superior, supremo y maximo de un conjunto tenemos
los conceptos simetricos de cota inferior, nfimo y mnimo de un conjunto y los
correspondientes teoremas. Definicion 3.4.4 sea fx Si fx diremos que fx es una
cota inferior de A si fx. Diremos que A esta acotado inferiormente, si existe
una cota inferior de A. Definicion 3.4.5 Sean fx. Diremos que fx es un nfimo
de A si se cumplen: Fx es una cota inferior de A. fx si m es una cota inferior
de A, entonces fx Coloquialmente, un nfimo de A es una maxima cota inferior
de A. De hecho este es otro nombre que suele darsele a un nfimo. Tambien
puede demostrarse que un conjunto no puede tener mas de un nfimo: Teorema
3.4.5 fx y fx. Demostraci
on: ejercicio 4, (11). fx Si un conjunto A tiene un
nfimo fx se le llama el infimo de A y la proposicion fx es el infimo de A se
representa por fx La propiedad simetrica expresada en el axioma del supremo,
la que sera el axioma del nfimo, se puede demostrar usando el axioma del
supremo y, por lo tanto, ya no es un axioma, sino el siguiente teorema: Teorema
3.4.6 fx Demostraci
on: Sea fx y A acotado inferiormente, entonces fx tal que fx
Definimos fx, entonces B es acotado superiormente y fx implica fx. Entonces
por el axioma del supremo fx tal que fx. Demostraremos que fx es el nfimo de
A. Para eso veremos que fx satisface fx de la definicion de nfimo. i) Como fx
ii) supongamos que fx es cota inferior de A tal que fx como fx es cota inferior
de A, fx es cota superior de fx y fx lo cual es una contradiccion. fx Algunos
ejemplos de cotas inferiores e nfimos se describiran en los ejercicios. Mientras,
enunciemos otras propiedades del nfimo de un conjunto. Teorema 3.4.7 fx fx
Demostraci
on: Se deja como ejercicio.fx Corolario 3.4.8 fx fx Demostracion:
Ejercicio.fx Este resultado lo podemos interpretar de la siguiente forma: Si fx es
el nfimo de A, entonces en cualquier intervalo abierto con centro en fx y radio r,
hay elementos de A. Existe el concepto simetrico al concepto de maximo de un
conjunto. Definici
on 3.4.6 Sean fx y fx diremos que fx es un mnimo de A si se
cumplen: fx fx. Por su puesto en este caso tambien hay unicidad: si un conjunto
A tiene un mnimo, este es el u
nico n
umero real que satisface fx. Por eso se
habla de el mnimo de A y la proposicion fx es el mnimo de A se representa
como: fx Se dar
an ejemplos en los ejercicios, as que solo nos resta enunciar al
siguiente teorema Teorema 3.4.9 fx fx Demostracion: Ejercicio.fx Como se vera
en los ejercicios, un conjunto puede tener nfimo y no tener mnimo, asi que
estos dos conceptos son diferentes. Una u
ltima definicion. Definicion 3.4.7 Sea
fx. Decimos que A es acotado si y solo si Aes acotado superior e inferiormente.
Ejercicios 4. 1. cu
al es el m
aximo de fx? cual es el supremo? 2. Demuestre que
si fx, fx es una cota superior de A y fx, entonces y tambien es una cota superior
de A. 3. Sean fx dos intervalos tales que fx Probar que fx es un intervalo si tiene
m
as de un punto. De un ejemplo que muestre que fx puede ser un conjunto de
un solo punto. Suponga que fx son intervalos abiertos y acotados. Probar que
fx es un intervalo abierto acotado. Dar un ejemplo de intervalos semi-abiertos fx
tales que fx sea un intervalo cerrado. 4. Sean fx donde fx. Demuestre que fx 5.
Si fx Es cierto que fx 6. Si fx Que puede decir acerca del conjunto A? 7. Si fx
y acotado tal que fx, entonces pruebe que fx 8. Demuestre que el nfimo de un
conjunto A no necesariamente es un elemento del conjunto A (de un ejemplo).
4

9. Demuestre que el conjunto de cotas inferiores de fx, pero que fx no tiene

nfimo. 10. Tiene mnimo un conjunto finito? cual sera? 11. pruebe que
fx, pero que fx no tiene nfimo. 12. compruebe que fx no tiene supremo tiene
nfimo? 13. Demuestre que el conjunto fx tiene nfimo pero no tiene mnimo.
14. Demuestre que fx tiene a lo mas un maximo, tiene a lo mas un mnimo y
tiene a lo m
as un nfimo. 15. Si fx estan acotados superiormente, demuestre
que Fx est
an acotados superiormente. 16. Si fx estan acotados superiormente,
entonces fx. 17. Si fx est
an acotados superiormente y fx entonces fx. Hallar dos
conjunto A y B tales que fx (sugerencia: piense en el ejercicio 1 de esta lista) 18.
Si fx acotados superiormente y fx, entonces fx 19. Si fx, acotados superiormente
y fx, entonces fx 20. si A esta acotado, existen fx, tales que fx. 21. si A
y B est
an acotados, Que puede decir de fx? 22. A acotado superiormente
fx 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 fx Demuestre que: (a) A esta acotado inferiormente si y solo si A estas
acotado superiormente (b) fx si y solo si fx (c) fx si y solo si fx 27. Describir
los siguientes subconjuntos de fx y cuando existan de el nfimo y el supremo
y de ser posible discuta la geometra del conjunto. (a) fx (b) fx (c) fx (d) fx
3.6 N
umeros enteros, racionales e irracionales No solo los n
umeros naturales son
introducidos en la primera ense
nanza, sino tambien los horrendos quebrados o
fracciones positivas, una tenebrosa nocion del ceromas bien relacionada con la
calificaci
on y nada de los n
umeros negativos. Toca a estos u
ltimos convertirse
en poderosos refuerzos de la personalidad del estudiante de secundaria en tanto
le permitan restar cualesquiera dos n
umeros naturales en el orden que sea, y
restar al hermano menor: A ver, Benjamn, Cuanto es fx? Ah!, pues
no se puede. claro que s, tontito; es fx. Dos posibles relaciones reacciones
puede tener Benjamn: una envidia ante su sabio hermano Delfn o la fuerte
sensaci
on 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
n
umeros negativos. Aquellas ya las conocan los egipcios desde mucho antes
de Cristo; los negativos no vinieron a ser incorporados sino hasta 1545, con
la publicaci
on del ARS MAGNA de Girolamo Cardano. A continuacion les
presentamos a ustedes lo m
as basico de estos conjuntos de n
umeros : los enteros
y los racionales (fracciones positivas y negativas). Definicion 3.6.1 fx Al conjunto
fx se le llama conjunto de n
umeros enteros. As pues fx y es facil ver que la
suma y el producto de enteros es tambien un numero entero (ver ejercicio 1).
As mismo, la resta es una operacion cerrada en fx lo que no ocurre en fx
Otra cosa ocurre con el cociente. Esta operacion no es cerrada en fx. Por
ejemplo, si fx es un natural mayor que 1, entonces fx por el Corolario 3.5.2 del
Teorema 3.5.1 Entonces fx y por lo tanto fx pues fx no es cero y no es negativo.
Un conjunto en el que si son cerradas las cuatro operaciones fundamentales,
adici
on, producto, resta y cociente, es el conjunto de los n
umeros racionales,
que definiremos a continuacion: Definicion: 3.6.2. El conjunto de n
umeros
racionales es el conjunto fx Otra observacion inmediata es que fx, ya que si fx,
entonces fx. En particular el 1 y el 0 son racionales. Por lo tanto, al satisfacer la
5

suma y el producto de reales las propiedades de conmutatividad, asociatividad

y distributividad en todo fx, tales operaciones, restringidas solo a elementos de
fx, siguen satisfaciendo dichas propiedades. Ademas, si fx con a y b distintos
de cero, entonces fx tambien es racional. Por todas estas observaciones es facil
concluir que fx es un campo. Veamos otras importantes propiedades de fx.
Teorema 3.6.1 fx fx fx Sea fx fx y en el Teorema 3.5.7 se probo que fx Pero como
fx y por eso fx Si fx y es claro que fx y que fx y es por esto que fx Fx es ejercicio
(ver ejercicio 3 de ejercicios 6) Sean fx, podemos suponer que fx. Entonces
existe fx tal que fx (ver ejercicios 4 de ejercicios 6). As que fx. Por lo tanto
fx Una consecuencia de este teorema y del principio del buen orden (Teorema
3.5.11) es el siguiente Teorema. Teorema 3.6.2 fx Fx Demostraremos primero
la existencia de un n
umero fx tal que fx. Si fx, basta escoger fx, puesto que fx
Supongamos ahora que fx como fx no esta acotado inferiormente (ver ejercicio
6 de ejercicios 6), el conjunto fx no es vaco y dado que x es una cota superior
de A, por el ejercicio 7 de ejercicios 6 fx Entonces fx. Como fx no esta acotado
superiormente, el conjunto fx no es vaco y, dado que x es una cota inferior de
B, por el ejercicio 8 de ejercicios 6, fx Entonces fx. As que fx Ahora observemos
que fx tal que fx: si existiera tal z, tendramos que fx. En el primer caso z sera
un elemento de A mayor que el maximo de A y, en el segundo caso, z sera un
elemento de B mayor que el mnimo de B. Ninguno de estos casos puede ocurrir.
Entonces fx y as, fx(ver 5 de ejercicios 6) La unicidad es inmediata de (2) del
Teorema 3.6.1.fx