Guillermo Enrique Vallejo Gutierrez.

N control: IS11110573

AXIOMA DEL SUPREMO 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. Proposicin.- En todo cuerpo K arquimediano y completo se verifica el axioma del supremo. Demostracin: 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 y j= j.n / n es finito y, por tanto, hay uno mnimo que es cota superior de A. Sea tal elemento m+1 / n y supongamos an=m/n . Queda definida as una sucesin (an) de elementos de K. Veamos que es una sucesin de Cuchy, Si ap=m / p y aq=m' / q son dos trminos arbitrarios de la sucesin (an), como m+1/p y m'+1/q son cotas superiores de A y m/p y m'/q no lo son, se tiene m/p<m'+1/q y m'/q <m+1/p. Por tanto si aq ap 0 apaq=m/pm'/q < m'+1/q m'/q =1/q Por tanto si apaq 0aqap=m'/q m/p < m+1/p m/p= 1/p 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/p 1/n0 y 1/q 1/n0 y por consiguiente |a paq| 1/p< . Luego (an) es efectivamente una sucesin de Cauchy de K. 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/bx<n1 Y por tanto X<b 1/n1

Y como lim n an = x existir un nmero natural n2 tal que an<b 1/n1 para n n2 Y para n max {n1 ,n2 }, resultara an=m/n<b 1/n1<b 1/n1 Luego m+1/n < b lo cual es imposible porque m+1/n es cota superior de A. Por consiguiente, x es cota superior de A. Adems es la 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. 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. Proposicin- En un cuerpo K ordenado que verifica el axioma del supremo. Toda sucesin (an) creciente y acotada superiormente es convergente y lim n an = Sup { an : n N }. Toda sucesin (bn) decreciente y acotada inferiormente es convergente y lim n bn = Inf { an : n N }. Demostracin: Sea (an )una sucesin creciente y acotada superiormente en K se verifica del supremo, existe a = Sup { an : n 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 N }. Ahora bien como Sup { ( - bn ) : n N } = Inf { (bn ) : n N }. Se tiene lim n bn = - lim n ( - bn ) = Inf { ( bn ) : n N }.

Proposicin- Todo cuerpo K que verifica el axioma del supremo es arquimediano y completo. Demostracin: Para ver que K es arquimediano, bastar probar que el conjunto N de los naturales de K no est acotado superiormente en K, Razonando por reduccin al absurdo: Si N estuviese acotado, por verificarse el axioma del supremo en K, existir a = Sup N y ser n<a para todo n N

Como n+1 N, tambin n+1 < a para todo N Luego n<a-1 para todo n N

Lo cual es una contradiccin con el hecho de ser a = Sup N. 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 para n, m n2 Sea n max { n1 , n2 } como bn = Sup { ak : k n} existe m n tal que am < /3 y, por 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 http://webs.ono.com/joaquinmateopo1/NUMEROS%20REALES/axioma%20del%20supremo.pdf para n n1