Anlisis Matemtico I

Actividad 2. Completitud en los nmeros reales

Instrucciones: Realiza lo que se te indica en cada inciso.

1. Lee la siguiente demostracin del teorema de Bolzano y completa los
espacios vacos. Del cuadro de abajo, elige y copia en el portapapeles lo que
consideres e insrtalo en el espacio que le corresponda. Puedes seleccionar
lo mismo ms de una vez y puedes no seleccionar ninguno de los elementos.
an, an , , ,
<aN aN< + , , ,
+ ,
, ,
+ lmite de una sucesin, principio de
Dedekin, sup{an}, principio del supremo, |an | < , aN an, an aN

Demostracin. Sea {an} cualquier sucesin de nmeros reales, montona y acotada.

Supongamos que es montona no decreciente. Como la sucesin es acotada, por el
principio del supremo existe tal que = sup{an} Por el teorema 2, para todo >
0, existe N en y su correspondiente aNtal que:

<aN
Como la sucesin es no decreciente:

an aN para toda n> N.

Y como es cota superior de la sucesin:
<aN < + (porque > 0).
Por lo tanto tenemos:
an +
lo que implica:
an + ,
y se sigue que:
|an | <
As, tenemos que para todo > 0, existe N en tal, que para todo n> N, |an | <
Pero sta es la definicin de lmite de una sucesin, por lo tanto:

Y podemos concluir que {an} converge a . Lo que queramos demostrar.

Si suponemos que la sucesin es montona no creciente, la demostracin es anloga.

2. Determina cules de las siguientes sucesiones de intervalos, son un sistema de

intervalos anidados. Argumenta muy bien tu determinacin.

a) * +

20

13

Entonces;
[

an an+1 ,

an+1 bn+1,

bn+1bn

Entonces:

Cumple con la condicin. De que cada intervalo, contiene al siguiente

Lo que significa que

Y
La longitud de los intervalos tiende a cero, cuando n tiende a infinito
(

0.
(

1
[

Y
La longitud de los intervalos tiende a cero, cuando n tiende a infinito
(

0.

Entonces es un sistema de intervalos anidada

b) * +

20

13

an an+1 ,

an+1 bn+1,

bn+1bn

No se cumple la condicin.

Y
La longitud de los intervalos tiende a cero, cuando n tiende a infinito
(

c) 20

13 * +

0.

20

)1

13
,

an an+1 ,

Se cumple con la primera condicion.

an+1 bn+1,

bn+1bn

[(

)]

Se cumple la primera pero no con la segunda condicion por lo que no es un

sistema de intervalos anidada

d)

* +

20(

13
,

an an+1 ,

an+1 bn+1,

bn+1bn

y
(

[(

) ]

[(

( )

Se cumple las condicines entonces es un sistema de intervalos anidados

Demuestra que si

si

, entonces la sucesin *

, entonces la sucesin *

La definicin de lmite nos dice que:

+ es de Cauchy

+ es de Cauchy.

Quiere decir que todos los terminos de la sucesion, excepto quiza los N primeros,
caen dentro del intervalo (

), es decir su distancia a L es menor que .

En este caso se dice que L es el lmite de la sucesion.

Lo mismo se cumple para cualquier
|

Si (an) es convergente, sabemos que existe tal que para todo > 0,
existe N, tal que para todo n N se tiene que |an | </2
Sean n, m N entonces |

||

Entonces
|
Entonces *

+ es de cauchy