Sucesiones Reales

Definicin

dadas xn una sucesin real

xn l El ,

lR

n0 N / n n0 xn El ,

Teorema unicidad del lmite

xn / xn l

l es nico

Demostracin
Supongamos que
Sea 0 / 0 0
Como

xn l
xn l

l R / x l
n

l l

ll
2

para 0 n2 N / n n2

xn El, 0

para 0 n1 N / n n1 xn El , 0

n 0 max n1, n 2

n n0 n n1 n n2 xn El, 0 El , 0

por definicin de 0 ,

l l

El, 0 El , 0

Teorema

x l
n

n 0 N / n n 0 h xn k

hlk

Demostracin
Sea 0 / 0 min h l , k l
xn l para 0 n0 N / n n0 l 0 xn l 0

h l 0

n0 N / n n0 h xn k

k l 0

Corolario (teorema de conservacin del signo)

1) l 0 n 0 / n n 0
2) l 0 n 0 / n n 0

xn 0
xn 0

Teorema sucesin comprendida

xn l
yn l
zn : n0 N / n n0

zn l

xn zn yn

Demostracin
Sea R
Como xn l para

Como yn l para

n1 N / n n1

l xn l

n2 N / n n2

l yn l

Por hiptesis n0 N / n n0 xn zn yn
Sea n3 max n0 , n1 , n2
n n

l xn z n y n l l z n l z n l

Definicin lmite infinito

x una sucesin real

x k 0
n

n 0 N / n n 0

xn k

En particular

xn k 0
xn k 0

n 0 N / n n 0 xn k
n 0 N / n n0 xn k

Teorema

xn

yn : n0 N / n n0

yn

yn xn
2

Demostracin

yn k 0

n1 N / n n1 yn k

Para el k dado, como xn n2 N / n n2 xn k

Por hiptesis n n0

yn xn

Sea n1 max n0 , n2
n n1 : yn xn k yn k
En resumen k 0 n1 N / n n1 yn k
Teorema toda sucesin convergente es acotada
Sean

xn / xn l

lR

Por definicin de lmite finito n0 N / n n0

l 1 xn l 1

l 1 xn l 1 xn acotada
Si n0 es el primer ndice de la sucesin n
Si n0 no es el primer ndice de la sucesin X n n0 / xn finito y no vaco
m mn X

sea mn m, l 1

M mx X

xn

mx M , l 1

x acotada
n

Teorema toda sucesin divergente es no acotada

Demostracin

xn / xn

supongamos que xn es acotada

R / xn

xn para

como

n0 N / n n0

xn

xn no es acotada

Teorema

xn

xn

acot. sup.

xn

Demostracin

xn
xn
xn

acot. sup.
/ ext x
n

por Axioma de Completitud en R

R ,

xn

como

ext xn ,

xn0 xn / xn0
Por propiedad del ext sup

n n0

xn xn0

ext xn xn
n n

xn0 xn xn

Teorema

xn

xn

no acot. sup.

xn

Demostracin
k R , n0 N / xn0 k

xn

n n0

k R , n0 N / n n0 xn k xn

xn xn0 k

Definicin P.S.M.C.

an , bn

es P.S.M.C.

1) an

bn

2) an bn

n aqu n pertenece a la interseccin de los dominios de an

3) R

n0 N / bn0 an0

Teorema
an , bn es P.S.M.C. c R / an c

y bn

bn c

Demostracin
De las condiciones 1) y 2) de la definicin se tiene
R / an

R / bn
h
Sea

R / 0

Como es cota inferior de bn bn

Como es cota superior de an an

n
bn an

Por condicin 3) R

n
Absurdo

n0 N / bn0 an0

inf bn n1 / bn1
sup an n2 / an2
sea

bn0 bn0

R/0

________________
an0 bn0 2

n0 mx n1 , n2

Sea

an0

2 >

2
2

an0 bn0

Por H)

an0 bn0 0

0
2

an0 bn0

Teorema

xn l

xn yn l l

yn l
Demostracin

xn yn l l

R , n0 N / n n0

xn yn l l

xn yn l l xn l yn l xn l yn l

xn l n1 N / n n1
yn l n2 N / n n2
sea

n0 mx n1 , n2

y n l
2

xn l

R , n0 N / n n0 , xn yn l l

xn yn l l

Teorema

xn

yn acot. inf.

xn yn

Demostracin

xn yn k 0, n0 N / n n0

xn yn k

por

H)

xn k 0, n1 N / n n1

por

H)

yn

xn k

acotada inferiormente R / n

yn
6

n n1

xn k
yn
_________
xn yn k k
?

n n1

xn yn k

k k

tomo

k 0

Teorema

xn 0

xn . yn 0

yn

acotada

Demostracin

xn . yn 0 R , n0 N / n n0 , xn . yn

por

H)

xn 0 0, n1 N / n n1

por

H)

yn

acotada R / n

xn

yn

xn

n n1

yn
_________
xn . yn .
?

tomo

n n1

xn . yn

Teorema

xn

1
0
xn

Demostracin
1
0 0, n0 N / n n0
xn

xn

Por H) xn k 0 n 0 N / n n 0

xn k

1
1

xn k
?

Tomamos k / k

xn

Definicin equivalencias
Sea

A xn

real / n0 N / n n0 ,

sucesin

Se define la relacin R : A A / xn R yn

xn 0
xn
1
yn

Teorema R es relacin de equivalencia

xn
1
x
n

Idntica

xn R xn

Simtrica

xn R yn

Demostracin

xn R yn

se verifica xn A

yn R xn

xn
1
yn

Como

Transitiva

an
0

xn R yn

yn
1 yn R xn
xn

1
1

an

yn R z n

xn R zn

 xn R yn

Demostracin

xn
1
yn

yn R z n

xn yn
. 1

yn zn

xn R zn

yn
1
zn

Definicin rdenes de infinitsimos y rdenes de infinitos

Sea

A xn

sucesin

real / n0 N / n n0 ,

Se define la relacin R * : A A / xn R * yn

xn 0
xn
l
yn

lR

l0

Observacin: R * es relacin de equivalencia.

Definicin
Sea xn A . Llamamos orden de xn a la clase de equivalencia de xn segn R * .
Observacin: si an y bn sucesiones reales an l

bn

( l R

a
l
l 0 ) n
l
bn

(l R

an R* bn

l 0)

ord an = ord bn

l
0
l

Definicin:

Dados an y bn infinitsimos

ord an < ord bn

an

b
n

ord an > ord bn

an
0
b
n

Definicin
Consideremos in una sucesin estrictamente creciente

in :

N N

con

N N

an una sucesin real cuyo dominio incluye a N

Decimos que an o in es una subsucesin de an y lo anotamos ain

Esquemticamente tenemos

in

an

an
Teorema

o in

toda sucesin real tiene alguna subsucesin montona.

Demostracin
Sea una sucesin xn . Consideramos todos los elementos de xn que son menores que todos los
elementos de la sucesin que son posteriores a l.
Es decir, los xn que cumplen la propiedad P: xn < xn para todos los n mayores que n.
Caso 1
xn que cumplan P
Tomo un xn cualquiera,
xn1 no cumple
ningn

xn

n N n ' N / xn xn ' n ' n

sea xn 0 ,

n2 n1 /

entonces n1 / xn 0 xn1

xn1 xn 2

x
n j

con n1 n0

es subsucesin de xn

x ]
n j

cumple P

Caso 2
Existe un solo xn que cumple la propiedad (se generaliza este caso para un conjunto finito no vaco)
Se reduce al caso 1 puesto que existe un conjunto infinito que no cumple la propiedad.
Caso 3
Es infinito el conjunto de los xn que cumplen la propiedad.
Entonces xn 0

que cumple P n n0 / xn xn 0

(tiene que existir de lo contrario se

quedaran todos antes de n0 y es infinito el conjunto de los xn que cumplen la propiedad)

Se tiene que:

n1 n0 / xn1 xn 0

n n1 / xn xn1
Continuando de este modo obtenemos una sucesin

xni
10

Teorema
xn sucesin real

xin que tiene lmite

Demostracin
xn sucesin real

xin montona

Si xn acotada

xin

Si xn no acotada

xin

Definicin lmites de oscilacin

Le llamamos a los lmites (reales o infinitos) de las subsucesiones (que tienen lmite) de la sucesin
original.
Observacin: xn acotada xn acotado ext xn ext xn
Si llamamos C al conjunto de los lmites de oscilacin de una sucesin real, tenemos que
C ext xn , ext xn C est acotado (por ende existen supremo e nfimo de C)

Definicin sea

xn

una sucesin real.

Si xn es acotada, llamamos lmite inferior y lmite superior de la sucesin, al mnimo y mximo,

respectivamente, del conjunto de los lmites de oscilacin de xn .

Si xn es no acotada, el lmite inferior es y el lmite superior es .

Anotamos lm xn y

lm xn

Teorema

11

Teorema

Series
Definicin serie numrica
Sea una sucesin real an y consideremos la sucesin S n

Sn / S0 a0
S1 a0 a1
S 2 a0 a1 a2
...

...

...

S n a0 a1 a2 ... an
n

Denominamos serie de trmino general

an a la sucesin

Sn : Sn = ai . Llamamos reducida n-

sima de la serie al trmino general de S n anotamos S n , es decir

Sn

Si
n

a
i 0

i 0

a
i 0

Sn .

R diremos que la serie converge y que su suma es . Anotando

12

En caso de que Sn diremos que la serie diverge. Anotando

Y si la sucesin S n oscila que la serie oscila. Escribiendo

Para determinar an a partir de Sn tenemos:

S0 a0
S1 a0 a1

a1 S1 a0

...
S 2 a0 a1 a2 a2 S 2 S1
123
S1

an1 Sn 1 Sn

Series geomtricas

an : an q n

qR

Tenemos:

qS n q q 2 ... q n1
qS n Sn q

n 1

1 S n q 1 q

n 1

q n1 1
1 Sn
q 1

Sn 1 q q 2 ... q n

Obs:
Si q 1

Sn n 1

Si q 1

Sn

Si q 1
Si q 1

1
1 q

Sn
S n Oscila

Sn
q n1 1
1/ k 1 1
lim Sn lim
lim
q 1
q 1
q 1
n 1

aqu

13

Series telescpicas

/ an bn bn 1

o bien

/ an bn 1 bn

se analiza el primer caso, siendo el segundo an log o

S0 a0 b0 b1
S1 a0 a1 b0 b1 b1 b2 b0 b2
S 2 a0 a1 a2 b0 b1 b1 b2 b2 b3 b0 b3
...
S n b0 bn 1

Obs : b0 R

Es inmediato que
Si bn an D
an C

Si bn

i 0

b0

Teorema

a : n
n

N / n n0 an 0 an

no

oscila

Demostracin
n n0 , S n1 S n an1 0 n n0

Sn

Sn

no

oscila

Teorema criterio de comparacin

H)

an

T)

1)

bn

sucesiones reales
n0 N / n n0 , 0 an bn

b
a
n

2)

C
D

a
b
n

C
D

Demostracin
n

An ai
i n0

1)

Bn bi
i n0

C Bn C 0 / Bn n n0
14

Ahora

0 an0 bn0
0 an0 1 bn0 1
0 an0 2 bn0 2
...
0 an bn
______________
0 An Bn

An

acot sup

An

an 0
Para probar 2) se usa el contra recproco de 1)

Teorema

an

an

bn

Sucesiones reales

bn :

an

n0 / n n0 , an 0 bn 0

tienen el mismo caracter

p 0 , q 0 n1 N / n n1

an
q
bn

Demostracin:

Sea n2 mx n0 , n1
an
q
bn

n n2 se cumple que 0 p
Si

q.b

Linealidad

y bn 0

0 an qbn

comparacin

Si

q.b

Comparacin

linealidad

15

por otra parte n n2 se cumple que 0 p

Si

Linealidad

D p.bn
linealidad

y bn 0

0 p.bn an

Comparacin

Si

p.b

an
q
bn

comparacin

Resumiendo

Tienen el mismo carcter

S.T.P

Corolario
H) an
lim
T)

bn

an
l
bn

sucesiones de trminos no negativos

l R

Tienen el mismo carcter

Demostracin
Por H)

lim

an
l 0
bn

sean p, q R / p l q n0 N / n n0 , 0 p

an
q
bn

tienen el mismo carcter

Serie armnica generalizada (S.A. G)

S.A. G son las del tipo

con R

Si 1
16

Consideramos xn : xn

1
n

xn xn1

Observacin

xn 1

n 1

1
para esto calculamos el siguiente
n

Se quiere probar que xn xn1 1

1
1
1
n 1

1
n 1

xn xn1
1

lim
lim 1

1
n

1
n

n
n

lim

lim
1

n 1 n 1
1
n 1 n 1
1

n

1

n 1 1
n 1

n 1
n 1 1
1
1

1
n

n lim
n
n lim n
lim
lim

1
1
1
1
1
n 1
n 1
n 1
n 1

xn xn1 1

xn1 teles

1 1 0

xn xn1 C

xn 0

Por tanto
1

1
C
n

1
D
n

n n

1

n

n0 N / n n0 bn 1 , entonces

n
bn 1

1 n
L
L 1 n L n
n

L 1 n L n

1
1

n
n

1
1
n

1 equivale a

kb

con k R

17

si

En resumen

si

Definicin sucesin de Cauchy

xn

es de Cauchy si R p N / q, r

q p , r p : xq x r

q N, r N

Teorema
xn es de Cauchy sii xn converge
Demostracin

Quiero probar R p N / q, r

q p , r p : x q xr

q N, r N

Por H) R / xn R n0 N / n n0 : xn

Ahora

xq xr xq xr xq xr

: xr
2

n1 N / q n1 : xq
n2 N / q n2

Si p mx n1 , n2

xq xr

q, r

q N, r N

q p r p

es de Cauchy

xn

es de Cauchy

Demostracin
1) demostraremos;

Por H)

xn

xn

xn

acotada

es de Cauchy para 1 p N y q0 p : n p xn xq0 1

xq0 1 xn xq0 1

A xn : n p

acotado

A xn : n p B es finito y por lo tanto acotado

xn A B

xn

acotada

2) demostraremos
18

 xn

es de Cauchy

xi n subsucesin de xn / xi n

xn C al mismo real que x

in

converge R / xi n R n0 N / n n0 xi n

xn

de Cauchy R p N / q, r

in

in Z

q N, r N

(est.) n1 N / n n1 xin 1 xin

q p , r p : x q xr

in p

xn xn xi n xi n xn xi n xi n
n n2

xn

n2 max n1 , n0

* xn sucesin real xi n subsucesin montona, y

xn

acotada por parte anterior

Teorema

(a

an C

bn C

an a

n 0

n 0

(a
n 0

Demostracin

An a

Bn b

bn ) a b

Bn bi
i 0

aR

An Bn

An ai
i 0

bn ) C

b R

An Bn

ab

a b (a b )
i 0

i 0

i 0

19

 (a

bn ) C

(a
n 0

bn ) a b

Teorema

an 0

Demostracin
n 1

S n1 ai
i 0

S n1 S n an1

S n ai
i 0

Sn k

S n1 k

an1 0

an 0

Teorema condicin de Cauchy

Aplicamos la condicin de Cauchy a la reducida n-sima para abordar un criterio de convergencia de series

C 0 n N / n n

p N* :

an an1 ... an p

Demostracin

An ai
i 0

Obs: Ant

An

An de Cauchy

0 n N / n n

t N * : An t An

Tm. sucesin fundamental

n t

a
i 0

An ai
i 0

Obs: si encuentro dos trminos que no verifican la condicin de Cauchy, entonces la serie no converge.

20

 an , bn / an 0,

Teorema

i) lim

an
bn
bn

ii) lim

an
0 bn
bn

bn 0

D an D

C an C

Demostracin i)
n0 N / n n0 : an bn 0

comparacin

Demostracin ii)
n0 N / n n0 : 0

an
1 an bn 0
bn

comparacin

Teorema de Cauchy

an / an 0

k R n N / n n : a k 1
ii ) n N / n n : a 1 a D
i)

Demostracin i)

0 n an k 1 0 n an k 0 an k n
1 k 1

geomtrica

an C
comparacin

k 1

21

Demostracin ii)
n

an 1 an 1 an no tiende a cero

an 0

Teorema D Alembert

a
i ) k R n0 N / n n0 : n 1 k 1
an

a
ii ) n0 N / n n0 : n1 1
an

no C

Demostracin i)
Por H)

an1
k n1
k n
an
k

n n 0

an1 an

k n1 k n

n n 0 (tengamos en cuenta

que estamos trabajando con reales positivos )

En consecuencia
a
a
a
bn : bn nn es una sucesin decreciente bn bn0 n n 0 nn nn00
k
k
k
an0
a
n
n n 0
Llamando h a la constante n0 nos queda nn h n n 0 an hk
k
k
Como 0 k 1

linealidad

hk

comparacin

Demostracin ii) trivial

22

an 0

an1 an an Z

an no tiende a cero

an 0

no

23

Series alternadas
Teorema criterio de Dirichlet
H)

xn tal que la sucesin de las reducidas n-simas de

y n / yn ]

x .y

T)

es acotada.

yn 0

Demostracin sea Tn la reducida n- sima de

x .y
n

Tn x0 . y0 x1. y1 x2 . y2 ... xn . yn

Tn x0 y0 y1 x0 x1 y1 y2 ... x0 ... xn . yn

Tn x0 y0 y1 x0 x1 y1 y2 x0 x1 x2 y2 y3 ... x0 ... xn . y n
Si procedemos de esta manera obtenemos;

Tn S0 y0 y1 S1 y1 y2 S 2 y2 y3 ... S n 1 y n 1 yn S n . yn
n 1

Tn Si yi yi 1 S n . yn
i 0

Como yn 0

y y
i

i 1

es telescpica

y y C
i

i 1

Sn acotada k 0 / Sn k n N *
De lo anterior 0 Sn yn yn 1 k yn yn 1 S n yn yn 1 C

yn yn1 0

Sea

a S n yn yn1

comparacin
n 1

Por ltimo Tn Si yi yi1 S n . yn

i 0

24

Observa que sup A2 n A2 n n A2 n A2 n

Teorema convergencia absoluta

a a
i 0

i 0

si

an

no oscila

25

Demostracin
Consideramos bn : bn an an

an 0 bn 2an 0

observemos que si

an p 0 bn 0

Por lo tanto bn 0 n N bn es STP

Adems bn 2 an
por H )

bn C

C 2 an C

Por otra parte bn an an

comparacin

an bn an
bn C

Tambin

i0

i 0

ai ai

lim ai

i 0

lim ai

i0

i 0

i 0

ai ai

(Tengamos en cuenta que ambos lmites existen y son finitos)

A.C.

C.C.

Topologa
Teorema
Sea A R y a R
a A ' en todo entorno de a hay infinitos elementos del conjunto A
Demostracin

Suponemos que Ea ,r / Ea , r A es finito. Por ejemplo Ea ,r A x1 , x2 , ... , xn

Consideramos mn x1 a , x2 a , ... , xn a mnimo de las distancias de los elementos del

conjunto A al punto a.
*
*
*
Si ahora consideramos Ea , tenemos que Ea , A pues la distancia de cualquier elemento del Ea , es
menor que a cualquier punto de A. Lo cual contradice la hiptesis de que a es un punto de acumulacin de A.

inmediato

26

Teorema
A R
A cerrado Ac abierto
Demostracin
A cerrado x A x A x, Ex

Ex A x A

x Ac Ex / Ex A ( x Ac Ex / Ex Ac ) Ac abierto
1 4 4 4 4 2 4 4 4 43
x int( Ac )

27