¿Cómo demuestro que una sucesión diverge hasta el infinito?

Me he estado rascando la cabeza durante un par de días sobre cómo determinar la convergencia/divergencia de secuencias. Lo hice para entender cómo probar que una secuencia converge, pero todavía tengo numerosas dudas sobre la prueba de divergencia.

di que tengo límite norte + norte + 1 = + y tengo que demostrar que la sucesión diverge.

Lo que hice fue usar la definición de secuencia convergente.

| a norte L | <   ε

Donde L es un límite teórico (fijo, número real) y ε también es un número real teórico que limita la secuencia (¿estoy entendiendo esto correctamente?)

Luego, probé la prueba por contradicción haciendo

ε   < norte + 1 L < ε

ε + L < norte + 1 < ε + L

( ε + L ) 2 1 < norte < ( ε + L ) 2 1

Asumiendo que ε y L son números reales fijos, siempre podemos obtener un n mayor que cualquier operación realizada entre esos números, contradiciendo así el hecho de que existe un límite.

¿La prueba que he encontrado es válida y suficiente?

Quiero disculparme de antemano con las personas familiarizadas con esto, en caso de que hice un desastre horrible.

Esto es difícil de seguir. Qué es L en tu ejemplo?
Un número real teórico que sería un límite de la sucesión. Así que básicamente limita.
Para mostrar que límite norte F ( norte ) = hay que probar que, para todo METRO , existe norte = norte ( METRO ) tal que norte > norte F ( norte ) > METRO . Muy diferente a lo que escribiste.
Eso no tiene sentido en este contexto. La expresion | a norte | < ϵ No tiene sentido.
Un enfoque típico es decir que para cada METRO existe un norte tal que norte + 1 > METRO ...
Eso sería prueba de que una sucesión crece continuamente. Lo demostré contradiciendo la definición de convergencia. ¿O me estoy perdiendo algo y no puedo usar la prueba por contradicción en este caso?
Pude seguir a Eugenio, aunque creo que necesita mejorar. Él está diciendo "Asumir a norte L R "...buscar una contradicción
Mi interpretación es que el OP sabe que el límite "es igual a y se le pide probar que el límite no existe, es decir, el límite no es igual a ningún número real L . Creo que el argumento es básicamente correcto, aunque podría escribirse un poco más claramente.
En este caso, una prueba directa es mucho más fácil. Usando mi notación,. dejar norte ( METRO ) = METRO 2 1 , Por ejemplo.
Sí, lo siento, me perdí eso y no lo escribí en el título. La pregunta que me han dado es "demuestra que diverge a +
Sí, eso es lo que pensé que estabas tratando de hacer.
Entonces, ¿básicamente tengo que seguir un enfoque diferente y probar que la secuencia aumenta con cada paso, tendiendo así al infinito? Es muy difícil para mí entender el concepto, es mi primera experiencia aprendiendo límites.
No, no necesita probar que es estrictamente creciente (aunque eso no es difícil en este caso). Todo lo que necesita mostrar es que, dado cualquier umbral (al que llamé METRO pero que puedes llamar como quieras), la secuencia finalmente se vuelve mayor que METRO y se mantiene mayor que METRO .
Comience con uno más fácil: Demuestre que límite norte norte = .
Debería enfatizarse: no todas las secuencias crecientes divergen para . Por ejemplo: A norte = 1 1 norte es estrictamente creciente y límite norte A norte = 1 .
Sí, lo tengo. Entonces, básicamente, al hacer lo que hice arriba, probé que la secuencia diverge, pero no que diverge hasta el infinito, para hacer lo último, debo asumir que hay un umbral que la secuencia pasa y finalmente permanece por encima.
Creo que es solo una cuestión de volver a empaquetar lo que escribiste. Dado L R , vemos eso norte > L 2 1 a norte > L . Eso es todo lo que necesitas. Informalmente, eso dice, "para cualquier valor que se me ocurra, la secuencia a norte eventualmente supera ese valor y se mantiene por encima de ese punto en adelante".

Respuestas (1)

A menudo hay varias formas de probar algo, y los dos métodos sugeridos en los comentarios son válidos.

Para describir y comparar ambos métodos, permítanme primero revisar la definición de convergencia.

Decir que una secuencia a norte converge significa:

Existe L R tal que por cada ϵ > 0 existe norte norte tal que por cada norte norte , si norte norte entonces | a norte L | < 0 .

Primer método. El método que siguió fue argumento por contradicción : suponga que a norte = norte + 1 converge y argumenta una contradicción. Como sugirió @GregMartin, su prueba está básicamente bien, pero debería haberla comenzado diciendo explícitamente que está haciendo una prueba por contradicción, y debería haber expresado los pasos lógicos más claramente, algo como esto:

  • Asumir que a norte = norte + 1 converge
  • Aplicando la definición de convergencia, elija L R como en esa definición.
  • Por lo tanto, para cada ϵ > 0 sabemos que existe norte norte tal que para cada norte norte , si norte norte entonces | norte + 1 L | < ϵ .

Desde este punto, manipulas esa desigualdad final tal como lo hiciste. Luego, al final, estableces muy claramente la contradicción a la que llegas.

Segundo método. Este método tiene dos pasos.

  • Paso 1: probar que norte + 1 diverge a + . Para ello hay que aplicar la definición: to say that that a norte diverge a + medio:

Para cada METRO > 0 existe norte norte tal que por cada norte norte , si norte norte entonces a norte METRO .

  • Paso 2: Demostrar un lema general: si una sucesión a norte diverge a + entonces a norte no converge.

La prueba de este lema general va a ser un argumento por contradicción (algo así como lo que ya hiciste): asumes que a norte converge a algún límite L , y asumes que a norte diverge a + , y luego argumentas una contradicción.

Para comparar estos, el método 2 es más complicado que el método 1, pero el método 2 tiene algunas ventajas importantes: produce más información sobre la secuencia a norte = norte + 1 ; ¡y demuestras un lema general útil!

Entonces, una pregunta un poco estúpida... Pero en el segundo método, ¿M y N son exactamente qué? ¿Números arbitrarios? Si es así, ¿cuál es el vínculo entre ellos?
Son variables cuantificadas. Ya usaste la variable cuantificada L en tu prueba de que norte + 1 no converge. También usaste implícitamente la variable cuantificada norte , cuando hablaste de "una norte mayor que cualquier operación hecha entre esos dos números".
Dominar la expresión clara de las variables cuantificadas y el uso lógico correcto de dichas variables es una de las habilidades que hace que una prueba sea sólida y válida.
Entonces, para ponerlo en términos muy básicos y visualizarlo en un plano cartesiano, METRO va a ser el límite que se refiere a los puntos en y eje, y norte es un límite que se refiere a X ¿eje? ¿Al menos una especie de, solo para captar una vaga comprensión gráfica de todo esto?
Para especificar, no me refiero a poner en el eje, sólo con respecto a la > y < declaraciones
Sí, esa es una buena descripción. La palabra "atado" se usa más comúnmente que "límite", pero la misma idea.