32 votos

Comprender la definición de secuencia de Cauchy

Mi pregunta está relacionada con la definición de la secuencia de Cauchy

Como sabemos que una secuencia $(x_n)$ de los números reales que se llama de Cauchy si para todo número real positivo ε, existe un entero positivo $\mathbb{N}$ tal que para todos los números naturales $m, n > N$

$\mid x_m -x_n\mid < \epsilon$

Mis preguntas son

1 : ¿Cuál es la importancia de la elección de $m, n > N$ ?

2: ¿Cómo elegir la $N$?

3: Podemos ver geométricamente?

Me gustaría si alguien me puede hacer entender a través de ejemplos.

Gracias

36voto

user30357 Puntos 6

En el comentario que dicen saber lo que es una convergencia de la secuencia. Sobre los reales de una secuencia de Cauchy es la misma cosa. Entonces, ¿por qué nos preocupamos por ellos, usted puede pedir. Aquí es por qué:

Recordar: Una secuencia $(a_n)$ de los números reales converge al límite de $a\in \mathbb R$ si $\forall \epsilon>0\ \exists N\in\mathbb N:\forall n\geq N\ |a-a_n|<\epsilon$.

Usted probablemente ha visto los ejemplos de convergencia de las secuencias. $\frac 1n$ es uno de ellos, y el límite es de $0$. Supongo que te han visto también la razón por la que (se reduce el axioma de Arquímedes). En general, el juego funciona de la siguiente manera: adivina el derecho de limitar y, a continuación, hacer algo de manipulación algebraica hasta encontrar un adecuado $N$ todos los $\epsilon >0$.

Puede molestar a usted que usted tiene que saber el límite antes de que en realidad se puede mostrar algo. No hay otra manera de formular la convergencia que no se basan en el derecho de adivinar el límite? De hecho hay: secuencias de Cauchy. Tenga en cuenta que el límite no se muestran en la definición y podemos empezar a probar cosas sin asumir que un número es el límite. Entonces, ¿qué hace un límite convergente? La diferencia de los elementos posteriores de la secuencia sin duda debe ser arbitrariamente pequeño. Así que una ingenua suposición para una condición sería $$|a_n-a_{n+1}|<\epsilon$$ para todos los $n\geq N$. Pero esto no es suficiente, como se puede ver en la secuencia $$s_n=\sum_{i=1}^n\frac 1i.$$ Resulta que el más fuerte de la asunción $$|a_n-a_{m}|<\epsilon$$ para todos los $n,m\geq N$ es suficiente. Así que usted puede no sólo comparar dos elementos posteriores de la secuencia, pero cualquiera de los dos que aparecen después de un cierto tiempo.

Por lo que podemos relativamente fácil demostrar que cada convergencia de la secuencia es de Cauchy. ¿Qué acerca de la otra dirección, es decir, cada secuencia de Cauchy converge? Bueno, dependiendo de su configuración, puede definir los reales, precisamente, como la finalización de $\mathbb Q$. Y aquí radica la verdadera fuerza de secuencias de Cauchy:

Imagen que todavía no saben lo que los reales son. Usted acaba de saber los racionales $\mathbb Q$ (a definir los números naturales a través de los axiomas de Peano y derivar primero de los enteros y, a continuación, los racionales desde allí). A continuación, puede escribir la secuencia de $$a_1=1,\ a_{n+1}=\frac {a_n}2+\frac1a_n$$ Esta secuencia converge a $\sqrt 2$, pero hay que esperar: ni siquiera sabemos lo $\sqrt 2$ es. Todos sabemos que son los racionales. Pero el seqeunce todavía converge, o no? La definición de convergencia requiere un límite, pero no es conveniente limitar en $\mathbb Q$. Pero podemos tomar la cosa más cercana a la convergencia disponibles: secuencias de Cauchy. Nos puede mostrar que la sucesión es de Cauchy. Se dice entonces en $\mathbb R$ cualquier secuencia de Cauchy converge y se acaba de definir los reales.

Y esta idea va en. Usted puede tomar cualquier espacio que te gusta (que probablemente no sabes muchos ejemplos, pero usted puede tomar el espacio de todos los polinomios, o todas las funciones continuas, etc.) Podemos definir distancias (como el absolut valor en los reales) y puede escribir secuencias. La noción de convergencia no siempre tiene sentido. La noción de secuencia de Cauchy.

Edit: Obviamente, existen otras definiciones de los números reales. Si desea trate de probar lo siguiente: Everey delimitada de la secuencia de los números reales tiene una convergencia de subsequence $\Rightarrow$ cada secuencia de Cauchy de números reales converge.

8voto

Jon Smock Puntos 3921

Este ejemplo puede aclarar un poco las cosas.

Considere la posibilidad de $(x_n)$ donde $x_n = \frac{1}{n}$. Para demostrar que esto es una Secuencia de Cauchy, nos acercamos como sigue:

Deje $\epsilon > 0$ ser dado. Estamos interesados en demostrar que existe un entero $N>0$ tal que $m,n <N \Rightarrow |x_m-x_n| < \epsilon$. Esto sería equivalente a

$$|x_n-x_m| < \epsilon \iff \left| \frac{1}{n} - \frac{1}{m} \right| < \epsilon$$

Y ahora ya

$$ \left| \frac{1}{n} - \frac{1}{m} \right| < \frac{1}{n}+\frac{1}{m}$$

Si realizamos $\displaystyle{\frac{1}{n}+\frac{1}{m} < \epsilon}$, el resultado debe seguir. Esto ocurrirá si tanto $\displaystyle{\frac{1}{n} < \frac{\epsilon}{2}},$ $\displaystyle{\frac{1}{m} < \frac{\epsilon}{2}}$ , es decir, cuando

$\displaystyle{n > \frac{2}{\epsilon}}$, e $\displaystyle{m > \frac{2}{\epsilon}}$. Así, vemos que si $N$ es un entero mayor que $\displaystyle{\frac{2}{\epsilon}}$ $\displaystyle{m,n > N \Rightarrow |x_m - x_n| < \epsilon}$

NOTA: También se observa el diagrama de aquí a comprender cómo se puede determinar si la secuencia no es de Cauchy.

4voto

DonAntonio Puntos 104482

1) La def. asegura que la desigualdad va a ser verdad para los índices mayor que el $\,N\,$ que se encuentra, así que usted está obligado a tener $\,n,m>N\,$

2) Esto dependerá en gran medida de la seq. dado. Normalmente depende de algunas manipulaciones algebraicas.

3) tal vez: dibujar una línea recta que representa los números reales, y en un intervalo de $\,I:=(-\epsilon\,,\,\epsilon)\,$ de la longitud de la $\,epsilon >0\,$ alrededor de cero, así: la existencia de ese $\,N\,$ y la seq. ser de Cauchy significa que cualquier par de elementos de la seq. con índices de mayor que este número tiene una diferencia que es un número dentro de $\,I\,$

4voto

Matt Puntos 2318

$$S_n = \{x_k\}_{k\ge n};$ $ La secuencia $x$ es iff Cauchy disminuye el diámetro de $S_n$ 0 $n\to\infty$. A saber, las "colas" de la secuencia de achicarse y pequeñez arbitraria.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X