6/5/19

Sucesión de Couchy
Def: Una sucesión {An} se dice sucesión de Couchy si
∀ ε >0 ∃ n0 ∈ N :∀ n , m ≥n 0∨ An −A m∨¿ ε

Obs: 1) No conocemos la relación entre n y m, solo que n,m ≥ n 0

2) Esta definición solo usa los términos de la sucesión

 Proposición Toda sucesión de Couchy es acotada

Obs Toda sucesión convergente es acotada, luego, para que una sucesión de
Couchy pueda ser convergente tiene que ser (al menos) acotada.

Dem: Sea {An} una sucesión de Couchy, o sea tq´ ∀ ε >0 ∃ n0 ∈ N :∀ n , m ≥n 0

¿ An −A m∨¿ ε

Tomamos ε =1.Para este ε existe n0 ∈ N : ∀ n , m≥ n0∨ A n− A m∨¿ 1

Tomo ahora m= n0 , entonces para n≥ n0 ¿ An −A m∨¿ 1

O sea -1< An −A m <¿ 1, es decir An 0 −1< A m <¿ 1+ An0 n>n0

Falta acotar los primeros términos n0-1 términos

H= max { A1, … , An0-1 }
O sea Ai < H para i= 1
Tomo H1= max { 1+An0-1, H} entonces An≤H1 ∀ n
Sea I = min{A1, … , An0-1}
Tomo H2= min{I, An0-1}

Entonces ∀ n ∈ N H 2 ≤ A no sea es acotada.

 Proposición: Sea {An} una sucesión de Couchy tq´ existe una sub sucesión
{Ank}convergente lim A nk =a, Entonces la sucesión {An} converge y lim A nk =a
n→∞ n→∞

Dem: En la practica
Teorema Sea {An} una sucesión, entonces {An} es convergente ssi {An} es de Couchy.
Dem: “” {An} es de Couchy entonces es acotada, luego tiene una sub sucesión
convergente (Teo. Bols-Weis). Entonces {An} converge con la propiedad anterior.

“” Sea ε > 0 busco n0 tq´si n, m≥ n0 ¿ An −A m∨¿ ε

Como {An} converge, para este ε > 0 existe n tq´ si n≥n1 ¿ An −A m∨¿ ε

| A n−A m|=| An + a−a− Am|

= | A n−a+ a− A m|
ε
≤ | A n−a∨+¿ a− A m| = | A n−a∨+¿ A n−a| ≤ ε + ε Tomo ε =
2

Funciones
Funciones tales que A,B están incluidos en R, o sea funciones reales de variable real
F: R  R
X  y= F(x)
Podemos definir grafico(f)= {(x,y) ∈ RxR, y= f(x)} está incluido en RxR
Def: Sea x0 ∈ R y f una función definida en un intervalo abierto que contiene x0 salvo
quizás en el mismo x0. Decimos que f(x) tiende a L cuando x tiende a x0 si
∀ ε >0 ∃ δ >0 tq ´ si 0<|x −x0|< δ

|F ( x )−L|< ε
lim F ( x )= L
Y se escribe x→ x 0

Obs: 0<|x-x0| <δ nos dice que x esta a distancia δ de x0 pero no puede ser x=x0