Captulo 1

La recta y el espacio
1.1. Los nmeros reales y su estructura
1.1.1. Los nmeros naturales
Al conjunto de los nmeros naturales lo denotaremos por N , y sus elementos sern
1,2,3,...
1.1.1.1. Axiomas de Peano. Principio de Induccin
Peano estableci la primera axiomtica acerca del conjunto de los nmeros naturales,
definindolos como un conjunto que tiene un primer elemento y en el que cada elemento tiene su
siguiente.
Principio de Induccin.- Si un subconjunto A de los nmeros naturales cumple las
condiciones
i) A tiene un primer elemento, a,
ii) si para cada elemento de A, su siguiente tambin pertenece a A,
entonces A= {a, a+1, a+2,...}.
1.1.1.2. Operaciones con nmeros naturales
Observemos que en el conjunto de los nmeros naturales no se pueden realizar ms
operaciones algebraicas que la suma y la multiplicacin, pero los elementos no tienen opuesto ni
inverso.
1.1.1.3. Orden de los nmeros naturales
Sin embargo, existe entre los nmeros naturales un orden, denotado , con las siguiente
propiedades:
i) cualquier conjunto de nmeros naturales tiene un primer elemento o mnimo
ii) dados dos nmeros naturales, siempre podemos decidir cul es menor o igual que el
otro.
1.1.2. Los nmeros enteros
El conjunto de los nmeros enteros lo denotaremos por Z y tendr como elementos los
nmeros naturales, sus opuestos y el cero,
Z = { ..., -3, -2, -1, 0, 1, 2, 3, ...}.
1.1.2.1. Operaciones con nmeros enteros. Estructura de anillo
En Z podemos establecer una operacin suma, para la cual tiene estructura de grupo
conmutativo, y una operacin producto que, junto con la suma, da a Z la estructura de anillo
conmutativo.
Esto nos permite resolver en el sistema de los nmeros enteros las ecuaciones de tipo
x a b + , en todos los casos, pero no siempre las del tipo ax b .
1.1.2.2. Orden de los nmeros enteros
El orden de los nmeros enteros conserva la segunda de las propiedades del orden de los
nmeros naturales, pero ya no se cumple, en general, que cualquier subconjunto tenga mnimo.
1.1.3. Los nmeros racionales
El conjunto de los nmeros racionales lo denotaremos por Q y tendr como elementos los
cocientes de nmeros enteros, con la excepcin del 0, que no podr utilizarse como divisor,
Q = {
a
b
: a,b
Z , b 0}.
Como podemos observar, los nmeros racionales, as descritos, no tienen una expresin
nica, sino que a/b=a/b cuando ab=ab.
1.1.3.1. Operaciones con nmeros racionales. Estructura de cuerpo
Las operaciones de suma y producto, extendidas a los nmeros racionales, le dotan de
estructura de cuerpo conmutativo, ya que, en este caso, adems de las propiedades que se
cumplan en los enteros, cada nmero distinto de 0 tiene un inverso.
Esto nos permite resolver en el sistema de los nmeros racionales todas las ecuaciones de
tipo ax b c + , siempre que 0 a (pero seguimos sin poder resolver, por ejemplo,
2
2 x
).
1.1.3.2. Orden de los nmeros racionales
El orden en los nmeros racionales es compatible con la estructura de cuerpo, por lo que
se dice que Qes un cuerpo ordenado. Adems, tiene la propiedad de que, a diferencia de lo que
ocurre en Z , entre dos nmeros racionales siempre se encuentra otro nmero racional.
1.1.4. Los nmeros reales
Los nmeros reales se introducen de manera axiomtica, es decir, se supone la existencia
de un conjunto no vaco, que denotaremos por R, cuyos elementos satisfacen una serie de
axiomas que establecen su estructura de cuerpo ordenado y completo, clasificados en tres
grupos: axiomas de cuerpo, axiomas de orden y axioma de completitud (ver Anlisis
Matemtico, de T. M. Apstol, captulo 1).
1.1.4.1. Operaciones con nmeros reales
En Rexisten dos operaciones, suma y producto, que le dotan de una estructura de cuerpo
conmutativo, en base a los siguientes axiomas, denominados axiomas de cuerpo:
Axioma 1 (Propiedad conmutativa de la suma)
x y y x + +
Axioma 2 (Propiedad asociativa de la suma)
( ) ( ) x y z x y z + + + +
Axioma 3 (Propiedad conmutativa del producto)
xy yx
Axioma 4 (Propiedad asociativa del producto)
( ) ( ) x yz xy z
Axioma 5 (Propiedad distributiva)
( ) x y z xy xz + +
Axioma 6 (Existencia de elemento neutro para la suma)
Existe un nmero real, denotado por 0, tal que 0 x x + para cualquier x R.
Axioma 7 (Existencia de elemento opuesto)
Para cada nmero real x existe otro nmero real, denotado por x, tal que ( ) 0 x x + .
Axioma 8 (Existencia de elemento neutro para el producto)
Existe un nmero real, denotado por 1, tal que 1x x para cualquier x R.
Axioma 9 (Existencia de elemento inverso)
Para cada nmero real x, distinto del 0, existe otro nmero real, denotado por 1/x, tal que
x(1/x)=1.
1.1.4.2. Orden de los nmeros reales
En Rexiste una relacin de orden, denotada (denotaremos x<y cuando x y y x y),
que le dota de una estructura de cuerpo ordenado, en base a los siguientes axiomas, denominados
axiomas de orden:
Axioma 10 (Totalidad del orden)
Para cada dos nmeros reales, x, y, se verifica una y slo una de las relaciones x<y, x=y,
x>y.
Axioma 11 (Compatibilidad del orden con la suma)
Si x<y, entonces x+z<y+z, para cualquier z.
Axioma 12 (Compatibilidad del orden con el producto)
Si x>0 e y>0, entonces xy>0.
Axioma 13
Si x>y e y>z, entonces x>z.
1.1.4.3. Axioma del supremo
ste es el axioma que caracteriza al sistema de los nmeros reales, le proporciona una
estructura ms rica desde el punto de vista del Anlisis que la de Q, y permite resolver en l las
ecuaciones del tipo
2
x a
, siempre que 0 a > .
Se dice que un conjunto A de nmeros reales est acotado superiormente si existe un
nmero real, M , al que llamaremos una cota superior de A, verificando a M , para cada
a A .
Se dice que A est acotado inferiormente si existe un nmero real,
m
, al que llamaremos
una cota inferior de A, verificando m a , para cada a A .
Se dice que A est acotado si est acotado superior e inferiormente.
Dado un conjunto acotado superiormente, A, se dice que un nmero real
s
es el supremo
de A si
s
es una cota superior de A y ningn nmero menor que
s
es cota superior de A.
Dado un conjunto acotado inferiormente, A, se dice que un nmero real i es el nfimo de
A si i es una cota inferior de A y ningn nmero mayor que i es cota inferior de A.
Axioma 14 (Axioma del supremo o de completitud)
Todo conjunto no vaco de nmeros reales acotado superiormente tiene supremo
(equivalentemente, todo conjunto no vaco de nmeros reales acotado inferiormente
tiene nfimo).
1.1.4.4. Existencia de nmeros irracionales
El conjunto de los nmeros reales contiene todos los nmeros racionales, pero tambin
muchos otros nmeros que no lo son. Los nmeros reales que no son racionales se llaman
irracionales. Son irracionales, por ejemplo, los nmeros
2
,
6
,
e
,

.
1.1.4.5. Expresiones decimales de los nmeros reales
Todo nmero real admite una expresin decimal (no necesariamente nica). Esta
expresin nos permite, por ejemplo, distinguir los nmeros racionales, cuyo desarrollo decimal
tiene una cantidad finita de cifras o una cantidad infinita que se repite de forma peridica, de los
irracionales, cuyo desarrollo decimal tiene una cantidad infinita de cifras sin periodicidad, lo
cual no permite nunca expresarlo de forma completa.
1.1.4.6. La recta real
Los nmeros reales pueden ser representados geomtricamente como puntos de una recta,
denominada recta real o eje real, de tal manera que a cada punto de la recta le corresponde un
nmero real y slo uno y, recprocamente, cada nmero real est representado por un nico
punto de la recta.
1.1.4.6.1. Valor absoluto
Dado un nmero real x, se define el valor absoluto o mdulo de x como
x x , si 0 x , y x x , si 0 x .
De esta manera, se tiene que x a si y slo si a x a .
El valor absoluto satisface las tres propiedades siguientes:
i) 0, x y 0 x si y slo si x=0,
ii) ax a x ,
iii) x y x y + + (desigualdad triangular).

1.1.4.6.2. Intervalos
Dados dos nmeros reales, a y b, con a<b, se llama intervalo acotado de extremos a y b
al conjunto de todos los nmeros reales comprendidos entre a y b, pudindose distinguir los
siguientes tipos:
Intervalo abierto acotado ( ) { } , : a b x a x b < < .
Intervalo cerrado acotado [ ] { } , : a b x a x b .
Intervalos semiabiertos acotados ] { } (
, : a b x a x b < , ) { } , : a b x a x b <

.
Por otra parte, los intervalos no acotados pueden ser de los siguientes tipos:
Intervalos abiertos no acotados ( ) { } , : a x a x + < , ( ) { } , : b x x b < .
Intervalos cerrados acotados ) { } , : a x a x +

, ( ] { } , : b x x b .
1.1. Ejercicios
E.1.1.1.
Demostrar por induccin las siguientes igualdades y desigualdades para
nmeros naturales:
a)
( ) n n 1
1 2 ... n
2
+
+ + + d) 1 (1 )
n
kn k + < + , k>0, n>1
b)
n 1
2 n
r 1
1 r r ... r
r 1
+

+ + + +

e)
2 3
3 n n + <
c)
( ) ( )
2 2 2
n n+1 2n+1
1 +2 +...+n =
6
f) 2 1 4
n
n + < ,
2
4
n
n < .

E.1.1.2. Hallar los nmeros racionales cuyas expansiones decimales son:
a) 0.33444444444... c) 0.9999999999999....
b) 1.345345345345... d) 4.1414141414141....
E.1.1.3. Resolver las siguientes igualdades y desigualdades con nmeros reales:
a)
4 2 4 2
x x 6 x 4 x 6
b) x x 2 1 x + +
c)
2
x 8x 16 0 + >
d)
2 2
x 7x 12 x 7x 12 + > +
.
E.1.1.4. Describir grficamente los siguientes subconjuntos de

. Determinar su
supremo y su nfimo, en el caso de que existan, indicando si son mximos o
mnimos.
a)
1 1
n m
n m A +

' ;

, :

b)
1 1
n m
n m
B

' ;

: ,

c) ( ) ( )
{ }
n m
1 1 1 n m C + + : ,
d) { }
p q r
2 3 5 p q r D

+ + : , ,
e)
{ } { }
{ }
n 1 1 n
n 4 n 3 4
n n
E
+
: : ,

f) { }
2
3x 10x 3 0 x F < :
g)
{ }
x 1 x 1
x
x 1 x 1
G

>
+ +
:
h) ( ) ( ) ( ) ( ) { } x x 1 x 2 x 3 x 4 0 H < :
i) { } x x 3 x 1 4 I + < :
.
1.2. El espacio eucldeo n-dimensional
1.2.1. Sistemas de coordenadas
Se llama espacio eucldeo n-dimensional al producto cartesiano del conjunto de los
nmeros reales por s mismo n veces, es decir,
( ) { }
1 1
,..., : ,...,
n
n n
x x x x x .
El elemento ( )
1
,...,
n
x x x se llama un punto o vector de
n

, y los nmeros
1
,...,
n
x x
son sus coordenadas.
1.2.2. Estructura de espacio vectorial normado
1.2.2.1. Estructura algebraica de espacio vectorial
El conjunto
n

est dotado de una operacin suma,

( ) ( ) ( )
1 1 1 1
,..., ,..., ,...,
n n n n
x x y y x y x y + + + ,
y una operacin producto por escalares,
( ) ( )
1 1
,..., ,...,
n n
x x x x ,
que le proporcionan una estructura de espacio vectorial sobre el cuerpo de los nmeros
reales.
El espacio vectorial
n

tiene dimensin n, siendo una base (que se suele llamar cannica)

el conjunto B={(1,0,...,0),...,(0,...,0,1)}.
1.2.2.2. Producto escalar
Se define el producto escalar de dos vectores ( )
1
,...,
n
x x x e ( )
1
,...,
n
y y y de
n

como el nmero
1 1
...
n n
x y x y x y + + .
El producto escalar satisface las siguientes condiciones:
i)
x y y x
ii) ( ) x y z x y x z + +
iii) ( ) ( ) ( ) x y x y x y .
1.2.2.3. Norma y distancia eucldeas
Se llama norma eucldea de un elemento ( )
1
,...,
n
x x x de
n

al nmero
2 2
1
...
n
x x x + + .
La norma satisface las tres propiedades siguientes:
i) 0 x ; 0 0 x x
ii) x x
iii) x y x y + + .
Se llama distancia eucldea entre dos puntos, ( )
1
,...,
n
x x x e ( )
1
,...,
n
y y y de
n

al
nmero
( ) ( ) ( )
2 2
1 1
, ...
n n
d x y x y x y + +
.
La distancia satisface las tres propiedades siguientes:
i) ( ) , 0 d x y ; ( ) , 0 d x y x y
ii) ( ) ( ) , , d x y d y x
iii) ( ) ( ) ( ) , , , d x y d x z d z y + .
La norma y la distancia eucldeas tienen entre s las siguientes relaciones:
( ) , d x y x y
( ) , 0 x d x .
Adems, la norma se relaciona con el producto escalar por
2
x x x .
1.2.2.4. Desigualdad de Cauchy-Scharwz y desigualdad triangular
La desigualdad de Cauchy-Schwarz establece que, dados dos puntos ( )
1
,...,
n
x x x e
( )
1
,...,
n
y y y de
n

,
x y x y .
De ella se deduce la desigualdad triangular,
x y x y + + .
1.2.3. El plano eucldeo
Se llama plano eucldeo al espacio eucldeo de dimensin 2.
1.2.3.1. Coordenadas cartesianas y polares
Las coordenadas cartesianas de un punto del plano se suelen denotar por x e y, y
representan los segmentos obtenidos al proyectar el punto sobre los dos ejes coordenados
(teniendo en cuenta el signo).
Las coordenadas polares de un punto del plano distinto del origen se suelen denotar por

y , y representan respectivamente la distancia al origen y el ngulo que forma el segmento

que une el punto y el origen con el semieje positivo de abscisas.
Las relaciones entre ellas son:
cos x , y sen
2 2
x y +
,
y
arctg
x
(!)
1.2.3.2. Traslaciones, giros y homotecias
Se llama traslacin segn el vector ( ) , v a b a la aplicacin
2 2
:
v
definida por
( ) ( ) , ,
v
x y x a y b + + .
Se llama giro de ngulo a la aplicacin
2 2
:

definida por
( ) ( ) , cos sin , sin cos x y x y x y

+ .
Se llama homotecia de razn a la aplicacin
2 2
: h

definida por
( ) ( ) , , h x y x y

.
1.2.3.3. Rectas
Una recta en el plano viene determinada por un punto, ( )
0 0
, x y , y un vector director,
( ) , v a b , siendo el conjunto de los puntos de la forma ( ) ( ) ( )
0 0
, , , x y x y a b + , donde
recorre todos los nmeros reales. A partir de ah, se pueden obtener las ecuaciones paramtricas,
0
x x a + ,
0
y y b + , y la ecuacin general,
0 Ax By C + +
.
(Se supone bien conocido el manejo de las rectas en el plano, sus distintos tipos de
ecuaciones, las incidencias, etc. En caso contrario, consultar, por ejemplo, el libro Clculo de
una variable, de G. L. Bradley y K. J. Smith, o Clculo, de S. Lang.)
1.2.3.4. Cnicas
Las cnicas son conjuntos de puntos del plano cuyas coordenadas estn ligadas mediante
una ecuacin polinmica de segundo grado (no cualquiera). En su forma ms simplificada, la
clasificacin bsica es la siguiente:
Par de rectas:
2 2
0 x y .
Circunferencia :
2 2
1 x y + .
Elipse :
2 2 2 2
1 / / x y a b + .
Parbola :
2
y x .
Hiprbola:
2 2
1 x y .
(Se supone bien conocido el manejo de las cnicas en el plano, sus distintos tipos de
ecuaciones, etc. En caso contrario, consultar, por ejemplo, el libro Clculo, de S. Lang.)
1.2.4. El espacio eucldeo tridimensional
1.2.4.1. Coordenadas cartesianas, cilndricas y esfricas
Las coordenadas cartesianas de un punto del espacio se suelen denotar por x, y y z, y
representan los segmentos obtenidos al proyectar el punto sobre los tres ejes coordenados
(teniendo en cuenta el signo).
Las coordenadas cilndricas de un punto del espacio que no est sobre el eje OZ se
suelen denotar por

, y z, donde

y representan las coordenadas polares del punto

( ) , x y que se obtiene proyectando el punto del espacio sobre el plano XY. (Se puede elegir
anlogamente cualquier otra de las coordenadas en lugar de la z, obtenindose coordenadas
cilndricas referidas al eje OX o al ejeOY).
Las relaciones entre ellas son:
cos x , y sen , z z
2 2
x y +
,
y
arctg
x
(!) z z
Las coordenadas esfricas de un punto del espacio se suelen denotar por r, y

, y
representan respectivamente la distancia al origen, la misma coordenada Las relaciones entre las
coordenadas cartesianas y las esfricas son:
de cilndricas y el ngulo que forma el segmento que une el punto y el origen con el
semieje positivo OZ.
Las relaciones entre las coordenadas cilndricas y las esfricas son:
sin r , = ,
cos z r
2 2
r z +
, = , arctg
z

.
Las relaciones entre las coordenadas cartesianas y las esfricas son:
sin cos x r , sin sin y r ,
cos z r
2 2 2
r x y z + +
,
y
arctg
x
,
2 2 2
arccos
z
x y z

+ +
1.2.4.2. Cudricas
(Ver pgina siguiente).
1.2.4.3. Producto vectorial
El producto vectorial de dos vectores, ( , , ) u x y z y ( , , ) v x y z de
3

, se define
mediante el falso determinante
det
x y z
u v x y z
i j k
_




,
,
donde i, j, k representan los vectores de la base cannica.
1.2. Ejercicios
E.1.2.1. Hallar las distintas formas de la ecuacin de la recta correspondiente a los
siguientes casos:
a) pasa por los puntos (1,3) y (-2,5),
b) pasa por el origen y por el punto (7,-3),
c) pasa por el punto (1,1) y tiene por pendiente 4,
d) pasa por el punto (-4,0) y es paralela a la recta y=3x+5,
e) pasa por el punto (2,-2) y forma con el semieje positivo de abscisas un
ngulo de 3/2.
E.1.2.2. Hallar la ecuacin de la circunferencia en cada uno de los siguientes casos:
a) tiene centro en el punto (1,1) y radio r=5,
b) tiene centro en el punto (1,3) y pasa por el punto (2,4),
c) tiene como puntos diametralmente opuestos el (-2,0) y el (2,4),
d) tiene radio r=4 y es concntrica a x
2
- 6x + y
2
= 16.
E.1.2.3. Hallar la ecuacin de la elipse en cada uno de los siguientes casos:
a) tiene centro en el origen y radios 3 y 7,
b) tiene centro en el punto (3,1) y radios 3 y 7.
E.1.2.4. Hallar la ecuacin de la parbola en cada uno de los siguientes casos:
a) tiene el vrtice en el punto (0, -4) y pasa por los puntos (2,0) y (-2,0),
b) tiene el vrtice en el punto (1,1) y pasa por los puntos (0,0) y (2,0),
c) pasa por los puntos (0,1), (1,0) y (1,2).
E.1.2.5. Hallar la ecuacin de la hiprbola en cada uno de los siguientes casos:
a) la grfica est en los cuadrantes primero y tercero y pasa por el punto (1,2),
b) sus asntotas son los ejes coordenados y pasa por el punto (-1, -1),
c) sus asntotas son las bisectrices y pasa por el punto (3,0).
E.1.2.6. Clasificar y representar grficamente las siguientes cnicas:
a) x
2
+ y
2
2x 4y = 4 d) x
2
y
2
+ 5x + 5y = 0
b) 3 x
2
+ 20 y
2
= 12 e) xy = 4
c) 4 x
2
25 y
2
= 0
E.1.2.7. Describir grficamente los siguientes subconjuntos de
2

:
a) { } A x y x 1 y 0 , : , > ( )
b) { }
2 2
B (x y) x 2x y 3 , : +
c) { }
2 2
C (x y) x y 0 , :
d) ( ) { }
2 2 2 2
D x, y : (4x x y )(x y 2x) 0 +
E.1.2.8. Describir grficamente los siguientes subconjuntos de
2

:
a) { } A ( cos sen ) 1 , :
b) { }
4
B ( cos sen )

, :
c) { } C ( cos sen ) sen , :
d) { } D ( cos sen ) 1 2 , : < <
e) } { }
4 2
E ( cos sen )

, :

E.1.2.9. Determinar las ecuaciones de la recta de
3

que pasa por dos puntos dados

P y Q. Aplicarlo a P=(1, -1 , 2) y Q = (1 , 2 , 2).
E.1.2.10. Determinar la ecuacin del plano que pasa por tres puntos dados P, Q y R.
Aplicarlo para P=(1, -1 , 2) , Q = (1 , 2 , 2) y R = (-1 , 0 , 2).
E.1.2.11. Si denotamos por i, j, k los vectores de la base cannica de
3

, i=(1,0,0),
j=(0,1,0), k=(0,0,1), determinar:
i) Los productos escalares i.i, i.j, i.k, j.i, j.j, j.k, k.i, k.j , k.k.
ii) Los productos vectoriales ixi, ixj, ixk , jxi, jxj, jxk, kxi , kxj, kxk.
E.1.2.12. Probar las siguientes propiedades del producto vectorial en
3

:
i) ( ) a b b a
ii) ( ) ( ) ( ) a b c a c b c + + .

E.1.2.13. Se define el triple producto de a,b,c
3

como ( ) a b c .
i) Probar que
1 2 3
1 2 3
1 2 3
( )
a a a
a b c b b b
c c c
.
ii) Probar que si a b c + , con

, entonces ( ) 0 a b c .
iii) Deducir que b c es un vector de
3

ortogonal al plano generado por b y
c

(si b y
c
no son colineales).
E.1.2.14. Describir grficamente los siguientes conjuntos de
3

:
a) { }
2 2 2
A (x y z) x y z 1 , , : + +
b) { }
2 2
B (x y z) x z 1 , , : +
c) { }
2 2 2
C (x y z) x y z 0 , , : +
d) { } D (x y z) x 1 y 1 z 1 , , : , ,
e)
{
{ }
2
E (x y z) y x , , : >
f) { } F ( cos sen z) 1 , , :

g) { { }
4
G ( cos sen z)

, , : h) { } H ( cos sen z) z 1 , , :
i) ( ) { }
2 2
I cos sen z z 3 , , : +
j) { } J ( cos sen z) sen 0 z 4 , , : ,
k) ( ) { } K cos sen , sen sen , cos : 1
l) ( ) { }
4
cos , , cos : 1 , L sen sen sen


m)
( ) { }
2 2 2
M cos , , cos : 1, , 0 sen sen sen


n) ( ) { }
3
2 2
N cos , , cos : 2, sen sen sen


1.3. Conceptos bsicos de Topologa
1.3.1. Punto interior, punto adherente, punto de acumulacin y punto frontera
Dado un punto x , llamaremos entorno de x a un intervalo abierto de la forma
( ) , x x + , donde

es cualquier nmero real positivo.

Anlogamente, si
n
x
, llamaremos entorno de x a un conjunto, denotado ( ) , B x ,
formado por todos los puntos que distan de x menos que

, donde

es cualquier nmero
real positivo.
Fijemos un conjunto A contenido en
n

y un punto
n
a
.
Diremos que a es un punto interior de A si existe un entorno de a totalmente contenido en
A.
Diremos que a es un punto adherente a A si cada entorno de a contiene algn punto de A.
Diremos que a es un punto de acumulacin de A si cada entorno de a contiene algn punto
de A distinto del propio a.
Diremos que a es un punto frontera de A si cada entorno de a contiene algn punto de A y
algn punto del complementario de A.
1.3.2. Interior, adherencia, derivado y frontera de un conjunto
Llamaremos interior de A al conjunto de todos los puntos interiores de A, y lo denotaremos
A
i
.
Llamaremos adherencia (o clausura) de A al conjunto de todos los puntos adherentes a A, y
lo denotaremos
A
.
Llamaremos derivado de A al conjunto de todos los puntos de acumulacin de A, y lo
denotaremos A.
Llamaremos frontera de A al conjunto de todos los puntos frontera de A, y lo denotaremos Fr
A.
1.3.3. Conjuntos abiertos y conjuntos cerrados
Es sencillo observar que, en general, se cumple
i
A A A
, pero no todos los conjuntos
coinciden con su interior o con su adherencia.
Diremos que A es un conjunto abierto si coincide con su interior.
Diremos que A es un conjunto cerrado si coincide con su adherencia.
Propiedades de los conjuntos abiertos y de los conjuntos cerrados
1. Los conjuntos vaco y total son abiertos y cerrados (y, adems, son los nicos
conjuntos a la vez abiertos y cerrados).
2. Existen conjuntos que no son abiertos, conjuntos que no son cerrados y conjuntos
que no son ni abiertos ni cerrados.
3. El complementario de un conjunto abierto es cerrado y el complementario de un
conjunto cerrado es abierto.
4. La unin de cualquier familia de conjuntos abiertos es otro conjunto abierto.
5. La unin de una familia finita de conjuntos cerrados es otro conjunto cerrado. En
general, la unin de una familia arbitraria de cerrados puede ser cerrado o no.
6. La interseccin de una familia finita de conjuntos abiertos es otro conjunto abierto.
En general, la interseccin de una familia arbitraria de abiertos puede ser abierto o no.
7. La interseccin de cualquier familia de conjuntos cerrados es otro conjunto cerrado.
8. El interior de un conjunto es siempre abierto.
9. La adherencia, el derivado y la frontera de un conjunto son siempre cerrados.
1.3.4. Conjuntos compactos
El conjunto A se llama acotado si existe un nmero real positivo, M, tal que A est contenido
en un entorno B(0,M), es decir, si la norma de los puntos de A no puede sobrepasar el valor M,
al que se llama una cota de A.
Diremos que el conjunto A es compacto si es cerrado y acotado.
1.3.5. Conjuntos conexos
Diremos que el conjunto A es conexo cuando no admite una descomposicin del tipo
A B C , donde B y C sean dos subconjuntos de A abiertos, no vacos y disjuntos.
1.3. Ejercicios
Para cada uno de los conjuntos que aparecen en las pginas de ejercicios anteriores, hallar
el interior, la clausura y la frontera basndose en su descripcin grfica.
Determinar cules de ellos son abiertos, cerrados, acotados, compactos y conexos.
Captulo 2
Funciones
2.1. Conceptos generales
sobre funciones entre espacios eucldeos
2.1.1. Dominio, imagen y grfica
Formalmente, una funcin ser para nosotros una terna (A,B,f), donde
n
A
,
m
B

( , 1) n m
, y f es un criterio que a cada elemento de A asocia un elemento de B.
Abreviadamente, la denotaremos
: f A B
, o simplemente, f, si se sobreentienden A y B.
Si m>1, denotaremos
1
( , ..., )
m
f f f , donde
1
, ...,
m
f f son m funciones de la misma
variable que f pero de valor real, que se llaman componentes de f. Algunas propiedades se
transmiten de la funcin f a sus componentes y recprocamente, como iremos viendo.
El dominio de f es el conjunto A. Habitualmente, entenderemos que A es el mximo
conjunto en el que tiene sentido plantear f, a menos que las restricciones fsicas del problema
nos indiquen otra cosa.
La imagen de f es el subconjunto de B que se obtiene al aplicar f a los elementos de A, es
decir,
{ } Im( ) ( ) : ( ) f f a a A f A .
La grfica (o grafo) de f es el conjunto
{ } ( ) ( , ( )) :
n m
Gr f a f a a A A B
+
.
Cuando 3 n m + , la grfica de f se puede representar en un sistema de coordenadas.
Cuando n=2 (resp., n=3) y m=1, a veces se utilizan las curvas (resp., superficies) de nivel
para dar una representacin de la funcin f. Se llama curva (resp., superficie) de nivel c al
conjunto { } : ( )
c
N a A f a c .
2.1.2. Funciones inyectivas, suprayectivas y biyectivas
La funcin
: f A B
es inyectiva cuando
, , a a A ( ) ( ) a a f a f a .
La funcin
: f A B
es suprayectiva cuando
( ) f A B
.
La funcin
: f A B
es biyectiva cuando es inyectiva y suprayectiva.
2.1.3. Composicin de funciones
Si
: f A B
y
: ( ) g f A B C
son dos funciones, la composicin de f y g,
denotada
g f o
, se define por
( )( ) ( ( )) g f a g f a o .
Si
: f A B
es biyectiva, entonces tiene una funcin inversa, que es nica, se suele
denotar por
1
: f B A

y se caracteriza por
1
B
f f id

o ,
1
A
f f id

o .
2.1.4. Funciones acotadas
Una funcin
: f A B
est acotada si el conjunto imagen,
( ) f A
, est acotado, es decir,
existe una constante K tal que ( ) f x K , para todo x A .
2.1.5. Funciones peridicas
Una funcin
: f A
se llama peridica si existe un nmero T>0 tal que
f(x+T)=f(x) para todo x A . En tal caso, al menor valor de T que satisface esa condicin se le
llama periodo de f.
2.1.6. Operaciones con funciones
Con las funciones se pueden realizar las operaciones algebraicas que nos permita su conjunto
imagen. As, por ejemplo, si , :
n m
f g A y , se definen
:
n m
f g A + ,
( )( ) ( ) ( ) f g x f x g x + +
:
n
f g A g ,
( )( ) ( ) ( ) f g x f x g x g g
:
n m
f A ,
( )( ) ( ) f x f x
.
1.
2.2. Funciones elementales de variable y valor real
2.2.1. Funciones polinmicas
2.2.2. Funciones exponenciales y logartmicas
2.2.3. Funciones trigonomtricas
Los tipos de funciones que aparecen en esta Seccin suelen ser bastante
conocidos, ya que forman parte de los programas de Matemticas del
Bachillerato. Para repaso y ampliacin, se puede consultar, por ejemplo, el
captulo 5 del libro Clculo de una variable, de G. L. Bradley y K. J. Smith,
que aparece en la Bibliografa.
2.1. (y 2.2.) Ejercicios
E.2.1.1. Determinar el dominio y la imagen de las siguientes funciones:
(1)
( )
3
f x 3x x (2) ( )
2x
f x arcsen
1 x

+
_

,
(3)
2
f (x y) ( x y ln(x 1) ln y) , , + +
(4)
2 2
1 1
f (x y)
x y 1 x y
, ,
+ +
_

,
.
E.2.1.2. Esbozar la grfica de las siguientes funciones y las curvas de nivel
cuando proceda:
(1)
( )
2
f x 1 x
(2) ( )
( ]
( )
[ )
2
x
x, x ,1
f x x , x 1, 4
2 1, x 4,

'

(3)
( )
x 1 1
f x
x 2
+

+
(4)
f (x y) x y 2 , +
(5)
2 2
f (x y) x 4y , + (6)
f (x y) xy ,
(7)
2 2
f (x y) 1 x y , (8)
3
f (x y) x x ,
E.2.1.3. Esbozar las superficies de nivel de las siguientes funciones:
(1)
2 2 2
f (x y z) x y z , , (2)
2 2 2
f (x y z) 4x y 9z , , + +
(3)
f (x y z) 2x y , ,
(4)
2 2
f (x y z) x y , , +
(5)
2 2 2
f (x y z) x y z , , + .
E.2.1.4. Esbozar la grfica de las siguientes funciones:
(1) f(x) = 2
|x|
(2) f(x) = e
x
+ e
-x
(3) f(x) = log |x|
(4) f(x) = | log x | (5) f(x) = log x e
x
(6) f(x) = log [(x + 3)/(2 x)]
E.2.1.5. Hallar la inversa de las siguientes funciones:
(1) f(x) = 1 log (x/2) (2) f(x) = 100
x
1 (3) f(x) = e
1 x
E.2.1.6. Hallar las funciones compuestas, fog y gof, donde sea posible, para los
siguientes casos:
(1) f(x) = e
x
, g(x) = ln (x + 1),
(2) f(x) = log 3x , g(x) = 2
x/2
.
E.2.1.7. Decir cules de las siguientes funciones estn acotadas superior e
inferiormente y cules tienen mximo y mnimo:
(1) f(x)=1/(1+x
2
) en [0,5] (2) f(x)=3/(x+2) en [-3,2].
E.2.1.8. Hallar el periodo de las siguientes funciones:
(1) f(x) = sen 3x (2) f(x) = sen 2x cos (x/3) (3) f(x) = cos (5x + 1) .
2.3. Lmite de una funcin en un punto

2.3.1. Concepto de lmite finito en un punto finito
Sea :
n m
f A B y a A . Se dice que el lmite de f(x) cuando x tiende
hacia a es b( )
m
b , y se denota
lim ( )
x a
f x b

, cuando para todo 0 > existe 0 > tal que si

( , ) x B a A
y
x a
(es decir, 0 x a < < ), entonces
( ) ( , ) f x B b
(es decir,
( ) f x b < ) .
2.3.2. Propiedades de los lmites
Si m>1,
1
( ,..., )
m
f f f
y
1
( , ..., )
m
b b b
, entonces
lim ( )
x a
f x b

sii
lim ( )
i i
x a
f x b

,
para i=1,...,m.
El lmite de una funcin en un punto, si existe, es nico.
Si existe
lim ( )
x a
f x b

y

, entonces existe
lim( )( ) .
x a
f x b

Si , :
n m
f g A y existen
lim ( )
x a
f x b

y
lim ( )
x a
x c g

, entonces existe
lim( )( ) .
x a
f g x b c

+ +
Si , :
n m
f g A y existen
lim ( )
x a
f x b

y
lim ( )
x a
x c g

, entonces existe
lim( )( ) .
x a
f g x b c

g g
Si :
n m
f A :
n
g A y existen
lim ( )
x a
f x b

y
lim ( )
x a
x g

,
entonces existen
lim( )( )
x a
gf x b

lim( / )( ) /
x a
f g x b

, si 0 .
Si
: f A B
y
: ( ) g f A B C
,
lim ( )
x a
f x b

y
lim ( )
y b
g y c

, entonces
lim( )( )
x a
g f x c

o
.
(Regla del emparedado) Si f , g y h son tres funciones de valores reales tales que
( ) ( ) ( ) f x g x h x
para todo x en un entorno de a y
lim ( ) lim ( )
x a x a
f x h x


,
entonces existe
x a
limg(x)

.
Si f es una funcin acotada en un entorno de a y
lim ( ) 0
x a
x g

, entonces existe
lim ( ) 0 ( )
x a
x f x g

.
2.3.3. Concepto de lmite infinito en un punto finito y de lmite cuando la
variable tiende a infinito
Dada una funcin :
n m
f A B , y a A , se dice que f(x) tiende hacia
infinito cuando x tiende hacia a , y se denota
lim ( )
x a
f x

, cuando para todo 0 M > existe
0 > tal que si
( , ) x B a A
y
x a
(es decir, 0 x a < < ), entonces ( ) (0, ) f x B M
(es decir, ( ) f x M > ).
Dada una funcin :
n m
f A B , con A no acotado, se dice que f(x) tiende
hacia b cuando x tiende hacia infinito ( )
m
b , y se denota
lim ( )
x
f x b

, cuando para todo

0 > existe 0 K > tal que si (0, ) x B K (es decir, x K > ), entonces
( ) ( , ) f x B b
(es
decir, ( ) f x b < ).
Dada una funcin :
n m
f A B , con A y B no acotados, se dice que f(x) tiende
hacia infinito cuando x tiende hacia infinito, y se denota
lim ( )
x
f x


, cuando para todo
0 M > existe 0 K > tal que si (0, ) x B K (es decir, x K > ), entonces ( ) (0, ) f x B M (es
decir, ( ) f x M > ).
Los lmites infinitos mantienen las mismas propiedades de los lmites finitos, siempre que
los trminos que aparezcan tengan sentido. En otros casos, dan lugar a indeterminaciones.
Incluir los infinitsimos e infinitos ms habituales, y sus comparaciones.
2.3.4. Criterios para el clculo de lmites dobles
Supongamos que { }
2
(0, ) 0 A B r y
2
: f A B .
Criterio de los lmites iterados
Si existen el lmite doble
( , ) ( 0,0)
lim ( , )
x y
f x y

y los lmites unidimensionales

0
lim ( , )
x
f x y

,
0
lim ( , )
y
f x y

, entonces han de existir y ser iguales los dos lmites iterados,

0 0 0 0
limlim ( , ) limlim ( , )
x y y x
f x y f x y


.
El recproco no es cierto.
(Este criterio se suele utilizar en sentido negativo, de modo que si no existe alguno de los
lmites iterados o no coinciden ambos, entonces no puede existir el lmite doble.)
Criterio de los lmites direccionales
Si existe el lmite doble
( , ) ( 0,0)
lim ( , )
x y
f x y

y
: g
es una funcin tal que
0
lim ( ) 0
x
g x

, entonces existe el lmite direccional

( , ) ( 0,0)
lim ( , ( ))
x y
f x g x

.
El recproco no es cierto.
(Este criterio se suele utilizar tambin en sentido negativo, de modo que si se encuentra
una direccin en la que el lmite no existe o depende de parmetros, entonces no puede existir el
lmite doble.)
Criterio de las coordenadas polares
Definiendo [ ) : (0, ) 0, 2 F r por
( , ) ( cos , sin ) F f
, las condiciones
siguientes son equivalentes:
(i) Existe el lmite doble,
( , ) ( 0,0)
lim ( , )
x y
f x y

.
(ii) Existe el lmite unidimensional
0
lim ( , ) F

uniformemente cuando [ ) 0, 2
.
(iii) Existe una funcin
: (0, ) h r
tal que
0
lim ( ) 0 h

y
( , ) ( ) F h

para cada
(0, ) r
y cada [ ) 0, 2 .
2.3. Ejercicios
E.2.3.1. Calcular los siguientes lmites:
(1)
x
lim( x x x x )

+ (2)
p
q
x 1
x 1
lim , p, q
x 1

(3)
p
x 1
x 1
lim , p
x 1

(4)
3 2
3
x 1
x 2x x 2
lim
x 7x 6

+
+
.
E.2.3.2. Determinar el dominio y calcular el lmite en el origen, si existe, de las
siguientes funciones:
1) ( ) ( ) f x x sen 1/ x
2)
( )
1 x 1 x
f x
x
+

3)
( )
1 x 1 x
f x
x
+

4)
( )
x
x
f x x
5)
( ) ( )
2
1/ sen ( x)
2
f x cos x
6)
( )
x
x
a 1
f x , a, b
b 1
+

7) ( ) ( ) f x log 1 x 1 + 8) ( )
x sen( x)
e e
f x
x sen(x)

9) f (x y) ysen( /x) , 10)

1 1
f (x y) (x y) sen sen
x y
, +
_
_


,
,
11)
2 2
y
f (x y) sen (x y )
x
, + 12)
2
y 1
f (x y) y sen
x
+
,
_

,
13)
2 2
y sen (x x)
f (x y)
y 1
+
,
+
14) f(x,y) =
1
1 cos x
+
2
seny.senx
15)
2
2
y x
y
f (x y) e
x
/

, 16) ( )
1 ysen , x 0
f x , y x
0 , x 0

_

, '

17)
2 2
xy
f(x,y)=
x +y
18)
2
2 2
y
f (x y)
x y
,
+
19)
2
2 2
y
f (x y)
x y
,
+
20)
( )
( )
3
3
exp y / x 1
f (x y)
arcsen y x

,
/
21) f(x,y,z) = (x
2
+y
3
) cos (x+z)
22) ( )
2
2 2
x
f x, y, z
y z

+
E.2.3.3. Sea f una funcin real de variable real peridica tal que existe
( )
x
lim f x

y
es finito. Probar que f es constante.
2.4. Continuidad
2.4.1. Continuidad en un punto
2.4.1.1. Concepto
Sea :
n m
f A y a A A . Se dice que f es continua en a si existe el lmite de
f(x) cuando x tiende hacia a y coincide con f(a), es decir,
lim ( ) ( )
x a
f x f a

.
En otros trminos, cuando para todo 0 > existe 0 > tal que si x A y x a < (es decir,
( , ) x B a A
), entonces ( ) ( ) f x f a < (es decir,
( ) ( ( ), ) f x B f a
) .
2.4.1.2. Propiedades
La funcin
1
( , ..., )
m
f f f
es continua en
a
sii cada una de sus componentes,
1
, ...,
m
f f es continua en
a
.
La suma de funciones continuas en un punto es continua en ese punto.
El producto de funciones continuas en un punto es continua en ese punto.
Si una funcin continua en un punto no se anula en l, entonces tampoco se anula en
un cierto entorno de ese punto.
El cociente de dos funciones continuas en un punto (siendo el denominador una
funcin de valores reales) es continua, siempre que la funcin del denominador no se
anule en l.
La norma de una funcin continua en un punto es tambin continua en ese punto.
La composicin de dos funciones continuas en puntos correspondientes es tambin
continua.
2.4.2. Continuidad en un conjunto
2.4.2.1. Concepto
Se dice que
: f A B
es continua en A cuando es continua en cada punto de A.
2.4.2.2. Caracterizacin topolgica de las funciones continuas
La imagen inversa de un abierto mediante una funcin continua es otro abierto. (No
as, en general, la imagen directa).
La imagen inversa de un cerrado mediante una funcin continua es otro cerrado.
(No as, en general, la imagen directa).
De hecho, una funcin es continua en un conjunto sii la imagen inversa de cualquier
abierto es abierta, lo cual equivale a que la imagen inversa de cualquier cerrado sea
cerrada.
2.4.2.3. Funciones reales continuas sobre intervalos
Teorema de Bolzano.- Si f es continua en el intervalo [a,b] y f(a)f(b)<0, entonces existe
algn punto c en el intervalo (a,b) tal que f(c)=0.
Propiedad de Darboux.- Si f es continua en el intervalo [a,b], entonces f alcanza todos
los valores comprendidos entre f(a) y f(b).
Localizacin de races de una ecuacin (mtodo de biparticin).- Para localizar y
aproximar races de la ecuacin f(x)=0, podemos utilizar el siguiente procedimiento:
(1) Dando valores a la funcin, elegimos
1
x y
2
x de modo que
1 2
( ) ( ) 0 f x f x < . Segn
el Teorema de Bolzano, debe existir un punto c entre
1
x y
2
x tal que f(c)=0, con lo
cual tenemos localizada una raz en un intervalo
1
I de extremos
1
x y
2
x , con un
error de
1 2 1
x x .
(2) Llamamos
3
x
al punto intermedio entre
1
x
y
2
x
. Si
3
( ) 0 f x
, ya tenemos una raz
exacta de la ecuacin. En caso contrario, elegimos el subintervalo de
1
I en cuyos
extremos la funcin tome distinto signo, al que denotaremos
2
I , y podemos
garantizar que en
2
I hay una raz de la ecuacin, aproximada con un error de
2 1
1
2
.
(3) Si continuamos el proceso, dividiendo
2
I
en dos subintervalos iguales y reiterando
la operacin, o bien encontramos una raz exacta de la ecuacin, o bien vamos
aproximndola con un error de
1 1
1
2
n n

en el paso n.
Transformacin de intervalos mediante funciones continuas.- La imagen de un
intervalo mediante una funcin continua es otro intervalo. El intervalo imagen no es
necesariamente del mismo tipo que el original, salvo en el caso de intervalos compactos.
Propiedades de las funciones reales continuas y montonas
(1) Supongamos que f es continua en un intervalo I. Entonces, f es inyectiva sii es
estrictamente montona en I.
(2) Supongamos que f es montona en un intervalo I. Entonces, f es continua sii su
imagen, f(I), es un intervalo.
(3) Si f es continua y estrictamente montona en el intervalo I, entonces f es una
biyeccin de I en otro intervalo
( ) J f I
, y su inversa
1
f


es continua y
estrictamente montona.
2.4.2.4. Funciones continuas sobre conjuntos compactos
Las funciones continuas entre espacios eucldeos tienen propiedades adicionales cuando
operan sobre conjuntos compactos:
La imagen de un compacto por una funcin continua es otro conjunto compacto.
Toda funcin continua en un compacto est acotada.
Teorema de Weierstrass.- Toda funcin real continua en un compacto alcanza su
mximo y su mnimo.
Propiedad de los valores intermedios.- Toda funcin real continua en un compacto
alcanza cada uno de los valores comprendidos entre su mnimo y su mximo.
2.4.3. Continuidad uniforme
2.4.3.1. Concepto
Se dice que
: f A B
es uniformemente continua en A cuando para todo 0 > existe
0 > tal que si
, x y A
y x y < , entonces ( ) ( ) f x f y < .
Como podemos observar, la continuidad uniforme implica continuidad en todos los
puntos, con el requisito adicional de que la condicin de continuidad no est referida a cada
punto en particular.
2.4.3.2. Teorema de Heine
Toda funcin continua en un compacto es uniformemente continua.
2.4.3.3. Funciones lipschitzianas y contractivas
Como una clase destacada de funciones uniformemente continuas, tenemos las funciones
lipschitzianas. Una funcin
: f A B
se llama lipschitziana en A cuando existe una constante
K (llamada constante de Lipschitz para f) que verifica ( ) ( ) f x f y K x y para
cualesquiera
, x y A
.
Si f es una funcin lipschitziana para la cual se puede elegir una constante de Lipschitz
menor que 1, se dice que f es contractiva.
Las funciones contractivas tienen curiosas propiedades. Entre ellas, cabe destacar la de
que toda funcin contractiva de la bola cerrada unidad en s misma tiene un nico punto fijo.
2.4.Ejercicios
E.2.4.1. Estudiar la continuidad de las siguientes funciones:
1)
( )
x
f x
x

6) [ ] ( )
2
f (x y) y x y x y , + +
2) ( ) [ ] f x x x 7) ( ) f (x y) arc tg xy ,
3) ( )
( )
( )
2
2
ln x 3x 2
f x
ln x 7x 12
+

+
8) ( ) ( ) ( ) f (x y, z) ln x ln y ln z , +
4) ( )
1, si x es racional
f x
0, si x es irracional

'

9)
2
2 2
x
f (x y)
x y 1
,
+
5) ( )
( )
2
sen x , 0 x
f x x , 1 x 0
2x 1, x 1

< <

'

10) ( )
2
2
x , y x
f x, y
0 y x

'

E.2.4.2. Supongamos que f: es aditiva, es decir, f(x+y)=f(x)+f(y) para

cualesquiera x,y , y continua en 0.
(i) Probar que f es continua en todo .
(ii) Probar que existe una constante real, c, tal que f(x)=cx para todo x.
E.2.4.3. Un montaero inicia lentamente su excursin a las 4 a.m. hacia la cima de
una montaa, llegando de vuelta a medioda. Al da siguiente regresa a lo largo de
la misma ruta, empezando a las 5 a.m. y est de vuelta a las 11 a.m. Probar que en
algn punto a lo largo de su ruta el reloj mostraba la misma hora los dos das.
E.2.4.4. Probar que las siguientes ecuaciones tienen al menos una solucin en el
intervalo correspondiente:
a) x
4
2 x
1/3
= 1, en [-1, 1]
b) x
1/3
= x
2
+ 2x 1 , en [0,1]
c) cos x sen x = x , en [0, /2] .
E.2.4.5. Aproximar las soluciones reales de las ecuaciones siguientes con un error
menor de 1/16:
a) x
3
x
2
1 = 0
b) x
3
+ 2 x
2
+ x 5= 0.
E.2.4.6. (a) Sea f una funcin continua en tal que
lim ( )
x
f x
+
+
y
lim ( )
x
f x


(o viceversa). Probar que f toma todos los valores reales.
(b) Deducir que todo polinomio de grado impar tiene al menos una raz real.
E.2.4.7. Estudiar la continuidad uniforme de las siguientes funciones:
a) f(x)=x
2
b) f(x)=1/x c) f(x)=sin x .
E.2.4.8. Probar que si f es una funcin continua en c y f(c)>0, entonces f(x)>0 en
todo un intervalo abierto que contiene a c.
Captulo 3
Clculo Diferencial
3.1. Conceptos bsicos del Clculo Diferencial
para funciones de variable y valor real
3.1.1. Derivada
Sea
: f A
y
i
a A
. Se dice que f es derivable en a cuando existe y es finito el
lmite
( ) ( )
lim
x a
f x f a
x a

.
En tal caso, al nmero definido por ese lmite es nico, se le denota por f(a), y se le llama
derivada de f en a.
La derivada de f en a se expresa tambin mediante el lmite del cociente incremental
0
( ) ( )
lim
h
f x h f x
h

+
.
Se dice que f es derivable en A si es derivable en todos los puntos de A. En este caso, se
tiene una nueva funcin,
: f A
, llamada funcin derivada. Si, adems,
f
es
continua en A, se dice que f es de clase
1
C
en A, y se denota
1
( ) f C A .
3.1.2. Diferencial
Sea
: f A
y
i
a A
. Se dice que f es diferenciable en a cuando existe una
aplicacin lineal : L que verifica la siguiente condicin de lmite:
( ) ( ) ( )
lim 0
x a
f x f a L x a
x a

.
En tal caso, la aplicacin lineal L es nica y se llama diferencial de f en a.
Se dice que f es diferenciable en A si es diferenciable en todos los puntos de A.
3.1.3. Pendiente y recta tangente
Sea
: f A
y
i
a A
. Se dice que f admite recta tangente en a cuando existe
una recta del tipo
( ) y r x mx n +
(no vertical) que satisface la condicin de tangencia:
lim
( ) ( )
0
x a
f x r x
x a

.
En tal caso, al coeficiente m de la recta tangente se le llama pendiente de f en a.
Teniendo en cuenta que las aplicaciones lineales de en son todas de la forma
( ) L x x
, para algn valor de , y haciendo unos sencillos clculos con los lmites,
obtenemos que las siguientes condiciones para la funcin f en el punto a son equivalentes:
(i) f es derivable en a, con derivada f(a)
(ii) f es diferenciable en a, con diferencial L(x)=f(a)x.
(iii) f admite recta tangente en a, con ecuacin r(x)=f(a)x+[f(a)-f(a)a].
3.1.4. Propiedades algebraicas de la derivada
La suma de funciones derivables en un punto es derivable en ese punto, siendo
( )( ) ( ) ( ) f g a f a g a + +
.
El producto de funciones derivables en un punto es derivable en ese punto, siendo
( )( ) ( ) ( ) ( ) ( ) f g a f a g a f a g a +
.
Toda funcin constante es derivable, con derivada nula en todos los puntos.
El cociente de dos funciones derivables en un punto es derivable, siempre que la
funcin del denominador no se anule en l, y
( )
2
/ ( ) ( ) ( ) ( ) ( ) ( ) ( ) / f g a f a g a f a g a g a .
3.1.5. Propiedades grficas relacionadas con la derivada
Proposicin 3.1.5.1.
Si f es derivable en el punto a, entonces es continua en a.
Proposicin 3.1.5.2.
Si f es derivable en el punto a, entonces la funcin f* definida por
( ) ( )
*( )
f x f a
f x
x a

se puede extender por continuidad al punto a mediante el valor

*( ) ( ) f a f a
.
Proposicin 3.1.5.3.
Si f es derivable en el punto a y
( ) 0 f a >
, entonces existe un entorno de a en el cual
( ) ( ) f x f a >
para
x a >
y
( ) ( ) f x f a <
para
x a <
.
Si f es derivable en el punto a y
( ) 0 f a <
, entonces existe un entorno de a en el cual
( ) ( ) f x f a <
para
x a >
y
( ) ( ) f x f a >
para
x a <
.
Si f es derivable en el punto a y
( ) 0 f a
, no podemos deducir nada sobre el
comportamiento de f en un entorno de a.
Proposicin 3.1.5.4.
Si f es derivable en el punto a y tiene un mnimo o un mximo local en a, entonces
( ) 0 f a
.
Proposicin 3.1.5.5. (Teorema de Rolle)
Si f es derivable en un intervalo abierto ( ) , y continua en el compacto [ ] , y
verifica
( ) ( ) f f
, entonces existe algn punto ( ) , a en el cual
( ) 0 f a
.
Proposicin 3.1.5.6. (Teorema del valor medio)
Si f es derivable en un intervalo abierto ( ) , y continua en el compacto [ ] , , existe
algn punto ( ) , a para el cual
( ) ( ) ( ) ( ) f f f a
.
Proposicin 3.1.5.7.
Sea f derivable en el intervalo abierto ( ) , y continua en el compacto [ ] , .
(i) Si
( ) 0 f x >
para todo ( ) , x
, entonces f es estrictamente creciente en [ ] ,
.
(ii) Si
( ) 0 f x <
para todo ( ) , x
, entonces f es estrictamente decreciente en [ ] ,
.
(iii) Si
( ) 0 f x
para todo ( ) , x
,
entonces f es constante en [ ] , .
3.1.6. La Regla de LHpital
(i) Sean
, : f g A
dos funciones derivables en el abierto A y a A . Si
lim ( ) lim ( ) 0
x a x a
f x g x



lim ( ) lim ( )
x a x a
f x g x


y existe
( )
lim
( )
x a
f x
g x

, entonces existe
( ) ( )
lim lim
( ) ( )
x a x a
f x f x
g x g x

.
(ii) Sean
, : f g A
dos funciones derivables en un abierto no acotado A. Si
lim ( ) lim ( ) 0
x x
f x g x



lim ( ) lim ( )
x x
f x g x


y existe
( )
lim
( )
x
f x
g x

, entonces existe
( ) ( )
lim lim
( ) ( )
x x
f x f x
g x g x

.
3.1. Ejercicios
E.3.1.1. Hallar en la forma ms simplificada posible las derivadas de las siguientes
funciones:
a) x x tg x tg
3
1
) x ( f
3
+ b)
a x
f (x) arctg
1 ax
+

c)
senx cos x
f (x) ln
senx cos x
+

d)
senx x
x
) x ( f
2
2
+

.
e) f(x) = (x
2
+ ln x)
5x
E.3.1.2. Para
2
2
cos( 1)
( )
1 ( / 3)
t
g t
t

, obtener
1
g'
2
_

,
.
E.3.1.3. Si f(5)=1, f(5)=6, g(5)=-3, y g(5)=2, calcular
) 5 ( )' g f (
y ) 5 (
g f
g

,
_

.
E.3.1.4. Dada la elipse 36 y 9 x 4
2 2
+ ,encontrar la ecuacin de las rectas tangente
y normal en el punto
( )
3/ 2, 2/ 2 .
E.3.1.5. Determinar las rectas tangente y normal en el punto x=1 para la figura
dada por 2 xy y x
2 2
+ .
E.3.1.6. Determinar los parmetros a y b para los cuales ser continua y derivable
en x
0
la funcin
( )
2
0
0
x , x x
f x
ax b , x x

+ >

'

E.3.1.7. Determinar los valores del parmetro a para los cuales es la funcin
( )
a
x sen(1/ x) , x 0
f x
0 , x 0

'

a) continua en 0,
b) derivable en 0,
c) derivable con derivada continua en 0.
E.3.1.8. En un estudio medioambiental de cierta comunidad se deduce que, dentro
de t aos, el nivel medio del monxido de carbono ser de Q(t)=0,05t
2
+0,1t+3,4
partes por milln. Cunto cambiar el nivel en los prximos seis meses?
E.3.1.9. Se arroja una piedra en un charco y origina una onda circular cuyo radio
crece a una tasa constante de 0,5 m/s. Hallar la velocidad de crecimiento del rea de
la onda cuando el radio es de 2 m.
E.3.1.10. Una partcula de masa m se mueve a lo largo del eje x. La velocidad y la
posicin estn ligadas por la ecuacin m(v
2
-v
0
2
)=k(x
0
2
-x
2
), donde k, v
0
y x
0
son
constantes positivas. Probar que la fuerza F que acta sobre la partcula es igual a
F=-kx.
E.3.1.11. Probar que si 0 a > , la ecuacin
3
1 0 x ax +
tiene exactamente una
solucin real.
E.3.1.12. Probar que si ( ) : , f a b es una funcin derivable, con derivada
acotada, entonces es uniformemente continua.
E.3.1.13. Probar que la ecuacin
1
x
x e +
tiene exactamente una solucin real.
E.3.1.14. Probar que un polinomio de grado n tiene a lo sumo n races reales.
E.3.1.15. Localizar en intervalos disjuntos de longitud uno las races del polinomio
4 3 2
( ) 4 20 31 4 P x x x x + .
E.3.1.16. A las cuatro de la tarde un coche pasa a una velocidad de 70 km/h por el
punto kilomtrico 400 de la autopista A-7. Diez minutos despus pasa, circulando a
una velocidad de 80 km/h, por el punto kilomtrico 425 de la misma autopista. Le
para la polica y le pone una multa por exceso de velocidad. Tena razn la
polica?
E.3.1.17. Estudiar los extremos relativos y los intervalos de crecimiento y
decrecimiento de la funcin ( )
x
f x xe .
E.3.1.18. Demostrar las desigualdades
(i) sin x x , si 0 x
(ii)
ln(1 ) x x +
, si 0 x .
3.2. Conceptos bsicos del Clculo Diferencial
para funciones de variable vectorial
3.2.1. Derivadas parciales
Sea :
n m
f A y
i
a A
. Se dice que f es derivable respecto de x
i
en el punto a
(i=1,...,n) si existe y es finito el lmite
1 1
0
( , ..., , ..., ) ( , ..., , ..., )
lim
m i n i n
h
f a a h a f a a a
h

+
.
En tal caso, dicho lmite se llama derivada parcial de f respecto de x
i
en el punto a, y se
denota
( )
i
f
a
x

.
Se dice que f es derivable en el punto a cuando es derivable respecto de x
i
en el punto a
para todo i=1,...,n.
Se dice que f es derivable en A cuando es derivable en el punto a para todo a A . En
este caso, se generan n funciones,
:
n m
i
f
A
x

, i=1,...,n, llamadas las derivadas
parciales de f.
Se dice que f es derivable con continuidad o de clase C
1
en A, y se denota
1
( ) f C A ,
cuando es derivable en A y las n funciones
:
n m
i
f
A
x

, i=1,...,n, son continuas.
Observemos que, debido a la definicin de derivada parcial como un lmite (de una
variable real y de valores reales o vectoriales), si m>1 y
1
( , ..., )
m
f f f , se tiene que f es
derivable (respecto de cada una de sus variables) sii lo es cada una de sus componentes.
Por otra parte, las derivadas parciales son, en realidad, derivadas de funciones de una
variable, por lo cual mantienen las reglas habituales de derivacin de las funciones de una
variable.
3.2.2. Gradiente y matriz jacobiana
Si :
n
f A ,
i
a A
y f es derivable en a, se llama gradiente de f en a al vector
1
( ) ( ), ..., ( )
m
n
f f
f a a a
x x



_

,
.
Si :
n m
f A ,
1
( , ..., )
m
f f f ,
i
a A
y f es derivable en a, se llama matriz
jacobiana, o simplemente jacobiano de f en a a la matriz
1 1
1
1
( ) ( )
( )
( ) ( )
n
m m
n
f f
a a
x x
Jf a
f f
a a
x x

_






,
K
M O M
L
.
3.2.3. Diferencial
Sea :
n m
f A y
i
a A
. Se dice que f es diferenciable en el punto a si existe
una aplicacin lineal,
:
n m
L
, verificando
0
( ) ( ) ( )
lim 0
h
f a h f a L h
h

.
En tal caso, la aplicacin lineal L es nica, se denota L=Df(a) y se llama diferencial de f
en a.
Si f es diferenciable en a, entonces es continua en a. (El recproco no es cierto, es
decir, que existen funciones continuas que no son diferenciables.)
Si f es diferenciable en a, entonces es tambin derivable en a, y la matriz asociada a
la aplicacin lineal Df(a) es la matriz jacobiana de f en a, es decir,
( ) :
n m
Df a ,
( )( ) ( ) Df a x Jf a x
.
(El recproco no es cierto, es decir, que existen funciones derivables que no son
diferenciables, ni siquiera continuas.)
Si
1
( ) f C A , entonces es diferenciable en A.
3.2.4. Plano tangente
Si
2
: f A es diferenciable en el punto
0 0
( , ) a x y , y consideramos una
representacin grfica tridimensional de f en un entorno de a mediante la superficie
( , ) z f x y
, el plano tangente a dicha superficie en
0 0 0
( , , ) P x y z , con
0 0 0
( , ) z f x y , tiene por ecuacin
0 0 0 0 0 0 0
( , )( ) ( , )( )
f f
z z x y x x x y y y
x y

+ +

.
3.2.5. Derivadas direccionales
Sea :
n m
f A ,
i
a A
y
n
u
, con 1 u . Se dice que f es derivable
respecto de la direccin u en el punto a si existe y es finito el lmite
0
( ) ( )
lim
m
h
f a hu f a
h

+
.
En tal caso, dicho lmite se llama derivada direccional de f respecto de la direccin u en el
punto a, y se denota ( )
f
a
u

.
Si f es diferenciable en a, entonces tiene derivada direccional respecto de cualquier
direccin en a, y se verifica
( ) ( )
f
a Jf a u
u

.
En este caso, la direccin en la que se alcanza el valor mximo de las derivadas
direccionales es la del gradiente de f en a.
3.1.1. Ejercicios
E.3.2.1. Estudiar la continuidad, derivabilidad y diferenciabilidad de la siguiente
funcin en el origen:
2 2
1
xysen si (x,y) (0,0)
f x y x y
0 si (x,y) (0,0)
( , )
_

+
' ,

E.3.2.2. Estudiar la continuidad, derivabilidad y diferenciabilidad de la siguiente
funcin en el origen:

2 2
2 2
x y
y si (x,y) (0,0)
f x y x y
0 si (x,y) (0,0)
( , )

'

E.3.2.3. Estudiar la continuidad, derivabilidad y diferenciabilidad de la siguiente

funcin en el origen:
2 2
x y
si (x,y) (0,0)
x y
x y
0 si (x,y) (0,0)
f ( , )

'

E.3.2.4. Calcular las derivadas parciales de las siguientes funciones:

a)
2
f (x, y) x y cos x + b)
2
f (x, y, z) x z zcos y
c)
2 y
f (x, y) x e

d)
2
f (x, y) x 3y
e)
2 2
f (u, v, w) ln(u vw w ) + .
E.3.2.5. Un potencial electrosttico en un punto (x,y) del plano debido a una carga
puntual unitaria en el origen est dado por
2 2
1
u(x, y)
x y

+
. Determinar la razn de
cambio de u en la direccin del eje OX y en la direccin del eje OY en el punto (3,4).
E.3.2.6. La presin ejercida por un gas ideal encerrado est dada por
T
P k
V
, donde k es
una constante, T es la temperatura y V el volumen.
a) Determinar la razn de cambio de P con respecto a V.
b) Determinar la razn de cambio de V con respecto a T.
c) Determinar la razn de cambio de T con respecto de P.
E.3.2.7. Demostrar que la funcin
2 2
x y
u(x, y)
x y

+
satisface
u u
x (x, y) y (x, y) 3u(x, y)
x y

+

.
E.3.2.8. Calcular la matriz jacobiana en un punto arbitrario para las funciones
a)
2 2
f (x, y) (senx, xy, x y ) +
b)
2
f (x) (x , 2x, senx) .
E.3.2.9. Calcular la derivada direccional de
2 x
f (x, y) x y e + en (0,0) segn la
direccin del vector
v (1,1)
.
E.3.2.10. Probar que si f es una funcin derivable y
( ) 0 f x
, entonces
( ) f x

apunta en la direccin a lo largo de la cual f crece ms rpido.
E.3.2.11. En qu direccin desde (0,1) crece ms rpido f(x,y) = x
2
- y
2
?
E.3.2.12. Determinar la direccin respecto de la cual la derivada direccional de la
funcin
2 2 2
f (x, y, z) xy yz z x + + en el punto (1, 2,-1) tiene un valor mximo.
E.3.2.13. Calcular el plano tangente a
2
f x y x 2xy ( , ) + en el punto (1,1).
E.3.2.14. Dada la superficie
2 xy
e x z

,
(i) hallar la ecuacin de su plano tangente en el punto P(2,1,2)
(ii) usar el plano tangente para obtener una aproximacin del valor de la
funcin en el punto Q(1.9, 1.02).
3.3. Regla de la Cadena
3.3.4. Caso de una variable
Si
: f A
es derivable en a y
: ( ) g f A
es derivable en f(a), entonces
g f o
es derivable en a, y se verifica la frmula de derivacin
( ) ( )
( ) ( ) g f g f a f a o .
3.3.5. Caso general
Si :
n m
f A es diferenciable en a y : ( )
m p
g f A es diferenciable en
f(a), entonces
g f o
es diferenciable en a, y se verifica
( ) ( ) ( ) ( ) ( ) D g f a Dg f a Df a o o
( ) ( ) ( ) ( ) ( ) g f a Jg f a f a J J o .
Desarrollando la anterior igualdad matricial, obtenemos las frmulas correspondientes a
las derivadas parciales de la funcin compuesta: Si
1
( , ..., )
m
f f f ,
1
( , ..., )
p
g g g
y
1
( , ..., )
m
h g f h h o ,
( ) ( )
1
( ) ( )
m
i i k
k
j k j
h g f
a f a a
x y x

,
1, ..., i p
,
1, ..., . j n
3.2. Ejercicios
E.3.3.1. Probar que la funcin f(x,y) = x
1/3
y
1/3
es derivable en el origen, a pesar de
que la funcin g(x)= f(x,x) no es derivable en x=0. Interpretar el resultado.
E.3.3.2. Hallar la matriz jacobiana de la funcin compuesta
g f o
en el punto (2,1),
siendo
2
g x y x xy ( , ) + y
f (s, t) (s t, sarctg(t)) +
.
E.3.3.3. Dada
y sen u ( )
siendo
2
u v
,
v ln(sen(x))
hallar
x
y

.
E.3.3.3. Comprobar la Regla de la Cadena para las funciones ( )
2
( ) , , sin
t
f t t e t t

,
ln t x y +
.
E.3.3.4. Comprobar la Regla de la Cadena para las funciones
( )
2 2
, , f u v w u v w + , ( )
2
, u x y x y , ( )
2
, v x y y , ( ) ,
xy
w x y e

.
E.3.3.5. Sea { }
2
: 0 f una funcin derivable. Si hacemos un cambio a
coordenadas polares,
cos x
,
sin y
,
dar las derivadas parciales
f

,
f

en funcin de
f
x

,
f
y

probar que
2
2 2 2 2
1 f f f f
x y

+

_ _ _ _
+

, , , ,
.
E.3.3.6. Sean
, : f g
dos funciones derivables. Definimos
2
: F
por
( ) ( ) ( ) , F x y f x g y + . Hallar las derivadas parciales de F en funcin de las
derivadas de f y g.
E.3.3.7.Sean ( ) sin / u z y x ,
2
3 2 x r s +
,
2
4 2 y r s ,
2 2
2 3 z r s
. Hallar
u
r

y
u
s

.
E.3.3.8. Al calentar un cilindro circular recto slido, su radio, r, y su altura, h,
aumentan. Sabemos que en el instante en el que r=10 cm y h=100 cm, r est
creciendo a razn de 0,2 cm/h y h a raznb de 0,5 cm/h. Cul es la velocidad de
crecimiento de la superficie del cilindro en ese instante?
E.3.3.9. La parte de un rbol que por lo general se corta para madera es el tronco, un
slido con forma aproximada de cilindro circular recto. Si el radio del tronco de cierto
rbol crece media pulgada al ao y la altura aumenta 8 pulgadas al ao, con qu
velocidad aumenta el volumen cuando el radio es de 20 pulgadas y la altura de 400
pulgadas?
3.3. Derivadas de orden superior
3.3.1. Derivadas sucesivas
Sea :
n m
f A una funcin derivable en A, con A abierto, y sean
:
n m
i
f
A
x

, i=1,...,n, sus n derivadas parciales.
Se llama derivada parcial de orden 2 respecto de x
i
y x
j
de la funcin f en el punto a a la
derivada parcial respecto de x
j
de la funcin
i
f
x

en el punto a, si existe. En tal caso, se denota

( )
2
( )
i j j i
f f
a a
x x x x

_

,
. Cuando i=j, denotamos ( )
2
2
( )
i i i
f f
a a
x x x

_

,
.
Se dice que f es dos veces derivable en a (resp., en A) cuando f es derivable en A y todas
sus derivadas parciales son derivables en a (resp., en A), es decir, existen las n
2
derivadas
parciales de orden 2 en a,
2
( )
i j
f
a
x x

, i,j=1,...,n.
Se dice que f es k+1 veces derivable en a (resp., en A) cuando f es k veces derivable en A
y todas las derivadas parciales de orden k,
1
...
k
k
i i
f
x x

, son derivables en a (resp., en A), es decir,
existen las n
k+1
derivadas parciales de orden k+1 en a,
1 1
1
( )
...
k
k
i i
f
a
x x
+
+

, i
1
,...,i
k+1
=1,...,n.
Se dice que f es de clase C
k
en A, y se denota ( )
k
f C A , para 1 k , cuando f es k veces
derivable en A y todas sus derivadas parciales hasta el orden k son continuas en A.
Se dice que f es de clase
C

en A, y se denota ( ) f C A

, cuando ( )
k
f C A para todo
k , es decir, admite derivadas parciales de todos los rdenes y son continuas.
3.3.2. Las derivadas cruzadas
Si tenemos una funcin :
n m
f A , ( )
k
f C A , con k>1, se llaman derivadas
cruzadas a dos derivadas del tipo
1
( )
...
k
k
i i
f
a
x x

y
1
) ) ( (
( )
...
k
k
i i
f
a
x x

, donde

es una
permutacin de los ndices i
1
,,i
k
.
En general, no podemos asegurar que dos derivadas cruzadas sean iguales (es decir, el
orden de derivacin puede alterar el resultado), salvo en determinadas condiciones.
Lema.- Sean A un abierto de
2

, a A y
2
: f A . Supongamos que existen
f
x

,
f
y

,
2
f
x y

en un entorno de a y que
2
f
x y

es continua en a. Entonces, existe
2
( )
f
y x
a

y
2 2
( ) ( )
f f
y x x y
a a


.
En particular, si
2
( ) f C A , entonces
2 2
f f
y x x y


en A.
Teorema de Schwarz de las derivadas cruzadas
Sean A un abierto de
n

, a A y :
n m
f A , ( )
k
f C A . Entonces,
1 1
) ) ( (
... ...
k k
k k
i i i i
f f
x x x x

para cualesquiera { }
1
, ..., 1, ...,
k
i i n y para cualquier permutacin

de los ndices
1
, ...,
k
i i .
3.3.3. Desarrollos de Taylor
Bsicamente, los desarrollos de Taylor nos proporcionan aproximaciones locales de las
funciones mediante polinomios obtenidos a partir de las derivadas, dndonos tambin una
estimacin del error cometido.
Notaciones de Landau
Una funcin
( ) x
se dice que es una o pequea de Landau de orden n cuando x
tiende hacia a, y se denota ( ) ( )
n
x o x a
( ) x a
, si verifica
( )
lim 0
( )
n
x a
x
x a

.
Una funcin
( ) x
se dice que es una O grande de Landau de orden n cuando x
tiende hacia a, y se denota ( ) ( )
n
x O x a
( ) x a
, si la expresin
( )
( )
n
x
x a

est acotada en
un entorno de a.
Operadores diferenciales
Si :
n
f A es una funcin diferenciable en A, para cada a A tenemos un
operador lineal, ( ) :
n
Df a , definido, a partir de las derivadas parciales de f en a por
1
( )( ) ( )
n
i
i
i
f
Df a x a x
x

, ( )
1
, ...,
n
n
x x x .
En particular, para el caso 1 n , tenemos
( )( ) ( ) Df a x f a x
, x .
Si :
n
f A es una funcin dos veces diferenciable en A, para cada a A
tenemos un operador cuadrtico,
2
( ) :
n
D f a , definido, a partir de las derivadas parciales
de orden dos de f en a por
2
2 (2)
, 1
( )( ) ( )
n
i j
i j
i j
f
D f a x a x x
x x

, ( )
1
, ...,
n
n
x x x .
En particular, para el caso 1 n , tenemos
2 (2) 2
( )( ) ( ) D f a x f a x , x .
En general, si :
n
f A es una funcin k veces diferenciable en A, para cada
a A tenemos un operador, ( ) :
k n
D f a , definido, a partir de las derivadas parciales de
orden k de f en a por
1
1
1
( )
,..., 1
( )( ) ( ) ...
...
k
k
k
k n
k k
i i
i i
i i
f
D f a x a x x
x x

, ( )
1
, ...,
n
n
x x x .
En particular, para el caso 1 n , tenemos
( ) ( )
( )( ) ( )
k k k k
D f a x f a x , x .
Frmula de Taylor en dimensin uno
Sean A un abierto de , a A y
: f A
,
1
( )
k
f C A
+
. Entonces, para cada
x A ,
2 ( )
1 1 1
1! 2! !
( ) ( ) ( )( ) ( )( ) ... ( )( ) ( , )
k k
k
k
f x f a f a x a f a x a f a x a R a x + + + + + .
La expresin
2 ( )
1 1 1
1! 2! !
, )( ) ( ) ( )( ) ( )( ) ... ( )( ) (
k k
k
k
T f a x f a f a x a f a x a f a x a + + + +
se llama polinomio de Taylor de orden k de f en a .
El trmino ( , )
k
R a x se llama resto de orden k del desarrollo de Taylor de f en a, se
puede expresar en la forma
( 1)
1
!
( , ) ( )( )
k k
k
x
a
k
R a x f t x t dt
+

,
o bien
( 1) 1
1
( 1)!
( , ) ( )( )
k k
k
k
R a x f x a
+ +
+

,
donde

es algn punto entre a y x, y siempre verifica

( , ) ( )
k
k
R a x o x a .
Frmula de Taylor en dimensin mayor que uno
Sean A un abierto de
n

, a A y :
n
f A ,
1
( )
k
f C A
+
. Entonces, para cada
x A ,
2 2
1 1 1
1! 2! !
( ) ( ) ( )( ) ( )( ) ... ( )( ) ( , )
k k
k
k
f x f a Df a x a D f a x a D f a x a R a x + + + + + .
La expresin
2 2
1 1 1
1! 2! !
, )( ) ( ) ( )( ) ( )( ) ... ( )( ) (
k k
k
k
T f a x f a Df a x a D f a x a D f a x a + + + +
se llama polinomio de Taylor de orden k de f en a .
El trmino ( , )
k
R a x se llama resto de orden k del desarrollo de Taylor de f en a, se
puede expresar en la forma
1 1
1
( 1)!
( , ) ( )( )
k k
k
k
R a x D f x a
+ +
+

,
donde

es algn punto en el segmento lineal que une a y x, y siempre verifica

( , ) ( )
k
k
R a x o x a .
3.4. Ejercicios
E.3.4.1. Calcular las derivadas parciales segundas de la funcin
2
f x y sen x y ( , ) ( ) .
E.3.4.2. Dada
z f sen u, cos v) (
siendo
y
u arcyg
x
_

,
,
2 2
y x v + . Hallar
xy
z
.
E.3.4.3. Dada la funcin
3
2 2
( , )
xy
f x y
x y

+
, si
( , ) (0, 0) x y
,
(0, 0) 0 f
,
i) Estudiar si f es derivable en el origen.
ii) Estudiar si f es de clase
1
C
en su dominio.
iii) Hallar las derivadas parciales de orden dos de f en el origen.
iv) Estudiar si f es de clase
2
C .
E.3.4.4. Dada la funcin ( ) 1 f x x + ,
(i) dar el desarrollo de Taylor de orden cuatro de f en a=0
(ii) calcular un valor aproximado de 1, 02 utilizando un polinomio de segundo
grado y dar una estimacin del error cometido.
E.3.4.5. Obtener el polinomio de Taylor de orden tres de la funcin
2 1
( )
( 1)
x
f x
x x
+

+
en
un entorno de a=1.
E.3.4.6. Obtener un desarrollo de Taylor en el origen para las siguientes funciones:
i) ( )
x
f x e ii)
2
3
( )
x
f x e
iii)
2
3 5
( )
x x
f x e

iv)
( ) ln(1 ) f x x +
v)
( ) cos f x x
vi)
( ) ln(cos ) f x x
E.3.4.7. Probar mediante desarrollos de Taylor que los infinitsimos
x
, sin x y
ln(1 ) x +

son equivalentes.
E.3.4.8. Calcular mediante desarrollos de Taylor los siguientes lmites:
i)
0
3
4
sin 3!
lim
/
x
x x x
x

ii)
0
sin 1
lim
x
x
x e
x

+
E.3.4.9. Desarrollar
2 2 3
f x y x y 3xy 2y ( , ) + + en potencias de
x 1 ( ) +
,
y 1 ( ) +
.
E.3.4.10. Desarrollar
x
f x y e seny ( , ) en (0,0) mediante el polinomio de Taylor de
segundo orden. Aplicarlo para hallar
0.1
e sen(0.49 ) .
3.5. Teoremas de la funcin inversa
y de la funcin implcita
3.5.4. Teorema de la funcin inversa para funciones de variable y valor real
Sea
: f A
una funcin de clase C
1
en el abierto A y sea a A tal que
( ) 0 f a
.
Sabemos que si
( ) 0 f a >
, entonces
( ) 0 f x >
en un entorno de a y, por tanto, f es
estrictamente creciente en dicho entorno. Anlogamente, si
( ) 0 f a <
, entonces
( ) 0 f x <
en
un entorno de a y, por tanto, f es estrictamente decreciente en dicho entorno. En cualquiera de
los dos casos, f va a ser inyectiva en un entorno U de a, de modo que
: ( ) f U A V f U
tendr una inversa,
1
: f V U

.
En estas condiciones,
1
f

es derivable en el punto
( ) b f a
y su derivada viene dada por
( )
1
1
( ) ( )
( )
f f a
f a

.
3.5.5. Teorema de la funcin inversa en el caso general
Sea :
n n
f A una funcin de clase
k
C
en el abierto A y sea a A tal que
det ( ) 0 Jf a
. Entonces, f es localmente inversible en a , es decir, existen ,
n
U V , abiertos,
con
n
a U A
, ( )
n
f a V , tales que
: f U V
es biyectiva, con inversa
1
: f V U

,
1
( )
k
f C V

. Adems,
( ) ( )
1
1
( ) ( ) Jf f x Jf x

,
para todo x U .
La ecuacin matricial
1
( ) ( ) Jf y Jf x I

, para
( ) y f x V
, nos proporciona n
sistemas lineales con n ecuaciones y n incgnitas cada uno, todos ellos con determinante
det ( ) 0 Jf x
, y por tanto con solucin nica. Dichas soluciones nos dan las derivadas
parciales de las componentes de la funcin
1
f

respecto de sus variables en funcin de las
derivadas parciales de las componentes de f en un entorno de
( ) f a
.
3.5.6. Teorema de la funcin implcita
Sean
p q
A
+

, abierto,
1 1
( , ) ( , ... ..., ) , ,
p q
a b a a b b A
y
:
q
F A
, ( )
k
F C A tal
que
( , ) 0 F a b
y
1
1
( , ..., )
det ( , ) 0
( , ..., )
q
q
F F
a b
y y

. Entonces, existe una nica funcin :

q
f U ,
donde U es un entorno de a en
p

, tal que
(i) ( )
k
f C U
(ii)
( ) f a b
(iii) ( ) , ( ) 0 F x f x para todo x U .
3.5. Ejercicios
E.3.5.1. Determinar en qu puntos es inversible la funcin
2
6 5 y x x + . Hallar la
inversa en el punto correspondiente a x = 1 y comprobar que es derivable.
E.3.5.2. Determinar si son o no globalmente inversibles, y, en su caso, en qu puntos
son localmente inversibles las funciones
(a)
2
( ) f x x b)
2
( ) sin f x x c)
3
( ) f x x x .
E.3.5.3. Determinar si la funcin ( ) 2 cos sin
x
f x e x x x + es inversible en un entorno
del origen. En caso afirmativo, aproximar su inversa mediante un desarrollo de Taylor
de orden 2.
E.3.5.4. Sea la funcin ( ) ( )
3
, , f x y x x y + . Puede definirse una inversa en un
entorno del origen? Contradice eso el Teorema de la Funcin Inversa?
E.3.5.5. Comprobar que la funcin
2 3 2 5
( , ) ( , 3 1) f x y x xy y xy x y + + es
localmente inversible en un entorno de (1,0) y dar una aproximacin polinmica de
orden 2 de su inversa.
E.3.5.6. Sea ( ) ( )
x y x y
f x y e e e e , + , .
a) Probar que
f
es inversible localmente.
b) Probar que
f
es inversible globalmente.
c) Calcular explcitamente las matrices jacobianas de
f
y de
1
f

en puntos
correspondientes y comprobar que una es inversa de la otra.
E.3.5.7. Sea
( ) ( cos sin ) f x y x y x y , ,
.
a) Probar que
f
es localmente inversible en todos los puntos de su dominio.
b) Probar que
f
no es inversible globalmente.
c) Calcular explcitamente las matrices jacobianas de
f
y de
1
f

en puntos
correspondientes y comprobar que una es inversa de la otra.
E.3.5.8. Comprobar que la expresin
2
sen ( ) sen ( ) 0 y y z x z + + + + define en un
entorno del origen a
z
como funcin implcita diferenciable de
x
e
y
. Expresar
z
en
un entorno del origen mediante la frmula de Taylor de orden 2.
E.3.5.9. Consideremos el sistema
2 2 2
2 2
0
2 0
u v x y z
u v u xyz
+ + +
+ +

'

.
a) Probar que define a
u
y
v
como funciones implcitas diferenciables de
x
,
y
,
z
en un entorno del punto
1 1
0 0 0 0 0 2 2
( ) (0 0 0 ) u v x y z , , , , , , , , .
b) Si
( ) ( ( ) ( )) f x y z u x y z v x y z , , , , , , ,
, hallar
1 1
2 2
(0 ) Jf , ,
.
E.3.5.10. Dado el sistema
3 2 3
1 xz y u + ,
3 2
0 xy u z + ,
a) Probar que define a
x
e
y
como funciones implcitas diferenciables de
z
y
u

en un entorno del punto
0 0 0 0
( ) (0 1 0 1) x y z u , , , , , , .
b) Probar que la funcin
( ) ( ( ) ( )) F z u x z u y z u , , , ,
admite inversa diferenciable en
un entorno de
(0 1) ,
.
E.3.5.11. Determinar el parmetro

para que el tercer trmino del desarrollo de

Taylor de
( ) y f x
en un entorno de 0 sea
3
1
2 3!
x
, siendo f la funcin definida
implcitamente por la ecuacin
3
8 y xy .
E.3.5.12. Determinar directamente dnde podemos resolver la ecuacin
2
3 1 0 y y x + + + poniendo y en funcin de x . Visualizar la situacin.
Verificar la respuesta anterior mediante el Teorema de la Funcin Implcita y
calcular la derivada de y respecto de x.
E.3.5.13. Consideremos las funciones
2
( ) ( )
x z
f x y z e y ae y , , + , + y
2
( ) ln g u v v u , + , donde
a
es un parmetro real.
a) Calcular el valor de
a
para que la derivada direccional mxima de
g f F o
en
el origen valga 1.
b) Determinar para qu valores de
a
la ecuacin
2
( ) F x y z a , , define a
z
como
funcin implcita de
x
e
y
en un entorno del origen.
c) Si
( ) z x y ,
es la funcin implcita anterior (en los casos en que exista),
calcular las derivadas parciales de

en el origen.
E.3.5.14. Sea
2 3 3
( ) h x y x y xy x y , + + + + , siendo

un parmetro real.
a) Determinar los valores de

para los cuales la ecuacin

( ) 0 h x y ,
define a
y

como funcin implcita de
x
en un entorno del origen.
b) Idem invirtiendo
x
e
y
.
c) Sea
( ) y f x
la funcin implcita del apartado a). Calcular el valor de

para
que el polinomio de Taylor de segundo grado de f en el origen valga 1 para
1 x .
d) Sea
2
( ) ( 1 ( ) cos )
x y
F x y e x f x y x
+
, + , + . Probar que F admite inversa
diferenciable en un entorno del origen.
e) Probar que
1
G F F F

+ o es diferenciable en el origen y calcular ( ) 0, 0 DG

.
3.6. Extremos
3.6.1. Extremos relativos y extremos absolutos
Dada una funcin :
n
f A diremos que un punto a A es un
- Mximo relativo de f si existe un entorno U de a tal que
( ) ( ) f x f a
para todo
x U A .
- Mnimo relativo de f si existe un entorno U de a tal que
( ) ( ) f x f a
para todo
x U A .
- Extremo relativo de f si es un mximo o un mnimo relativo de f.
- Mximo relativo estricto de f si existe un entorno U de a tal que
( ) ( ) f x f a <
para
todo x U A distinto de a.
- Mnimo relativo estricto de f si existe un entorno U de a tal que
( ) ( ) f x f a >
para
todo x U A distinto de a.
- Extremo relativo estricto de f si es un mximo o un mnimo relativo estricto de f.
- Mximo absoluto de f en A si
( ) ( ) f x f a
para todo x A .
- Mnimo absoluto de f en A si
( ) ( ) f x f a
para todo x A .
- Extremo absoluto de f en A si es un mximo o un mnimo absoluto de f en A.
Cuestiones generales para la localizacin de extremos:
Los extremos absolutos son tambin extremos relativos.
Para determinar los extremos relativos de una funcin derivable en el interior de su
dominio, disponemos de algunas reglas prcticas a partir del clculo de las derivadas.
Una funcin continua en un compacto tiene siempre mximo y mnimo absolutos.
Los extremos de una funcin se pueden encontrar adems de entre los puntos que
anulen sus derivadas, entre los puntos frontera de su dominio y entre los puntos donde
la funcin no es derivable.
Por ejemplo, si [ ] , A y f es continua en [ ] , , sabemos que f tiene
extremos absolutos en [ ] , , por ser continua en un compacto, y stos se encuentran
entre los relativos. Si, adems, f es derivable en ( ) , , entonces pueden ser extremos
relativos de f los puntos

o algn punto ( ) , a en el cual

( ) 0 f a
.
3.6.2. Extremos relativos de funciones de una variable real
Sea
: f A
una funcin de variable y valor real.
Si a es un punto interior de A, f es derivable en a, y a es un extremo relativo de f,
entonces
( ) 0 f a
.
Si ( )
k
A f C
y
i
a A es tal que
( 1) ( )
( ) ( ) ... ( ) 0 ( )
k k
f a f a f a f a

,
- a es mximo relativo de f si k es par y
( )
( ) 0
k
f a <
- a es mnimo relativo de f si k es par y
( )
( ) 0
k
f a >
- a no es mximo ni mnimo relativo (es punto de inflexin) de f si k es impar.
3.6.3. Extremos relativos de funciones de variable vectorial
Dada una funcin diferenciable, :
n
f A , diremos que un punto a A es un punto
crtico o un punto estacionario de f cuando
( ) 0 f a
, es decir, todas las derivadas parciales
de f en el punto a se anulan.
Se llama punto de silla a un punto estacionario que no es extremo relativo.
3.6.3.1. Condicin necesaria de extremo relativo
Si :
n
f A , A es abierto,
1
( ) f C A y a es un extremo relativo de f, entonces a es un
punto estacionario de f.
3.6.3.2. Condiciones suficientes de extremo relativo
Si :
n
f A , A es abierto,
2
( ) f C A y a es un
punto estacionario de f, entonces
(i) en el caso de que la forma cuadrtica
2
( ) D f a sea definida positiva (i.e.,
2
( )( ) 0 D f a h > para todo 0 h ), a es un mnimo relativo estricto de f
(ii) en el caso de que la forma cuadrtica
2
( ) D f a sea definida negativa (i.e.,
2
( )( ) 0 D f a h < para todo 0 h ), a es un mximo relativo estricto de f.
3.6.3.3. Clculo prctico de extremos relativos
Supongamos que :
n
f A , A es abierto y
2
( ) f C A .
(1) Los posibles extremos relativos de f se encuentran entre sus puntos estacionarios.
(2) Si en un punto estacionario a, la forma cuadrtica
2
( ) D f a no mantiene signo
constante, entonces a es un punto de silla.
(3) Si a es un punto estacionario de f,
2
1 ,
( ) ( )
i j
i j n
f
Hf a a
x x

_

,
es la matriz hessiana
de f en a y denotamos
2
1 ,
det ( )
i j
k
i j k
f
a
x x

_

,
para 1, ..., k n ,
- cuando
0
k
>
para
1, ..., k n
, a es un mnimo relativo estricto de f
- cuando ( 1) 0
k
k
> para
1, ..., k n
, a es un mximo relativo estricto de f.
Para 2 n , poniendo ( ) Hf a

_

,
y
2
det ( ) Hf a , los criterios (2) y (3)
anteriores se traducen de la siguiente forma:
- cuando 0 > y 0 > , a es un mnimo relativo estricto de f
- cuando 0 > y 0 < , a es un mximo relativo estricto de f
- cuando 0 < , a es un punto de silla de f.
3.6.4. Extremos condicionados para funciones de variable vectorial
Sean
n
A
, abierto, a A ,
: f A
y :
p
g A ,
p n <

1
( ) g C A , con
( ) 0 g a
y
( ) ( ) rg Jg a p . Diremos que el punto a es un
- mnimo relativo de f condicionado a g cuando existe 0 r > tal que
( ) ( ) f a f x
para
todo
( , ) x B a r
tal que
( ) 0 g x
.
- mximo relativo de f condicionado a g cuando existe 0 r > tal que
( ) ( ) f a f x
para
todo
( , ) x B a r
tal que
( ) 0 g x
.
- extremo relativo de f condicionado a g cuando es un mnimo o un mximo relativo
de f condicionado a g.
Las ecuaciones del sistema
( ) 0 g x
se llaman condiciones de ligadura, y normalmente se
utilizan para describir partes de la frontera del dominio A.
Teorema de los multiplicadores de Lagrange
Supongamos que
1
( ) f C A . Si a es un extremo relativo de f condicionado a g, entonces
existen
1
, ...,
p

tales que la funcin
1 1
...
p p
F f g g + + +
tiene un punto estacionario
en a.
Es decir, los extremos relativos de f condicionados a g hay que buscarlos entre las
soluciones del sistema (S):
( ) 0
i
g a ,
1, ..., i p
( ) 0
j
F
a
x

,
1, ..., j n
,
sistema de
n p +
ecuaciones con
n p +
incgnitas,
1 1
, ..., , , ...,
n p
a a
.
Condiciones suficientes de extremos relativos condicionados
Supongamos que
2
, ( ) f g C A y a A ,
1
, ...,
p

es una solucin completa del
sistema (S).
i) Si
2 2
( )( ) 0 D F a x > para todo
n
x tal que 0 x y
( )( ) 0 Dg a x
, entonces a
es un mnimo relativo de f condicionado a g.
ii) Si
2 2
( )( ) 0 D F a x < para todo
n
x tal que 0 x y
( )( ) 0 Dg a x
, entonces a
es un mximo relativo de f condicionado a g.
3.6. Ejercicios
E.3.6.1. Determinar los extremos relativos de las siguientes funciones y decidir
cundo son absolutos:
a)
4 4
( ) ( 1) ( ) f x y x x y , +
b)
2 2 4
( ) f x y y x y x , + +
c)
2 2
( ) f x y x y x y xy , + + + +
d)
2 2 2
( ) 2 f x y x y x y , + +
e)
2
( )
x y
f x y xye
+
,
f)
2 3
( ) f x y y x ,
g)
( ) sen( ) cos( ) f x y x y x y , + +
h)
2 2
( ) (1 ) f x y xy x y ,
i)
2 2
2 ( 1)
( ) ( )
x y z
f x y z x z e
+ +
, , +
j)
2 2 2
( ) f x y z x y z xy x y z , , + + + + +
E.3.6.2. Hallar el rectngulo de rea mxima inscrito en una elipse.
E.3.6.3. Hallar el paraleleppedo de mayor volumen inscrito en un elipsoide.
E.3.6.4. Hallar las distancias mxima y mnima del origen a la elipse
2 2
5 5 6 8 x y xy + + .
E.3.6.5. Calcular los mximos y mnimos absolutos de
2 2 2
( ) f x y z x y z , , + + cuando
las variables estn ligadas por las condiciones
2 2 2
/ 4 / 5 / 25 1 x y z + + y
x y z +
.
E.3.6.6. Obtener los valores mximo y mnimo de la funcin
( ) f x y z x y z , , + +
sobre
el elipsoide
2 2 2
2 3 1 x y z + + .
E.3.6.7. Calcular las distancias mxima y mnima del origen a la elipse obtenida como
interseccin del cilindro
2 2
1 x y + y el plano
1 x y z + +
.
E.3.6.8. Determinar los extremos relativos y absolutos de la funcin
2 2
( ) 2 3 2 f x y x y x , sobre el disco cerrado unidad.
E.3.6.9. Hallar los valores mximo y mnimo de la funcin
2 2 2
( ) 2 5 f x y z x y z , , + +
sobre la bola
2 2 2
30 x y z + + .
E.3.6.10. Calcular los mximos y mnimos absolutos de
2 2
( ) f x y x y , + en el conjunto
de puntos {( )
2 2 2
x, y : x y 1 / 4 + }.
E.3.6.11. Sea
2 2 4
( ) f x y x y x , + .
a) Hallar los extremos relativos de f en el plano, indicando cules de ellos son
absolutos.
b) Hallar los valores mximo y mnimo de f en el disco cerrado de centro 0 y
radio 4.
E.3.6.12. Sea
2 2 4
( ) 3 f x y x y y , + .
a) Hallar los extremos relativos de f en el plano, indicando cules de ellos son
absolutos.
b) Hallar los valores mximo y mnimo de f en la regin del semiplano superior
encerrada entre la elipse
2 2
4 4 y x + y el eje de abscisas.
E.3.6.13. La temperatura de un punto del espacio viene dada por la funcin
( , , ) 100 T x y z xy xz yz
.
a) Hallar la temperatura ms baja en el plano
10 x y z + +
.
b) Y la temperatura ms alta en ese mismo plano?
c) Hallar las temperaturas mxima y mnima en la parte del plano contenida en el
primer octante.
E.3.6.14. Hallar los extremos absolutos de la funcin
( , ) 2 3 f x y z x y z , +
en la
parte de la bola de centro 0 y radio 2 que est por encima del plano
1 x y z + +
.
Captulo 4
Sucesiones y series
4.1. Sucesiones de nmeros reales
4.1.1. Definicin, rango y operaciones algebraicas
Formalmente, una sucesin de nmeros reales es una aplicacin : s , que a cada
nmero natural k le asocia un nmero real que denotaremos
k
x
( ) k
x
. Dicha sucesin se
denotar ( )
k k
x


( )
( )
k
k
x

o simplemente ( )
k k
x .
El rango de la sucesin ( )
k k
x

es la imagen de s como aplicacin, es decir, el conjunto
de los valores que toma. Pero hay que tener en cuenta que en una sucesin cada elemento va
ligado al lugar que ocupa, de modo que hay muchas sucesiones con el mismo rango.
Las sucesiones se pueden sumar entre s o multiplicarse por escalares, realizando las
correspondientes operaciones trmino a trmino en sus valores, de la manera natural:
Suma ( ) ( ) ( )
k k k k k k k
x y x y + +
Producto por escalares ( ) ( )
k k k k
x x , .
Con estas operaciones de suma y producto por escalares, el conjunto de todas las
sucesiones de nmeros reales, que denotaremos

, adquiere la estructura de espacio vectorial

real.
Tambin se pueden multiplicar dos sucesiones trmino a trmino, o dividir si los trminos
del denominador no se anulan:
Producto ( ) ( ) ( )
k k k k k k k
x y x y
Cociente ( ) ( ) ( ) / /
k k k k k k k
x y x y (siempre que 0,
k
y k ).
4.1.2. Sucesiones montonas
La sucesin ( )
k k
x es creciente cuando
1 k k
x x
+
para todo k .
La sucesin ( )
k k
x es decreciente cuando
1 k k
x x
+
para todo k .
La sucesin ( )
k k
x es montona cuando es creciente o decreciente.
La sucesin ( )
k k
x es estrictamente creciente cuando
1 k k
x x
+
< para todo k .
La sucesin ( )
k k
x es estrictamente decreciente cuando
1 k k
x x
+
> para todo k .
La sucesin ( )
k k
x es estrictamente montona cuando es estrictamente creciente o
estrictamente decreciente.

4.1.3. Sucesiones acotadas
La sucesin ( )
k k
x es acotada superiormente cuando existe algn nmero M tal que
k
x M para todo k . En este caso, se dice que M es una cota superior de ( )
k k
x .
La sucesin ( )
k k
x es acotada inferiormente cuando existe algn nmero M tal que
k
x M para todo k . En este caso, se dice que M es una cota inferior de ( )
k k
x .
La sucesin ( )
k k
x es acotada cuando es acotada superior e inferiormente, o,
equivalentemente, cuando existe algn nmero M tal que
k
x M para todo k . En este
caso, se dice que M es una cota de ( )
k k
x .
4.1.4. Sucesiones convergentes
4.1.4.1. Concepto de lmite
Se dice que la sucesin ( )
k k
x es convergente cuando existe un nmero real
x
tal que para
cada 0 > se puede encontrar un ndice (en principio, dependiente de

) a partir del cual todos

los trminos se encuentran en el intervalo
( , ) x x +
. Dicho de otra manera, cuando satisface
la condicin
0, >
0
k / ,
k
x x <
0
k k .
En este caso, x se llama lmite de la sucesin ( )
k k
x , y se denota
k
x x
lim
k
k
x x

.
4.1.4.2. Propiedades de las sucesiones convergentes
El lmite de una sucesin convergente es nico.
Toda sucesin convergente es acotada.
Toda sucesin creciente y acotada superiormente es convergente.
Toda sucesin decreciente y acotada inferiormente es convergente.
La suma de dos sucesiones convergentes es otra sucesin convergente, y adems
lim( ) lim lim
k k k k
k k k
x y x y

+ +
.
El producto de dos sucesiones convergentes es otra sucesin convergente, y adems
lim( ) lim lim
k k k k
k k k
x y x y


.
El producto de un escalar por una sucesin convergente es otra sucesin convergente,
y adems
lim( ) lim
k k
k k
x x

.
El cociente de dos sucesiones convergentes es otra sucesin convergente, siempre que
est bien definida (i.e., los trminos del denominador no se anulen) y el lmite de la
sucesin del denominador sea distinto de 0. En este caso,
lim
lim
lim
k
k k
k
k k
k
x
x
y y

_

,
.
Si
( )
k k
x
es una sucesin convergente y f es una funcin continua, entonces la
sucesin ( ( ) )
k k
f x tambin es convergente, y adems,
lim ( ) (lim )
k k
k k
f x f x

.
4.1.5. Sucesiones de Cauchy
4.1.5.1. Concepto de sucesin de Cauchy
Se dice que la sucesin ( )
k k
x es de Cauchy cuando para cada 0 > existe un ndice (en
principio, dependiente de

) a partir del cual todos los trminos se encuentran entre s a

distancia menor que

. Dicho de otra manera, cuando satisface la condicin

0, >
0
k / ,
p q
x x <
0
, p q k .
4.1.5.2. Propiedades de las sucesiones de Cauchy
Toda sucesin de Cauchy es acotada.
Toda sucesin convergente es de Cauchy.
La suma de dos sucesiones de Cauchy es otra sucesin de Cauchy.
El producto de dos sucesiones de Cauchy es otra sucesin de Cauchy.
El producto de un escalar por una sucesin de Cauchy es otra sucesin de Cauchy.
4.1.5.3. Completitud
Toda sucesin de Cauchy de nmeros reales es convergente.
(Esta propiedad, equivalente a la propiedad del supremo, confiere a la condicin de
cuerpo completo.)
4.1.6. Sucesiones divergentes
4.1.6.1. Concepto de sucesin divergente
Se dice que la sucesin ( )
k k
x es divergente cuando para cada 0 M > se puede encontrar
un ndice (en principio, dependiente de M ) a partir del cual todos los trminos de la sucesin
tienen valor absoluto mayor que M . Dicho de otra manera, cuando satisface la condicin
0, M >
0
k /
k
x M >
0
k k .
En este caso se denota
k
x
lim
k
k
x


.
Se dice que la sucesin ( )
k k
x es divergente hacia + cuando para cada 0 M > se puede
encontrar un ndice (en principio, dependiente de M ) a partir del cual todos los trminos de la
sucesin son mayores que M . Dicho de otra manera, cuando satisface la condicin
0, M >
0
k /
k
x M >
0
k k .
En este caso se denota
k
x +
lim
k
k
x

+
.
Se dice que la sucesin ( )
k k
x es divergente hacia cuando para cada 0 K < se puede
encontrar un ndice (en principio, dependiente de K ) a partir del cual todos los trminos de la
sucesin son menores que K . Dicho de otra manera, cuando satisface la condicin
0, K <
0
k /
k
x K <
0
k k .
En este caso se denota
k
x
lim
k
k
x


.
4.1.6.2. Propiedades de las sucesiones divergentes
Una sucesin
( )
k k
x
es divergente cuando la sucesin ( )
k
k
x
de sus valores absolutos
es divergente hacia + , aunque ella misma no sea divergente hacia + ni divergente
hacia (por ejemplo, puede ser oscilante).
La suma de dos sucesiones divergentes hacia
+
(resp.

) tambin es divergente
hacia + (resp. ), pero la suma de dos sucesiones divergentes, en general, no es
necesariamente otra sucesin divergente.
El producto de dos sucesiones divergentes es otra sucesin divergente.
Una sucesin divergente no puede ser acotada.
Una sucesin creciente (resp. decreciente) y no acotada superiormente (resp.
inferiormente) es divergente hacia + (resp. ).
LMITES DE SUCESIONES VERSUS LMITES DE FUNCIONES
Una sucesin ( )
k k
x puede ser considerada como el conjunto de valores que toma una
funcin f en los nmeros naturales, i.e., ( )
k
x f k , k . Desde este punto de vista, si existe
lim ( )
y
f y x

, entonces existe
lim
k
k
x x

.
Por otra parte, si
k
x x , con x y
k
x x , x t , y tenemos una funcin g tal que
lim ( )
y x
g y b

, con b b t , entonces
lim ( )
k
k
g x b

.
En particular, una funcin g es continua en un punto a de su dominio sii
lim ( ) ( )
k
k
g x g a

para toda sucesin ( )
k k
x de puntos de su dominio tal que
k
x a .
INFINITSIMOS E INFINITOS
Se dice que una sucesin ( )
k k
x de nmeros reales es un infinitsimo cuando
lim 0
k
k
x

.
Dados dos infinitsimos, ( )
k k
x e ( )
k k
y ,
- se dice que ( )
k k
x e ( )
k k
y son equivalentes, y se denota
k k
x y , cuando
lim 1
k
k
k
x
y

- se dice que ( )
k k
x e ( )
k k
y son del mismo orden, y se denota
k k
x y : , cuando
lim
k
k
k
x
y

, con y 0
- se dice que ( )
k k
x es de orden mayor que ( )
k k
y , y se denota
k k
x y = , cuando
lim 0
k
k
k
x
y

.
Algunos de los infinitsimos equivalentes ms usados son:
- sin tg
k k k
x x x , ( 0)
k
x
-
2
1 cos
2
k
k
x
x , ( 0)
k
x
- ln(1 )
k k
x x + , ( 0)
k
x
- arc sin arc tg
k k k
x x x , ( 0)
k
x

Se dice que una sucesin ( )
k k
x de nmeros reales es un infinito cuando
lim
k
k
x


(i.e., cuando
es divergente).
Dados dos infinitos, ( )
k k
x e ( )
k k
y ,
- se dice que ( )
k k
x e ( )
k k
y son equivalentes, y se denota
k k
x y , cuando
lim 1
k
k
k
x
y

- se dice que ( )
k k
x e ( )
k k
y son del mismo orden, y se denota
k k
x y : , cuando
lim
k
k
k
x
y

, con y 0
- se dice que ( )
k k
x es de orden mayor que ( )
k k
y , y se denota
k k
x y ? , cuando
lim
k
k
k
x
y


.
Algunas de las relaciones entre infinitos ms usadas son:
- ln !
k k
k k k k

= = = = ( ) k , si 0 > y
1 >
- frmula de Stirling: 2 !
k k
e k k k

: ( ) k
SUCESIONES RELACIONADAS CON EL NMERO e
La sucesin
k
1
1
k
+
_

,
es montona y acotada, luego convergente; al valor de su lmite lo
denotaremos e.
Por tanto, se tiene:
- 2 < e < 3
- e =
k k p
k k
1 1
lim 1 lim 1
k k
+

+ +
_ _

, ,
, para cualquier
p
- e
-1
=
k k p
k k
1 1
lim 1 lim 1
k k
+


_ _

, ,
, para cualquier
p
.
ALGUNOS CRITERIOS DE CONVERGENCIA
Criterio de Stolz.- Sean ( )
k k
x e ( )
k k
y dos sucesiones de nmeros reales, con ( )
k k
y montona
(creciente o decreciente), que cumplen una de las dos siguientes propiedades:
(a) k k
k k
limx limy 0


(b) k
k
limy



Entonces, si existe el lmite
k 1 k
k
k 1 k
x x
lim
y y
+

+

, tambin existe el lmite

k
k
k
x
lim
y

y ambos lmites
coinciden. Esto es vlido incluso si el lmite es + o .
Criterio de la media aritmtica.- Si ( )
k k
x es una sucesin convergente de nmeros reales, la
sucesin de sus medias tambin converge, y se cumple
( )
1 k
k
k k
x ... x
lim limx
k

+ +

El recproco no es cierto.
Criterio de la media geomtrica.- Si ( )
k k
x es una sucesin convergente de nmeros reales
estrictamente positivos, la sucesin de sus medias geomtricas tambin converge, y se cumple
k
1 2 k k
k k
lim x x ...x limx

El recproco no es cierto.
Criterio de la raz.- Si ( )
k k
x es una sucesin de nmeros reales estrictamente positivos tal que
el cociente
k
k 1
k
x
x

_

,
converge, entonces ( )
k
k
k
x
tambin converge, y se cumple
k
k
k
k k
k 1
x
lim x lim
x

El recproco no es cierto.
Regla del emparedado.- Si ( )
k k
x , ( )
k k
y , ( )
k k
z son sucesiones tales que
k k k
x y z para todo
k , y
lim lim
k k
k k
x z x


, entonces
lim
k
k
y x

.
Como consecuencia, si ( )
k k
x e ( )
k k
y son dos sucesiones tales que ( )
k k
x est acotada y
lim 0
k
k
y

, entonces
lim 0
k
k
k
y x

. Es decir, el producto de una sucesin acotada por un

infinitsimo es un infinitsimo.
4.1. Ejercicios
E.4.1.1. Calcular los siguientes lmites en los casos en que existan:
(1)
( )
( )
n
2
n
1 n
lim
1 n

+
(2)
( )
( ) [ ]
n
3/ n n
lim
Ln n / n 1

+

(3)
( )
n
n
1
lim e

(4)
( )
3 2
n
n n
lim( )
n n 1 n 2

+ +
(5)
n
2n 1
n 5
lim
n

+
+
_

,
(6)
( )
( )
n
2
n
2
n
n 1 n
lim
n 1 n

+

(7)
( )
n
n
n
1
lim , r 0
r

>
(8)
n
lim( n 1 n)

+
(9)
n
7n 2
3n 5
lim
2n

+

_

,
(10)
( )
n
n n 1
2
n 1 1
lim
n n 1

+

+
_

,
(11)
n
sen(nx)
lim , x
n

(12)
n
n
2 n
lim
1 3n

+
+
_

,

(13)
( )
n
1 2 3 ... n
lim
ln n

+ + + +
(14)
n
n
n!
lim
n

(15)
n
1
lim cot g
n! 4n 2

+
_

,
(16)
n
n
lim ,
n!

(17)
n n
n
n
lim , , ,

+
+ <
(18)
( )
n
ln n
lim ,
n

(19)
1/
lim(ln )
n
n
n

(20)
n
n
lim , 1, 0
n

> >
(21)
2 100
3
n
n n! n
lim
n! n

+ +
+
(22)
2
n
n
lim 2 4 ... 2n


(23)
n
1 2! ... n!
lim
n!

+ + +
(24)
1
n
1 2 3 ... n
lim , 0
n

+

+ + + +
>
(25)
( ) ( )
n
n
n 1 ... n n
lim
n

+ +
(27)
k n k
n
n
lim 1 , k , 0
k n n

>
_
_ _

, ,
,

(28)
( ) ( ) ( )
2
2
n
sen 4sen / 2 ... n sen / n
lim
n


+ + +
(29)
( ) ( ) ( )
3
3 2
n / 2 3
n
n Ln n sen 2/ n tg / 4n 2
lim
2e n

+ +
+
1 1
]
]
E.4.1.2. Utilizar una sucesin para calcular, sabiendo que existe, el lmite
0
lim
h
a h a
h

+
.
E.4.1.3. Encontrar dos sucesiones que nos permitan asegurar que el lmite
1/ 1/
1/ 1/
0
lim
x x
x x
x
e e
e e

+

no existe. Id. Para el lmite
0
lim
x
sen
x

.
E.4.1.4. Estudiar la convergencia de las siguientes sucesiones numricas definidas por
recurrencia y calcular su lmite, si procede:
n 1 n 0
x 3x , x 1
+

x
n+1
= x
n ,
R
x
n+1
= 1 + (x
n
/2) ,
0
x 0
x
n+1
= ( x
n
+ x
n-1
) / 2 ,
0
x 1 , x
1
= 2
n 1 n 0
x a x , a 0 , x a
+
+ >
x
n+1
= x
n
+ (1/ x
n
) 1 , x
1
= 2.
E.4.1.5. Sea la sucesin definida por recurrencia
2
1
1
4
n n
x x
+
+ , con
1
0 x > dado.
a) Suponiendo que ( )
n n
x sea convergente, calcular su lmite.
b) Demostrar que ( )
n n
x es estrictamente montona, salvo cuando
1
1/ 2 x .
c) Determinar, en funcin del valor de
1
x , cundo ( )
n n
x es convergente.
E.4.1.6. Demostrar que el rea de un polgono regular inscrito en un crculo tiende al rea
del crculo cuando el nmero de lados tiende a infinito.
E.4.1.7. Se dice que una sucesin ( )
n n
x de nmeros reales es contractiva si existe una
constante k , 0 1 k < < , tal que
1 1 n n n n
x x k x x
+
para todo n .
a) Demostrar que toda sucesin contractiva es convergente.
b) Deducir que toda funcin contractiva de [ ] 0,1 en [ ] 0,1 tiene un nico punto fijo.
E.4.1.8. Consideremos una pareja de conejos recin nacidos, macho y hembra, y
pongmoslos en un prado para que se reproduzcan. Cada pareja tendr nuevas cras a los
dos meses de edad. Supongamos que nuestros conejos no mueren nunca y que cada
hembra pare una nueva pareja (macho y hembra) de conejos cada mes.
Cuntas parejas habr al cabo de un ao? Y al cabo de k aos?
Abreviando, cul es la sucesin que determina el nmero de parejas en funcin de
los meses transcurridos? Es convergente esta sucesin? Qu tipo de comportamiento
tiene?
Si consideramos ahora la sucesin dada por los cocientes entre dos trminos
consecutivos de la anterior, es convergente esta nueva sucesin? En caso afirmativo,
calcula su lmite.
Consideremos ahora un rectngulo de lado mayor a y lado menor b tal que, si se
elimina de l un cuadrado de lado b, el rectngulo restante mantiene la misma relacin
entre sus lados que el original. Calcula el valor de dicha relacin entre sus lados.
Qu tiene que ver esto con los conejos?
4.2. Sucesiones de valores vectoriales
4.2.1. Definicin, rango y operaciones algebraicas
Formalmente, una sucesin de valores vectoriales en dimensin n es una aplicacin
:
n
s
, que a cada nmero natural k le asocia un vector de
n

que denotaremos
( ) k
x
. Dicha
sucesin se denotar
( )
( )
k
k
x

o simplemente
( )
( )
k
k
x .
Observemos que cada trmino de la sucesin es ahora de la forma
( ) ( ) ( )
1
( , ..., )
k k k
n
x x x ,
k , con lo cual una sucesin de valores en
n

se corresponde con n sucesiones de valores

reales.
El rango y las operaciones algebraicas de suma, producto escalar y producto por escalares
de sucesiones con valores en
n

se definen anlogamente al caso de sucesiones de nmeros

reales.
4.2.2. Sucesiones acotadas
La sucesin
( )
( )
k
k
x es acotada cuando existe algn nmero M tal que
( ) k
x M para
todo k (i.e., cuando la sucesin de sus normas es acotada). En este caso, se dice que M es
una cota de
( )
( )
k
k
x .
Una sucesin vectorial
( )
( )
k
k
x es acotada sii las n sucesiones de sus coordenadas,
( )
( )
k
i k
x ,
son acotadas.
(Por tanto, las propiedades de las sucesiones numricas acotadas se transmiten a las
sucesiones vectoriales acotadas.)
4.2.3. Sucesiones convergentes
Se dice que la sucesin
( )
( )
k
k
x es convergente cuando existe un vector
n
x
tal que
para cada 0 > se puede encontrar un ndice (en principio, dependiente de

) a partir del cual

todos los trminos se encuentran en la bola de centro
x
y radio

. Dicho de otra manera, cuando

satisface la condicin
0, >
0
k /
( )
,
k
x x <
0
k k .
En este caso, x se llama lmite de la sucesin
( )
( )
k
k
x , y se denota
( )
lim
k
k
x x

.
La sucesin vectorial
( )
( )
k
k
x
es convergente sii
( )
( )
k
i k
x
es convergente para cada
1, ..., i n . Adems,
( )
lim
k
k
x x

sii
( )
lim
k
k
i i
x x

para cada 1, ..., i n .

(Por tanto, las propiedades de las sucesiones numricas convergentes se transmiten a
las sucesiones vectoriales convergentes.)
4.2.4. Sucesiones de Cauchy
Se dice que la sucesin
( )
( )
k
k
x es de Cauchy cuando para cada 0 > existe un ndice (en
principio, dependiente de

) a partir del cual todos los trminos se encuentran entre s a

distancia menor que

. Dicho de otra manera, cuando satisface la condicin

0, >
0
k /
( ) ( )
,
p q
x x <
0
, p q k .
La sucesin vectorial
( )
( )
k
k
x
es de Cauchy sii
( )
( )
k
i k
x
es de Cauchy para cada
1, ..., i n
.
(Por tanto, las propiedades de las sucesiones vectoriales de Cauchy se heredan
coordenada a coordenada de las correspondientes propiedades de las sucesiones de
Cauchy de nmeros reales.)
Toda sucesin de Cauchy de elementos de
n
es convergente.
(Por esta razn se dice que el espacio eucldeo n-dimensional
n

es completo.)
4.2.5. Sucesiones divergentes
Se dice que la sucesin
( )
( )
k
k
x es divergente cuando para cada 0 M > se puede
encontrar un ndice (en principio, dependiente de M ) a partir del cual todos los trminos de la
sucesin tienen norma mayor que M . Dicho de otra manera, cuando satisface la condicin
0, M >
0
k /
( ) k
x M >
0
k k .
En este caso se denota
( ) k
x

( )
lim
k
k
x


.
A diferencia de lo que ocurre con las sucesiones divergentes de nmeros reales, en el
caso vectorial no podemos hablar de divergencia hacia + hacia . La divergencia, en este
caso, supone una tendencia de alejamiento de sus trminos del origen, sin aludir a una direccin
concreta. (Ver ejercicio E.4.2.2.)
4.2. Ejercicios
E.4.2.1. Dada la sucesin
( )
( )
k
k
x en
n

, con
( ) ( ) ( )
1
( , ..., )
k k k
n
x x x para cada k , probar
que
(i)
( )
( )
k
k
x es acotada sii
( )
( )
k
i k
x es acotada para cada 1, ..., i n
(ii)
( )
( )
k
k
x es convergente sii
( )
( )
k
i k
x es convergente para cada 1, ..., i n
(iii)
( )
( )
k
k
x es de Cauchy sii
( )
( )
k
i k
x es de Cauchy para cada 1, ..., i n
E.4.2.2. Sea
( )
( )
k
k
x una sucesin en
n

, con
( ) ( ) ( )
1
( , ..., )
k k k
n
x x x para cada k .
(i) Probar que si
( )
( )
k
i k
x es divergente, para algn 1, ..., i n , entonces
( )
( )
k
k
x es
divergente.
(ii) Poner un ejemplo en el que
( )
( )
k
k
x sea divergente y
( )
( )
k
i k
x no lo sea para ningn
1, ..., i n .
E.4.2.3. Para cada una de las afirmaciones siguientes acerca de sucesiones de valores
vectoriales, decidir si es verdadera o falsa. En caso de que sea verdadera, probarlo, y en
caso de que sea falsa, poner un contraejemplo:
(i) La suma de dos sucesiones acotadas es otra sucesin acotada.
(ii) El producto escalar de dos sucesiones acotadas es una sucesin numrica acotada.
(iii) El producto de una sucesin acotada por un escalar es otra sucesin acotada.
(iv) Toda sucesin convergente es acotada.
(v) Toda sucesin acotada es convergente.
(vi) Toda sucesin de Cauchy es acotada.
(vii) La suma de dos sucesiones convergentes es convergente.
(viii) La suma de dos sucesiones divergentes es divergente.
(ix) El producto de una sucesin divergente por un escalar es otra sucesin divergente.
(x) El producto escalar de dos sucesiones divergentes es una sucesin numrica
divergente.
E.4.2.4. Estudiar la convergencia de la sucesin de puntos del plano ( ) ( , )
k k
k
x y
definida
por recurrencia mediante las expresiones
0
1
4
x ,
0
1
2
y ,
1 n n n
x x y
+
,
1
1
2
n n n
y x y
+
+ .
E.4.2.5. Estudiar la convergencia de la sucesin de puntos del plano ( ) ( , )
k k
k
x y
definida
por recurrencia mediante las expresiones
0
1 x ,
0
1 y ,
1 n n n
x x y
+
+ ,
1
1
n n
y x
+
.
4.3. Series numricas

4.3.1. Generalidades
Una serie numrica es un par de sucesiones de nmeros reales, ( ) ( ) , ( )
n n n n
x S , tales que
0
0 1
...
n
n n k
k
S x x x x

+ +

, para cada n . La serie se suele denotar
0
k
k
x

, o simplemente,
k
x

.
Se llama trmino general de la serie
0
k
k
x

al trmino general de la primera sucesin, es

decir,
n
x .
Se llama suma parcial n-sima de la serie
0
k
k
x

al trmino general de la segunda

sucesin, es decir,
n
S .
Se llama resto de orden n de la serie
0
k
k
x

a la nueva serie
1
k
k n
n
x R

+

.
Las series se pueden operar de la siguiente manera:
Suma
0
k
k
x

+
0
k
k
y

=
0
( )
k
k
k
x y

Producto por escalares

0 0
k k
k k
x x

,
Producto de Cauchy
0 0 0 0
j
k k j k j
k k k j
x x y y

_ _ _

, , ,

Se llama carcter de una serie a su condicin de serie convergente, divergente u oscilante
(entenderemos por oscilantes las series que no sean convergentes ni divergentes).
Es importante observar que el carcter de una serie no se altera si se le aaden o se le
suprimen una cantidad finita de trminos.
4.3.2. Series convergentes
Se dice que la serie
0
k
k
x

es convergente cuando es convergente la sucesin ( )

n n
S de sus
sumas parciales. En este caso, se llama suma total de la serie al lmite de dicha sucesin, y se
denota
0
lim
k
k
n
n
x S S

.
Propiedades de las series convergentes
Si la serie
0
k
k
x

es convergente, entonces su trmino general tiende a 0.

Si la serie
0
k
k
x

es convergente, entonces las series de sus restos son todas

convergentes, y
n n
R S S , para cada n .
La suma de dos series convergentes es otra serie convergente, y
0
k
k
x

+
0
k
k
y

=
0
( )
k
k
k
x y

.
El producto de una serie convergente por un escalar es otra serie convergente, y
0 0
k k
k k
x x

.
El producto de Cauchy de dos series convergentes es otra serie convergente, y la suma
total del producto es igual al producto de las sumas totales de los factores.
4.3.3. Series divergentes
Se dice que la serie
0
k
k
x

es divergente cuando es divergente la sucesin ( )

n n
S de sus
sumas parciales, i.e.,
lim
n
n
S

+

lim
n
n
S


Propiedades de las series divergentes
Si una serie es divergente, entonces las series de sus restos son todas divergentes.
La suma de dos series divergentes no es necesariamente otra serie divergente.
La suma de una serie convergente y otra divergente es divergente.
El producto de una serie convergente por un escalar no nulo es otra serie divergente.
El producto de Cauchy de dos series divergentes no es necesariamente otra serie
divergente.
El producto de Cauchy de una serie divergente por una convergente (cuya suma no sea
nula) es otra serie divergente.
4.3.4. Series de trminos positivos
Se dice que la serie
0
k
k
x

es de trminos positivos cuando 0

k
x para todo k (o
para todos salvo una cantidad finita).
Una serie de trminos positivos tiene la particularidad de que la sucesin de sus sumas
parciales es montona creciente, y, por tanto, convergente o divergente hacia + . En
consecuencia, dicha serie slo puede ser convergente o divergente, y ser convergente sii la
sucesin de sus sumas parciales est acotada.
CRITERIOS DE CONVERGENCIA
PARA SERIES DE TRMINOS POSITIVOS
C.4.3.4.1. Criterio de comparacin trmino a trmino.- Sean
0
k
k
x

,
0
k
k
y

dos series de
trminos positivos, tales que
n n
x y para todo
0
n n .
(i) Si
0
k
k
y

es convergente, entonces
0
k
k
x

tambin es convergente.
(ii) Si
0
k
k
x

es divergente, entonces
0
k
k
y

tambin es divergente.
C.4.3.4.2. Criterio de comparacin por paso al lmite.- Sean
0
k
k
x

,
0
k
k
y

dos series de
trminos positivos, tales que 0
n
y > para todo
0
n n y existe
lim
k
k
k
x
y

.
(i) Si y
0
k
k
y

converge, entonces
0
k
k
x

tambin converge.
(ii) Si

+

+ y
0
k
k
y

diverge, entonces
0
k
k
x

tambin diverge.
C.4.3.4.3. Criterio logartmico.- Sea
0
k
k
x

una serie de trminos positivos, no nulos, tal que

lim 0
k
k
x

y existe
ln
lim
ln
k
k
x
k


( )
(i) Si 1 > , entonces la serie
0
k
k
x

es convergente.
(ii) Si 1 < , entonces la serie
0
k
k
x

es divergente.
C.4.3.4.4. Criterio del cociente.- Sea
0
k
k
x

una serie de trminos positivos, no nulos, tal que

existe
1
lim
k
k
k
x
x

+

( + )
(i) Si 1 < , entonces la serie
0
k
k
x

es convergente.
(ii) Si 1 > , entonces la serie
0
k
k
x

es divergente.
C.4.3.4.5. Criterio de la raz.- Sea
0
k
k
x

una serie de trminos positivos tal que existe

lim
k
k
k
x

( + )
(i) Si 1 < , entonces la serie
0
k
k
x

es convergente.
(ii) Si 1 > , entonces la serie
0
k
k
x

es divergente.
C.4.3.4.6. Criterio de Raabe.- Sea
0
k
k
x

una serie de trminos positivos, no nulos, tal que existe

1
lim 1
k
k
k
x
x
k

+

_

,
( + )
(i) Si 1 > , entonces la serie
0
k
k
x

es convergente.
(ii) Si 1 < , entonces la serie
0
k
k
x

es divergente.
C.4.3.4.7. Criterio de Pringsheim.- Sea
0
k
k
x

una serie de trminos positivos tal que existe

lim
k
k
k x

( + ), para algn .
(i) Si 1 > y , entonces la serie
0
k
k
x

es convergente.
(ii) Si 1 y 0 > , entonces la serie
0
k
k
x

es divergente.
C.4.3.4.8. Criterio de condensacin de Cauchy.- Sea
0
k
k
x

una serie de trminos positivos tal

que la sucesin ( )
k k
x es montona decreciente. Entonces
0
k
k
x

es convergente sii
2
0
2
k
k
k
x

es
convergente.
4.3.5. Series alternadas
Se dice que la serie
0
k
k
x

es alternada cuando
1
( 1)
k
k k
x a
+
, con 0
k
a para todo
k (o para todos salvo una cantidad finita).
CRITERIO DE CONVERGENCIA
PARA SERIES ALTERNADAS
C.4.3.5.1. La serie alternada
1
0
( 1)
k
k
k
a

es convergente sii la sucesin ( )

k k
a es
decreciente y converge a 0.
4.3.6. Series de trminos arbitrarios
En general, para una serie que no sea de trminos positivos ni negativos ni alternada,
tenemos dos criterios de convergencia basados en la frmula de sumacin de Abel,
1 1 1 1
1 1
( ... ) ( ... )( )
n n
k k n n k k k
k k
x y x x y x x y y
+ +

+ + + +

.
CRITERIOS DE CONVERGENCIA
PARA SERIES DE TRMINOS ARBITRARIOS
C.4.3.6.1. Criterio de Dirichlet.- Sea
1
k k
k
x y

una serie tal que la sucesin de sumas

parciales de la serie
1
k
k
x

es acotada y la sucesin ( )
k k
y es decreciente y convergente a 0.
Entonces,
1
k k
k
x y

es convergente.
C.4.3.6.2. Criterio de Abel.- Si
1
k
k
x

es una serie convergente e ( )

k k
y es una sucesin
montona y acotada, entonces la serie
1
k k
k
x y

es convergente.
4.3.7. Convergencia absoluta y convergencia incondicional
Se dice que la serie
0
k
k
x

es absolutamente convergente cuando la serie

0 k
k
x

es
convergente.
Se dice que la serie
0
k
k
x

es incondicionalmente convergente cuando cualquier

reordenacin suya es convergente.
Propiedades de la convergencia absoluta e incondicional
Toda serie absolutamente convergente es convergente.
No toda serie convergente es absolutamente convergente.
Toda serie absolutamente convergente es incondicionalmente convergente.
Toda serie incondicionalmente convergente es absolutamente convergente.
No toda serie convergente es incondicionalmente convergente.
Si una serie no es incondicionalmente convergente, admite reordenaciones divergentes
y convergentes hacia cualquier nmero real.
ALGUNAS SERIES CONOCIDAS
La serie armnica:
1
1
k
k

converge sii 1 > .

Para
1
, la serie no es convergente, pero
1
1
lim ln
n
n
k
n
k

_

,
, donde

es una
constante, llamada constante de Euler, que verifica
0.5 0.6 < <
.
Para
2
,
2
2
1
6
1
k
k

.
La serie armnica alternada:
1
1
( 1)
k
k
k

converge sii 0 > .

Para
1 >
,
1
1
( 1)
k
k
k

converge absolutamente.
Para
1
,
1
1
( 1)
ln 2
k
k
k
+

.
La serie geomtrica:
0
k
k
r

converge (y converge absolutamente) sii 1 r < .

Para 1 1 r < < ,
0
1
1
k
k
r
r

y
1
k
k p
p
r
r
r

.
Para 1 r ,
0
k
k
r

es una serie de trminos positivos divergente.

La serie factorial:
0
1
!
k
k

es convergente.

0
1
!
k
e
k

La serie aritmtico-geomtrica:
0
( )
k
k
P k r

, donde
( ) P k
es un polinomio en k,
converge (y converge absolutamente) sii 1 r < .
La serie telescpica:
1
1
( )
k k
k
a a

converge sii la sucesin ( )

k k
a es convergente.

1 0
1
( ) lim
k k k
k
k
a a a a

.
4.3. Ejercicios
E.4.3.1. Estudiar el carcter de las siguientes series:
(1)
1
n
n
n

(8)
1
!
n
n
n

(15)
1
1
ln ) (
n
n n

(2)
1
!
n
n
n

(9)
2
2
1
(ln ) ln(ln )
n
n n n

(16)
1
2
n
n
n

_

,

(3)
1
1
n
n n

(10)
3
1
1
cos
n
n

_

,

(17)
1
ln
1
(1 2 / )
n
n n
n

(4)
( ) ( ) 1
1
1 2
n
n
n n n

+ +
(11)
3
1
1
sin
n
n

_

,

(18)
1
2 !
n
n
n
n
n

(5)
( ) 1
!
1
n
n
n
n

+
(12)
( ) 1
1.3.5...(2 1)
(2.4....2 ) 1
n
n
n n

(19)
1
2
2
n
n
n

(6)
2
1
1
ln 2
n
n
sen n
n

+
+

(13)
( )
1
cos
3
n
n
n n

(20)
( ) 1
( 1)!
( 1)...
n
n
n

+
+ +

(7) ( )
1
3
1
2
n
n
n
n

(14)
( )
1
sin
n
n
n

(21)
ln
1
n
n

E.4.3.2. Calcular la suma de las siguientes series en los casos en que sean
convergentes :
(1)
( )
2
1
2 3
( 1 )
n
n
n n

+
+

(2)
2
1
2 3
2.3
n
n
n

(3)
2
1
2 1
!3
n
n
n n
n

(4)
1
1
!( 2)
n
n
n n

(5)
2
2
2
4 2
( 2)( 1)
n
n n
n n n

+
+

(6)
3
1
3 1
4
n
n
n n

E.4.3.3. Estudiar el carcter de las siguientes series segn el valor del parmetro x y
sumarlas donde sea posible:
(1)
0
n
n
x

(2)
0
n
n
nx

(3)
0
2 n
n
n x

(4)
0
4
n
n
n
x

(5)
0
2
( 3 1)
n
n
x n n

E.4.3.4. Dada la serie
1
1
( 1)
n
n n
+

, demostrar que es convergente, pero no

incondicionalmente convergente, y buscar una reordenacin que diverja.
4.4. Sucesiones de funciones
4.4.1. Concepto de sucesin funcional
Sea
n
A
y supongamos que para cada k tenemos una funcin :
n
k
f A .
As, para cada x A , tenemos una sucesin de nmeros reales ( ) ( )
k
k
f x
.
Por tanto, una sucesin de funciones es un conjunto de funciones definidas en el mismo
dominio y ordenadas segn los nmeros naturales, al que denotaremos ( )
k k
f .
Las sucesiones de funciones heredan muchas de las propiedades de las sucesiones
numricas, y, como aqullas, se pueden sumar, multiplicar por escalares y multiplicar entre s,
realizndose las operaciones ndice a ndice y punto a punto.
Diremos que la sucesin de funciones ( )
k k
f es montona creciente (resp. decreciente) en
A si para cada x A la sucesin numrica ( ) ( )
k
k
f x
es montona creciente (resp. decreciente),
i.e.,
1
( ) ( )
k k
f x f x
+
para todo k y para todo x A .
Diremos que la sucesin de funciones ( )
k k
f es puntualmente acotada en A si para cada
x A la sucesin numrica ( ) ( )
k
k
f x
es acotada, i.e., existe una cota
( ) M x
tal que
( ) ( )
k
f x M x , para todo k .
Diremos que la sucesin de funciones ( )
k k
f es uniformemente acotada en A si existe una
cota M tal que ( )
k
f x M , para todo k y para todo x A .
Es claro que si ( )
k k
f es uniformemente acotada en A, entonces tambin es puntualmente
acotada en A.
4.4.2. Convergencia puntual de una sucesin de funciones
Diremos que la sucesin de funciones ( )
k k
f es puntualmente convergente en A si para
cada x A la sucesin numrica ( ) ( )
k
k
f x
es convergente, i.e., existe
lim ( )
k
k
f x


. Como el
valor de dicho lmite depender de x, se nos define as una nueva funcin :
n
f A , dada
por
( ) lim ( )
k
k
f x f x

, a la que llamaremos lmite puntual de la sucesin ( )

k k
f , y denotaremos
k
f f (punt. en A), o sencillamente
k
f f . En este caso, se cumple la condicin de
convergencia
0 0
, 0, ( , ) / ( ) ( ) ,
k
x A k x f x f x k k > < .
Propiedades de las sucesiones puntualmente convergentes
El lmite de una sucesin de funciones puntualmente convergente es una nica
funcin.
Toda sucesin de funciones puntualmente convergente es puntualmente acotada.
Toda sucesin de funciones montona y puntualmente acotada es puntualmente
convergente.
La suma o el producto de dos sucesiones puntualmente convergentes son tambin
sucesiones puntualmente convergentes.
4.4.3. Convergencia uniforme de una sucesin de funciones
Diremos que la sucesin de funciones ( )
k k
f es uniformemente convergente en A si es
puntualmente convergente en A y adems la funcin lmite,
( ) lim ( )
k
k
f x f x

, cumple la
condicin
0 0
0, ( ) / ( ) ( ) , ,
k
k f x f x k k x A > < .
En este caso, denotamos
k
f f (unif. en A).
Propiedades de las sucesiones uniformemente convergentes
Toda sucesin de funciones uniformemente convergente es puntualmente convergente
hacia el mismo lmite.
Toda sucesin uniformemente convergente de funciones acotadas es uniformemente
acotada.
La suma o el producto de dos sucesiones uniformemente convergentes son tambin
sucesiones uniformemente convergentes.
Criterio

de convergencia uniforme de una sucesin de funciones.-Sea ( )

k k
f una
sucesin de funciones puntualmente convergente hacia una funcin f en A, y supongamos que
{ } sup ( ) ( ) :
k k
f x f x x A , para cada k . Entonces
k
f f (unif. en A) sii
lim 0
k
k

.
Convergencia uniforme y acotacin
Sea ( )
k k
f una sucesin de funciones uniformemente convergente hacia una funcin f en A.
Si cada una de las
k
f es acotada en A, entonces f es acotada en A.
Convergencia uniforme y continuidad
Sea ( )
k k
f una sucesin de funciones uniformemente convergente hacia una funcin f en A,
y sea a A . Si para cada una de las
k
f existe
lim ( )
k
x a
f x

, entonces existe
lim ( )
x a
f x

, y adems,
( ) ( )
lim lim ( ) lim lim ( )
k k
k x a x a k
f x f x

.
Sea ( )
k k
f una sucesin de funciones uniformemente convergente hacia una funcin f en A.
Si cada una de las
k
f es continua en un punto a A (resp, en A), entonces f es continua en
a

(resp, en A).
Convergencia uniforme e integracin
Sea ( )
k k
f una sucesin de funciones uniformemente convergente hacia una funcin f en un
intervalo compacto real [ ] , a b . Si cada una de las
k
f es integrable en [ ] , a b , entonces f es
integrable en [ ] , a b , y adems,
lim ( ) lim ( )
b b
k k
a a k k
f x dx f x dx

.
Convergencia uniforme y derivacin
Sea ( )
k k
f una sucesin de funciones definidas en un intervalo abierto real
( , ) a b
. Si
cada una de las
k
f es derivable en
( , ) a b
, existe algn punto
0
( , ) x a b tal que la sucesin
numrica ( )
0
( )
k
k
f x
es convergente y la sucesin de sus derivadas, ( )
k k
f , converge
uniformemente en
( , ) a b
, entonces ( )
k k
f converge uniformemente hacia una funcin f en
( , ) a b
,
f es derivable en
( , ) a b
, y adems,
( )
lim lim ( ) ( )
k k
f x f x

.
4.4. Ejercicios
E.4.4.1. Estudiar la convergencia puntual y uniforme de las siguientes sucesiones de
funciones:
(1) ( )
n
x
f x
n

(2) ( )
n
f x nx
(3)
1
( )
n
f x x
n
+
(4) ( )
n
n
f x x
(5)
2
( ) (1 )
n
n
f x n x x , para [ ] 0,1 x
(6) ( ) (1 )
n
n
f x nx x , para [ ] 0,1 x
(7) ( ) ( )
n
n
f x senx , para [ ] 0, 2 x
(8) ( ) (cos )
n
n
f x n x senx , para [ ] 0, / 2 x
(9)
2 2
3
( ) 2
n
n x
f x x
n

+ , para
0
x
+

(10) ( )
nx
n
f x xe

, para
0
x
+

(11)
2
2 4
2
( )
1
n
nx
f x
n x

+
, para
0
x
+

(12) ( )
nx
n
f x nxe

, para
0
x
+

(13)
2
( )
nx
n
f x n xe

, para
0
x
+
.
4.5. Series de funciones
4.5.1. Concepto de serie funcional
Sea
n
A
y supongamos que para cada k tenemos una funcin :
n
k
f A .
As, para cada x A , tenemos una serie de nmeros reales
1
( )
k
k
f x

.
Por tanto, una serie de funciones consiste en un par de sucesiones de funciones definidas
en el mismo dominio A, ( ) ( ) , ( )
k k k k
f S , tales que
1
( ) ( ) ... ( )
k k
S x f x f x + + , para cada x A y
para cada k . La denotaremos
1
k
k
f

.
Las series de funciones heredan muchas de las propiedades de las series numricas, y,
como aqullas, se pueden sumar, multiplicar por escalares y multiplicar entre s, realizndose las
operaciones punto a punto.
4.5.2. Convergencia puntual de una serie de funciones
Diremos que la serie de funciones
1
k
k
f

es puntualmente convergente en A si para cada

x A la serie numrica
1
( )
k
k
f x

es convergente, i.e., la sucesin de funciones ( )

p
p
S
, donde
1
( ) ( )
p
k
k
p
f x S x

es la suma parcial p-sima de la serie, es puntualmente convergente en A.
Como el valor de la suma total depender de x, se nos define as una nueva funcin
:
n
f A , dada por
1
( ) ( )
k
k
f x f x

a la que llamaremos suma de la serie
1
( )
k
k
f x

, y
denotaremos
1
k
k
f f

(punt. en A), o sencillamente
1
k
k
f f

. En este caso, se cumple la
condicin de convergencia
0 0
1
, 0, ( , ) / ( ) ( ) ,
p
k
k
x A k x f x f x p k

> <

.
Propiedades de las series puntualmente convergentes
La suma total de una serie de funciones puntualmente convergente es una nica
funcin.
El producto de una serie puntualmente convergente por un escalar es tambin una serie
puntualmente convergente.
La suma y el producto de Cauchy de dos series puntualmente convergentes son
tambin series puntualmente convergentes.
4.5.3. Convergencia uniforme de una serie de funciones
Diremos que la serie de funciones
1
k
k
f

es uniformemente convergente en A si es
puntualmente convergente en A y adems la sucesin ( )
p
p
S
de sus sumas parciales es
uniformemente convergente en A. En este caso, denotamos
1
k
k
f f

(unif. en A), y se cumple
la condicin
0 0
1
0, ( ) / ( ) ( ) , ,
p
k
k
k f x f x p k x A

> <

.
Propiedades de las series uniformemente convergentes
Toda serie de funciones uniformemente convergente es puntualmente convergente
hacia la misma suma.
El producto de una serie uniformemente convergente por un escalar es tambin una
serie uniformemente convergente.
La suma o el producto de Cauchy de dos series uniformemente convergentes son
tambin series uniformemente convergentes.
Criterio M de Weierstrass de convergencia uniforme de una serie de funciones.-Sea
1
k
k
f

una serie de funciones puntualmente convergente hacia una funcin f en A, y pongamos

{ } sup ( ) :
k k
M f x x A , para cada k ( 0
k
M + ). Si todos los
k
M son finitos y la
serie numrica de trminos positivos
1
k
k
M

es convergente, entonces
1
k
k
f

converge absoluta
y uniformemente en A.
Convergencia uniforme y continuidad
Sea
1
k
k
f

una serie de funciones uniformemente convergente hacia una funcin f en A, y

sea a A . Si para cada una de las
k
f existe
lim ( )
k
x a
f x

, entonces existe
lim ( )
x a
f x

, y adems,
( )
1 1
lim ( ) lim ( )
k k
x a x a
k k
f x f x



_

,

.
Sea
1
k
k
f

una serie de funciones uniformemente convergente hacia una funcin f en A. Si

cada una de las
k
f es continua en un punto a A (resp, en A), entonces f es continua en
a

(resp, en A).
Convergencia uniforme e integracin
Sea
1
k
k
f

una serie de funciones uniformemente convergente hacia una funcin f en un

intervalo compacto real [ ] , a b . Si cada una de las
k
f es integrable en [ ] , a b , entonces f es
integrable en [ ] , a b , y adems,
1 1
( ) ( )
b b
k
a a
k
k k
f x dx dx f x

.
Convergencia uniforme y derivacin
Sea
1
k
k
f

una serie de funciones definidas en un intervalo abierto real

( , ) a b
. Si cada
una de las
k
f es derivable en
( , ) a b
, existe algn punto
0
( , ) x a b tal que la serie numrica
0
1
( )
k
k
f x

es convergente y la serie de sus derivadas,

1

k
k
f

, converge uniformemente en
( , ) a b
,
entonces
1
k
k
f

converge uniformemente hacia una funcin f en

( , ) a b
, f es derivable en
( , ) a b
,
y adems,
1 1
( ) ( )
k k
f x f x

_

,

.
4.5.4. Series de potencias
Se llama serie de potencias a una serie de funciones del tipo
0
n
n
n
a x

, donde ( )
n n
a es una
sucesin cualquiera de nmeros reales y x es una variable real.
Como se puede observar, en este caso la funcin que constituye el trmino general de la
serie es de la forma ( )
n
n n
f x a x y la suma parcial es un polinomio
0 1
( ) ...
n
n n
S x a a x a x + + + .
(La serie de potencias
0
n
n
n
a x

est centrada en 0, pero puede tambin estar centrada en

cualquier punto
0
x , en cuyo caso adquiere la expresin
0
0
( )
n
n
n
a x x

. Para pasar de la una

a la otra, basta hacer el cambio de variable
0
y x x .)
Teorema de Cauchy-Hadamard
Dada una serie de potencias,
0
n
n
n
a x

, existe un
0

+
(i.e.,
0
), tal que
- la serie converge absolutamente en el intervalo
( , )
- la serie converge uniformemente en cada subintervalo compacto de
( , )
- la serie no converge en ningn punto de
( , ) ( , ) +
.
(Cuando
+
, no se puede asegurar si la serie converge o no en los puntos
x
y
x
.)
El valor de

anterior evidentemente es nico, y se llama radio de convergencia de la

serie de potencias
0
n
n
n
a x

.
Cuando existe el lmite lim
n
n
n
a l

, el valor de

es
1/ l
, entendiendo que
+

si 0 l y que
0
si l + .
Continuidad de una serie de potencias
Si
0
n
n
n
a x

es una serie de potencias con radio de convergencia

, entonces la funcin f
definida por
0
( )
n
n
n
f x a x

es continua en su dominio de convergencia.
Derivabilidad de una serie de potencias
Si
0
n
n
n
a x

es una serie de potencias con radio de convergencia

, entonces
la funcin f definida por
0
( )
n
n
n
f x a x

es derivable en
( , )
,
la serie
1
1
n
n
n
na x

tambin tiene radio de convergencia

y
1
1
( )
n
n
n
f x na x

.
Integrabilidad de una serie de potencias
Si
0
n
n
n
a x

es una serie de potencias con radio de convergencia

, entonces
la funcin f definida por
0
( )
n
n
n
f x a x

es integrable en todo intervalo [ ] , ( , ) a b ,
la serie
1
0
1
n
n
n
x
n
a

tambin tiene radio de convergencia

y
1
0
( )
1
n
n
b
n
a
f x dx x
n
a

.
4.5. Ejercicios
E.4.5.1. Estudiar la convergencia y la convergencia absoluta de las siguientes series de
potencias:
(1)
1
1
sin( )
n
n
x
n n

(2)
1
2
n n
n
x
n

(3)
1
1
( 1)
n
n
x
n n
+

(4)
( )
1
1
3
n
n
n
x

E.4.5.2. Para cada n sea [ ] : 0,1

n
f la funcin dada por
2
( ) (ln )
n
n
f x x x , y
(0) 0
n
f . Estudiar si la serie
n
f

converge uniformemente en [0,1].

E.4.5.3. Sumar las siguientes series utilizando la tcnica de derivacin trmino a trmino
justificadamente:
(1)
0
n
n
x

(2)
0
n
n
nx

(3)
0
2 n
n
n x

(4)
0
4
n
n
n
x

(5)
0
2
( 3 1)
n
n
x n n

(6)
2
1
2 3
2.3
n
n
n

E.4.5.4. Obtener desarrollos en series de potencias en el origen para las funciones

(1)
x
e
(2) sin x (3)
cos x
(4)
ln(1 ) x +
(5)
2
x
e
(6) sin 3x
(7)
sin x
e
(8)
sin x
x
(9)
3 2
( 1) 4ln(1 ) x x + + ,
indicando en cada caso el dominio de convergencia.
E.4.5.5. (i) Probar que si P es un polinomio de grado n que tiene n ceros distintos,
1
, ...,
n
a a , y
(0) 1 P
, se puede expresar de la forma
1
( ) (1 )...(1 )
n
x x
P x
a a

.
(ii) Considerar la funcin
sin
( )
x
f x
x
. Extenderla por continuidad al origen, dar un
desarrollo en serie de potencias y probar que es de clase
C

en
(iii) Determinar los ceros de f y factorizarla de modo anlogo a como se hizo en el
apartado (i) para un polinomio.
(iv) Igualando la expresin en serie de potencias de f con su expresin factorizada,
deducir una frmula para la suma de la serie armnica de orden 2.
(v) Intentar obtener del mismo modo una frmula para la suma de la serie armnica de
orden 4.
Captulo 5
Clculo integral
5.1. La integral de Riemann
para funciones de variable real
5.1.1. Concepto de integrabilidad Riemann
para una funcin acotada en un intervalo compacto
Sea [ ] , a b un intervalo compacto de .
Llamaremos particin de [ ] , a b a un conjunto finito y ordenado de puntos de [ ] , a b que
contenga a sus extremos. Lo denotaremos { }
0 1
...
n
P a x x x b = = < < < = .
La particin P divide el intervalo original [ ] , I a b = en n subintervalos,
1
, ...,
n
I I , con
[ ]
1
,
k k k
I x x

= , de modo que
1
...
n
I I I = ,
1
( ) ( ) ... ( )
n
l I l I l I = + + . Se dice que P es una
particin regular cuando
1
( ) ... ( ) ( ) /
n
l I l I b a n = = = .
Si P y P son dos particiones de [ ] , a b , se dice que P es ms fina que P cuando ' P P .
Denotaremos P ([ ] , a b ) la familia de todas las particiones del intervalo [ ] , a b .
Sea [ ] : , f I a b = una funcin acotada y sea P una particin de I en los subintervalos
1
, ...,
n
I I .
Se llama suma superior de Darboux de f respecto de P al nmero
1
( , ) ( ) sup ( )
k
n
k
k
x I
U f P l I f x
=

=

.
Se llama suma inferior de Darboux de f respecto de P al nmero
1
( , ) ( ) inf ( )
k
n
k
k
x I
L f P l I f x
=

=

.
Las sumas superiores e inferiores verifican
( , ) ( , ) L f P U f P
, y si P es una particin
ms fina que P,
( , ) ( , ') ( , ') ( , ) L f P L f P U f P U f P
.
Dada la funcin acotada [ ] : , f I a b = , llamaremos integral superior de f en [ ] , a b
al nmero
[ ] ( , )
( , ) inf
b
a P a b
U f P f

=

P
e integral inferior de f en [ ] , a b al nmero
[ ] ( , )
( , ) sup
b
a
P a b
f P f L

P
. Las integrales superior e inferior verifican siempre
b
a
f

b
a
f

.
Diremos que f es integrable Riemann en [ ] , a b cuando
b
a
f =

b
a
f

. En este caso, se
llama integral de Riemann de f en [ ] , a b , y se denota
b
a
f

I
f

, al valor comn de sus

integrales superior e inferior.
5.1.2. Propiedades de la integral de Riemann
Toda funcin constante es integrable en
[ ] , a b
, y adems ( )
b
a
k k b a =

.
Toda funcin montona en
[ ] , a b
es integrable en
[ ] , a b
.
Toda funcin continua en
[ ] , a b
es integrable en
[ ] , a b
.
(De hecho, si f tiene una cantidad finita o numerable de discontinuidades tambin es
integrable Riemann.)
Linealidad.- Si f y g son integrables en
[ ] , a b
y
,
, entonces
f g +
es
integrable en [ ] , a b , y adems
( )
b b b
a a a
f g f g + = +

.
Monotona.- Si f y g son integrables en
[ ] , a b
y
( ) ( ) f x g x
para todo
[ ] , x a b
,
entonces
b b
a a
f g

.
Si f es integrable en
[ ] , a b
, entonces
f
tambin es integrable en
[ ] , a b
, y adems,
b b
a a
f f

.
(En particular, si f est acotada por M, se tiene ( )
b
a
f M b a

.)
Si f y g son integrables en
[ ] , a b
, entonces
fg
es integrable en
[ ] , a b
, y adems
( ) ( ) ( )
2
2 2
b b b
a a a
fg f g

.
Si f y g son integrables en
[ ] , a b
y existe una constante
0 c >
tal que
( ) g x c
para
todo [ ] , x a b , entonces
/ f g
es integrable en [ ] , a b .
Aditividad respecto del intervalo.- Dado
( , ) c a b
, f es integrable en
[ ] , a b
sii es
integrable en [ ] , a c y en [ ] , c b , y, en tal caso,
b c b
a a c
f f f = +

.
5.1.3. Primitivas e integral indefinida
Teoremas fundamentales del Clculo
Sea I un intervalo de la recta real y
: f I
una funcin continua. Se dice que
: F I es una primitiva de f cuando F es derivable y F=f.
Podemos observar que si F es una primitiva de f y c es una constante real, entonces F+c
es otra primitiva de f. Recprocamente, si F y G son dos primitivas de f en el mismo intervalo,
entonces existe una constante real c tal que G=F+c.
Si [ ] : , f a b es una funcin integrable en [ ] , a b , definimos ( )
x
a
F x f =

, para
[ ] , x a b . La funcin [ ] : , F a b as definida es continua y se llama integral indefinida de
f.
Primer Teorema Fundamental del Clculo
Si [ ] : , f a b es continua, entonces su integral indefinida, F, es una primitiva de f, i.e.
( )
( ) '
x
a
f f x =

.
Segundo Teorema Fundamental del Clculo (Regla de Barrow)
Si [ ] : , f a b es continua y G es una primitiva de f, entonces
( ) ( )
b
a
f G b G a =

.
5.1.4. Evaluacin de integrales
Integracin por partes
Sean [ ] , : , f g a b dos funciones de clase
1
C
. Entonces,
' ( ) ( ) ( ) ( ) '
b b
a a
f g f b g b f a g a fg =

.
Cambio de variable
Sea [ ] : , a b una funcin de clase
1
C
y [ ] : ( , ) f a b continua. Entonces, la
funcin
( ) ' f o
es integrable en [ ] , a b y
( )
( )
( ) '
b b
a a
f f

=

o .
5.1.5. Integrales impropias
5.1.5.1. Integrales de funciones acotadas en intervalos no acotados
Se llama integral impropia de primera especie a una integral de una funcin acotada
: f I
en un intervalo real no acotado, que puede ser, a su vez, de tres tipos: [ ) , I a = + ,
( ] , I b = ( ) , I = + .
(a) Si [ ) , I a = +
y
: f I
es una funcin acotada e integrable Riemann en [ ] , a b
para
todo b>a, se define la integra impropia de f en I como lim
b
a a b
f f
+
+
=

, siempre que
este lmite exista. La integral impropia se llama convergente cuando el lmite es finito y
divergente cuando el lmite es infinito.
(b) Si ( ] , I b =
y
: f I
es una funcin acotada e integrable Riemann en [ ] , a b
para
todo a<b, se define la integra impropia de f en I como lim
b b
a a
f f

=

, siempre que
este lmite exista. La integral impropia se llama convergente cuando el lmite es finito y
divergente cuando el lmite es infinito.
(c) Si ( ) , I = +
y
: f I
es una funcin acotada e integrable Riemann en [ ] , a b

para cualesquiera a y b con a<b, se define la integra impropia de f en I como
lim
b
a
a
b
f f
+

+
=

, siempre que este lmite doble exista. La integral impropia se llama
convergente cuando el lmite es finito y divergente cuando el lmite es infinito.
Observamos que
lim lim lim
b c b
a a c
a a b
b
f f f f
+
+
+
= = +

, para cualquier c , con lo que
una integral del apartado (c) se reduce a una del apartado (a) y otra del apartado (b). Por otra
parte, las del apartado (b) se reducen a las del apartado (a) mediante el cambio de variable y=-x.
Se define el valor principal de Cauchy de la integral impropia f
+

como
lim . .( )
b
b
b
f V P f

+
+
=

, siempre que este lmite exista. Es claro que si la integral impropia es
convergente, su valor principal coincide con el valor anteriormente definido, pero puede ocurrir
que la integral impropia sea divergente y su valor principal sea finito.
5.1.5.2. Integrales de funciones no acotadas en intervalos acotados
Se llama integral impropia de segunda especie a una integral de una funcin no acotada
: f I
en un intervalo real acotado.
(a) Si [ ) , I a b = y
: f I
es una funcin acotada e integrable Riemann en [ ] , a b
para todo 0 > , pero
lim ( )
x b
f x

=
, se define la integra impropia de f en I como
0
lim
b b
a a
f f

=

, siempre que este lmite exista. La integral impropia se llama
convergente cuando el lmite es finito y divergente cuando el lmite es infinito.
(b) Si ( ] , I a b = y
: f I
es una funcin acotada e integrable Riemann en [ ] , a b +
para todo 0 > , pero
lim ( )
x a
f x
+

=
, se define la integra impropia de f en I como
0
lim
b b
a a
f f

+
+

=

, siempre que este lmite exista. La integral impropia se llama
convergente cuando el lmite es finito y divergente cuando el lmite es infinito.
(c) Si I es un intervalo acotado y
: f I
es una funcin que tiende a en una cantidad
finita de puntos de I (interiores o extremos), se considera una particin
1
...
k
I I I =
de I en una cantidad finita de subintervalos de modo que en cada uno de ellos nos
encontremos en alguna de las situaciones de los apartados anteriores. En estas
condiciones, se define la integral impropia de f en I como
1
...
k
I I I
f f f = + +

,
siempre que las k integrales impropias de la derecha existan y la suma no genere
indeterminacin. La integral impropia se llama convergente cuando todos los sumandos
son finitos y divergente cuando alguno es infinito.
En el caso de que f sea continua en [ ] { } , a b c , con
( , ) c a b
, y no est acotada en
ningn entorno de c, se define tambin el valor principal de la integral impropia
b
a
f

como
0
. . ) lim ( ( )
b c b
a a c
V P f f f

+ =

, en caso de que este lmite exista.
5.1.5.3. Integrales de funciones no acotadas en intervalos no acotados
Se llama integral impropia de tercera especie a una integral de una funcin no acotada
: f I
en un intervalo real no acotado.
Si I es un intervalo no acotado y
: f I
es una funcin que tiende a en una
cantidad finita de puntos de I, se considera una particin
1
...
k
I I I = de I en una
cantidad finita de subintervalos de modo que en cada uno de ellos nos encontremos con
una integral impropia de primera o segunda especie. En estas condiciones, se define la
integral impropia de f en I como
1
...
k
I I I
f f f = + +

, siempre que las k integrales
impropias de la derecha existan y la suma no genere indeterminacin. La integral
impropia se llama convergente cuando todos los sumandos son finitos y divergente
cuando alguno es infinito.
5.1.5.4. Convergencia absoluta de integrales impropias
Se dice que la integral impropia
I
f

converge absolutamente cuando la integral

impropia
I
f

es convergente.
Una integral impropia absolutamente convergente es convergente, y adems
I
f

I
f

.
CRITERIOS DE CONVERGENCIA PARA INTEGRALES IMPROPIAS
DE FUNCIONES POSITIVAS ACOTADAS
SOBRE INTERVALOS NO ACOTADOS
C.5.1.5.1.1. Criterio de comparacin directa.- Sean
a
f
+

y
a
g
+

dos integrales impropias de

funciones f, g, tales que
0 ( ) ( ) f x g x
para todo x a .
(i) Si
a
g
+

es convergente, entonces
a
f
+

tambin es convergente.
(ii) Si
a
f
+

es divergente, entonces
a
g
+

tambin es divergente.
C.5.1.5.1.2. Criterio de comparacin por paso al lmite.- Sean
a
f
+

y
a
g
+

dos integrales
impropias tal que
( ) 0 f x
y
( ) 0 g x >
para todo x a y existe
( )
lim
( )
x
f x
g x

+
=
.
(i) Si

+

, las integrales
a
f
+

y
a
g
+

convergen o divergen simultneamente.

(ii) Si 0 = y
a
g
+

converge, entonces
a
f
+

tambin converge.
(ii) Si = + y
a
g
+

diverge, entonces
a
f
+

tambin diverge.
C.5.1.5.1.3. Criterio de comparacin con la integral
1
1
dx
x

.- La integral impropia
1
1
dx
x

converge sii 1 > .

Por tanto, dada una integral impropia
a
f
+

tal que
( ) 0 f x
para todo x a y existe
lim ( )
x
x f x

+
=
,
(i) si y 1 > , entonces
a
f
+

converge.
(ii) si

+

= + y 1 , entonces
a
f
+

diverge.
CRITERIOS DE CONVERGENCIA PARA INTEGRALES IMPROPIAS
DE FUNCIONES POSITIVAS NO ACOTADAS
SOBRE INTERVALOS ACOTADOS
C.5.1.5.2.1. Criterio de comparacin directa.- Sean
b
a
f

y
b
a
g

dos integrales impropias de

funciones f, g, tales que
0 ( ) ( ) f x g x
para todo
[ , ) x a b
.
(i) Si
b
a
g

es convergente, entonces
b
a
f

tambin es convergente.
(ii) Si
b
a
f

es divergente, entonces
b
a
g

tambin es divergente.
C.5.1.5.2.2. Criterio de comparacin por paso al lmite.- Sean
b
a
f

y
b
a
g

dos integrales
impropias tal que
( ) 0 f x
y
( ) 0 g x >
para todo
[ , ) x a b
y existe
( )
lim
( )
x b
f x
g x

=
.
(i) Si

+

, las integrales
b
a
f

y
b
a
g

convergen o divergen simultneamente.

(ii) Si 0 = y
b
a
g

converge, entonces
b
a
f

tambin converge.
(ii) Si = + y
b
a
g

diverge, entonces
b
a
f

tambin diverge.
C.5.1.5.2.3. Criterio de comparacin con la integral
1
0
1
dx
x

.- La integral impropia
1
0
1
dx
x


converge sii 1 < .
Por tanto, dada una integral impropia
b
a
f

tal que
( ) 0 f x
para todo
[ , ) x a b
y existe
lim( ) ( )
x b
b x f x

=
,
(i) si y 1 < , entonces
b
a
f

converge.
(ii) si

+

= + y 1 , entonces
b
a
f

diverge.
5.1. Ejercicios
E.5.1.1. Hallar las integrales superior e inferior de las siguientes funciones:
(a)
( ) 0 f x =
, si
[0,1] x
;
( ) f x x =
, si
[0,1] x
(b)
( ) f x x =
,
[0,1] x

(c)
( ) ln(1 ) f x x = +
,
[0,1] x
.
Deducir cules de ellas son integrables y cules no.
E.5.1.2..
Calcular los siguientes lmites mediante sumas de Riemann:
(a)
sin( / ) sin(2 / ) ... sin( / )
lim
n
a n a n na n
n

+ + +

( ) a
(b)
1 1 1
lim ...
1 2
n
n n n n

+ + +
+ + +



(c)
1/
(2 )!
lim
!
n
n
n
n
n n





E.5.1.3. Sea
: [0, 2] f
, definida por
( ) 1 f x =
si
[0,1] x
y
( ) 2 f x =
si
(1, 2] x
,
y sea F una primitiva de f.
i) Dar una expresin analtica de F.
ii) Estudiar la continuidad de F.
iii) Estudiar la derivabilidad de F.
E.5.1.4. Hallar la derivada de cada una de las siguientes funciones:
(a)
3
2
1
( )
1 sin
x
a
f x dt
t
=
+

(b)
2
3
1
( ) (
1 sin
)
x
a
f x dt
t
=
+

(c)
2
sin
1
( )
1 sin
x
a
f x dt
t
=
+

(d)
2
1
( ) sin
1 sin
( )
x
a
f x dt
t
=
+

(e)
2
1
0
1
( ) (
1
)
x
f x dt
t

=

(f)
0 0
( ) sin sin sin ( ( ) )
x y
f x tdt dy =

E.5.1.6. Calcular las siguientes primitivas:
1.
2
3
( 2)( 3)
x
dx
x x
+
+

2.
3 2
2
6 11 6
x
dx
x x x
+
+

3.
( ) ( )
2
3 2
1 1
x
dx
x x +

4.
2 2
1
( 9)( 1)
dx
x x x + + +

5.
5 4 3 2
4 2
2 3 5 2 4
3 2
x x x x x
dx
x x x
+ + +
+

6.
( )
2
4
1
x
dx
x

7.
2
cos 3 x xdx

8. sin
x
e xdx

9.
n x
x e dx

10.
2
ln( 2) x dx +

11.
2
4 1
dx
x x +

12.
3
2
1
4
x
dx
x
+

13.
6
2
1
x
dx
x +

14.
2 2
1
dx
x x

15.
5 4 5
1 x x dx +

16.
4 2/ 3
(2 1) x
dx
x
+

17.
3
dx
x x +

18.
3
1 1
1 4
x
dx
x
+ +
+ +

19.
ln x
dx
x

20. sin 3 sin 4 sin 6 x x x dx

E.5.1.7. Estudiar la convergencia de las siguientes integrales impropias:

1.
2
1
1
2 1 ( )
x
dx
x x

12.
1
/ 2 arc tg x
dx
x

2.
0
ln
(1 )
x
dx
x x

13.
3
3
5 2 2
ln( 1)
( 2) ( 1)
x x
dx
x x

+
+

3.
2
0
1 cos
sen x
dx
x

14.
( )
2
0
1 2 2 x x x dx

+ + +

4.
1
0
ln ln( 1) x x dx +

15.
0
1
x
e
dx
x x

5.
2
0
ln
1
x
dx
x

16.
1
1 1
1
1 2
x
x x dx
x x

+
+

6.
1
0
ln
1
x
dx
x

17.
2
2
0
ln ln 1
a
x dx
x

7.
4
1
0
1
1
dx
x

18.
2 0
1
1
1 2
a
dx
x
x

+
+

8.
1
0
1
x
dx
x

19.
3
1
ln(2
1
)
( )
a b
x
dx
x x

9.
1
x x
dx
e e

20.
0
cos x
dx
x

10.
2
0
1
cos
dx
x

21.
0
1
x
e sen dx
x

11.
( )
2
0
ln sen x dx

22.
2
1
(ln )
e
dx
x x

5.2. La integral de Riemann

para funciones de varias variables
5.2.1. Concepto de integrabilidad Riemann
para una funcin acotada en un intervalo compacto de
n

Sea [ ] [ ]
1 1
, ... ,
n n
a b a b I = un intervalo compacto de
n

.
Definimos la medida de I como
1 1
( ) ( )...( )
n n
I b a b a = .
Si { }
( ) ( ) (0) (1)
...
i
k i
i i i i i
P a x x x b = = < < < = es una particin de [ ] ,
i i
a b para cada 1, ..., i n =
, entonces
(1) ( )
...
n
P P P =
nos proporciona una particin de I en
1
...
n
k k k = subintervalos
(1) ( )
, ...,
k
I I (que no se solapan, i.e.,
( ) ( )
( ) 0
i j
I I = , y cuya unin es I). Se dice que P es una
particin regular cuando todos los subintervalos
(1) ( )
, ...,
k
I I tienen la misma medida.
Si P y P son dos particiones de I, se dice que P es ms fina que P cuando ' P P .
Denotaremos P (I) la familia de todas las particiones del intervalo I.
Sea
: f I
una funcin acotada y sea P una particin de I en los subintervalos
(1) ( )
, ...,
k
I I .
Se llama suma superior de Darboux de f respecto de P al nmero
( )
1
( )
( , ) ( ) sup ( )
j
k
j
j
x I
U f P I f x
=
=

.
Se llama suma inferior de Darboux de f respecto de P al nmero
( )
1
( )
( , ) ( ) inf ( )
j
n
j
j
x I
L f P I f x
=

=

.
Las sumas superiores e inferiores verifican
( , ) ( , ) L f P U f P
, y si P es una particin
ms fina que P,
( , ) ( , ') ( , ') ( , ) L f P L f P U f P U f P
.
Dada la funcin acotada
: f I
, llamaremos integral superior de f en I al nmero
( )
( , ) inf
P I P I
U f P f

=

e integral inferior de f en I al nmero

( )
( , ) sup
P
I
P I
f P f L

. Las
integrales superior e inferior verifican siempre
I
f

I
f

.
Diremos que f es integrable Riemann en I cuando
I
f =

I
f

. En este caso, se llama

integral de Riemann de f en I, y se denota
I
f

, al valor comn de sus integrales superior e

inferior.
5.2.2. Propiedades de la integral de Riemann en dimensin n
Toda funcin constante es integrable en I, y adems
( )
I
k I k =

.
Toda funcin continua en I es integrable en I.
(De hecho, f ser integrable sii el conjunto de sus discontinuidades tiene medida nula.
(Teorema de Lebesgue)).
Linealidad.- Si f y g son integrables en I y
,
, entonces
f g +
es integrable
en I, y adems
( )
I I I
f g f g + = +

.
Monotona.- Si f y g son integrables en I y
( ) ( ) f x g x
para todo
x I
, entonces
I I
f g

.
Si f es integrable en I, entonces
f
tambin es integrable en I, y adems,
I I
f f

.
En particular, si f est acotada por M, se tiene ( )
I
M I f

.
Si f y g son integrables en I, entonces
fg
es integrable en I, y adems
( ) ( ) ( )
2
2 2
I I I
fg f g

.
Si f y g son integrables en I y existe una constante
0 c >
tal que
( ) g x c
para todo
x I , entonces
/ f g
es integrable en I.
Aditividad respecto del intervalo.- Si
I J K =
, donde J y K son intervalos n-
dimensionales que no se solapan, entonces f es integrable en I sii es integrable en J y en
K, y, en tal caso,
I J K
f f f = +

.
5.2.3. Integrales iteradas en intervalos n-dimensionales
Si
: f I
es una funcin acotada, se llaman integrales iteradas de f en I a las n!
integrales
1
1
1
1
( , ..., ) ... ...
i i
n
n
i
i
n
n
b b
i i
a a
f x x dx dx

, donde
1
, ...,
n
i i recorren todas las permutaciones de
1, ..., n
Teorema de Fubini.- Sea [ ] [ ]
1 1
: , ... ,
n n
f I a b a b = una funcin acotada. Si f es
integrable Riemann en I, entonces existen sus n! integrales iteradas, y todas ellas son iguales a
I
f

.
5.2.4. La integral de Riemann de una funcin acotada
sobre una regin acotada de
n

Sea
n
D
una regin acotada y
: f D
una funcin acotada en D. Sea I un
intervalo n-dimensional tal que D I . Definimos
%
: f I por
%
( ) ( ) f x f x = si x D y
%
( ) 0 f x = si x I D . Se dice que f es integrable Riemann en D cuando

f es integrable
Riemann en I, y, en este caso, se llama integral de Riemann de f en D a
%
D I
f f =

.
Obsrvese que ni la integrabilidad de f ni el valor de su integral van a depender del
intervalo que hayamos elegido para cubrir D.
Obsrvese tambin que las discontinuidades de la funcin

f estarn entre las

discontinuidades de f o en la frontera de D, de modo que la integrabilidad de f va a
depender de la medida de sus discontinuidades y de la medida de la frontera de su
dominio.
Adems, con esta definicin se mantienen las propiedades de linealidad, monotona y
aditividad de la integral de Riemann.
5.2.5. Cambio de variable
Sean D y E dos regiones acotadas de
n

y sea : T D E una aplicacin biyectiva tal

que
1 1
, T T C

. Si
: f E
es integrable Riemann en E, entonces ( ) det g f T JT = o es
integrable Riemann en D y se verifica
( ) det
E D
f f T JT =

o
.
5.3. La integral de Riemann en dimensin 2
5.3.1. Generalidades
En el caso de dimensin 2, nuestros intervalos sern rectngulos de la forma
[ , ] [ , ] I a b c d =
, y su medida,
( ) ( )( ) I b a d c =
, se corresponde al rea de I.
Si
: f I
es una funcin integrable Riemann en I, su integral se denotar
I
f

I
f

, y las integrales iteradas sern de la forma ( , )
b d
a c
f x y dydx

y ( , )
d b
c a
f x y dxdy

.
5.3.2. Regiones elementales en dimensin 2
Se llama regin elemental de tipo 1 en
2

a una regin de la forma

{ }
2
1 2
( , ) : , ( ) ( ) A x y a x b x y x = ,
donde
1 2
, son dos funciones continuas en el intervalo
[ , ] a b
tales que
1 2
( ) ( ) x x para
todo
[ , ] x a b
.
Se llama regin elemental de tipo 2 en
2

a una regin de la forma

{ }
2
1 2
( , ) : , ( ) ( ) B x y c y d y x y = ,
donde
1 2
, son dos funciones continuas en el intervalo
[ , ] c d
tales que
1 2
( ) ( ) y y para
todo
[ , ] y c d
.
De acuerdo con el Teorema de Fubini, si A es una regin elemental de tipo 1 como la
descrita anteriormente y f es una funcin integrable en A, su integral se expresa como
2
1
( )
( )
( , )
b x
A a x
f f x y dydx

=

,
y si B es una regin elemental de tipo 2 y f una funcin integrable en B,
2
1
( )
( )
( , )
d y
B c y
f f x y dxdy

=

.
Si D es una regin acotada de
2

que se puede expresar como unin finita de regiones

elementales que no se solapan,
1
...
n
D D D = , la integral
D
f

se calcula, aplicando la
propiedad general de aditividad, mediante la expresin
1
...
n
D D D
f f f = + +

.
5.3.3. Algunas aplicaciones de las integrales dobles
rea de una regin plana
El rea de una regin acotada
2
D
viene dada por
( ) 1
D D
A D dxdy = =

(siempre que la funcin 1 sea integrable en D).
En particular, si D es una regin elemental de tipo 1,
( )
2
1
( )
1 2
( )
( ) ( ) ( )
b x b
a x a
dydx A D x x dx

= =

.
Volumen encerrado por una grfica
Si
2
D
es una regin acotada y
: f D
una funcin continua y acotada en D, con
( , ) 0 f x y
para todo
( , ) x y D
, entonces el volumen encerrado entre la grfica de f y el plano
XY viene dado por
( , )
D
V f x y dxdy =

.
Masa de una lmina plana
Si tenemos una lmina plana extendida sobre una regin acotada
2
D
, de densidad variable,
dada por una funcin continua
: D
, entonces la masa de la lmina viene dada por
( , )
D
m x y dxdy =

.
Momentos y centro de masa de una lmina plana
Si tenemos una lmina plana extendida sobre una regin acotada
2
D
, de densidad variable,
dada por una funcin continua
: D
, entonces los momentos respecto de los ejes X e Y
vienen dados respectivamente por
( , )
D
x
M y x y dxdy =

,
( , )
D
y
M x x y dxdy =

.
Adems, si m es la masa de la lmina, su centro de masa es ( , ) x y , donde
y
M
x
m
= ,
x
M
y
m
= .
Momentos de inercia
Si tenemos una lmina plana extendida sobre una regin acotada
2
D
, de densidad variable,
dada por una funcin continua
: D
, entonces sus momentos de inercia respecto de los
ejes X e Y vienen dados respectivamente por
2
( , )
D
x
y I x y dxdy =

,
2
( , )
D
y
x I x y dxdy =

.
5.3. Ejercicios
E.5.3.1. (a) Calcular el rea de una lmina triangular plana con vrtices situados en
los puntos
(0 0) ,
,
( 2 0) / ,
,
( 2 2) / , /
.
(b) Calcular la masa de dicha lmina si su densidad viene dada por la funcin
3
( ) cos f x y x y x , = + .
E.5.3.2. Hallar la integral de la funcin ( )
x y
f x y e
+
, = en el cuadriltero de vrtices
(0 0) ,
,
(2 0) ,
,
(1 1) ,
,
(0 1) ,
.
E.5.3.3. Hallar la integral de la funcin
( , ) f x y y =
en la regin limitada por y x = ,
2 y x =
e
0 y =
.
E.5.3.4. Hallar la masa de una lmina que ocupa la regin limitada por la parbola
2
2 y x = y la recta
2 y x =
, sabiendo que su densidad viene dada por la funcin
2
( , ) x y x y = .
E.5.3.5. En los casos siguientes, dibujar el recinto de integracin y calcular las
integrales iteradas en los dos rdenes posibles:
(1)
4 4
0 0
x
xydydx

(2)
1 2
0
y x
x
x
e dydx

(3)
2
2
2/ 3 16
0 / 6
y
y
dxdy

E.5.3.6. Hallar el volumen del slido limitado por el paraboloide
2 2
z x y = + y el plano
XY.
E.5.3.7. (a) Hallar el rea del primer cuadrante del crculo
2 2
9 x y + en coordenadas
cartesianas y en polares.
(b) Hallar la integral de la funcin
3
2 2
( )
x
x y
f x y
+
, =
en la misma regin.
E.5.3.8. Hallar la integral de la funcin ( ) f x y xy , = en el recinto comprendido entre
la circunferencia
2 2
1 x y + = y las rectas
y x =
,
y x =
en el semiplano superior.
E.5.3.9. Hallar el rea interior a la circunferencia
2 2
2 x y y + = y a la lemmiscata
2 2 2 2 2
( ) 4( ) x y x y + = .
E.5.3.10. Hallar el rea de los distintos recintos determinados por la circunferencia
a =
y la cardioide
(1 cos ) a = +
.
E.5.3.11. Hallar la integral de la funcin 2
2
( )
( )
a
a x x
f x y

, =
en el recinto limitado por
la curva
3 2 2 2
( ) 0 x xy a x y + + = y las rectas
x a =
, / 2 x a = .
E.5.3.12. Invertir el orden de integracin en las siguientes integrales y calcularlas en los
dos rdenes:
(1)
2
0 0
x
e
dy dx

(2)
2
1 3 2
2 4
x
x x
dy dx
+
+

(3)
2
2 2
0
sen( )
x
y xy dy dx


5.4. La integral de Riemann en dimensin 3
5.4.1. Generalidades
En el caso de dimensin 3, nuestros intervalos sern ortoedros de la forma
1 1 2 2 3 3
[ , ] [ , ] [ , ] I a b a b a b = , y su medida,
1 1 2 2 3 3
( ) ( )( )( ) I b a b a b a = , se corresponde al
volumen de I.
Si
: f I
es una funcin integrable Riemann en I, su integral se denotar
I
f

I
f

, y se calcular mediante alguna de sus 6 integrales iteradas,
1 2 3
1 2 3
( , , )
b b b
a a a
f x y z dzdydx

,
5.4.2. Regiones elementales en dimensin 3
Se llama regin elemental de tipo 1 en
3

a una regin de la forma

{ }
2
1 2 1 2
( , , ) : , ( ) ( ), ( , ) ( , ) A x y z a x b x y x x y z x y = ,
donde
1 2
, son dos funciones continuas en el intervalo
[ , ] a b
tales que
1 2
( ) ( ) x x para
todo
[ , ] x a b
y
1 2
, son dos funciones continuas en la regin elemental de
2

{ }
2
1 2
( , ) : , ( ) ( ) D x y a x b x y x =
tales que
1 2
( , ) ( , ) x y x y para todo
( , ) x y D
.
Anlogamente, se pueden considerar hasta 6 tipos de regiones elementales, segn el orden
en el que se elijan las variables x,y,z.
De acuerdo con el Teorema de Fubini, si A es una regin elemental de tipo 1 como la
descrita anteriormente y f es una funcin integrable en A, su integral se expresa como
2 2
1 1
( ) ( , )
( ) ( , )
( , , )
b x x y
A a x x y
f f x y z dzdydx


=

.
Si D es una regin acotada de
3

que se puede expresar como unin finita de regiones

elementales que no se solapan,
1
...
n
D D D = , la integral
D
f

se calcula, aplicando la
propiedad general de aditividad, mediante la expresin
1
...
n
D D D
f f f = + +

.
5.4.3. Algunas aplicaciones de las integrales triples
Volumen de una regin tridimensional
El volumen de una regin tridimensional acotada
3
D
viene dado por
( ) 1
D D
V D dxdydz = =

(siempre que la funcin 1 sea integrable en D).
En particular, si D es una regin elemental de tipo 1,
( )
2 2 2
1 1 1
( ) ( , ) ( )
1 2
( ) ( , ) ( )
( ) ( , ) ( , )
b x x y b x
a x x y a x
dz V D dydx x y x y dydx


= =

.
Masa de una figura tridimensional
Si tenemos una figura tridimensional D de densidad variable, dada por una funcin continua
: D
, entonces la masa de la figura viene dada por
( , , )
D
m x y z dxdydz =

.
Momentos y centro de masa de una figura tridimensional
Si tenemos una figura tridimensional de densidad variable, dada por una funcin continua
: D
, entonces los momentos respecto de los planos YZ, XZ y XY vienen dados
respectivamente por
( , , )
yz
D
M x x y z dxdydz =

,
( , , )
xz
D
M y x y z dxdydz =

,
( , , )
xy
D
M z x y z dxdydz =

.
Adems, si m es la masa de la lmina, su centro de masa es ( , ) , x y z , donde
yz
M
x
m
= ,
xz
M
y
m
= ,
xy
M
z
m
= .
Momentos de inercia
Si tenemos una figura tridimensional de densidad variable, dada por una funcin continua
: D
, entonces sus momentos de inercia respecto de los ejes X, Y y Z vienen dados
respectivamente por
2 2
( ) ( , , )
x
D
I y z x y z dxdydz = +

,
2 2
( ) ( , , )
y
D
I x z x y z dxdydz = +

,
2 2
( ) ( , , )
z
D
I x y x y z dxdydz = +

.
5.4. Ejercicios
E.5.4.1. Calcular la integral de la funcin ( ) f x y z x y z , , = + + en el tetraedro limitado
por los planos coordenados y el plano que pasa por los puntos (1 0 0) , , , (0 1 0) , , , (0 0 1) , , .
E.5.4.2. Calcular el volumen de la esfera de radio
a
, integrando en coordenadas
cartesianas y en esfricas.
E.5.4.3. Calcular el volumen del cilindro de radio
a
y altura h , integrando en
coordenadas cartesianas y en cilndricas.
E.5.4.4. Calcular la integral de la funcin
( ) f x y z xyz , , =
en el recinto limitado por las
superficies 0 z = y
2 2
1 z x y + + = en el primer octante.
E.5.4.5. Hallar la masa del cuerpo que ocupa el recinto interior al elipsoide
2
2 2
2 2 2
1
y
x z
a b c
+ + = en el primer octante, sabiendo que su densidad viene dada por la funcin
( ) f x y z z , , = .
E.5.4.6. Calcular el volumen comprendido entre el plano 0 z = , el paraboloide
2
2
2 2
y
x
p q
z = + ( 0 p > , 0 q > ) y el cilindro elptico
2
2
2 2
1
y
x
a b
+ = .
E.5.4.7. Calcular la integral de la funcin
( , , ) f x y z x =
en la regin del primer octante
acotada por los planos 0 x = ,
0 y =
, 2 z = y la superficie
2 2
z x y = +

.
E.5.4.8. Calcular la integral de la funcin
( , , ) f x y z z =
en la regin del primer octante
acotada por los planos
0 y =
, 0 z = ,
2 x y + =
,
2 6 x y + =
y el cilindro
2 2
4 y z + = .
E.5.4.9. Sea B un cuerpo que ocupa la regin acotada por los planos 0 x = ,
0 y =
,
0 z = ,
1 x y + =
,
x y z + =
.
a) Calcular el volumen de B.
b) Calcular los momentos de B respecto de los planos coordenados, supuesto que
tenga densidad constante.
c) Calcular los momentos de inercia de B respecto de los ejes.
E.5.4.10. Hallar el volumen del slido limitado por las superficies
2 2
2 x y y + = ,
2 2
z x y = +
y el plano XY en el primer octante.
E.5.4.11. Cambiar el orden de integracin de todas las formas posibles en la integral
1
0 0 0
( , , )
x y
f x y z dzdydx

y esbozar la regin de integracin.
E.5.4.12. Demostrar, cambiando el orden de integracin, que
2
0 0 0 0
1
( ) ( ) ( )
2
a v u a
f w dwdudv a t f t dt =

.
5.5. Integrales dependientes de un parmetro
5.5.1. Concepto de integral dependiente de un parmetro
Consideremos una regin { }
( , ) : ,
q p
t
R x t t D x A = , donde D es una regin
elemental en
q

y
t
A es una regin elemental (dependiente de t) en
p

, para cada t D .
Supongamos que :
p q
f R
+
es una funcin tal que, para cada valor de t D fijo, la
funcin (., ) :
p
t
f t A es integrable Riemann en
t
A . Se llama integral dependiente del
parmetro t a la funcin ( ) ( , )
t
A
I t f x t dx =

(integral de Riemann en
p

).
El caso ms sencillo es el de un rectngulo { } [ , ] [ , ] ( , ) : , R a b c d x t a x b c t d = = ,
y una funcin
2
: f R tal que, para cada valor de
[ , ] t c d
fijo, la funcin
(., ) : [ , ] f t a b
es integrable Riemann en
[ , ] a b
. Entonces, la integral dependiente del
parmetro t es de la forma ( ) ( , )
b
a
I t f x t dx =

.
Si R es una regin elemental en
2

del tipo { } ( , ) : ( ) ( ), R x t a t x b t c t d = , la
integral dependiente del parmetro t es de la forma
( )
( )
( ) ( , )
b t
a t
I t f x t dx =

.
5.5.2. Continuidad de la integral dependiente de un parmetro
Teorema.- Si { } ( , ) : ( ) ( ), R x t a t x b t c t d = y
2
: f R es continua,
entonces
( )
( )
( ) ( , )
b t
a t
I t f x t dx =

es continua en
[ , ] c d
.
Corolario 1.-En particular, si las funciones a y b son constantes, ( ) ( , )
b
a
I t f x t dx =

es
continua.
Corolario 2.- En las mismas condiciones, si
0
[ , ] t c d , se puede pasar al lmite bajo el
signo integral,
0
( , ) lim
b
a t t
f x t dx

0
lim ( , )
b
a t t
f x t dx

5.5.3. Derivabilidad de la integral dependiente de un parmetro

Teorema de Leibniz.- Si
[ , ] [ , ] R a b c d =
,
2
: f R es derivable respecto de t
y la derivada parcial
f
t

es continua, entonces ( ) ( , )
b
a
I t f x t dx =

es derivable en
[ , ] c d
y
adems
( , )
'( )
b
a
f x t
I t dx
t

.
Teorema de Leibniz generalizado.- Si { } ( , ) : ( ) ( ), R x t a t x b t c t d = ,
2
: f R es derivable respecto de t con derivada parcial
f
t

continua, y las funciones

a(t), b(t) tambin son derivables en
[ , ] c d
, entonces
( )
( )
( ) ( , )
b t
a t
I t f x t dx =

es derivable en
[ , ] c d

y adems
( ) ( )
( , )
'( ) ( ), '( ) ( ), '( )
b
a
f x t
I t dx f b t t b t f a t t a t
t

= +

.
5.5.4. Integrabilidad de la integral dependiente de un parmetro
Teorema.- Si { } ( , ) : ( ) ( ), R x t a t x b t c t d = y
2
: f R es continua,
entonces
( )
( )
( ) ( , )
b t
a t
I t f x t dx =

es integrable en
[ , ] c d
y adems
( )
( )
( ) ( , )
d b t
c a t R
d
c
I t dt f x t dx f dt = =

.
5.5.5. Integrales impropias dependientes de un parmetro
La continuidad, derivacin e integracin de las funciones definidas mediante integrales
pueden extenderse al caso en que estas integrales sean impropias.
5.5.5.1. Integral impropia de primera especie dependiente de parmetro
Sea
( ) t , x f
definida en el rectngulo infinito
( ) { } d t c , x a : t , x R < =
y tal
que para cada [ ] d , c t la integral impropia ( )

a
dx t , x f es convergente. Entonces
( )

=
a
dx t , x f ) t ( I , con [ ] d , c t es la funcin definida por una integral impropia de
primera especie dependiente de un parmetro.
Observaciones:
El intervalo
[ ] d , c
puede ser tambin infinito.
La integral impropia converge para un punto
[ ] d , c t
, si existe y es finito el lmite
( ) , ( )
lim
M
a
M
f x t dx I t

=

.
Se dice que la integral
( ) I t
converge absolutamente en
[ , ] c d
, si converge la integral
( ) ,
a
f x t dx

. Recurdese que si
( ) I t
converge absolutamente, entonces converge.
De manera anloga se trabaja con funciones definidas mediante integrales impropias
del tipo ( ) ,
a
f x t dx

( ) , f x t dx

.
Convergencia uniforme de una integral impropia dependiente de un parmetro
La integral impropia ( ) ( ) ,
a
I t f x t dx

es uniformemente convergente en
[ , ] c d
si para
todo 0 > existe ( ) M M a = tal que ( ) ,
b
f x t dx

<

para todo b M > y todo [ ] , t c d .

Criterio de Weierstrass
Supongamos que ( ) , f x t est definida en [ ) [ ] , , R a c d = , que para cada [ ] d , c t ,
( ) , f x t es integrable respecto a x en cualquier intervalo [ ] , a M , y que adems
( ) ( ) , f x t g x para todo ( ) , x t R . Entonces, si la integral ( )
a
g x dx

es convergente, la
integral ( ) ,
a
f x t dx

es uniformemente convergente.
Propiedades de las integrales impropias uniformemente convergentes
Continuidad.- Si ( ) , f x t es continua en R y la integral ( ) ( ) ,
a
I t f x t dx

converge
uniformemente en [ ] , c d , entonces
( ) I t
es continua en [ ] , c d .
Derivabilidad.- Si ( ) , f x t y
( ) , f x t
t

son continuas en R, la integral

( ) ( ) ,
a
I t f x t dx

converge para todo t y adems

( ) ,
a
f x t
dx
t

converge uniformemente en
[ ] , c d , entonces
( ) ,
'( )
a
f x t
I t dx
t

=

.
Integrabilidad.- Si ( ) , f x t es continua en R y la integral ( ) ( ) ,
a
I t f x t dx

converge
uniformemente en [ ] , c d , entonces I(t) es integrable en [ ] , c d y adems
( )
( )
( )
( )
( ) , , .
d d d
c c a a c
I t dt f x t dx dt f x t dt dx

= =

5.5.5.2. Integral impropia de segunda especie dependiente de un parmetro
Se denomina integral impropia de segunda especie dependiente del parmetro t a una
integral de la forma ( ) ( ) ,
b
a
I t f x t dx =

donde para cada [ ] , t c d , (., ) f t es continua en

[ , ) a b
y
lim ( , )
x b
f x t

=
.
Observaciones:
La teora correspondiente a las integrales impropias de segunda especie dependiente de un
parmetro es anloga a la correspondiente a las de primera especie.
El resto de los casos de integrales impropias dependientes de un parmetro, mediante el
principio de aditividad, se pueden reducir a los anteriores.
5.5. Ejercicios
E.5.5.1. Calcular
3
1 0
lim (3 1) cos
t
x tx dx

.
E.5.5.2. Calcular ( ) I t
, siendo
2
2 2
( ) ( )
t
t
I t sen x t dx = +

.
E.5.5.3. Sea
2
0
ln(1 )
( )
1
t
tx
I t dx
x
+
=
+

(i) Estudiar su derivabilidad y calcular I(t).

(ii) Obtener una expresin de I(t) en la que no aparezcan integrales.
(iii) Calcular
2
1
0
ln(1 )
1
tx
dx
x
+
+

.
E.5.5.4. Calcular
2
5
0
(1 )
k k
dx
I
x
=
+

, para k=1,2,3 (Para k=2,3, introducir una

integral dependiente de un parmetro).
* Este problema est desarrollado en la pgina web de la asignatura con
diversos grados de ayuda.
E.5.5.5. Calcular
1
0
( ) (ln )
a k
k
I a x x dx =

, para 1 a , k=0,1,2,
E.5.5.6. Calcular
2
0
( )
( )
(1 )
arctg tx
I t dx
x x
+
=
+

. (Indicacin: derivar respecto de t.)

5.6. Las funciones eulerianas
5.6.1. La funcin
Se define la funcin gamma de Euler por
1
0
( )
t x
t x e dx

+
=

,
integral impropia dependiente de un parmetro, que converge slo para valores positivos del
parmetro, es decir,
: (0, ) +
.
Como, adems, la convergencia es uniforme en los subconjuntos compactos de
(0, ) +
,
la funcin es continua, derivable, con
1
0
( ) ln '
t x
t x e xdx

+
=

, e integrable Riemann en
cualquier subintervalo compacto de
(0, ) +
, con
1 1
0 0
( )
t x x t
b b b
a a a
t dt x e dx e x dtdx dt

+ +
= =

.
Propiedades de la funcin :

( ) 0 t >
, para cada
0 t >
;
(1) 1 =

( 1) ( ) t t t + =
, para todo
0 t >

( ) ( 1)! n n =
, para todo
n
(1/ 2) =
5.6.2. La funcin B
Se define la funcin beta de Euler por
1 1
1
0
( , ) (1 )
p q
p q x x dx

=

,
integral impropia dependiente de dos parmetros, que converge slo para valores positivos de
los mismos, es decir,
: (0, ) (0, ) + +
.
Como, adems, la convergencia es uniforme en los subintervalos de la forma
[ , ) [ , ) a b + +
, con , 0 a b > , la funcin B es continua, derivable, con,
1 1
1
0
( , ) (1 ) ln
p q
p q x x xdx
p


=

,
1 1
1
0
( , ) (1 ) ln(1 )
p q
p q x x x dx
q


=

, e integrable
Riemann, con
1 1
1
0
(1 ) ( , )
p q
a b a b
x x dx p q dqdp dqdp

+ + + +
=

.
Propiedades de la funcin B:

( , ) ( , ) p q q p =
, para todo
, 0 p q >

( ,1) 1/ p p =
, para todo
0 p >

2 1 2 1
/ 2
0
( , ) 2 (sin ) (cos )
p q
p q t t dt

, para todo
, 0 p q >
;
(1/ 2,1/ 2) 1 =

( ) ( )
( , )
( )
p q
p q
p q

=
+
, para todo
, 0 p q >
5.6. Ejercicios
E.5.6.1. Calcular las siguientes integrales:
(1)
2
8
0
sen x dx
/

(6)
2
4
0
3
x
dx

(2)
2
8
0
cos x dx
/

(7)
1
0
1
ln
dx
x

(3)
6 2
0
x
x e dx

(8)
2
2
0
2
x
dx
x

(4)
2
0
x
e dx

(9)
2
0
ax
e dx

(a>0)
(5)
3
0
x
xe dx

(10)
4 2 2
0
a
x a x dx

E.5.6.2. Dar una frmula general para las integrales:
(1) ( ) ( )
/ 2
0
sin cos
n m
x x dx

, { } , 0 n m
.
(6) ( ) ( )
/ 2
0
sin cos x x dx

, { } , 0
+
.
(7) ( ) ( )
0
sin cos
n m
x x dx

, { } , 0 n m
(distinguir pares de impares).
(8) ( ) ( )
2
0
sin cos
n m
x x dx

, { } , 0 n m
(distinguir pares de impares).
E.5.6.3. Probar:
(i)
( , 1) ( , )
q
p q p q
p q
+ =
+
,
, 0 p q >
(ii)
( 1, ) ( , )
p
p q p q
p q
+ =
+
,
, 0 p q >
(iii)
( 1)!( 1)!
( , )
( 1)!
m n
m n
m n

=
+
, , m n .

5.-Clculo Integral
5.1. La integral de Riemann para funciones de variable real
5.1.1. Particiones de un intervalo compacto.
5.1.2. Sumas superiores e inferiores de una funcin acotada en un intervalo compacto.
5.1.3. Integrales superior e inferior de Riemann.
5.1.4. Concepto de integrabilidad para una funcin acotada en un intervalo compacto.
5.2. Primitivas
5.2.1. Concepto de primitiva.
5.2.2. Algunos mtodos elementales de clculo de primitivas.
5.2.3. Teoremas fundamentales del Clculo Integral.
5.2.4. Teorema del cambio de variable.
5.3. La integral de Riemann para funciones de variable vectorial
5.3.1. Particiones de un intervalo compacto en dimensin dos y tres.
5.3.2. Sumas superiores e inferiores de una funcin acotada en un intervalo compacto.
5.3.3. Integrales superior e inferior de Riemann.
5.3.4. Concepto de integrabilidad para funciones acotadas en un intervalo compacto.
5.3.5. Extensin de la integral a funciones acotadas en otros tipos de dominios.
5.4. Integrales iteradas
5.4.1. Concepto de integral iterada en dos y tres variables.
5.4.2. Teorema de Fubini.
5.4.3. Regiones elementales en dimensin dos.
5.4.4. Regiones elementales en dimensin tres.
5.5. Integrales impropias
5.5.5. Extensin de la integral a funciones de una variable no acotadas o definidas en un
intervalo no acotado.
5.5.6. Convergencia de la integral impropia. Criterios.
5.6. Integrales dependientes de un parmetro
5.6.1. Concepto de integral dependiente de un parmetro escalar o vectorial.
5.6.2. Convergencia y convergencia uniforme de la integral dependiente de un parmetro.
5.6.3. Continuidad de la integral dependiente de un parmetro.
5.6.4. Derivabilidad de la integral dependiente de un parmetro.
5.6.5. Integrabilidad de la integral dependiente de un parmetro.
5.7. Funciones eulerianas
5.7.1. Funcin Gamma.
Funcin Beta.