2

Donde vemos,

, que seria absurdo, pues

es un numero racional.

Tenemos el siguiente criterio para determinar en que condicin una sucesin es

creciente, mejorada y convergente.
a S(K )
TEOREMA 9.- una sucesin creciente ( n)
y convergente si esta se
a K ; en este caso, tambin

sucesin admite un supremo

lim an=a

Demostracin.- suponemos que esta sucesin admita un supremo

an < a

luego

para todo

n N . Si e

aK ,

es un elemento cualquiera de

p tal

existe, conforme a la condicin b) la definicin 1, un numero natural

que

ae<a p <a

donde vemos,

n> p , tenemos

; por lo tanto, para todo

|a na|<e

lim an=a .

y en tanto

ae< a p <a n< a

recprocamente, suponemos

( a n) S ( K ) sea convergente para a K ; verificamos las

que la sucesin

condiciones a) y b). La definicin 1, para el elemento a y para los conjuntos

{a n , n N } de esta sucesin. A) si por absurdo, existe p N tal que
a< a p

e=a pa P

, entonces tomamos,

, de donde vemos

n>max { n0 , p }

obtenemos una contradiccin, pues

n0 N

tal que

para todo

n>n 0

n0 N

, existe

ae< an <a+ e

creciente. b) si

an < a p

, para todo

, y,

ae< an <a+ e

; en resumen, existe

Corolario.- una sucesin decreciente

que esta sucesin admite un nfimo

nN

; concluyendo,

{ a n } y, por hiptesis,

a <a , como a K , entonces, dado

|a na|<e

n>n 0

tal que

e=aa P

, de donde vemos,
tal que

existe
,

a <an

a, <an < a ..

( a n) S ( K ) y convergente se, entiende

a K ; en este caso tenemos

lim an=a

Basta aplicar el teorema anterior a esta sucesin creciente y mejorada

TEOREMA 10.- Un cuerpo ordenado
toda sucesin de elementos de

(an ) .

es arquimediano si se somete a

K , creciente y mejorado y fundamental.

Demostracin.- supongamos que el cuerpo

K , sea arquimediano y sea

( a n) S ( K ) una sucesin creciente y mejorada.

Sea

un elemento cualquiera de

P y consideramos el conjunto de

de todos los nmeros naturales tales que

donde b

es un mejorado de
S

y arquimediano,
an < a pe

como

nN ,

{a n } y evidente que S es un vacio como K

n N . Otra,

; por tanto, si

m>n>n 0

para todo

es mejorado, por lo tanto, existe

, para todo

b( p+ 1 ) r < an

an <bse

myn

p=maxS

p+1 S , luego existe

y tenemos
n0 N

tal que

son dos nmeros naturales cualquiera,

, tenemos
b( p+ 1 ) r < an a n am b pa
0

De donde vemos,

|a ma n|<e

, pues que , la sucesin

Para a reciproco basta notar que si el cuerpo ordenado

entonces la sucesin

{a n } y fundamental.
K

es arquimediano,

( a n) S ( K ) es creciente y mejorada (teorema 44,

capitulo IV) y de inmediato que esta sucesin es fundamental.

Si a y b , como a<b , dos elementos cualquiera de un conjunto

E ,

totalmente ordenado, entonces los conjuntos

[ a , b ] = { x E|a x b }
El llamado intervalo fechado
de extremo

( de E ) de extremidades a y b de origen a y

b .

DEFINICIN 7.- Dcese que un cuerpo ordenado

satisface el axioma de

dos intervalos encajados si, se somete, si valida la siguiente condicin; si

( I n )n N es una sucesin cualquiera de intervalos fechados de K y si
I n+1 I n

para todo

nN

, entonces el conjunto

Ejemplo 16,. Mostraremos que el cuerpo ordenado

nN IN

es vacio.

Q , dos nmeros

racionales no satisfacen el axioma d3e dos intervalos encajados. En efecto,

a
b
consideraremos las sucesiones ( n) y ( n) definidas, respectivamente, los

ejemplos 14 y 15; verificamos por induccin finita sobre n, que

an bn =2

y de

aqu resulta que

2

bn +1a n+1=

Luego,

an <b n

I n+1 I n

bn ( 2+a 2n )

>0

para todo numero natural n. Si

, pues

absurdo, que

( b na n )

(2)
I n=[ an , bn ]

, de inmediato que

( a n) , creciente y ( b n) y decreciente. Supongamos, por

n In

, luego , existe un numero racional tal que

an< c<bn (3)

Para todo

; ora, de (2) resulta

1
b n+1a n+1< (bnan)2
6
De donde vemos

( 16 )2 1

bnan<

(4)

De (3) y (4) concluimos, fcilmente, (an) y (bn) son convergentes para un

numero racional c, contra los resultados establecidos en los ejemplos 14 y 15.
Demostraremos, a seguir, el principal teorema de este prrafo que nos dara
algunas caractersticas de un cuerpo ordenado completo:
Teorema 11- Las siguientes condiciones sobre un mismo cuerpo ordenado k,
son equivalentes.
a) K es completo
b)

es arquimediano y

S e ( K ) =S je ( K ) ;

c) Toda sucesin creciente y mejorada de elementos de

convergente.
d) K es arquimediano y

es

satisface el axioma de dos intervalos

encajados.
Demostracin.- a) implica b) conforme al colorario 1 del teorema 2, el cuerpo K
a S je ( K )
es arquimediano luego, solo falta demostrar que si ( n)
, entonces

( a n) S 0 ( K ) . Ahora, la sucesin ( a n) es ilimitada y K es completo, por lo

tanto, para cada

n N , existe

ai

bn =( ) i>n . Y de inmediato que la sucesin

( b n) es decreciente y minorada; como K y completo, existe an =inf ( b n) ,

luego de acuerdo con el colorario del teorema 9, la sucesin
a .

convergente para
Como

a=inf ( b n)

resulta que si
p N

entonces existe

( b n) es

es un elemento cualesquiera de

P ,

tal que
a<b p <a+31 e

Luego, para

n> p , tenemos

a<b n <a+31 e .
Por otro lado, de

bn =supe ( ai )i >n

resulta que existe

i n> n

, tal que

a31 e<a i < b

n

Y como

an

es fundamental, existe

qN

tal que

|a ma n|<31 e
m y n , como

Cualquiera que sea

m>q

y n>q . Podemos decir

n0=max ( p ,q )
n>n 0

Teorema, para todo

|a na|=|( anai ) + ( ai b ) + ( b na )|<e|anai |+|a i b|+|bna|<3. 31 e=e

n

por lo tanto

lim an=a

b) implica c) como el cuerpo

es arquimediano resulta, conforme con el

teorema10, que toda sucesin creciente y mejorada y fundamental, como

S e ( K ) =S j ( K ) , concluimos que toda sucesin creciente y mejorada y
convergente.
c) implica d) admitindose c) resulta que toda sucesin creciente y mejorada y
fundamenta, luego, en comparacin con el teorema 10, K es arquimediano.
Consideremos, entonces, una sucesin

( I n )n N de intervalos fechados de

I n+1 I n

tal que

I n=[ an , bn ]

y pongamos

n ; en este caso, tenemos

an <b n

para todo nmero natural

y de inmediato que la sucesin

{a n } es

{ por b 0 } , por lo tanto, de acuerdo con c), esta sucesin

creciente y mejorada

es c onvergente y en conclusin con el teorema 9 tenemos que

a
a=lim a n =( ) . Afirmamos que a I n , sea,
n

an < a

En efecto, tenemos
b p < aq <a

tal que

, pues,

ae

si, por absurdo, existiese

br

de

. Por tanto, el elemento

interseccin de todos los intervalos fechados

d) implica a) sea

s0

In

nN .
qN

. Para cada numero natural

pertenece a la

un subconjunto no vacio y mejorado de

supongamos, inicialmente, que existe en

positivo

para todo

r=max ( p , q ) tenemos br < b p <a q a r ;

se supondr

contra la definicin de

an

a =( ) ;

an < a<bn

un elemento estrictamente

consideremos un conjunto.

B n= j N |2 es mejorando de S
n

Como

j 0=min Bn

es arquimediano resulta que

J n >0

y tenemos

s0

bn =2 J n

sucesiones
1.

2.

y no vacio, luego, existe

, pues, por hiptesis existe en

elemento estrictamente positivo

Para todo nmero natural

Bn

un

. Colocaremos
n
y an =2 ( j n1 ) ,

veremos a seguir algunas propiedades de

( j n ) , ( b n) y ( a n)

j n +1< 2 j n

. Basta notar que

entonces

2 j n >min B n+1= j n+1

j n +1=2 j n

por

2 j n > j n +1+2

por

j n +1+1=2 j n

n1

( 2 j n ) =2n j n , luego 2 j n B n+1 y

. En efecto, si

2 ( j n1 ) > j n+1 +1

2 j n > j n +1+1

de donde vemos,

, tenemos

n1

2 ( j n1 ) > 2
entonces
3.

bn +1=b n

j n +1 ; por tanto,

j 01 B

2 ( j n1 )

es un mejorado de

; o que es absurdo, pues

j n=B

j n1< j n

y
.

n1
por bn +1=b n2
, de donde vemos, en particular, que

( b n) es decreciente. Es una consecuencia inmediata de definicin de

bn
4.

y de propiedades anteriores.

an +1=a n

n1
por bn +1=b n2
, de donde vemos, en particular que

( a n) y decreciente. En efecto, si j(n+1) +1=2 jn , tenemos

an +1=2n1 ( j n+1 1 )=2n1 ( 2 j n2 ) =2n ( j n1 ) =an

y si

tenemos
an +1=2n1 ( j n+1 1 )=2n1 ( 2 j n1 ) =an +2n1

j n +1=2 j n