AXIOMA DEL SUPREMO

En el encuentro de la longitud de la hipotenusa del tringulo rectngulo

issceles de lado una unidad, se origina la ecuacin x 2 = 2 , cuya solucin es
un nmero real, no racional.

Veremos, en esta seccin, que la existencia de las soluciones de esta

ecuacin en los nmeros reales, marca una diferencia entre y . Ambos
con las definiciones, axiomas y propiedades para +, i y , constituyen un
cuerpo ordenado pero no satisface el Axioma del Supremo.

Definicin
Sea A y A , se dice que:

i. a es una cota superior de A si y solo si x A x a .

ii. b es una cota inferior de A si y solo si x A b x .
iii. M es el mximo de A si y solo si M A y x A x M .
iv. m es el mnimo de A si y solo si m A y x A m x .
v. S es el supremo de A si y solo si S es el mnimo del conjunto formado por las cotas
superiores de A .
vi. I es el nfimo de A si y solo si I es el mximo del conjunto formado por las cotas inferiores
de A .

Observacin
Para los siguientes subconjuntos no vacos de , A = ]0,1[ , B = ]0,1] , C = [ 0,1[ y D = [ 0,1] , [1, [ es
el conjunto de las cotas superiores y ],0] es el conjunto de las cotas inferiores, tenindose que 1 es el
supremo y 0 es el nfimo de estos conjuntos. Lo que los distingue est en que 1 es el mximo de los
conjuntos B y D, A y C no tienen mximo, mientras que 0 es el mnimo de C y D, A y B no tienen mnimo.
Definicin
Sea A y A , se dice que:

i. A es acotado superiormente si y solo si CS ( A) = {a / a es cota superior de A}

ii. A es acotado inferiormente si y solo si CI ( A) = {b / b es cota inferior de A}
iii. A es acotado si y solo si A es acotado superior e inferiormente.

Ejemplo
Los conjuntos A = ]0,1[ , B = ]0,1] , C = [ 0,1[ y D = [ 0,1] , son acotados, mientras que

E = { x / x < 1} es acotado superiormente pero no es acotado inferiormente.

Axioma del supremo

Todo subconjunto no vaco de acotado superiormente tiene supremo y l es un nmero real.

Observacin
{ }
A = {x +0 / x 2 < 2} es acotado superiormente, CS ( A) = x / x 2 , siendo 2 = Sup ( A)

Caracterizacin del supremo

Si A y A y S = Sup ( A) entonces + a A S < a S

Demostracin
Notar que + a A S < a S + a A S a < S

de donde se tiene que el nmero real S CS ( A) S S , lo que provoca una contradiccin

dado que +
Observacin
Notar que caracterizacin del Supremo al aplicarla al conjunto
1 = Sup (]0,1[) tenemos que
+ a ]0,1[ 1 < a < 1

Teorema
no es acotado superiormente

Demostracin
Supongamos que es acotado superiormente y S = Sup ( )

Por la caracterizacin del supremo se tiene que + n S - < n S

en particular Si = 1, n S 1 < n S n S < n + 1 , lo que es una contradiccin dado que

S = Sup ( ) = mx {a / n n a}

Propiedad Arquimediana de los nmeros reales

Si a + , b entonces hay un nmero natural n, na > b

Demostracin
Supongamos que la propiedad Arquimediana no se verifica, esto significa que

( n na b )
b
CS ( )
a

Pero CS ( ) = , luego la propiedad Arquimediana se verifica.

Observacin
1. El axioma del supremo se llama tambin axioma de completitud y as como el conjunto de los
nmeros reales es dotado del axioma del supremo, de manera anloga se tiene el axioma del
nfimo.

2. A A es un conjunto acotado si y solo si

a + b A b a a + b A -a b a

{ }
3. Si a ]1, [ y x , el conjunto A = a q / q q x es acotado superiormente

tenindose que a x = S up( A)

x
1 1
Adems si a ]0,1[ , > 1 y x , a x =
a a

Ejercicios
1. Sea A y A acotado superiormente y b CS ( A) ,
Puede b A ? Explicar

2. Sea A y A acotado y b CS ( A) CI ( A) .
Determinar Sup ( A) e Inf ( A)

3. Sea A y A se define A = {x / x A}
Demostrar que:
Si A es acotado superiormente y S = Sup ( A) entonces S = Inf ( A)
 1
4. Si a, b , n a < b + entonces a b .
n +1
Notar que
1 1 1
Si a, b , n a < b + y a > b , n a b < a >b > n +1
n +1 n +1 ab
5. Sea a +
Mostrar que A = {n / n x} es acotado superiormente. Cul es el supremo de A ?

n +1
6. Considerar A = / n {5}
n 5
Mostrar que A es un conjunto acotado. Cul es el supremo de A? Cul es el infimo de A?