ra - Fernand

du o S
a
m

án
3 tre
Cálculo I

Universidad de Extremadura
Departamento de Matemáticas
che
e Ex
Sucesiones de números

z - Departam
racionales
rsidad d
ive

e
n

n
to
Los números reales son aproximaciones que se van haciendo con números racionales. Estas
U
aproximaciones se llaman sucesiones y van a permitir definir los números reales. Para ello
de -
Matemáticas
se necesita definir qué son sucesiones convergentes y cómo a partir de ellas se puede definir
el conjunto R de números reales.
03 · 10 · 2015

Definición. Una sucesión en Q es una aplicación

x : N −→ Q
1 x(1) = x1

ra - Fernand2 x(2) = x2

du o
3
S
x(3) = x3

a ···

m
án

Se suele representar mediante sus imágenes x = (x1 , x2 , x3 , . . .) = (xn )n∈N = (xn )n = (xn ).
tre

En adelante, se utilizará cualquiera de estas notaciones. Se designa por {xn : n ∈ N}

che

al conjunto de valores que toman los términos de la sucesión. Por ejemplo, si (xn ) =
e Ex

(0, 1, 0, 1, 0, 1, . . .) entonces el conjunto de valores es {xn : n ∈ N} = {0, 1}, un conjunto de

Universidad de Extremadura
Departamento de Matemáticas

dos elementos. Para las sucesiones (1, 2, 3, . . .) y (1, 1, 2, 2, 3, 3, . . .) el conjunto de valores

z - Departam

es N.
d

Al conjunto de todas las sucesiones de números racionales se le designará por S . A partir

de las operaciones en Q es posible definir ciertas operaciones en S :
ad

– Suma: (xn ) + (yn ) = (xn + yn ), es decir, las sucesiones se suman haciendo las sumas
d

término a término.
si

– Producto: (xn ) · (yn ) = (xn · yn ), las sucesiones se multiplican haciéndolo término a

r

término.
ve

– Producto por escalares: α · (xn ) = (α · xn ), para α ∈ Q y (xn ) ∈ S .

i

e
n

Se puede comprobar fácilmente que la suma es asociativa, conmutativa, tiene a la

to
de - U
sucesión cero (0) = (0, 0, 0, . . .) como elemento neutro y todo elemento tiene opuesto:
−(xn ) = (−xn ). El producto es asociativo, conmutativo y tiene elemento unidad
Matemáticas
3. Sucesiones de números racionales – 1
 ra - Fernand
du o S
a
(1) = (1, 1, 1, . . .). Sin embargo no toda sucesión no nula tiene elemento inverso. El

m
inverso de una sucesión (xn ) es (xn )−1 = (x−1
n ), que existe si todos los términos xn son no

án
nulos.

tre

Universidad de Extremadura
Departamento de Matemáticas
che
Ası́, (S , +, ·) es un anillo conmutativo unitario y no es un cuerpo. Se dice que es un anillo
e Ex
con divisores de cero, ya que puede haber elementos no nulos cuyo producto es cero:

z - Departam
(1, 0, 1, 0, 1, 0, . . .) · (0, 1, 0, 2, 0, 3, 0, 4, . . .) = (0)
d

La definición de sucesión convergente es esencial en el Cálculo. Es necesario insistir en

la importancia de entender correctamente esta forma de escribir un concepto que puede
d

resultar más o menos intuitivo.

da

Definición. Se dice que una sucesión (xn ) de números racionales converge a a ∈ Q, y se

i

escribe (xn ) → a o también a = n→∞

s

lı́m (xn ), si
er

∀ε > 0 ∃ν ∈ N : n > ν ⇒ |xn − a|< ε.

iv

e
n

Dado cualquier valor ε > 0 todo lo pequeño que uno quiera (para valores grandes no se llega

n
to
a nada importante), todos los términos xn con n > ν están en el intervalo (a − ε, a + ε), o
U
de
lo que es lo mismo, |xn − a|< ε. -
Matemáticas
( · ) ·
ra - Fernand
du o
Por ejemplo, es fácil probar que toda sucesión constante es convergente, y su lı́mite es el

S
término general de la sucesión. Si (xn ) = (a, a, a, . . .) entonces |xn − a|< ε para cualquier
a
valor n ∈ N. Sin embargo, una sucesión como (xn ) = (1, 0, 1, 0, 1, 0, . . .) no puede ser
convergente. m
án
tre

Utilizando la propiedad arquimediana es fácil comprobar que

che
e Ex

1
lı́m =0
Universidad de Extremadura
Departamento de Matemáticas

z - Departam

n→∞ n
d

En la definición de convergencia aparece el valor absoluto como distancia entre números:

|a − b| es la distancia entre a y b. Este valor absoluto se define para cada número a ∈ Q
d

como
a


 a si a ≥ 0

d

|a|= máx{a, −a} = 

i


−a si a < 0
rs

y tiene las siguientes propiedades (para a, b ∈ Q)

ve

1. |a|≥ 0 y |a|= 0 ⇔ a = 0
i

e
n

2. |a + b|≤ |a|+|b| (desigualdad triangular)

n

to U a |a|
 
de -
3. |a · b|= |a|·|b|. Por tanto |−a|= |a|, |a−1 |= |a|−1 si a 6= 0, y   = si b 6= 0
Matemáticas b |b|

3. Sucesiones de números racionales – 2

 ra - Fernand
du o S
a
 
4. |a|−|b| ≤ |a ± b|

m
El valor absoluto indica la distancia entre dos números. Resulta útil a veces para comparar

án
tre
números a y b, ya que

Universidad de Extremadura
Departamento de Matemáticas
che
e Ex |a − b|< ε ∀ε > 0 ⇒ a = b
Por ejemplo, a = 10 9999 . . . = 10 9Û y b = 2 verifican |a − b|< ε sea cual sea el valor ε > 0.

z - Departam
Por tanto a = b.
Definición (conjunto acotado). Un Conjunto A ⊂ Q es acotado si existe M > 0 tal
d

que |x|≤ M para todo x ∈ A, es decir, si A ⊂ [−M, M ]. Una sucesión (xn ) se dice que
d

está acotada si todos los términos están contenidos en algún intervalo: existe M > 0 que
verifica xn ∈ [−M, M ] para n = 1, 2, 3, . . .
da

Proposición. Toda sucesión convergente está acotada.

si

Demostración. Se considera una sucesión convergente (xn ) → a. Dado ε = 1 existe ν ∈ N

r

tal que |xn − a|< 1 para n > ν. Por tanto |xn |< 1 + |a| para esos valores n > ν. Ası́,
ve

M = máx{|x1 |, . . . , |xν |, 1 + |a|}

i

e
n

n
to
es una cota máxima para la sucesión. U 
de -
Proposición. La suma (respectivamente el producto) de sucesiones convergentes es una
Matemáticas
sucesión convergente y su lı́mite es la suma (resp. el producto) de sus lı́mites.
Ası́, si dos sucesiones (xn ) y (yn ) son convergentes entonces (xn + yn ) y (xn · yn ) también
lo son y se cumple
lı́m (xn + yn ) = n→∞
n→∞
lı́m (xn ) + n→∞
lı́m (yn )

ra - Fe
lı́m (xn · yn ) = lı́m (xn ) · lı́m (yn ).
rnand
n→∞ n→∞ n→∞

du o
Demostración. Sean (xn ) → a, (yn ) → b. Entonces, dado ε > 0 existe ν1 tal que
S
a
|xn − a|< ε/2 si n > ν1 y existe ν2 tal que |yn − b|< ε/2 si n > ν2 . Por tanto, si

m
ν = máx{ν1 , ν2 } se tiene
án
tre

|(xn + yn ) − (a + b)| ≤ |xn − a| + |yn − b|

che

< ε/2 + ε/2 = ε

e Ex
Universidad de Extremadura
Departamento de Matemáticas

z - Departam

para n > ν, lo que prueba que (xn + yn ) → a + b.

El argumento para el producto es similar. Como las sucesiones son convergentes también
d

son acotadas. Como ambas sucesiones son acotadas, se puede encontrar M > 0 que
d

verifique |a|< M, |b|< M, |xn |< M, |yn |< M para todo n. Dado ε > 0 existen ν1 , ν2 ∈ N
tales que |xn − a|< ε/2M si n > ν1 y |yn − b|< ε/2M si n > ν2 . Ası́
da

|xn · yn − a · b| = |xn yn − ayn + ayn − ab|

si

≤ |xn yn − ayn | + |ayn − ab|

er

= |xn − a|·|yn | + |a|·|yn − b|

iv

< ε/2 + ε/2 = ε

n

para n > máx{ν1 , ν2 }.

to U 
de -
Matemáticas
Ejercicio. Es fácil probar que las tres sentencias siguientes son equivalentes:

3. Sucesiones de números racionales – 3

 ra - Fernand
du o S
• (xn ) → a,
a
• (xn − a) → 0,
m

án
• (|xn − a|) → 0.

tre

Universidad de Extremadura
Departamento de Matemáticas
Ä ä

che
Además, si (yn ) es acotada y (xn ) → a entonces yn (xn − a) → 0. Con este ejercicio se
e Ex
podrı́a haber probado de otra forma la segunda parte de la proposición anterior.

z - Departam
Sin embargo, cuando alguna de las sucesiones no es convergente, con la suma y el producto
puede resultar una sucesión convergente o no, por ejemplo
d

• (n) no es convergente, (−n) no es convergente, pero la suma sı́ lo es

d

• (1, 0, 1, 0, . . .) no es convergente, (0, 7, 0, 7, . . .) no es convergente, y el producto sı́ es

a

convergente
d

• (n) no es convergente, (1/n2 ) es convergente, y el producto sı́ es convergente

si

• (n2 ) no es convergente, (1/n) es convergente, y el producto no es convergente

ver

Definición. Se dice que una sucesión (xn ) de números racionales es de Cauchy si

i

e
n

n
to
∀ε > 0 ∃ν ∈ N : n, m > ν ⇒ |xn − xm |< ε.
U
de -
Matemáticas
Dado cualquier valor ε > 0 todo lo pequeño que uno quiera (para valores grandes no se
llega a nada importante), todos los términos xn y xm con n, m > ν están muy próximos
entre sı́, como mucho a distancia ε.
Proposición. Toda sucesión convergente es de Cauchy.
Demostración. Sea (xn ) → a. Dado ε > 0 existe ν ∈ N tal que |xn − a|< ε/2 si n > ν. Por

- Fernand
tanto, si p, q > ν se tiene |xp − xq |≤ |xp − a|+|xq − a|< ε.
ra


du o S
Sin embargo, existen sucesiones de Cauchy en Q que
a
no son convergentes. Por ejemplo, se puede considerar
m
la sucesión (xn ) = (1, 10 4, 10 41, 10 414, 10 4142, . . .) cuyos
án
tre

términos verifican (x2n ) → 2. Esta sucesión es de Cauchy ya que sus términos verifican
che
e Ex

|xp − xq | < 1/10 (∀p, q > 1)

Universidad de Extremadura
Departamento de Matemáticas

< 1/102
z - Departam

|xp − xq | (∀p, q > 2)

|xp − xq | < 1/103 (∀p, q > 3)
d

...
También es de Cauchy la sucesión (x2n ), ya que es convergente y converge a 2. Sin embargo
d

(xn ) no converge en Q, ya que su único posible lı́mite es un número cuyo cuadrado es 2, y

da

ese número no existe en Q.

i

El conjunto C de sucesiones de Cauchy en Q, o el conjunto Co de sucesiones convergentes y

s

el conjunto A de sucesiones acotadas, con las operaciones usuales de suma y multiplicación

er

son subanillos del anillo S de todas las sucesiones en Q. Además, se tienen las inclusiones
v

(todas son estrictas)

i

e
n

Co ⊂ C ⊂ A ⊂ S
n

to U
de -
Proposición. Toda sucesión de Cauchy es acotada.
Matemáticas
3. Sucesiones de números racionales – 4
 ra - Fernand
du o S
a
Demostración. Si (xn ) es de Cauchy, dado ε = 1 existe ν ∈ N tal que |xn − xm |< ε = 1

m
para n, m ≥ ν. Por tanto, |xn |< 1 + |xν | para n > ν y la sucesión está acotada por

án
M = máx{|x1 |, . . . , |xν |, 1 + |xν |}. 

tre

Universidad de Extremadura
Departamento de Matemáticas
che
Ejercicio. Probar que si (xn ) no está acotada, es posible encontrar términos n1 < n2 <
e Ex
n3 < . . . tales que |xn1 |> 1000, |xn2 |> 2000, |xn3 |> 3000, . . . Esto hace que una sucesión
ası́ no pueda ser de Cauchy ni convergente.

z - Departam
Con este ejercicio se podrı́a haber probado la proposición anterior, utilizando el
d
contrarrecı́proco.
d

Proposición. La suma y producto de sucesiones de Cauchy es una sucesión de Cauchy.

a

Demostración. Sean (xn ) e (yn ) sucesiones de Cauchy. Dado ε > 0 existen ν1 y ν2 tales
d

que |xn − xm |< ε/2 y |yp − yq |< ε/2 para m, n > ν1 y p, q > ν2 . Por tanto para valores
i

n, m > máx{ν1 , ν2 } se tiene |xn + yn − (xm + ym )|≤ |xn − xm |+|yn − ym |< ε y la sucesión
rs

(xn + yn ) es de Cauchy.
e

Para el producto es similar. Al ser sucesiones de Cauchy son acotadas: |xn |≤ N y |yn |≤ M
v

para todo n ∈ N y se puede escribir

i

e
n

n
to
|xn yn − xm ym | = |xn yn − xm yn + xm yn − xm ym |
U
de -
≤ |xn − xm |·|yn |+|yn − ym |·|xm |
Matemáticas
≤ |xn − xm |·M + |yn − ym |·N

de donde se obtiene que (xn yn ) es de Cauchy. 

Definición. Dos sucesiones de Cauchy de números racionales (xn ) e (yn ) se dice que son

ra - Fe
equivalentes, y se escribe (xn ) ∼ (yn ), si (xn − yn ) → 0.
rnand
du
Es fácil comprobar que esta relación es de equivalencia: reflexiva, simétrica y transitiva.
o
Por tanto induce una clasificación C /∼ es el conjunto de sucesiones de Cauchy. A este
S
a
conjunto cociente se le llama conjunto de los números reales y se denota R:
m
án

R = C /∼
tre

che

Cada número real es una clase de sucesiones Cauchy equivalentes de números racionales.
e Ex
Universidad de Extremadura
Departamento de Matemáticas

z - Departam
rsidad d
ive

e
n

to U
de -
Matemáticas
3. Sucesiones de números racionales – 5