\documentclass{article}

\usepackage{amsmath}
\usepackage[utf8]{inputenc}
\begin{document}
$$\verb@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 relaci\'on de orden, en tre
s grupos: axiomas de campo, axiomas de orden y el axioma del supremo. Entre aque
lla secci\'on y la que ahora comenzamos hemos trabajado con los dos primero grup
os 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 fx es tal que fx y A esta acotado superiormente, entonce
s A tiene supremo.
Definici\'on 3.4.1 sea fx
Si fx, diremos que fx es una cota superior de A si
fx
Diremos que A esta acotado superiormente si existe una cota superior de
A.
\\
\\
Ejemplos:
Sea fx 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.
Sean fx
fx como fx, entonces b es una cota superior de A.
fx como fx entonces b es una cota superior de B.
Supongamos que fx. Como vimos en el ejemplo 2, 3 es una cota superior de A. Pero
fx y cualquier otro n\'umero mayor que 3 tambi\'en son cotas superiores de A.
En general, dados un conjunto fx y una cota superior fx , de A, cualquier fx may
or que fx tambi\'en es una cota superior de A (ver ejercicio 2 de Ejercicios 4).
Sea fx Demostraremos que cualquier n\'umero real es una cota superior de
A. sea fx. Entonces es verdadera la proposici\'on fx (Por qu\'e?)
\\
\\
Como se deduce de los ejemplos anteriores, cuando un conjunto A de n\'umeros rea
les est\'a acotado superiormente, el conjunto de todas sus cotas superiores es i
nfinito. En el caso en que fx, dicho conjunto de cotas superiores es fx y sabemo
s, por Ejercicios 2 (7), que no existe el n\'umero real m\'as peque\'no de todos.
Entonces no existe la menor de las cotas superiores de fx. Ahora bien si fx entonc
es A tiene elementos y todas las cotas superiores de A est\'an a la derecha de t
odos los elementos de A. Entonces tiene sentido preguntarnos si existe una cota
superior m\'as peque\'na que todas las dem\'as: una m\'inima cota superior de A. c
uando existe una m\'inima cota superior de A suele d\'arsele un nombre especial.
Definici\'on 3.4.2 sea fx, diremos que fx es un supremo de A, si se cumplen
fx es cota superior de A
fx si m es cota superior de A, entonces fx
Entonces un supremo de un conjunto A es una cota superior con la propiedad adici
onal fx. 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 m\'as un supremo.
Teorema 3.4.1 fx supremos de A. Entonces fx.
Demostraci\'on: Que fx y fx sean supremos de A significa que ambos satisfacen

fx Asi, como fx satisface fx y fx satisface fx, fx ; pero como fx satisface fx y

fx satisface fx,fx Por consiguiente, fx.
Entonces, si un conjunto A tiene un supremo fx, ya le podemos llamar el supremo
de A (con el art\'iculo determinado el) y representarlo de cierta forma:
La proposici\'on fx es el supremo de A se denotara por fx. En algunos libros suele
n referirse al supremo como la m\'inima cota superior. En particular en los de hab
la inglesa, el supremo de A es the least upper bound of A y se denota por lub A.
Como veremos en secciones posteriores, hay muchos campos ordenados, es decir, co
njuntos que, con una suma y un producto, y con una relaci\'on de orden, satisfac
en los axioma como los de campo y orden que se cumplen para fx. Por ejemplo, el
conjunto de los n\'umeros racionales (que se estudiara en la secci\'on 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 vac\'io del campo, que este
acotado superiormente, tiene un supremo. Esto significa que el axioma del suprem
o 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\'a demostrar la existencia de ra\'ices 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 con
cepto mencionado:
Axioma del supremo: si fx es tal que fx y A esta acotado superiormente, entonc
es fx tal que fx
Ejemplos:
Sea fx . Sabemos ya que 3, y todo n\'umero mayor que 3, son cotas superi
ores de b. intuitivamente, es claro que 3 es la menor de las cotas superiores de
B, as\'i que proponemos que fx.
Para demostrar esto, solo resta probar la propiedad fx, lo cual es sencillo:
Sea m una cota superior de B. entonces, para cada fx Como 3 es elemento de B, fx
y ya.
Sea fx En este caso tambi\'en demostraremos que fx. Ya sabemos que 3 es
una cota superior de A. para ver que se cumple fx, tendr\'iamos que demostrar qu
e, dado fx entonces
fx
Pero en este caso conviene demostrar la contrarrec\'iproca de dicha implicaci\'o
n:
fx.
Para demostrarla, supongamos que fx. Entonces
Si fx. Esto muestra que m no es una cota suprior de A.
Si fx, por ejercicio 2 (4), el promedio aritm\'etico de m y 3, fx esta e
ntre m y 3, asi que
fx.
Gracias a esto podemos asegurar que fx y que fx lo cual implica que m no es una
cota superior de A.
fx (ejercicio).
Si A es un conjunto que no est\'a acotado superiormente, entonces A no t
iene supremo, porque el supremo ser\'ia una cota superior de A
fx (Por qu\'e?)
fx
Claramente fx y fx, para cada fx, asi que fx y esta acotado superiormente, por e
l axioma del supremo, A tiene supremo.
Todav\'ia no hemos desarrollado la teor\'ia necesaria para saber qui\'en es exac
tamente el supremo de A, pero el axioma del supremo nos permite saber que si exi
ste.
Demostraremos algunas propiedades relacionadas con el supremo.
Teorema 3.4.2 si fx, A acotado superiormente y fx, entonces
fx
Demostraci\'on: sea fx. Entonces fx y por fx, fx no es una cota superior de A, a
si que existe a fx
Corolario 3.4.3 sea fx, A acotado superiormente y fx. Entonces
fx

Demostraci\'on: Sea fx. Por el teorema 3.4.2, existe fx tal que fx Por consiguie
nte 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 m\'as sencillo porque existi\'o un elemento m\'as
grande en el conjunto (el 3). En general si un conjunto tiene un elemento mayor,
es f\'acil demostrar que ese mismo elemento ser\'a el supremo del conjunto. Ant
es de que enunciemos este hecho como un teorema, bauticemos formalmente al eleme
nto mayor de un conjunto.
Definici\'on 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 m\'as de un m\'aximo (
ejercicio), asi que hablaremos de el m\'aximo de A y le daremos una notaci\'on esp
ecial: 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 m\'aximo porque si lo tuviera, por el teorema 3.4.4 sabr\'iamos que est
e m\'aximo ser\'ia el supremo, o sea 3, pero ya vimos, 3 no puede ser el m\'axim
o del conjunto. Entonces un conjunto puede tener supremo pero no m\'aximo.
Sea fx. El m\'aximo de este conjunto es el mayor de los de los tres elem
entos.
Si fx entonces A no tiene m\'aximo. En efecto, si existiera fx, entonces
como fx, existir\'ian fx tal que fx Pero
Fx esto \'ultimo es una contradicci\'on porque fx es una cota superior de A.
En forma an\'aloga a los conceptos de cota superior, supremo y m\'aximo de un co
njunto tenemos los conceptos sim\'etricos de cota inferior, \'infimo y m\'inimo
de un conjunto y los correspondientes teoremas.
Definici\'on 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.
Definici\'on 3.4.5 Sean fx. Diremos que fx es un \'infimo 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 \'infimo de A es una m\'axima cota inferior de A. De hecho es
te es otro nombre que suele d\'arsele a un \'infimo.
Tambi\'en puede demostrarse que un conjunto no puede tener m\'as de un \'infimo:
Teorema 3.4.5 fx y fx.
Demostraci\'on: ejercicio 4, (11). fx
Si un conjunto A tiene un \'infimo fx se le llama el infimo de A y la proposici\
'on fx es el infimo de A se representa por fx
La propiedad sim\'etrica expresada en el axioma del supremo, la que ser\'ia el ax
ioma del \'infimo, se puede demostrar usando el axioma del supremo y, por lo tant
o, 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 \'i
nfimo de A. Para eso veremos que fx satisface fx de la definici\'on de \'infimo.
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 contradicci\ on.
fx
Algunos ejemplos de cotas inferiores e \ infimos se describir\ an en los ejercic
ios. Mientras, enunciemos otras propiedades del \ infimo de un conjunto.
Teorema 3.4.7 fx
fx
Demostraci\ on: Se deja como ejercicio.fx
Corolario 3.4.8 fx
fx
Demostraci\ on: Ejercicio.fx
Este resultado lo podemos interpretar de la siguiente forma:
Si fx es el \ infimo de A, entonces en cualquier intervalo abierto con centro en
fx y radio r, hay elementos de A.
Existe el concepto sim\ etrico al concepto de m\ aximo de un conjunto.
Definici\ on 3.4.6 Sean fx y fx diremos que fx es un m\ inimo de A si se cumplen
:
fx
fx.
Por su puesto en este caso tambi\ en hay unicidad: si un conjunto A tiene un m\
inimo, este es el \ unico n\ umero real que satisface fx. Por eso se habla de el
m\ inimo de A y la proposici\ on fx es el m\ inimo de A se representa como: fx
Se dar\ an ejemplos en los ejercicios, as\ i que solo nos resta enunciar al sigu
iente teorema
Teorema 3.4.9 fx
fx
Demostraci\ on: Ejercicio.fx
Como se ver\ a en los ejercicios, un conjunto puede tener \ infimo y no tener m\
inimo, asi que estos dos conceptos son diferentes.
Una \ ultima definici\ on.
Definici\ on 3.4.7 Sea fx. Decimos que A es acotado si y solo si Aes acotado sup
erior e inferiormente.
Ejercicios 4.
1. cu\ al es el m\ aximo de fx? cu\ al es el supremo?
2. Demuestre que si fx, fx es una cota superior de A y fx, entonces y tambi\ en
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 i
ntervalo abierto acotado.
Dar un ejemplo de intervalos semi-abiertos fx tales que fx sea un interv
alo cerrado.
4. Sean fx donde fx. Demuestre que fx
5. Si fx Es cierto que fx
6. Si fx Qu\ e puede decir acerca del conjunto A?
7. Si fx y acotado tal que fx, entonces pruebe que fx
8. Demuestre que el \ infimo de un conjunto A no necesariamente es un elemento d
el conjunto A (de un ejemplo).
9. Demuestre que el conjunto de cotas inferiores de fx, pero que fx no tiene \ i
nfimo.
10. Tiene m\ inimo un conjunto finito? cu\ al ser\ ia?
11. pruebe que fx, pero que fx no tiene \ infimo.
12. compruebe que fx no tiene supremo tiene \ infimo?
13. Demuestre que el conjunto fx tiene \ infimo pero no tiene m\ inimo.
14. Demuestre que fx tiene a lo m\ as un m\ aximo, tiene a lo m\ as un m\ inimo
y tiene a lo m\ as un \ infimo.
15. Si fx est\ an acotados superiormente, demuestre que

Fx est\ an acotados superiormente.

16. Si fx est\ an 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, Qu\ e 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 \ infimo
y el supremo y de ser posible discuta la geometr\ ia 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 enseanza, sino tam
bi\ en los horrendos quebrados o fracciones positivas, una tenebrosa noci\ on del
cerom\ as bien relacionada con la calificaci\ on y nada de los n\ umeros negativo
s. Toca a estos \ ultimos convertirse en poderosos refuerzos de la personalidad
del estudiante de secundaria en tanto le permitan restar cualesquiera dos n\ ume
ros naturales en el orden que sea, y restar al hermano menor:
A ver, Benjam\ in, Cu\ anto es fx?
Ah!, pues no se puede.
claro que s\ i, tontito; es fx.
Dos posibles relaciones reacciones puede tener Benjam\ in: una envidia ante su s
abio hermano Delf\ in o la fuerte sensaci\ on de que su hermano mayor se halla b
ajo los efectos de una buena dosis de cannabis o, lo que es lo mismo, de que est
a chiflado.
Como en el curriculum usual, en el de la humanidad aparecieron antes las fraccio
nes positivas que los n\ umeros negativos. Aquellas ya las conoc\ ian los egipci
os desde mucho antes de Cristo; los negativos no vinieron a ser incorporados sin
o hasta 1545, con la publicaci\ on del ARS MAGNA de Girolamo Cardano.
A continuaci\ on les presentamos a ustedes lo m\ as b\ asico de estos conjuntos
de n\ umeros : los enteros y los racionales (fracciones positivas y negativas).
Definici\ on 3.6.1
fx
Al conjunto fx se le llama conjunto de n\ umeros enteros.
As\ i pues fx y es f\ acil ver que la suma y el producto de enteros es tambi\ en
un numero entero (ver ejercicio 1). As\ i mismo, la resta es una operaci\ on ce
rrada en fx lo que no ocurre en fx
Otra cosa ocurre con el cociente. Esta operaci\ on no es cerrada en fx. Por ejem
plo, si fx es un natural mayor que 1, entonces fx por el Corolario 3.5.2 del Teo
rema 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, adi
ci\ on, producto, resta y cociente, es el conjunto de los n\ umeros racionales
, que definiremos a continuaci\ on:
Definici\ on: 3.6.2. El conjunto de n\ umeros racionales es el conjunto

fx
Otra observaci\ on inmediata es que fx, ya que si fx, entonces fx. En particul
ar el 1 y el 0 son racionales. Por lo tanto, al satisfacer la 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 satisfa
ciendo dichas propiedades. Adem\ as, si fx con a y b distintos de cero, entonces
fx tambi\ en es racional. Por todas estas observaciones es f\ acil 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 prob\ o que fx Pero c\ omo 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 ejer
cicios 4 de ejercicios 6). As\ i 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 est\ a acotado inferiormente (ver ejercicio 6
de ejercicios 6), el conjunto fx no es vac\ io y dado que x es una cota superio
r de A, por el ejercicio 7 de ejercicios 6 fx Entonces fx.
Como fx no est\ a acotado superiormente, el conjunto fx no es vac\ io y, dado qu
e x es una cota inferior de B, por el ejercicio 8 de ejercicios 6, fx Entonces f
x. As\ i que fx
Ahora observemos que fx tal que fx: si existiera tal z, tendr\ iamos que fx. En
el primer caso z ser\ ia un elemento de A mayor que el m\ aximo de A y, en el se
gundo caso, z ser\ ia un elemento de B mayor que el m\ inimo de B. Ninguno de es
tos casos puede ocurrir.
Entonces fx y as\ i, fx(ver 5 de ejercicios 6)
La unicidad es inmediata de (2) del Teorema 3.6.1.fx

\end{document}