Beruflich Dokumente
Kultur Dokumente
Sucesiones de Cauchy
|an − `| −−−−→ 0
n→∞
y por lo tanto a
lı́m sup |an − `| = 0.
n→∞
De la misma manera que la convergencia de (an )n hacia ` se traduce en
lı́m sup |an − `| = 0,
N→∞ n≥N
Como el miembro derecho tiende a cero por hipótesis, resulta que el izquierdo también.
Observación 4. Otra manera de decir lo mismo es tomar ε > 0 y n0 ∈ N tal que |an − `| < ε/2 si n ≥ n0 .
De la desigualdad triangular queda que si n, m ≥ n0 ambos sumandos del miembro derecho son menores a
ε/2. Por lo que |an − am | < ε.
Proposición 5. Si (an )n es de Cauchy y tiene una subsucesión convergente, entonces toda la sucesión resulta
convergente.
Demostración. Sea ank k la subsucesión convergente y ` su lı́mite.
Sea N un número natural cualquiera y k ∈ N tal que nk > N. De la desigualdad triangular tenemos que
|` − aN | ≤ |` − ank | + |ank − aN | ≤ |` − ank | + sup |an − am |.
n,m≥N
1
2. Propiedades de las sucesiones de Cauchy
Proposición 6. Si (an )n es de Cauchy, entonces está acotada.
Demostración. Sea n0 ∈ N tal que |an − am | < 1 para todos n, m ≥ n0 . Tomando
de donde
Demostración.
(i) Como (an )n es de Cauchy y no tiende a cero, por la Proposición 5 tenemos que el cero no es punto
lı́mite de (an )n . En consecuencia, existe un intervalo (−ε, ε) donde la sucesión solo pasa un ńumero
finito de veces (puede ser que nunca lo visite).
En particular, (an )n solo puede tener una cantidad finita de términos nulos.
(ii) Por el argumento anterior, an < (−ε, ε) para todo n mayor o igual que cierto n0 . En otras palabras,
|an | ≥ ε ∀ n ≥ n0 .
Proposición 9. Sea (an )n una sucesión. Definimos bn := |an |. Si (an )n es de Cauchy entonces (bn )n también
es de Cauchy.
1 existen por la Proposición 6 .
2
Demostración. Por la desigualdad triangular tenemos que
|bn − bm | = | |an | − |am | | ≤ |an − am | ,
de donde el resultado es inmediato.
Observación 10. Todas las proposiciones de esta sección junto con la última de la sección anterior pueden
probarse sin hacer uso de sup, ı́nf y lı́m sup . Se pueden hacer las demostraciones por definición, en el
mismo espı́ritu de la Observación 4 (¡ejercicio!).
Tomando ahora lı́mite superior respecto de m → ∞ y recordando que lı́m sup −am = − lı́m inf am , obtene-
mos
lı́m sup an − lı́m inf am ≤ sup |ar − a s |
n→∞ m→∞ r,s≥N
El miembro izquierdo es un número no negativo y el derecho tiende a cero cuando N → ∞, por tal motivo
lı́m sup an = lı́m inf am
n→∞ m→∞
Con tal fin, es necesario tomar algunas precauciones para evitar razonamientos circulares. Las definiciones
de sucesión de Cauchy y convergencia tienen sentido para cualquier cuerpo ordenado, tomando los ε > 0
dentro de dicho cuerpo.
Un detalle técnico a tener en cuenta es que hemos usado supremo y lı́mite superior para dar definiciones
equivalentes (y demostrar las proposiciones) y son precisamente las herramientas que no existen en general.
Gracias a la Observación 10 sabemos que se pueden probar las Proposiciones 3, 5, 6, 7, 8 y 9 por
definición.
3
Definición 13. Para construir R a partir de Q definimos una relación ∼ en el conjunto Cauchy(Q) de
sucesiones de Cauchy de números racionales.
Sean a := (an )n ∈ Cauchy(Q) y b := (bn )n ∈ Cauchy(Q) dos sucesiones de Cauchy de números racionales
Decimos que a ∼ b si su diferencia tiende a cero. Es decir,
a∼b ⇔ an − bn −−−−→ 0.
n→∞
Observación 14. Sabiendo que la suma de sucesiones que tienden a cero también tiende a cero, es fácil
ver que ∼ es una relación de equivalencia.
Definición 15. Llamamos K al conjunto de clases de equivalencia Cauchy(Q)/ ∼ .
Notación. Escribimos [a] ∈ K para referirnos a la clase de equivalencia de la sucesión a.
Veamos que K tiene una estructura natural de cuerpo ordenado.
Proposición 16. La relación ∼ respeta suma, resta y multiplicación de sucesiones.
Por ejemplo: si a, a0 , b son de Cauchy y a ∼ a0 entonces ab ∼ a0 b. De esta manera queda definido el
producto en K = Cauchy(Q)/ ∼ como
[a][b] := [ab].
Observación 17. El neutro para la suma es la clase [0] de las sucesiones que tienden a cero. El neutro
para el producto es la clase [1] de sucesiones equivalentes a la constantemente 1, es decir, las sucesiones
que tienden a 1.
Esto da una estructura de anillo conmutativo en el conjunto de clases de equivalencia.
Para ver que se trata de un cuerpo solo resta chequear que los elementos no nulos tienen inverso.
Definición 18. Sea [a] una clase de equivalencia no nula, y a = (an )n cualquiera de sus representantes.
Como a es una sucesión de Cauchy que no tiende a cero, a partir de cierto n0 todos sus términos son
no nulos. Gracias a la Proposición 8 podemos definir el inverso multiplicativo de [a] como la clase de
equivalencia de la siguiente sucesión de Cauchy
a−1
n si n ≥ n0 ,
bn :=
0
si n < n0 .
Observación 19. La clase [b] es el inverso multiplicativo de [a], ya que an bn = 1 salvo por finitos términos.
Para definir un orden entre las clases de equivalencia hay que decir quiénes son los positivos. En este caso
es mejor definir los no negativos como las clases equivalentes a su propio valor absoluto.
Definición 20. Sea [a] la clase de equivalencia de a = (an )n . Definimos el valor absoluto de [a] como
la clase de equivalencia de la sucesión ( |an | )n , y lo denotamos |[a]|. Decimos que [a] ∈ K es positiva si
[a] , [0] y [a] = |[a]|.
Observación 21. Notemos que |[a]| está bien definido gracias a la Proposición 9.
Observación 22. Notar que K contiene una copia de Q dada por las clases de equivalencia de sucesiones
constantes y por lo tanto una copia de N.
Necesitaremos el siguiente resultado.
Lema 23. Dado x = [a] ∈ K y ε > 0 racional, existe un xε ∈ Q ⊆ K tal que |x − xε | ≤ ε.
Demostración. Como a = (an )n es de Cauchy, para todo n mayor o igual que cierto n0 ∈ N se cumple que
|an − an0 | < ε. Tomamos entonces xε := an0 .
4
Proposición 24. El cuerpo ordenado K ası́ construido satisface:
1. Propiedad de Arquı́medes: N no está acotado superiormente en K.
2. Completitud de Cauchy: Toda sucesión de Cauchy x1 , x2 , . . . ⊆ K converge en K.
Observación 25. La arquimedianidad nos permite usar ε > 0 racionales para probar convergencia por
definición en K.
Demostración.
1. Queremos ver que cualquier [a] ∈ K posee un natural más grande (para el orden de K), identificando
a N y Q ⊆ K con las clases de sucesiones constantes de naturales y racionales, respectivamente.
Sea a = (an )n ∈ Cauchy(Q) un representante de [a]. Existe n0 ∈ N tal que para todo n ≥ n0 tenemos
que |an − an0 | < 1. Entonces [a] ≤ |an0 | + 1 ∈ Q. El resultado sigue de la arquimedianidad de Q.
2. Cualquier sucesión a = (an )n de Cauchy en Q ⊆ K converge en K a la clase [a] ∈ K.
Tomamos x1 , x2 , . . . una sucesión de Cauchy en K. Por el Lema 23 podemos tomar an ∈ Q tales que
1
|an − xn | ≤ . (1)
n
Esta sucesión de racionales a := (an )n resulta de Cauchy y por lo tanto converge a [a] ∈ K. Por (1),
desigualdad triangular y la Observación 25 resulta que
xn −−−−→ [a] en K.
n→∞
Para finalizar tenemos la siguiente proposición que vincula los diferentes tipos de completitud que estuvi-
mos manejando.
Proposición 26. Sea K un cuerpo ordenado, arquimediano y completo en el sentido de Cauchy. Entonces
K satisface el axioma del supremo y, por lo tanto, es isomorfo a R.
Demostración. Sea A ⊆ K no vacı́o y acotado superiormente por t ∈ K. Como es A , ∅ existe un a ∈ A.
Para encontrar la menor de las cotas superiores procedemos con una búsqueda binaria.
Definimos las sucesiones monótonas (an )n y (tn )n (creciente y decreciente, respectivamente) de manera
recursiva. Sean a1 := a y t1 := t. Para definir an+1 y tn+1 consideramos al punto medio (an + tn )/2.
Si (an + tn )/2 es cota superior de A, tomamos an+1 := an y tn+1 := (an + tn )/2.
Si (an + tn )/2 no es cota superior, existe un elemento a0 ∈ A mayor que (an + tn )/2. En este caso
tomamos an+1 := a0 y tn+1 := tn .
De esta manera siempre se tiene que
t−a
0 ≤ tn − an ≤ . (2)
2n−1
Por arquimedianidad (ver Observación 25), el miembro derecho tiende a cero.
Como an ≤ an+1 ≤ tn+1 ≤ tn para todo n ∈ N, resulta que si n, m ≥ N entonces
t−a
|tn − tm | ≤ ,
2N−1
de donde (tn )n∈N resulta de Cauchy (de nuevo por Observación 25 ). Por hipótesis existe t = lı́m tn cota
superior de A. Por (2) resulta que an es una sucesión en A que tiende a la cota superior t. Esta es una de
las definiciones equivalentes de t = sup A.