1

CAPTULO 1 : TEORA DE SERIES

1.1. SERIES NUMRICAS : TEORA BSICA.
La teora de series tiene una importancia enorme en Matemticas: se trata
del problema de aproximar mediante sumas reiteradas, cantidades que
representan a su vez soluciones a los ms diversos problemas. Esto de
acercarse a cierta cantidad mediante sumas reiteradas de otras cantidades
que se van haciendo cada vez ms pequeas, es algo que proviene de la
antiguedad: recurdese, por ejemplo, la paradoja de Aquiles y la Tortuga,
atribuda al sofista Zenon de Elea (siglo V a.C.): Aquiles era el corredor
ms rpido de toda la Hlade y Zenn plante que no sera capaz de
vencer en una carrera a una tortuga, con la condicin que le diera a sta un
par de metros de ventaja. El razonamiento de Zenn fu el siguiente:
cuando Aquiles llegue a la posicin inicial de la tortuga, sta se habr
movido una cierta distancia. Cuando Aquiles alcance esa nueva posicin,
la tortuga se habr movido nuevamente otro poco y as sucesivamente.
Como se v, Aquiles deber recorrer una de distancias antes suma infinita
de alcanzar a la tortuga. Por otro lado, Aquiles demorar cierto tiempo en
recorrer cada una de esas distancias, lo que nos d una de suma infinita
tiempos. Ntese que ninguna de las distancias ni tampoco ninguno de los
tiempos es nulo: se trata de una "suma" infinita de cantidades no nulas:
Zenn plante que esa suma deba ser infinita, o sea Aquiles nunca
alcanza la tortuga. Para verlo con ms detalle, supongamos que Aquiles
corre al doble de velocidad que la tortuga y que la ventaja que le d a la
tortuga es la unidad de medida:
2
Figura 1.1
Se produce aqu la suma que nunca alcanza la "
" " "
# # #
# $
distancia 2.
Del mismo modo, tomando como unidad de tiempo aqul que demora
Aquiles en alcanzar la primera posicin de la tortuga, la suma de tiempos
sigue exactamente la misma ley y la suma de tiempos se acerca, pero
nunca alcanza, las 2 unidades. Los griegos de la poca clsica no lograron
dominar al infinito.
En la representacin decimal de los nmeros se d un fenmeno
semejante: que significa el nmero ? Si est R + + + +
" # $ %
representado en el sistema decimal, este nmero es la suma:
R R
+ +
"! "! "!
+
" #
# $
$
, donde es un nmero entero y los "dgitos"
+
3
son nmeros naturales tomados del conjunto 0,1,2,3,4,5,6,7,8,9}. Si
esta suma se corta, es decir, si es finita, el nmero que representa ser
racional. Qu significa que esta suma ? qu significan los no se corte
puntos suspensivos? Tambin hay nmeros racionales que se expresan
con "infinitos" decimales. Usando el algoritmo de la divisin, resulta, por
ejemplo:
"
$
!$$$$$
El estudio del comportamiento de estas sumas "infinitas" se desarrolla
desde el mismo inicio del Clculo Infinitesimal. Newton mismo estudia,
por ejemplo, el comportamiento de la suma cuando n es grande y

5"
8
"
+5
J acobo Bernoulli, en sus trabajos sobre el clculo de probabilidades, se
propone determinar las sumas del tipo donde p es un polinomio y n

:"
8
5
:
"es grande". Entre 1730 1745 se sitan los trabajos decisivos de Euler
sobre las series y las cuestiones relacionadas con ellas, si bien en sus
deducciones, la mayora de las cuales eran correctas, el rigor y el
3
fundamento brillan por su ausencia. Son los matemticos del siglo XIX los
que empiezan a lograr fundamentos razonables para este tipo de
cuestiones: Cauchy, Weierstrass, Gauss, Abel y muchos otros. Recin
entonces se logra definir en forma precisa lo que es la convergencia de una
serie y el hecho de que algunas series tienen suma (las convergentes) y
otras no (las divergentes). El trabajo acerca de las series divergentes caus
todava muchos problemas, haciendo que Abel , en 1828 , las considerara
"obra del demonio" y las expulsara del reino de las matemticas. No es
claro si lo dijo en serio o si lo expres con una cierta dosis de humor. Es
recin hacia fines del siglo XIX cuando se precisan los conceptos de
convergencia y , con los trabajos de Poincar y Hoelder, las series
divergentes tambin son tomadas como objetos dignos de estudio.
Digamos de partida que, desde el punto de vista algebraico, no existen
sumas infinitas. Por lo tanto, la idea de ir agregando sumandos
indefinidamente deber ser matematizada de otro modo. Empecemos por
precisar la idea de una serie:
DEFINICIN. Sea (a una sucesin en . La sucesin (S
8 8! 8

formada por las sumas parciales: W + + + +
8 ! " # 8
serie. se llama Esta serie se denota:
(W +
8 8
8!

La serie se llama si la sucesin de sumas parciales es convergente

convergente y se llama al nmero real : suma de la serie
lim
8
8 8
8!

W +

Ejemplos
1. Sea un nmero real. La serie se llama y es B B

8!
8
serie geomtrica
convergente si y solo si En efecto, los trminos de la sucesin

B "
forman una progresin geomtrica de razn y, por lo tanto la suma B
parcial de orden es: Entonces , se tiene: 8 W
8
" B
"B "B
8"
4
Si , la sucesin tiende a cero, luego, en este caso, B "

B
"B
8"
la serie geomtrica es convergente y su suma es

8!

8 "
"B
B
Si deseamos obtener la suma desde , hay que restar el primer 8 "
trmino, que es 1, luego:

8"

8 " B
"B "B
B "
Si , la serie diverge claramente a infinito B "
Si , la serie tiene la forma B " " " " " "
cuyas sumas parciales son : 0,1,0,1,0,1..... y por lo tanto es
divergente. Aqu cabe mencionar un error cometido por Euler al
atribuir una suma a esta serie. Euler razon del siguiente modo:
B " " " " " " " " " " "
" B B por lo tanto . El primer error es suponer que la
"
#
serie suma (que se denota por ) y calcularla suponiendo tiene B
vlidas las leyes usuales del lgebra para series: la suma que
aparece en el parntesis tiene , pero como es un sumando menos
infinita, se le asigna el mismo valor . Hay que notar que en B
aquella poca todava no se haba desarrollado la teora de series
y los resultados se obtenan por simple intuicin.
Si la serie claramente diverge. lBl "
2. Representacin decimal de los nmeros reales
El nmero real representado por N B + + + +
" # $
%
tiene el significado de la suma de la serie: R
+ +
"! "! "!
+
" #
# $
$
Ser esta serie siempre convergente? Recprocamente, es que todo
nmero real puede ser representado como suma de una tal serie
convergente? Ser nica dicha representacin?
Por otro lado, la utilizacin del nmero 10 como base para representar los
nmeros no es ms que accidental e histrica: cualquier nmero natural
mayor o igual que 2 sirve igualmente, como veremos, para representar
todos los nmeros reales. El nmero 10 no posee ninguna caracteristica
matemtica especial que lo haga ms apropiado que otros. Parece ser que
el 10 fu elegido por muchos pueblos simplemente porque tenemos 10
dedos para contar con ms facilidad (de ah , por lo dems, el nombre de
"dgitos" que se aplica a los nmeros ) . Fueron los romanos los que ! *
extendieron por todo el imperio el sistema decimal de numeracin, si bien
otras bases fueron usadas en la antiguedad ( los babilonios el 60, los
5
mayas el 20). Pienso que, si los insectos comenzaran a hacer matemticas,
usaran el 6 como base de numeracin y, por su parte, las araas sin duda
que usaran el 8. Por su parte las calculadoras no pueden usar otra base
que el 2 para sus calculos internos, pues un sistema de tipo elctrico solo
podr distinguir con claridad y precisin dos estados: "prendido"
(modelado por el 1) y "apagado" (modelado por el 0).
Un nmero "insecto" sera de la forma:
[N ] = + + + + R
" # $
%
" #
# $
$
'
+ + +
6 6 6
con los tomados del conjunto {0,1,2,3,4,5}. El nmero entero N +
3
tambin se puede representar de modo "insecto", a saber:
R + ' + ' + ' + ' + 5
5 5" " !
5" " ! 3
con los
tomados del mismo conjunto anterior.
Por su parte un nmero "araa" deber ser :
[N ] = + + + + R
" # $
%
" #
# $
$
8
8 8 8
+ + +
con los tomados del conjunto {0,1,2,3,4,5,6,7}. El entero "araa" ser: +
3
R + + + + 5 8 8 8 8
5 5" " !
5" " !
Finalmente, los nmeros binarios son de la forma
[N ] = + + + + R
" # $
%
" #
# $
$
2
2 2 2
+ + +
con los tomados del conjunto {0,1}. El entero N en forma binaria es: +
3
R + + + + 5 2 2 2 2
5 5" " !
5" " !
La suma de dos nmeros en otra base que 10 resulta divertida. Por
ejemplo, para el caso "insecto":
%$& %$"
&% $%
&$% #""
Si esta simple operacin la viramos "con rayos X", es decir, en su
estructura explcita, tendramos:
% ' $ ' & ' % ' $ ' " '
# " ! " # $
& ' % ' $ ' % '
" ! " #
Al sumar con resulta $ ' % ' ' " ' ' " '
# # # " #
es decir, es preciso agregar 1 a la columna de los . Esa es en este caso '
"
"la reserva".
Finalmente tomemos un nmero binario "peridico" y traduzcmoslo al
sistema decimal:
"!" ""!""!""! "!" ""!
6
" # ! # " # " # " # ! #
# " ! " # $
& ' # &

5"

$ 5 ' %"
( (
La pregunta que queda por responder es triple:
(i) son siempre convergentes estas series, es decir, tienen suma?
(ii) Es que nmero real puede ser representado de esta forma? cada
(iii) Es esta representacin? nica
Para poder contestar estas preguntas necesitamos desarrollar una teora
matemtica acerca de las series. Los elementos bsicos de esta teora se
resumen en el siguiente teorema:
TEOREMA 1
1. (Criterio de Cauchy) La serie es convergente :

+
8
si y solo si
a ! bR : ; R + l % % tal que si , entonces |

8:
;
8
# Sea , Entonces ! + , a8 R
8 8

Si converge, entonces converge , +

8 8
Si diverge, entonces diverge + ,

8 8
Este es el llamado . La serie se llama criterio de comparacin

,
8
mayorante minorante (de la serie a ) mientras que se llama dela

8 8
+
serie ). Se suele emplear la notacin:

, + ,
8 8 8
3. Si converge, entonces ( " )

+ + !
8 8
8
lim

condicin de resto"
4. Sea Entonces: + ! a8 < +
8 8
8 8
+
+
3 lim lim
8"
8
8

Si , entonces converge < " " + 3

8
Si , entonces diverge < " " + 3

8
Si entonces puede ser convergente o < " " + 3

8
divergente. Los parmetros y son verdaderos "termmetros" que < 3
indican si la serie tiene "fiebre"( diverge) o no. Se identifican como
criterios del cuociente y de la raz respectivamente.
5. Sea 1 [ , integrable, positiva y decreciente. Entonces: 0
7
'
8"
"

08 0B.B es convergente la integral impropia es si y solo si

convergente
DEMOSTRACIN
Necesitamos tres Lemas previos, que nos muestran un poco ms
detalladamente la estructura topolgica de los nmeros reales:
LEMA A (Teorema de Bolzano-Weierstrass). Todo conjunto infinito y
acotado de nmeros reales posee algn punto de acumulacin.
DEMOSTRACIN DEL LEMA A. Sea infinito y acotado. Por W
ser acotado existe un intervalo tal que . Si M V V W M
" "
dividimos en dos partes iguales, al menos una de ellas deber tener M
"
infinitos puntos de : Llamemos a esa mitad. A su vez , dividiendo W M M
# #
en dos partes iguales , por el mismo motivo , una de ellas tendr infinitos
puntos de . Procediendo inductivamente, obtenemos una sucesin de W
intervalos cerrados , encajonados, acotados y no vacos, cada uno de M
8
ellos con infinitos puntos de . Por el Teorema de los Intervalos W
Encajonados ( ver Lema A , pagina 78, "Calculo 2") existe . Es B M

8
+
fcil ver que este es el punto de acumulacin buscado: en efecto, si B Y

es una vecindad arbitraria de entonces para algn B M Y 8

8
suficientemente grande, ya que la longitud de los intervalos es
6M Y W
8
V
#
8"
Por lo tanto contiene infinitos puntos de
LEMA B Toda sucesin acotada posee alguna sub-sucesin
convergente.
Se entiende por sub-sucesin de ( a una sucesin con otra +
8
compuesta
sucesin inyectiva de nmeros naturales: ( ) . 8 +
5 8 5!
5
DEMOSTRACIN DEL LEMA B . Sea ( una sucesin acotada. +
8
Existen dos posibilidades:
(i) La sucesin ( posee un valor que se repite infinitas veces: + + +
8 8
para Entonces la subsucesin ( ) es 8 8 8 8 8 +
! " # $ 8 5!
5
convergente porque es constante.
(ii) La sucesin ( no repite infinitamente un valor, por lo cual debe +
8
poseer infinitos valores diferentes, es decir, el recorrido { } de + 8
8

la sucesin es un conjunto infinito y acotado. Por el Lema anterior, este
8
conjunto debe tener un punto de acumulacin: Veremos que este punto B

de acumulacin es el lmite de una subsucesin de ( ). En efecto, para +

8
cada k la vecindad debe tener algn Por lo FB + FB
" "
8
5 k
5
tanto: , es decir, la subsucesin ( ) converge a l+ B l + B
8 8 5!
"
5
5 5
LEMA C Toda sucesin es convergente. de Cauchy
Una sucesin ( ) se dice de Cauchy si satisface la propiedad: +
8
a ! bR : ; R l+ + l % %
: ;
Los espacios donde las sucesiones de Cauchy convergen se llaman
completos. Este Lema, por lo tanto, se puede formular diciendo que es
completo.
DEMOSTRACINDEL LEMA C. Sea ( ) una sucesin de Cauchy. +
8
Para existe un tal que . Por lo tanto % " R l+ + l " a8 R
8 R
la sucesin es acotada, ya que solo un nmero finito de valores se podra
alejar de . Por el Lema anterior, ( ) tiene una subsucesin que + + +
R 8 8
5
converge, digamos al lmite . Sea ahora Entonces tal que B ! bR %
"
l+ + l : ; R bR l+ Bl
: ; " # 8
# #
% %
si y tambin tal que si
5
5 R 5 R 8 R
# # 5 "
Podemos tomar un tal que , por lo tanto,
tendremos: l+ Bl l+ + l l+ Bl
8 8 8 8
# #
5 5
% %
%
si acaso , lo que demuestra la convergencia de la sucesin ( ) 8 R +
" 8
DEMOSTRACIN DEL TEOREMA
1. Se trata aqu simplemente de la completitud de . En efecto, la serie es
una si y solo si la sucesin de sumas parciales sucesin de Cauchy
W + ! bR : ; R
8 5
5!
8

lo es, es decir, si, dado un tal que si %

entonces | . Pero esto es precisamente el lW W l + l
;
:" 8
8:
;

%
Criterio de Convergencia de Cauchy que queramos demostrar.
2. Las sumas parciales : son sucesiones W + ^ ,
8 5 8 5
5! 5!
8 8

crecientes, puesto que los sumandos son todos positivos, luego, para la
convergencia basta que sean acotadas:
9
, Sea convergente. En particular, es acotada, luego la "cola" de la

8
otra serie tambin es acotada: Pero para obtener la serie

5R 5R

5 5
+ ,
completa basta agregar una constante:

5! 5! 5R
R"
5 5 5
+ + +
+ Sea ahora divergente: por ser de trminos positivos, esta serie solo

8
puede ser divergente a infinito. Luego tambin diverge a infinito.

,
8
Es conveniente hacer notar aqu que la convergencia de una serie solo
depende del comportamiento de sus "colas" : si cola es alguna
convergente entonces la serie entera converge . Lo que si hay que cuidar
es no confundir la simple convergencia con el valor de la suma: desde
luego que no es el mismo que el valor de alguna de sus colas: es preciso
agregar una constante
.
3. La condicin de resto no es ms que un caso particular del criterio de
Cauchy:
+ + + W W + !
8 5 5 8 8" 5
5! 5! 58"
8 8" 8


% Los "termmetros:
< " b < " bR Sea : entonces , Por lo tanto tal que lim
+
+
!
8"
8
) )
+
+
!
8"
8
a8 R ) . Por lo tanto, podemos escribir la secuencia:
+ +
8" 8
)
+ + +
8# 8
8"
#
) )

+ +
85 8
5
)
Luego, sumando desde en adelante, R + + +
! 8
8 8

R R
! !
) )
Por lo tanto la serie queda mayorada por una serie geomtrica de razn
menor que 1, luego, es convergente.
< " b " < bR Sea Tambin aqu , , luego tal que lim
+
+
!
8"
8
) )
+
+
! 8" 8 8 !
8"
8
a8 R + + + ! a8 R ) ) , luego Luego, la
serie no cumple la condicin de resto, por lo tanto diverge.
+ " b " bR Sea : igual que antes y tal que 3 ) 3 ) lim
8
8 !

8
10

8
+ a8 R + +
8 ! 8 8
8 8
) ) ) , luego y por lo tanto , que es
una serie geomtrica convergente. Luego converge.

+
8
+ " + " a8 R + " Sea entonces , luego 3 lim
8
8 8 ! 8

8 8
a8 R
!
y por lo tanto la serie no satisface la condicin de resto.
Veremos ms adelante que si nuestros "termmetros" son iguales a 1,
entonces hay casos en los que la serie converge y otros donde diverge.
5. El criterio integral: sea , integrable, positiva y 0 ! "
decreciente . Llamemos y + 08 , 0B.B
8 8
8
8"
'
Figura 1.2
Puesto que la funcin es decreciente, comparando las reas
correspondientes, se tiene: Luego : + , +
8" 8 8

+ , +
8 8 8
, es decir, una serie converge si y solo si lo hace la
otra. Pero la suma parcial de la serie es .
'
5"
8
8
"
8"
, 0B.B
Finalmente ntese que
' '
" 5
5"
8
5" 5"
8
8
0B.B 0B.B , lim
Q.E.D
Ejemplos
1. Cualquiera expresin decimal de la forma N,a representa
" # $
+ +
efectivamente un nmero real. En efecto, la serie respectiva es
11
convergente, pues que converge pues es una

+
"! "! "!
* " 8
8 8 8
*
serie geomtrica de razn Del mismo modo expresin de
"
"!
cualquiera
tipo b-ario: [N,a ] epresenta tambin un nmero real :
" # $ ,
+ + <

+
, , ,
," " 8
8 8 8
que tambin es una serie geomtrica de , "
razn . Recordar que las bases de numeracin comienzan con 2.
"
,
Por otro lado, nmero real puede ser representado en forma b-aria. todo
En efecto, si entonces existir un nmero entero tal que B R
R B R " R R " , Se divide el intervalo en partes iguales:
M R R M R R M R R
" # $
" " # # $
, , , , ,

M R R " B M + 3 " 3 " ,
, 3 "
,"
,
Si entonces
Dividiendo el intervalo anterior en partes iguales, se encuentra el M ,
3
siguiente "dgito" , del mismo modo que en el caso anterior. Ntese que, si
el nmero real cae en el borde izquierdo de alguno de los intervalos, B
entonces la secuencia se termina, pues habra que poner, a partir de ah,
sucesivamente puros ceros como dgitos. En caso contrario, significa que
la secuencia no termina y tenemos una serie. La serie converge
precisamente a pues la diferencia entre y la n-sima suma parcial de la B B
serie es justamente : B W !
8
"
,
8

La representacin no es nica, en general. Por ejemplo, en el sistema
decimal Si se usa otra base, ocurre el mismo ! **** " !!!!!
fenmeno: En efecto, la ! , ", ", ", " " !!!
,
serie correspondiente es geomtrica:

8"

,"
,

"
8
"
,
"
,
, " "
2 . La serie , con es muy interesante de analizar.

8"
"
8
:
: ! :
Usaremos el criterio integral para lo cual debemos analizar la
convergencia de la integral impropia , que es fcil de hacer:
'
"

.B
B
:
'

"
R
.B
B
" " "
:" R :"
:
:"

: "
691 R : "
con lo cual concluimos que es
convergente, si
divergente , si

8"
"
8
:
: "
: "
3. En particular, la serie , llamada , es divergente,

8"
"
8
armnica
mientras que la serie es convergente. Sin embargo, si aplicamos el

8"
"
8
2
12
test del cuociente, observamos que el resultado es igual a 1 en ambos
casos: lim
lim
lim
8
+
+
8
8
8"
8
8
8"
8"
8 #
#

"
"

Lo mismo ocurre con el test de la raz:

lim
lim
lim
8
8
8
" "
8 637 8
8
" "
8 637 8

8
8
8
8
# 8 #
+
"
"

Este ejemplo demuestra que , efectivamente, si nuestros "termmetros"

marcan 1 , no se puede concluir nada.
4. Si , la serie es convergente. En efecto, aplicando el + !

8!
+
8x
8
criterio del cuociente:
B
B 8"x + 8"
+ 8x + 8"
8
8"
8
! "
5. Una serie aparentemente complicada como por ejemplo

8!
#=/8 8"
# 8&
$
8
puede ser mayorada por la serie , por lo tanto es convergente. El

$
#
8
valor de su suma, sin embargo, queda sin respuesta.
1.2 PROBLEMAS
1. Exprese el nmero real (representacin decimal) !((((((((((
como una fraccin. Puede Ud. generalizar su resultado para cualquier
nmero de la forma ? Que fraccin !++++++++++ + ! " *
representa el nmero ...... decimal-peridico de ! &$"%&$"%&$"%
perodo 5314)
2. Considere el nmero real (en su representacin ) [ insecto ! $$$$$
'
Es una fraccin? cul? Generalice su resultado para cualquier nmero
de la forma ! ++++++ + ! " # $ % &
'
3. Haga el mismo anlisis anterior pero con representaciones , es araa
decir en base 8
13
4(*). Estudie la veracidad de la afirmacin " Un nmero real es racional si
y solo si su reprentacin decimal es peridica" . Generalice su teorema
para una base de numeracin admisible cualquiera.
5. Encuentre, usando series, exactamente a que hora, entre la 1 y las dos,
el minutero y el horario de un reloj coinciden. (Indicacin: use el
argumento de la paradoja de Aquiles y la Tortuga). Hgalo tambin de
otra forma.
6. Se deja caer una pelota desde una altura de 4 metros. Cada vez que cae,
la pelota rebota 3/4 de la altura de la cada. Encontrar la distancia total
que recorre la pelota hasta que queda en reposo.
7. Considere un trazo de longitud y, para cada nmero natural , + 8
divdalo en partes iguales. Sobre cada pedazo construya un tringulo 8
isceles de ngulos basales de 45 formando as una especie de serrucho.
!
Cuando tiende a infinito, converge la longitud del serrucho formado 8
por los lados de los tringulos a algn nmero finito? . Qu ocurre si el
ngulo basal de los tringulos isceles es un ngulo cualquiera ? )
8(*). Sean dos puntos de la recta real. Defina como el punto T T T
" # $
medio entre y como el punto medio entre y como T T T T T T
" # % # $ &
el punto medio entre y y as sucesivamente. Converge la sucesin T T
$ %
as definida? Cul sera su lmite ?
9. Estudie la convergencia de las series siguientes:
3 33 333 8/B: 8 3@

" 8x
86918 8 8 "
#
8
8 #

@ @3
" " " $ % &
# # $ $ % %
#$% $%& %&'
"! + ! , ! Demuestre el siguiente criterio de comparacin: Si
8 8
y entonces converge si y solo si converge. lim
8
+
,
8 8
8
8
- ! + ,

11. Estudie el comportamiento de la serie donde:

+
8
3 + 8 " 8
8

33 +
8
8" 8
8


14
333 + 8 "
8
8

8
12. Haciendo una pequea modificacin en la demostracin del "criterio
de la raz" , demuestre la llamada "prueba fina de la raz" : Si existe algn
nmero real tal que salvo un nmero finito de valores < " + <
8
8
de , entonces la serie converge, mientras que si para 8 + + "

8 8
8
infinitos , la serie diverge. 8 +

8
Use este resultado para demostrar que la serie:
" " " " " " " "
# $ # $ # $ # $
# # $ $ % %

es convergente , an cuando la prueba corriente de la raz y la prueba del
cuociente no funcionan.
13. Sern verdaderas o falsas las siguientes afirmaciones?
La eliminacin de un nmero finito de trminos en una serie
convergente puede destruir la convergencia
La insercin de un nmero finito de trminos arbitrariamente
grandes, en una serie convergente, en lugares arbitrariamente alejados del
trmino inicial puede destruir la convergencia.
Si la serie es convergente , entonces la serie + +

8! 8"!
8 8
tambin es convergente, pero no recprocamente.
1.3 PRODUCTOS Y REORDENAMIENTOS DE SERIES
Como multiplicar dos series? No nos estamos refiriendo al producto de
sus sumas , que no sera otra cosa que el producto de dos nmeros reales,
sino a definir una nueva serie a partir de otras dos y que merezca llamarse
producto, independientemente de su convergencia. Deseable sera, de
todos modos, que, si hay convergencia, la suma de la serie producto fuese
el producto de las sumas de las series que se multiplican. Veremos que no
siempre resulta tan simple y que a veces hay que agregar alguna hiptesis
adicional.
Definiremos tres tipos diferentes de producto de las series y :

+ ,
8 8
3 E + El producto Simple : Sean las sumas parciales y
8 8
5!
8

F ,
8 8
5!
8

. Vamos a llamar producto simple a la sucesin producto

15
E F
8 8 8!
Pero esta sucesin es una serie? Si lo es, cul es la sucesin
que la engendra? Escribamos el producto : E F
8 8
E F + , + , + , + , + , + , + ,
8 8 ! ! ! " ! 8 " ! " " " 8 8 8
y pongmoslo de un modo ordenado:
+ , + , + , + , + ,
! ! ! " ! # ! 8" ! 8
+ , + , + , + , + ,
" ! " " " # " 8" " 8

+ , + , + , + ,
8" ! 8" " 8" 8" 8" 8
+ , + , + , + , + ,
8 ! 8 " 8 # 8 8" 8 8
Se observa que esta suma est formada por a la cual se ha E F
8" 8"
agregado la ltima fila y la ltima columna de sumandos. Es decir, se
trata efectivamente de una serie :
E F + , + , + , + ,
8 8 8! 8 ! 8 8 ! 8 8" 8
8!

+ F , E

8!
8 8 8 8"
En cuanto a la convergencia aqu no hay nada nuevo: vale el lgebra de
lmites de sucesiones, por lo tanto si las series y son

+ ,
8 8
convergentes, el producto simple tambin lo es y su suma, es decir, el
lmite de la sucesin de sumas parciales, es igual al producto de las sumas.
33 + , El producto interno : Aqu se han multiplicado trmino a

8!
8 8
trmino los sumandos de las series. Este producto corresponde a una
generalizacin del producto interno de dos vectores en el espacio En
8

este caso la simple convergencia de ambas series no es suficiente para

asegurar la convergencia del producto interno. Por ejemplo,
demostraremos ms adelante que la serie es convergente, pero si

8"
"
8
8

hacemos el producto interno de esta serie consigo misma, obtenemos

" "
8 8
"
8
8 8

que es divergente.
333 + , El producto de Cauchy :

8! :;8
: ;
+ , + , + , + ,

8!
! 8 " 8" 8" " 8 !
. Conviene comparar esta
serie con la serie producto simple: ntese que , si bien en el producto
16
simple aparece una mayor cantidad de sumandos, en el producto de
Cauchy hay sumandos que no aparencen en el producto simple. Resulta
interesante hacer un cuadro colocando ordenadamente todos los sumandos
posibles (que, desde luego, son infinitos) :
+ , + , + , + , + ,
! ! ! " ! # ! $ ! %
...........
+ , + , + , + , + ,
" ! " " " # " $ " %
.............
+ , + , + , + , + ,
# ! # " # # # $ # %
+ , + , + , + , + ,
$ ! $ " $ # $ $ $ %
+ , + , + , + , + ,
% ! % " % # % $ % %

El producto simple corresponde a la suma de los bordes de cada cuadrado

de sumandos, como se vi ms arriba. El producto interno solo toma los
sumandos de la diagonal decreciente, mientras que el producto de Cauchy
va tomando los sumandos de las diagonales de pendiente creciente. Si se
suman las filas, resultan las series mientras que si se suman + ,
7 8
8!

las columnas, resultan las serie . Para comparar con el , +

7 8
8!

producto simple o el de Cauchy habra que sumar las sumas :

7! 8! 7! 8!
7 8 7 8
+ , , + o bien Se podran inventar otras
formas de sumar estos trminos, por ejemplo, estableciendo una curva
sinuosa de arriba hacia abajo y de modo que se fueran abarcando todos los
sumandos.
Bajo qu condiciones convergen estas series? Tendrn todas la misma
suma? El teorema que presentaremos mas adelante dar algunas
respuestas a estas interrogantes. Sorprendentemente, la solucin de este
problema se vincula con otro, a saber, el de los de una reordenamientos
serie.
Podemos considerar tres tipos de reordenamientos de la serie

8!
8
+
3 Permutacin de la serie: sea una permutacin del conjunto de 5
nmeros naturales, es decir una funcin biyectiva : . Con 5
esta permutacin se forma una nueva serie : , que se llamar

8!
8
+
5
serie permutada. Lo que se ha hecho es, en realidad, ir sumando los
mismos trminos pero en otro orden. Se mantendr la convergencia? Es
preciso notar que la sucesin de sumas parciales es completamente distinta
en ambos casos, por lo que es esperable que la mantencin de la
17
convergencia y , peor an, la del valor de sus sumas requiera hiptesis
adicionales fuertes.
33 Reagrupamiento de la serie . En este caso se trata de formar una
nueva sucesin de sumas parciales, agrupando trminos sin cambiar su
orden: es decir, ponemos parntesis en las sumas . En este

8! 58
8
5
+
5
5"
caso es muy fcil ver que un agrupamiento puede cambiar la
convergencia de una serie. Por ejemplo la serie
" " " " " " es claramente divergente, pero la serie
agrupada: converge trivialmente a cero. " " " "
333 Consideremos primero una Particin de una serie. particin
ordenada del conjunto de nmeros naturales : donde cada U
8 8
U 8 8 8 U U 7 8 U
8 " # $ 8 7 8
8!
9 , si
-
Tanto la particin como cada conjunto puede ser finito o infinito. U
8
Definimos el smbolo :
si es finito
la serie , si es infinito

3U
3
8 8 8
5"
8 8
8
" :
5
+
+ + U
+ U
En este ltimo caso se habla de una de la serie original. Se subserie
define como de la serie original a la serie formada por estos particin
smbolos: , es decir, una suerte de

8! 3U
3
+
8
serie de series.
Es importante notar que tanto la permutacin como los agrupamientos de
series son casos especiales de particin de series. En efecto, si cada
U 8
8
5 5 es decir, es un singulete determinado por la permutacin ,
entonces la particin correspondiente es una permutacin de la serie . Por
otro lado, si cada es finito y ha respetado el orden correspondiente de U
8
los nmeros naturales , entonces tenemos un agrupamiento. Por el
contrario, hay particiones interesantes que ni permutaciones ni no son
reagrupamientos. Un ejemplo simple sera sumar todos los tminos de
ndice par (tendramos una subserie) y en seguida todos los trminos con
indice impar: Es claro que esta operacin

8! 8! 8!
8 #8 #8"
+ | + +
no corresponde ni a una permutacin ni a un reagrupamiento.
Hay un ejemplo sumamente importante , que usaremos ms adelante, de
una particin de una serie que no es ni permutacin ni reagrupamiento: sea
x + " B , y consideremos la serie . Si desarrollamos el

8!
8
8
binomio en cada sumando y ordenamos segn los trminos que " B
8
18
tienen la misma potencia de , lo que obtenemos es la siguiente serie B
particionada:

5! 85
8
5
8
5
+ B Esto se puede ver mejor desglosando las sumas:
8 ! +
!
8 " + + B
" "
8 # + + #B + B
# # #
#
8 $ + + $B + $B + B
$ $ $ $
# $

8 + + B + B + B
8 8 8 8
8 8
" #
# 8

...............

La nueva serie se forma sumando cada columna, la cual es, a su vez, una
serie (subserie) de la serie original. Bajo qu condiciones convergen estas
series? Para responder a esta pregunta necesitamos un nuevo concepto:
DEFINICIN : La serie se dice , si

8!
8
+ absolutamente convergente
acaso la serie | | es convergente . La serie se dice

8! 8!
8 8
+ +
condicionalmente convergente si acaso la serie converge pero la

8!
8
+
serie | | diverge.

8!
8
+
Notar que si una serie es absolutamente convergente, entonces es
convergente. En efecto, basta para esto aplicar el criterio de convergencia
de Cauchy y la desigualdad triangular: | , si y

5: 5:
; ;
8 8
+ l l+ l : ; %
son suficientemente grandes. Veremos que la implicacin recproca no es
cierta: hay series que son condicionalmente convergentes.
TEOREMA 2
1. (Dirichlet) Si es acotada y (b converge montonamente en

+
8 8
forma decreciente a 0 , entonces converge.

+ ,
8 8
19
2 . (Mertens) Si es absolutamente convergente y es

+ ,
8 8
convergente, entonces el producto de Cauchy ( es

8! :;8
: ;
+ ,
convergente y vale

8! 8! 8!

:;8
: ; 8 8
+ , + ,
$ (Riemann) Si es condicionalmente convergente, entonces:

+
8
dado , permutacin tal que b + 5

8!

8 5
permutacin tal que diverge b + 5

8!
8 5
4. Si es absolutamente convergente, entonces toda subserie es

+
8
tambin absolutamente convergente , toda particin es tambin
absolutamente convergente y la suma de la serie particionada es igual a la
de la serie original, es decir + +

8! 8!

3U
3 8
8
DEMOSTRACIN.
1. Sea una cota de sea . Segn la hiptesis, N tal Q + ! b

8
%
que Llamemos la suma parcial , l, l a8 R E +
8 8 8 5
#Q
5!
8
%

de la serie y tomemos dos ndices . Entonces : : ; R

5: 5: 5: 5:
; ; ; ;
5 5 5 5" 5 5 5 5" 5
+ , E E , E , E ,

5: 5:" 5:
; ;" ;"
5 5 5 5" 5 5 5" ; ; :" :
E , E , E , , E , E ,
Luego, usando la desigualdad triangular:
|

5: 5:
; ;"
5 5 5 5 5" ; ; :" :
+ , l lE l, , lE l, lE l,
Q , , Q, Q, Q#, Q#

5:
;
5 5" ; : :
#Q
%
%
Por lo tanto la serie satiface la condicin de Cauchy, luego es convergente.
20
2 . Para demostrar el teorema de Mertens, usaremos las siguientes
notaciones ms cmodas:

8! 8! 8!

8 8 8
+ + , , l+ l E
E + F , G + , . F ,
8 5 8 5 8 : ; 8 8
5! 5! 5! :;5
8 8 8

Escribamos en forma desglosada la suma parcial G
8
G + ,
8 ! !
+ , + ,
! " " !
+ , + , + ,
! # " " # !

+ , + , + ,
! 8 " 8" 8 !
sumando por columnas se obtiene:
G + F + F + F + , . + , .
8 ! 8 " 8" 8 ! ! 8 8 !
,E + . + . + .
8 ! 8 " 8" 8 !
Pero el primer sumando de esta expresin tiende al producto Luego, lo +,
que falta por demostrar es que el segundo bloque de sumandos tiende a
cero. Para esto observamos que, como la sucesin tiende a cero, .
8
entonces es acotada: Por otro lado, si la suma l. l Q a8
8
E l+ l ! + ! a8

8!

8 8
entonces se tendra que , con lo que el
teorema es trivial. Supongamos entonces que . Sea 0: por la E ! %
convergencia a cero de existe un tal que y adems . R l. l
8 5
#E

5R"

5
#Q
l+ l 5 R 8 #R
%
para todo Tomemos ahora un
l+ . + . + . l
! 8 " 8" 8 !
l+ . + . l l+ . + . l
! 8 R 8R R" 8R" 8 !
l+ l Q l+ l E Q
% % %
#E #E #Q
5! 58"
R
5 5

%
lo que demuestra el teorema.
21
3. Sea ahora es condicionalmente convergente. Adoptaremos las

+
8
siguientes notaciones ms cmodas: +
+ + !
! + !
8

8 8
8

+ + + + l+ l + +
! + !
+ + !
8 8 8 8 8

8
8 8
8 8
Luego:
Notar que Veremos que ambas series y + + ! + +
8 8 8 8


divergen a infinito. En efecto, si ambas fuesen convergentes, entonces

l+ l + +
8
8 8

sera convergente , lo que contradice la hiptesis.
Si fuese convergente y divergente, entonces

+ + +
8 8 8

= sera convergente y anlogamente el otro caso. Luego,

+ +
8

8
efectivamente . Esto significa que la subserie

8! 8!

8 8

+ +
formada por los trminos positivos diverge a , mientras que la subserie
formada por los trminos negativos diverge a
Si , basta sumar una cantidad apropiada de trminos
positivos (que son iguales a ) para sobrepasar el nmero hacia la +
8

derecha. En seguida se suman trminos negativos (que son iguales a

+ hasta sobrepasar hacia la izquierda . El proceso se repite hacia
8

la derecha y hacia la izquierda y se reitera. Lo que se ha hecho es, en

realidad, una permutacin de la serie y si el cambio de sumando se

+
8
hace con el ndice que sobrepase a , entonces la diferencia entre primer
y la respectiva suma parcial ser menor que que es una sucesin que l+ l
8
tiende a cero.
Para permutar la serie de modo que sta diverja, basta tomar dos
nmeros distintos, por ejemplo 0 y 1 y se procede como en el caso anterior
sumando primero trminos positivos hasta sobrepasar hacia la derecha el 1
y enseguida sumar trminos negativos hasta sobrepasar 0 hacia la
izquierda. Las sumas parciales formarn entonces una sucesin oscilante
que no converge.
4. Sea ahora absolutamente convergente , una

8!
8 8 8!
+ U
particin ordenada de . Tambin aqu adoptaremos una notacin ms
22
cmoda: , y denotaremos por a las sumas E l+ l + +

8! 8!

8 8
w
parciales . Sea entonces un elemento cualquiera de la particin y U
8

3U
w
3
8
l+ l una suma parcial cualquiera. Siempre existir una suma parcial

w
8
l+ l que contiene todos los trminos de la otra, por lo tanto

3U 3U
w w
3 8 3
8 8
l+ l l+ l E l+ l Luego la subserie es absolutamente
convergente. Llamemos a la suma de la subserie ( o a la = l+ l
8 3
3U

8
suma finita, si es finito ). Sea , entonces existe una suma U ! 8
8
%
parcial tal que . Sea ahora una suma l= l l+ l l= l
8 3 8
3U
w w
#

8
8
%
parcial cualquiera . Por lo anterior se tiene:

w w w w
8 3 3 5
3U 3U7
l= l l+ l l+ l l+ l
"
% % % A
donde en esta ltima suma parcial se han abarcado todos los trminos que
aparecen en las otras. Se concluye que todas las sumas parciales

w
8
l= l
estn acotadas, luego la serie es absolutamente convergente.

=
8
Falta solamente demostrar que su suma coincide con la suma de

+
8
Para esto tomemos nuevamente un nmero cualquiera. Entonces % !
b l+ l + N tal que y tambin existe una suma parcial

8R"

8 8
$
w
%
que abarca los trminos y tal que A su + + + l + +l
! " R 8
w
$

%
vez existen sumas parciales ,....... que abarcan tambin a

3U 3U
w w
3 3
1 m
+ +
los trminos y tal que | + + + = l 5 " # 7
! R 3 5
3U
w
$#

5
5
%
Luego, se tiene , l + + + l l+ l

3U 3U
w w w
3 3 3 8
8R"

$
" 7
%
puesto que los sumandos se cancelan . Luego, + +
! R
( ) l + + + = = + l

3U 3U
w w w
3 3 3 " 7
" 7
l + = l l + = l l + +l

3U 3U
w w
3 " 3 7 8
w
#
$
" 7
%
23
Finalmente sumando y restando los trminos correspondientes y usando
la desigualdad triangular, se tiene
l= = +l
" 7
#
$ $
% %
%
lo que completa la demostracin del teorema.
Q.E.D.
COROLARIOS Y OBSERVACIONES
1. Del teorema de Dirichlet se deduce inmediatamente el llamado
"Criterio de convergencia de Leibnitz" : una serie alternante

8!
8
8 8
" , ,

cuyo trmino converge montonamente a cero en forma
decreciente , es convergente. En efecto, basta poner en el + "
8
8
mencionado teorema de Dirichlet.
2. En particular la serie armnica alternante es convergente.

8"
"
8
8+1
El valor de su suma resulta ser log2, pero eso es un resultado nuevo que
necesita otros elementos tericos (Series de Taylor) que veremos ms
adelante.
3. La convergencia sencilla de la series y no alcanza para

+ ,
8 8
garantizar la convergencia del producto de Cauchy. En efecto, por el
criterio de Leibnitz la serie es convergente. Hagamos el

8!
"
8"
8

producto de Cauchy de esta serie consigo misma:

8! 8! :! :;8
" "
:" ;"
8
8
"
:"8:"
"
: ;

Pero , luego : "8 : " " : "
8 8 8
# # #
# # #
es decir, la serie

:!
8
" "
:"8:"
" 8#
#8"

8 " # ! 8
#

no cumple la condicin de resto, luego no converge.
4. En la serie convergente practiquemos la siguiente

8"
"
8
8+1
permutacin: poner un trmino positivo seguido de dos negativos:
24
"
" " " " " " " "
# % $ ' ) & "! "#
......
y pongamos parntesis (si hay convergencia, esto se puede hacer sin
cambiar la convergencia ni el valor de su suma: ver Problemas ) "& R $
!
( ) ( ) ( ) .......... "
" " " " " " " "
# % $ ' ) & "! "#
lo que da
" " " " " " " " " "
# % ' ) "! "# # # $ %
" .... ...
Es decir, si la serie permutada es convergente, su suma es la mitad de la
suma de la serie original.
Pero es interesante demostrar que la serie permutada efectivamente es
convergente:
Llamemos Como es convergente, podemos poner =

8"

"
8
8"
parntesis: y dividiendo por 2 : =

8" 8"

" " = " "
#8" #8 # %8# %8
y restando de la suma anterior: que no es
= " " "
# #8" %8# %8
8"

otra cosa que la serie permutada, pero a la cual se han introducido

parntesis. Podemos sacarlos? En este caso, es posible: si llamamos a W
8
las sumas parciales de la serie permutada, entonces la serie convergente
anterior es , es decir, una subsucesin de la anterior. Los trminos W
$8
faltantes de la sucesin son y . Pero las diferencias : W W
$8" $8#
W W W W
$8" $8 $8# $8
" " "
#8" #8" %8#
tienden a cero, con lo
cual las tres subsucesiones tienden al mismo lmite . Un simple
=
#
razonamiento con la definicin misma de lmite de una sucesin permite
demostrar que converge y lo hace al mismo lmite W
8
=
#
1.4 PRODUCTOS INFINITOS Y FRACCIONES CONTINUAS
Sea una sucesin de nmeros reales. De modo totalmente +
8 8!
anlogo a las series, se puede definir una nueva sucesin de productos
parciales :
25
T +
8 5
5!
8
#
Esta sucesin se denomina y se denota por producto infinito
#
5!

5
+ el lmite de esta sucesin. En este caso, es claro que si algn trmino
de la sucesin es cero, entonces la sucesin de productos parciales tiene +
8
una cola infinita de ceros y converge trivialmente a 0. Por esta razn, se
excluyen los ceros en el estudio de este tipo de objetos. Adems se
considera solo a los productos infinitos cuyo lmite es distinto convergente
de cero.
Ilustraremos este concepto con un ejemplo:
Se afirma: . En efecto, los productos parciales
#
5#

" "
5 #
"
#
son:
T "
8
5# 5#
8 8
" 5 "
5 5
# #
# #
#
Tomando logaritmos, tenemos:
691T 6915 " 6915
8
5#
8
# #

6915 " 6915 " #6915

5#
8
6915 " 6915 6915 " 6915

5# 5#
8 8
6918 " 691# 691" 6918 691 691#
8"
8
Pero la sucesin tiende a cero , pues tiende a 1. Por lo tanto: 691
8" 8"
8 8
lim lim
8 8
8 8
"
#
691T 691 T 691# 691 y por lo tantoefctivamente
lim
8
8
"
#
T
Las llamadas son sucesiones anlogas a las series y a fracciones continuas
los productos infinitos, pero con la operacin divisin. En este caso, la
sucesin da origen a la sucesin de : +
8 8!
divisiones parciales
H H H
! " #
" " "
+ + + ! " #
" "
+
! +
"
"
+
!
y, en general, a la sucesin
definida por recurrencia : , la cual puede ser estudiada H
8"
"
+ H
8" 8
por el "esquema de la telaraa" (ver Clculo 1 , Captulo 3).
El ejemplo clsico es la fraccin continua : cuyo
"
"
"
"
"
"
"
"
"
"
lmite calculado usando los mtodos usuales de la Teora de las
sucesiones es :
" &
#

26
1.5 PROBLEMAS
1. Demuestre que, si converge absolutamente , entonces y

+ +
8
8
#

+
"+
8
#
8
#
tambin convergen absolutamente.
2. Demuestre que una serie de trminos no-negativos es convergente si y
solo si su sucesin de sumas parciales es acotada.
3. Demuestre que, si entonces toda de esta serie

8!

8
+ agrupacin
(es decir, formada poniendo parntesis) converge tambin hacia
% B ! a8 Demuestre el Sea Entonces: criterio de Raabe
8

Si tal que 3 b + " bO " 8 O
B
B 8
+ 8"
8
entonces la serie es convergente.

B
8
Si tal que 33 b + " bO " 8 O
B
B 8
+ 8"
8
entonces es divergente

B
8
5. Demuestre el siguiente corolario del criterio de Raabe:
sea y sea Entonces: B ! a8 + 8"
8
8
B
B
lim
8"
8
Si la serie es convergente 3 + " B

8
Si la serie es divergente. 33 + " B

8
6(*). Sea una serie convergente. Demuestre que la sucesin de

+
8
promedios de las sumas parciales ( llamada ) : suma de Cesaro
5
8 " # 8 5 " 5
"
8
W W W + + + .. + ) , S
converge al mismo lmite. Demuestre que la afirmacin recproca no es
verdadera, es decir, encuentrre una serie divergente pero tal que su suma
de Cesaro sea convergente.
27
7. Demu stre que la serie: /
"
' ' ' '
" # $ %
# $ % &
.B " .B " .B " .B
B # B $ B % B
es convergente. Haga un grfico ilustrando el valor de su suma como el
rea de cierta regin del plano. La suma de esta serie se llama con=>+8>/
./ I?6/< y se denota por . Use este resulatdo para demostrar: #

5"
8
"
5
8
691 8 8 8 ! ( +1) , donde # % % lim
8 Sea Demuestre que el producto infinito + ! " +
8 8
8!
#
converge la serie converge. si y solo si

8!
8
+
(Indicacin: demuestre y use la desigualdad " B / aB
B

9. Sea . Demuestre que el producto infinito + " +

8 "
8 8
"
8
8

#
diverge a cero pero la serie converge.

+
8
10. (*) Demuestre el siguiente Criterio de Cauchy para productos
infinitos:
el producto infinito converge (con lmite distinto de cero)
#
8!
8
? si y solo
si
a ! bR l? ? ? "l a8 R a5 % % tal que
8" 8# 85
11 (*) Sea . Demuestre que el producto + +
#8" #8
" " "
8 8 8
infinito converge pero la serie diverge.
#
" + +
8 8
( Indicaciones: use el Criterio de Cauchy para productos infinitos y el
Lema: converge converge. )
# #
" l+ l " +
8 8
12 . A partir de la serie (condicionalmente) convergente

8"
"
8
8"
construya la serie permutada tomando dos trminos positivos seguidos de
una negativo. Demuestre que esta serie converge a donde es la suma
$
#
= =
de la serie original.
1.6 SUCESIONES Y SERIES DE FUNCIONES
28
Desde los inicios del Clculo Infinitesimal el estudio de la aproximacin
de funciones por otras ms sencillas acapar la atencin de los
matemticos. En particular resulta interesante poder aproximar funciones
por de otras funciones y poder realizar operaciones matemticas con series
los sumandos de esas series. Sin embargo muy tempranamente se
descubri que este tipo de operaciones requera hiptesis diferentes de las
usuales reglas de convergencia.
DEFINICION. Una sucesin de funciones es una funcin : F Y
:
donde y es un conjunto de funciones Y
:
: : " : #
reales con un mismo dominio. Es decir, a cada se ha asociado una 8
:
funcin La sucesin de funciones se F 8 0 H
8
denotar : 0
8 8:
La sucesin converge a la funcin si 0 0
8
puntualmente
la sucesin numrica converge al nmero aB H 0 B 0B
8
Se denotar abreviadamente: 0 0
:
8

La sucesin converge a la funcin si 0 0
8
uniformemente
tal que a ! bR l0 B 0Bl a8 R aB H % %
8
Se denotar abreviadamente : 0 0
?
8

OBSERVACIONES
1. En primer lugar observemos que las definiciones de convergencia
puntual y uniforme son muy parecidas, su diferencia es sutil : para esto
escribamos explcitamente la definicin de convergencia puntual y
comparmosla con la de convergencia uniforme: 0 0
:
8

aB H a ! bRB l0 B 0Bl a8 R % % % tal que
8
Notamos entonces que la nica diferencia es que , dado un acercamiento , %
el acercamiento a infinito caracterizado por depende no solo de sino R %
tambin del punto . En la convergencia uniforme solo depende de y B R %
por eso la expresin " " aparece al final. aB H
2. Conviene hacer un esquema grfico para visualizar geomtricamente la
convergencia uniforme.
29
Figura 1.3
Se ha dibujado, teniendo como centro la grfica de la funcin lmite , 0
una de ancho . Para este debe existir un tal que cinta todas # R % %
las grficas de las funciones , a partir de deben estar 0 R
8
completamente contenidas dentro de la cinta. En efecto, las funciones 0
8
que satisfacen: son precisamente aquellas l0 B 0Bl aB H
8
%
cuyas grficas estn totalmente contenidas en la cinta.
3. En particular, es claro que la convergencia uniforme implica la puntual.
En los ejemplos siguientes veremos que la implicacin inversa no es
verdadera.
Ejemplos
1. Sea la sucesin de funciones: 0 B # 8B B
" ! B
! B "
8
"
8
" #
8 8
#
8

La grfica de estas funciones se muestra en la Figura 1.4:

30
Figura 1.4
Es fcil ver que esta sucesin converge puntualmente a la funcin
0B
" B !
! B !

La convergencia no es uniforme, pues para cualquier siempre existe un 8

B ! B l0 B 0Bl l" !l "
"
8
8
y por lo tanto Por lo tanto
basta elegir un para contradecir la definicin de convergencia % "
uniforme. Aqu es interesante notar que todas las funciones son 0
8
continuas, pero su lmite no lo es.
2. Sea ahora 0B # 8B B
8B ! B
! B "

"
8
" #
8 8
#
8
La grfica de estas funciones se muestra en la Figura 1.5:
Figura 1.5
31
En este ejemplo es fcil ver que Pero la convergencia tampoco 0 !
:
8

es uniforme: para cualquier el cacho de la grfica llega hasta 1 y por lo 8
tanto se saldra de una cinta de ancho Aqu tanto las funciones % 0
"
#
8
como su lmite son funciones continuas.
3. Sea Puesto que la funcin seno es acotada , es 0 B =/88B
8
"
8

claro que esta sucesin converge uniformemente a la funcin nula. Sin

embargo la sucesin de funciones formada por las derivadas es divergente:
0 B 8 -9=8B B
8
w

diverge para cada Es decir, la convergencia
uniforme no es suficiente para conservar la diferenciabilidad.
4. Sea ahora 0 B
B
! B
8
8 " "
# 8 8
" "
8 8

Figura 1.6
Esta sucesin diverge tanto uniforme como puntualmente, puesto que en 0
se tiene es decir, su lmite no es una funcin real. Sin lim
8
8
0 !
embargo, si se calcula la sucesin de sus integrales, se tiene:
' '
" "
" "
8 8
8
0 B.B " 0 B.B " Luego lim
TEOREMA 3
32
Sea la sucesin de funciones 0 + , 8
8

" 0 0 a ! bR
?
(Criterio de Cauchy) tal que
8
%
l0 B 0 B a: ; R aB + ,
: ;
%
2. Si y son continuas en entonces es continua en 0 0 0 B 0 B
?
8 8

3. Si y son Riemann-integrables , entonces es Riemann- 0 0 0 0

?
8 8

integrable y vale :
' '
+ +
, ,
8 8
8 8
lim lim 0 0
% 0 0 0 0 1 0
:
?
Sean diferenciables en [a,b] , y , entonces es
8 8
w
8

dieferenciable y vale 1 0 0 0 lim lim
8 8
8 8
w w w
DEMOSTRACIN:
1. ( ) Sea en . Sea : por deifinicin 0 0 + , !
?
8
%
b l0 B 0Bl a8 R aB + , N , tal que Basta tomar
8
#
%
el mismo ; si , entonces R : ; R
l0 B 0 Bl l0 B 0Bl l0B 0 Bl
: ; : ;
# #
% %
%
Sea vlido el criterio. En particular la sucesin de
nmeros es de Cauchy para todos los Por lo tanto 0 B B + ,
8
converge. Podemos definir as una funcin tal que Lo que 0 0 0
:
8

falta por demostrar es que la convergencia es uniforme. Para eso sea
% ! b l0 B 0 Bl por hiptesis N tal que
8 7
#
%
a8 7 R aB + , 7 Basta aqu tomar lmite cuando tiende a
infinito. La continuidad de la funcin valor absoluto permite pasar el
lmite hacia adentro: l0 B 0Bl
8
#
%
%
2. Sea . Por la convergencia uniforme de la sucesin N tal % ! b
que y por la continuidad de la l0 C 0Cl aC + , a8 R
8
$
%
funcin en existe vecindad de tal que 0 B B l0 B 0 Cl
8 8 8
$
h
%
aC 8 R h Notar que aqu se ha tomado un fijo. Por lo tanto:
l0B 0Cl l0B 0 Bl l0 B 0 Cl l0 C 0Cl
8 8 8 8
%
Lo que demuestra la continuidad de en . 0 B
3. Sea ahora y . Demostraremos que 0 0 0 + , 0 + ,
?
8 8
e e
usando el criterio de integrabilidad de Riemann. Para eso dmonos un
33
% ! 8 . Entonces, por la convergencia uniforme, podemos encontrar un
tal que y tambin, por la l0B 0 Bl aB + ,
8
#,+
%
inegrabilidad de cada , una divisin del intervalo tal que 0 H + ,
8
W0 H =0 H
8 8
#
%
. Tomando esta misma divisin y recordando
que =?:0 1 =?:0 =?: 1 3800 1 380 0 380 1
tenemos:
W0 H =0 H W0 0 H W0 H
8 8
=0 0 H W0 H W0 0 H =0 0 H
8 8 8 8
W0 H =0 H , +
8 8
#,+ #
% %
%
lo que demuestra la integrabilidad de . 0
Para demostrar la igualdad propuesta, dmonos nuevamente un . Por % !
la convergencia uniforme N tal que b l0B 0 Bl
8
,+
%
aB + , 0 0 l l0 0 l Luego : |
' ' '
+ +
, ,
8 8
%
% 0 0 0 0 1
:
?
Sean diferenciables en [a,b] , y
8 8
w
8

Demostraremos en primer lugar que la funcin lmite es continua en 1
cada punto de . Tomemos un nmero y vamos a + , - + ,
demostrar que es continua en . Se entiende que , si es uno de los 1 - -
extremos, la continuidad es lateral, del mismo modo, la diferenciabilidad
de los en los extremos se entiende de tipo lateral. Definamos la 0
8
funcin auxiliar:
1 B
B -
0 - B -
8
0 B0 -
B-
8
w

8 8
Ntese que las funciones son continuas en [a,b], en particular son 1
8
continuas en el punto . Para dos ndices fijos llamemos - 8 7
2B 0 B 0 B Reemplazando arriba, se tiene:
8 7
1 B 1 B 2
8 7
2B2-
B-
y como es diferenciable, por el teorema del
valor medio , entre y , tal que luego: b - B 2B 2- 2 B - ) )
w
1 B 1 B 2 0 0
8 7
w w w
8 7
) ) ) Pero la convergencia uniforme
de las derivadas implica que ellas satisfacen la condicin de Cauchy , 0
8
w
por lo tanto tambin debe hacerlo la sucesin es decir, 1 1
?
8 8 ,
F
donde es continua en en particular en . Como y F + , - 1 - 0 -
8
8
w
0 1 - 1- 1 -
?
w
8
F se tiene que Luego, es continua en .
Usando el punto 3 de este teorema y aplicando el teorema fundamental
del clculo, tenemos:
' ' '
+ + +
B B B
8 8 8
8 8
w w
8 8
1 0 0 0 B 0 + 0B 0+ lim lim lim
34
es decir, y como es continua, es diferenciable y 0B 0+ 1 1 0
'
+
B
vale finalmente 0 1
w
Q.E.D
COROLARIOS
1. El punto 2 de este teorema puede expresarse en trminos operativos del
siguiente modo: si , entonces el lmite continuo se puede 0 0
?
8

intercambiar con el lmite discreto:
lim lim lim lim
8 B+ B+ 8
8 8
0 B 0 B
En particular, usando el lgebra de lmites , para que convergen series
uniformemente, se tiene : lim lim
B+ B+
8! 8!

8 8

0 B 0 B
# 0 Si la serie converge uniformemente , entonces se puede integrar

8
trmino a trmino, es decir :
' '
+ +
, ,
8! 8!

8 8
0 0
$ 0 Del mismo modo, si la serie converge puntualmente, pero la

8
serie de las derivadas converge uniformemente, entonces la serie se

0
8
w
puede derivar trmino a trmino: 0 0

8
w w
8
1.7 PROBLEMAS
1. Sea Analice la convergencia puntual para 0 B !
8
B
8B
Es uniforme la convergencia en ? y en ? ! ! "
2. Sea 0 B
B ! B "
" " B
8
8

Encuentre la funcin lmite (puntual) de esta sucesin

analice la uniformidad de la convergencia en en y ! ! "
en cualquier intervalo de la forma con ! + + "
35
3. Analice la convergencia puntual y uniforme de la sucesin
0 B !
8
B
"8B
en el intervalo
4. Sea Demuestre que en 0 B " BB 0 ! ! "
?
8 8
8

5 Sea 0 B
8
6918B
8
Calcule el lmite puntual de esta sucesin. Es uniforme la
convergencia en el intervalo ? y en el intervalo ? " " #
Es verdadero que ? 0 B.B 0 B .B lim lim
8 8
" "
# #
8 8
' '
Es verdadero que ( ? 0 0 lim lim
8 8
8
w w
8
6. Considere la sucesin de funciones 0 B
8
#B
8 B
#
Haga un esbozo de los primeros trmino de esta sucesin
Calcule, si existe, el lmite puntual de esta sucesin para B !
Es uniforme la convergencia en ? y en ? ! ! "
Es verdadera o falsa la igualdad
. .
.B .B
8 8
8 8
lim lim 0 B 0 B
para ? B !
7. Sea 0 B
8
-9=#8B
8

Encuentre el lmite puntual de esta sucesin en Es !

1
%
uniforme la convergencia en este intervalo ?
Es verdadero o falso que ( ? donde? 0 0 lim lim
8 8
8
w w
8
Es verdadero o falso que:
? lim lim
8 8
8 8
!
' '
0
1 1
% %
0 B.B 0 B .B
8. Sea Calcule, en trminos de una serie, la integral: 0B #B

8!

#8
'
+
+
0B.B ! + "
Fundamente su respuesta.
9. Sea Estudie la convergencia de esta sucesin en 0 B !
8
8B
8B"
y en Es verdadero o falso que ( ? + + ! 0 0 lim lim
8 8
8
w w
8
donde?
36
10. Haga un estudio similar para las sucesiones de funciones :

3 1 B
8
8
"8 B
#
33 2 B
8
8B
8 B
#
11(*) . Demuestre que la serie:

8!

"
8B
8
#
es convergente en todo uniformemente
37
1.8 SERIES DE POTENCIAS
Existe un tipo especial de series de funciones cuya importancia, tanto
prctica como terica es fundamental. Se trata de las llamadas series de
potencias :

8!
8
8
+ B +
El nmero , llamado + centro de la serie, puede ser cualquier nmero real
y su eleccin depender de la funcin que se pretende representar. Aqu la
pregunta es: donde convergen estas series? cul es el tipo de
convergencia? cul es el comportamiento de las funciones que
representan sus sumas en sus dominios de convergencia?
Por otro lado, si una funcin tiene derivadas de todo orden en algn
dominio, entonces tendr asociada su serie de Taylor , es decir , la serie
de potencias:

8!
0 +
8x
8
8
B +
En qu dominios la suma de esta serie coincide con la funcin misma ? 0
Veremos que no siempre esto ocurre, por lo que se acostumbra a denotar
0B B +

8!
0 +
8x
8
8
para indicar la serie de Taylor que corresponde a la funcin , y solo 0
poner el signo igual cuando efectivamente la serie tiene por suma al
nmero en algn dominio. 0B
Se acostumbra a denotar por al conjunto de todas las funciones que G

poseen derivadas de todo orden. Esta notacin extiende la notacin G

8
que indica el conjunto de las funciones que poseen derivada continua
hasta el orden . Por otro lado vamos a denotar por al conjunto de 8 T
todas las funciones que pueden representarse por una serie de potencias, es
decir, que son desarrollables en serie de potencias. Estas funciones
reciben el nombre de y para enfatizar el hecho que se trata de analticas,
funciones reales, se suelen llamar tambin Y aqu surge real-analticas.
el interesante problema coincide este conjunto con el conjunto ? T G

Es decir, son analticas las funciones ? G

Finalmente, si es una funcin analtica, ser la suma de una 0 nica serie

de potencias? . Es decir, ser posible que una funcin pueda ser
representada por (o ms) series de potencias diferentes? dos
Para resolver estas interrogantes comenzaremos por demostrar, como
Lema, un teorema clsico debido a Weierstrass:
38
LEMA ( Criterio de Weierstrasss)
Sea Entonces, si es l0 Bl Q a8 R aB H Q
8 8 ! 8


convergente , la serie de funciones es uniformemente convergente

0
8
en . H
La serie se llama , puesto que es una

Q
8
mayorante uniforme
mayorante fija para todas las series numricas que resultan

0 B
8
evaluando las funciones en 0 B H
8
DEMOSTRACIN . Sea , para La funcin B H 0B 0 B 0

8!

8
est bien definida pues la serie tiene su mayorante convergente. Lo que
falta por demostrar es la uniformidad de la convergencia. Para eso, sea
% % ! bR Q . Por la hiptesis, tal que , luego

5R"

5
tomando este mayor o igual al que asegura la mayoracin: R R
!
l0B 0 Bl l 0 B l Q aB H

8!
R
8 8 8
8R" 8R"
%

DEFINICIN. Sea una serie de potencias. se define

8!
8
8
+ B +
converge} 3 =?:< ! l+ l<

8
8
se llama de la serie y puede ser , si el 3 3 radio de convergencia
conjunto no es acotado, es decir, si la serie converge para

l+ l<
8
8
valores de arbitrariamente grandes <
TEOREMA 4
39
Sea el radio de convergencia de la serie de potencias 3

8!
8
8
+ B +
Entonces :
1. Si entonces es absolutamente convergente lB +l + B + 3

8
8
2. Si entonces es divergente. lB +l + B + 3

8
8
3. Si entonces es uniformemente ! V + B + 3

8
8
convergente enel dominio + V + V
4. Sea la funcin , con 0B + B + lB +l !

8!

8
8
3 3
Entonces es diferenciable y su derivada es 0 0 B 8+ B +
w 8"
8"

& 0B + B + lB +l ! 0 G Sea Entonces y

8!

8
8
3 3
+ 0 G
8
0 +
8x

8
Recprocamente, si , entonces
0B B +

8!

0 +
8x
8
8
se cumple el resto de Taylor tiende a cero cuando si y solo si V8 B 8
tiende a infinito.
DEMOSTRACIN
1. Sea Por definicin de supremo, existe un nmero , lB +l < 3
lB +l < l+ l< 3 tal que es convergente. Luego

8
8
l+ B + l l+ l<
8 8
8 8
y por lo tanto


l+ B + l l+ l<
8 8
8 8
lo que demuestra , por comparacin, la convergencia absoluta de la serie.
En particular, si , la serie es absolutamente convergente en todo . 3
2. Sea ahora Luego existe un tal que lB +l < < lB +l 3 3
Supongamos que la serie fuese convergente: entonces la

+ B +
8
8
sucesin en particular sera acotada : + B + !
8
8

l+ B + l l+ l
8 8
8 Q
lB+l
M . Luego y multiplicando a ambos lados
8
por se tiene <
8
40
l+ < l Q
8
8 8 <
lB+l
que es el trmino general de una serie geomtrica convergente, luego ,
nuevamente por comparacin, la serie sera convergente, lo que

l+ l<
8
8
contradice la definicin de como supremo. 3
3. Sea ahora Nuevamente por definicin de supremo existe ! V 3
un , donde converge. Por lo tanto < V < l+ l< 3

8
8


l+ B + l l+ l< aB + V + V
8 8
8 8
luego, por el criterio de Weierstrass , la serie converge uniformemente.
4. Sea , para , Debemos 0B + B + lB +l !

8!

8
8
3 3
demostrar la convergencia uniforme de la serie formada por las derivadas
de los trminos de la serie original: Podemos elegir

8+ B +
8
8"
dos nmeros, y tales que: V <
lB +l V < 3
Entonces se tiene
l8+ B + l 8l+ lV 8
8 8
8" 8" 8
l+ l<
V <
V 8
8
Pero la sucesin es acotada ya que . Apliquemos el
l+ l<
V
8
8 8
8
l+ l< !
criterio del cuociente al factor : 8
V
<
8

8"V <
< 8V 8 < <
8" V V
8" 8
8" 8
"
Por lo tanto la serie tiene la mayorante uniforme :

8+ B +
8
8"
| |R que es convergente, luego, nuevamente por el criterio de

8 +
8
8"
Weierstrass, converge uniformemente. Luego, por el Teorema 3 , N , se
!
%
cumple que
0 B 8+ B +
w 8"
8"

5. Queremos seguir derivando la funcin dada por 0B + B +

8!

8
8
en el dominio . Para esto demostraremos que la serie lB +l ! 3 3
derivada , es decir, la serie formada por las derivadas de cada trmino:
41

8+ B +
8
8"
tiene el que la serie original. Llamemos mismo radio de convergencia
provisoriamente al radio de convergencia de esta serie: demostraremos 3

que = . 3 3

Supongamos primero que Vamos a demostrar que ! 3

3

b < tambin es cero. Supongamos que no es as: , tales que

! <

3
con convergente. Pero :

8l+ l<
8
8"
l+ l 8l+ l< <
8 8
8 8" 8 "
8 <

donde el primer factor es acotado, pues la serie 8l+ l< <
8
8"
correspondiente es convergente y el segundo corresponde al trmino
general de una serie convergente: en efecto, usando el criterio del
cuociente:

"
8" <
8"
"
8 <
8


8
8" < <

"

Por lo tanto la serie es convergente, lo que contradice la

l+ l
8
8

hiptesis de que 3 !
Sea ahora . Supongamos ahora que . Entonces , ! ! b <

3 3
tales que
! < 3
con convergente. Pero

l+ l<
8
8
|8+ l 8
8
8" 8
l+ l<
<

8
8

donde el primer factor es acotado pues es el trmino general de una
l+ l<
8
8

serie convergente y el segundo , usando nuevamente el criterio del

cuociente, resulta el trmino general de una serie convergente:

8"
8 8 < <
8"

<
8"
<
8
"

Luego, la serie sera convergente, lo que contradice la

8l+ l
8
8"

hiptesis de que . 3

!
Sea ahora . Tomemos un nmero tal que Por ! ! 3 3
definicin de radio de convergencia existe un tal que la < < 3
serie es convergente. Argumentando del mismo modo que en el

l+ l<
8
8
caso anterior, tenemos
|8+ l 8
8
8" 8
l+ l<
<

8
8

donde el primer factor es acotado y el segundo corresponde al trmino
general de una serie convergente, tal como lo vimos antes. Luego,
42

8l+ l

8
8"
3 es convergente. Por lo tanto, . Hemos demostrado
que todo nmero menor que debe ser menor o igual que . Luego 3 3

3 3

.
Sea , finalmente y tomemos , tal como antes, un tal !

3
que Entonces existe un nmero tal que la ! < <

3 3
serie converge. Nuevamente podemos escribir

8l+ l
8
8"

l+ l 8l+ l< <

8 8
8 8" 8 "
8 <

donde el primer factor es acotado y el segundo corresponde a trmino
general de una serie convergente, tal como se vi antes. Luego

l+ l
8
8

es convergente, por lo tanto y , con el mismo argumento anterior, 3

tenemos que . 3 3

Hemos demostrado que la funcin , puede 0B + B +

8!

8
8
ser derivada indefinidamente en Si evaluamos esta funcin lB +l 3
en tenemos B +
0+ +
!
derivando una vez tenemos
0 B 8+ B +
w 8"
8"

y evaluando en , se tiene B +
0 + +
w
"
y al hacerlo por segunda vez:
0 B 88 "+ B +
w 8#
w
8#

luego:
0 + #+
w
w
#
Procediendo inductivamente, se obtiene
0 + 8x+
8
8
y por lo tanto
+
8
0 +
8x
8
Finalmente, recordemos que , si , el teorema de Taylor 0 G

nos d , para todo : 8

0B B + V8 B

5!
8
0 +
5x
5
5
de donde resulta inmediato que el lmite de las sumas parciales (el
polinomio de Taylor) coincide con si y solo si 0B V8 B !
43
Q.E.D.
OBSERVACIONES Y EJEMPLOS
1. El punto 5 de este teorema est indicando la de la unicidad
representacin de una funcin analtica mediante una serie de potencias:
los coeficientes estn unvocamente determinados por la funcin y sus
derivadas. Sin embargo, no hay que equivocarse al respecto: la unicidad
est referida a un determinado centro: si cambiamos el centro,
cambiaremos completamente la serie que representa a la funcin.
Veamos este fenmeno en un ejemplo:
Sea Est claro que no podemos elegir el 0 como centro 0B 691B
pues all no hay funcin. Tomemos el 1. Necesitamos derivar esta funcin
para obtener su serie de Taylor:
0 B B
w " "
B
0 B "B
w #
w

0 B " 8 "xB
8 8" 8
Evaluando en 1, obtenemos:
0 " " 8 "x
8 8"
y por lo tanto su serie de Taylor, alrededor de 1, ser:
691B B "

8"

"
8
8
8"
Un clculo elemental nos indica que el radio de convergencia de esta serie
es 1, de modo que la funcin logaritmo quedara representada por esta
serie solamente enel intervalo . Qu ocurre en los extremos? Si ! #
evaluamos en se obtiene la serie B #

8"

"
8
8"
que es convergente por el criterio de Leibnitz. Mientras que en se B !
obtiene la serie armnica no-oscilante

8" 8"

"
8 8
"
#8"

que diverge a
Pero representa esta serie realmente a la funcin logaritmo?. Utilizando
el resto de Lagrange, tenemos:
V8 B B " B "
0 " 8x "
8"x 8"x 8"
8" 8" 8" B"
8" 8 8
8
)
) )
+1
44
Si entonces y por lo tanto luego: " B # " B ! B " ) )
lV8 Bl
"
8"
con lo cual efectivamente
691B B "

8"

"
8
8
8"
para Ntese que la estimacin que hemos hecho del resto no B " #
sirve para B ! "
Evaluando esta funcin en , obtenemos la suma de la serie armnica B #
oscilante:
691#

8"

"
8
8"
Pero , qu ocurre al lado izquierdo del 1 ? La serie es convergente, pero
representa a la funcin? Dejamos al lector convencerse de que las
frmulas clsicas de resto para el polinomio de Taylor no dan buen
resultado para este caso. Pero hay aqu un problema an mayor: la
funcin logaritmo est perfectamente definida del 2, mientras ms all
que la serie presentada anteriormente es ms all del 2. Es divergente
que la funcin logaritmo no se puede representar por una serie de
potencias ms all del 2? En el siguiente punto daremos una respuesta
completa a estas interrogantes.
2 . Si queremos representar a la funcin logaritmo por una serie de
potencias en cualquier punto, debemos cambiar el centro de la serie, de
modo tal que el punto quede dentro del respectivo dominio de
convergencia de la serie . Tomemos un nmero cualquiera como + !
centro. Evaluando las derivadas en el punto , segn lo calculado en el +
punto anterior, se obtiene:
691B 691 + B +

8"

"
8+
8
8"
8
El radio de convergencia es muy fcil de calcular: debemos estudiar la
convergencia de la serie asociada

<
8+
8
8
Usando el criterio del cuociente, tenemos
< 8+
8"+ < 8" + +
8 < <
8"
8
8" 8
" < +
por lo tanto, Si evaluamos la serie en , resulta una serie 3 + B #+
convergente, de modo que nuestra serie es convergente en . Vamos ! #+
a demostrar que
lV8 Bl ! B ! #+
45
y que, por lo tanto, la funcin logaritmo queda representada por su serie
de Taylor en ese dominio. Para esto vamos a construir una forma especial
de resto, vlida solo para este caso.
Recordemos la igualdad:
"
"C "C
# $ %
" C
" C C C C
8 8
Pongamos con e integremos a ambos lados de la C > ! #+
>
+
igualdad desde 0 a : B +
' ' ' '
! ! ! !
B+ B+ B+ B+
.> >
" " +
"
> >
+ +
8 8 >
+
.> .> .>
+691B 691+ B + .>
" >
+ # + +>
B+ "
!
B+
# 8
8"
8
'
Luego, depejando , obtenemos 691B
691B 691+ B + V8 B

5"
8"
"
5+
5
5"
5
que no es otra cosa que el polinomio de Taylor donde se ha incorporado
el resto :
V8 B .>
"
+ +> !
B+
>
8
8"
8
'
Ntese que ste el resto integral del teorema de Taylor. no es
Para demostrar que este resto tiende a 0 cuando tiende a infinito, 8
debemos separar dos casos:
3 ! B + > Sea entonces la variable de integracin satisface:
B + > ! > + B ! luego y por lo tanto
!
" "
+> B
Luego
lV8 Bl l l.> l> l.>
" > "
+ B B+ B+ B+
! !
8
8" 8"
8
' '
Pero para calcular la integral, debemos distinguir par de impar: 8
si es par: 8

'
B+
!
8
B+ lB+l
8" 8"
> .>
8" 8"
pues es impar. 8 "
si es impar 8
(
'
B+
!
8
B+ lB+l
8" 8"
> .>
8" 8"
pues es par. 8 "
Por lo tanto tenemos en ambos casos la estimacin
lV8 Bl
lB+l lB+l
B+ 8" + B8" B8"
8" + +
8"
8"
# #
pues lB +l +
33 ! + B > Seaahora . Entonces la variable de integracin es
positiva, luego y por lo tanto + > +
46
!
" "
+> +
Luego:
lV8 Bl .>
" > " B+ + +
+ + + 8" + 8" 8"
B+ B+
8"
8" 8
8
8"
'
0
Por lo tanto, en ambos casos nuestro resto tiende a cero cuando tiende a 8
infinito.
3. Como segundo ejemplo calculemos la serie de Taylor de la funcin
seno, tomando como centro : + !
=/8B B
B B B
$x &x (x
$ & (
Tal como antes, hay aqu dos problemas a resolver: donde converge esta
serie? representa a la funcin?
La primera pregunta es muy fcil de responder :

l+ l<
8
8 <
8x
8
que es convergente para todo Es decir, y por lo tanto la < ! 3
serie converge para todo B
Para contestar la segunda, tomemos la forma integral del resto de Taylor:
|V8 Bl l llB >l .>
'
!
B =/8 >
8"x
8
8"
lB >l .>
"
8"x 8"8"x !
B
8
lBl
'
8"
que tiende a cero para todo . Por lo tanto , efectivamente: B
=/8B B
B B B
$x &x (x
$ & (
% Se entiende por de una serie de potencias el dominio de convergencia
conjunto de los valores de para los cuales la serie converge. Segn B
nuestro teorema, el intervalo abierto pertenece al dominio + + 3 3
de convergencia por lo que solo resta por dilucidar la convergencia en los
bordes de este intervalo.
Calculemos el dominio de convergencia de la serie:

8"
"
8
8
8
B #
El radio de convergencia: debemos analizar la serie asociada:

8"
"
8
8
<
Utilizando el criterio del cuociente, tenemos:
+
+ 8"< 8"
< 8 8 8"
8
8"
8
< <
por lo tanto, 1. Con esto ya sabemos que el dominio de convergencia 3
contiene al intervalo: $ "
47
Los bordes: Si , entonces se obtiene la serie B $

"
8 8
8 "
8
"
que es divergente. En cambio para resulta la serie: B "

" "
8 8
8
8 8
"
que es convergente. Por lo tanto, el dominio de convergencia de esta serie
es el intervalo semicerrado $ "
5. Vamos a demostrar, con un ejemplo clsico, que no todas las funciones
de la clase son analticas, es decir, no siempre la serie de Taylor G

representa a la funcin. La funcin es:

0B
/ B !
! B !

"
B
#
,

Demostraremos que esta funcin es en una vecindad de 0 , pero que G

su serie de Taylor es la serie nula y por lo tanto no representa a la funcin.

Para esto, demostremos primero por induccin que
lim
B!
/
B

"
B
#
8
! a8
Para es claro. 8 !
Sea 8 "
/ B "
B #
/ /
"B

"
B
# "
B B #B
# # $
# "
B
#
{ B/ !
donde se ha usado el teorema de L'Hopital.
Sea vlido para : 8 "
/ B 8" /
B # B
/ /
8"B

" "
B B
# #
8" 8"
8"
B B #B
# # $
8#
{ !
donde se ha usado el teorema de L'Hopital y la hiptesis de induccin.
Hay que notar que la induccin v aqu de dos en dos, por lo tanto era
preciso tener puntos de partida: y dos 8 ! 8 "
Calculemos ahora las derivadas de la funcin en 0 B !
0 ! !
w
B!
/ !
B
lim

"
B
#
48
0 ! !
w
w
B! B!
/ 0 !
B B
#/
lim lim

"
B
# w w

"
B
#
%

0 ! !
8
B!
E B / 0 !
B
lim

5
7 8"

"
B
#
donde se ha indicado que las derivadas sucesivas de la funcin /

"
B
#
forman un polinomio del tipo .

E B /
5
7

"
B
#
1.9 PROBLEMAS
1. Calcule los radios de convergencia de las siguientes series. Si el radio
es finito, analice el comportamiento en los extremos:
3

8!
B$
8"#
8
8
33

8!
" B"
8 "
8 8
#
333

8"
8xB
8
8
8
2. Sea pero la sucesin es + ! a8 "
8
8
+ +
+ +
lim
8" 8"
8 8
montonamente decreciente. Demuestre que la serie es divergente.

+
8
3 Suponga que para un fijo, la serie es absolutamente B + " B

8
8
convergente. Demuestre que la serie

5! 85
5

8
5
8
B +
es convergente. Cul es su suma?
4. Encuentre la serie de Taylor centrada en cero de las siguientes
funciones , indicando los respectivos radios de convergencia:
3 0B
"
"B
#
49
33 0B +<-=/8B
333 0B 691B +
dnde representan las series efectivamente a sus funciones ?
5 * . Se define el de una sucesin + lmite superior
8
637=?: +
8
lim
8
8 8" 8#
=?:+ + +
Demuestre que el radio de convergencia de la serie de potencias 3

+ B +
8
8 "
637=?:l+ l
satisface la igualdad : 3
8
"
8
6 (*) Los se definen: coeficientes binomiales

5 5
! 8 8x
55"58"
" 8 "
Si es un entero positivo, estos coeficientes se anulan salvo un nmero 5
finito de valores de . De lo contrario, se tiene una sucesin infinita. 8
Analice la convergencia de la llamada : serie binomial

8!
5
8
8
B
y demuestre que su suma es, en su dominio de convergencia, igual a
" B
5
Servir su estudio para encontrar en trminos de una serie?

#
(Indicacin: para los bordes use el criterio de Raabe)
1.10 SERIES DE FOURIER
El desarrollo de una funcin en su serie de Taylor requiere no solo
que la funcin sea infinitamente diferenciable, sino ms an, como hemos
visto, la hiptesis tcnica de que el resto tienda a cero. Sin embargo hay
muchas situaciones donde la modelacin necesita funciones que ni
siquiera son continuas. Resulta interesante poder acercarse a una funcin
con discontinuidades mediante alguna serie apropiada. Leonhard Euler y
Daniel Bernoulli , a mediados del siglo XVIII, comenzaron a usar series
de funciones sinusoidales (senos y cosenos) para modelar el movimiento
de una cuerda vibrante. Si fuese posible aproximar la forma de una cuerda
50
vibrante por una suma de funciones ms simples, entonces sera posible
destacar aquellas componentes ms importantes, pudiendose as
descomponer el sonido correspondiente en una serie de componentes con
distinto grado de importancia. Fu sin embargo J ean-Baptiste J oseph
Fourier quien, al estudiar la propagacin del calor en un anillo de hierro,
introdujo ciertas ecuaciones diferenciales parciales y busc sus soluciones
mediante sumas de funciones sinusoidales. Sus publicaciones al respecto
aparecieron en 1807 y 1811 y dieron lugar a una serie de polmicas acerca
de la convergencia y del tipo de funciones susceptibles de ser expresadas
por estas series. Es preciso recordar que tanto el concepto de lmite como
incluso el concepto de funcin no haban sido an desarrollados como los
conocemos hoy en da.
Resulta interesante ver como una funcin peridica con discontinuidades
obvias en tres puntos, que puede representar una suerte de impulso o
frente de onda, se deja aproximar por una serie de senos y cosenos.
Consideremos la funcin
0B
" B !
" ! B
! B !

1
1
1 1
cuya grfica se presenta en la Figura 1.7:
Figura 1.7
y veamos como las sumas parciales de la siguiente serie van aproximando
a esta funcin:
% " " "
$ & ( 1
=/8B =/8$B =/8&B =/8(B
51
5 2.5 0 -2.5 -5
1
0.5
0
-0.5
-1
x
y
x
y
5 2.5 0 -2.5 -5
1
0.5
0
-0.5
-1
x
y
x
y
(a) (b)
5 2.5 0 -2.5 -5
1
0.5
0
-0.5
-1
x
y
x
y
5 2.5 0 -2.5 -5
1
0.5
0
-0.5
-1
x
y
x
y
(c) (d)
Figura 1.8
En la Figura 1.8 se ha hecho la grfica de las sumas parciales de la serie
anterior para : (a) 8 $ , 8 "" - 8 "( . 8 #&
Las funciones seno y coseno satisfacen una propiedad bien especial:
, -9=8B=/87B.B ! a8 7
'
1
1

En efecto, basta considerar la identidad trigonomtrica:

-9=8B=/87B =/88 7B =/88 7B
"
#
y aplicar la periodicidad del coseno
-9=8B-9=7B.B
! 8 7
8 7
'

1
1
1
Para esto , basta usar la identidad:
-9=8B-9=7B -9=8 7B -9=8 7B
"
#
=/88B=/87B.B
! 8 7
8 7
'

1
1
1
Basta usar la identidad:
=/88B=/87B -9=8 7B -9=8 7B
"
#
Vamos a definir una secuencia de funciones ( tal que : 9
8 8!

52
'

8 7 87
1
1
9 9 $ B B.B
! 8 7
" 8 7
Para esto basta normalizar la secuencia de senos y cosenos dada
anteriormente, es decir, multiplicar cada funcin por una constante
adecuada:
9
!
"
#
B

1
9
"
"
B -9=B

1
9
#
"
B =/8B

9
#8"
"
B -9=8B

1
9
#8
"
B =/88B

1
Esta secuencia se llama , pues la integral del producto de ortonormal
funciones satisface las propiedades de un producto interno.
Sea una funcin peridica de perodo y supongamos que 0 #1
queremos aproximarla por un polinomio de la forma

5!
8
5 5
+ B 9
Qu coeficientes dan la mejor aproximacin a segn el criterio de + 0
5
los mnimos cuadrados? Es decir, queremos encontrar los coeficientes +
5
tales que la integral
'

5!
8
5 5
#
1
1
0B + B .B 9
sea mnima. Desde luego la funcin no podr ser cualquiera. Al menos 0
tiene que ser integrable. En todo caso no necesita ser continua.
Se afirma que los coeficientes que minimizan la integral anterior son:
- 0B B.B 8
8 8

'
1
1
9
Estos coeficientes se llaman coeficientes de Fourier. Para demostrar esta
importante propiedad, desarrollemos el binomio al cuadrado que est
dentro de la integral anterior:
'

5!
8
5 5
#
1
1
0B + B .B 9
53
0 # + 0 +
' ' '

# #
5! 5!
8 8
5 5 5 5
1 1 1
1 1 1
9 9
0 # + - + + +
' ' '

# # #
5! 5!
8 8
5 5 3 4 3 4
5
34
1 1 1
1 1 1
9 9 9
0 + - -
'

# # #
5! 5!
8 8
5 5
5 1
1
Por lo tanto el mnimo se alcanzar cuando + - 5 ! " # $
5 5
Del desarrollo anterior se desprende :
' '

5! 5!
8 8
5 5
# # #
5 1 1
1 1
0B B .B 0 - ! a8 c 9
y tomando lmite:
'
5!

5
# #

- 0 B.B
1
1
Esta es la llamada En particular , si la funcin desigualdad de Bessel. 0
es en el intervalo , es decir , si la integral de cuadrado integrable 1 1
'

#
1
1
0 B.B es un nmero real, entonces la serie de los cuadrados de los
coeficientes de Fourier es convergente y por lo tanto Por lo - !
5

tanto se tendr en particular:
lim
5

'
1
1
0B-9=5B.B !
lim
5

'
1
1
0B=/85B.B !
Estas igualdades constituyen el llamado Lema de Riemann
DEFINICIN. Se llama de la funcin a la serie serie de Fourier 0

8! 8!
8 8 8 8

- 0B - B 9 9 Se denota Si la normalizacin de las

funciones se traspasa a los coeficientes, entonces 9
8
54
0B + + -9=8B , =/88B
"
#
! 8 8
8"

donde + 0B.B
!
"
1 1
1
'
+ 0B-9=8B.B
8
"
1 1
1
'
, 0B=/88B.B
8
"
1 1
1
'
OBSERVACIONES
Si la funcin es par, entonces la funcin es impar , 0 0B=/88B
luego
, 0B=/88B.B !
8

'
1
1
y por lo tanto:
0B + + -9=8B
"
#
! 8
8"

0 0B-9=8B Si la funcin es impar, entonces la funcin es impar,

luego
a
8

0B-9=8B.B !
'
1
1
y por lo tanto :
0B , =/88B

8"

8
Queda todava una serie de problemas abiertos:
Cundo converge la serie de Fourier?
Bajo qu condiciones para se produce la igualdad: 0
0B + + -9=8B , =/88B
"
#
! 8 8
8"

cundo es uniforme la convergencia de la serie?

hay algn otro tipo de aproximacin interesante entre la funcin
y su serie de Fourier?
Estos problemas no son de fcil solucin y, con sus variadas y extensas
generalizaciones han dado lugar a todo un captulo de las matemticas
modernas (Anlisis Armnico). Nosotros nos limitaremos a presentar un
teorema relativamente elemental pero que permite dar respuesta a varios
55
problemas de convergencia de series que se han quedado solo en la
presentacin.
TEOREMA 5
Sea una funcin peridica de perodo 2 , continua por tramos, con 0 1
lmites laterales y derivadas laterales en los puntos de continuidad.
Entonces :
3 B 0 Si es un punto de continuidad de , entonces
0B - B

5!

5 5
9
33 - 0 Si es un punto de discontinuidad de y si existen
637 H 0-

2 !
0-20-
2

637 H 0-

2 !
0- 0-2
2

entonces:
0 - - -
0- 0-
#
5!

5 5

9
DEMOSTRACIN

Para facilitar la demostracin demostraremos dos pequeos lemas previos:
LEMA A
Para cualquier , se tiene 8 ? #5 1
"
# #=/8
=/88?
-9=? -9=#? -9=8?
?
#
?
#
DEMOSTRACIN
Se har por induccin sobre : 8
Para es obvio. 8 !
Sea vlida la igualdad para y agreguemos un sumando ms: 8
=/88?
#=/8
?
#
?
#
-9=8 "?
-9=8?
=/88?
#=/8 # #
? ?
?
#
?
#
=/88? -9=8? -9= #=/8
" ? ? ? ?
#=/8 # # # #
?
#
56
#=/8 =/88? =/8
? ? ?
# # #
=/88? " #=/8 -9=8? =/8?
" ? ? ?
#=/8 # # #
#
?
#
" ?
#=/8 #
?
#
=/88? ?

=/88"?
#=/8
?
#
?
#
donde se han utilizado las frmulas de seno y coseno de la suma de dos
ngulos.

LEMA B
Sea integrable, peridica con perodo p. Entonces: 0
' '
! +
: :+
0B.B 0B.B a+
DEMOSTRACIN
Cualquiera sea la posicin de , podemos escribir: +
' ' ' '
! ! + +:
: + +: :
0B.B 0B.B 0B.B 0B.B
En la ltima integral hagamos el cambio de variables: ? B :
Entonces , si entonces Si entonces .? .B B + : ? + B :
? ! Luego, esta integral es:
' ' ' '
+: + + !
: ! ! +
0B.B 0? :.? 0?.? 0?.?
Donde se ha utilizado la periodicidad de la funcin Reemplazando 0
arriba, obtenemos la igualdad deseada.
DEMOSTRACIN DEL TEOREMA.
3 W B 0 Sea la suma parcial de la serie de Fourier de :
8
W B + + -9=5B , =/85B
8 ! 5 5
"
#
5"
8

Reemplazando los valores de y factorizando: + + ,

! 8 8
W B 0> -9=5>-9=5B =/85>=/85B.>
8
" "
#
5"
8
1 1
1
'
0> -9=5> B.>
" "
#
5"
8
1 1
1
'
57
y haciendo el cambio de variables: se tiene ? > B
W B 0? B -9=5?.?
8
" "
B
B
#
5"
8

1 1
1
'
0? B .?
"

=/88?
#=/8 1 1
1
'
?
#
?
#
Pero, utilizando el Lema A,
"

=/88?
#=/8 1 1
1
'
?
#
?
#
.? "
y multiplicando esta integral por y restando el resultado de la 0B
integral anterior, tenemos:
W B 0B 0? B 0B .?
8
"

=/88?
#=/8 1 1
1
'
?
#
?
#
pero, usando la frmula del seno de la suma, esta ltima integral se
descompone en la suma:
"

0?B0B -9=
#=/8 1 1
1
'
? ?
# #
? ?
# #
=/88?.?
0? B 0B .?
"

-9=8?
# 1 1
1
'
pero ambos sumandos tienden a 0 cuando tiende a infinito, por el Lema 8
de Riemann. En efecto, en el primer sumando aparece la funcin
subintegral que es acotada cuando se acerca a cero pues
0?B0B
?
#
?
por hiptesis deben existir ambas derivadas laterales en . Tambin B
aparece el cuociente que es acotado en una vecindad de cero. El
?
#
?
#
=/8
segundo sumando no tiene problemas.
33 - 0 Sea ahora un punto de discontinuidad de la funcin . Usaremos la
siguiente funcin auxiliar:
1B
" B !
! B !
" !

1
1 1
1
cuya serie de Fourier consta solo de senos por ser impar:
' ' '
!
!
1 1
1 1
1B=/88B.B =/88B.B =/88B.B
# =/88B.B " -9=8B
! 8 :+<
8 37:+<
'

!
#
8
%
8
1
Luego : 1B =/8B
%
1
" " "
$ & (
=/8$B =/8&B =/8(B
Pero , para es continua, luego, por lo ya demostrado, la serie B ! 1
converge puntualmente a la funcin y para la convergencia es B !
trivial. Por lo tanto para todo B
1B =/8B
%
1
" " "
$ & (
=/8$B =/8&B =/8(B
58
Sea ahora
JB 0 B 1B -

=
#
donde: 0 B = 0- 0-
0B 0B
#


Es fcil comprobar que la funcin es continua en . En efecto, J -
J- 0 -

637 JB 0- 0 -

B -
=
#
637 JB 0- 0 -

B -
=
#
Adems, tiene derivadas laterales en el punto : J -
H J- 637 J- 2 J-
"
2
2 !
637 0 - 2 0 -

2 !
" =
2 #
637 0- 2 0- H 0-

2 !
"
2


Anlogamente:
H J- 637 J- 2 J-
"
2
2 !
637 0 - 2 0 -

2 !
" =
2 #
637 0- 2 0- H 0-

2 !
"
2


Por lo tanto, podemos aplicar la primera parte de este teorema a la funcin
J, es decir:
J- + + -9=5- , =/85-
"
#
! 5 5
5"
8

donde los coeficientes coinciden con los de pues y difieren + , 0 J 0

8 8
solo en las discontinuidades de un nmero finito). Pero 0
0 B JB 1B -

=
#
Luego:
0 - J- + + -9=5- , =/85-

"
#
! 5 5
5"
8

Q.E.D
OBSERVACIONES Y EJEMPLOS
1. Hasta ahora hemos considerado funciones peridicas de perodo 2 . 1
Esto no es, en realidad, una restriccin importante: si se desean estudiar
59
funciones de un perodo cualquiera , basta hacer una transformacin :
elemental y todos los resultados obtenidos se extienden a esta nueva
funcin. En efecto, sea una funcin peridica de perodo , 0 :
es decir: La funcin auxiliar 0B : 0B aB 1B 0 B
:
#1
tiene perodo 2 : 1
1B # 0 B # 0 B : 0 B 1B 1 1
: : :
# # # 1 1 1
Luego, todos nuestros teoremas valen para y se traspasan a haciendo 1 0
la transformacin inversa:
0B 1 B + -9= 8B , =/8 8B
# # #
: # : :
+
5"

8 8
1 1 1 !

donde ahora
+ 1B-9=8B.B 0>-9= 8>.>
8
" # #
: : 1 1
1
1
' '
:
#
:
#
, 1B=/88B.B 0>=/8 8>.>
8
" # #
: :

1 1
1
1
' '
:
#
:
#
donde se ha hecho el cambio de variables: > B
:
#1
2. En la demostracin del teorema vimos la convergencia de la serie de
Fourier de la funcin : 1
1B =/8B
%
1
" " "
$ & (
=/8$B =/8&B =/8(B
Si evaluamos esta funcin en obtenemos: B
1
#
" 1 "
1
1 # $ & (
% " " "
de donde , despejando :
"
" " "
$ & ( %
1
1.11 PROBLEMAS
1. Encuentre la serie de Fourier de la funcin ] 0B B B
#
1 1
extendida peridicamente a todo . Use su resultado para evaluar la suma
de la serie

8"

"
8
#
2. Encuentre la serie de Fourier de la funcin , 0B lBl B 1 1
extendida peridicamente a todo . Use su resultado para demostrar:
1
#
# # #
) $ & (
" " "
"
60
3 . Encuentre la serie de Fourier de la funcin , 1 1 0B B B
extendida peridicamente a todo . Interprete su resultado en B "
B ! B y en
"
#
4. Si la funcin satisface: demuestre que 0 0 B 0B aB 1
en su desarrollo en serie de Fourier los coeficientes satisfacen:
+ ! , !
#8" #8
5. Demuestre que , si entonces B ! 1
=/8B
# %
8"

-9=#8B
%8 " 1 1

#
61
CAPTULO : EL ESPACIO #
8
2.1. INTRODUCCIN
La modelacin matemtica de fenmenos que dependen de varias
variables ha sido preocupacin de los matemticos desde los inicios del
clculo infinitesimal. Es claro que, digamos, la elaboracin de cierto
producto involucra una gran cantidad de factores, cada uno de los cuales
puede ser modelado por un nmero real. Ms precisamente, si quisiramos
obtener el costo de produccin de un automvil, tendramos que
considerar el costo de un gran nmero de insumos, cada uno de los cuales
podr ser representado por un nmero real. En otro mbito, la modelacin
de la dinmica poblacional de cierta especie, tendr que considerar los
tamaos poblacionales de un sinnmero de otras especies que interactan
con ella. Por otro lado, el desarrollo de la Geometra Analtica del plano y
del espacio condujo a los matemticos a introducir la nocin de espacio de
8 dimensiones, que les proporcionaba un lenguaje geomtrico sumamente
cmodo para expresar los problemas de lgebra referentes a sistemas de
ecuaciones con un nmero cualquiera de incgnitas as como las
propiedades del Algebra Lineal. Hay que tener en cuenta, sin embargo,
que la intuicin geomtrica slo alcanza a la dimensin tres, por lo que los
razonamientos sobre espacios de dimensiones mayores debe hacerse con
mucho cuidado. Es as como H. Poincar en su memoria de 1887 sobre los
residuos de las integrales dobles de las funciones de dos variables
complejas, evita siempre que puede todo empleo de la intuicin en el
espacio de cuatro dimensiones. Adems , los descubrimientos de Cantor,
en particular el teorema que establece la equipotencia de y ,
8
mostraban que, para fundamentar sobre una base slida los razonamientos
de la Geometra y de la Topologa era necesario liberarlos de todo empleo
de la intuicin geomtrica.
Como veremos a continuacin, solo una pequea parte de las propiedades
que se establecen en estos espacios depende del nmero de dimensiones,
cuando ste es mayor que uno. La teora cambia radicalmente al pasar de
la dimensin uno a la dos, pero no al pasar de dos a tres o a cuatro etc. Es
as como algunos autores consideran que la diferencia entre el par
62
ordenado y la n-tupla solo est en los puntos B B B B
" # " 8
suspensivos que van entre medio ... Esto no es tan as, pero podemos decir
que, al pasar de la dimensin uno a la dos, hay un salto cualitativo que se
expresa en propiedades muy diferentes. Al pasar de la dimensin tres a la
cuatro, lo que se pierde es solo la intuicin geomtrica. En cambio, pasar
de la dimensin cuatro a la cinco, seis o 2000, no cambia prcticamente
nada (solo eventualmente las dificultades de clculo). El paso de la
dimensin finita a una dimensin infinita produce nuevamente un 8
cambio cualitativo sustancial en la teora. Pero el estudio de este tipo de
espacios constituye otro captulo de las matemticas(el llamado anlisis
funcional ) que no corresponde a este texto.
Vamos a considerar tres tipos de estructura sobre el conjunto de n-tuplas:

8
" 8 3
B B B 3 " 8
a saber, una estructura una y una algebraica, geomtrica topolgica.
2.2 LA ESTRUCTURA ALGEBRAICA DE
8
DEFINICIN : Sean y Se define la B B B C C
" 8 " 8
8

suma de estos dos elementos :

B C B C B C
" " 8 8
El producto con un escalar : -
- - - B B B
" 8
El de estos dos elementos: producto interno
B C B C

5"
8
5 5
Es muy fcil demostrar que el conjunto , provisto con la estructura de
8
suma y producto con un escalar, satisface los axiomas de espacio
vectorial:
( , es un grupo abeliano, es decir, la suma es asociativa,
8
conmutativa, tiene un elemento neutro y un inverso para cada vector. El
neutro es obviamente y el inverso de es ! ! ! B B B
" 8
B B B
" 8
Con respecto al producto con un escalar, se
cumple:
Si , entonces B C -
8
- - - B C B C
Si , , entonces B - .
8
63
B B B - . - . +
- . -. B B
Si entonces B
8
" B B
vectores En este contexto, los elementos de se llaman . Adems, los
8
8 vectores:
/ ! " ! ! 3 " # $ 8
3
,
donde el 1 se encuentra en el -simo lugar, forman una de este 3 base
espacio, es decir, forman un conjunto que linealmente independiente
genera el espacio completo. En efecto, de las definiciones se obtiene
directamente:
B B B B ( e
" 8 3 3
3"
8

Por lo tanto, con esta estructura, la dimensin de es precisamente

8
8
La base se llama usualmente / /
" 8
base cannica.
Por otro lado, el producto interno (tambin llamado ) producto escalar
satisface las propiedades:
(3 B C D B D C D " "
bilinealidad) B C D B C B D " "
(simetra) 33 B C C B
(positividad) 333 B B !
(definitud) 3@ B B ! B !
Estas propiedades se cumplen, en nuestro caso, trivialmente. En general, si
en un espacio vectorial real se define una funcin : V V Z 9
con las cuatro propiedades anteriores, es decir, bilineal, simtrica, positiva
y definida, entonces recibe el nombre de producto interno. 9
Como veremos, esta estructura de producto interno es la que nos
proporcionar un elemento bsico para construir la estructura geomtrica
del espacio .
8
Cuando la dimensin del espacio es 2, 3 4, es posible definir una
estructura algebraica ms rica:
El caso En este caso se puede definir un : 8 # producto
64
+ ,- . +- ,. +. ,-
Esta extraa definicin de producto tiene sus races histricas y el
resultado es que ( ,+, ) pasa a ser nada menos que un
#
cuerpo
conmutativo con una serie de propiedades extraordinarias (como por
ejemplo, ser es decir, toda ecuacin algebraicamente cerrado,
polinmica de cualquier grado tiene todas sus soluciones en este cuerpo).
Con esta estructura se llama el y se
#
cuerpo de los nmeros complejos
denota por . El estudio de este cuerpo, con todas sus propiedades
analticas es demasiado importante y deber merecer un curso especial
( ). Anlisis complejo
El caso En este caso se puede definir el llamado 8 $
producto cruz (o producto vectorial) :
B C D + , - C- D, D+ B- B, C+
Como regla mnemotcnica, se considera la forma del desarrollo de un
determinante de : $ $
B C D + , -
" # $
B C D
+ , -






9 9 9
Este producto tiene una serie de interesantes propiedades (cuya
demostracin dejaremos como ejercicio) as como interpretaciones
geomtricas que utilizaremos ms adelante. Notar que este producto exige
la dimensin 3, no es generalizable a otra dimensin.
El caso . En este caso se define un producto que da 8 %
origen a la llamada Para definir este lgebra de los cuaterniones.
producto conviene considerar la base cannica, con su nueva
nomenclatura, propia de esta teora:
/ " ! ! ! "
"
que se define como unidad del producto,
/ ! " ! ! 3 / ! ! " ! 4 / ! ! ! " 5
# $ %
Se define entonces, para esta base:
65
3 4 5 "
# # #
34 5 43
45 3 54
53 4 35
Cada elemento de este espacio ser una combinacin lineal de los
elementos de esta base:
; B B 3 B 4 B 5
! " # $

y el producto se extiende linealmente, suponiendo distributividad.
2.3 LA ESTRUCTURA GEOMTRICA DE
8
Es usual hablar del o del Sin embargo, a menos plano espacio
# $

que se provea a estos conjuntos de pares o tros de una estructura

gomtrica , no tendremos ms que pares o tros de nmeros reales.
La estructura geomtrica ms apropiada para estos conjuntos es la de
Espacio Afn . Daremos la definicin ms general de este concepto y
veremos despus como se puede usar provechosamente en nuestro caso.
DEFINICIN : Sea unconjunto y un espacio vectorial sobre . Se Q Z
llamar al tro : donde espacio afn sobre V Q Z <
< Q Q Z
y satisface los siguientes tres axiomas: denotando <E F EF

M EE ! aE Q

.
MM EF FG EG aE F G Q

MMM aT Q aB Z bx U Q TU B

tal que
Si el espacio vectorial es de dimensin finita entonces se puede definir 8
un : ( donde es un punto cualquiera sistema de coordenadas S / / S
" 8
del espacio y { } es una base del espacio vectorial . Si es Q / / Z T
" 8
un punto cualquiera de , entonces y por lo tanto es una Q ST Z

combinacin lineal de la base: ST B /

5"
8
5 5
La coleccin de nmeros se llama del punto B B
" 8
las coordenadas
T TB B , lo cual se escribe generalmente: Debe notarse que las
" 8
66
coordenadas de un punto dependen del sistema elegido: si cambia el
origen o la base elegida, las coordenadas tambin cambiarn.
Es claro que el conjunto de puntos y el espacio vectorial estn Q Z
ntimamente relacionados: si se fija un punto arbitrario , entonces S Q
se puede establecer una biyeccin entre estos dos conjuntos:
9 Q Z
simplemente poniendo: . Los axiomas de espacio afn nos 9E SE

aseguran que es efectivamente una biyeccin. En efecto, usando el 9

axioma , se tiene que , por lo tanto para MM FE EF FF !

cualquier par de puntos : Aplicando este E F FE EF

resultado a los puntos tenemos: S E F
9 9 ( ) E F
SE SF

! SE SF SE FS FS SE FE

y por el axioma y la unicidad del , es decir, es M MMM E F 9
inyectiva. El axioma nos d inmediatamente la epiyectividad. MMM
Tradicionalmente los elementos de un espacio vectorial se han
interpretado como Es as, por lo dems, como surge esta nocin flechas.
histricamente: como modelos de fuerzas. En un espacio afn podemos
considerar a las flechas sobre el espacio . Se hace, pues, un operando Q
distingo esencial entre y Si se consideran las puntos flechas . todas
flechas que parten de un mismo punto fijo , tendremos una copia del S
espacio vectorial: las flechas estn en su carcaj y lo que tenemos es
esencialmente el lgebra lineal (el estudio de ) Z
Figura 2.1
67
Pero si operamos con las flechas sobre el conjunto de puntos, lo que
tendremos es geometra afn: una misma flecha puede ser colocada entre
puntos diferentes:
Figura 2.2
Tal vez puede resultar curioso o confuso , pero todo espacio vectorial, en
particular nuestro espacio tiene una estructura de
8
espacio afn sobre
si mismo.
DEFINICIN . Sobre el conjunto definiremos la estructura de
8
espacio afn sobre el espacio vectorial del siguiente modo: si
8
E + + F , ,
" 8 " 8
8
son puntos de entonces:
9E F EF , + , +

:
" " 8 8
Es casi trivial demostrar que los tres axiomas de los espacios afines se
cumplen con esta definicin. Con esta estructura podemos concebir todos
los elementos geomtricos clsicos: rectas, planos, paralelismo,
perpendicularidad y algunas generalizaciones interesantes, como el
concepto de hiperplano. Finalmente observemos que , si se elige en el
8
punto como origen y la base cannica {e como ! ! ! /
" 8
base de un sistema de coordenadas, entonces las coordenadas de un punto
cualquiera coinciden con las componentes del mismo. E E
8
vector
2.4 RECTAS, PLANOS E HIPERPLANOS EN
8
68
Por en el espacio afn vamos a entender un conjunto recta
8
de puntos tal que el conjunto de vectores que unen dos puntos P
8
cualquiera de forman un subespacio de dimensin 1. En particular, una P
recta que pasa por el punto ser el conjunto: P E
8
P T ET E P "

dim
8
Si el singulete es una base de este subespacio, es decir y @ @ !

se ha elegido un origen cualquiera, entonces: S
T P ST SE @


- -
Esta ltima relacin se denomina de la recta ecuacin vectorial P
Figura 2.3
El vector se llamar de la recta . @ P

vector soporte
Por ejemplo, la ecuacin vectorial de una recta que pasa por dos
puntos diferentes tendr como soporte al vector y ser: E F EF

8
ST SE EF SE SE SF

- -
Si las coordenadas del puntos son: entonces E+ + F, ,
" 8 " 8
las coordenadas del punto sobre la recta sern: TB B
" 8
B " + , 3 " 8
3 3 3
- -
Dos rectas son paralelas si poseen subespacio vectorial el mismo
como generador, en particular, si sus vectores soporte son iguales (o
proporcionales)
Dos rectas son si el producto perpendiculares ( u ortogonales)
interno de sus vectores soporte es cero. Notar que dos rectas
perpendiculares en un espacio de dimensin mayor que dos pueden no
cortarse, es decir, se pueden cruzar en el espacio sin tener ningun punto en
69
comn. Al contrario, si la dimensin del espacio es dos, dos rectas
perpendiculares se cortan (ver problema 2.5 #8) siempre
Se entiende por en el espacio afn a un conjuntode plano
8
puntos tal que el conjunto de vectores que unen dos puntos 1
8
cualquiera de forman un subespacio de dimensin . En particular, un 1 #
plano que pasa por un punto ser el conjunto: 1 E
8
1 " " T ET @ @

8
" #
donde es una base de este subespacio @ @

" #
Se entiende por en el espacio afn a un conjunto hiperplano
8
de puntos tal que el conjunto de vectores que unen dos puntos [
8
cualquiera de forman un subespacio de dimensin . Desde luego, [ 8 "
una recta en el plano afn y un plano en el espacio tridimensional son
ejemplos de hiperplanos.
Para el caso de dimensin 3 podemos caracterizar los planos de
un modo bastante cmodo. Por ejemplo, veamos qu relacin debe haber
entre las coordenadas de los puntos de un plano en que pasa por tres
$
puntos no colineales Si los puntos son no colineales, entonces E F G
los vectores y deben ser linealmente independientes, es decir, EF FG

deben constituir una base:
T E F G ET EF FG

1 "
y si O es el origen y llamamos a las coordenadas de en la base B C D T
cannica:
ST SE SF SE SG SF

"
de donde resulta, igualando las componentes de los vectores:
B + , + - ,
" " " " "
"
C + , + - ,
# # # # #
"
D + , + - ,
$ $ $ $ $
"
y eliminando los parmetros , y resulta : " #
+B ,C -D . !
donde los coeficientes se obtienen fcilmente de los anteriores. + , -
El tro es soporte de una recta perpendicular la plano, es decir, + , -
toda recta contenida en el plano es perpendicular a la recta de soporte
+ , - E F En efecto, si tomamos dos puntos cualquiera del plano,
entonces la recta que los une tiene por soporte:
70
EF , + , + , +

" " # # $ $
por lo tanto, si hacemos el producto interno, obtenemos:
EF + , - +, ,, -, ++ ,+ -+ . . !

" # $ " # $
De modo anlogo a las rectas paralelas, se puede definir el
concepto de cuando tienen el mismo subespacio bi- planos paralelos:
dimensional que los genera. Si la dimensin es 3, entonces las
ecuaciones:
+B ,C -D . !
"
+B ,C -D . !
#
representan planos paralelos, pues estos planos poseen una misma recta
perpendicular.
Un elemento importante en la geometra afn es el concepto de
distancia entre dos puntos del espacio. Sean se define la E F
8
distancia entre estos puntos como la norma euclideana) del longitud o
vector que los une:
.E F m EF m + ,

5"
8
5 5
#
De este modo se pueden definir todo tipo de figuras clsicas en el espacio

8
, como por ejemplo la esfera
W T .T G <
8
donde es el centro y el radio. G <
ngulo El concepto de entre vectores ( o entre rectas soportados
por ellos) puede ser generalizado a partir del teorema de los cosenos en el
plano:
Figura 2.4
|| || || || || || || || || || C B B C # B C -9=
# # #
)
71
C B C B C C B B #B C B C
" " # # " " # #
# # # # # #
" # " #
B C #B C B C || || || ||
# #
" " # #
Luego:
B C B C || || || || cos )
de donde:
-9= )
BC
B C || || || ||
Esta frmula permite generalizar la idea de ngulo entre dos vectores para
cualquier dimensin, puesto que tanto el producto interno como la norma
euclideana pueden ser consideradas en cualquier Hay aqu, sin
8

embargo un problema: es preciso demostrar que el nmero es

BC
B C || || || ||
menor o igual a 1 , para que el ngulo pueda ser definido. Esta )
propiedad ser motivo de un Lema que demostraremos en las prximas
secciones (se trata de la llamada desigualdad de Cauchy-Schwartz)
Para el caso se pueden establecer otras relaciones
$
interesantes , puesto que en este caso tenemos el producto cruz. Una de
ellas es la llamada identidad de Lagrange:
ll+ ,ll ll+ll ll,ll + ,
# # # #
cuya demostracin es directa de las definiciones y que dejaremos como
ejercicio para entretencin del lector. A partir de esta relacin y usando la
relacin anterior, obtenemos:
ll+ ,ll ll+ll ll,ll ll+ll ll,ll -9=
# # # # # #
)
ll+ll ll,ll =/8
# # #
)
de donde:
ll+ ,ll ll+ll ll,ll =/8 )
Notar que corresponde al rea del paralelgramo formado por los ll+ ,ll
vectores y + ,
72
Figura 2.5
Por otro lado es fcil demostrar que el vector es + ,
perpendicular al vector y al vector . En efecto: calculando el producto + ,
interno, por ejemplo con : +
+ , + + + , + + , + + , + + , + + , + + , !
" # $ " $ # # $ " # " $ $ " # $ # "
Este resultado y las frmulas establecidas ms arriba para las
normas, nos permiten dar un significado geomtrico al producto mixto
+ , - llamado popularmente : su norma euclideana producto caja
corresponde al volumen del paraleleppedo generado por los tres vectores
+ , - :
ll + , - ll ll+ ,ll ll-ll-9= ll+ll ll,ll =/8 ll-ll -9= ) 9 )
Figura 2.6
Finalmente, y como ejemplo, resolvamos el problema de calcular
la distancia de un punto a un plano en el espacio afn Consideremos
$

el punto y el plano de ecuacin Como T" ! " #B C D $ !

hemos visto, el vector es soporte de una recta perpendicular al # " "
plano. Si la hacemos pasar por el punto , tendremos la recta de ecuacin T
" ! " # " " -
73
y si la intersectamos con el plano, tendremos
#" # " $ ! - - -
que nos d , luego, el punto de interseccin de esta recta con el - "
plano es . Este punto es el pi de la perpendicular, E " " #
luego la distancia del punto al plano sera la distancia entre y : T E
.T" ! " E " " # % " " '

2.5 PROBLEMAS
1. Encuentre la ecuacin vectorial de la recta en el espacio afn :
$
que pasa por los puntos y 3 T! " " U# ! "
que pasa por y es paralela a la recta de soporte 33 T" # "
" ! "
que pasa por y es perpendicular a la recta de 333 T" # "
soporte " ! "
# T # " ! Encuentre la ecuacin del plano en que pasa por y
$
es normal a la recta que pasa por los puntos y U $ " #
V# " #
$ Demuestre las siguientes propiedades bsicas del producto cruz en :
$
3 + , , +
33 + , - + , -
333 + , - + , + -
3@ + , + , + , - - -
4. Demuestre que hay infinitos cuaterniones tales que ; ; "
#
& " 3 4 5 Demuestre que los 8 cuaterniones : , forman un grupo
con la multiplicacin de cuaterniones.
6. Considere un tetraedro en el espacio afn cuyas aristas estn
$
determinadas por tres vectores linealmente independientes. Se llama
vector de rea de una cara a un vector perpendicular a la cara y cuya
magnitud es el rea de la cara. Demuestre que la suma de los cuatro
vectores de rea (apuntando hacia afuera) es cero.
74
7. Demuestre que ecuacin lineal no-degenerada (no todos los toda
coeficientes son cero) entre las coordenadas de un punto en el espacio afn

$
representa a un plano.
8. Demuestre que en el espacio , dos rectas que no son paralelas, se
#
cortan en un nico punto.
9. Un insecto vuela en lnea recta desde el punto con E& # $
direccin y velocidad constante . Cuanto demorar " " " -7=/1
%%
&
en llegar al plano de ecuacin : ? Cunto demorara si B C $D #
tomase el camino ms corto?
10. Demuestre la identidad de Lagrange en
$

ll+ ,ll ll+ll ll,ll + ,

# # # #
11. Demuestre la en : Ley del paralelgramo
8
llB Cll llB Cll #llBll llCll
# # # #
e interprtela geomtricamente para el caso 8 #
12. Encuentre el ngulo agudo formado por dos diagonales de un cubo
13. Se han estimado las frecuencias relativas de cuatro alelos en cuatro
poblaciones diferentes, segn el cuadro siguiente:
alelo Esquimal Bant Inglesa coreana
A
"
#
$
%
!#* !"! !#! !##
E !!! !!) !!' !!!
E !!$ !"# !!' !#!
E !'( !'* !'' !&(
Se considera como gentica entre dos poblaciones al ngulo distancia
entre los vectores de frecuencias. La poblacin inglesa est ms cerca
genticamente de la poblacin coreana o de la poblacin bant?
75
2.6 LA ESTRUCTURA TOPOLGICA DE
8
La es, en ltimo trmino, la estructura matemtica ms topologa
general sobre un conjunto, que permite definir apropiadamente las
nociones de lmite y de continuidad. Se considera a Riemann (1826-1866)
como el creador de la topologa : l es, en efecto, el primero en llegar a la
nocin de espacio topolgico y concibe la idea de una teora autnoma de
estos espacios. Sin embargo, hay que tener cuidado en esto de adjudicarle
a un solo individuo el mrito de una nueva teora matemtica: las nociones
de lmite y continuidad se remontan a la antiguedad y su desarrollo se
extiende, con toda suerte de altibajos, a lo largo de muchos siglos. Ya
Leibnitz (1646-1716) , casi dos siglos antes, hablaba del analisis situs,
como aquella parte del estudio de la teora de las magnitudes continuas
que estudia tales magnitudes haciendo abstraccin de toda idea de medida
o tamao y estudiando nicamente sus relaciones de posicin y de
inclusin. Por otro lado fu Cantor (1845-1918) el primero en definir las
nociones de punto de acumulacin, conjunto cerrado, abierto etc. y
finalmente es con Hausdorff (1868- 1942 ) con quien comienza la
topologa general como la conocemos hoy en da.
La topologa de se define a travs de la nocin de Por
8
norma .
norma se entiende una funcin :
|| ||
8
que satisface las siguientes propiedades (axiomas):
3 llBll !
33 llBll ! B !
333 ll Bll l l llBll
3@ llB Cll llBll llCll (desigualdad triangular")
clsicas Definiremos las tres normas sobre
8

("norma uno") llBll lB l

" 5
5"
8

" norma euclideana") llBll B

5"
8
8
5
#
("norma infinito" ) llBll 7+BlB l 5 " 8
5
76
Notar que ya nos habamos encontrado con la norma euclideana , aunque
todava no hemos demostrado que es, efectivamente, una norma, es decir,
que satisface los cuatro axiomas anteriores. Demostrar que las otras dos
son normas es relativamente ms sencillo y lo dejaremos como ejercicio
para el lector. Lo que no es tan fcil de demostrar es la desigualdad
triangular para la norma euclideana. Esto se lograr como una
consecuencia del siguiente Lema:
LEMA ( Desigualdad de Cauchy-Schwartz-Bunjakovski)
lB Cl llBllllCll aB C
8
y la igualdad se cumple son proporcionales. si y solo si B / C
DEMOSTRACIN .
Sea : B C -
lB Cl l B C l l C l l lllCll ll Cll llCll

5" 5"
8 8
5 5
5
# #
- - -
Sea , es decir, son linealmente C B ! a B / C - -
independientes. Luego:

5" 5" 5" 5"
8 8 8 8
5 5 5 5
# # # #
5 5
C B C #B C B ! a - - - -
Esta expresin corresponde a una ecuacin cuadrtica para sin races -
reales , luego su discriminante debe ser negativo:
, %+- % B C % B C !
# # # #
5 5
5 5

de donde, segn las definiciones:
B C llBll llCll
# # #
y sacando raz cuadrada, se obtiene la desigualdad estricta

COROLARIO
Apliquemos este resultado en el siguiente desarrollo:
llB Cll B C B C llBll llCll #B C
# # #
llBll llCll #llBll llCll llBll llCll
# # #
de donde, sacando raz cuadrada, obtenemos la desigualdad triangular.
77
Si || || es una norma cualquiera en entonces se define una
8
distancia
asociada a la norma:
.B C llB Cll
La funcin distancia satisface las siguientes propiedades bsicas:
3 .B C !
33 .B C ! B C
333 .B C .C B
3@ .B C .B D .D C
Estas propiedades se derivan directamente de las propiedades
correspondientes de las normas.
Un conjunto provisto de una distancia con estas propiedades se denomina
espacio mtrico. De modo que nuestro espacio tiene una estructura de
8
espacio mtrico, mejor dicho tiene estructuras diferentes de espacio tres
mtrico, una por cada norma que hemos definido. Debe notarse que la
estructura de un , es decir, un espacio vectorial provisto espacio normado
de una norma, es una estructura mucho mas rica que la de un espacio
mtrico. Sobre un espacio normado se requiere una estructura algebraica
(de espacio vectorial) que no se necesita para un espacio mtrico. Por otro
lado, si uno define una distancia sobre un espacio vectorial es posible que
ninguna norma corresponda a esa mtrica.
Con una estructura de espacio mtrico se define, finalmente, la estructura
de espacio topolgico de
8

DEFINICIN :
78
El conjunto se llamar FB C .B C $ $
8
bola
abierta de centro en y radio B ! $
8
se llamar del punto , si tal que Y B b ! $
8 8
vecindad
FB Y $ .
es vecindad de Y Y B j
B
8
se dice si es vecindad de todos sus puntos, es E
8
abierto,
decir:
B E E j
B
la topologa 7 E E
8 8
es abierto se llama de
Resulta divertido dibujar las tres bolas abiertas en el plano afn para las
#
tres normas que hemos introducido:
Figura 2.7
Aqu vemos que existen "bolas cuadradas". Pero veremos que la forma de
las bolas no importa para los efectos de definir una topologa
DEFINICIN
Dos normas, || || || || sobre se dirn si definen la
+ ,
8
y
equivalentes
misma topologa :
|| || || ||
+ , + ,
7 7
o, lo que es lo mismo , si aB j j
8
B B
+ ,
79
Existe un criterio muy prctico para determinar la equivalencia de dos
normas:
|| || || || , tales que || || || || || || ,
+ , + , +
8

b ! B B B aB " "
Dejaremos la demostracin de este criterio como ejercicio, para
entretencin de los lectores, pero lo utilizaremos para demostrar que las
tres normas que hemos introducido son equivalentes. Se afirma:
llBll llBll llBll 8llBll aB
"
8

En efecto, para algn ndice , llBll 7+BlB l 3 " 8 lB l 4

3 4
luego
llBll B B llBll

# # #
4 3
3"
8

por otro lado, usando la base cannica y la desigualdad B B /

3"
8
3 3
triangular para la norma euclideana:
llBll lB ll l/ ll lB l llBll

3" 3"
8 8
3 3 3 "
Finalmente:
llBll lB l 8 7+BlB l 3 " 8 8llBll
" 3 3
3"
8

:
Esto permite facilitar clculos, cuando lo que se desea obtener solo
depende de la estructura topolgica de
8

Demostraremos ms adelante un resultado sorprendente mucho ms

fuerte: las normas posibles sobre son equivalentes. todas
8
Hay un vocabulario bsico de la topologa que necesitamos introducir:
DEFINICIN (Vocabulario bsico de la topologa)
1. El conjunto se dice si su complemento es abierto, es G
8
cerrado,
decir, si G B B G
- 8
7
2. Un punto se dice de un conjunto si B E punto de adherencia
8
toda vecindad de tiene puntos de es decir: B E
Y Y E j 9
B
80
3. Un punto se dice de un conjunto si B E punto de acumulacin
8
toda vecindad de tiene puntos de diferentes de es decir: B E B
Y Y E B j 9
B
4. El conjunto de todos los puntos de adherencia de se llama la E
cerradura clausura (o ) de y se denota: E
E B B E

8
es punto de adherencia de }
5. El conjunto de todos los puntos de acumulacin de se llama el E
conjunto derivado de y se denota: E
E B B E
w 8
es punto de acumulacin de }
6. Un punto de se dice de , si no es punto de B E E punto aislado
acumulacin de . Notar que esto significa que existe una vecindad de E B
que no contiene otros puntos de E
7. Un punto se dice de un conjunto , si toda B E punto frontera
8
vecindad de tiene puntos de y de A . El conjunto de todos los B E
-
puntos frontera de se llama de y se denota: E E la frontera ( o borde)
`E B B E es punto frontera de }
8. Un punto se dice de si existe una vecindad de B E E B punto interior
totalmente contenida en , es decir, equivalentemente: E
b ! FB E $ $
9. El conjunto de puntos interiores de se llama el de y se E E interior
denota:
E B B E

es punto interior de }
10. Un conjunto se dice , si tal que E bV
8
acotado
.B C V aB C E
o bien, equivalentemente:
llBll V aB E
11. Un conjunto se llama si acaso todo cubrimiento de O
8
compacto
O por abiertos posee un subcubrimiento finito, es decir
81
si { es una familia de conjuntos abiertos tal que Y M

O Y Y Y entonces existe una subfamilia que sigue
-
I

" :
cubriendo , es decir, O O Y Y

" :
OBSERVACIONES Y EJEMPLOS
1 Un conjunto interesante que ejemplifica bien los conceptos dados .
anteriormente es la llamada en peineta
#

c 8 " # $ ! " ! " !

"
8
Figura 2.8
Es fcil ver que :
c c c c c c 9

! ! " `

w
# E Sea Entonces, por la densidad de en ,
#
E `E E E

w #
9
$. El Teorema de Heine-Borel se puede extender a con los mismos
8
argumentos que en el caso . Como una forma de ejercitar los 8 "
conceptos topolgicos presentados ms arriba, daremos su demostracin
en detalle. Su enunciado general es el siguiente:
O O
8
es compacto, es cerrado y acotado. si y solo si
DEMOSTRACIN:
82
3 Sea compacto. O
La familia es un cubrimiento abierto de , F! ! $ $
8
por lo tanto tambin de . Luego hay un subcubrimiento finito: O
O F! F! $ $ $
" : 3
Basta tomar el mximo de los radios
para demostrar que es acotado. O
Sea . Luego Tomar B O llB Bll ! aB O
9 9
Y FB Y B O
B B
llB Bll
#
9
Entonces es un cubrimiento abierto de
O Y Y , luego hay un subcubrimiento finito: Basta tomar como
B B
" :
radio y se tiene . 738 3 " : FB O $ $ 9
llB B ll
#
9
9 3

Por lo tanto, es cerrado. O
33 Primero demostraremos que el cubo cerrado
, G - - - - - - - !
8
es compacto Para esto , sea un cubrimiento abierto Y M

cualquiera de . Supongamos que no existe ningn subcubrimiento O
finito. Dividimos por mitades cada lado del cubo que entonces se
descompone en 2 cubos de la mitad de dimetro. Alguna de esas partes
8
no se podr cubrir con un nmero finito de abiertos. Dividimos esa parte
nuevamente por mitades y as sucesivamente. Obtenemos una sucesin
encajonada de cuadrados: Luego existe un punto G G G
" #
B G B G

3
+
3 !

. En particular , por lo que debe haber un abierto

Y B Y
" "
tal que y como este conjunto es abierto, debe ser vecindad

del punto es decir, tal que Pero como el B b ! FB Y

$ $
"
dimetro de los cuadrados tiende a cero, para un suficientemente :
grande, se tendr , es decir, este se puede cubrir G FB Y G
: :

$
"
con un solo abierto, contradiciendo nuestra construccin.
333 O G Sea ahora cerrado y acotado. Entonces existir un cubo lo
suficientemente grande tal que Entonces tenemos que es un O G O
cerrado dentro de un compacto que es . Pero todo cerrado dentro de un G
compacto es tambin compacto. En efecto, si es un Y M

cubrimiento abierto de entonces { es claramente O Y M O

-
un cubrimiento abierto de luego hay un subcubrimiento finito de G G
Y Y O Y Y O

" : " :

-
Por lo tanto cubre

4. Tambin el Teorema de Bolzano-Weierstrass se extiende a

8

83
Todo conjunto infinito y acotado posee algn punto de acumulacin
DEMOSTRACIN
Sea un conjunto infinito y acotado: Hay un cuadrado tal que E G E G
Dividimos por mitades tal como en el caso anterior: en alguna de ellas G
debe haber infinitos puntos de . Se construye, tal como antes, la E
sucesin: de cuadrados cada uno de los cuales posee G G G
" #
infinitos puntos de Existir Este punto es un punto de E B G

3
+
acumulacin de En efecto: Si es una vecindad de entonces, E FB B

$
para un ndice suficientemente grande, pero tiene : G FB G
: :

$
infinitos punto de , en particular, uno distinto de . E B

2.7 PROBLEMAS
1. Demuestre la desigualdad triangular:
llB Cll llBll llCll
para las normas 1 e infinito introducidas anteriormente
# Demuestre que las normas || || || || son equivalentes si y solo si:
+ ,
b ! llBll llBll llBll " " , tales que:
+ , +
$ J J Sea Se define la al 9
8
distancia de un punto B
conjunto por J
.B J 380.B C C J
Ser cierto que si es cerrado y . entonces ? J .B J ! B J
Que ocurre si no es cerrado? J
4. Sean subconjuntos cualquiera de Demuestre: E F
8
E F E F ' '
w
Hay casos donde vale la igualdad? Hay casos donde la contencin es
propia?
5. Demuestre que , si A es cerrado entonces A' A. Qu puede decir
de la inclusin inversa? Que ocurre si A no es cerrado?
6. Considere el siguiente conjunto en :
#
84
E

donde y denotan los racionales positivos y negativos

respectivamente (incluye el cero) . Determine los conjuntos:
' E `E E E

7. Sea un conjunto abierto en y sea E
#
F E
Determine los conjuntos B B B B'

8. Sea el conjunto
E 8 7 8 7 " # $
8 7
7 8
Determine los puntos de acumulacin de este conjunto.
9. Considere la "peineta" :
T ! " 8 " # $ ! ! "
"
8
Determine los conjuntos
P P P P'

10. Demuestre que en :

8
+ +
5 "

< !
F+ F+ < +
"
5
85
2.8. SUCESIONES Y SERIES EN
8
Los conceptos de sucesiones y series se extienden de manera natural al
espacio :
8
Sea una -cola de . Una sucesin en no
:
8
: : " : # :
es ms que una funcin:
9
:
8
donde se acostumbra a denotar:
9 (5 B B B
5
5
" 8 8
5
lo que da origen a las sucesiones reales de sus componentes. La 8
sucesin misma se denotar: , tal como en el caso de las 9 B
5 5:
sucesiones reales.
DEFINICIN . Sea una sucesin de vectores de Entonces B
5 5:
8

el lmite de esta sucesin es el vector si y solo si: P

a ! bR llB Pll a5 R % % tal que
5
La notacin usual es: lim
5
5
B P
En el lenguaje de las vecindades:
Y bR 5 R B Y j
P 5
Notar que esta definicin de lmite no depende de la norma equivalente
elegida.
OBSERVACIONES
1. El problema de los lmites de sucesiones vectoriales se reduce
directamente al caso real. En efecto: si llamamos y B B B
5
5
" 8
5
P 6 6
" 8
, entonces
lim lim
5 5
5 3
5
3
B P B 6 3 " # $
Efectivamente:
Si entonces: , B P lB 6 l llB Pll lim
5
5 3 5
5
3
%
3 " 8 B R B 6 3 " 8 si acaso . Por lo tanto lim
5
5
3
3
Si dado tal que B 6 3 " 8 ! bR3 lim
5
5
3
3
%
lB 6 l 5 R3 R R3
5
3
3
ll/ ll
%

4
si Tomar como al mayor de los y
si entonces: 5 R
86
llB Pll lB 6 l ll/ ll
5 3 3
3"
8
5
3

%
Esta propiedad se puede expresar en trminos operacionales del siguiente
modo:
lim lim lim
5 5 5
5 5
" 8 " 8
5 5
B B B B
2. De aqu se desprende directamente la completitud del espacio En
8

efecto, si es una sucesin de Cauchy, entonces obviamente cada B

5 5:
sucesin de las componentes es de Cauchy en que es B
5
3
5:

completo, luego convergen y , por lo anterior, converge. B
5 5:
3. Tambin es vlida un lgebra de lmites, cuyo anlisis dejaremos al
lector.
Sea una sucesin en Se entender por DEFINICIN . B
5 5
8
0

serie

5!
en a la sucesin de sumas parciales B
5
8

3!
5
B
3 5!
La serie se dice absolutamente convergente si la serie de nmeros reales

5!
5
llB ll
es convergente.
Las propiedades bsicas de sucesiones y series son prcticamente las
mismas que para el caso y sus demostraciones siguen la misma 8 "
lnea de razonamientos que para ese caso. Dejaremos para el lector, a
modo de ejercicio, la demostracin de tales propiedades.
2.9. PROBLEMAS
1. Sea ( una sucesin en y una sucesin en tal que: B +
8 8
:

637+ !
8
donde llB Bll -l+ l a8 - !
8 8
Demuestre que 637B B
8
87
2. Sea en Demuestre que la sucesin real 637B B llB ll
8 8
:

tiende allBll
$ B C Sean dos sucesiones convergentes en el espacio .
8 8
:

Demuestre que la sucesin de nmeros reales converge al B C

8 8
producto interno de los lmites de ambas sucesiones. Ocurre lo mismo
con el producto cruz , si la dimensin del espacio es ? : $
4. Demuestre el Criterio de Cauchy en :
8

B
5
es convergente
tal que a ! bR ll B ll a: ; R % %

3:
;
3
& Demuestre el lgebra de lmites para series en
:
Si entonces:


8 8
B E C F
B C E F

8 8
B B


8 8
- -
6. Demuestre que, si la serie en es absolutamente convergente,

B
5
8

entonces toda particin de la serie es tambin absolutamente convergente

y su suma es la misma que la de la serie original.
7. Sea un conjunto cerrado en Demuestre que si y J B J B
8
5 5
converge a , entonces B B J
8. Sea un conjunto compacto. Demuestre que toda sucesin de O
8
elementos de posee una subsucesin que converge en . O O
88
CAPTULO 3 :
LMITE Y CONTINUIDAD EN
8

3.1. EL LMITE CONTINUO EN
8

La nocin de lmite continuo para funciones de varias variables
reales tiene exactamente el mismo sentido que para el caso de una sola
variable: se trata de matematizar la idea de un acercamiento infinito de los
valores de una funcin a un cierto valor, bajo la condicin de que el
vector variable est cercano a cierto punto. Lo nico que infinitamente
cambia es la manera en que se realiza el acercamiento: mientras que en el
caso real el acercamiento puede ser realizado desde la izquierda o desde la
derecha, lo que conduce a las nociones de lmites laterales, en el caso de
varias variables, el acercamiento no tiene un sentido definido: puede ser
por rectas o por curvas o sin ningn orden. La cercana, desde luego,
queda caracterizada por las vecindades dadas por las respectivas normas.
Presentaremos la definicin general de lmite para funciones de variable
vectorial y valores vectoriales:
DEFINICIN. Sea , El lmite de la 0 B W W
8 7
9
w
funcin es el vector en smbolos : 0 P
7
lim
BB
9
0B P
si acaso:
Y bZ 0Z B Y j j W
P B 9
9

La figura 3.1 ilustra esta definicin. Debe notarse que esta figura es la
misma que la que se utiliz para una sola variable. Se trata de una figura
que para funciones reales era abstracta, pero que para dimensin 2 , por
ejemplo, puede ser muy realista. Aqu, tal como en el caso de una
89
dimensin, el vector se acerca a pero mientras que el B B
9
sin tocarlo,
vector imgen se acerca y puede coincidir con su vector lmite 0B P
Figura 3.1
OBSERVACIONES.
1. Podemos traducir la definicin anterior al lenguaje de las normas:
lim
BB
9
0B P a ! b ! % $ tal que
|| || tal que || || 0B P aB ! B B % W $
9
# Otra expresin claramente equivalente es:
lim lim
BB BB
9 9
0B P 0B P ! || ||
3. La exigencia de que el punto de acercamiento sea un punto de B
9
acumulacin del dominio de la funcin, tiene el mismo fundamento que
para el caso de una dimensin: el acercamiento debe ser efectivo, el punto
B B
9 9
no puede estar aislado del dominio de la funcin. Si no es punto de
acumulacin del dominio de la funcin , entonces se puede encontrar una
vecindad que solo contiene eventualmente a este punto del dominio, con Z
lo cual la definicin de lmite se cumplira para vector puesto cualquier P
que 0Z B W 9
9
% Debe notarse que en no hay puntos infinitos, a menos que sea
8
8 " 8 # (obien cuando con , pero no trataremos este
#
caso Sin embargo, para funciones de valores reales :
0 W
8
90
es posible definir , simplemente tomando la forma lim
BB
9
0B
especial que tienen las vecindades de los infinitos en la recta real
extendida Por ejemplo, es fcil ver que

lim
B!
"
llBll

4. Finalmente debe notarse que ni la existencia ni los valores de los lmites
dependen de la norma equivalente elegida.
EJEMPLOS
1. Una primera dificultad que surge cuando se estudian funciones de
varias variables es que dibujar su grfica resulta en general casi imposible.
Para el caso de funciones se pueden intentar grficas 0 W
2
en perspectiva en un esquema tridimensional Veamos un ejemplo:
D 0B C B C

# #
Figura 3.2
Si la funcin es un poco ms complicada, entonces esta grfica se puede
transformar en algo poco claro. Para esto se introduce el concepto de
curva de nivel que no son ms que las curvas en el plano que resultan de
poner (constante) para distintos valores de . Este es por lo 0B C - -
dems el mtodo que usan los topgrafos para indicar la altura sobre el
nivel del mar en que se encuentra los puntos de un mapa geogrfico. Para
nuestro ejemplo, las curvas de nivel son crculos concntricos:
91
Figura 3.3
2. Para funciones de tres variables una grfica "en perspectiva" no es
posible: se necesitara un espacio de 4 dimensiones por lo menos. En este
caso, se pueden construir , de modo anlogo a como se superficies de nivel
construyeron las curvas de nivel. Vemoslo en un ejemplo sencillo:
0B C D B C D

# # #
Si ponemos para distintos valores de , resultan esferas 0B C D - -
concntricas de distintos radios, lo que v dando una idea de cmo es la
funcin en estudio.
3. Sea Queremos calcular el lmite de esta funcin 0B C
B C
B C
# #
# #
cuando la pareja tiende a Es claro que . B C ! ! ! ! .970
Pero Se afirma : ! ! .970
w
lim
BC!!
B C
B C
# #
# #
!
En efecto, dado basta tomar para tener: % $ % !

l l C llB Cll
B C B C
B C B
# # #

# # # #
# # #
$ %
si || || B C

$
4. Para la funcin
0B C
"
# #
B C
92
se tiene
lim
BC!!
B C
"
# #

En efecto, si nos damos un cualquiera, que define una vecindad de O !
, basta tomar para tener, usando norma euclideana: $
"
O

si entonces llB Cll $

B C
# #
"
O

por lo tanto
"
# #
B C
O
5. Analicemos finalmente la funcin:
0B C ,
"

B
C B
C
Esta funcin no tiene lmite en pues si nos acercamos por la recta ! !
C B , obtenemos valores constantes iguales a , pero si nos acercamos
"
#
al por una recta de pendiente 2 : , entonces se obtiene un ! ! C #B
valor constante igual a
#
&

Figura 3.4
Esto significa que en vecindad del habr puntos cuyo cualquier ! !
valor de funcin es y otros donde el valor ser .
" #
# &
Estos ejemplos conducen a los conceptos de y lmite direccional
de que captan algunas de las dificultades que surgen en el lmites iterados
estudio de lmites de funciones de varias variables.
93
DEFINICIN. Sea una en el espacio . . !
8 8
direccin
0 H .
8 7
se entiende por en direccin lmite direccional
hacia el punto al lmite de la funcin de variable real: B
9
lim
-!
9
0B . -

Figura 3.5
Supongamos ahora que el lmite de la funcin parcial ( fijo ) C
lim
BB
o
0B C
existe para todo en una vecindad de . Entonces tenemos la posibilidad C C
9
de concebir el lmite de la nueva funcin cuando se acerca a : C C
9
lim lim
CC BB
9 9
0B C
Este es el llamado lmite iterado.
Figura 3.6
94
La definicin general es la siguiente:
DEFINICIN. Sea Se 0 H B B B
8 7 " 8
9
9 9
entiende por a la sucesin de lmites : limite iterado
lim lim
B B B B
" 8
3
"
9 8
3 3
"
3 9
8
0B B
Es claro que , para una funcin de variables, habr lmites iterados 8 8x
diferentes segn sea el orden en que sean tomados.
La pregunta que surge ahora es: qu relacin existe entre los lmites
direccionales, los lmites iterados y el lmite -dimensional ? 8
Examinemos este problema a travs de algunos ejemplos:
EJEMPLOS.
1. Sea y analicemos los lmites direccionales en 0B C
CB
B C
#
% #
direccin al punto ! !
Acerqumos al punto segn la recta de ecuacin ! !
C 7B 7 !
lim lim lim
B! B! B!
7B 7B
B 7 B B 7
0B 7B !
$
% # # # #
Acerqumonosal punto por la recta vertical o bien ! ! B !
por la recta horizontal C !
lim lim
C! B!
0! C 0B ! !
Es decir, el lmite direccional en las direcciones es igual a 0. Con todas
esto, uno podra estar tentado a concluir que el lmite bi-dimensional
(tambin llamado tambin existe y es igual a cero. lmite doble
Sin embargo, esto no es as: acerqumonos al punto por una ! !
parbola de ecuacin C B
#
lim lim
B! B!
# B "
B B #
0B B
%
% %
95
Figura 3.7
En este caso no hay lmite doble pues en vecindad del punto toda ! !
habr puntos cercanos a 0 y a .
"
#
Este es un tpico caso que muestra que la existencia de lmites
direccionales no implica la del lmite -dimensional. 8
2. Consideremos la funcin , . Esta funcin fu analizada 0B C
"

B
C B
C
ms arriba y se encontr que tena lmites direccionales diferentes segun la
direccin asumida. Por lo tanto no tiene lmite doble. Sin embargo, es fcil
ver que tiene ambos lmites iterados:
lim lim
C! C!
"

C
B
B
C B
C
C
#
B
!
por lo tanto:
lim lim
B! C!
"

! B
C B
C
Como la funcin es simtrica respecto asus variables e el otro lmite B C
iterado es tambin igual a cero.
3. Sea ahora
0B C C =/8 B=/8
" "
B C
Los lmites iterados no existen : fijando el lmite B !
lim
C!
" "
B C
C =/8 B=/8
no existe, puesto que el lmite del sumando existe y vale cero. C =/8
"
B

Sin embargo el lmite doble existe y vale cero. En efecto ,
tomemos un cualquiera, basta tomar y usar la norma : % $ % ! "
llB Cll
"
$
l0B Cl lC =/8 l lB=/8 l lBl lCl llB Cll
" "
B C
"
$ %
96
4. Calculemos los dos lmites iterados siguientes:
lim lim lim
B" C" B"
# # #
B C #BC B #B $
lim lim lim
C" B" C"
# #
B C #BC C #C# $
Veremos ms adelante, utilizando las propiedades de las funciones
continuas que tambin los otros lmites existen y coinciden con los
iterados.
5. Consideremos finalmente la funcin
0B C
B
B C
# #
alrededor del punto : ! !

B !
B !
lim lim lim
B! C! B!
B "
B C B
# #
! ! lim lim lim
C! B! C!
B
B C
# #
Pero el lmite doble no existe: consideremos las curvas de
nivel:
B "
B C -
# #
# #
- B C B !
que son circunferencias que pasan por Calculemos la ubicacin ! ! +
de su centro
B + C +
# # #
B #+B + C +
# # # #
simplificando y reeplazando de la ecuacin anterior, + B C B
# # # "
-
resulta :
+
"
#-
Esto significa que el valor de la funcin sobre la circunferencia de radio
l+l - es constante e igual a
"
#+
97
Figura 3.8
DEFINICIN. Sea . Se llaman las 0 W
8 7
proyecciones
7 4 " 7 funciones: definidas por 1
4
7
1
4 " 7 4
B B B
Se llaman de la funcin a las funciones compuestas: componentes 0 7
0 0
4 4
1
Se denota :
0 0 0
" 7
OBSERVACIONES.
1. Sea Entonces 0 0 0
" 7
lim lim
BB BB
" 7 4 4
9 9
0B + + 0 B + 4 " 7
Es decir
lim lim lim
BB BB BB
" 7 " 7
9 9 9
0 B 0 B 0 B 0 B
En efecto, tal como en el caso de los lmites de sucesiones vectoriales
Si para tal que 0B + + ! b ! lim
BB
" 7
9
% $
ll0B + + ll llB B ll
" 7 9
% $ para
98
luego
l0 B +4l ll0B + + ll 4 " 7
4 " 7
%
Sea ahora y tomemos un : 0 B + 4 " 7 ! lim
BB
4 4
9
%
b ! $
4
tal que:
si acaso l0 B +4l ! llB B ll
4 9 4
7
%
$
Basta tomar y . Entonces valen $ $ $ $ 738 ! llB B ll
" 7 9
la desigualdades anteriores y tomando la norma 1 : 7
ll0B + + ll l0 B +4l 7
" 7 " 4
4"
7
7

%
%
2. La observacin anterior nos dice que el problema de los lmites, tanto
lmites continuos como lmites de sucesiones, no ofrece mayor diferencia
con el caso real por el lado de los valores vectoriales de las funciones. La
diferencia surge cuando son los dominios los que tienen una dimensin
mayor que uno.
3. Tambin en el clculo en varias variables hay una relacin muy
estrecha entre los lmites de sucesiones y los lmites continuos: vale aqu
tambin el llamado Lema de enlace
lim
BB9
8 9 8 9 8
0B P B B B B 0B P W
La demostracin de este Lema sigue las mismas ideas que en el caso de
una dimensin y lo dejaremos de ejercicio para el lector.
% 0B E Tambin vale aqu un lgebra de lmites: Si y lim
BB9
lim
BB9
9
1B F B .970 .971 y si es punto de acumulacin de ,
entonces
0 1B E F lim
BB9
, 0B E lim
BB
9
- - -
0B 1B E F lim
BB
9
para dimensin 3 0 1B E F lim
BB
9
99
Tambin dejaremos la demostracin de estas propiedades de ejercicio al
lector.
5. Se pueden considerar sucesiones y series y, en general, dobles, triples
mltiples. Estos conceptos se derivan directamente de lo ya estudiado. A
modo de ejemplo consideremos una sucesin doble:
9
8
donde se usa la notacin 98 7 +
87
Una serie doble ser la correspondiente sucesin doble de sumas parciales:

87
87 87 :;!
8! 7!
: ;
+ + :
y la nocin de lmite doble ser:
lim
87
87
+ P
a ! bR 8 7 R ll+ Pll % % tal que
87
Los conceptos de sucesiones y series triples , cudruples o de cualquier
orden corresponden a generalizaciones directas de estos ejemplos.
3.2 PROBLEMAS
1. Analice y dibuje las curvas de nivel de las siguientes funciones:
3 0B C B C
#
33 0B C
B
BC
333 0B C =/8B C
3@ 0B C /
BC
@ 0B C B C

@3 0B C B C
2. Determine las superficies de nivel, para los niveles , de - # ! #
las siguientes funciones:
3 0B C D B C
# #
33 0B C D B C D
# #
333 0B C D $B %C D
100
3 Demuestre el siguiente teorema: si acaso:
3 b 0B C 33 b 0B C aB B lim lim
BCB C
CC
9
9 9
9
entonces
b 0B C 0B C y es igual a: lim lim lim
BB CC
BCB C 9 9
9 9
4. Calcule los siguientes lmites, indicando el fundamento de su respuesta:
3 BC lim
BC#"
33 B C D lim
BCD$""
333 lim
BC!!
C =/8B
B
3@ =/8 lim
#"
" #
1 1
@ 691 lim
$#
"
#
#
1 1
5. Analice la existencia de lmites dobles de las siguientes funciones:
3 0B C
B
BC
33 0B C
B
lBllCl
333 0B C
BC
B C
# #
3@ 0B C
B
B C
$
# #
@ 0B C
C
B C
#
% #
@3 0B C
B C#
B C
#
# #
' Determine , si es que existen, los lmites dobles y los lmites iterados
de la funcin en el punto cuando : 0B C B C
9 9
101
3 0B C B BC B C " $
$ #
9 9
33 0B C B=/8BC B C "
9 9
#
1
333 0B C
BC =/8 B !
! B !

"
B
3@ 0B C
B C !
! B C !

BC
B C
#
#
#
7. Demuestre el Lema de Enlace:
lim
BB9
8 9 8 9 8
0B P B B B B 0B P W
8. Demuestre el lgebra de lmites: Si y lim lim
BB9 BB9
0B E 1B F
y si es punto de acumulacin de , entonces B .970 .971
9
0 1B E F lim
BB9
, 0B E lim
BB
9
- - -
0B 1B E F lim
BB
9
para dimensin 3 0 1B E F lim
BB
9
3.3 LA CONTINUIDAD EN
8
102
DEFINICIN. Sea Se dice que la 0 B W W
8 7
9
funcin es en si acaso: 0 B continua
9
Y bZ 0Z Y j j W
0B B
9 9
OBSERVACIONES.
1. Es claro que , si , entonces: B
9
w
W W
0 B 0B 0B es continua en
9 9
BB
lim

9
y que es siempre continua sobre los puntos aislados de su dominio. 0
2. La definicin anterior escrita en normas es:
a ! b ! ll0B 0B ll B llB B ll % $ % W $ tal que si y
9 9
que es la definicin de la continuidad para funciones reales, exactamente
solo que aqu se ha reemplazado el valor absoluto por la norma.
$ Es claro tambin que la continuidad de una funcin no depende de la
norma equivalente elejida.
4. Usando el Lema de Enlace, tenemos la siguiente caracterizacin de la
continuidad:
0 B B B B 0B 0B es continua en
9 8 9 8 8 9
W
& Del lgebra de lmites podemos obtener directamente un lgebra de
funciones continuas:
Si y son continuas en , entonces 0 1 B
9
es continua en 0 1 B
9
es continua en 0 B - -
9
es continua en 0 1 B
9
es continua en (dimensin 3) 0 1 B
9
103
6. Para la composicin de funciones tambin se tiene el siguiente
teorema:
si es continua en y es continua en , entonces es 0 B 1 0B 1 0
9 9
continua en cuya demostracin dejaremos para el lector puesto que no B
9,
representa ninguna novedad respecto a lo que se ha desarrollado en
dimensin 1.
7. Las proyecciones
1
3
8
3 " 8
son continuas en todo el espacio En efecto, dado un basta %
8
!
tomar : $ %
l B B l B B l llB B ll 1 1 $ %
3 3 9 3 9
3
9
|
8. Por lo tanto , si es continua en entonces sus componentes 0 B
9
0 0 B
3 3 9
1 son continuas en
Pero esta implicacin tambin se puede invertir: si todas las
componentes de una funcin son continuas en , entonces es 0 B 0
9
continua en En efecto, dado un , tales B ! b ! 3 " 8
9 3
% $
que
l0 B 0 B l llB B ll
3 3 9 9 3
8
%
si $
Basta tomar y usar la norma 1 : $ $ $ 738
" 8
ll0B 0B ll l0 B 0 B l 8 llB B ll
9 3 3 9 9
3"
8
8

%
% $ si
9. Tal como hemos concebido lmites direccionales, podemos tambin
considerar un concepto de continuidad direccional :
es continua en en direccin si acaso , tal 0 B . ! a ! b !
9
% $
que:
tal que ll0B . 0B ll a l l B .
9 9 9
- % - - $ - W
EJEMPLO
Consideremos la funcin 0B C
B C ! !
! B C ! !

B C
C B
#
# %
En la direccin , la funcin es C 7B 7 !
104
0B 7B !
7B 7B
7 B B 7 B
3
# # % # #


En las direcciones de los ejes: y la funcin es B ! C !
cero, por lo que sus lmites son cero.
Si nos acercamos al punto por la parbola , ! ! C B
#
entonces vemos que
0B B aB !
# B B "
B B #
# #
% %
Por lo tanto la funcin en el punto , a pesar de que es no es continua ! !
continua en ese punto en todas direcciones.
DEFINICIN . La funcin es 0 W
8 7
uniformemente
continua en el dominio , si acaso: W
a ! b ! % $ tal que
ll0B 0Cll aB C llB Cll % W $ tales que
Esta es una variante ms exigente que la continuidad punto a punto en un
dominio. La diferencia entre la continuidad uniforme y la continuidad
comn y corriente en un dominio es sutil y consiste en que , para un
acercamiento dado, el acercamiento para la continuidad % $ ! !
uniforme es vlido para los puntos del dominio, mientras que para todos
la continuidad comn depende del punto de acercamiento: para cada
B W habr un ( . $ % B
Que la continuidad uniforme es ms exigente que la efectivamente
continuidad punto a punto lo demuestra el clsico ejemplo:
0B B ! "
"
B
W
Esta funcin es continua en todos los puntos del dominio , simplemente W
por el lgebra de funciones continuas. Sin embargo, no es uniformemente
continua. En efecto:
Para y 0 podemos encontrar con y % $ " a B C ! " C B
$
#
tal que
l l "
" " " "
B C BC B B
CB
#B #"
$ $
$ $
# #
%
si acaso B
$
$ #
105
TEOREMA 6
1. La funcin es continua en : 0 W W
8 7
si y solo si
a E b F 0 E F abierto abierto tal que W
7 8 "
2. Sea continua , compacto . Entonces 0 ^ ^
8 7
es uniformemente continua sobre 3 0 ^
(ii) es compacto en 0 ^
7
DEMOSTRACIN
1.
( ) Sea continua en , abierto en , Se 0 E B 0 E W
7 "
tiene que que es abierto, por lo tanto vecindad de , luego, 0B E 0B
por continuidad de en tal que es 0 B b ! 0FB E $ $ W
B B
decir Basta entonces definir: FB 0 E $ W
B
"
F FB B 0 E
-
$
B
"
con lo cual F 0 E W
"
Sea , Tomar que es B ! E F0B W % %
abierto en , luego, por nuestra hiptesis abierto en tal que
7 8
b F
0 E F B 0 E B F
" "
W Pero , luego que es abierto, por lo
tanto es una vecindad de y se cumple B
0F 00 E E F0B W %
"
por lo tanto, es continua en . 0 B
2. Sea continua sobre compacto. 0 ^
Sea : por la continuidad de en , 3 B ! 0 B b B ! ^ % $ %
tal que
ll0B 0Cll llB Cll B
%
#
si acaso $ %
106
Es claro que es un cubrimiento abierto del FB B
$ % B
#
^
compacto , luego existe un subcubrimiento finito: ^
FB FB
" :
B
# #
B $ % $ %
" :
definamos
$ % ( ) 738 3 " : !
$ % B
#
3
y tomemos dos puntos cualquiera tales que . B C llB Cll $ %
Como para algn , se tiene: B FB 3
3
B
#
$ %
3
llC B ll llC Bll llB B ll B
3 3 3
B
#
$ % $ %
$ %
3
por lo tanto
ll0C 0B ll
3
#
%
pero tambin se tiene que
ll0B 0B ll
3
#
%
por lo tanto
ll0B 0Cll ll0B 0B ll ll0B 0Cll
3 3
# #
% %
%

Sea un cubrimiento abierto de Por la 33 M 0 h ^

caracterizacin de la continuidad dada anteriormente,

0 Z
"
h ^

con abierto en Si entonces para algn Z B 0B M
"
^ h "
8
luego
B 0 Z
"
h ^
" "
Por lo tanto es un cubrimiento abierto de , por lo que hay Z M

^
un conjunto finito: que cubre : Z Z
" :
^
^ Z Z
" :
Aplicando la funcin : 0
0 0Z Z 0Z 0Z ^ h h
" : " : " :

COLOLARIO. Todas las normas sobre son equivalentes

8
Sea || || la norma euclideana y || ||* otra norma cualquiera sobreel
espacio , y la base cannica de Vamos a
8 8 8
" 8
B / /
demostrar la equivalencia de ambas normas usando el criterio mencionado
en el captulo anterior: vamos a encontrar constantes , tales que " !
llBll llBll llBll

"
107
llBll ll B / ll lB l ll/ ll llBll ll/ ll

3" 3" 3"
8 8 8
3 3 3 3 3

con lo que basta definir: para tener la primera desigualdad. ll/ ll

3"
8
3

La funcin || || || || es continua entodo su
8

dominio. En efecto, si y tomemos si B !
9
8
% $
%

llB B ll
9
$ entonces, por la desigualdad triangular "al revs" , se
tiene:
l llBll llB ll l llB B ll llB B ll

9 9 9
$ %
Consideremos ahora la esfera unitaria: Este es W B llBll "
8
un conjunto cerrado y acotado, luego, por el Teorema de Heine-Borel, es
compacto. Luego, por nuestro teorema , es compacto. Este es un llWll

conjunto cerrado que no contiene al cero, luego # 380llWll !

Sea , finalmente : Tomemos un . Entonces " B B !

#
8
B B
llBll llBll

W ll ll luego de donde #
llBll llBll
"
#
"
que corresponde a la segunda desigualdad.

3.4 PROBLEMAS
1. Determine el conjunto de puntos de continuidad de las siguientes
funciones:
3 0B C >1BC
33 0B C D
#BCD
BC
333 0B C
"
B #BC
# #
Es posible extender continuamente alguna de estas funciones?
2. Examine la continuidad direccional en las diferentes direcciones de las
funciones anteriores. Puede Ud. extender alguna de estas funciones de
modo que sean ? direccionalmente continuas
3. Estudie la continuidad en de la funcin definida por: ! ! 0
0B C
B C !
! B C !

C
B C
$
# #
4. Estudie la continuidad en de la funcin definida por: ! ! 0
108
0B C
B C !
! B C !

C
B C
2
# #
5. Sea una funcin de tres variables y de valores reales , continua en el 0
punto Sea B C D
9 9 9
1B C 0B C D
9
Cree Ud. que es continua en ? Puede generalizar su 1 B C
9 9
resultado?
6. Sea continua, acotado. Demuestre que 0 E 0E
8 7 8
es acotado.
(Indicacin: demuestre primero que: acotado acotado ) E E

7. Sea definida por : . 0 F! " 0B

8 B
"llBll
Demuestre que esta funcin es continua pero no uniformemente continua
sobre F! "
) 0 + B + Demuestre que , si es continua en y entonces
8

lim lim
8 8
8 8
0B 0+ 0 B
109
CAPTULO 4:
CLCULO DIFERENCIAL EN
8
4.1 . DERIVADA Y DIFERENCIAL

Si entonces es posible definir una 0 H
8
derivada
de en un punto del mismo modo que para funciones reales y con la 0 B
9
misma interpretacin:
0 B
w
9
BB
0B0B
BB
lim
9
9
9
Se trata de la de la funcin de valores razn instantnea de cambio
vectoriales en el punto . Adems, por nuestra teora acerca de los B
9
lmites, si entonces 0 0 0
" 8
0 B 0 B 0 B
w w w
9 9 9
" 8
Es decir, la derivada de una funcin de variable real pero valores
vectoriales, es el vector de las derivadas de las componentes. Por lo tanto
la teora de la derivacin de este tipo de funciones, como por ejemplo
existencia, linealidad etc. se reduce a la de las funciones reales: no hay
un mayor cambio conceptual.
Para una funcin de variable vectorial en cambio, es decir, para una
funcin de varias variables, el concepto de derivada ya no es posible
definirlo del mismo modo, pues no podemos dividir por un vector, por lo
tanto no podemos formar el cuociente diferencial. Por lo tanto la
generalizacin de este concepto deber hacerse de otra manera. En el
fondo no hay una verdadera generalizacin: lo que hay es un concepo
anlogo pero, como veremos, ntimamente relacionado.
110
DEFINICIN. Sea . La funcin se 0 H B H

8 7
9
0
dice en si existe una funcin tal diferenciable lineal B X
9
8 7

que
0B 0B XB B VB B aB H
9 9 9
donde : lim
BB
llVBB ll
llBB ll
9
9
9
!
X 0 B X H0B se llama de en y se denota: : la diferencial
9 9
La funcin se llama usualmente . VB B
9
resto
EJEMPLOS:
1. Sea lineal-afn, es decir, de la forma 0 0B PB +
8 7
donde es lineal y es una constante. Entonces es diferenciable y su P + 0
diferencial es : . En efecto: H0B P aB
9 9
8

0B 0B PB + PB + PB B
9 9 9
con un resto VB B !
9
En particular las funciones lineales son las diferenciales de si mismas.
2. Sea . Esta funcin es diferenciable en todo su 0B C B C
# #
dominio y su diferencial en el punto es la funcin lineal de matriz + ,
#+ #, En efecto:
0B C 0+ , B C + , B +B + C ,C ,
# # # #
#+B + #,C , B + C ,
# #
#+ #, llB C + ,ll
B +
C ,


#
y la expresin es un buen resto, pues llB C + ,ll
#
llBC+,ll
llBC+,ll
#

llB C + ,ll !
Este ejemplo puede parecer muy artificial, pero veremos que hay una
forma relativamente sencilla de calcular las diferenciales en ciertos casos.
111
OBSERVACIONES
1 Si una funcin es diferenciable en un punto, su diferencial es . nica.
En efecto, supongamos que y son dos diferenciales de en X X 0 B
w
9
Entonces, por definicin:
0B 0B XB B V X B B V
9 9 9
w w
Luego:
X X B B V V aB H
w w
9
Sea un vector cualquiera. Puesto que tal que D B H b !

$
8
9
B B D H a
9
- - $ $
Luego,
X X D X X D V V
w w w
- -
y por lo tanto:
X X D !
w VV
w
-

- !
pues:
ll ll !
VV
llVV ll llDll llVll llDll llV ll llDll
l l llDll llBB ll llBB
w
w w
9 9ll
- -

Por lo tanto
XD X D aD
w 8

Es preciso notar que la unicidad de la diferencial solo se puede conseguir

si el punto est en el interior del dominio. B
9
2. La diferenciabilidad y el valor de la diferencial no depende de la norma
elejida. En efecto, la condicin de diferenciabilidad se reduce
esencialmente a la convergencia a cero del resto dividido por la norma del
incremento: como todas las normas son equivalentes y la convergencia no
depende de la norma equivalente elejida, se tiene nuestra afirmacin.
3. Si es diferenciable en , entonces es continua en En efecto: 0 B B
9 9
lim lim lim
BB BB BB
9 9 9 9
9 9 9
0B 0B H0B B B VB B !
Aqu se ha hecho uso implcito de la siguiente propiedad de las funciones
lineales en espacios de dimensin finita:
llPBll 5llBll aB
8
112
donde es una constante. En efecto, basta representar en una base y 5 B
aplicar la desigualdad triangular usando la norma infinito:
llPBll llP B / ll ll B P/ ll llP/ ll llBll

3" 3" 3"
8 8 8
3 3 3 3 3
La constante ser : o un mltiplo , cuando se use otra 5 5 llP/ ll

3"
8
3
norma que la norma infinito.
4. Sea ahora En este caso tenemos la 0 H B H

8
9
posibilidad de una y de una . Qu relacin habr derivada diferencial
entre ellas? La existencia de una implicar la de la otra?
Supongamos que existe la derivada 0 B
w
9
BB
0B0B
BB
lim
9
9
9
Entonces basta poner:
0B 0B 0 B B B 0B 0B 0 B B B
9 9 9 9 9 9
w w
El primer sumando es lineal en y el segundo satisface la B B
9
propiedad de resto:
0B0B 0 B BB 0B0B
BB BB
w
9
9 9 9 9
w
9 9
0 B !
Por lo tanto, la funcin es diferenciable y su diferencial es
H0B 0 B
9 9
w
7 7
En particular, evaluando en 7 "
H0B " 0 B
9 9
w
Recprocamente, supongamos que es diferenciable en : 0 B
9
0B0B H0B BB VBB VBB
BB BB BB BB
9
9 9 9 9 9
9 9 9 9
H0B "
Puesto que el segundo sumando de esta expresin tiende a cero y el
primero no depende de , se tiene: B
113
lim
BB
0B0B
BB
9
9
9
9
H0B "
Es decir, la funcin tiene derivada y ella es:
0 B H0B "
w
9 9
4.2. DERIVADAS DIRECCIONALES Y PARCIALES
DEFINICIN. Sea 0 H B H A A !

8 7 8
9
Se llama derivada direccional de la funcin en el punto en 0 B
9
direccin al lmite: A
`0
`A
9
!
0B A0B
B : lim
-
-
-
9 9
En particular , si elemento de la base A / ! " !! 3
3
cannica, la derivada direccional se llama y se denota: derivada parcial
`0 `0
`B `/
9 9
3 3
B B :
Ntese que aqu se trata de una derivada de una funcin de variable real, a
saber , la variable . Se interpreta esta derivada como una - razn
instantnea de cambio en la direccin Si se desea comparar esta razn A
de cambio en diferentes direcciones, conviene tomar el vector direccin de
una magnitud fija: y se acostumbra usar en este caso la norma llAll "
euclideana. En este caso se dice que la direccin se ha normalizado.
EJEMPLO.
Sea 0B C D B #BCD D A " " " B ! ! !
# "
$
9

Notar que la direccin se ha normalizado: A

`0
`A
!
" "
$ $ $ $ $ $
#
! ! ! # lim
-
-
- - - - -

OBSERVACIONES.
114
1. Si es diferenciable en entonces existen las derivadas direccionales 0 B
9
en todas direcciones y vale:

`0
`A
9 9
B H0B A
En efecto, si B A H
9
-
0B A0B H0B A H0B A
V V 9 9 9 9
- - -
- - - - -

H0B A H0B A
9 9
V
-

pues , como ya vimos mas arriba, 0
V
-

2. La afirmacin recproca , sin embargo, no vale: pueden existir todas las
derivadas direccionales y la funcin no ser ni siquiera continua:
0B C
B C ! !
! B C ! !

B C
B C
#
% #
Sea una direccin cualquiera y calculemos la derivada A + , ! !
direccional en direccin en el punto A ! !
lim lim
- -
- - - -
- -
! !
" + ,
+ ,
+ , + , +
,

! , ! + !
, !
#
% # # % #
#
#
)

Es decir, efectivamente todas las derivadas direccionales, pero la existen
funcin, como lo vimos mas arriba, no es continua: basta acercarse al
punto por la parbola ! ! C B 0B B aB
# # "
#
3. La derivada direccional es respecto a la direccin, es decir: homognea
`0 `0
` A `A
9 9

B B !
Si la funcin es diferenciable, esto se deduce directamente del primer
punto :
`0 `0
` A `A
9 9 9 9

B H0B A H0B A B
Sin embargo, esta propiedad es an vlida sin diferenciabilidad de la
funcin: basta la de la derivada direccional: existencia
115

`0
` A
9
!
0B A0B
-
-
-
B lim
9 9
lim
!
0B A0B

-
-
-
9 9

B
`0
`A
9

%. El clculo de derivadas parciales se reduce esencialmente al clculo de
derivadas de funciones reales. En efecto, el respectivo cuociente
diferencial es
0B / 0B 0B B B 0B B B
9 3 9 9 9 9 9 9 9
" 3 8 " 3 8
-
- -
-

que corresponde al cuociente diferencial de la , es 3 funcin parcial

decir la funcin que deja todas sus variables fijas, salvo la -sima. Se 3
trata entonces de una derivada de una funcin de variable: la -sima. una 3
En particular , si la funcin tiene valores reales, es decir si: 0
0 H
8
entonces las funciones parciales son funciones reales de valores reales.
Este tipo de funciones se denomina . Este nombre proviene campo escalar
de la fsica: se est describiendo una situacin donde , a cada punto del
dominio se ha asignado un nmero real (por ejemplo, la temperatura en H
ese punto). Para estas funciones se define un concepto muy importante en
todo lo que es la modelacin de fenmenos fsicos, qumicos o biolgicos:
4.3. LA GRADIENTE
DEFINICIN. Sea un campo escalar. Se llama 0 H
8
gradiente del campo en el punto al vector: B H
9
f0B B B
9 9 9
`0 `0
`B `B
" 8
El smbolo recibe el nombre de f nabla.
Fu Hamilton quien en 1837 introdujo el smbolo en sus clculos pero f
no le puso nombre. Como otros matemticos se dieron cuenta del valor
116
prctico del smbolo, tambin lo empezaron a usar, llamndolo (o atled
sea delta al revs...) o tambin para abreviar. Hasta que Maxwell del
propuso el nombre de nombre griego de un antiguo instrumento de nabla,
cuerdas ejipcio de forma similar.
OBSERVACIONES Y EJEMPLOS.
1. Supongamos que el campo escalar es diferenciable y evaluemos su 0
diferencial en un vector cualquiera : A
8
H0B A H0B A / A H0B /
9 9 3 3 3 9 3
3" 3"
8 8

A B A f0B

3"
8
3 9 9
`0
`B
3
Recordando la relacin con la derivada direccional, tenemos:
H0B A B A f0B
9 9 9
`0
`A
2. Sea ahora donde . A A A A A 3 " 8
" 8 3 3
1
Luego:
H0B A B A aA
9 9 3
3"
8
`0
`B
8

3
1
por lo tanto la diferencial se puede escribir como una combinacin lineal
de las proyecciones donde los coeficientes son las derivadas parciales:
H0B B
9 9 3
3"
8
`0
`B

3
1
Esta relacin se acostumbra a escribir, en la literatura clsica :
.0B B .B
9 9 3
3"
8
`0
`B

3
donde se usa la para denotar la diferencial y se ha identificado la . H
proyeccin con 1
3
el valor de la proyeccin sobre el vector x:
B .B .
3 3 3 3 3
1 1 1
Esta ltima igualdad se debe a que , siendo lineal, coincide con su 1
3
diferencial.
117
3. Ilustremos estos resultados con algunos ejemplos:
0B C D BC -9=CD
f0B C D C B =/8CD D =/8CD C
Si queremos calcular la derivada direccional de este campo en direccin
A " " "
`0
`A
B C D f0B C D A C B D=/8CD C=/8CD
y su diferencial ser:
H0B C D C B =/8CDD =/8CDC 1 1 1
" # $
4. Sea
0B C D B C B/
# D
Calculemos su diferencial en un punto cualquiera B C D
f0B C D #BC / B B/
D # D
Luego:
H0B C D #BC / B B/
D # D
" # $
1 1 1
o, en la notacin clsica:
.0B C D #BC / .B B .C B/ .D
D # D
& f Las propiedades bsicas del operador se desprenden directamente
de las reglas de la derivacin:
f0 1 f0 f1
f01 f01 0f1
' f0B La direccin de , si este vector es distinto de cero, representa la
9
direccin de del campo escalar en el punto la mxima razn de cambio 0
B A
9
: en efecto, si tomamos una direccin cualquiera , entonces
118
l B l lf0B Al llf0B ll llAll -9=
`0
`A
9 9 9
)
y este valor ser mximo cuando el ngulo entre los vectores y ) f0B
9
A A sea cero, es decir, cuando tenga la misma direccin de la gradiente.
Para evaluar el valor mismo de la mxima razn de cambio, debemos
normalizar el vector direccin queen este caso es : f0B
9
f0B
s
9
f0B
llf0B ll
9
9
Luego:
l B l lf0B f0B l llf0B ll llf0B ll
s
`0
`f0B
s
9 9 9 9 9
"
llf0B ll
#
9
9
Es decir, la mxima razn de cambio es la norma de la gradiente y se
realiza en direccin de la gradiente.
7. Ilustremos estos resultados con un ejemplo sencillo:
Sea : y calculemos la mxima razn de cambio en el 0B C B BC
#
punto : " "
f0B C #B C B
luego :
f0" " " "
y su norma es :
llf0" "ll #

Para comparar, calculemos la razn de cambio en direccin al origen

A " "

`0
`A
" " f0" " " " " " " " !
y en direccin horizontal: A " !

`0
`A
" " " " " ! "
y en direccin vertical: A ! "
119

`0
`A
" " " " ! " "
TEOREMA 7 .
1. Sea La funcin es diferenciable en 0 H B H 0

8 7
9
B 0 0 3 " 8
9 3 3
=3 C =969 =3 las componentes son 1
diferenciables en En tal caso : B
9
H0B H0 B
9 3 3 9
es decir:
1 1
3 9 3 9
H0B H 0B
2. Si las derivadas parciales son continuas en , entonces la 7 8 B
`0
`B
3
4
funcin es diferenciable en 0 B
$ 0 B 1 (La regla de la cadena) Si es diferenciable en y es diferenciable
9
en entonces la compuesta es diferenciable en y su 0B 10 B
9 9
diferencial es:
H10B H1 H0B
9 9
0B
9
DEMOSTRACIN
1.
Sea diferenciable en : entonces 0 B
9
0B 0B H0B B B VB B
9 9 9 9
Aplicando la proyeccin a ambos lados de la igualdad y aprovechando 1
3
la linealidad de esta funcin:
0 B 0 B H0B B B V B B
3 3 9 9 3 9 3 9
pero luego lV B B l llVB B ll
3 9 9
lV BB l
llBB ll
3 9
9
!
por lo que cada componente es efectivamente diferenciable y su
diferencial es:
120
H0 B H0B
3 9 9 3
Sean ahora los diferenciables en 0 B 3 " 8
3 9
0 B 0 B H0 B B B V B B
3 3 9 3 9 9 3 9
luego:
0B 0B 0 B 0 B /
9 3 3 9 3
3"
8

H0 B B B / V B B /

3" 3"
8 8
3 9 9 3 3 9 3
pero el primer sumando es lineal en y el segundo satisface la B B
9
condicin de resto. Las componentes de la diferencial son precisamente
las diferenciales de las componentes.
2. Sean las derivadas parciales continuas en . Como, por el 7 8 B
`0
`B
3
4
punto anterior, basta demostrar que las componentes son diferenciables,
podemos suponer, sin perder generalidad , que Es decir, 7 "
0 H 3 " 8 B
8
`0
`B
con continuas en . Sea
3
B B B C C C
" 8 " 8
y y definamos las funciones auxiliares:
0 0C C B B
5 " 5" 5" 8
:
Las son derivables en una vecindad de y su derivada es continua en . 0 B B
5
Estas funciones satisfacen las propiedades:
0 B 0B
" "
0 C 0C
8 8
0 B 0 C 5 " 8 "
5" 5" 5 5
Por lo tanto, usando el teorema del valor medio:
0C 0B 0 C 0 B 0 C 0 B
8 " 5 5 5 5
5"
8

0 C B C B B C B

5" 5"
8 8
w
5
5 5 5 " 5 5" 8 5 5
`0
`B
) )
5
BC B V

5"
8
`0
`B
5 5
5
121
donde
V C B B BC B C B

5"
8
`0 `0
`B `B
" 5 5" 8 5 5 5 5
5 5
)
Pero, por la continuidad de las derivadas parciales, dado un hay % !
una vecindad de tal que B
| | C B B BC B 5 " 8
`0 `0
`B `B
" 5 5" 8 5 5
5 5
) %
si est en una vecindad apropiada de , por lo tanto: C B
ll Vll lC B l llC Bll
" 5 5 "
5"
8
% %

Luego,
llVll
llCBll
"
"
%
lo que indica que satisface la condicin de resto y por lo tanto es V 0
diferenciable en B
3. Sea diferenciable en y es diferenciable en . 0 B 1 0B
9 9
Observemos en primer lugar que es punto interior del dominio de la B
9
compuesta En efecto, debe ser punto interior del dominio de 10 0B
9
1 B 0 0 y del dominio de , luego, por continuidad de debe haber una
9
vecindad de que es enviada a cualquier vecindad de en B 0B
9 9
particular a aquella que pertenece al dominio de . 1
Sea B .9710 0B .971
10B 10B H10B 0B 0B V 0B 0B
9 9 9 9
1
pero
0B 0B H0B B B V B B
9 9 9 9
0
Luego, reemplazando:
10B 10B H10B H0B B B V
9 9 9 9
donde
V H10B V V
9 0 1
122
y lo que falta por demostrar es que este satisface la condicin de resto: V
llVll OllV B B ll llV 0B 0B ll
0 ! 1 9
por lo tanto:
llVll
llBB ll
llV BB ll
llBB ll ll0B0B ll llBB ll
llV 0B0B ll ll0B0B ll
llV BB ll
llBB ll
9
0 1 9 9
9 9 9
9
0 9
9

O
O 0

si acaso B 0B
9

Por la propiedad de los restos, solo falta comprobar que el trmino
ll0B0B ll
llBB ll
9
9
9
es acotado en una vecindad de . Pero efectivamente: B
ll0B0B ll
llBB ll llBB ll
llV BB ll
9
9 9
0 9
O
s
Q.E.D
COROLARIOS Y OBSERVACIONES
1. Usando el primer punto de este Teorema podemos encontrar la matriz
de la diferencial en las bases cannicas:
H0B / H0B / / H0 B / / B /
9 3 9 3 4 4 4 9 3 4 9 4
4" 4" 4"
7 7 7
`0
`B

4
3
Por lo tanto, la matriz de es H0B
9
N B B
0 9 9
`0
`B

4
3
Esta matriz se denomina usualmente de la funcin en matriz jacobiana 0
el punto B
9
2. Como la continuidad de una funcin vectorial es equivalente a la
continuidad de sus componentes, el segundo punto de este teorema nos
dice que, si las derivadas parciales son continuas, no solo existe la
diferencial, sino que esta . Como hemos visto, la simple es continua
existencia de derivadas parciales no es suficiente para asegurar la
existencia de la diferencial. Pero si stas son continuas, la condicin va
ms all de lo necesario.
123
Para que esta observacin est completa, presentaremos un ejemplo donde
la diferencial existe, pero las derivadas parciales : no son continuas
0B C
B =/8 C =/8 B ! C !
! B ! C !

# # " "
B C
Esta funcin es diferenciable en ! !
0B C V
! ! B
! ! C

donde:
llVll
llBCll
lB =/8 C =/8 l
B C B C
B C
# #
B C !
# # " "
B C
# # # #
# #



Pero las derivadas parciales sonclaramente discontinuas en : ! !
`0
`B
" "
B B
B C
#B=/8 -9= B ! C !
! B C ! !

`0
`C
" "
C C
B C
#C=/8 -9= B ! C !
! B C ! !

3. Recordemos que la matriz de la funcin compuesta de dos funciones

lineales es el producto de las matrices de sus componentes. Luego, la
matriz de ser igual al producto de las matrices de H10B
9
H1 H0B 0B
9
y es decir:
9
N B N 0B N B
10 9 1 9 0 9
o sea:
`10
`B `B `B
9 9 9
5"
7
`1 `0 3
4 5 4
3 5
B 0B B

4. Apliquemos el resultado anterior al caso especial:

0 1
8
La funcin es una funcin de variable real y valores reales, por lo 10
tanto tiene una derivada:
124
10 > > 0> 0 >
w w
`10
`> `B
5"
8
`1
5

5
Aqu generalmente se hace una pequea trampa notacional: las
componentes de la funcin se denotan : 0
0> B > B >
" 8
con lo que la igualdad anterior se expresa:
10 > 0>
w
5"
8
`1
`B .>
.B

5
5
EJEMPLOS
1. Sea definida por : . Es 0 0B C D BC C D
$ #
diferenciable? cual es su diferencial?. Si calculamos su matriz jacobiana:
N B C
C B !
! " "
0
las derivadas parciales son continuas en todo por lo tanto es
$
0
diferenciable y su diferencial tiene por representacin matricial
precisamente a la matriz jacobiana.
2. Consideremos la composicin de funciones :

# #
0 1
donde: 0B C #B C BC 1B C $BC
# #
Si calculamos directamente la funcin compuesta:
JB C 10B C 1#B C BC 'B C
# # $ $
podemos obtener directamente las derivadas parciales:
`J `J
`B `C
# $ $ #
B C ")B C B C ")B C
Usando la regla de la cadena, se tiene:
125
`J
`B `B `B `C `B
`1 `0 `1 `0
B C 0B C 0B C
" #
$BC %BC $#B CC ")B C
# # # # $
`J
`C `B `C `C `C
`1 `0 `1 `0
B C 0B C 0B C
" #
$BC #B $#B C#BC ")B C
# # # $ #
$ Consideremos la composicin de funciones :

# #
0 1
3
donde 0B C #BC B C 1B C D BD BC
# #
Las respectivas matrices jacobianas son:
N B C
#C #B
#B !
! #C
0


N B C D
D ! B
C B !
1
Luego:
N 0B C
C ! #BC
B #BC !
1
#
#

por lo tanto, la matriz jacobiana de la compuesta ser el producto de las
respectivas matricas jacobianas:
N B C
C ! #BC #C 'BC
B #BC ! 'B C #B
#C #B
#B !
! #C
10
# $ #
# # $



Como las funciones son muy sencillas, podemos calcular directamente las
derivadas parciales:
10B C 1#BC B C #BC #B C
# # $ $
126
N B C
#C 'BC
'B C #B
10
$ #
# $

4.4. PROBLEMAS
1. Sean dos funciones diferenciables. Demuestre 0 1 W
8 7
que la funcin
0 1 W
8
es diferenciable en y su diferencial es: W
H0 1B 2 H0B 2 1B 0B H1B 2
9 9 9 9 9
# 0 1 Sean dos funciones diferenciables. Demuestre W
8 $
que la funcin
0 1 W
8 $
es diferenciable en y su diferencial es: W
H0 1B 2 H0B 2 1B 0B H1B 2
9 9 9 9 9
3. Sea norma euclideana. Demuestre que esta 0B llBll B
8
funcin es diferenciable en y su diferencial es:
8
!
H0BC
BC
llBll
4. Analice la diferenciabilidad de las funciones
0B llBll
"
1B llBll

5. Demuestre el siguiente Teorema del valor Medio para campos

escalares:
127
Si es diferenciable, abierto que contiene el 0 Y Y
8
segmento rectilneo cerrado :
=/1B C " B C ! " - - -
8
entonces existe ]0,1[ tal que )
0B 0C H0B C BC B )
6(*) . Demuestre la llamada regla de Leibnitz:
W 0 G + , - . i sobre el rectngulo y
" #

JC 0B C.B J
'
+
,
entonces es diferenciable y vale la igualdad:
.
.C `C + +
, , `0
' '
0B C.B B C.B
(. Sea
0B C
B B ! C !
!

$
en los dems puntos
Haga una grfica de esta funcin y calcule las derivadas parciales en todos
los puntos donde exista. Cules son esos puntos? Dnde es diferenciable
esta funcin?
). Calcule la diferencial de las siguientes funciones, indicando su dominio:
0B C $B (C
0B C D =/8BCD
0B C D BD C D
0B C D #C " BD
B
C
#
* 0 B C D D C . Sea el campo escalar definido en por:
$
0B C D
BD
DC
Cul es la razn de cambio del campo en el punto T" " #
en direccin al origen?
Cul es la direccin de la mxima razn de cambio? Cul es
el valor de esta mxima razn de cambio?
En qu puntos del espacio es diferenciable esta funcin?
128
"!. Considere el campo escalar:
0B C D 691BCD
Calcule la razn de cambio de este campo en en T" " "
direccin (" " "
Calcule la mxima razn de cambio en el mismo punto
T" " " y compare con el punto anterior.
Calcule el dominio de la diferencial
"" 01 . Cuales sern las derivadas parciales de la funcin , donde
1B C D BC C $D 0B C B C
# # # #
El desafo es hacerlo de dos maneras:
por clculo directo explicitando la funcin 01
utilizando la regla de la cadena
1 . Repita el clculo anterior pero para donde : # 10
0B C D #BC $D =/8BCD 1B C #B $C B C
#
0> $> =/8> 691> " 1B C D #BD 691CD
$
4.5. DIFERENCIALES DE ORDEN SUPERIOR
Si es diferenciable en todos los puntos de , 0 Y Y
8 7
entonces se puede definir la funcin diferencial :
H0 Y P
8 8 7
donde es el espacio vectorial de las funciones lineales de P
8 7 8
en . Este espacio es isomorfo a y puede ser considerado
7 87
simplemente como el espacio de matrices de formato . Sobre este 8 7
espacio pueden definirse las mismas normas que sobre cualquier y
8

algunas otras ms debido al formato especial de este espacio. Sin

129
embargo, como todas ellas son equivalentes, podemos considerar
P
8 7
como un espacio normado bien definido.
Podemos entonces considerar que la funcin es a su vez diferenciable: H0
su diferencial ser :
H 0 HH0 Y P P
# 8 8 8 7
:
que ser llamada diferencial de segundo orden.
Se puede continuar este proceso inductivamente, por ejemplo la
diferencial de tercer orden ser:
H 0 H HH0 Y P P P
3
: ( )
8 8 8 8 7
y en general la diferencial de orden ser la diferencial de la diferencial 8
de orden Aqu lo que hay que notar es que el 8 " espacio de llegada
cambia al pasar de una diferencial a otra.
En el caso de funciones de varias variables se usa la misma nomenclatura
que en el caso unidimensional : denota el conjunto de las funciones V
continuas, el conjunto de las funciones llamadas V
"
continuamente
diferenciables, es decir, aquellas que son diferenciables pero que su
diferencial es continua. En general denota el conjunto de funciones con V
8
diferencial de orden continua. 8
Resulta interesante examinar la matriz de representacin de una
diferencial
de segundo orden en las bases cannicas.
La base cannica en el espacio corresponde al conjunto de P
8 7
matrices de la forma:
I
! ! !

" !
! ! !
34




donde el se encuentra en la -sima fila y en la -sima columna. " 3 4
La matriz de la diferencial esentonces: H 0B
#
9
H0B B B
` `
`B `B `B `B `B
9 45 9 9
`0 ` 0
3 3 5 3 5
4 4
#
(
130
Ntese que esta es una matriz de , que podra escribirse como una 8 87
suerte de si acaso se ordenan los nmeros en tres matriz tridimensional,
dimensiones segn sus ndices. En la notacin usual es preciso destacar
que en la derivada se debe derivar respecto a la
` 0
`B `B
9
#
4
3 5
B primero
variable de ndice y respecto a la de ndice . 5 3 despus
EJEMPLOS
1. Sea Como en este caso se trata de un 0B C D B C -9=D
$
campo escalar, la diferencial de segundo orden se representa como una
matriz cuadrada de 3 3:






` 0 ` 0 ` 0
`B `C`B `D`B
` 0 ` 0 ` 0
`B`C `C `D`C
` 0 ` 0 ` 0
`B`D `C`D `D
#
#
# # #
#
# # #
#
# # #
#

'BC $B !
$B ! !
! ! -9=D
Ntese que ha resultado una matriz simtrica, es decir, ha resultado que

` 0 ` 0
`B `B `B `B
# #
3 4 4 3

Ser siempre as?

2. Sea 0B C
B C ! !
! B C ! !

BCB C
B C
# #
# #
! ! !
`0
`B B
B!
0B!0!!
lim
! ! !
`0
`C C
C!
0!C0!!
lim
! C C
`0
`B B BB C
B! B!
0BC0!C BCB C
lim lim
# #
# #
B ! B
`0
`C C CB C
C! C!
0BC0B! BCB C
lim lim
# #
# #
Por lo tanto:

! ! "
` 0
`C`B C
C!
!C !!
#
`0 `0
`B `B
lim
131
! ! "
` 0
`B`C B
B!
B! !! #
`0 `0
`C `C
lim
Es decir, no siempre la derivacin parcial es independiente del orden en
que se derivan las distintas variables.
LEMA Sea un campo escalar. Si las derivadas 0 Y
8
parciales de segundo orden : son en
` 0 ` 0
`B `B `B `B
9
# #
3 4 4 3
B Y

continuas
entonces son igualesen . B
9
DEMOSTRACIN.
Sea tal que y consideremos incrementos $ $ ! FB Y 2 5
9
tales que B 2/ B 5/ B 2/ 5/ Y
9 3 9 4 9 3 4
Figura 4.1
Definamos la funcin auxiliar:
J > 0B >/ 5/ 0B >/ 2 > 2
5 9 3 4 9 3
Por el teorema del valor medio, hay tal que )
J 2 J ! J 2
5 5
w
)
Pero
J B / 5/ B /
5
w
`0 `0
`B `B
9 3 4 9 3
) ) )
3 3
Sea ahora
132
K> B / >/
`0
`B
9 3 4
3
)
Luego: J K5 K!
5
w
)
y nuevamente por el teorema del valor medio :
K5 K! K 5

w
)
Pero
K B / /

w
` 0
`B `B
9 3 4
) ) )
#
4 3
Luego
J 2 J ! B / / 25

5 5 9 3 4
` 0
`B `B
#
4 3
) )
Por lo tanto por la continuidad de la derivada parcial segunda, existe el
siguiente lmite y vale:
lim
25!!
J 2J !
25 `B `B
` 0
9
5 5
#
4 3
B
De modo anlogo, sea
L > 0B 2/ >/ 0B >/ 5 > 5
2 9 3 4 9 4
Por el teorema del valor medio, hay tal que )
L 5 L ! L 5
2 2
w
2
)
Pero
H
2
w
`0 `0
`B `B
9 3 4 9 4
B 2/ / B / ) ) )
4 4
y poniendo
O> B >/ /
`0
`B
9 3 4
4
)
se tiene por el teorema del valor medio:
O2 O! L O 2

w w
2
) )
pero
133
O B / /

w
` 0
`B `B
9 3 4
) ) )
#
3 4
luego
L 5 L ! B / / 25

2 2 9 3 4
` 0
`B `B
#
4 3
) )
Por lo tanto por la continuidad de la derivada parcial segunda, existe el
siguiente lmite y vale:
lim
25!!
L 5L !
25 `B `B
` 0
9
2 2
#
4 3
B
Pero, directamente de las respectivas definiciones:
L 5 L ! J 2 J !
2 2 5 5
Luego, ambas derivadas parciales corresponden al lmite de la misma
funcin y, por la unicidad de los lmites, son iguales.

TEOREMA 8 (Teorema de Taylor para
8

Sea un campo escalar veces diferenciable , 0 Y 5 "

8
B C Y =/1B C " B C ! " Y

tales que - - -
Entonces tal que b =/1B C '
0B 0C BC B

3"
8
`0
`B
3 3
3
BC B C B
"
#x `B `B
3" 4"
8 8
` 0
3 3 4 4

#
3 4
BC B C B V
"
5x `B `B
3 " 3 "
8 8
` 0
3 3 3 3 5

" 5
5
3 3
" 5
" " 5 5
'
donde es el V
5
' resto de Lagrange
V C B C B
5 3 3 3 3
"
5"x `B `B
3 " 3 "
8 8
` 0
' '

" 5"
5"
3 3
" 5"
" " 5" 5"
134
DEMOSTRACIN
La demostracin de este teorema consiste en reducirlo al caso de una
dimensin. Para eso, definamos las funciones auxiliares:
2 ! " Y 1 ! "
8
definidas por:
2> " >B >C 1> 02>
(Ver la Figura 4.2)
Figura 4.2
Como es una funcin de variable real y valor reales, podemos aplicar el 1
Teorema de Taylor con resto de Lagrange:
1" 1! 1 !
w
1ww! 1 ! 1
5x 5"x 2!
5 5"
)
y ahora todo se reduce al clculo de las derivadas de la funcin : 1
1 > 02> 2> 2 >
w w w
3"
8
`0
`B
3

3
pero (no depende de ) 2 > " >B >C C B >
3
w w
3 3 3 3
luego:
1 ! B C B
w
3"
8
`0
`B
3 3

3
( )
que es precisamente el primer bloque de sumandos del polinomio de
Taylor.
135
1 > 2> 2 > 2>2 >2 >
ww w w w w
3" 4" 4"
8 8 8
`0 ` 0
`B `B `B
3 4 3

3 4 3
#
luego:
1 B C B C B
ww
4" 4"
8 8
` 0
`B `B
4 4 3 3
0 ( )( )

#
4 3
Se procede inductivamente y se observa que
1" 1! 0C 0B
Q.E.D
EJEMPLO
Consideremos la funcin
0B C / -9=C
B
y veamos como es su polinomio de Taylor de orden 2, alrededor del punto
! ! con su resto de Lagrange:
/ -9=C / =/8C
`0 `0
`B `C
B B
/ -9=C / =/8C / -9=C
` 0 ` 0 ` 0 ` 0
`B `B`C `C`B `C
B B B
# # # #
# #
luego:
0B C " B B C V
"
#x
# #
#
'
donde, llamando por simplicidad : ' + ,
V / -9= , B $/ =/8, B C $/ -9= , BC / =/8, C
#
"
$x
+ $ + # + # + $
'
4.6 PROBLEMAS
1. Calcule las derivadas parciales de segundo orden de las funciones:
0B C /
BC
#
0B C D D-9= B C
#
0B C D 691B C D
# # #
136
indicando su dominio
2. Sea
0B C
B B ! C !
!

$
en los dems puntos
Haga una grfica de esta funcin y calcule las derivadas parciales de
segundo orden en todos los puntos donde exista. Cules son esos puntos?
Dnde es diferenciable esta funcin?
3. Escriba la frmula de Taylor con resto en los siguientes casos,
especificando para qu puntos tiene validez: B C
0B C B $BC %C \ ! ! 8 #
# #
9
0B C B $BC %C \ # $ 8 #
# #
9
0B C C 691 B \ " ! 8 %
#
9
0B C -9= B-9= C \ ! ! 8 '
9
0B C -9=BC \ ! ! 8 '
9
4. Suponga que y son dos veces diferenciables. Obtenga una frmula 0 1
para:
` 10
`B `B
9
#
3 4
B
5.(*) Demuestre el Teorema de Schwartz:
Sea . Si y son diferenciables en , entonces 0 Y B
8
`0 `0
`B `B
9
3 4
(
` 0 ` 0
`B `B `B `B
9 9
# #
3 4 4 3
B B
(Indicacin: use un argumento similar al empleado en el Lema anterior)
6. Si tiene derivadas parciales de segundo orden, se 0 Y
8
define el de por: Laplaciano 0
?0B B

3"
8
` 0
`B
#
3
#
La funcin se dice en si 0 Y 0B ! aB Y armnica ?
Demuestre que las siguientes funciones son armnicas:
(norma euclideana) 0B B B !
"
llBll
8

0B C D #B C D
# # #
137
0B C E-9=+B F=/8+B/
+B
4.7 MXIMOS Y MNIMOS EN
8
Si queremos encontrar los puntos de un dominio en donde cierta
8
funcin tiene valores mximos o mnimos, debemos poder comparar
dichos valores, por lo tanto ellos deben ser nmeros reales. Es decir, la
teora de mximos y mnimos se refiere necesariamente a campos
escalares. Por otro lado, es claro que una tal teora es de un valor
extraordinariamente prctico: si un fenmeno depende de varias
variables, por ejemplo el volumen de produccin de un cierto artculo,
entonces resulta importante poder determinar las cantidades de los
respectivos insumos que maximizan dicha produccin. Del mismo modo,
encontrar las condiciones para minimizar los gastos en un proceso que
depende de varias variables puede ser muy importante.
Comencemos por precisar los conceptos:
DEFINICIN. Sea 0 Y B Y
8
9
es un de , si existe tal que B 0 Z
9 B
mximo local j
9
0B 0B aB Z Y
9
es un B
9
mximo global f , si ./
0B 0B aB Y
9
anlogamente, los conceptos de y mnimo local mnimo global
se definen invirtiendo los signos de desigualdad.
es un local o global si es un mximo o un mnimo. B
9
extremo
OBSERVACIONES.
1. Si es un extremo global, entonces es un extremo local. La recproca B
9
no es, evidentemente verdadera: un funcin puede tener un mximo en
una cierta zona pero ser mucho ms grande en otras zonas.
138
2. Si es continua y es compacto, entonces tiene 0 O O 0
8
mximo y mnimo en . En efecto, segn el Teorema 6, el conjunto de O
valores sera un compacto en , por lo tanto es cerrado y acotado 0O
(Teorema de Heine-Borel) . Por ser acotado, existen los nmero reales
=?:0O 3800O y y por ser cerrado, estos nmeros deben
pertenecer al conjunto . Eso significa que son respectivamente un 0O
mximo y un mnimo de en 0 O
3. Si es el dominio de y es un extremo local, entonces si Y 0 B Y

9
existe la derivada parcial , sta debe anularse. En efecto, la
`0
`B
9
3
B
funcin real tiene un extremo local en 0 0B / !

- - -
9 3
luego su derivada debe anularse all:
0 ! B !

w
`0
`B
9

3
4. En particular, si es diferenciable en y tiene un extremo all , 0 B
9
entonces la diferencial debe anularse en En efecto: B
9
H0B 2 B 2 !
9 9 3
3"
8
`0
`B

3
5. La implicacin recproca no es efectiva, es decir, hay funciones cuya
diferencial se anula en un punto (y por lo tanto todas las derivadas
parciales se anulan en ese punto) sin que exista ni un mximo ni un
mnimo en ese punto. El ejemplo clsico es la llamada silla de montar:
0B C B C
# #
sus derivadas parciales son:
#B #C
`0 `0
`B `C
por lo tanto son continuas en todas partes, luego es diferenciable en 0
todo y su diferencial se anula en . Pero claramente el punto
#
! !
! ! B ! no es extremo de esta funcin: sobre el plano la funcin es
0! C C ! !
#
y por lo tanto tiene un mnimo en , mientras que
sobre el plano la funcin es y tiene un mximo en C ! 0B ! B
#
! !. Ver Figura 4.3.
139
5 2.5 0 -2.5 -5
5
2.5
0
-2.5
-5
25
12.5
0
-12.5
-25
x
y
z
x
y
z
Figura 4.3
6. Segn el punto 3 de estas observaciones y tal como en el caso de
variable real, los mximos y mnimos locales que estn en el interior del
dominio de la funcin se pesquisan encontrando aquellos puntos donde la
diferencial se anula. Estos puntos se llaman usualmente y, puntos crticos
en nuestro caso, son las soluciones de un sistema de ecuaciones
algebraicas. Los puntos crticos sern entonces a extremos. los candidatos
Pero cmo saber si son mximos , mnimos o ninguno de los dos? .
Recordemos que en el caso de variable real tenamos el criterio de la
segunda derivada. Habr alguna generalizacin de este criterio a varias
variables?
DEFINICIN. Sea una matriz simtrica de El campo + 8 8
34
escalar : definido por J
8
JB + B B

3" 4"
8 8
34 3 4

se llama asociada a la matriz forma cuadrtica +
34
OBSERVACIONES
1. Si es una forma cuadrtica, entonces J J B JB - - -
#
En efecto, basta substituir en la definicin:
140
J B + B B + B B JB - - - - -

3" 4" 3" 4"
8 8 8 8
34 3 4 34 3 4
# #

# 8 #
+ ,
, -
Para si la matriz es entonces la forma cuadrtica

asociada es:
JB C +B #,BC -C
# #
DEFINICIN Una forma cuadrtica se llama: J
si JB ! aB ! positiva-definida
si 8/1+>3@+ JB ! aB ! -definida
si tales que b B B JB ! JB ! no-definida ,
" # " #
EJEMPLOS
1. Si la matriz es la matriz identidad, es decir: +
34




" ! !
! " !

! ! "
entonces su forma cuadrtica es positiva-definida:
JB B

3"
8
#
3

# JB B B 3 4 La forma cuadrtica : es claramente no-
3 4
definida:
J " " " J " " "
3. La forma cuadrtica bidimensional : es JB C B BC C
# #
negativa-definida, pues
JB C B C ! aB C ! !
C
# %
# # $
141
4. La forma cuadrtica : positiva- JB C B #BC C
# #
no es
definida ni negativa-definida ni tampoco es no-definida, pues
JB C B C
#
tiene un solo signo pero se anula sobre los puntos de la recta todos
C B
& El ejemplo anterior nos indica que la clasificacin anterior es un poco
ambigua, no es completa. En particular, ser no-definida la no es
negacin de ser definida puesto que hay formas cuadrticas, como la
anterior, que no pertenecen a ninguna de las tres categoras.
DEFINICIN Sea La forma 0 Y 0 B Y V
8 #
9
cuadrtica asociada a en 0 B
9
.B B B B B
9 9 3 4
3" 4"
8 8
` 0
`B `B

#
3 4
se llama el de en y la matriz se llama Hessiano matriz 0 B B
9 9
` 0
`B `B
#
3 4
Hessiana de en 0 B
9
Notemos que la hiptesis nos dice que las segundas derivadas 0 V
#
parciales son continuas, por lo tanto la matriz ( ) es simtrica.
` 0
`B `B
9
#
3 4
B
TEOREMA 9
Sea Entonces: 0 Y 0 B Y H0B !

V
8 #
9 9
Si es positiva-definida, es mnimo local B B B .
9 9
Si es negativa-definida, es mximo local B B B .
9 9
142
Si ( es no-definida, es un , es decir, no es ni B B B .
9 9
punto silla
mximo ni mnimo local
DEMOSTRACIN.
(a) Sea es positiva-definida, .B B B Y H0B !

9 9 9
Consideremos la esfera unitaria que es un W B llBll "
8
conjunto cerrado y acotado, por lo tanto compacto. La funcin
. B
9
8
es continua, luego hay un punto donde esta funcin toma su B W

mnimo:
. . B B 380 B W $7 !
9 9

luego:
.(B B #7 aB W
9
Por otro lado sea . Evaluando en Q =?: lB B l B W

3" 4"
8 8
3 4
/ " !! W
"
y considerando la compacidad de , se tiene:
" Q
Tomemos ahora un la continuidad de las segundas % !
7
Q
derivadas parciales nos aseguran la existencia de 0 tal que: $
| si
` 0 ` 0
`B `B `B `B
9 9
# #
3 4 3 4
B Bl llB B ll 3 4 " 8 % $
Sea ahora y B FB W
9
$ 0
l B B l B Bll l . 0 . 0 0 0 ( ( |
9 9 3 4
3" 4"
8 8
` 0 ` 0
`B `B `B `B

# #
3 4 3 4
l l Q 7 % 0 0 %

3" 4"
8 8
3 4
Luego:
. 0 . 0 $ 0 B B 7 7 aB FB a W
9 9
143
Sea por lo tanto: C C ! W
8
C
llCll
. . (B B C 7
C
llCll llCll
"
#
es decir:
. $ (B C 7llCll aC aB FB
# 8
9
Sea finalmente eventualmente ms pequeo tal que y $ $ FB Y
9
tomemos un el segmento por lo tanto, por D FB =/1B D Y
9 9
$
el teorema de Taylor, existe un tal que: B =/1B D
9
0D 0B B D B
9 9 3
3"
8
`0
`B 3
9

3
B D B D B
"
# `B `B
3" 4"
8 8
` 0
3 3
3 4
9 9

#
3 4

B D B D B
"
# `B `B
3" 4"
8 8
` 0
3 3
3 4
9 9

#
3 4
B D B 7llD B ll !
" "
# #
9 9
#
.
por lo tanto:
0D 0B aD FB
9 9
$
es decir, es un mnimo local de . B 0
9
(b) El razonamiento para la condicin de mximo es completamente
anloga a la anterior y se deja al lector.
(c) Sea ahora ( no-definida entonces existen tales . B B B B
9 " #
8
que y Pero, por la continuidad de B B ! B B ! . .
9 " 9 #
las derivadas parciales segundas, estas desigualdades valen tambin en
una vecindad del punto Sea ahora un cualquiera : existe Z B !
9
%
2 ! tal que los puntos :
D B 2B D B 2B Z FB
" 9 " # 9 # 9
%
144
Figura 4.4
Por el Teorema de Taylor existen y =/1B D =/1B D ) )
" 9 " # 9 #
tales que
0D 0B D B 2B 2 B !
" 9 " " 9 " " " "
" " "
# # #
#
. ) . ) . )
0D 0B D B 2B 2 B !
# 9 " # 9 " # " #
" " "
# # #
#
. ) . ) . )
es decir : y 0D 0B 0D 0B
" 9 # 9
Q.E.D
COROLARIO. Si y llamamos 8 #
+ ,
, -



` 0 ` 0
`B `B`C
` 0 ` 0
`C`B `C
# #
#
# #
#
Entonces :
si det y entonces ( )es mnimo local ! + ! B C
+ ,
, -
9 9 ,

si det y entonces ( ) es mximo ! + ! B C
+ ,
, -
9 9 ,
local
si det entonces ( ) no es ni mximo ni ! B C
+ ,
, -
9 9 ,
mnimo
145
si det , entonces puede ocurrir cualquier cosa. !
+ ,
, -

En efecto, para el caso es posible determinar con cierta facilidad 8 #
si la forma cuadrtica asociada es positiva -definida , negativa-definida o
no-definida. Si entonces: + !
.((B C B C +B #,BC -C +B ,C +- , C
9 9
# # # # # "
+
Luego, si , que no es otra cosa que det , es positivo, el +- ,
+ ,
, -
#

signo de la forma cuadrtica depender del signo de , y la conclusin se +
sigue directamente de nuestro teorema.
Si acaso det la forma cuadrtica resulta ser no-

+ ,
, -
+- , !
#
definida. Para esto debemos distinguir tres casos:
Sea Tomemos el punto + ! B C " !
." ! B C +
y tomemos el punto : B C
,+
+ ,
# #
.B C B C + - +- ,
9 9
, + +
+ , + , + , + ,
#,+,
#
# #
# # # # # # # #
que tiene el signo opuesto al de +
El caso es totalmente anlogo al anterior. - !
Sea Luego det + - ! ,
+ ,
, -

#
Aqu basta tomar los puntos y " " " "
.B C " " #,
9 9
.B C " " #,
9 9
146
Si acaso, finalmente det , entonces la forma no es definida

+ ,
, -
!
ni no-definida y el punto puede ser o no un extremo como veremos en los
ejemplos siguientes. En efecto:
Si entonces y la forma es que tiene un solo + ! , ! -C
#
signo pero se anula sobre toda la recta C !
Si entonces y la forma es que tiene un solo - ! , ! +B
#
signo pero se anula sobre la recta . B !
Si y entonces tambin y la condicin + ! - ! , !
det nos da una forma cuadrtica:

+ ,
, -
+- , !
#
.B C B C -C B +B C
9 9
, ,
- +
# #
por lo tanto la forma no es no-definida (tiene un solo signo) pero tampoco
es definida, pues se anula sobre las rectas: y C B C B
, +
- ,
EJEMPLOS.
1. La funcin tiene infinitos puntos crticos que son de 0B C B "
#
la forma Su matriz Hessiana en (0, ) es por lo tanto su !
# !
! !
' '

forma cuadrtica es 0, , que no es definida ni no- . ' B C #B
#
definida. Pero es claro que la funcin posee un mnimo en cada punto 0
! ' Ver Figura 4.5
5
2.5
0
-2.5
-5
5
2.5
0
-2.5
-5
25
20
15
10
5
x y
z
x y
z

Figura 4.5
# 0B C B C ! ! La funcin tiene solo al punto como punto
# $
crtico y su matriz Hessiana en es exactamente la misma que en el ! !
147
ejemplo anterior: por lo tanto su forma cuadrtica es

# !
! !
. B C #B 0,0 , que no es definida ni no-definida . Pero en este caso
#
es claro que es un punto silla. ! !
5 2.5 0 -2.5 -5
5 2.5 0 -2.5 -5
150
100
50
0
-50
-100
x y
z
x y
z

Figura 4.6
3. Sea y busquemos sus mximos y 0B C B C BC B C
# #
mnimos en el dominio compacto O B ! C ! B C $
Los puntos crticos son las soluciones del sistema:
`0
`B
#B C " !
`0
`C
#C B " !
que tiene un nica solucin : ( " "
La forma cuadrtica tiene por matriz: cuyo determinante

# "
" #
es 3 por lo tanto la forma es positiva-definida y el punto es un !
mnimo local. El valor de la funcin en este punto es:
0 " " " O Como la funcin es continua sobre el compacto
tiene que haber un mximo global. Adems tiene que haber un mnimo
global: es el mismo punto que es mnimo local? " "
148
Figura 4.7
Para responder a estas preguntas debemos analizar la funcin sobre el
borde del dominio:
que es una funcin B ! $ C ! 0! C C C
#
de una variable. luego es un punto C C #C " ! C
# w "
#
crtico de la funcin a la recta restringida B ! C C # !
# ww
Por lo tanto este punto es un mnimo a la recta El valor de relativo B !
la funcin en este punto es Luego, no es menor que 0!
" "
# %
el valor de la funcin en " "
. La funcin es simtrica por lo que habr C ! $ B !
un mnimo relativo a la recta en el punto , con valor C ! !
"
#
0 !
" "
# %
C B $ $ B ! 0B B $ $B *B '
#
$B *B ' 'B * ! B luego es un punto crtico y
# w $
#
$B *B ' ' ! luego tambin este punto es un mnimo
# ww
relativo a la recta . El valor de la funcin en este punto es: C B $
0
$ $ $
# # %
que tampoco es menor que el valor de la funcin en
" "
Hemos examinado de las tres rectas que conforman el el interior
borde del dominio : ahora debemos examinar los bordes de los bordes ,
que no son otra cosa que los vrtices del tringulo que forma el dominio:
0! ! ! 0! $ ' 0 $ ! '
de donde se desprende que los puntos son los ! $ y $ !
mximos globales y es el mnimo global de la funcin en el " "
dominio O
149
% 0B C -9= B-9= C Consideremos la funcin sobre todo el plano
#
y clasifiquemos sus puntos crticos:
`0
`B
=/8B-9= C !
`0
`C
-9= B=/8C !
Caso (A) : luego y por lo tanto Las -9= C ! =/8C ! -9= B !
soluciones son : B 5 C 5 5 5
1 1
# #
w w
1 1
Caso (B) : luego y por lo tanto Las =/8B ! -9= B ! =/8C !
soluciones son : B 5 C 5 5 5 1 1
w w
La forma cuadrtica se calcula:
` 0
`B
#
#
-9= B-9= C
!

caso (A)
1 , caso (B)
` 0
`
#
#
y
-9= B-9= C
!

caso (A)
1 , caso (B)
` 0
`B`
#
y
=/8B=/8C
"
!

caso (A)
, caso (B)
Luego :
Caso (A) : todos estos puntos son sillas ./> "
! "
" !

Caso (B) : la forma es definida y el punto ser un ./> "
" !
! "

mximo local, si los cosenos tienen el mismo signo (ambos mltiplos
pares de o ambos mltiplos impares de ) y ser un mnimo local si los 1 1
cosenos tienen distinto signo (uno mltiplo par y el otro mltiplo impar de
1). Ver Figura 4.8
150
Figura 4.8
5. Sea Es fcil ver que el punto 0B C C B C #B ! !
# #
es el nico punto crtico de esta funcin. La matriz Hessiana en el punto
! !
! !
! #
es : que tiene determinante nulo. De modo que el

Teorema no nos d una respuesta. Pero esta funcin tiene una
caracterstica especial: restringida sobre recta que pasa por el cada
origen, la funcin tiene un mnimo en ese punto. En efecto:

sobre la recta la funcin es C 7B
0B 7B 7 B #B $7B
# # % $
y sus puntos crticos se obtienen:
( ) 7 B #B $7B #7 B )B *7B !
# # % $ w # $ #
luego es un punto crtico y el criterio de la segunda derivada nos B !
indica:
7 B #B $7B l #7 !
# # % $ ww #
B!

que es efectivamente un mnimo. B !

151
sobre la recta la funcin es B !
0! C C
#
que tiene claramente un mnimo en C !
Este hecho induce a pensar que el punto es un mnimo de la funcin ! !
de dos variables. Sin embargo se d la circunstancia totalmente contra-
intuitiva de que la funcin tiene en un punto-silla. Para ver esto, ! !
podemos graficar sobre el plano las zonas donde la funcin es positiva y
aquellas donde es negativa. Ver Figura 4.9
2 1.5 1 0.5 0 -0.5 -1 -1.5 -2
5
4.5
4
3.5
3
2.5
2
1.5
1
0.5
0
x
y
x
y

Figura 4.9
La funcin es estrictamente negativa en la zona comprendida las entre
parbolas y y es estrictamente positiva fuera de ellas. Si C B C #B
# #
se toma una vecindad arbitrariamente pequea alrededor del punto ! !
habr all puntos donde la funcin es negativa y puntos donde es positiva.
Por consiguiente, el punto es un punto-silla de ! ! 0
4.8. PROBLEMAS
1. Clasifique los puntos crticos de las siguientes funciones:
a) 0B C B $B C %
$ # #
b) 0B C /
BC
c) 0B C D B #BD $C D
$ # #
152
d) 0B C =/8B =/8C
e) (*) 0B C D A BC CD DA B C D A
# # # #
2. Encuentre los valores extremos de las siguientes funciones, restringidas
al cuadrado cerrado : G B C ! B " ! C "
(a) 0B C B C "
# #
b) 0B C 691" C 691" B
(c) 0B C $B #BC C
$ $
3. Estudie la funcin . Demuestre que esta 0B C $B %B C C
% # #
funcin tiene un mnimo en si se restringe sobre recta que ! ! cada
pasa por el origen. Pero el punto resulta ser un punto-silla de la ! !
funcin de dos variables.
4. Encuentre la distancia ms corta entre los puntos de las rectas en el
espacio afn
$

P ! " " = " ! #

"
P " " ! >! " "
#
Encuentre adems las coordenadas de los puntos que estn a esa distancia
mnima y demuestre que la recta que los une es ortogonal a las dos rectas
dadas.
5. Encuentre la distancia ms corta entre el punto y + " ! "
$
los puntos del plano de ecuacin
$B C #D # !
Encuentre adems el punto del plano que est a esa distancia mnima y
demuestre que no es otro que el pi de la perpendicular bajada desde el
punto . Finalmente demuestre que la recta que une esos puntos es +
paralela a la recta : P # % " >$ " #