w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 1

Captulo 1: CONJUNTOS NUMRICOS. SUCESIONES NUMRICAS.

Captulo 1.1. INTRODUCCIN:

Captulo 1.1.1. CONJUNTOS:

Un conjunto es una coleccin de objetos. Estos objetos son los elementos del conjunto.

Notacin:
por extensin: { } 9 , 7 , 5 , 3 , 1 = A
por descripcin: { } N n n P = 2

Conjunto vaco es aquel que carece de elementos: { } ... :

El nmero de elementos de un conjunto se le denomina cardinal del conjunto.

Captulo 1.1.2. CONJUNTOS NUMRICOS:

C R Q Z N
{ } ,... 3 , 2 , 1 = N naturales. Suma y multiplicacin son operaciones internas.
{ } ,... 3 , 2 , 1 , 0 , 1 , 2 , 3 ... = Z enteros. Suma, resta y multiplicacin son operaciones
internas.

)
`

= Z b a
b
a
Q , racionales. Suma, resta, multiplicacin y divisin son
operaciones internas.

Todo nmero racional se puede expresar como cociene de enteros primos entre s. Sin
embargo, no todos los nmeros pueden expresarse como un cociente de este tipo.
Por ejemplo, supongamos que s entre primos son y ; 0 ; , 2 q p q Z q p
q
p
= :
par es par es 2 4 2
4
2
2 par es par es 2 2
2 2 2 2 2
2 2
2 2
2 2 2
2
2
q q k q k q
k p
q p
k p p p p q
q
p
= =

=
=
= = =


Por tanto, si p y q son pares no pueden ser primos entre s ya que tienen un divisor
comn( ) 2 , por tanto no se verifica la hiptesis inicial y consecuentemente la tesis es
falsa: 2 no es un nmero racional, es irracional.
{ } es Irracional + = Q R reales
{ } 1 , ,
2
= + = i R b a bi a C complejos

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 2

Captulo 1.1.2.1. RELACIN ENTRE CONJUNTOS:

Inclusin:
B A, conjuntos
B A todo elemento de Aest en B . Aes un subconjunto de B .
( ) ( ) A B B A B A =
est contenido en cualquier conjunto. A

Unin:
B A, conjuntos
{ } B x A x x B A =
B A B A ,
B A es el menor conjunto que contiene a Ay a B simultneamente.

Interseccin:
B A, conjuntos
{ } B x A x x B A = y
B A B A ,
B A es el mayor conjunto contenido en Ay en B simultneamente.

Conjunto complementario:
Dado un conjunto A, su complementario est formado por aquellos elementos que
no pertenecen a A.
( )
( )
( ) { } A x E x A C
E A A C
A C
A
E
E
C
=
en de ario complement

( )
( ) =
=
A C A
E A C A
E
E

Producto cartesiano de dos conjutos:
B A, conjuntos
( )

=
A b
A a
b a AxB y ,
{ }
{ }
( ) ( ) ( ) ( ) { }
( ) ( ) ( ) ( ) { }

=
=
)
`

=
=
1 , 2 , 0 , 2 , 1 , 1 , 0 , 1
2 , 1 , 1 , 1 , 2 , 0 , 1 , 0
2 , 1
1 , 0
BxA
AxB
B
A


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 3

Captulo 1.1.3. PROPIEDADES QUE VERIFICAN LOS NMEROS REALES:

b a b a b a = > < , ,
c a
c b
b a

)
`

c b c a
c b a

0 y

>


c b c a
c b a

0 y

<


Captulo 1.1.4. LA RECTA REAL:

Los nmeros reales pueden venir representados por los puntos de una recta de forma
que cada punto de la misma representa un nmero en la recta real.

Captulo 1.1.5. DENSIDAD DE NMEROS:

Los nmeros racionales ( ) Q y los irracionales ( ) I son densos, es decir, entre dos
nmeros consecutivos Qhay infinitos nmeros Q. De igual modo, entre dos nmeros
consecutivos I hay infinitos nmeros I .

Los nmeros naturales ( ) N y los enteros ( ) Z no son densos.

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 4

Captulo 1.2. MTODO DE INDUCCIN:

Se considera el conjunto N de nmeros naturales.

Sea P una propiedad que puede verificar o no un nmero natural; expresamos
que ( ) n P es cierto si el nmero natural n verifica la propiedad P . Si se cumple:
( )
( )
)
`

cierto es
cierto es 1
n P
P
entonces tambin lo es ( ) 1 + n P .

Si se cumple esto, entonces todo nmero natural verifica la propiedad P .

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 5

Captulo 1.3. EL VALOR ABSOLUTO:

El valor absoluto viene dado por la expresin:

<
+
=
0
0
a si a
a si a
a
{ } a a a = , max
2
a a =

Captulo 1.3.1. PROPIEDADES DEL VALOR ABSOLUTO:

El valor absoluto de un nmero es siempre mayor que cero.
0 a

El valor absoluto de un nmero y su opuesto coinciden.
a a = +

El valor absoluto de un producto es el producto de los valores absolutos.
b a b a =

El valor absoluto de un cociente es el cociente de los valores absolutos.
b
a
b
a
=

a a a

b a b a + + (desigualdad triangular)
Demostracin:
( ) ( ) ( )
( ) ( )
( )
ab ab
ab ab
b a ab
b a b a ab b a
b a ab b a
b a ab b a
b a b a
b a b a

+ + + +
+ + +
+ + +
+ +
+ +
2
2 2
2 2 2 2 2 2
2
2 2
2
2 2
2 2 2 2
2 2 2
2 2
2 2
2
2

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 6

b a b a +
Demostracin:
( )
b a b a
b a b a
b a b a
b a b a
b a b a
+
+
+
+ +
+
1
1

b a b a b a
Demostracin:
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( )
ab ab
ab ab
ab b a b a b a
b a b a
b a b a
b a b a
b a b a
b a b a

+ +

|
.
|

\
|

|
|
.
|

\
|

2 2
2 2
2
2 2 2 2 2 2
2
2
2 2
2
2
2
2
2 2
2
2
2 2
2
2


Significado de r x <

> <
< < +
<

<
+
=
r x r x
r x r x
r x
x si x
x si x
x
0
0

r x r < < . Es el intervalo abierto ) , ( r r

Significado de r a x <

> > <

+ < < <
<

<

=
r a x r a x r a x
r a x r a x r a x
r a x
a x si a x
a x si a x
a x
) (
0 ) (
0

x a x r a + < < . Es el entorno reducido de radio r y centro a.
r a r a E
r
< < = ) (
*

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 7

Captulo 1.4. CONJUNTOS ACOTADOS:

Sea un conjunto Atal que R A ( ) R A A se dice que R M es cota superior
de Asi para A x se verifica que M x .

Sea un conjunto Atal que R A ( ) R A A se dice que R m es cota inferior
de Asi para A x se verifica que x m .

Se dice que un conjunto Atal que R A ( ) R A A est acotado cuando lo est
superior e inferiormente, es decir: M x m A x R M m , ,

A x k x R k
+
,

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 8

Captulo 1.5. AXIOMA DEL SUPREMO:

Sea Aun conjunto acotado superiormente, se verifica que Atiene extremo superior
(supremo) que coincide con la menor de las cotas superiores del conjunto, y se
representa A sup .

Cuando el supremo pertenece al conjunto se le llama mximo.

Anlogamente se puede definir el axioma del nifimo:

Captulo 1.5.1. AXIOMA DEL NFIMO:

Sea Aun conjunto acotado inferiormente, se verifica que Atiene extremo inferior (nfimo)
que coincide con la mayor de las cotas inferiores del conjunto, y se representa A inf .

Cuando el nfimo pertenece al conjunto se le llama mnimo.

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 9

Captulo 1.6. INTERVALOS:

Siendo a y b dos nmeros reales tal que b a < definimos intervalos:
acotados:
o Intervalo abierto:
] ] { } b x a R x b a b a < < = = / ) , ( ,
o Intervalo cerrado:
[ ] { } b x a R x b a = / ,
o Intervalo mixto:
[ ) [ [ { }
( ] ] ] { } b x a R x b a b a
b x a R x b a b a
< = =
< = =
/ , ,
/ , ,

no acotados:
o ( ) { } a x R x a < = ,
o ( ] { } a x R x a = ,
o ( ) { } a x R x a > = ,
o [ ) { } a x R x a = ,
o ( ) R = ,
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 10

Captulo 1.7. SUCESIONES DE NMEROS REALES. MONOTONA, ACOTACIN Y
CONVERGENCIA:

Dados dos conjuntos no vacos Ay B , se define aplicacin a toda correspondencia que
se hace entre un elemento de Ay un elemento de B .

Una sucesin es una aplicacin de N en R . ( ) R N f : , y se denota:
{ } { }
n n
a a a a a = ,..., , ,
3 2 1


Si tenemos dos sucesiones, { }
n
a y{ }
n
b , podemos definir las siguientes operaciones:
Suma
{ } { } { }
n n n n
b a b a + = +
Resta
{ } { } { }
n n n n
b a b a =
Producto
{ } { }{ }
n n n n
b a b a =
Cociente
{ }
{ }
n
n
n
n
b
a
b
a
=
)
`

si 0
n
b

Captulo 1.7.1. MONOTONA:

{ }
n
a es montona creciente si y slo si: N n a a
n n

+
,
1

{ }
n
a es estrictamente creciente si y slo si: N n a a
n n
<
+
,
1

{ }
n
a es montona decreciente si y slo si: N n a a
n n

+
,
1

{ }
n
a es estrictamente decreciente si y slo si: N n a a
n n
>
+
,
1


Captulo 1.7.2. ACOTACIN:

{ }
n
a est acotada superiormente si y slo si:
N n
M a R M
n



{ }
n
a est acotada inferiormente si y slo si:
N n
m a R m
n



{ }
n
a est acotada cuando lo est superior e inferiormente:
N n
K a K K a R K
n n


+


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 11

Ejemplo:
)
`

=
+
,...
6
5
,
5
4
,
4
3
,
3
2
,
2
1
1 n
n


monotona:
( )
( )
creciente a a
n n
n n
n
n n
n
n
n
n
a
a
n
n
a
n
n
a
n n
n
n
n
n
<
+ +
+
=
+
+
=
+
+
+
=

+
+
=
+
=
+
+
+
1
2
2
2
1
1
1 2
2
1
2
2
1
1
2
1
1


acotacin:
2
1
inf = y mnimo
1 sup =

Captulo 1.7.3. LMITE DE UNA SUCESIN:

Se dice que una sucesin{ }
n
a tiene de lmite un nmero real, l , cuando n se aproxima a
infinito, { } l a
n
n
=

lim , cuando para cada nmero real positivo existe otro nmero natural
0
n , tal
que la relacin
0
n n implica < l a
n
.

Captulo 1.7.4. SUCESIONES CONVERGENTES:

Una sucesin se dice que es convergente si tiene lmite finito. { } R l l a
n
n
=

lim
Por ejemplo: { }
n
n
a
n
1 2
=

Captulo 1.7.5. SUCESIONES DIVERGENTES:

Una sucesin se dice que es divergente si tiene lmite infinito. { } =

n
n
a lim
Por ejemplo: { } n a
n
=

Captulo 1.7.6. SUCESIONES OSCILANTES:

Una sucesin se dice que es oscilante si no tiene lmite, es decir, no son ni convergentes
ni divergentes.
Por ejemplo: { } ( )
n
a
n
n
1
1 + =

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 12

Captulo 1.7.7. RESULTADOS SOBRE EL LMITE DE SUCESIONES:

Si una sucesin tiene lmite, ese lmite es nico.
Toda sucesin convergente est acotada.
En recproco, en general, es falso.
Toda sucesin montona creciente y acotada superiormente es convergente.
Adems, el lmite de la sucesin coincide con el supremo del conjunto formado por
los elementos de la sucesin.
Toda sucesin montona decreciente y acotada inferiormente es convergente.
Adems, el lmite de la sucesin coincide con el nfimo del conjunto formado por los
elementos de la sucesin.

Ejemplo:

|
.
|

\
|
+
n
n
1
1 es montona creciente y est acodada superiormente, luego tiene lmite,
cuyo valor es 7182 , 2 e

Captulo 1.7.8. LMITE DE LAS OPERACIONES CON SUCESIONES:

Siendo { }
n
a y { }
n
b dos sucesiones tales que { } l a
n
n
=

lim y { } s b
n
n
=

lim , se verifica:
{ } s l b a
n n
n
+ = +

lim
{ } s l b a
n n
n
=

lim
{ } l a
n
n
lim =

, R
{ } s l b a
n n
n
lim =



Si adems, 0 s y 0
n
b , N n , entonces:

s b
n
n
1 1
lim =
)
`

s
l
b
a
n
n
n
=
)
`

lim

Si 0 l , 0 = s y 0
n
b , N n , entonces:
=
)
`

n
n
n
b
a
lim
{ } { } 0 lim lim = =

l a l a
n
n
n
n


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 13

Captulo 1.8. TEOREMA DE LA SUCESIN INTERMEDIA:

Dadas tres sucesiones{ }
n
a , { }
n
b y { }
n
c ; supongamos que se verifica:
n n n
c a b ,
0
n n > y adems: { } { }

= =

R l
l c b
n
n
n
n
lim lim . Entonces se verifica que la
sucesin{ }
n
a tiene lmite y es igual a l { } ( ) l a
n
n
=

lim . Este teorema se le conoce tambin como
la regla del sandwich.

Hiptesis:
a) { } { } { }
n n n
c b a , ,
b)
n n n
c a b
c) { } { }

= =

R l
l c b
n
n
n
n
lim lim
Tesis:
{ } l a
n
n
=

lim


Captulo 1.8.1. COROLARIO:

Sean dos sucesiones{ }
n
a y{ }
n
b , tales que: { } 0 lim =

n
n
a y K b
n
< . Entonces se verifica
que:
{ } 0 lim =

n n
n
b a
{ } 0 lim
0 0 lim lim
0 0 lim
0
0
0
=

= = =
=
<
<

n
n
n
n
n
n
n
n n
n
n n
n n
a
K a K a K
a K a
K b
b a
b a


Hiptesis:
a) { } { }
n n
b a ,
b) { } 0 lim =

n
n
a
c) K b
n
<

Tesis:
{ } 0 lim =

n n
n
b a

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Universidad de Oviedo
CLCULO
Escuela Universitaria de Ingeniera Tcnica en Informtica de Oviedo (E.U.I.T.I.O)

Alberto Surez Lpez
Pgina 14

Captulo 1.8.2. SUCESIONES RECURRENTES:

Son sucesiones cuya expresin consiste en dar uno o varios trminos iniciales y luego
facilita una frmula para completar los sucesivos trminos en funcin de los iniciales.

Por ejemplo:
{ } ,... 120 , 24 , 6 , 2 , 1 , 1
1

1
1
=
=
+
a
a n a
n n


Para calcular el lmite de una sucesin definida de este modo, una posibilidad es
demostrar que est acotada superiormente y es creciente o acotada inferiormente y es
decreciente, usando el mtodo de induccin y para encontrar su valor se podra tomar lmites
en los elementos de la sucesin.