Está en la página 1de 20

Notas de An alisis I

Gabriel Larotonda
Parte 2: Funciones
1. Dominio, gr aco, imagen
Podemos empezar a pensar en funciones de varias variables, con la tranquilidad de que ya
desarrollamos las herramientas para pensar en dominios, lmites y dem as nociones que involucren
conjuntos en R
n
.
1.1. Funciones f : R
n
R
Recordemos primero que el dominio natural de una funci on es el conjunto de puntos donde
tiene sentido aplicar la funci on. Ya estuvimos trabajando sin decirlo con funciones de R
n
en R.
Ejemplo 1.1. Veamos primero algunos ejemplos donde Dom( f ) =R
n
. Sea X = (x
1
, , x
n
) R
n
.
1. La norma |X| =
_
x
2
1
+x
2
2
+ +x
2
n
es una funci on.
2. Si miramos una coordenada concreta, la asignaci on X x
j
es una funci on. Estas se llaman
funciones coordenadas o proyecciones a las coordenadas.
3. Si jamos P R
n
y movemos X en el producto escalar P, X) lo que tenemos es una funci on
X P, X).
4. Si x, y R, entonces la f (x, y) = xy es la funci on producto de las coordenadas, y por otro
lado g(x, y) = x +y es la funci on suma de las coordenadas (ambas funciones de R
2
en R).
Ahora consideremos ejemplos donde el dominio sea un subconjunto propio de R
n
.
1. f (x, y) =
y
x
. El dominio es el conjunto Dom( f ) = (x, y) R
2
: x ,= 0, es decir, todo el
plano salvo el eje y.
2. f (x, y, z) =
1
x
2
+y
2
+z
2
=
1
|X|
2
. En este caso, para que se anule el denominador, debe ser x =
y = z = 0. Luego Dom( f ) =R
3
O.
1
3. Sea
f (x, y) =
_
_
_
xy
(x
2
+y
2
)(xy+1)
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0)
En este caso es Dom( f ) =(x, y) R
2
: y ,= x +1, que es R
2
menos una recta.
1.2. Curvas
Una curva es una funci on : I R
n
, donde I es alg un subconjunto (en general un intervalo)
de R. Ejemplos de curvas son
1. : RR
2
dada por (t) = (cos(t), sen(t)).
2. : R R
3
dada por (x) = (x, x 1, 3)
3. : RR
4
dada por (y) = (y, y
2
, y
3
, y
4
).
4. Si f : Dom( f ) R R, (x) = (x, f (x)) es una curva en el plano.
Observemos que en el ultimo ejemplo la curva tiene como imagen lo que llamamos el
gr aco de f , Gr( f ). En el caso de curvas a valores en R
2
o R
3
, lo que interesa en general es la
imagen de la misma (a diferencia de las funciones de m as variables, donde lo que interesa es el
gr aco como vimos). As por ejemplo, la imagen de la curva es una circunferencia de radio
unitario centrada en el origen,
y
x
(t)
(0) = (1, 0)
(
5
4
)=(

2
2
,

2
2
)
cos(t)
sen(t)
Im()
Mientras que la imagen de es una recta en el espacio R
3
como se deduce de (x, x1, 3) =
x(1, 1, 0) +(0, 1, 3). A las curvas tambi en se las suele denominar trayectorias o arcos.
1.3. Gr aco, curvas y supercies de nivel
Se acuerdan del gr aco de una funci on f : R R? La siguiente denici on es general, e
incluye el caso que todos conocemos:
2
Denici on 1.2. Sea f : Dom( f ) R
n
R. El gr aco de f es el subconjunto de R
n+1
formado
por los pares ordenados (X, f (X)), donde X Dom( f ). Lo denotamos Gr( f ) R
n+1
.
As, por ejemplo, el gr aco de una funci on f : Dom( f ) R R es un subconjunto del
plano R
2
, que muchas veces si f no es muy complicada podemos dibujar. Por ejemplo el gr aco
de f (x) = (x 1)
2
1 es una par abola, mientras que el de f (x) =
x+1
x1
es una hip erbola.
y
y
x x
y = (x 1)
2
1
y =
x+1
x1
Pensemos un poco en el caso n =2, donde seg un la denici on, el gr aco ser a un subconjunto
de R
3
. Por ejemplo, si f (x, y) = 3 (una funci on constante!), se tiene (ya que Dom( f ) =R
2
)
Gr( f ) =(x, y, 3) : x, y R.
Como puntos del espacio, tienen la unica restricci on de tener z = 3, mientras que x e y pueden mo-
verse libremente. Es decir, el gr aco se representa simplemente como un plano horizontal puesto
a altura z = 3.
Si tomamos un ejemplo un poquito m as complicado, g(x, y) = x +y, se tiene
Gr(g) =(x, y, x +y) : x, y R.
Los puntos del gr aco verican entonces la relaci on z = x +y, lo que nos dice que el gr aco lo
podemos representar en R
3
como un plano por el origen, de normal N = (1, 1, 1) (puesto que
x +y z = 0).
Veamos un par de ejemplos m as interesantes. Consideremos h(x, y) = x
2
+y
2
, y tambi en
j(x, y) =
_
x
2
+y
2
. Ambas tienen como dominio R
2
. Los puntos del gr aco de h verican z =x
2
+
y
2
, mientras que los del gr aco de j verican z =
_
x
2
+y
2
. C omo podemos descubrir qu e guras
representan en R
3
los puntos que verican estas relaciones?
Se recurre a las curvas de nivel. Esto quiere decir que tratamos de pensar que gura queda
si cortamos el gr aco con distintos planos. Por ejemplo, si consideramos planos horizontales, es
decir z = cte, se observa que en ambos casos no puede ser z negativo. Dicho de otra forma, la
curva de nivel que corresponde a z negativo es el conjunto vacio.
3
Esto nos dice que los gr acos de ambas funciones
est an por encima del plano xy de R
3
. Por otro la-
do, si pensamos en valores positivos de z, como por
ejemplo z = 1, obtenemos en ambos casos la rela-
ci on 1 = x
2
+y
2
. Esta gura es una circunferencia.
Estrictamente hablando, la curva de nivel es una cir-
cunferencia en el plano R
2
.
y
x
x
2
+y
2
= 1
Sin embargo, hemos descubierto que si cortamos cualquiera de los dos gr acos con un plano
de altura 1, queda formada una circunferencia de radio 1, lo que nos permite dibujar lo siguiente:
z
y x
z = 1
Probemos ahora con z =4. En el caso de h obtenemos x
2
+y
2
=4, que es una circunferencia
de radio 2, mientras que en el caso de j obtenemos x
2
+y
2
=16, que es una circunferencia de radio
4.
z
y
x
z = 2
z = 1
z = 0
4
En general, si z = z
0
es un n umero positivo jo, la ecuaci on x
2
+y
2
= z
0
es una circunferen-
cia de radio

z
0
, mientras que la ecuaci on x
2
+y
2
= z
2
0
es una circunferencia de radio z
0
. Pareciera
que las dos guras, salvo el ancho, son muy parecidas. Incluso el caso z = 0 en ambos casos da la
ecuaci on x
2
+y
2
= 0, cuya unica soluci on es el par (0, 0).
Sin embargo, la t ecnica no se agota aqu. No necesariamente tenemos que cortar con planos
horizontales. Podemos elegir cualquier plano!
Por ejemplo, si tomamos x = 0 estamos considerando la pared formada por el plano yz. En
el caso de la funci on h se obtiene la ecuaci on 0
2
+y
2
= z. Es decir, z = y
2
, que es una par abola.
Por lo tanto el gr aco de h es lo que se conoce como paraboloide
x y
z
(x, y, x
2
+y
2
)
z = y
2
el gr aco de h es un paraboloide
Por otro lado, en el caso de la funci on j se obtiene 0
2
+y
2
= z
2
. Esto es z
2
y
2
= 0, que se
factoriza como diferencia de cuadrados (z y)(z +y) = 0. En consecuencia debe ser la recta z = y
o bien la recta z =y. Recordemos que tena que ser z 0, con lo cual la gura que se obtiene es
la siguiente,
5
x y
z
(x, y,
_
x
2
+y
2
)
z =[y[
el gr aco de j es un cono
que es lo que se conoce como cono. Miremos la diferencia de las dos guras en el origen: cierta-
mente van a tener distintas propiedades cuando pensemos en las derivadas.
1.3.1. Supercies de nivel
En el caso de funciones f : R
3
R, el gr aco es un subconjunto de R
4
. Para dibujarlo hay
que recurrir a sustancias ilegales. Sin embargo, si recurrimos a la t ecnica de antes se pueden dibujar
lo que se conocen como supercies de nivel de f , que nos dan una idea del comportamiento de f .
Denici on 1.3. Dada f : Dom( f ) R
n
R y un n umero real c, se denomina supercie de nivel
de f al subconjunto del dominio dado por
S
c
( f ) =(x
1
, , x
n
) Dom( f ) : f (x
1
, , x
n
) = c.
Por ejemplo, consideremos f (x, y, z) = x
2
+y
2
z
2
. La supercie de nivel que corresponde
a c = 0 es el conjunto (x, y, z) R
3
: z
2
= x
2
+y
2
, que como vimos antes, es un cono (aunque en
este caso el gr aco se extiende en forma sim etrica a ambos lados del plano z = 0).
1.4. Lmite
Pasemos ahora a hablar de lmite de funciones. Escribimos la denici on, que contiene al
caso conocido cuando n = 1.
Denici on 1.4. Sea f : R
n
R, P R
n
. Decimos que l R es el lmite de f cuando X tiende a
P (y lo anotamos lm
XP
f (X) = l) si para todo > 0 existe > 0 tal que
0 <|X P| < implica [ f (X) l[ < .
6
Notar que la denici on de lmite excluye al punto P en cuesti on. As por ejemplo, el lmite
de la funci on real de la gura de abajo, cuando x 2, es igual a 1, independientemente de cu anto
valga f en x
0
= 2 (ni siquiera tiene por qu e estar denida en x
0
= 2):
y
x
f (2)
l = 1
2
y = f (x)
Observaci on 1.5. En el caso en el que el dominio de la funci on no sea todo R
n
(esto es usual),
se puede razonar de la siguiente manera. Lo que queremos ver es a qu e valor se aproxima f (X)
cuando X se aproxima a P, para una f : A R (con A R
n
). Por lo tanto tiene sentido consi-
derar como P no s olo a cualquier punto del conjunto A donde f est e denida, sino a cualquier
punto de acumulaci on A. Es decir, es lcito tomar P A. Hay que hacer la salvedad de que nos
aproximemos con puntos donde se pueda evaluar f .
A
P A
o
P A
Con esto, se obtiene la denici on de lmite que cubre todos los casos relevantes:
Denici on 1.6. Sea f : A R
n
R. Sean P A y l un n umero real cualquiera. Decimos que
lm
XP
f (X) = l en A si para todo > 0 existe > 0 tal que
0 <|X P| < y X A implican [ f (X) l[ < .
7
1.4.1.

Algebra de lmites, propiedades
En general probar a mano que un lmite existe es muy engorroso (aunque a veces no queda
otra). Sin embargo, si uno establece algunas propiedades que permitan desarmar el lmite en lmites
m as simples, esto facilita la tarea. Este es el objetivo del algebra de lmites.
Antes, una observaci on: si tenemos dos funciones distintas, pueden estar denidas en sub-
conjuntos distintos A, B de R
n
, dependiendo de cu al sea su dominio. En consecuencia la suma,
resta, producto y divisi on de ellas s olo va a tener sentido en la intersecci on AB de estos con-
juntos. Y los puntos donde tiene sentido calcular el lmite tienen que ser entonces puntos de la
clausura de AB, de acuerdo a lo discutido en la Observaci on 1.5. Adem as el cociente s olo se
puede hacer en aquellos puntos donde no se anula el denominador, que es la intersecci on de A con
BC
0
(g).
Vamos a suponer que ya hicimos la intersecci on de dominios, con lo cual f , g est an denidas
en el mismo conjunto A R
n
.
Teorema 1.7. Sean f , g : A R, dos funciones, con A R
n
. Sea P A, y supongamos que
lm
XP
f (X) = l
1
R y lm
XP
g(X) = l
2
R.
Entonces
1. lm
XP
( f g)(X) = l
1
l
2
en AB.
2. lm
XP
( f .g)(X) = l
1
.l
2
en A.
3. Si l
2
,= 0, lm
XP
(
f
g
)(X) =
l
1
l
2
en AC
0
(g).
Demostraci on. Veamos 1, la suma. Dado > 0, existe
1
> 0 tal que [ f (X) l
1
[ <

2
siempre
que 0 < |X P| <
1
y X A (pues lm
XP
f (X) = l
1
). An alogamente, existe
2
> 0 tal que
[g(X)l
2
[ <

2
siempre que 0 <|X P| <
2
y X A (pues lm
XP
g(X) =l
2
). En consecuencia,
si X A y 0 <|X P| < = mn
1
,
2
, entonces
[( f +g)(X) (l
1
+l
2
)[ [ f (X) l
1
[ +[g(X) l
2
[ <

2
+

2
= .
Lo que prueba que lm
XP
( f +g)(X) = l
1
+l
2
. La resta es an aloga.
Vemos 2, el producto. Tengamos presente que podemos conseguir que [ f (X)l
1
[ y [g(X)
l
2
[ sean tan chicos como nosotros queramos, por hip otesis. Escribimos
[ f g(X) l
1
l
2
[ =[ f (X)g(X) f (X)l
2
+ f (X)l
2
l
1
l
2
[ [ f (X)[[g(X) l
2
[ +[ f (X) l
1
[[l
2
[.
El unico t ermino que no es evidente que est a acotado es [ f (X)[. Pero de nuevo por la desigualdad
triangular,
[ f (X)[ [ f (X) l
1
[ +[l
1
[,
con lo cual
[ f g(X) l
1
l
2
[ [ f (X) l
1
[ ([g(X) l
2
[ +[l
2
[) +[l
1
[[g(X) l
2
[. (1)
8
En consecuencia, como l
1
y l
2
est an jos, y las cantidades [ f (X) l
1
[ y [g(X) l
2
[ se pueden
hacer tan chicas como uno quiera (eligiendo convenientemente el entorno de P), se obtiene que
[ f g(X)l
1
l
2
[ es tan chico como uno quiera. M as precisamente, consideremos los dos casos l
1
=0,
l
1
,= 0.
1. l
1
= 0. Entonces l
1
l
2
= 0, y por la cuenta (1) de arriba,
[ f g(X) l
1
l
2
[ =[ f (x)g(X)[ [ f (X)[ ([g(X) l
2
[ +[l
2
[) .
Dado > 0, elegimos
2
> 0 tal que 0 <|X P| <
2
implique [g(X) l
2
[ < 1, y elegimos

1
> 0 tal que 0 < |X P| <
1
implique [ f (X)[ <

(1+[l
2
[)
. Si tomamos = mn
1
,
2
,
entonces
[ f g(X) l
1
l
2
[ <

(1+[l
2
[)
(1+[l
2
[) = .
2. l
1
,= 0. Dado > 0, i elegimos
2
> 0 tal que 0 <|X P| <
2
implique [g(X) l
2
[ <

2[l
1
[
,
y elegimos
1
> 0 tal que 0 <|X P| <
1
implique [ f (X) l
1
[ <

2
_

2[l
1
[
+[l
2
[
_
. Si tomamos
= mn
1
,
2
, nuevamente por la cuenta (1) de arriba,
[ f g(X) l
1
l
2
[ <

2
+

2
= .
Veamos 3, el cociente. Observemos primero que f /g tiene sentido en el conjunto AC
0
(g)
pues removimos los ceros de g. Sacando denominadores comunes tenemos
[ f /g(X) l
1
/l
2
[ =
1
[l
2
[[g(X)[
[ f (X)l
2
g(X)l
1
[.
El numerador se puede hacer tan chico como uno quiera pues
[ f (X)l
2
g(X)l
1
[ =[ f (X)l
2
l
1
l
2
+l
1
l
2
g(X)l
1
[ [l
2
[[ f (X) l
1
[ +[l
1
[[l
2
g(X)[.
Falta acotar el primer factor por alguna constante, es decir, falta ver que existe M > 0 tal que
1
[g(X)[
<M si 0 <|X P| < y X AC
0
(g). Para simplicar la demostraci on, supongamos que
l
2
> 0 (el caso l
2
< 0 es an alogo). Como lm
XP
g(X) = l
2
, se tiene [g(X) l
2
[ < l
2
/2 para alg un

0
> 0 conveniente, es decir
l
2
/2 < g(X) l
2
< l
2
/2,
de donde se deduce que l
2
/2 < g(X) si 0 <|X P| <
0
y X AC
0
(g). En particular g(X) > 0
en este entorno de P, y adem as
1
[g(X)[
=
1
g(X)
<
2
l
2
, como queramos. Con esto, llamando M =
2
l
2
2
tenemos
1
[g(X)[[l
2
[
< M
siempre que 0 <|X P| <
0
.
Ahora, como f tiende a l
1
y g tiende a l
2
, se tiene
[ f (X) l
1
[[l
2
[ 0 y [g(X) l
2
[[l
1
[ 0
9
por la propiedad del producto que ya probamos. Entonces existen
1
,
2
>0 tal que 0 <|X P| <
mn
1
,
2
implica
[ f (X) l
1
[[l
2
[ <

2M
y [g(X) l
2
[[l
1
[ <

2M
.
En consecuencia, si = mn
0
,
1
,
2
, se tiene
[ f /g(X) l
1
/l
2
[
1
[l
2
[[g(X)[
([l
2
[[ f (X) l
1
[ +[l
1
[[g(X) l
2
[) < M(

2M
+

2M
) = .
Observaci on 1.8. Una observaci on importante y muy sencilla: si f
j
: R
n
R es una de las
funciones coordenadas (la que se queda con la j- esima coordenada), es decir
f
j
(x
1
, x
2
, , x
j
, x
n
) = x
j
,
entonces si P = (p
1
, , p
n
), se tiene lm
XP
f
j
(X) = lm
XP
x
j
= p
j
.
Por ejemplo, si f : R
3
Res la proyecci on a la segunda coordenada f (x, y, z) =y, entonces
lm
(x,y,z)(2,3,1)
f (x, y, z) = lm
(x,y,z)(2,3,1)
y = 3.
Este hecho se demuestra a partir de la denici on de lmite observando que
[ f
j
(X) p
j
[ =[x
j
p
j
[
_
(x
1
p
1
)
2
+ +(x
n
p
n
)
2
=|X P|,
con lo cual si |X P| es peque no, entonces [ f
j
(X) p
j
[ es peque no.
Como comentario adicional (para confundir) observemos que de acuerdo a la notaci on que
usamos para sucesiones, cuando queramos se nalar la j- esima coordenada de una sucesi on P
k

escribamos (P
k
)
j
. Ahora podemos decir que (P
k
)
j
= f
j
(P
k
) (para pensarlo, es una tontera de la
notaci on nom as!).
Ejemplo 1.9. Juntando el Teorema 1.7 con la Observaci on 1.8, se deduce que tomar lmite en
las funciones que involucran sumas, restas, productos y cocientes de las coordenadas, se traduce
simplemente en evaluar las funciones en el punto dado (siempre y cuando el denominador no se
anule). As por ejemplo
lm
(x,y,z)(1,3,4)
xy +z
2
+y
3x +z +y
2
=
13+16+3
34+9
=
32
8
= 4.
2. Funciones F : R
n
R
m
Una funci on de este tipo est a dada por una tira de funciones f
i
: R
n
R (con i = 1. . . m),
es decir
F(x
1
, x
2
, , x
n
) = ( f
1
(x
1
, x
2
, , x
n
), f
2
(x
1
, x
2
, , x
n
), , f
m
(x
1
, x
2
, , x
n
)).
La denici on de lmite es enteramente an aloga, simplemente hay que tener en cuenta que ahora
los valores de F son vectores y no n umeros. Consideremos A R
n
como siempre.
10
Denici on 2.1. Sea F : A R
n
R
m
. Sean P A y L R
m
. Decimos que lm
XP
F(X) = L en A si
para todo > 0 existe > 0 tal que
0 <|X P| < y X A implican |F(X) L| < .
2.1. Composici on
Podemos componer funciones de la manera obvia. Por ejemplo si por un lado F(x, y) =
(x +e
y
, xy, cos(x)y) y por otro lado G(x, y, z) = (x +y +z, xyln(y)), se tiene
(GF)(x, y) = (x +e
y
+xy +cos(x)y, (x +e
y
)xyln(xy)),
con las restricciones de dominio que corresponda en cada caso. Por ejemplo aqu
Dom(GF) =(x, y) R
2
: xy > 0.
En general hay que tener cuidado de que se pueda hacer la composici on. Adem as de poder
encadenar
R
n
F
R
m
G
R
k
con el espacio R
m
intermedio, hay que recordar que el dominio de una composici on, si F : A
R
m
R
m
y G : B R
m
R
k
es
Dom(GF) =X A : F(X) B.
Y tenemos la propiedad correspondiente del algebra de lmites:
Teorema 2.2. Sean F : A R
n
R
m
y G : B R
m
R
k
.
Si P A es tal que lm
XP
F(X) = L
1
B, y lm
YL
1
G(Y) = L
2
, entonces existe el lmite
de la composici on lm
XP
(GF)(X) en Dom(GF), y adem as lm
XP
(GF)(X) = L
2
, siempre
y cuando F(X) ,= L
1
para X ,= P.
Demostraci on. Dado > 0, existe > 0 tal que
|(GF)(X) L
2
| =|G(F(X)) L
2
| <
siempre y cuando 0 < |F(X) L
1
| < y F(X) B, por ser lm
YL
G(Y) = L
2
(simplemente
llamando Y = F(X)).
Pero dado > 0 existe

> 0 tal que 0 < |F(X) L


1
| < siempre que 0 <|X P| <

y X A, pues lm
XP
F(X) = L
1
en A, y F(X) ,= L
1
si X ,= P.
Luego 0 <|X P| <

y X Dom(GF) A garantizan |(GF)(X) L


2
| < .
11
Observaci on 2.3. La condici on F(X) ,= L
1
est a puesta para que no ocurran situaciones ridculas
como la siguiente: sea f : R R la funci on nula (es decir f (x) = 0 para todo x R) y sea
g(x) =
_
1 si x ,= 0
0 si x = 0
Entonces g f (x) = 0 para todo x R, con lo cual
lm
x0
(g f )(x) = 0.
Pero el lmite de g no es cero, pues
lm
x0
g(x) = lm
x0
1 = 1.
Con el teorema previo, se pueden calcular algunos lmites de funciones g : R
n
R de
manera muy sencilla, si uno descubre la composici on.
Ejemplo 2.4. 1. Como lm
(x,y,z)(0,0,0)
x
2
+y +z = 0, entonces
lm
(x,y,z)(0,0,0)
sen(x
2
+y +z)
x
2
+y +z
= 1.
2. Como lm
(x,y,z)(3,2,1)
e
xy
cos(x
2
)ln(z) = 0, se tiene
lm
(x,y,z)(3,2,1)
_
1+e
xy
cos(x
2
)ln(z)
_
1/e
xy
cos(x
2
)ln(z)
= e.
2.2. Curvas y el lmite
Un caso particular (y bastante importante) de funci on F : R
n
R
m
son las curvas, que es
lo que se tiene cuando n = 1.
Que exista el lmite de una funci on F : R
n
R
m
a lo largo de una trayectoria, no garantiza
que el lmite vaya a existir. Pero, de acuerdo al Teorema 2.2, si el lmite existe entonces el lmite
de la composici on tiene que dar lo mismo, independientemente de con qu e curva uno componga.
Tenemos entonces la siguiente herramienta util:
Observaci on 2.5. Sea F : A R
n
R
m
. Sean : I A y : J A dos curvas en R
n
tales que
lm
tt
0
(t) = P y lm
tt
1
(t) =P. Supongamos adem as que (t) ,= P para t ,=t
0
y (t) ,= P para
t ,=t
2
.
Entonces lm
tt
0
F((t)) ,= lm
tt
1
F((t)) implica que no existe el lmite lm
XP
F(X).
Ejemplo 2.6. Sea f (x, y) =
x
2
+y
2
x
2
y
2
, y P = (0, 0). Consideremos la curva (t) = (t, mt), que es una
recta de pendiente m R por el origen. Observemos que el denominador de f se anula a lo largo
12
de las rectas y = x, y = x, por lo que hay que excluir las posibilidades m = 1. Calculemos el
lmite de la composici on, para cada m,=1:
lm
t0
f ((t)) = lm
t0
t
2
+(mt)
2
t
2
(mt)
2
= lm
t0
t
2
t
2
1+m
2
1m
2
=
1+m
2
1m
2
.
Esto prueba que el lmite lm
(x,y)(0,0)
f (x, y) no existe, pues si nos acercamos a lo largo del eje
x (con m = 0), el lmite de la composici on da 1, mientras que si nos acercamos a lo largo de la
recta y = 2x (con m = 2), el lmite de la composici on da 5/3.
Dom( f ) Dom( f )
y=0 (m=0)
y=2x (m=2)
lm
t0
f (t,0)=1
lm
t0
f (t,2t)=
5
3
Ejemplo 2.7. Una funci on tal que Dom(g) ,=R
2
.
y = x
2
Dom( f )
Sea g(x, y) =
x
2
+y
x
2
y
, P = (0, 0). Consideremos
(t) = (t, mt) como antes. El denominador de
f se anula en la par abola y = x
2
, pero si t
es chico (y ,= 0) la recta y = mx no corta la
par abola.
Para cada m R:
lm
t0
f ((t)) = lm
t0
t
2
+mt
t
2
mt
= lm
t0
t
t
_
t +m
t m
_
=1.
Esto no nos sirve! Podra ser que el lmite exista? Probemos con algunas trayectorias m as. Nos
falt o considerar, entre las rectas, el eje y. Para esto tomamos (t) = (0, t). Se tiene
lm
t0
f ((t)) = lm
t0
0+t
0t
=1
tambi en; seguimos sin saber si el lmite existe o no. Mirando la funci on, vemos que el numerador
se anula a lo largo de la curva y =x
2
. Esto nos da una pista, tomamos (t) = (t, t
2
). Entonces
lm
t0
f ((t)) = lm
t0
t
2
t
2
t
2
+t
2
= lm
t0
0 = 0.
Esto prueba que el lmite lm
(x,y)(0,0)
f (x, y) no existe.
13
2.3. Lmite y sucesiones
Se pueden usar sucesiones para calcular lmites?
Proposici on 2.8. Sea F : A R
n
R
m
. Sean P A y L R
m
. Las siguientes armaciones son
equivalentes:
1. lm
XP
F(X) = L
2. Para toda sucesi on de puntos P
k
A tal que P
k
,= P y P
k
P, se tiene lm
k
F(P
k
) = L.
Demostraci on. 1 2) Supongamos que lm
XP
F(X) =L, y tomemos P
k
una sucesi on de puntos del
A que tiende a P. Entonces por la denici on de lmite de funci on dado > 0 existe > 0 tal que
0 <|X P| < y X A implican |F(X) L| < .
Como P
k
,=P, claramente vale 0 <|P
k
P|. Si tomamos k
0
Ntal que k k
0
implique |P
k
P| <
, el rengl on de arriba nos garantiza que |F(P
k
) L| < . O sea F(P
k
) L de acuerdo a la
denici on de lmite de sucesiones, aplicado a la sucesi on Q
k
= F(P
k
).
2 1) Razonemos por el absurdo. Negar que lm
XP
F(X) = L es decir que existe > 0
tal que para todo > 0 existe X A con 0 < |X P| < y |F(X) L| . Tomemos =
1
k
,
con k N, y sea P
k
el punto correspondiente. Vemos que P
k
P y P
k
,= P, pero por otro lado
|F(P
k
) L| , con lo cual F(P
k
) ,L, contradiciendo la hip otesis.
Es decir que usar sucesiones no es muy pr actico porque no basta probar con una. Sin
embargo, usar sucesiones s sirve para ver que el lmite no existe. La idea es la misma que la de
las trayectorias.
Observaci on 2.9. Sean P
k
y P

k
dos sucesiones de puntos de A, tales que ambas tienden a
P, y las sucesiones Q
k
= F(P
k
) y Q

k
= F(P

k
) tienen lmites distintos, entonces no existe el lmite
lm
XP
F(X).
Aqu hay que hacer la salvedad, al igual que en el caso de las curvas, de que esto vale
siempre que P
k
y P
k
sean distintos de P, al menos para k sucientemente grande.
Ejemplo 2.10. Si f (x, y) =
x+y
xy
, se tiene Dom( f ) =(x, y) : x ,= y. Veamos que no existe
lm
(x,y)(0,0)
f (x, y).
Tomando P
k
= (
1
k
, 0) y P

k
= (0,
1
k
) se observa que ambas son sucesiones del dominio que tienden
a cero. Pero lm
k
f (P
k
) = lm
k
1/k+0
1/k0
= 1, y por otro lado lm
k
f (P

k
) = lm
k
0+1/k
01/k
=1.
Y de la Proposici on 2.8 tambi en se desprende el siguiente hecho m as o menos obvio, que
nos permite mirar cada coordenada por separado.
14
Corolario 2.11. Sea F : A R
m
, con A R
n
. Sean L R
m
, P A. Entonces F tiende a L cuando
X P si y s olo si cada coordenada de F converge a la coordenada correspondiente de L. Es
decir, si F = ( f
1
, f
2
, , f
m
) y L = (l
1
, l
2
, , l
m
), entonces
lm
XP
F(X) = L
_
lm
XP
f
j
(X) = l
j
para cada j = 1. . . m
_
.
Y desde este momento siempre que tengamos una funci on F : R
m
R
m
, siempre podemos
chequear cada coordenada por separado.
2.3.1. Lmites innitos
Se denen en forma an aloga al caso real los lmites en innito y los lmites que dan
innito.
Denici on 2.12. Lmites innitos. Sea F : A R
n
R
m
, L R
m
y P A.
1. Decimos que lm
X
F(X) = L en A si para toda sucesi on X
k
de A que tiende a innito se
tiene lm
k
F(X
k
) = L.
Equivalentemente, dado > 0 existe M > 0 tal que
|X| > M y X A implican |F(X) L| < .
2. Decimos que lm
XP
F(X) = en A (o que F diverge cuando X P) si para cualquier
sucesi on X
k
de A tal que X
k
P, se tiene lm
k
F(X
k
) = .
Equivalentemente, dado M > 0 existe > 0 tal que
0 <|X P| < y X A implican |F(X)| M.
3. Continuidad
La noci on de continuidad es id entica al caso conocido en una variable. Necesitamos que
tomar lmite coincida con evaluar.
Denici on 3.1. Sean F : A R
n
R
m
y P A.
1. Decimos que F es continua en P si lm
XP
F(X) = F(P).
2. Decimos que F es continua en A si F es continua en P para todo P A.
En general, probar que una funci on es continua en P, es asegurarse de que la diferencia
|F(X) F(P)|
se puede hacer tan chica como uno quiera.
15
Observaci on 3.2. Es importante observar que, a diferencia de los lmites en general, el punto P
debe estar en el conjunto A donde F est a denida, para poder calcular F(P). Eso no quita que,
dado P A, podamos preguntarnos si la funci on se puede extender (redenir) en el punto P de
manera que quede continua. Esto lo podremos hacer si y s olo si el lmite lm
XP
F(X) existe en A.
En ese caso diremos que la discontinuidad en P es evitable.
Observaci on 3.3. Puesto que el lmite se calcula en cada coordenada por separado, se tiene que
F = ( f
1
, , f
m
) es continua en P = (p
1
, , p
m
) si y s olo si cada f
j
: A R es continua en P, y
tambi en que F es continua en A si cada f
j
es continua en A.
Dado que el lmite de una composici on es la composici on de los lmites (Teorema 2.2),
Teorema 3.4. Sean F : A R
n
R
m
y G : B R
m
R
k
funciones continuas. Entonces GF es
una funci on continua en Dom(GF) =X A : F(X) B.
3.1. Propiedades de las funciones continuas
En toda esta secci on, f : A R
n
R, y P A.
Probemos un par de propiedades sencillas que nos van a resultar utiles m as adelante. La
primera dice que si f (X) 0, entonces lm f (X) 0. La segunda dice que si una funci on continua
es no nula, hay un entorno donde no se anula, y se deduce de la primera.
Lema 3.5. Supongamos que f es continua en P. Entonces
1. Si X
k
es una sucesi on tal que X
k

k
P en A, y f (X
k
) 0 para todo k N, entonces
f (P) 0.
2. Si X
k
es una sucesi on tal que X
k

k
P en A, y f (X
k
) 0 para todo k N, entonces
f (P) 0.
3. Si f (P) > 0, entonces existe r > 0 tal que si U = B
r
(P) A, se tiene f (X) > 0 para todo
X U.
4. Si f (P) < 0, entonces existe r > 0 tal que si U = B
r
(P) A, se tiene f (X) < 0 para todo
X U.
Demostraci on. El tem 1. lo probamos por el absurdo. Si fuera f (P) > 0, tomamos =
f (P)
2
, y
existe entonces k
0
N tal que k k
0
implica [ f (X
k
) f (P)[ <
f (P)
2
. Es decir,

f (P)
2
< f (X
k
) f (P) <
f (P)
2
.
Despejando del lado izquierdo se obtiene f (X
k
) >
f (P)
2
>0 si k k
0
lo cual contradice la hip otesis.
El tem 2. tiene una demostraci on an aloga, es un buen ejercicio esciribirlo.
16
El tem 3. tambi en lo probamos por el absurdo: supongamos que para todo k N existe
X
k
B1
k
(P) A tal que f (X
k
) 0. Entonces X
k
P en A y por ser f continua en P, 0 < f (P) =
lm
k
f (X
k
) 0, lo cual es imposible (en la ultima desigualdad usamos el tem previo). La demos-
traci on de 4. es an aloga.
Denici on 3.6. 1. Un conjunto A R
n
es acotado si es acotado en norma, es decir, existe
M > 0 tal que |X| M para todo X A.
2. Un conjunto K R
n
cerrado y acotado es un conjunto compacto.
3. Un conjunto AR
n
es arcoconexo si dados P, QA existe una curva continua : [0, 1] A
tal que (0) = P y (1) = Q.
Observaci on 3.7. Por la desigualdad
[x
i
[ |X|

n m ax
i=1...n
[x
i
[
se deduce que un conjunto A es acotado si y s olo si cada una de sus coordenadas est a acotada.
Recordemos el teorema del valor medio en una variable:
Teorema 3.8. (Bolzano) Si f : [a, b] R es continua, y f (a) f (b) < 0, entonces existe c (a, b)
tal que f (c) = 0.
Demostraci on. Supongamos que f (a) > 0 y f (b) < 0. Sea A = x [a, b] : f (x) > 0, que es no
vaco (pues a A). Como A [a, b], est a acotado superiormente as que tiene supremo s = supA.
Existe una sucesi on creciente a
n
de puntos de A que tiende a s [a, b]. Como f (a
n
) > 0 (pues
a
n
A), el tem 1 del Lema 3.5 nos dice que debe ser f (s) 0. Armo que f (s) = 0. Si no fuera
as, sera f (s) > 0. Pero entonces el tem 3 del mismo lema nos dice que hay un entorno de s de la
pinta (s r, s +r) [a, b], tal que f (x) > 0 all.
Como s < b pues f (b) < 0, podemos tomar x
0
[a, b] tal que x
0
(s, s +r). Este x
0
A y
es mayor que el supremo, lo que es imposible. Debe ser pues f (s) = 0.
Teorema 3.9. (Bolzano) Sea f : AR
n
R. Supongamos que existen P, QA tales que f (P) <0
y f (Q) > 0. Si A es arcoconexo y f es continua, entonces existe R A tal que f (R) = 0.
Demostraci on. Por ser A arcoconexo existe : [0, 1] A continua con (0) = P y (1) = Q.
Consideremos g : [0, 1] R la composici on g(t) = f (t), que es una funci on continua por ser
composici on de funciones continuas. Se tiene g(0) = f (P) < 0 y g(1) = f (Q) > 0. Por el teorema
del valor medio en una variable, existe c (0, 1) tal que g(c) = 0. Si R = (c), entonces R A y
adem as f (R) = f ((c)) = g(c) = 0.
Y se tienen los corolarios habituales,
Corolario 3.10. Sea f : A R
n
R continua. Supongamos que A es arcoconexo. Entonces
17
1. Dados P, Q A, f toma todos los valores intermedios entre f (P) y f (Q).
2. Sean P A y Q A. Si lm
XQ
f (X) = l y f (P) < l, entonces [ f (P), l) Im( f ).
Demostraci on. Para probar 1, supongamos f (P) < f (Q) (si son iguales no hay nada que pro-
bar). Tomemos c [ f (P), f (Q)] y consideramos f
c
: A R dada por f
c
(X) = f (X) c. Entonces
f
c
(P) = f (P) c < 0 y f
c
(Q) = f (Q) c > 0. Adem as f
c
es continua, as que por el teorema
anterior existe R A tal que f
c
(R) = 0. Esto es f (R) c = 0, es decir f (R) = c.
Para probar 2, tomemos c ( f (P), l). Observemos que como lm
XQ
f (X) = l, existe una
sucesi on X
k
de puntos de A tales que, dado = l c > 0, si k k
0
entonces [ f (X
k
) l[ < =
l c. Desarmando este m odulo se tiene (l c) < f (X
k
) l < l c, y considerando s olo el lado
izquierdo se tiene c < f (X
k
). Tomemos Q

= X
k
0
A. Entonces f (Q

) > c, y como f (P) < c por


el tem 1. se tiene que c Im( f ).
Teorema 3.11. (Weierstrass) Si A es un conjunto compacto de R
n
, y f es continua en A, entonces
existen m, M R tales que m f (X) M para todo X A. Adem as, existen P
m
, P
M
A tales que
f (P
m
) = mnf (X) : X A y f (P
M
) = m axf (X) : X A.
Demostraci on. Supongamos primero que f no es acotada. Si no existe M tal que f (X) M,
entonces existe una sucesi on de puntos X
k
A tal que f (X
k
) k para todo k N. Como A es
cerrado y acotado, X
k
tiene una subsucesi on convergente X
k
j
, tal que X
k
j

j
P A. Se tiene
f (X
k
j
) k
j
, y como f es continua en P, esto es imposible. De la misma manera se prueba que
existe m R tal que m f (X).
Ahora veamos que f alcanza sus valores m aximo y mnimo en A. Como Im( f ) [m, M],
Im( f ) es un conjunto acotado de R. En particular es acotado superiormente, luego tiene supremo
s. Veamos que en realidad es un m aximo, es decir veamos que existe P
M
A tal que f (P
M
) = s.
Para ello, tomamos una sucesi on creciente de puntos de Im( f ) que tienda al supremo. Tenemos
entonces que existe una sucesi on de puntos X
k
en A tales que lm
k
f (X
k
) = s. De la sucesi on X
k

extraemos una subsucesi on convergente X


k
j
, y llamamos al lmite P
M
(que es un punto de A).
Se tiene f (P
M
) = lm
j
f (X
k
j
) = s por ser f continua. De forma an aloga se prueba que f alcanza
su valor mnimo, construyendo una sucesi on de puntos que tienda al nmo de Im( f ).
Corolario 3.12. Sea F : A R
n
R
m
continua. Si A es compacto, entonces F(A) R
m
es
compacto.
Demostraci on. Como F = ( f
1
, , f
m
), y cada f
i
es continua, por el teorema anterior cada coor-
denada del conjunto F(A) est a acotada, y en consecuencia F(A) es acotado. Por otro lado, si
Q F(A), existe X
k
A una sucesi on de puntos tal que F(X
k
) Q en R
m
. Extraemos de X
k
una
subsucesi on convergente X
k
j
a un punto P A. Se tiene, por la continuidad de F,
Q = lm
j
F(X
k
j
) = F(lm
j
X
k
j
) = F(P).
Esto prueba que Q F(A), y por lo tanto F(A) es cerrado.
18
3.2. Caracterizaci on de las funciones continuas
Se tiene la siguiente caracterizaci on F es continua si y s olo si la preimagen de cualquier
abierto es un abierto, con m as precisi on:
Teorema 3.13. Sea F : A R
n
R
m
. Entonces F es continua si y s olo si para todo abierto
W R
m
, el conjunto
F
1
(W) =X A : F(X) W
se puede escribir como la intersecci on AU de un conjunto U R
n
abierto con A.
Demostraci on. Supongamos que F es continua, tomemos W abierto en R
m
. Tomemos P tal que
F(P) W, es decir, P F
1
(W). Como W es abierto, existe r
P
> 0 tal que B
r
P
(F(P)) W.
Como F es continua, dado este r
P
> 0 existe
P
> 0 tal que |X P| <
P
, X A, implican
|F(X) F(P)| < r
P
. Es decir, existe
P
> 0 tal que X AB

P
(P) implica F(X) B
r
P
(P) W.
Dicho de otra forma, F(B

P
(P) A) W. Como esto se puede hacer para cualquier P F
1
(W),
podemos tomar U =
PF
1
(W)
B

P
(P) que por ser de uni on de abiertos es abierto, y se tiene
F
1
(W) =U A
como queramos.
La otra implicaci on es similar, queda como ejercicio.
3.3. Continuidad uniforme
Para terminar, una denici on y un teorema
Denici on 3.14. Decimos que una funci on f : A R
n
R
m
es uniformemente continua si dado
> 0, existe > 0 tal que X,Y A y |X Y| < implican |F(X) F(Y)| < .
La denici on nos dice que peque nos movimientos en el dominio provocan peque nos movi-
mientos en la imagen, independientemente de en qu e punto hagamos estos movimientos.
Observaci on 3.15. Una funci on uniformemente continua es continua, puesto que dado P A, y
> 0, se tiene por la denici on que existe > 0 tal que |X P| < implica |f (X) f (P)| < .
Es decir, lm
XP
f (X) = f (P).
Observemos sin embargo, que es habitual para funciones continuas el hecho siguiente: dado
, el necesario para conseguir |F(X) l| < puede depender no s olo de , sino tambi en del
punto P en cuesti on. Un ejemplo sencillo de funci on continua que no es uniformemente continua
es el siguiente.
Ejemplo 3.16. Tomemos f (x) = x
2
en el intervalo (0, +). Entonces si f fuera uniformemente
continua, dado = 2 existira > 0 tal que si x, y > 0 y [xy[ < , entonces [x
2
y
2
[ < 2. Pero si
tomamos y =
2

, x = y +

2
(que verican las hip otesis), entonces
[x
2
y
2
[ =

(y +

2
)
2
y
2

= 2+

2
4
= 1.
19
Sin embargo, en dominios cerrados y acotados, no hay distinci on, pues
Teorema 3.17. (Heine-Cantor) Si F : A R
n
R
m
es continua y A es compacto, entonces F es
uniformemente continua.
Demostraci on. Si F no fuera uniformemente continua, existira > 0 tal que para cada k N
existiran X
k
e Y
k
en A tales que |X
k
Y
k
| <
1
k
, pero
|F(X
k
) F(Y
k
)| . (2)
Como A es compacto, se tiene una subsucesi on X
k
j
convergente a un punto X A. Observemos
que
|Y
k
j
X| |Y
k
j
X
k
j
|+|X
k
j
X| <
1
k
j
+|X
k
j
X|,
luego debe ser tambi en Y
k
j

j
X. Como F es continua, lm
j
F(X
k
j
) = lm
j
F(Y
k
j
) = F(X). Pero
esto contradice la desigualdad (2).
Referencias
[1] J.E. Marsden, A.J. Tromba, C alculo vectorial. Ed. Addison-Wesley Iberoamericana, Argen-
tina, 1991.
20