AXIOMA DEL SUPREMO

C Definicin.- Se dice que un cuerpo ordenado verifica el axioma del supremo, cuando todo subconjunto A no vaco de K y acotado tiene supremo en K. C Proposicin.- En todo cuerpo K arquimediano y completo se verifica el axioma del supremo, Sea A un conjunto de K no vaco y acotado superiormente y sea s una cota superior de A. Como K es arquimediano, existe un elemento natural j K tal que s < y y j es pues cota superior de A. Sea a A (existe por ser A no vaco) y elijamos que un entero i K tal que i < a (si a>0, basta tomar i = 0 y si a<o, por ser K arquimediano existe un natural k > -a y basta tomar i = - k). Entonces entre i y j hay elementos de A y ningn elemento de A es mayor de j. Para cada natural n, el conjunto de racionales de denominador n comprendidos entre
i= i.n n

Demostracin:

j=

j.n es finito y, por tanto, hay uno mnimo que es cota superior de A. Sea tal n

elemento

m1 m y supongamos a n= . n n

Queda definida as una sucesin (an ) de elementos de K. Veamos que es una sucesin de Cuchy, Si y m' 1 q a p= m p y aq= m' q son dos trminos arbitrarios de la sucesin (an), como m p y y m' no lo son, se tiene q m' m1 q p m1 p

son cotas superiores de A y m m'1 p q

Por tanto si a q a p 0a p a q= Por tanto si a p a q 0a qa p= m ' m m1 m 1 = q p p p p 1 1 p n0 1 1 q n0 m m ' m' 1 m ' 1 = p q q q q

Por ser K arquimediano, para cada > 0 de K existe un nmero natural n0 tal que 1/n0 < . Y para p n0 y q n0 se tiene 1 a pa q p Luego (an) es efectivamente una sucesin de Cauchy de K, y y por consiguiente

Como K es completo, existe un x K tal que x = lim n an . Veamos que x = Sup A Si existiera un b A tal que b > x sera b x > 0 y, por ser K arquimediano existe un natural n, tal que
1 n1 b x

Y por tanto xb 1 n1 1 n1

Y como lim n an = x existir un nmero natural n2 tal que a nb para n n2

Y para n max {n1 ,n2 }, resultara a n= Luego m 1 1 b b n n1 n1 m1 es cota superior de A. n

m1 b lo cual es imposible por que n

Por consiguiente, x es cota superior de A. Adems es a menor de las cotas superiores de A, pues si y < x, por ser lim n an.= x existen trminos an > y, y como ningn an es cota superior de A, tampoco y es cota superior de A. C DefinicinUna sucesin (an) de un cuerpo ordenado K es creciente cuando para an an+1 para todo n. Una sucesin (an) de un cuerpo ordenado K es decreciente cuando para an an+1 para todo n Una sucesin montona es una sucesin creciente o decreciente. C Proposicin- En un cuerpo K ordenado que verifica el axioma del supremo. C Toda sucesin (an) creciente y acotada superiormente es convergente y lim n an = Sup { an : n }. C Toda sucesin (bn) decreciente y acotada inferiormente es convergente y lim n bn = Inf { an : n }.

Demostracin:
Sea (an )una sucesin creciente y acotada superiormente en K se verifica del supremo, existe a = Sup { an : n } y para cualquier > o existir un natural n0 tal que a - < an0.

Adems, como la sucesin es creciente, se verifica an0 an para todo n n0. Entonces, para n n0, se tiene a - < an0 an a a + y por tanto | an a | < Luego efectivamente lim n an = a Sea ahora (bn ) una sucesin decreciente y acotada inferiormente en K. Entonces, la sucesin (-bn ) es creciente y acotada superiormente y para lo demostrado antes ( -bn ) es convergente y lim n ( - bn ) = Sup { ( - bn ) : n }. Ahora bien como Sup { ( - bn ) : n } = Inf { (bn ) : n }. Se tiene lim n bn = - lim n ( - bn ) = Inf { ( bn ) : n }. C Proposicin- Todo cuerpo K que verifica el axioma del supremo es arquimediano y completo. Para ver que K es arquimediano, bastar probar que el conjunto de los naturales de K no est acotado superiormente en K, Razonando por reduccin al absurdo: Si estuviese acotado, por verificarse el axioma del supremo en K, existir a = Sup y ser n<a para todo n para todo para todo n Como n+1 ,tambin n+1 < a Luego n<a-1

Demostracin:

Lo cual es una contradiccin con el hecho de ser a = Sup , Veamos ahora que K es completo: Sea (an ) una sucesin de Cauchy en K. Entonces (an ) est acotada superiormente. Como en K se verifica el axioma del supremo, para cada nmero natural n existe bn = Sup { ak : k n}. Tenemos definida una sucesin ( bn ) de elementos de K decreciente (porque { ak : k n}

{ ak : k n +1} para todo n) y acotada inferiormente (una cota inferior de (an) es (bn)), y por la proposicin anterior, existe b = lim n bn. Por consiguiente para >0 de K existen nmeros naturales n1 y n2 tales que | bn b | < /3 y | an am | < /3 tanto | an b | < | an am | +| an bn | +| bn b | < /3 + /3 + /3 = Por consiguiente, la sucesin (an) es convergente y tiene por lmite el elemento b. para n, m n2 para n n1

Sea n max { n1 , n2 } como bn = Sup { ak : k n} existe m n tal que am < /3 y, por