Ingeniera Matematica

FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 07-2 Universidad de Chile

Basado en el apunte del curso Clculo (2o a semestre), de Roberto Cominetti, Mart n Matamala y Jorge San Mart n.

SEMANA 14: SERIES NUMERICAS Y SERIES DE POTENCIAS

Apendice: Sucesiones de Cauchy

Recordemos: Denicin 9.2 (Sucesin de Cauchy). Una sucesin (xn ) de nmeros reales se dice de o o o u Cauchy si > 0, N , n, m N, |xn xm | < .
Sucesin de Cauchy o

El objetivo de este apndice es probar el siguiente teorema: e Teorema 8.1. Una sucesin es convergente si y slo si es de Cauchy. o o Haremos la demostracin en dos partes. Primero, probamos que o Proposicin 9.1. Todas las sucesiones convergentes son de Cauchy. o

Demostracion. Si (xn ) es convergente, sabemos que existe tal que para todo > 0, existe N , tal que para todo n N se tiene que |xn | < 2 . Sean n, m N entonces |xn xm | |xn | + |xm | < . Luego (xn ) es de Cauchy. Para probar que toda sucesin de Cauchy es convergente, debemos considerar la siguiente o denicin previa: o Denicin 9.3 (Punto de acumulacin). Sea (xn ) una sucesin y un real. Decimos o o o que es un punto de acumulacin de (xn ) si, para todo > 0 el conjunto o {n A : |xn | < } es innito (no acotado superiormente). Ejemplo 9.3. n La sucesin (1) posee a 1 y 1 como puntos de acumulacin. Dado > 0 el conjunto o o n u {n : |(1) 1| < } es el conjunto de n meros pares que es innito y el conjunto n {n : |(1) + 1| < } es el conjunto de los n meros impares, que tambin es innito. u e
Punto de acumulacin o

125

Ingenier Matemtica a a
Proposicin 9.2. Toda sucesin acotada posee un punto de acumulacin. o o o

Universidad de Chile

Demostracion. Si (xn ) es acotada existen m y M tales que para todo n A se cumple que m xn M. En realidad, lo unico que se necesita para que el teorema sea cierto, es que el conjunto {n A : m xn M } sea innito. Sea u0 = m, v0 = M y w0 = m+M . Si {n A : u0 xn w0 } es innito, denimos 2 u1 = u0 y v1 = w0 . Si no, denimos u1 = w0 y v1 = v0 . Con estas deniciones sabemos que el conjunto {n A : u1 xn v1 } es innito. Adems, se tiene que [u1 , v1 ] [u0 , v0 ]. a Continuando con este proceso podemos denir las sucesiones (uk ), (vk ) y (wk ) satisfaciendo lo siguiente: Para cada k, el conjunto {n A : uk xn vk } es innito. La sucesin (uk ) es creciente, o la sucesin (vk ) es decreciente y (vk uk ) 0. El Teorema de los Intervalos Encajonados o asegura que existe un tal que k0 [uk , vk ] = {}. Vamos a demostrar que es un punto de acumulacin de la sucesin. Para ello sea > 0. El o o conjunto {n A : |xn | < } contiene al conjunto V = {n A : uk xn vk } cuando 1 < . En efecto, si uk xn vk y |vk uk | < 21 < entonces, |xn | vk uk . Como k 2k V es innito obtenemos la conclusin. o Corolario 9.1. Una sucesin (xn ) acotada y con un unico punto de acumulacin l converge. o o Demostracion. Sea > 0. Por el comentario anterior el complemento del conjunto {n A : |xn l| < } debe ser nito. De no serlo, habr un punto de acumulacin de la sucesin fuera del intervalo a o o (l , l + ) que por ende ser distinto de l. a

Proposicin 9.3. Toda sucesin de Cauchy es acotada y posee unico punto de acumulacin. o o o En conclusin toda sucesin de Cauchy es convergente. o o

Demostracion. Siendo (xn ) una sucesin de Cauchy, al tomar = 1 debe existir n0 de o modo que para todo n, m n0 |xn xm | < 1. En particular tomando m = n0 tenemos que para todo n n0 , xn0 1 < xn < xn0 + 1. De modo que la sucesin es acotada y sabemos que posee al menos un punto de acumulacin. o o Supongamos que (xn ) tiene dos puntos de acumulacin y , con = . Sea = || . o 3 Entonces, los conjuntos U = {n A : |xn | < } y V = {n A : |xn | < } son innitos y su interseccin es vac Adems, si n U y m V se cumple que |xn xm | . o a. a Entonces cualquiera sea n0 existen n, m n0 tales que n U , m V y |xn xm | , contradiciendo el hecho que (xn ) sea de Cauchy. Luego, gracias al Corolario 9.1, se concluye que xn es convergente. As combinando este ultimo resultado y la Proposicin 9.1, se deduce el Teorema. , o

126