Anlisis matemtico 1

Unidad 1.Espacios vectoriales

L
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.

lim an=

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 aN tal 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:

lim an=

Y podemos concluir que {an} converge a sup{an},. 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.

Anlisis matemtico 1
Unidad 1.Espacios vectoriales
a) { I n }=

{[

n n+1
,
n+1 n

]}

Solucin:

Si

Si

Si

n 1

n2

n3

el intervalos es:

el intervalos es:

el intervalos es:

1 2
I1 ,
2 1

2 3
I2 ,
3 2
3 4
I3 ,
4 3

4 5
I4 ,
5 4

n4

Si
el intervalos es:
Lo graficamos para ver su comportamiento:

1
2

0.40

0.60

0.80

234
345

1.00

54
43

1.20

1.40

3
2

1.60

Grficamente se nota que a sucesin cumple dos cosas:

1.80

2.00

2.20

Anlisis matemtico 1
Unidad 1.Espacios vectoriales
1. Cada intervalo, contiene al siguiente: I1 I2 I3 I4 I5...
En general, para todo n en , In In+1. Lo que significa que:
a1 a2 a3 a4 a5 an an+1 bn+1 bn b5 b4 b3 b2 b1
Remplazamos valores y demostramos que ln+1 est contenido en ln para todo n en los
naturales.

n
n 1 n 2 n 1

n 1 n 2 n 1
n
Demostramos la desigualdad

n
n 1

n 1 n 2
n(n 2) (n 1)( n 1)
n 2 2 n n 2 2n 1
0 1

Por lo que podemos afirmar que

n
n 1

n 1 n 2

y:

0 1/2 2/3 3/4 4/5 n/(n+1) n+1/(n+2) (n+ 2)/n+1 (n+ 1)/n 5/4
4/3 3/2 2
Por lo cual podemos concluir que cumple con la primer propiedad

Ahora analicemos la propiedad 2 La longitud de los intervalos tiende a cero, cuando n

tiende a infinito:

(n + 1)
n
1
n

lim 1
0

n
n
n
(n
+
1)
n
n

lim longitud I n lim bn a n lim

n

Por

Anlisis matemtico 1
Unidad 1.Espacios vectoriales
b) { I n }=

{[

n+1 3 n+ 1
,
n
n

{[

]}

{[

1
n

1
1
c) { I n }= 1 , 2+
n
n

d) { I n }= (1 )2 n , 1+

3. Demuestra que si

]}

]}

lim an=L

, entonces la sucesin

{a n }

es de Cauchy.