Fer

n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
Calculo I 3. Sucesiones de numeros racionales
Las sucesiones de n umeros racionales van a permitir denir los n umeros reales. Para ello se
necesita denir que son sucesiones convergentes y c omo a partir de ellas se puede denir el
conjunto R de numeros reales.
Denicion. Una sucesion en Q es una aplicacion
x : N Q
1 x(1) = x
1
2 x(2) = x
2
3 x(3) = x
3

Se suele representar mediante sus imagenes x = (x
1
, x
2
, x
3
, . . .) = (x
n
)
nN
= (x
n
)
n
= (x
n
).
En adelante, se utilizara cualquiera de estas notaciones. Se designa por {x
n
: n N}
al conjunto de valores que toman los terminos de la sucesion. Por ejemplo, si (x
n
) =
(0, 1, 0, 1, 0, 1, . . .) entonces el conjunto de valores es {x
n
: n N} = {0, 1}, un conjunto de
dos elementos. Para las sucesiones (1, 2, 3, . . .) y (1, 1, 2, 2, 3, 3, . . .) el conjunto de valores
es N.
Al conjunto de todas las sucesiones de numeros racionales se le designara por S. A partir
de las operaciones en Q es posible denir ciertas operaciones en S:
Suma: (x
n
) + (y
n
) = (x
n
+ y
n
), es decir, las sucesiones se suman haciendo las sumas
termino a termino.
Producto: (x
n
) (y
n
) = (x
n
y
n
), las sucesiones se multiplican haciendolo termino a
termino.
Producto por escalares: (x
n
) = ( x
n
), para Q y (x
n
) S.
Se puede comprobar facilmente que la suma es asociativa, conmutativa, tiene a la
sucesion cero (0) = (0, 0, 0, . . .) como elemento neutro y todo elemento tiene opuesto:
(x
n
) = (x
n
). El producto es asociativo, conmutativo y tiene elemento unidad
(1) = (1, 1, 1, . . .). Sin embargo no toda sucesion no nula tiene elemento inverso. El
inverso de una sucesi on (x
n
) es (x
n
)
1
= (x
1
n
), que existe si todos los terminos x
n
son no
nulos.
As, (S, +, ) es un anillo conmutativo unitario y no es un cuerpo. Se dice que es un anillo
con divisores de cero, ya que puede haber elementos no nulos cuyo producto es cero:
(1, 0, 1, 0, 1, 0, . . .) (0, 1, 0, 2, 0, 3, 0, 4, . . .) = (0)
La denicion de sucesion convergente es esencial en el Calculo. Es necesario insistir en
la importancia de entender correctamente esta forma de escribir un concepto que puede
resultar mas o menos intuitivo.
Denicion. Se dice que una sucesion (x
n
) de numeros racionales converge a a Q, y se
escribe (x
n
) a o tambien a = lm
n
(x
n
), si
> 0 N : n > |x
n
a|< .
Revisado el 28/09/2014 Sucesiones de numeros racionales 1
Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
Dado cualquier valor > 0 todo lo peque no que uno quiera (para valores grandes no se llega
a nada importante), todos los terminos x
n
con n > estan en el intervalo (a , a + ), o
lo que es lo mismo, |x
n
a|< .
( )

Por ejemplo, es facil probar que toda sucesion constante es convergente, y su lmite es el
termino general de la sucesion. Si (x
n
) = (a, a, a, . . .) entonces |x
n
a|< para cualquier
valor n N. Sin embargo, una sucesion como (x
n
) = (1, 0, 1, 0, 1, 0, . . .) no puede ser
convergente.
Utilizando la propiedad arquimediana es facil comprobar que
lm
n
1
n
= 0
En la denicion de convergencia aparece el valor absoluto como distancia entre numeros:
|a b| es la distancia entre a y b. Este valor absoluto se dene para cada numero a Q
como
|a|= m ax{a, a} =

a si a 0
a si a < 0
y tiene las siguientes propiedades (para a, b Q)
1. |a| 0 y |a|= 0 a = 0
2. |a + b| |a|+|b| (desigualdad triangular)
3. |a b|= |a||b|. Por tanto |a|= |a|, |a
1
|= |a|
1
y

a
b

=
|a|
|b|
si b = 0
4.

|a||b|

|a b|
El valor absoluto indica la distancia entre dos n umeros. Resulta util a veces para comparar
numeros a y b, ya que
|a b|< > 0 a = b
Por ejemplo, a = 1

9999 . . . = 1

9 y b = 2 verican |a b|< sea cual sea el valor > 0.

Por tanto a = b.
Tambien se utiliza en deniciones como la de un conjunto acotado: A Q es acotado si
existe M > 0 tal que |x| M para todo x A, es decir, si A [M, M]. Es particular,
una sucesi on (x
n
) se dice que esta acotada si todos los terminos estan contenidos en alg un
intervalo: existe M > 0 que verica x
n
[M, M] para n = 1, 2, 3, . . .
Proposicion. Toda sucesion convergente es acotada.
Demostraci on. Se considera una sucesi on convergente (x
n
) a. Dado = 1 existe N
tal que |x
n
a|< 1 para n > . Por tanto |x
n
|< 1 +|a| para esos valores n > . As,
M = m ax{|x
1
|, . . . , |x

|, 1 +|a|}
Sucesiones de numeros racionales 2
Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
es una cota maxima para la sucesion.
Proposicion. La suma (respectivamente el producto) de sucesiones convergentes es una
sucesion convergente y su lmite es la suma (resp. el producto) de sus lmites.
As, si dos sucesiones (x
n
) y (y
n
) son convergentes entonces (x
n
+ y
n
) y (x
n
y
n
) tambien
lo son y se cumple
lm
n
(x
n
+ y
n
) = lm
n
(x
n
) + lm
n
(y
n
)
lm
n
(x
n
y
n
) = lm
n
(x
n
) lm
n
(y
n
).
Demostraci on. Sean (x
n
) a, (y
n
) b. Entonces, dado > 0 existe
1
talque |x
n
a|< /2
si n >
1
y existe
2
talque |y
n
b|< /2 si n >
2
. Por tanto, si = m ax{
1
,
2
} se tiene
|(x
n
+ y
n
) (a + b)| |x
n
a| + |y
n
b|
< /2 + /2 =
para n > , lo que prueba que (x
n
+ y
n
) a + b.
El argumento para el producto es similar. Como las sucesiones son convergentes tambien
son acotadas. Sea M > 0 una cota: |x
n
|< M, |y
n
|< M para todo n. Dado > 0 existen

1
,
2
N tales que |x
n
a|< /2M si n >
1
y |y
n
b|< /2M si n >
2
. As
|x
n
y
n
a b| = |x
n
y
n
ay
n
+ ay
n
ab|
|x
n
y
n
ay
n
| + |ay
n
ab|
= |x
n
a||y
n
| + |a||y
n
b|
< /2 + /2 =
para n > m ax{
1
,
2
}.
Ejercicio. Es facil probar que las tres sentencias siguientes son identicas:
(x
n
) a,
(x
n
a) 0,
(|x
n
a|) 0.
Ademas, si (y
n
) es acotada y (x
n
) a entonces

y
n
(x
n
a)

0. Con este ejercicio se

podra haber probado de otra forma la segunda parte de la proposicion anterior.
Sin embargo, cuando alguna de las sucesiones no es convergente, con la suma y el producto
puede resultar una sucesion convergente o no, por ejemplo
(n) no es convergente, (n) no es convergente, pero la suma s lo es
(1, 0, 1, 0, . . .) no es convergente, (0, 7, 0, 7, . . .) no es convergente, y el producto s es
convergente
(n) no es convergente, (1/n
2
) es convergente, y el producto s es convergente
(n
2
) no es convergente, (1/n) es convergente, y el producto no es convergente
Denicion. Se dice que una sucesion (x
n
) de numeros racionales es de Cauchy si
> 0 N : n, m > |x
n
x
m
|< .
Sucesiones de numeros racionales 3
Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
Dado cualquier valor > 0 todo lo pequeno que uno quiera (para valores grandes no se
llega a nada importante), todos los terminos x
n
y x
m
con n, m > estan muy proximos
entre s, como mucho a distancia .
Proposicion. Toda sucesion convergente es de Cauchy.
Demostraci on. Sea (x
n
) a. Dado > 0 existe N tal que |x
n
a|< /2 si n > . Por
tanto, si p, q > se tiene |x
p
x
q
| |x
p
a|+|x
q
a|< .
Sin embargo, existen sucesiones de Cauchy en Q que
no son convergentes. Por ejemplo, se puede considerar
la sucesi on (x
n
) = (1, 1

4, 1

41, 1

414, 1

4142, . . .) cuyos
terminos verican (x
2
n
) 2. Esta sucesion es de Cauchy ya que sus terminos verican
|x
p
x
q
| < 1/10 (p, q > 1)
|x
p
x
q
| < 1/10
2
(p, q > 2)
|x
p
x
q
| < 1/10
3
(p, q > 3)
. . .
Tambien es de Cauchy la sucesi on (x
2
n
), ya que es convergente y converge a 2. Sin embargo
(x
n
) no converge en Q, ya que su unico posible lmite es un n umero cuyo cuadrado es 2, y
ese numero no existe en Q.
El conjunto C de sucesiones de Cauchy en Q, o el conjunto C
o
de sucesiones convergentes y
el conjunto A de sucesiones acotadas, con las operaciones usuales de suma y multiplicaci on
son subanillos del anillo S de todas las sucesiones en Q. Ademas, se tienen las inclusiones
(todas son estrictas)
C
o
C A S
Proposicion. Toda sucesion de Cauchy es acotada.
Demostracion. Si (x
n
) es de Cauchy, dado = 1 existe N tal que |x
n
x
m
|< = 1
para n, m . Por tanto, |x
n
|< 1 + |x

| para n > y la sucesion esta acotada por

M = m ax{|x
1
|, . . . , |x

|, 1 +|x

|}.
Proposicion. La suma y producto de sucesiones de Cauchy es una sucesion de Cauchy.
Demostracion. Sean (x
n
) e (y
n
) sucesiones de Cauchy. Dado > 0 existen
1
y
2
tales
que |x
n
x
m
|< y |y
p
y
q
|< para m, n >
1
y p, q >
2
. Por tanto para valores
n, m > m ax{
1
,
2
} se tiene |x
n
+y
n
(x
m
+y
m
)| |x
n
x
m
|+|y
n
y
m
|< y la sucesi on
(x
n
+ y
n
) es de Cauchy.
Para el producto es similar. Al ser sucesiones de Cauchy son acotadas: |x
n
| N y |y
n
| M
para todo n N y se puede escribir
|x
n
y
n
x
m
y
m
| = |x
n
y
n
x
m
y
n
+ x
m
y
n
x
m
y
m
|
|x
n
x
m
||y
n
|+|y
n
y
m
||x
m
|
|x
n
x
m
|M +|y
n
y
m
|N
de donde se obtiene que (x
n
y
n
) es de Cauchy.
Denicion. Dos sucesiones de Cauchy de numeros racionales (x
n
) e (y
n
) se dice que son
equivalentes, y se escribe (x
n
) (y
n
), si (x
n
y
n
) 0.
Sucesiones de numeros racionales 4
Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

Fer
n
a
n
d
o

S

n
c
h
e
z

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e m

t
i
c
a
s

-

U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a

-

D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
D
e
p
a
r
t
a
m
e
n
t
o

d
e

M
a
t
e
m

t
i
c
a
s
U
n
i
v
e
r
s
i
d
a
d

d
e

E
x
t
r
e
m
a
d
u
r
a
Es facil comprobar que esta relacion es de equivalencia: reexiva, simetrica y transitiva.
Por tanto induce una clasicacion C/ es el conjunto de sucesiones de Cauchy. A este
conjunto cociente se le llama conjunto de los numeros reales y se denota R:
R = C/
Cada numero real es una clase de sucesiones Cauchy equivalentes de numeros racionales.
Sucesiones de numeros racionales 5