Sucesión convergente de reales positivos
Hoy lunes os dejo el problema de esta semana. Aquí teneís el enunciado:
Sea
una sucesión de números reales positivos tal que
para todo
. Probar que la sucesión
es convergente.
.
Que se os dé bien.
Hoy lunes os dejo el problema de esta semana. Aquí teneís el enunciado:
Sea
una sucesión de números reales positivos tal que
para todo
. Probar que la sucesión
es convergente.
.
Que se os dé bien.
Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$
.
Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.
Y si los símbolos <
y >
te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.
11/06/2012
Desarrollando los primeros términos en función de a(1) y a(2) obtenemos:
a(3)=((a(1)+a(2))/2; a(4)=(a(1+3a(2))/2^2; a>(5)=(3a(1)+5a(2))/2^3;….
Los coeficientes de a(1) y a(2) son dos términos sucesivos de (2^k-(-1)^k)/3, lo que se comprueba fácilmente por inducción.
Sustituyéndolos en la fórmula del término general y operando obtenemos:
a(n+1)=((a(1)+2a(2))/3)(1-(-1)^n/2^n) cuyo límite, para n creciendo indefinidamente es
(a(1)+2a(2))/3, luego es convergente.
11/06/2012
JJGJJG, es que a(n+1) <= (a(n) + (a(n-1), no igual.
Si a(n) es decreciente, esta claro, pues está acotado inferiormente por 0, por lo que converge. Pero si a veces crece y a veces decrece, ahy que demostrar que la diferencia entre términos consecutivos tiende a cero. Y esto no lo veo del todo claro, porque la diferencia entre términos consecutivos no tiene porqué tender monótonamente a cero, aunque estoy casi seguro que a la larga tiende a cero de cualquier forma.
Tengo que pensarlo más …
11/06/2012
el problema no plantea una igualdad si no una desigualdad, en mi opinion se resuelve viendo que la sucesion es monotona y acotada
para acotarla procedemos por induccion, tenemos a(2)<=[a(1)+a(0)]/2<=max[a(0),a(1)]
lo suponemos cierto desde 2 hasta n y lo vemos para n+1
a(n+1)<=[a(n)+a(n-1)]/2<=max[a(n),a(n-1)]<=max[a(0),a(1)] ya que es cierto en n y n-1
si suponemos que la sucesion es creciente ya estaria hecho, y si no habria un m tal que
a(m)<a(m-1), luego a(m+1)<=[a(m)+a(m-1)]/2<a(m-1), luego a(m) y a(m+1) son menores que a(m-1) y por ahi me he quedado, con ver que a(m+1)<=a(m), bastaria, pero no estoy seguro de que eso sea cierto
11/06/2012
Jeje, no tiene por qué ser monótona. De hecho, con toda seguridad no es monótona creciente debido a qué en cada paso se reduce la cota máxima. Si tomas el a(n+1) > a(n) entonces necesariamente a(n+2) < a(n) por lo que queda claro que no puede ser monótona creciente.
Si que puede ser monótona decreciente, en cuyo caso la serie puede converger a cualquier valor positivo menor que la media de los dos primeros números.
Pero podría no se monótona como bien se temía ILC. En ese caso la serie puede converger a cualquier valor positivo inferior al valor calculado por JJGJJG.
Podriamos pensar que podría oscilar eternamente, pero en cada paso podriamos recalcular el valor máximo de convergencia mediante el cálculo de JJGJJG, y entonces no tendremos más que admitir que la oscilación debe amortiguarse necesariamente.
11/06/2012
Creo que mi primer razonamiento es suficiente. Si siempre elijo el valor correspondiente al signo igual el límite será el obtenido: (a(1)+2a(2))/3
Si en cualquier momento elijo un a(k) menor que el obtenido para el signo igual, a partir de ese momento el valor máximo obtenible por aplicación del proceso sería:
(a(k)+2a(k-1))/3, que también es un valor acotado, luego sigue siendo convergente.
En el peor de los casos, podría elegir para dos términos sucesivos valores infinitamente pequeños, con lo que el límite también lo sería.
En resumen, la serie converge hacia un valor comprendido entre 0 y mi primer límite.
11/06/2012
Discrepo con JJGJJG… que sea acotada solamente no implica que converja.
Basta tomar alguna sucesion como
11/06/2012
La clave es la desigualdad.
a(n+1)=(a(n)+a(n-1))/2-f(n)
Así habrá que demostrarlo para cualquier función f(n) positiva y que garantice que a(n+1) es positivo. JJGJJG lo ha hecho para f(n)=0 pero me temo que no sea suficiente.
11/06/2012
Pau, según el enunciado a(n) son reales POSITIVOS, luego tu f(n) no puede lícitamente volverlos negativos, en contra de lo supuesto.
11/06/2012
Diego ten en cuenta que la sucesión esta formada por reales positivos. Yo creo que con ese dato y el desarrollo de JJGJJG el problema ya esta resuelto.
11/06/2012
Se puede intentar probar que se trata de una sucesion de Cauchy.
12/06/2012
Oups! Perdón, me debo haber explicado mal. La función f(n) podria ser f(n)=a(n-1)/2 y la sucesión seria siempre positiva. ¿No? ¿Hago algo mal?
12/06/2012
|a(n+1) – a(n)| <= |(a(n)+(a(n-1))/2 – a(n)| = 1/2 |a(n)-a(n-1)|
Es de Cauchy.
13/06/2012
Pau, haciendo
se convierte en una sucesión de valor constante.
jjbbrr, no se que es una sucesión de Cauchy, pero desde luego tu inecuación no es correcta. Basta probar con 3 términos como 10, 20, 10. Según tu inecuación, sería
lo cual es falso.
Yo creo que la explicación de JJGJJG es correcta, aunque parece como si no estuviera del todo demostrada. Da la sensación de que queda un cabo suelto.
Propongo la siguiente demostración:
, es decir una sucesión del mayor de cada dos terminos consecutivos de la sucesión 
es monótona decreciente
Es decir, 
converge.
implica la de
, pero eso ya lo dejo para otro día.
1. Creamos la sucesión
2. Se puede demostrar que
Por tanto
Ya solo queda demostrar la convergencia de
Saludos
13/06/2012
Cartesiano, por ahí vas bien. Ahí va mi intento. Es un poco confuso pero espero que se entienda.
Vamos a estudiar la subsucesión de elementos donde
es monótona no
pertenece a una
.
creciente y la subsucesión de los elementos donde es creciente, probaremos que
ambas convergen al mismo límite, y ya que cada elemento de
de estas subsucesiones, habremos probado la convergencia de
Consideremos pues los elementos
donde la sucesión no crece, esto es,
. Es fácil probar que tal subsucesión es monótona
verificando
no creciente y acotada, de donde se deduce su convergencia.
Consideramos ahora los elementos
donde la sucesión crece, es decir, con
. Observemos que
, y en particular, tanto
como
son elementos de la subsucesión que hemos tratado
anteriormente. Además,
de donde
Es decir, podemos hacer la diferencia entre los elementos de esta subsucesión y los
de la anterior tan pequeña como deseemos, y por tanto converge al mismo límite.
13/06/2012
Cartesiano caótico, haciendo
se obtiene
que es convergente y converge hacia 0. Pero era sólo un ejemplo de que
no tiene porqué ser 0 ni hacer negativa la seria.
13/06/2012
Si cada término es, como mucho, la media de los dos anteriores y los dos primeros son finitos, no hay manera de llegar a un término que se mayor que el primero y el segundo, por muchos términos que se tomen.
Otra historia, para cuando se tiene tiempo y ganas, es ver que desde un cierto término en adelante la diferencia entre el término y el límite de la sucesión se hace tan pequeña como se quiera.
14/06/2012
Vuelvo a mi tema, Jeje
luego podemos decir que
Como ya ha dicho JJGJJG
¿Entoonces qué pasará cuando introduzcamos un
?
Pues por el mismo método que ha explicado JJGJJG, el límite de convergencia se verá reducido en
Por lo que siempre que mantengamos las restricciones de
, obtendremos que la serie cenvergerá a
14/06/2012
El problema es fácil si se analiza bien que implica que una sucesión acotada (por arriba y por abajo), como es el caso que nos ocupa, no tenga límite.
En una sucesión así (doblemente acotada pero no convergente), podemos encontrar un valor que llamaré
tal que, a partir de un determinado término, la sucesión nunca toma valores mayores que
, pero o bien tomará infinitas veces este valor, o bien podemos encontrar términos arbitrariamente cerca de
.
De igual manera, por debajo, existirá un valor
tal que, a partir de un determinado término, la sucesión nunca toma valores menores que
, pero o bien tomará infinitas veces este valor, o bien podemos encontrar términos arbitrariamente cerca de
.
Entonces, basta con demostrar que si la sucesión toma alguna vez el valor
(el mínimo), entonces ya, a partir de dicho término, la sucesión jamás tomará ni se acercará a
, lo cual es muy fácil en este caso.
14/06/2012
Perdón, un error en la fórmula final (signo MENOS delant del sumatorio):
El el ejemplo que he puesto antes
resulta
y la serie converge a 0
14/06/2012
Es evidente que si
y
<M, entonces
<M 
En particular se concluye que
es acotada por lo que existen I=lim inf
y S==lim sup 
14/06/2012
Perdón. Di a publicar antes de tiempo. Espero no equivocarme de nuevo:
Es evidente que si
y
<M, entonces
<M 
En particular
es acotada por lo que existen I=lim inf
y S=lim sup
. Hay que demostrar que I=S.
Supongamos
y sea h=
Como lim sup
<S+h
con

Como lim inf
< I+h
Entonces:
Así pues
, con lo que todos los términos sucesivos son menores que S-h, y lim sup
(absurdo)
Por tanto I=S y se concluye el resultado.
15/06/2012
La sucesión
, es monótona decreciente (y de términos positivos), así que tiene límite
.
Expresando los valores
en función de los términos la sucesión
se obtiene
Por tanto es fácil ver entonces que
tiene límite dado por
15/06/2012
Buena demostración M.
Los demás en general, creo que se han confundido un poco con los límites superiores e inferiores de la IGUALDAD. Parece claro que el límite inferior es cero. Pero por alguna razón la intuición nos hace tratar de mantener el término lo más arriba posible 😉
Pero dime una cosa M, qué razonamiento te ha llevado a construir la sucesión
así, solucionando todo el resto de la demostración?
Saludos
16/06/2012
Cartesiano, como se lee en muchos de los comentarios, se ha buscado una sucesión monótona decreciente a partir de la original. Esto se puede hacer de varias formas, y en particular la que ha propuesto Cartesiano Caotico en su comentario de 13 de June de 2012 | 00:58 también permite concluir el enunciado (
). Sin embargo, parece algo más natural elegir
, pues basta sumar
a ambos miembros de la desigualdad de la hipótesis para obtener directamente la monotonía.
17/06/2012
Pero no es necesario complicarse tanto, basta con suponer que conocemos las cotas exactas de la sucesión a partir de un
con un i suficientemente alto (suficientemente alto quiere decir: lo suficiente como para que no exista un j>i, tal que las cotas a partir de
sean diferentes). Si la sucesión no converge, estas cotas “estables” superior e inferior deben existir, así que para demostrar que la sucesión converge, basta con demostrar que si la sucesión alcanza una de las cotas, ya le será imposible alcanzar la otra.
Este esquema de demostración no sólo tiene la ventaja de convertir este problema en un juego de niños, es que además sirve para otros problemas similares.
17/06/2012
Estoy con Sive, las cotas a las que te refieres son el máximo y el mínimo del conjunto derivado de la sucesión. Si no es convergente, al menos la sucesión debe tener dos puntos de acumulación distintos. Por otro lado, como el conjunto derivado es cerrado, siempre tendrá un máximo y un mínimo que son las cotas de Sive. Después de esto, como dice Sive, el resto del problema es juego de niños. Aprovecho para agradecer a Sive esta idea, ya que es aplicable a otros casos.
Por otro lado, la demostración de M me parece genial, sobre todo como relacionar
con
para que aparezca la serie
El último paso, basta aplicar un resultado que en los libros aparece como criterio de Abel y dice lo siguiente.
Sean
y
sucesiones en
, tales que
es convergente y
es monótona y acotada. Entonces la serie
es convergente.
Sobre esto tengo una duda: el teorema sólo afirma que
es convergente (y basta para el problema) pero M aplica que el valor de la suma es:
17/06/2012
Es cierto, Ratoncillo de biblioteca, que dejé ese detalle pendiente, pues es más engorroso de escribir que de entender. Pero, en fin, se puede justificar del modo siguiente:
hemos puesto
y
,
, con
. Para ver que entonces
converge a
, basta definir
Luego, ambas sucesiones
y
tienen igual límite
.
17/06/2012
Lamento discrepar profundamente con Sive por varias razones, y no te lo tomes a mal, pero:
. No existen esos términos “suficientemente altos”. De hecho dices “no exista un j>i, tal que las cotas a partir de
sean diferentes. Pues lo cierto es que no importa que valor de ‘i’ escojas se puede construir una sucesión tal que
. Esto ocurre si elijes la sucesión en la que la desigualdad del enunciado es estrictamente una desigualdad.
. La sucesión que se propone no es única, existen infinitas sucesiones que cumplen la condición del enunciado. Así que el hecho de alcanzar una cota máxima o mínima no garantiza nada. Y si no piensa en cualquier sucesión que empiece por los términos
, con el primer término ya hemos tocado la cota mínima y con el segundo la máxima y sin embargo la “igualdad del enunciado” converge a 2, y la “desigualdad” (que es el enunciado real) puede converger a cualquier valor
.
– Las demostraciones se hacen o no se hacen. Si es un juego de niños deberías tardar menos en demostrarlos que en “explicar lo fácil que es”, y si no tal vez no sea un juego de niños.
– Ese concepto que tienes de un “i” suficientemente alto es completamente erróneo. Cuando hablamos de límites, o hablamos de un término ‘i’ cualquiera o hablamos del
– Y por último vuelvo a RECORDAR que se trata de una desigualdad, y que la cota inferior es el valor “0”. No importa que sucesión escojas siempre se pueden elegir términos menores o iguales a
Saludos
18/06/2012
Gracias M, en mis cálculos me salía
en lugar de
, probablemente me equivocaría en los cálculos porque los hice un poco rápido, de todas formas no tiene importancia, la idea queda clara.
Cartesiano Caotico con permiso de Sive propongo una demostración basada en su idea:
Sean
el mínimo y el máximo, respectivamente, del conjunto derivado de la sucesión. Supongamos que la sucesión no es convergente, entonces
(ya que por lo menos el conjunto derivado tiene dos puntos). En el intervalo
donde
, sólo hay un número finito de términos de la sucesión, ya que si hubiese infinitos por el teorema de Bolzano-Weierstrass existiría un punto de acumulación menor que
contradiciendo que es el mínimo. (El intervalo
puede ser vacío).
Sea
, para este
existe un
tal que si
entonces
y
(ya que sólo hay un número finito de términos en
) por tanto,
para todo
. Además, por definición de la sucesión, todos los términos de la sucesión a partir del
van a vivir en
, pero esto contradice que
sea punto de acumulación.
18/06/2012
Cartesiano Caotico, tienes razón en que una demostración a medias no es una demostración, pero es que yo no di una demostración, di un esquema de demostración, precisamente para discutir si es válido o no.
Además, lo que yo dejé sin probar no sólo es un juego de niños (que lo es), es que además lo probó JJGJJG en el primer comentario.
En matemáticas se habla de números “suficientemente altos”, “suficientemente bajos”, y “suficientemente cerca” de otros continuamente, y lo único que se exige es que se aclare rigurosamente que significa eso de “suficientemente”. No entiendo muy bien esta parte de tu comentario, pero tal vez se deba a un malentendido, ya que en mi segundo mensaje pude dar a entender que estaba hablando sólo de cotas en el sentido estricto, cuando hay otra posibilidad que sí mencioné en el primer mensaje, a saber: que no exista tal cota, pero se tienda a ella (no la sucesión, la cota), pero esta posibilidad no afecta a mi esquema de demostración (ni siquiera aunque la cota de la sucesión tienda a ella “por fuera”), porque puedo acercarme todo lo que desee a estas cotas sin más que elegir un valor de i suficientemente alto.
Te sugiero que estudies la demostración del teorema de Bolzano-Weierstrass, que menciona Ratoncillo de biblioteca, ya que emplea justo esta idea para “construir” su serie convergente. Confieso, de todos modos, que yo no conocía este teorema, y muy probablemente dentro de 15 minutos no me acordaré del nombre.
En ningún momento de mi razonamiento he dejado de tener en cuenta que se trata de una desigualdad, así que tampoco entiendo esa parte de tu mensaje.
18/06/2012
Ops, siento el desaguisado de las negritas, esto me pasa por no usar la vista previa…
18/06/2012
Sive, creo que o no te explicaste bien (ese es el problema de explicar una demostración y no hacerlo formalmente) o yo no lo entendí bien.
Creo que tal vez, con tu propuesta querías decir que para cualquier sucesión
que elijamos existe otra
que converge y la acota por arriba y por abajo, y por tanto
debe converger a ese mismo valor.
Sin embargo, yo creo que no dijiste eso precisamente, aunque tras leer a Ratoncillo de Biblioteca parece ser que fui yo el que no lo supe interpretar.
Por otro lado, creo que en ningún momento habéis expresado de forma clara eso de “la cota mínima”, pues es obvio que el valor mínimo de cualquier sucesión puede ser siempre el valor ‘0’. Parece ser que expresais que
no es el valor mínimo de
, sino el máximo de una subsucesión
que la acota por abajo.
Formalmente yo aprendí que la convergencia implicaba que
. Sin embargo, la sucesión
no tendrá nunca dos valores iguales, por lo tanto no existirá nunca un número “suficientemente alto”.
”, y nuevamente yo lo había malinterpretado.
Y ahora siguiendo tu razonamiento de “suficientemente alto” podemos escoger un valor n /
Si existiera ese “suficientemente alto” entonces podríamos concluir que a partir de un número finito de términos la sucesión se mantiene constante. Tal vez no sea más que un eufemismo para decir “en el límite cuando
En conclusión, parece ser que yo no interpreto bien las cosas, 😉
Saludos
18/06/2012
No, probablemente yo no me expliqué bien. En esto de las matemáticas soy autodidacta y a veces no me expreso con corrección… aunque yo me entienda.
De hecho tuve que explicarlo dos veces para que alguien entendiera lo que estaba diciendo (aunque yo creo que lo expliqué mejor la primera vez), y seguro que Ratoncillo de biblioteca tuvo que poner de su parte más de lo que hubiera sido necesario si yo lo hubiese explicado mejor.
De todos modos hablar de “un valor de i suficientemente alto”, no es un eufemismo, es que yo procuro evitar pensar en el infinito cuando razono, para que no me patinen las neuronas. En lugar de ello uso expresiones como “arbitrariamente cerca”, “tan alto como desee”, “suficientemente alto”, etc… de modo que el razonamiento no pierda rigor. Más aún, creo que es algo que debería hacer todo el mundo.
18/06/2012
Por cierto, ¿habéis entendido el último párrafo de mi comentario anterior? lo he vuelto a leer y me he dado cuenta que me hice un poco el lío, lo escribo de nuevo:
Sea
tal que
para todo
(este
existe ya que sólo hay un número finito de términos de la sucesión en
).
Sea
, entonces teniendo en cuenta lo anterior y la
desigualdad que define la sucesión, vemos que
para todo 
pero esto contradice que
sea punto de acumulación de la sucesión.
Observación: Si
entonces todos los términos de la sucesión a partir del
coinciden con
. Esta es una de las posibilidades que comentaba Sive en su primer comentario, cuando decía ”pero o bien tomará infinitas veces este valor…”
19/06/2012
Este problema nos lo metieron en una guía de análisis, pero solo con la igualdad. Ahora bien, me sale una duda ¿Probada para la igualdad la desigualdad no es clara?
Saludos!
19/06/2012
Eder Contreras en el caso de la igualdad la sucesión de los pares y la sucesión de los impares son monótonas y de sentido contrario (una creciente y otra decreciente) y es fácil ver que el supremo de la creciente coincide con el ínfimo de la decreciente. Pero esto no ocurre con la desigualdad.
20/06/2012
No se si alguien lo mencionó, pero la solución me parece muy intuitiva: cada término es el promedio de los dos anteriores. De ahí que la sucesión esta acotada por los dos valores iniciales.
Pero no es monótona, por la misma observación. Así que me quedo con la demostracion de jjbbrr. Le llevó un renglón demostar que la sucesión es de Cauchy.
20/06/2012
Hola esm.
Opino lo contrario que tú. No es intuitivo, hay que demostrarlo. La intuición no es una demostración, sobre todo cuando la intuición juego malas pasadas en una gran variedad de situaciones (aunque en otras se muy útil).
La demostración de jjbbrr que indicas no es una demostración, sobre todo porque no es correcta. Puedes leer mi comentario del 13 junio con un contraejemplo.
Desde luego que es de Cauchy, tanto como que es convergente. Lo curioso es que siendo tan “intuitivo” la demostración no se haya realizado “fácil y rápidamente”. Claro que tal vez no sean términos equivalentes ;).
21/06/2012
Para Cartesiano caótico, tu argumento 13 Junio 00:56 no es válido, dado que el teorema de Cauchy habla que existe M natural tal que si n mayor que M se cumple…
Tu contraejemplo no sirve dado que solo has dado los 3 primeros términos de la sucesión. Ya el 4º será menor = 15 y así sucesivamente
21/06/2012
Que la sucesión es de Cauchy esta ya descrito aunque no de forma 100% precisa en los diferentes comentarios anteriores.
Para todo m,n > N Mod(a(m) – a(n)) < € o su equivalente
lim mod(a(n+1) – a(n)) = 0 con n tiende a infinito
mod(a(n+1) – a(n)) <= mod(a(n)-a(n-1)) / 2 ya se ha visto arriba y siguiendo el mismo proceso n veces <= mod(a(2)-a(1))/ 2**n.
Su límite cuando n tiende a infinito es 0 obviamente y la serie es de Cauchy y converge en R (son equivalentes en R)
21/06/2012
CARTESIANO CAÓTICO
Creo que coincidimos más de lo que discrepamos, solo que quizá no me expresé con suficiente claridad. Nunca aceptaría como demostración una idea intuitiva. Y claro que intuitivo no es lo mismo que fácil y rápido, pero me parece mucho más agradable demostrar algo cuando se entiende más claramente su significado, lo cual puede dar la intuición.
Admito que me apresuré al hablar, y no solo por lo de la intuición. La desigualdad no es correcta, y aunque lo fuera, no aseguraría que la sucesión es de Cauchy. Sigo aparte
21/06/2012
JJBBRR
Primero, la desigualdad que planteas no es cierta, pues |a|<|b| no implica |a+c|<|b+c|. Por ejemplo, |1||-2+3|
Cuidado con el valor absoluto y las desigualdades triangulares.
Además, cuidado con Cauchy. Sigo aparte.
21/06/2012
|1| < |-2| sin embargo |-2+3| < |1+3|
21/06/2012
JUANJO ESCRIBANO
Desde luego que el contraejemplo es válido. La desigualdad pedida en el enunciado tiene que valer para todo n, y como 10 20 10 pueden ser términos consecutivos de la sucesión, alcanzan para ver que hay un n que no cumple lo pedido.
Si aún así no te convence, la desigualdad es incorrecta pues |a|<|b| no implica |a+c|<|b+c|. Por ejemplo, |1| < |-2| sin embargo |-2+3| < |1+3|.
Además, lo de los equivalentes tiene también un problema. Sigo aparte
21/06/2012
CUIDADO CON CAUCHY
Dado que la sucesión converje, sabemos que será de cauchy. Pero para demostrarlo no alcanza con ver que |a(n+1)-a(n)| tiende a cero. Basta con ver ejemplos como log(n) o sqrt(n), que cumplen con tal condición y sin embargo divergen.
Las hipótesis de cauchy son más exigentes.
{x(n)} es de cauchy si para todo ε>0 existe un N natural tal que para cualesquiera n,m>N, |x(n)-x(m)| < ε.
Para todos n,m. Osea que a partir de cierto N, ε acota la distancia entre dos elementos de la sucesión, sean estos consecutivos o lejanos.
22/06/2012
Para Cartesiano Caótico y esm.
El contraejemplo no es válido porque lo que se requiere en la demostración de convergencia es que la condición se cumpla a partir de un N natural y los contraejemplos por tanto tienen que serlo a partir de ese N.
Por ejemplo, 10, 20, 10, 0, 0, … la sucesión no lo cumple pero para N>5 se cumple. Precisamente a esto se refieren las expresiones orales de: siendo n un número suficientemente grande o tan grande como quieras, …
22/06/2012
Hola ESM, cuando digo que la condición es equivalente creo que es cierto. En cambio creo que falta indicar que sea acotada para que sea convergente.
Demuestro la equivalencia:
Sea una sucesión de Cauchy a(i), por tanto para todo €(1) > 0 existe N natural tal que para todo par de números m,n > N se cumple que mod(a(m) – a(n)) < €(1).
Fijamos m = n +1 y tenemos que mod(a(n+1) – a(n)) < €(1)
y por la definición de límite, el lim mod(a(n+1) – a(n)) = 0 cuando n tiende a infinito implica lo que acabamos de escribir.
Veamos que si se cumple que lim mod(a(n+1) – a(n)) = 0 la sucesión es de Cauchy.
Mod (a(m) – a(n)) = mod (a(m) – a(m-1) + a(m-1) – … – a(n+1) + a(n+1) – a(n)) 0 existe N tal que para todo n < N Mod(a(n+1) – a(n)) < €(2),
luego la expresión anterior es <= €(2) + €(2) + … + €(2)
Hago €(1) = €(2) * (m-n) y la expresión anterior queda = €(1)
Luego son equivalentes.
La sucesión tiene límite en R (incluido infinito) por ser de Cauchy.
En cuanto a tus contraejemplos no te falta razón es de Cauchy, tiene límite y no es convergente por ser límite = infinito
Si no recuerdo mal las sucesiones de Cauchy eran convergentes si eran acotadas, cosa que la del ejemplo lo es
22/06/2012
Hay un error.
El parrafo
Mod (a(m) – a(n)) = mod (a(m) – a(m-1) + a(m-1) – … – a(n+1) + a(n+1) – a(n)) 0 existe N tal que para todo n < N Mod(a(n+1) – a(n)) N Mod(a(n+1) – a(n)) < €(2),
22/06/2012
Se me come la demostración. La idea es que el modulo de a(m) – a(n) es menor o igual que la suma de los modulos a(i+1) – a(i) (restando y sumando los a(i) intermedios) y esta suma es <= (m-n) €(2) por la definición de límite poniendo €(2).
Si para €(1) (serie de Cauchy) calculo €(2) = €(1) / (m-n) y aplico lo anterior queda demostrado
23/06/2012
Juanjo Escribano
la desigualdad debe cumplirse siempre, no solo a partir de n=5
el ejemplo de sucesion que has puesto solo es una del conjunto de las infinitas sucesiones posibles. Si quieres puedes poner como ejemplo un millon de casos a favor, pero siempre te puedo poner un contraejemplo.
la sucesion es de cauchy, ya que es convergente (eso ya se ha demostrado) lo que estaba mal era la ecuacion dada por jjbbrr para demostrarlo, esa ecuacion es erronea
y por otro lado vuelvo a decir lo que ya dije en otros posts, no se trata de encontrar un numero “suficientemente grande” que cumpla con el criterio de convergencia, no importa lo grande que cojas el numero te puedo dar infinitos terminos diferentes a partir de ese termino
la convergencia implica que siempre se puede hacer la diferencia entre dos terminos mas pequena, por lo que si quieres dar un valor “suficientemente grande” solo hay uno “infinito” y se habla de conergen ia en el limite. una sucesion constante ha convergido desde el inicio (en un termino finito) pero solo es un caso particular de las infinitas sucesiones que cumplen las condiciones del problema
25/06/2012
La sucesión solo es un ejemplo. Tu contraejemplo solo tiene 3 términos y repito:
La serie tiene que cumplir lo que marca la definición.
La demostración basta con que sea válida a partir de un N natural, no necesariamente desde el primer elemento.
Por ejemplo la sucesión 1000, 100, 10, 1, 0.1, 0.01, … para € =1 se cumple a partir de N=4, y evidentemente 1000 – 100 = 900 no lo cumple
25/06/2012
Para refutar algo basta un solo contraejemplo, para demostrarlo tienes que validar todos los casos. Así es la vida.
Ya llevas una sucesión, solo te quedan
sucesiones que comprobar. 😉
26/06/2012
Juanjo, no te líes con los términos.
Lo que es falso es la demostración de
, que lleva a una ecuación incorrecta.

Esa ecuación no se deduce de la definición
Como explicó con sus ejemplos
, al meter valores absolutos la desigualdad no se mantiene. En definitiva la ecuación de
no es correcta.
En el ejemplo de sucesión que das:
podemos llegar al ‘n’ que tu quieras, que siempre podemos hacer los términos siguientes como
y
.
Según esos últimos términos tendríamos aplicando la falsa demostración que:
En tu ejemplo:
Estos términos encajan dentro de tu sucesión, encajan dentro de la definición del problema y no cumplen la “falsa demostración”.
Ya te digo que no me importa que sucesión elijas que siempre voy a poder encontrar
términos que no cumplan esa demostración, ya que es falsa.
Sólo hay un caso en el que no podré buscar contraejemplos:
Por desgracia o por fortuna para demostrar algo hay que demostrarlo para todos los casos, para demostrar lo contrario basta un solo caso. Te recomiendo que dejes de poner ejemplos positivos, pues necesitarías
ejemplos para corroborar lo que dices, y a mi me basta uno para demostrar lo contrario.
Saludos
26/06/2012
Me ha costado, pero creo que ahora te he entendido. Gracias por ayudarme
26/06/2012
Si no me equivoco quieres decir lo siguiente:
a(n+1) <= (a(n)+a(n-1) / 2, restando a(n) en los dos lados
a(n+1) – a(n) <= (a(n)+a(n-1) / 2 – a(n) = – (a(n) – a(n-1) / 2 y ahora al aplicar el módulo la desigualdad no sabemos si se mantiene, p.e -7 2 no y -1, 2 si, de hecho lo que ocurre es que esas diferencias o son 0 o una es positiva y la siguiente negativa con lo que siempre podrás forzar que los módulos pasen a mayor que.