Topologia

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.
1
1 Nociones de Topologa en R
:
.
R
n
= A = (r
1
. r
2
. .... r
n
) : r
i
R con las operaciones + (suma) y (pro-
ducto por escalar) es un espacio vectorial sobre R.
1. La norma euclidiana de un vector A R
n
se dene por
|A| = |(r
1
. .... r
n
)| =
_
r
2
1
+... +r
2
n
Recuerde las propiedades de una norma en un espacio vectorial.
Un resultado importante son las desigualdades:
[r
k
[ _ |A| para cada componente r
k
del vector A
2. A partir de la norma se dene la nocin de distancia entre dos puntos
A = (r
1
. .... r
n
) e 1 = (
1
. ....
n
) de R
n
por
d(A. 1 ) = |A 1 | =
_
(r
1
1
)
2
+... + (r
n
n
)
2
3. En R
n
se tiene tambin un producto interior denido por
A. 1 = r
1
1
+... +r
n
n
=
n
k=1
r
k
k
y para el cual se tiene: |A| =
_
A. A o bien A. A = |A|
2
.
Tambin es vlida la desigualdad de Schwarz: [A. 1 [ _ |A| |1 | .
En R
2
y R
3
: A. 1 = |A| |1 | cos o , donde o es el ngulo (_ 180
)
formado por los dos vectores, lo que implica que
A. 1 = 0 = A l 1
1.1 Bola abierta, punto interior y conjunto abierto.
Vecindad abierta de un punto en R
n
.-
Sea A
0
un punto de R
n
.Cules son todos los puntos vecinos de l? (los
que estn ms prximos, los que lo rodean)
Denicin 1 Se llama bola abierta de centro A
0
y radio : 0 al conjunto
1(A
0
. :) = A R
n
: d(A. A
0
) < :
= A R
n
: |A A
0
| < :
Hctor Palma Valenzuela. Dpto. de Matemtica UdeC. 2
Cuanto ms pequeo es el : 0, el conjunto contiene a los puntos ms
prximos de A
0
.
En R
2
y R
3
este conjunto es, respectivamente, un crculo y una esfera
(abierta) de centro A
0
y radio :.
Denicin 2 Sean R
n
y A
0
. Se dice que A
0
es un punto interior
de cuando: : 0 tal que 1(A
0
. :) .
Por ejemplo, para el conjunto = (r. ) : r _ 0. _ 0 el punto (1. 2)
es un punto interior y el punto (0. 2) no es un punto interior. Para el conjunto
C = (r. ) : r 0. 0, todos sus puntos son interiores.
Denicin 3 Un conjunto es abierto cuando todos sus puntos son inte-
riores.
Denicin 4 Con R
n
.

= A : A es punto interior de se llama
el interior de .
Es claro que:

,

es un conjunto abierto y

es el mayor conjunto
abierto contenido en .
Una bola abierta es un conjunto abierto.
1.2 Punto de acumulacin.
Denicin 5 Sean R
n
y A
0
R
n
(es posible que A
0
, ). Se dice que
A
0
es un punto de acumulacin de cuando
\: 0 : [1(A
0
. :) A
0
] ,= c
Por ejemplo, para el conjunto C = (r. ) : r 0. 0, (el cual es
abierto) los puntos (1. 2) y (0. 2) son de acumulacin. Uno pertenece al
conjunto y el otro no.
Un ejercicio interesante es mostrar que, siendo A
0
un punto de acumu-
lacin de . es posible encontrar una sucesin A
1
. A
2
. .... A
n
. ... de puntos
(distintos) de tal que d(A
n
. A
0
) <
1
n
. Es decir, los puntos A
n
se acercan
al punto A
0
. o equivalentemente, la sucesin de puntos de converge al
punto A
0
.
Se dene el conjunto
0
= A R
n
: A es punto de acumulacin de .
1.3 Conjunto cerrado, clausura, punto frontera.
Denicin 6 Un conjunto 1 R
n
es cerrado cuando 1
C
es abierto.
Por ejemplo,

1(A
0
. :) = A R
n
: |A A
0
| _ :, llamado bola ce-
rrada de centro A
0
y radio : (positivo), es un conjunto cerrado.
Teorema 7 1 es cerrado= 1 contiene todos sus puntos de acumulacin.
Denicin 8 Se llama clausura de 1 al conjunto

1 = 1 ' 1
0
(1 junto con
todos sus puntos de acumulacin)
Es obvio que: 1

1 y, segn el Teorema, 1 es cerrado=

1 = 1.
Adems,

1 es el menor cerrado que contiene a 1.
Un punto A

1 se llama punto de clausura o punto de adherencia de 1.
Denicin 9 Sean R
n
y A
0
R
n
. Se dice que A
0
es un punto frontera
de cuando:
\: 0 : 1(A
0
. :) ,= c . 1(A
0
. :)
C
,= c
A
0
es punto frontera de cuando pertenece a la clausura de y a la
clausura de su complemento.
1.4 Conjunto compacto.
n
es acotado cuando : 0 tal que
1 1(o. :).
n
es compacto cuando es cerrado y es
acotado.
Por ejemplo, una bola cerrada es un conjunto compacto; mientras que
el conjunto = (r. ) : r _ 0. _ 0 no es compacto, porque (aunque es
cerrado) no es acotado.
2 Lmite.
Se estudiarn funciones de varias variables reales y con valores en el espacio
vectorial R
m
. Es decir, una funcin
1 : R
n
R
m
. A 1(A)
con dominio un conjunto de R
n
.
Como A = (r
1
. .... r
n
). 1(A) = (,
1
(A). .... ,
m
(A)),
con ,
k
: R. A ,(A), la funcin 1 est determinada por las :
funciones componentes ,
1
. .... ,
m
.
La funcin 1 : R
2
R
2
. 1(r. ) = (+r
2
cos r. 5r+c
xy
), es una funcin
de 2 variables con valores en R
2
. Sus componentes son ,
1
(r. ) = +r
2
cos r
y ,
2
(r. ) = 5r +c
xy
.
2.1 Denicin de lmite.
Al igual que en el clculo de una variable, interesa estudiar el comportamiento
de 1 cerca de un punto A
0
, el cual puede pertenecer al conjunto (dominio
de la funcin) o no. En todo caso debe ser un punto de acumulacin de ,
para poder acercarse a A
0
a travs de puntos del conjunto (donde
es posible evaluar la funcin).
Denicin 12 Sean 1 : R
n
R
m
, A
0
un punto de acumulacin de
y 1 R
m
. Se escribe lim
X!X
0
1(A) = 1 cuando se cumple la condicin
dado 0. o 0 tal que:
\A : |A A
0
| < o. A . A ,= A
0
= |1(A) 1| < (1)
Observaciones.-
1. La condicin (1) puede darse en forma equivalente por:
dado 0. o 0 tal que:
\A : A . A ,= A
0
. A 1(A
0
. o) = 1(A) 1(1. )
Esto signica que si A es cercano de A
0
entonces su imagen 1(A) es
prxima de 1.
2. Puede existir un 1 que satisfaga la condicin (1), o puede no existir.
3. Si el lmite existe, es nico.
4. La notacin lim
X!X
0
X2A
1(A) = 1 enfatiza el hecho que la evaluacin de 1
se hace sobre puntos prximos de A
0
y que pertenecen al conjunto .
5. Considerando que 1(A) = (,
1
(A). .... ,
m
(A)). 1 = (1
1
. .... 1
m
) y
[ ,
k
(A) 1
k
[ _ |1(A) 1| . \/
se obtiene
lim
X!X
0
1(A) = 1 = lim
X!X
0
,
k
(A) = 1
k
. \/
Esto justica que los teoremas posteriores sobre lmites se den slo para
funciones a valores reales: , : R
2.2 Teoremas sobre lmites.
Es directo de la denicin que al estudiar el lmite: lim
X!X
0
X2A
,(A) = 1, podemos
considerar una parte 1 , con la condicin que A
0
continue siendo un
punto de acumulacin de 1. Entonces se tiene:
lim
X!X
0
X2A
,(A) = 1 = lim
X!X
0
X2B
,(A) = 1
Es obvio que si la implicacin en la condicin (1) vale para puntos del con-
junto , debe continuar valiendo para puntos de una parte 1 de dicho con-
junto. Como conclusin se tiene el siguiente resultado.
Teorema 13 Si 1
1
y 1
2
son partes de , que tienen a A
0
como punto
de acumulacin, lim
X!X
0
X2B
1
,(A) = 1. lim
X!X
0
X2B
2
,(A) = ` con 1 ,= `, entonces
lim
X!X
0
X2A
,(A) = 1 no existe
Ejemplo 14 Estudio del lmite
lim
(x;y)!(0;0)
r
r
2
+
2
lim
(x;y)!(0;0)
r
3
r
2
Es claro que cuando lim

X!X
0
X2A
,(A) = 1 exista, cualquier parte 1 de va
a conducir al mismo resultado (1) y por supuesto que el Teorema anterior
no va a ser aplicable. En este caso, una parte 1 convenientemente elejida
nos proporciona el nico valor posible 1 para el lmite y entonces podemos
aplicar el siguiente Teorema.
Teorema 16 Si es vlido el acotamiento
[ ,(A) 1[ _ /(A). para A 1(A
0
. :)
(para A cerca de A
0
) y lim
X!X
0
/(A) = 0, entonces lim
X!X
0
,(A) = 1
lim
(x;y)!(0;0)
r
2
r
2
+
2
Al igual que en el clculo de una variable se tiene los teoremas sobre
lgebra de lmites:
Teorema 18 Si lim
X!X
0
,(A) = 1 y lim
X!X
0
q(A) = ` entonces:
a) lim
X!X
0
[,(A) +q(A)] = 1 +`.
b) lim
X!X
0
[,(A) q(A)] = 1 `
c) lim
X!X
0
[c ,(A)] = c 1, para una constante c
d) lim
X!X
0
_
,(A)
q(A)
_
=
1
`
. cuando ` ,= 0
Aplicacin.- Al tomar las funciones proyecciones:
j:
1
: R
2
R. j:
1
(r. ) = r
j:
2
: R
2
R. j:
2
(r. ) =
y aplicar la denicin de lmite se tiene: lim
(x;y)!(x
0
;y
0
)
[j:
1
(r. )] = r
0
y
lim
(x;y)!(x
0
;y
0
)
[j:
2
(r. )] =
0
.
Ahora, usando el Teorema, resulta el valor del lmite para una funcin
polinomial ,(r. ) en dos variables:
lim
(x;y)!(x
0
;y
0
)
,(r. ) = ,(r
0
.
0
) (2)
Por ejemplo:
lim
(x;y)!(1;2)
[5r
3
2r
2
+ 3] = 5 (1)
3
2 2 (1) 2
2
+ 3 = 1
lim
(x;y)!(1;2)
[r
4
+ 2r] = (1)
4
+ 2 2 (1) (2) = 7
Tambin este procedimiento es vlido para funciones que son cuociente
de polinomios, como por ejemplo
lim
(x;y)!(1;2)
_
5r
3
2r
2
+ 3
r
4
+ 2r
_
=
1
7
, al aplicar la parte d) del Teorema.
Note que este razonamiento es aplicable a funciones de tres o ms va-
riables.
Otro resultado es el Teorema de sustitucin para lmites:
Teorema 19 Sean , : R
n
R , y / : 1 R R. Si lim
X!X
0
,(A) = 1
y lim
t!L
/(t) = `, entonces
lim
X!X
0
/(,(A)) = lim
t!L
/(t) = `
Por ejemplo, lim
(x;y)!(0;0)
sin(r
2
+
2
)
r
2
+
2
= lim
t!0
sin t
t
= 1
3 Continuidad.
La nocin de funcin continua es la misma que en el clculo de una variable.
Denicin 20 Sean 1 : R
n
R
m
y A
0
. Se dice que 1 es una
funcin continua en el punto A
0
cuando lim
X!X
0
1(A) = 1(A
0
).
En la denicin se pide que:
i) 1 est denida en A
0
.
ii) lim
X!X
0
1(A) exista y
iii) el lmite anterior coincida con el valor que toma 1 en el punto A
0
.
Observe que la condicin (2) en la discusin anterior para funciones poli-
nomiales establece simplemente que stas son funciones continuas en todo su
dominio (R
n
)
Ejemplo 21 Estudie la continuidad de la funcin ,, en cada punto de su
dominio
,(r. ) =
_
r
r
2
+
2
si (r. ) ,= (0. 0)
0 si (r. ) = (0. 0)
dominio
,(r. ) =
_
_
_
r
3
3
r
si r ,=
0 si r =
dominio
,(r. ) =
_
_
_
r
3
+
3
r
si r ,=
0 si r =
4 Derivadas parciales.
Tomemos la base cannica de R
n
: E =c
1
. c
2
. .... c
n
, donde
c
1
= (1. 0. 0. .... 0). c
2
= (0. 1. 0. .... 0). .... c
n
= (0. 0. 0. .... 1).
Denicin 24 Sean , : R
n
R y A
0
un punto interior de . Se
denen las derivadas parciales de , en el punto A
0
mediante los lmites:
J,
Jr
k
(A
0
) = lim
h!0
_
,(A
0
+/ c
k
) ,(A
0
)
/
_
(3)
cuando estos existen.
Tenemos derivada parcial con respecto a cada variable r
k
de la cual de-
pende la funcin (/ va de 1 a :).
Es fcil ver que si se toma la funcin ,(t) = ,(A
0
+t c
k
). entonces
,
0
(0) = lim
h!0
_
,(/) ,(0)
/
_
=
J,
Jr
k
(A
0
)
O sea, una derivada parcial es una derivada (ordinaria) del clculo de una
variable. Lo que permite trabajar, en muchos casos, con todas las reglas de
derivacin conocidas del curso anterior.
Para una funcin de dos variables: r. , la denicin queda:
J,
Jr
(r
0;
0
) = lim
h!0
_
,(r
0
+/.
0
) ,(r
0
.
0
)
/
_
J,
J
(r
0
.
0
) = lim
h!0
_
,(r
0
.
0
+/) ,(r
0
.
0
)
/
_
Ejemplo 25 Calcule las derivadas parciales, en todo punto donde existan,
de la funcin
,(r. ) =
_
r
r
2
+
2
si (r. ) ,= (0. 0)
0 si (r. ) = (0. 0)
Volviendo a la denicin (general) de derivada parcial podemos notar que
ella se da en trminos de los vectores de la base cannica. Cada vector c
k
determina geomtricamente una direccin en R
n
. precisamente la direccin
del eje coordenado correspondiente. As, la derivada parcial
J,
Jr
k
(A
0
) es una
derivada en la direccin del eje r
k
y mide la tasa de cambio de la funcin en
dicha direccin.
Note adems que, de acuerdo al ejemplo anterior, una funcin puede tener
todas sus derivadas parciales en un punto sin que sea continua en dicho punto.
4.1 Derivada direccional.
En la denicin de derivada parcial (3) podemos cambiar el vector c
k
que
da la direccin, por otro vector unitario que determine otra direccin en el
espacio R
n
.
n
R , A
0
un punto interior de y un
vector unitario. Se dene la derivada direccional de , en el punto A
0
en la
direccin dada por el vector por:
J,
J
(A
0
) = lim
h!0
_
,(A
0
+/ ) ,(A
0
)
/
_
Esta tambin corresponde a una tasa de cambio de , en A
0
en la direccin
del vector .
El siguiente ejemplo muestra que una funcin puede tener derivada direc-
cional en un punto, en todas las direcciones, sin que ella sea continua en ese
punto.
Ejemplo 27 Calcule las derivadas direccionales en (0. 0), en todas las di-
recciones, de la funcin
,(r. ) =
_
_
_
2r
2
r
2
+
4
si (r. ) ,= (0. 0)
0 si (r. ) = (0. 0)
Muestre tambin que la funcin no es continua en el origen.
5 La Diferencial.-
Denicin 28 Sea 1 : R
n
R
m
. A 1(A), una funcin de :
variables y a valores vectoriales, denida en un conjunto abierto y sea
A
0
. Se dice que 1 es diferenciable en A
0
cuando existe una aplicacin
lineal
1 : R
n
R
m
. H 1(H) tal que:
lim
H!
1(A
0
+H) 1(A
0
) 1(H)
|H|
= (vector nulo) (4)
Si en la condicin 4 se reemplaza H = A A
0
se obtiene:
lim
X!X
0
1(A) 1(A
0
) 1(A A
0
)
|A A
0
|
= (5)
Mirando esta ltima condicin podemos tomar la aplicacin
G(A) = (1(A
0
) 1(A
0
)) +1(A) (6)
que es la suma de un vector constante ms una aplicacin lineal (se llama
aplicacin afn), y escribir
lim
X!X
0
1(A) G(A)
|A A
0
|
= (7)
La condicin 7 se expresa diciendo que la funcin denida en 6 es una
buena aproximacin de la funcin 1 en una vecindad del punto A
0
. El
lmite 7 puede entenderse en el sentido que la diferencia 1(A) G(A) tiende
a cero, ms rapidamente que |A A
0
|, cuando A A
0
.
Por esto, cuando , es diferenciable en el punto A
0
. se tiene la aproxi-
macin
1(A) - G(A) = 1(A
0
) +1(A A
0
)
vlida para A prximo de A
0
.
La aplicacin lineal 1 de 4 se llama La Diferencial de F en el punto X
0
y se denota 11(A
0
) = 1.
Observaciones.-
1. Se puede probar que existe a lo ms una aplicacin lineal satisfaciendo
la condicin (4).
2. Cuando no existe una 1 lineal que cumpla (4), se dice que 1 no es
diferenciable en el punto A
0
.
3. En el caso particular que 1 sea una aplicacin lineal, es inmediato
vericar que 1 = 1 verica la condicin 4 de la denicin. O sea,
11(A
0
) = 1, en cualquier punto A
0
.
4. Tambin, cuando 1 es una aplicacin afn, es decir 1(A) = 1 +1(A)
(un vector constante ms una aplicacin lineal) se tiene que 11(A
0
) =
1, en cualquier punto A
0
.
Tomemos una 1 diferenciable en A
0
y considere el j-simo vector ^ c
j
de
la base cannica de R
n
. Podemos restringir el lmite de la condicin (4) al
camino determinado por el eje r
j
(/ / ^ c
j
) y obtener
lim
h!0
1(A
0
+/ ^ c
j
) 1(A
0
) 1(/ ^ c
j
)
|/ ^ c
j
|
=
lo que lleva fcilmente a:
1(^ c
j
) = lim
h!0
1(A
0
+/ ^ c
j
) 1(A
0
)
/
Ahora si consideramos que 1 = (,
1
. ,
2
. .... ,
m
) est determinada por sus
funciones componentes, lo mismo que 1 = (1
1
. 1
2
. .... 1
m
); la frmula ante-
rior da
1
i
(^ c
j
) = lim
h!0
,
i
(A
0
+/ ^ c
j
) ,
i
(A
0
)
/
=
J,
i
Jr
j
(A
0
)
Esto muestra que, con respecto a las bases cannicas en el dominio y
codominio, la matriz de 1 est dada por:
J1(A
0
) =
_
_
_
_
_
_
_
_
_
J,
1
Jr
1
(A
0
)
J,
1
Jr
2
(A
0
) ... ...
J,
1
Jr
n
(A
0
)
J,
2
Jr
1
(A
0
)
J,
2
Jr
2
(A
0
) ... ...
J,
2
Jr
n
(A
0
)
... ... ... ... ...
J,
m
Jr
1
(A
0
)
J,
m
Jr
2
(A
0
) ... ...
J,
m
Jr
n
(A
0
)
_
_
_
_
_
_
_
_
_
llamada matriz jacobiana de f en el punto X
0
.
Caso particular.- n=2 y m=1.
Para , : R
2
R. (r. ) ,(r. ). diferenciable en (r
0
.
0
) se tiene:
J,(r
0
.
0
) =
_
J,
Jr
(r
0
.
0
)
J,
J
(r
0
.
0
)
_
1,(r
0
.
0
)(/. /) =
J,
Jr
(r
0
.
0
) / +
J,
J
(r
0
.
0
) /
La buena aproximacin de , en una vecindad de (r
0
.
0
) es
q(r. ) = ,(r
0
.
0
) +
J,
Jr
(r
0
.
0
) (r r
0
) +
J,
J
(r
0
.
0
) (
0
)
cuyo grco . = q(r. ) corresponde a un plano que pasa por el punto
(r
0
.
0
. ,(r
0
.
0
)). Precisamente la condicin (4) que dene diferenciabilidad
de , en (r
0
.
0
) hace que este plano sea tangente a la supercie grco de ,
en el punto (r
0
.
0
. ,(r
0
.
0
)).
Ejemplo 29 Estudie la diferenciabilidad en (0. 0) de las funciones
,(r. ) =
_
_
_
r
2
r
2
+
2
si (r. ) ,= (0. 0)
0 si (r. ) = (0. 0)
q(r. ) =
_
_
_
r
2
2
r
2
+
2
si (r. ) ,= (0. 0)
0 si (r. ) = (0. 0)
Cuando corresponda, encuentre el plano tangente a la grca de la funcin
en el origen.
5.1 Teoremas sobre diferenciabilidad.
La relacin entre diferenciabilidad y continuidad est determinada en el si-
guiente teorema.
Teorema 30 1 diferenciable en A
0
= 1 continua en A
0
.
Dem.- Se sigue del hecho que toda aplicacin lineal 1 es una funcin con-
tinua, es decir lim
X!X
0
1(A) = 1(A
0
), y adems
1(A) 1(A
0
) = 1(A) 1(A
0
) 1(A A
0
) +1(A A
0
).
Luego, |1(A) 1(A
0
)| _ |1(A) 1(A
0
) 1(A A
0
)|+|1(A) 1(A
0
)|
Como (5) implica que lim
X!X
0
|1(A) 1(A
0
) 1(A A
0
)| = 0. se concluye
que
lim
X!X
0
1(A) = 1(A
0
)
En forma prctica el Teorema se usa aplicando su contrarecproco:
1 no continua en A
0
= 1 no diferenciable en A
0
.
Denicin 31 Una funcin 1 = (,
1
. ,
2
. .... ,
m
) denida en el abierto
R
n
y con valores en R
m
es de clase C
1
en el conjunto cuando todas las
derivadas parciales
J,
i
Jr
j
: R son funciones continuas.
La importancia de esta condicin est en el siguiente resultado (cuya
demostracin la consideramos fuera del alcance de este curso):
Teorema 32 Una funcin 1 de clase C
1
en el abierto es diferenciable en
cada punto de este conjunto.
El teorema anterior muestra que la funcin
,(r. ) =
_
r
r
2
+
2
si (r. ) ,= (0. 0)
0 si (r. ) = (0. 0)
es diferenciable en todo punto (r. ) ,= (0. 0) (el conjunto = R
2
(0. 0)
es abierto). Adems , no es diferenciable en (0. 0), porque no es continua.
Cul es la ecuacin del plano tangente al grco de , en el punto
(2. 3.
6
13
)? ( ,(2. 3) =
6
13
).
Determnela a partir de
. = ,(2. 3) +
J,
Jr
(2. 3) (r 2) +
J,
J
(2. 3)( 3)
Se calcula
@
@x
_
xy
x
2
+y
2
_
=
x
2
y
2
(x
2
+y
2
)
2
, evaluado en (2. 3): 3
49
13
2
=
15
169
@
@y
_
xy
x
2
+y
2
_
= r
x
2
y
2
(x
2
+y
2
)
2
, evaluado en (2. 3): 2
49
13
2
=
10
169
La ecuacin es: . =
6
13
+
15
169
(r 2)
10
169
( 3).
La relacin entre diferenciabilidad y derivadas direccionales est dada
por:
n
R diferenciable en el punto A
0
y un
vector unitario. Se tiene entonces
J,
J
(A
0
) = 1,(A
0
)()
Dem.- De la denicin de diferenciabilidad en A
0
:
lim
H!
,(A
0
+H) ,(A
0
) 1,(A
0
)(H)
|H|
= , basta restringir el lmite al
camino determinado por / / para obtener
1,(A
0
)() = lim
h!0
,(A
0
+/) ,(A
0
)
/
=
J,
J
(A
0
)
Observacin.- Al denir el vector
\,(A
0
) =
_
J,
Jr
1
(A
0
).
J,
Jr
2
(A
0
). ....
J,
Jr
n
(A
0
)
_
llamado gradiente de f en A
0
, la igualdad
1,(A
0
)(H) =
J,
Jr
1
(A
0
)/
1
+
J,
Jr
2
(A
0
)/
2
+... +
J,
Jr
n
(A
0
)/
n
puede escribirse
1,(A
0
)(H) = \,(A
0
) H
donde representa el producto interior de los dos vectores. La frmula del
teorema anterior ahora se escribe
J,
J
(A
0
) = 1,(A
0
)() = \,(A
0
)
y luego, utilizando la desigualdad de Scharwz,
J,
J
(A
0
)
= [\,(A
0
) [
_ |\,(A
0
)| ||
= |\,(A
0
)|
O sea, |\,(A
0
)| es una cota superior para el valor absoluto de cualquier
derivada direccional en A
0
.
Por otra parte, al considerar el vector unitario n =
\,(A
0
)
|\,(A
0
)|
(supuesto
que el vector gradiente no es nulo) se obtiene
J,
Jn
(A
0
) = \,(A
0
)
\,(A
0
)
|\,(A
0
)|
= |\,(A
0
)|
lo que indica que la direccin del vector n determina la mxima derivada
direccional de , en A
0
.
Por lo tanto \,(A
0
) proporciona la direccin de mayor crecimiento
para la funcin ,. La direccin contraria \,(A
0
) corresponder a la de
mayor disminucin de la funcin. Esto explica que el ujo de calor se pro-
duzca en la direccin de \1(A), donde 1 es la funcin temperatura para
los distintos puntos de un cuerpo.
5.2 Derivadas de orden superior.-
Dada una funcin , : R de : variables, denida en el abierto de R
n
y con derivadas parciales
J,
Jr
i
: R se denen las derivadas parciales de
segundo orden en el punto A
0
por
J
2
,
Jr
j
Jr
i
(A
0
) =
J
Jr
j
_
J,
Jr
i
_
(A
0
)
= lim
h!0
_
@f
@x
i
(A
0
+/ ^ c
j
)
@f
@x
i
(A
0
)
/
_
cuando el lmite existe. Esta denicin es para cada i. , 1. 2. .... : (hay
:
2
derivadas de segundo orden).
Las derivadas de segundo orden de , son la derivadas parciales (de primer
orden) de las funciones
J,
Jr
i
. En forma inductiva se denen las derivadas
parciales de tercer orden, cuarto orden, etc.
Por ejemplo para la funcin ,(r. ) = r
2
3
+c
2x
sin 3 se tiene:
@f
@x
(r. ) =
@
@x
(r
2
3
+c
2x
sin 3) = 2r
3
+ 2c
2x
sin 3.
@f
@y
(r. ) =
@
@y
(r
2
3
+c
2x
sin 3) = 3r
2
2
+ 3c
2x
cos 3
@
2
f
@x
2
(r. ) =
@
@x
(2r
3
+ 2c
2x
sin 3) = 2
3
+ 4c
2x
sin 3
@
2
f
@y@x
(r. ) =
@
@y
(2r
3
+ 2c
2x
sin 3) = 6r
2
+ 6c
2x
cos 3
@
2
f
@x@y
(r. ) =
@
@x
(3r
2
2
+ 3c
2x
cos 3) = 6r
2
+ 6c
2x
cos 3
@
2
f
@y
2
(r. ) =
@
@y
(3r
2
2
+ 3c
2x
cos 3) = 6r
2
9c
2x
sin 3
Se puede observar que las derivadas mixtas
@
2
f
@y@x
(r. ) y
@
2
f
@x@y
(r. ) coinci-
den (note que se obtienen de procesos distintos). Este resultado proviene de
una propiedad ms general que se comenta a continuacin.
Una funcin , es de clase C
2
en el abierto cuando todas las derivadas
parciales de segundo orden son continuas en . Para funciones de clase C
2
se verica la igualdad
J
2
,
Jr
i
Jr
j
(r. ) =
J
2
,
Jr
j
Jr
i
(r. )
5.3 Regla de la cadena.-
En el clculo de una variable la regla de la cadena indica cmo calcular la
derivada de una compuesta de dos funciones derivables:
d
dr
[q(,(r))] = q
0
(,(r)) ,
0
(r)
La derivada de q , es el producto de la derivada de q y la derivada de , ,
calculadas en los puntos que se indica.
En el clculo de varias variables se tiene
Teorema 34 Si 1 : R
n
R
m
es diferenciable en A
0
y G : 1
R
m
R
p
es diferenciable en 1
0
= 1(A
0
), entonces la compuesta G 1 es
diferenciable en A
0
y
1(G 1)(A
0
) = 1G(1
0
) 11(A
0
)
O sea, la diferencial de la compuesta es igual a la compuesta de las diferen-
ciales respectivas.
Obs.- En el teorema se supone adems que y 1 son conjuntos abiertos
y que la composicin est bien denida.
Segn se vio en lgebra lineal, al representar aplicaciones lineales me-
diante matrices la composicin de aplicaciones corresponde a la multipli-
cacin de sus matrices. Por esto, la frmula del teorema se expresa en tr-
minos de matrices jacobianas por
J(G 1)(A
0
) = JG(1
0
) J1(A
0
)
Recuerde que la matriz jacobiana est formada por las derivadas parciales
de la funcin. Luego, podemos concluir que las derivadas parciales de la G1
estn determinadas por las derivadas parciales de la 1 y de la G, segn se
analiza a continuacin:
Asociamos 1 (A 1(A) = 1 ) con las frmulas que denen sus :
componentes
1
= ,
1
(r
1
. r
2
. .... r
n
)
2
= ,
2
(r
1
. r
2
. .... r
n
)
..............
m
= ,
m
(r
1
. r
2
. .... r
n
)
Sus :: derivadas parciales son:
J,
k
Jr
j
o
J
k
Jr
j
, lo que indica que las variables
k
dependen de las variables r
j
.
Asociamos G (1 G(1 ) = 2) con las frmulas que denen sus j com-
ponentes
.
1
= q
1
(
1
.
2
. ....
m
)
.
2
= q
2
(
1
.
2
. ....
m
)
..............
.
p
= q
p
(
1
.
2
. ....
m
)
Sus j: derivadas parciales son:
Jq
i
J
k
o
J.
i
J
k
, lo que indica que las variables
.
i
dependen de las variables
k
.
Ahora, si las variables .
i
dependen de las
k
y las
k
dependen de las r
j
,
al componer las dos aplicaciones las variables .
i
dependern de las r
j
.
El clculo de las derivadas parciales
J.
i
Jr
j
resulta de
_
_
_
_
@z
1
@x
1
@z
1
@x
2
......
@z
1
@xn
@z
2
@x
1
@z
2
@x
2
......
@z
2
@xn
...... ...... ......
@zp
@x
1
@zp
@x
2
......
@zp
@xn
_
_
_
_
=
_
_
_
_
_
@z
1
@y
1
@z
1
@y
2
......
@z
1
@ym
@z
2
@y
1
@z
2
@y
2
......
@z
2
@ym
...... ...... ......
@zp
@y
1
@zp
@y
2
......
@zp
@ym
_
_
_
_
_
_
_
_
_
_
@y
1
@x
1
@y
1
@x
2
......
@y
1
@xn
@y
2
@x
1
@y
2
@x
2
......
@y
2
@xn
...... ...... ......
@ym
@x
1
@ym
@x
2
......
@ym
@xn
_
_
_
_
_
As se tiene que:
J.
i
Jr
j
=
J.
i
J
1
J
1
Jr
j
+
J.
i
J
2
J
2
Jr
j
+... +
J.
i
J
m
J
m
Jr
j
=
m
k=1
J.
i
J
k
J
k
Jr
j
Con mayor precisin, cuando
J.
i
Jr
j
est calculado (evaluado) en el punto A
0
,
J.
i
J
k
se evala en 1
0
= 1(A
0
) y
J
k
Jr
j
se evala en A
0
.
Ejemplo 35 Cambio de coordenadas rectangulares a polares.-
La transformacin es 1 : R
2
R
2
. (:. o) (: cos o. : sin o) = (r. ) Es
decir,
r = : cos o
= : sin o
Para la funcin . = ,(r. ), el cambio de coordenadas da . = ,(: cos o. : sin o)
y las derivadas quedan
J.
J:
=
J.
Jr
Jr
J:
+
J.
J
J
J:
=
J.
Jr
cos o +
J.
J
sin o
J.
Jo
=
J.
Jr
Jr
Jo
+
J.
J
J
Jo
=
J.
Jr
: sin o +
J.
J
: cos o
La regla se recuerda mediante el siguiente esquema .
@z
@x

@z
@y
r
@x
@r

@x
@
@y
@r

@y
@
: o : o
Para calcular las derivadas de segundo orden, por ejemplo
@
2
z
@r
2
, conviene
recordar que la frmula para
@z
@r
es
J.
J:
(:. o) =
J.
Jr
(: cos o. : sin o) cos o +
J.
J
(: cos o. : sin o) sin o
Luego,
J
2
.
J:
2
=
_
J
2
.
Jr
2
Jr
J:
+
J
2
.
JJr
J
J:
_
cos o +
_
J
2
.
JrJ
Jr
J:
+
J
2
.
J
2
J
J:
_
sin o
=
J
2
.
Jr
2
cos
2
o +
J
2
.
J
2
sin
2
o + 2
J
2
.
JJr
sin o cos o
donde en la ltima igualdad se ha supuesto que
@
2
z
@y@x
=
@
2
z
@x@y
(consideramos
el caso que , es C
2
).
Queda de ejercicio calcular las otras tres derivadas de segundo orden.
Ejemplo 36 Para el caso n = ,(r. . .) diferenciable y la curva
:(t) = (r(t). (t). .(t)) derivable, se tiene la compuesta
n(t) = ,(r(t). (t). .(t)) con derivada
dn
dt
=
J,
Jr
dr
dt
+
J,
J
d
dt
+
J,
J.
d.
dt
= \, :
0
Ejemplo 37 Con . = ,(n) derivable y n = q(r. t) diferenciable, la com-
puesta queda . = ,(q(r. t)) y sus derivadas parciales son
J.
Jr
=
d,
dn
Jn
Jr
= ,
0
Jn
Jr
J.
Jt
=
d,
dn
Jn
Jt
= ,
0
Jn
J
5.4 Teorema de la funcin inversa.-
Desde el punto de vista (ms bsico) del lgebra, para que una funcin
tenga inversa ella debe ser biyectiva. Sin embargo sabemos que restringiendo
apropiadamente una funcin podemos conseguir que ella tenga inversa. Es
el caso de las funciones trigonomtricas con las conocidas arcsin, arccos, etc.
El clculo diferencial se preocupa de estudiar la diferenciabilidad (o deri-
vabilidad, segn sea el caso) de esta inversa. Primero damos una versin
particular de este teorema para el clculo en una variable.
Teorema 38 Sea , : 1 R. y r
0
1 tal que ,
0
(r
0
) ,= 0. Entonces existen
vecindades \ de r
0
y \ de
0
= ,(r
0
) tales que:
a) , : \ \ es biyectiva
b) la inversa ,
1
: \ \ es derivable y
c) para todo = ,(r) \ : (,
1
)
0
() =
1
,
0
(r)
Por ejemplo, para , :
2
.

2
_
R. ,(r) = sin r, se tiene:
,
0
(r) = cos r ,= 0. Luego, (,
1
)
0
() =
1
cos x
=
1
_
1sin
2
x
=
1
_
1y
2
.
dado que = sin r = r = arcsin .
Por lo tanto,
d
dx
[arcsin r] =
1
p
1x
2
. \r ]1. 1[ .
Teorema 39 (Caso general) Sea 1 : R
n
. A 1(A). de clase C
1
en el
abierto de R
n
. Si J1(A
0
) =
_
@f
i
@x
j
(A
0
)
_
tiene inversa (esto es, [J1(A
0
)[ , =
0), entonces existen vecindades abiertas \ de A
0
y \ de 1
0
= 1(A
0
) tales
que:
a) la restriccin 1 : \ \ es biyectiva
b) la inversa 1
1
: \ \ es de clase C
1
(luego diferenciable) y
c) para todo 1 \ : 11
1
(1 ) = 11(A)
1
. Lo que se traduce en
J1
1
(1 ) = (J1(A))
1
.
Ntese que el teorema garantiza la existencia de una inversa local para
1, la cual es de clase C
1
.
Un ejemplo importante lo constituye la transformacin de coordenadas
rectangulares a polares:
1 : R
2
R
2
. 1(:. o) = (r. ), con
r = : cos o
= : sin o
1 es de clase C
1
con
J1(:. o) =
_
cos o : sin o
sin o : cos o
_
[J1(:. o)[ =
cos o : sin o
sin o : cos o
= :
Luego, para (:
0
. o
0
) con :
0
,= 0, 1 admite una inversa local en una vecindad
abierta \ de (:
0
. o
0
) con
J1
1
(r. ) =
1
:
_
: cos o : sin o
sin o cos o
_
para todo (r. ) = 1(:. o) \ = 1(\ ).
5.5 Teorema de la funcin implicita.-
Notacin.- A = (r
1
. .... r
n
) es un vector de R
n
, 1 = (
1
. ....
m
) es un vector
de R
m
y (A; 1 ) = (r
1
. .... r
n
.
1
. ...
m
) es un vector de R
n
R
m
~
= R
n+m
.
Teorema 40 Sea 1 : R
n
R
m
R
m
. (A. 1 ) 1(A. 1 ) = (1
1
(A. 1 ). .... 1
m
(A. 1 )),
una funcin de : +: variables, de clase (
r
y sea 1
0
= (A
0;
1
0
) un punto tal
que
i) 1(A
0
. 1
0
) = o
ii)
J(1
1
. .... 1
m
)
J(
1
. ....
m
)
(1
0
) =
J1
1
J
1
(1
0
) ..........
J1
1
J
m
(1
0
)
.... ....
J1
m
J
1
(1
0
) ..........
J1
m
J
m
(1
0
)
,= 0
Entonces existen:
una vecindad abierta ` de (A
0
. 1
0
) (en R
n+m
)
una vecindad abierta ` de A
0
(en R
n
)
y una nica funcin G : ` R
m
. A G(A). de clase (
r
. tal que:
\ A ` : (A. G(A)) `
(A. 1 ) ` . 1(A. 1 ) = o = A ` . 1 = G(A) (8)
(en particular 1
0
= G(A
0
)) y \ A ` :
1G(A) =
_
J1
J1
(A; G(A))
_
1
_
J1
JA
(A; G(A))
_
(9)
Observaciones.-
1.- La ecuacin 1(A. 1 ) = o corresponde al sistema de : ecuaciones y :+:
incognitas
1
1
(r
1
. .... r
n
.
1
. ....
m
) = 0
1
2
(r
1
. .... r
n
.
1
. ....
m
) = 0
1
m
(r
1
. .... r
n
.
1
. ....
m
) = 0
y el Teorema da condiciones para que este sistema se pueda resolver de ma-
nera nica para las incognitas
1
. ....
m
en trminos de las incognitas (va-
riables) r
1
. .... r
n
, en una vecindad del punto (A
0
. 1
0
), conforme indica 8.
2.- El resultado para la diferencial de G expresado en 9 se puede llevar a
matrices jacobianas como
JG(A) =
_
J(1
1
. .... 1
m
)
J(
1
. ....
m
)
(A. G(A))
_
1
_
J(1
1
. .... 1
m
)
J(r
1
. .... r
n
)
(A. G(A))
_
3.- Como caso particular, cuando : = : = 1, se tiene como hiptesis
, : R R R. (r. ) ,(r. ) de clase (
r
y (r
0
.
0
) tal que ,(r
0
.
0
) = 0 .
J,
J
(r
0
.
0
) ,= 0
El Teorema garantiza entonces que existen vecindad abierta de ` de (r
0
.
0
)
y vecindad abierta ` de r
0
y nica funcin de clase (
r
q : ` R tal que
\r ` : (r. q(r)) `
(r. ) ` . ,(r. ) = 0 = r ` . = q(r)
\r ` : q
0
(r) =
J,
Jr
(r. q(r))
J,
J
(r. q(r))
6 Mximos y mnimos.
6.1 Mximos y mnimos relativos.
El trmino relativo corresponde al concepto local, esto es un extremo en
relacin slo a los puntos vecinos de l.
n
R denida en un abierto y A
0
un
punto de . Se dice que A
0
es un punto de mximo relativo cuando
: 0 tal que \A 1(A
0
. :) : ,(A) _ ,(A
0
)
Para la denicin de mnimo relativo se reemplaza _ por _.
Si la , diferenciable tiene un mximo relativo en A
0
. entonces al darse
un vector unitario en R
n
y denir ,(t) = ,(A
0
+t ) se tiene claramente
que , alcanza un mximo relativo en t = 0 y luego
,
0
(0) = lim
h!0
,(/) ,(0)
/
= lim
h!0
,(A
0
+/ ) ,(A
0
)
/
= 0
Esto indica que todas las derivadas direccionales de , en A
0
son nulas (en
particular las derivadas parciales), o sea 1,(A
0
) = o
n
R denida en un abierto y A
0
un
punto de . Se dice que A
0
es un punto crtico de , cuando
, no es diferenciable en A
0
. o bien 1,(A
0
) = o
Para , diferenciable , A
0
es punto crtico cuando todas las derivadas
parciales se anulan en el punto. En este caso los puntos crticos son las
soluciones del sistema de : ecuaciones y : incognitas:
J,
Jr
1
(r
1
. r
2
. .... r
n
) = 0
J,
Jr
2
(r
1
. r
2
. .... r
n
) = 0
................
J,
Jr
n
(r
1
. r
2
. .... r
n
) = 0
De acuerdo al razonamiento anterior se tiene:
Teorema 43 A
0
extremo relativo de , = A
0
punto crtico.
Los ejemplos, ,(r. ) = r
2
+
2
, q(r. ) = r
2

2
y /(r. ) =
2
r
2
muestran que un punto crtico puede ser mnimo relativo o mximo relativo,
o incluso, no ser mximo ni mnimo. En el ltimo caso el punto se denomina
punto de silla.
Nos interesa pues un criterio que permita decidir cual es la naturaleza de
un punto crtico encontrado.
Cuando las derivadas parciales segundas
J
2
,
Jr
i
Jr
j
son todas continuas ( ,
es de clase (
2
), la diferencial segunda de , en A
0
es la forma cuadrtica
1
2
,(A
0
)(H) =
n
i;j=1
c
ij
/
i
/
j
, con c
ij
=
J
2
,
Jr
i
Jr
j
(A
0
)
Note que c
ij
= c
ji
, de acuerdo al Teorema de Schwarz.
Segn el Teorema de Taylor en varias variables, en una vecindad de A
0
se puede escribir
,(A
0
+H) = ,(A
0
) +1,(A
0
)(H) +
1
2!
1
2
,(A
0
)(H) +1
2
(H)
con lim
H!
1
2
(H)
|H|
2
= 0. (*).
En un punto crtico, 1,(A
0
)(H) = 0. \H R
n
; as que
,(A
0
+H) = ,(A
0
) +
1
2!
1
2
,(A
0
)(H) +1
2
(H)
En vista de (*), en una vecindad de A
0
(o sea para todo H con |H| pequea):
,(A
0
+H) ,(A
0
) _ 0 = 1
2
,(A
0
)(H) _ 0
,(A
0
+H) ,(A
0
) _ 0 = 1
2
,(A
0
)(H) _ 0
Observe que las condiciones del lado izquierdo en las equivalencias indican
que A
0
es un extremo relativo. Las condiciones del lado derecho se estudian
para formas cuadrticas en el contexto del algebra lineal.
6.1.1 Formas cuadrticas.
Una forma cuadrtica es una aplicacin : R
n
R , de las forma
(A) =
n
i;j=1
c
ij
r
i
r
j
. con c
ij
= c
ji
La matriz =
_
_
c
11
...... c
1n
....
c
n1
...... c
nn
_
_
, simtrica de orden : :, representa a
en el sentido que (A) = A
T
A, es decir
(r
1
. ..... r
n
) = (r
1
.....r
n
)
_
_
c
11
...... c
1n
....
c
n1
...... c
nn
_
_
_
_
r
1
r
n
_
_
Denicin 44 Para una forma cuadrtica se dice:
es denida positiva= (A) _ 0. \A ,= o
es denida negativa= (A) _ 0. \A ,= o
es no denida=Existen A
1
. A
2
tales que (A
1
) < 0 < (A
2
).
En vista que la matriz que representa a la forma cuadrtica es simtrica,
se tiene que todos sus valores propios son reales.y se puede probar que:
a) todos los valores propios de son positivos= denida positiva.
b) todos los valores propios de son negativos= denida negativa
c) si la matriz posee al menos un valor propio positivo y un valor propio
negativo, entonces la forma cuadrtica es no denida.
El criterio que permite determinar de que tipo es una forma cuadrtica
considera el clculo de los siguientes : determinates obtenidos a partir de la
matriz :
1
= c
11
.
2
=
c
11
c
12
c
21
c
22
. ....
n
= [[
Teorema 45 Para cada / entre 1 y : sea
k
el determinante de orden /
formado por las primeras / las y / columnas de la matriz . Si se tiene
n
= [[ , = 0 , entonces:
a) \/ :
k
0 = es denida positiva.
b) \/ : (1)
k
k
0 = es denida negativa.
c) en todo otro caso es no denida.
Caso de dos variables.-
Para , : R
2
R. (r. ) ,(r. ) de clase (
2
en el abierto . Sea
(r
0
.
0
) un punto crtico, esto es, un punto tal que
,
x
(r
0
.
0
) = ,
y
(r
0
.
0
) = 0 y sea
= (r
0
.
0
) =
,
xx
(r
0
.
0
) ,
xy
(r
0
.
0
)
,
yx
(r
0
.
0
) ,
yy
(r
0
.
0
)
= ,
xx
(r
0
.
0
),
yy
(r
0
.
0
),
xy
(r
0
.
0
)
2
se tiene entonces:
a) ,
xx
(r
0
.
0
) 0 . 0 = (r
0
.
0
) es un mnimo relativo.
b) ,
xx
(r
0
.
0
) < 0 . 0 = (r
0
.
0
) es un mximo relativo.
c) < 0 = (r
0
.
0
) es un punto de silla.
d) Para = 0, el criterio no da informacin.
Caso de tres variables.-
Para , : R
3
R. (r. . .) ,(r. . .) de clase (
2
en el abierto .
Sea (r
0
.
0
. .
0
) un punto crtico, esto es, un punto tal que
,
x
(r
0
.
0
. .
0
) = ,
y
(r
0
.
0
. .
0
) = ,
z
(r
0
.
0
. .
0
) = 0 y sea
3
=
3
(r
0
.
0
. .
0
) =
,
xx
(r
0
.
0
. .
0
) ,
xy
(r
0
.
0
. .
0
) ,
xz
(r
0
.
0
. .
0
)
,
yx
(r
0
.
0
. .
0
) ,
yy
(r
0
.
0
. .
0
) ,
yz
(r
0
.
0
. .
0
)
,
zx
(r
0
.
0
. .
0
) ,
zy
(r
0
.
0
. .
0
) ,
zz
(r
0
.
0
. .
0
)
,= 0
se tiene entonces:
a) ,
xx
0.
2
0.
3
0 = (r
0
.
0
. .
0
) es un mnimo relativo.
b) ,
xx
< 0.
2
0.
3
< 0 = (r
0
.
0
. .
0
) es un mximo relativo.
c) en otro caso el punto es silla.
6.2 Extremos relativos condicionados (multiplicadores
de Lagrange).
Segn el teorema de la funcin implcita, la ecuacin q(r. ) = 0, con q de
clase (
1
, determina una curva C en el plano r que admite recta tangente
en todo punto para el cual \q(r. ) ,= o. Adems en dichos puntos, \q(r. )
es perpendicular a la curva C.
El problema a resolver es encontrar los extremos relativos de la funcin
,(r. ) sobre puntos de la curva C. el cual se escribe
Maximizar (o minimizar) ,(r. )
sujeto a q(r. ) = 0
Ejemplo 46 Encontrar los extremos relativos de ,(r. ) = r
2
sujeto a
r
2
+
2
= 1.
Geomtricamente, las curvas de nivel de , son parbolas de ecuacin
,(r. ) = r
2
= c, con c constante real.
El siguiente grco muestra la circunferencia unitaria r
2
+
2
= 1, junto
con las curvas de nivel de ,, para c =
5
4
. 1.
1
2
. 0.
1
2
. 1 (en el mismo orden
de abajo hacia arriba). Se ve que una curva de nivel para c 1 no corta la
circunferencia, como tambin para c <
5
4
.
El anlisis geomtrico muestra que los puntos extremos relativos se producen
cuando hay tangencia entre la circunferencia y alguna curva de nivel. Si
consideramos los vectores gradientes a las curvas, que son perpendiculares a
stas, ellos sern paralelos en dichos puntos extremos.
As \,(r. ) = ` \q(r. ) en los puntos extremos relativos. El mtodo
de multiplicadores de Lagrange establece que los puntos extremos relativos
se encuentran en las soluciones del sistema
\,(r. ) = ` \q(r. )
q(r. ) = 0
Este es un sistema de 3 ecuaciones y 3 incognitas: r. ; `. Para nuestro
ejemplo
2r = `2r
1 = `2
r
2
+
2
= 1
La primera ecuacin da r(` + 1) = 0, lo que implica dos posibilidades:
a) r = 0 : y as = 1. ` =
1
2
o tambin = 1. ` =
1
2
b) ` = 1 : y as =
1
2
. r =
p
3
2
o tambin =
1
2
. r =
p
3
2
Tenemos 4 soluciones que conducen a los 4 extremos relativos: (0. 1) y
(0. 1) mximos relativos, y (
p
3
2
.
1
2
) y (
p
3
2
.
1
2
) mnimos relativos.
2
R y q : R
2
R de clase (
1
. Si
(r
0
.
0
) es tal que q(r
0
.
0
) = 0 y \q(r
0
.
0
) ,= o entonces para que ,
alcance un extremo relativo en (r
0
.
0
) es necesario que ` R (multiplicador
de Lagrange) tal que \,(r
0
.
0
) = ` \q(r
0
.
0
).
En el caso de una , de 3 variables (r. . .) ,(r. . .), una condicin
(restriccin) del tipo q(r. . .) = 0, con q de clase (
1
, determina una supercie
en R
3
. Para sta, si en un punto \q(r. . .) ,= o. entonces \q(r. . .) es un
vector perpendicular a la supercie (o sea perpendicular al plano tangente a
la supercie).
Si se agrega una segunda condicin /(r. . .) = 0, del mismo tipo, tenemos
dos supercies cuya interseccin (casi siempre) es una curva en R
3
. Si en
un punto (r
0;
0
. .
0
) de esta curva los gradientes de q y / son linealmente
independientes (no son paralelos), entonces la curva posee una recta tangente
perpendicular al plano generado por los gradientes.
El mtodo de multiplicadores de Lagrange indica que:
a) la funcin ,(r. . .) de clase (
1
, posee extremos relativos en los puntos de
la supercie q(r. . .) = 0 donde \,(r. . .) = ` \q(r. . .).
b) la funcin ,(r. . .) de clase (
1
, posee extremos relativos en los puntos de
la curva q(r. . .) = 0. /(r. . .) = 0 donde
\,(r. . .) = ` \q(r. . .) +j \/(r. . .).

Topologia

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Topologia

Uploaded by

Copyright:

Available Formats

Hctor Palma Valenzuela. Dpto. de Matemtica UdeC.

Es claro que cuando lim

You might also like