Anlisis matemtico 1

Unidad 1.Espacios vectoriales

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 + sup{an}, an aN

lmite de una sucesin, principio del supremo,

principio de Dedekin, |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 para toda n > N. Y como es cota superior de la sucesin: Por lo tanto tenemos: lo que implica:

an < + + ,

(porque > 0).

an

+
y se sigue que: |an | < aN

an

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 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. )* + )* + {[ {[ ]} ]} )* + )* + , entonces la sucesin * {[ {[( ) ]} ]}

3. Demuestra que si

+ es de Cauchy.

Anlisis matemtico 1
Unidad 1.Espacios vectoriales
Demostracin. Primero, consideramos como hiptesis que {an} es una sucesin de Cauchy, y vamos a demostrar que converge a un nmero real. Observemos que {an} es ot , puesto que p r = 1, existe N en los naturales, tal que para toda n > N ocurre que |an aN+1| < 1 Por la desigualdad del tringulo, |an| |aN+1| < 1 y se sigue que |an| < 1 + |aN+1| As que, a partir del trmino aN, todos los que tienen ndice mayor a N, estn dentro de un intervalo con centro en 0, de longitud 2M1 = 2(1 + |aN+1|). Para n N, tomamos M2 igual al mximo elemento del conjunto {|a1|, |a2|, |a3|,, |aN|} As que todos los trminos de la sucesin, con ndice menor o igual que N, quedan en el intervalo con centro en 0 y longitud M2. Ahora, tomamos M como el mayor de los nmeros M1 y M2, y se satisface que, para todo n en los naturales, |an| M. Por lo t nto, l su esin es ot . Por el teorem e Bolzano I, {an} tiene al menos un punto lmite p . Por ltimo, demostraremos que p es el lmite de la sucesin. Como la sucesin es de C u hy, (/2) > 0, existe N1 en los n tur les, t l que p r to o n, m > N:

Y como p es punto lmite de la sucesin, existe una subsucesin { } que converge a p, entonces existe N2 en los naturales, tal que para todo k > N2:

Tomamos N igual al mayor entre N1 y N2, de manera que las desigualdades 1 y 2, se satisfagan simultneamente para todo n, m > N y k > N. Como cada sucesin, y k > N, tenemos que es trmino de la

. As llegamos a lo siguiente:

Sumando las desigualdades y usando la desigualdad del tringulo:

Concluimos que: