Sucesiones de Cauchy
Comenzamos dando una definición propia de sucesión de Cauchy:
Una de las particularidad de este concepto es que el concepto de límite no interviene en ningún momento en la definición, por lo que se hace una cualidad bastante asequible de trabajar en algunos casos. En particular, veremos que la convergencia de una sucesión y que sea de Cauchy, son conceptos equivalentes. Pero poquito a poco mi ciela. Una de las direcciones de la implicación bicondicional es prácticamente inmediata:
Proof: Manejamos como hipótesis:
∀ε′>0,∃n′0(ε′)∈N:∀n≥n′0⟹|an−ℓ|<ε′
, siendo ℓ=liman. Queremos verificar:
∀ε>0,∃n0(ε)∈N:∀p,q≥n0⟹|ap−aq|<ε
Sea ε>0, tenemos:
|ap−aq|=|ap−ℓ+ℓ−aq|≤|ap−ℓ|+|ℓ−aq|=|ap−ℓ|+|aq−ℓ|
Basta con tomar entonces ε′=ε2 y n0=n′0(ε/2) para llegar a:
|ap−aq|<ε2+ε2=ε,∀p,q≥n0
◻
Proof: Manejamos como hipótesis:
∀ε>0,∃n0(ε)∈N:∀p,q≥n0⟹|ap−aq|<ε
Otra manera de formular la condición de Cauchy es la siguiente:
∀ε>0,∃n0(ε)∈N:∀p≥n0⟹|ap+h−ap|<ε,∀h∈N
Escogemos ε=1, en concreto para p=n0:
|an0+h−an0|<1⟺−1+an0<an0+h<1+an0,∀h∈N
Por lo tanto: |an|≤max{|an0−1|,|an0+1|}=M1,∀n≥n0. Por otra parte, ya que {an:n<n0} es un conjunto finito de números, este es acotado. Pongamos M0∈R:|an|≤M0,∀n<n0. Se tiene finalmente: |an|≤max{M0,M1},∀n∈N, concluyendo así que la sucesión es acotada.
◻
Proof: Partimos de que toda sucesión de Cauchy es acotada. Por ser tal, el teorema de Bolzano para sucesiones afirma la existencia de una subsucesión {ank} convergente de {an}. Queremos ver que liman=limank=ℓ. En términos de la definición, tenemos por objetivo verificar:
∀ε>0,∃n0=n0(ε)∈N:∀n≥n0⟹|an−ℓ|<ε
Tenemos por hipótesis que {an} es sucesión de Cauchy, es decir:
∀ε′>0,∃n′0=n′0(ε′)∈N:∀p,q≥n′0⟹|ap−aq|<ε′
, y de ello dedujimos la existencia de {ank} tal que:
∀ε″
Nos lanzamos: Sea \varepsilon >0, tenemos:
|a_n - \ell| = |a_n - a_{n_k} + a_{n_k}- \ell| \leq |a_n - a_{n_k}| + |a_{n_k} - \ell|
Basta con tomar \varepsilon' = \varepsilon '' = \frac{\varepsilon}{2} >0 y n_0 = \max \{n_0' (\varepsilon/2), n_0''(\varepsilon/2) \} (hay un razonamiento detrás, dale al coco mi crustácea) para conseguir:
|a_n - \ell| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon \qquad, \forall n \geq n_0
\square
Es importante resaltar que la convergencia de una sucesión de Cauchy está asegurada en \mathbb{R} y no en \mathbb{Q}, ya que hemos aplicado el teorema de Bolzano sobre sucesiones en \mathbb{R} como tal. Por lo que se pueden encontrar sucesiones de Cauchy de números racionales que sean convergentes a un número irracional (el límite cae fuera de \mathbb{Q} y diríamos que no converge en dicho cuerpo).
Ejercicios:
- Probar que la sucesión: \{S_n \} = \left \{ \sum_{k=1}^n \frac{1}{k} \right \} , no es de Cauchy (y por lo tanto no converge). Ver solución.
- Probar que la sucesión: \{M_n \} = \left \{ \sum_{k=1}^n \frac{1}{k^2} \right \} , es de Cauchy (y por lo tanto convergente). Ver solución.
- Sea \{a_n \} una sucesión de Cauchy, probar que \{a_n^2 \} es también de Cauchy. ¿Es cierto el recíproco?. Ver solución.
Comentarios