CAP

ITULO II.
CONTINUIDAD DE
FUNCIONES DE VARIAS
VARIABLES
SECCIONES
1. Dominios y curvas de nivel.
2. Calculo de lmites.
3. Continuidad.
55
1. DOMINIOS Y CURVAS DE NIVEL.
Muchos problemas geometricos y fsicos conducen a funciones de varias va-
riables. Por ejemplo, el area de un rectangulo viene dado por la funcion
f(x, y) = xy, donde x es la base e y la altura, la distancia de un punto
del espacio P = (x, y, z) al origen corresponde a la funcion f(x, y, z) =
_
x
2
+y
2
+z
2
, etc. De ah que sea necesario extender los conceptos y la
teora de funciones reales de variable real a funciones vectoriales de varias
variables.
En general, una funcion vectorial de m variables f : R
m
R
n
denida
por f(x
1
, . . . , x
m
) = (y
1
, . . . , y
n
) se escribira como un vector (f
1
, . . . , f
n
) de
funciones f
i
: R
m
R denidas por f
i
(x
1
, . . . , x
m
) = y
i
(i = 1, . . . , n).
Destacaremos los casos particulares siguientes:
Si n = 1, tenemos una funcion real de mvariables (que llamaremos campo escalar).
Si m = 1, tenemos una funcion vectorial de una variable (o campo vectorial).
Ejemplos inmediatos de ambos casos son las rectas f : R R
3
en el espacio
tridimensional, denidas por f(t) = (x
0
, y
0
, z
0
) +t(a, b, c), y los planos, que
son funciones f : R
2
R denidas por f(x, y) = ax +by +c.
Los conceptos basicos relativos a propiedades globales de estas funciones son
los siguientes:
Dominio de f:
D(f) =

x = (x
1
, . . . , x
m
) R
m
: f(

x ) R
n
.
Rango o imagen de f:
R(f) =

y = (y
1
, . . . , y
n
) R
n
:

x = (x
1
, . . . , x
m
) D(f), f(

x ) =

y .
Decimos que una funcion esta acotada cuando su imagen es un con-
junto acotado.
Graca de f:
G(f) = (x
1
, . . . , x
m
, y
1
, . . . , y
n
) R
m+n
: (y
1
, . . . , y
n
) = f(x
1
, . . . , x
m
).
En el caso particular de funciones f : R
2
R, es importante destacar el
concepto de curvas de nivel, que son los conjuntos de la forma
C
k
= (x, y) D(f) : f(x, y) = k,
para valores k R, pues representan el conjunto de puntos del dominio cuya
imagen toma el valor constante k. Como en este caso la graca de la funcion
56
es una supercie, las curvas de nivel corresponden a los conjuntos de puntos
que estan a la misma altura de dicha supercie; permiten ver las variaciones
de altitud en un dominio dado y en algunos casos hacerse una idea de la
propia supercie.
Se denen analogamente las supercies de nivel en el caso de funciones f :
R
3
R como los conjuntos
S
k
= (x, y, z) D(f) : f(x, y, z) = k, k R.
PROBLEMA 2.1
Describir los conjuntos de nivel f(x
1
, . . . , x
n
) = k, para los valores
de k indicados, de las siguientes funciones:
(a) f(x, y) = x
2
+y
2
, k = 0, 1, 2, 3.
(b) f(x, y) =
_
x
2
+y
2
, k = 0, 1, 2, 3.
(c) f(x, y, z) = x
2
+y
2
, k = 0, 1, 2.
(d) f(x, y) = x
2
y
2
, k = 2, 1, 0, 1, 2.
(e) f(x, y) = e
xy
, k = e
2
, e
1
, 1, e, e
2
.
(f) f(x, y) = cos(x +y), k = 1, 0, 1/2,

2/2, 1.
Solucion
(a) La ecuacion x
2
+y
2
= k representa una circunferencia de centro el origen
y radio

k. Las curvas de nivel indicadas son entonces las siguientes
(para k = 0, la curva de nivel se reduce al punto (0, 0)):
Con esta informacion podemos deducir que la graca tiene la siguiente
forma (se trata de un paraboloide de revolucion):
57
(b) Las ecuaciones
_
x
2
+y
2
= k tambien representan circunferencias de
centro el origen, pero de radio k, lo que hace que el crecimiento de
dicho radio con respecto a k sea lineal. Las curvas de nivel son:
mientras que la supercie es ahora la de un cono:
(c) Como la funcion es ahora de tres variables, las ecuaciones x
2
+y
2
= k
son las supercies de nivel de la funcion y representan cilindros cuyo
eje es el eje Z y el radio

k (para k = 0 degenera en una recta).
58
(El cilindro exterior no esta completo para mayor claridad en la ilus-
tracion.)
Observar que la graca de la funcion es ahora una region del espacio
R
4
y, por tanto, no es posible su representacion graca en un plano.
(d) En este caso, las curvas x
2
y
2
= k representan hiperbolas, cuyo eje
real es el eje X si k > 0 y es el eje Y cuando k < 0 (en el caso
k = 0 degenera en las rectas x = y y x = y). La graca es la de un
paraboloide hiperbolico y su forma es la siguiente:
(e) Las ecuaciones e
xy
= k o, en forma equivalente, xy = lnk, tambien
representan hiperbolas pero en este caso sus asntotas son los ejes de
coordenadas (salvo el caso k = 1 que degenera en las rectas x = 0 e
y = 0). Las curvas de nivel y la graca de la funcion son de la forma
que indican las guras:
59
(f) Observamos que, en este caso, cada curva de nivel cos(x + y) = k
produce un n umero innito de rectas x + y = arc cos k + 2n, para
cualquier n Z. Esto quiere decir que la supercie es periodica (es
decir, si x

= x + , y

= y + , entonces cos(x + y) = cos(x

+ y

)).
No representamos las curvas de nivel pues no dan informacion sobre
la graca de la supercie pero s ilustramos la forma de la propia
supercie:
60
PROBLEMA 2.2
Dibujar algunas curvas de nivel de las funciones que se indican y
deducir la graca de las mismas:
(a) f(x, y) = 3x + 2y + 1.
(b) f(x, y) = (100 x
2
y
2
)
1/2
.
(c) f(x, y) = [y[.
(d) f(x, y) =
_
_
x
2
+y
2
si x 0,
[y[ si x < 0.
Solucion
(a) Las curvas de nivel f(x, y) = k son las rectas paralelas 3x+2y = k 1,
lo que corresponde a un plano de la forma indicada en la gura.
(b) Si k < 10, las curvas de nivel f(x, y) = k son circunferencias centradas
61
en el origen y radio

100 k
2
. La supercie es la esfera centrada en
el origen y radio 10.
(c) Cada curva de nivel f(x, y) = k es el par de rectas y = k, y = k, lo
que da lugar a la supercie que se indica en la graca.
(d) En este caso, la curva de nivel f(x, y) = k esta compuesta por el par
de semirrectas y = k, y = k, para x < 0, y la semicircunferencia
x
2
+y
2
= k
2
, para x 0. Queda por tanto una supercie de la forma
indicada en la gura.
62
PROBLEMA 2.3
Hallar los dominios de las siguientes funciones:
(a) f(x, y) =
_
1 x
2
y
2
.
(b) f(x, y) =

x
2
4 +
_
4 y
2
.
(c) f(x, y) =

y senx.
(d) f(x, y, z) = ln(x/yz).
Solucion
(a) El dominio sera el conjunto (x, y) R
2
: 1 x
2
y
2
0 (debido a la
existencia de una raz cuadrada). Esto es equivalente a la desigualdad
x
2
+y
2
1, de modo que
D(f) = (x, y) R
2
: x
2
+y
2
1,
que es precisamente la bola unidad.
(b) Para que existan ambas races cuadradas, debe vericarse simultanea-
mente que
x
2
4 0 y 4 y
2
0,
sistema que, al resolver, da como solucion [x[ 2, [y[ 2. Entonces
D(f) = (x, y) R
2
: [x[ 2, [y[ 2,
cuya graca es la de la gura adjunta:
63
(c) En este caso, los puntos del dominio deben vericar la inecuacion
y senx 0, la cual se descompone en las dos siguientes:
y 0 , senx 0
y 0 , senx 0,
es decir, para los valores de x donde senx 0, estan en el dominio los
puntos del semiplano superior y, para los valores de x donde senx 0,
estan en el dominio los puntos del semiplano inferior. La graca es la
siguiente:
(d) Para que un punto (x, y, z) este en el dominio, debe vericarse que
x/(yz) > 0, lo que equivale al siguiente conjunto de desigualdades:
x > 0 , y > 0, z > 0
x > 0 , y < 0, z < 0;
x < 0 , y > 0, z < 0;
x < 0 , y < 0, z > 0.
Este sistema esta formado por los octantes primero, tercero, sexto y
octavo de la supercie R
3
.
64
PROBLEMA 2.4
Sea f : R
2
R
2
la funcion denida por f(x, y) = (2x, y + 1). Si
llamamos A = [0, 1] [0, 1] y B = (x, y) R
2
: x
2
+y
2
1, calcular
f(A), f(B), f
1
(A) y f
1
(B).
Solucion
(a) Para calcular f(A), tomemos un punto (x, y) A. Entonces
0 x 1
0 y 1
_
=
_
0 2x 2
1 y + 1 2
_
= f(x, y) [0, 2] [1, 2],
de modo que f(A) = [0, 2] [1, 2].
Analogamente, si (x, y) B y llamamos (u, v) = f(x, y), entonces
u = 2x, v = y+1 = u/2 = x, v1 = y = (u/2)
2
+(v1)
2
= x
2
+y
2
.
As pues, si x
2
+y
2
1,
u
2
4
+ (v 1)
2
1, que corresponde a la region
limitada por la elipse de la gura.
65
f(B)
(b) Calculemos a continuacion las imagenes inversas de los conjuntos A y
B. Por denicion, dado cualquier conjunto G,
f
1
(G) = (x, y) R
2
: f(x, y) G.
En particular, f
1
(A) = (x, y) R
2
: (2x, y + 1) A. Resulta as:
0 2x 1 = 0 x 1/2
0 y + 1 1 = 1 y 0
de modo que f
1
(A) = [0, 1/2] [1, 0].
f
1
(A)
Analogamente, el conjunto de puntos que verican (2x, y + 1) B
debe cumplir la relacion 4x
2
+ (y + 1)
2
1, y la imagen inversa de B
es la region limitada por la elipse de la gura.
66
f
1
(B)
67
2. C

ALCULO DE L

IMITES.
Consideremos una funcion arbitraria f : R
m
R
n
con dominio D(f) = D.
Sean S D,

x
0
R
m
,

y
0
R
n
.
Diremos que lm
xx
0
xS
f(x) = y
0
(en palabras, el lmite de f en

x
0
a lo largo de
S es igual a

y
0
), cuando
> 0, > 0 : f(x) B(y
0
, ), x (B(x
0
, ) x
0
) S.
Equivalentes a este enunciado son los siguientes:
> 0, > 0 : f
_
(B(x
0
, ) x
0
) S
_
B(y
0
, );
> 0, > 0 : 0 < |x x
0
| < , x S = |f(x) y
0
| < .
Esta denicion es una simple extension de la denicion usual de lmite de
una funcion real donde se sustituye la distancia en R (dada por el valor
absoluto) por la distancia en cada uno de los espacios metricos R
m
y R
n
(dada por la correspondiente norma eucldea).
Observemos que la denicion no tiene sentido si x
0
, S

pues, en este caso,

(B(x
0
, )x
0
)S = y cualquier punto puede ser el lmite de una funcion
en x
0
. En el caso de que S = D, y no haya lugar a confusion, escribiremos
simplemente lm
xx
0
f(x).
Enunciamos a continuacion las siguientes propiedades basicas del lmite.
Teorema 1. Si existe lm
xx
0
xS
f(x), este lmite es unico.
Teorema 2. Sea T S D. Entonces
lm
xx
0
xS
f(x) = y
0
= lm
xx
0
xT
f(x) = y
0
(ver problemas 2.6 y 2.8).
Teorema 3 (Operaciones algebraicas con el lmite.) Dadas dos funciones
f : D
1
R
m
R
n
y g : D
2
R
m
R
n
, y un conjunto S D
1
D
2
, si
lm
xx
0
xS
f(x) = y
1
y lm
xx
0
xS
g(x) = y
2
, entonces:
(a) lm
xx
0
xS
(f +g)(x) = y
1
+y
2
.
(b) lm
xx
0
xS
(f)(x) = y
1
.
68
(c) lm
xx
0
xS
f(x) g(x) = y
1
y
2
.
(d) lm
xx
0
xS
|f(x)| =
_
_
lm
xx
0
f(x)
_
_
.
Proposicion 4. Si descomponemos la funcion f : D R
m
R
n
en sus
componentes f(x) =
_
f
1
(x), . . . , f
n
(x)
_
, donde cada f
i
: D R (1 i n),
entonces
lm
xx
0
xS
f(x) = (a
1
, . . . , a
n
) lm
xx
0
xS
f
i
(x) = a
i
, 1 i n.
Proposicion 5. Dada una funcion f : R
2
R, si existe lm
(x,y)(x
0
,y
0
)
f(x, y) =
L, y existen tambien los lmites de una variable lm
xx
0
f(x, y) y lm
yy
0
f(x, y),
entonces existen y son iguales los llamados lmites iterados
lm
yy
0
_
lm
xx
0
f(x, y)
_
= lm
xx
0
_
lm
yy
0
f(x, y)
_
= L.
[Esta propiedad esta demostrada en el problema 2.7]. De esta propiedad se
deduce en particular que, si existen los lmites iterados pero son distintos,
entonces no existe el lmite de la funcion.
Resultados similares se pueden obtener para funciones de mas de dos varia-
bles.
PROBLEMA 2.5
Utilizando la denicion de lmite, demostrar que
lm
(x,y)(4,1)
(3x 2y) = 14.
Solucion
Se trata de probar que, dado cualquier > 0, se puede encontrar > 0 tal
que
[3x 2y 14[ < cuando d
_
(x, y), (4, 1)
_
< .
69
Para ello obtenemos de la condicion la siguiente cadena de desigualda-
des:
d
_
(x, y), (4, 1)
_
< =
_
(x 4)
2
+ (y + 1)
2
<
= (x 4)
2
<
2
, (y + 1)
2
<
2
= [x 4[ < , [y + 1[ < .
Como
[3x 2y 14[ = [3(x 4) 2(y + 1)[ 3[x 4[ + 2[y + 1[,
de lo anterior deducimos que
[3x 2y 14[ < 3 + 2 = 5.
Basta pues elegir = /5 para que [3x2y14[ < cuando d
_
(x, y), (4, 1)
_
<
.
PROBLEMA 2.6
Sea f : D R
m
R
n
, x
0
R
m
, y
0
R
n
, T S D. Probar que
lm
xx
0
xS
f(x) = y
0
= lm
xx
0
xT
f(x) = y
0
.
Solucion
La hipotesis del problema se traduce, seg un la denicion, en la condicion
siguiente:
lm
xx
0
xS
f(x) = y
0
> 0, > 0 : f
_
S B

(x
0
, )
_
B(y
0
, )
(donde B

(x
0
, ) representa la bola de centro x
0
y radio excluyendo el
propio punto x
0
).
Ahora bien, como T S, entonces T B

(x
0
, ) S B

(x
0
, ) con lo
que
f
_
T B

(x
0
, )
_
f
_
S B

(x
0
, )
_
B(y
0
, ).
Luego,
> 0, > 0 : f
_
T B

(x
0
, )
_
B(y
0
, ),
es decir lm
xx
0
xT
f(x) = y
0
.
70
En la practica este resultado es importante puesto que, si elegimos adecuada-
mente un subconjunto T S (para el que sea facil el calculo del lmite), una
condicion necesaria para que lm
xx
0
xS
f(x) = y
0
es que lm
xx
0
xT
f(x) = y
0
.
El recproco no es cierto, como se comprueba en el problema 2.14.
PROBLEMA 2.7
Se considera la funcion z = f(x, y). Supongamos que existen
lm
(x,y)(x
0
,y
0
)
f(x, y) = L, lm
xx
0
f(x, y) y lm
yy
0
f(x, y). Probar que existe
lm
yy
0
_
lm
xx
0
f(x, y)
_
= lm
xx
0
_
lm
yy
0
f(x, y)
_
= L.
Solucion
Probaremos aqu que, si lm
(x,y)(x
0
,y
0
)
f(x, y) = L y lm
xx
0
f(x, y) = G(y),
entonces lm
yy
0
G(y) = L (el otro caso se comprueba de forma analoga).
Sea para ello > 0 arbitrario. Por hipotesis, existe
1
> 0 tal que
[f(x, y) L[ < /2 si
_
[x x
0
[
2
+[y y
0
[
2
<
1
.
En particular,
[f(x, y) L[ < /2 si [x x
0
[ <
1

2/2 y [y y
0
[ <
1

2/2.
La segunda hipotesis indica que tambien existe
2
> 0 tal que
[f(x, y) G(y)[ < /2 si [x x
0
[ <
2
.
Eligiendo ahora = mn
1

2/2,
2
, las dos desigualdades anteriores se
verican simultaneamente y resulta:
[G(y)L[ = [G(y)f(x, y)+f(x, y)L[ [G(y)f(x, y)[+[f(x, y)L[ <
si [y y
0
[ < , lo que prueba que lm
yy
0
G(y) = L.
Este resultado nos muestra que para la existencia e igualdad de los lmites
iterados no es suciente la existencia del lmite de la funcion: hace falta
tambien la existencia de los lmites de funciones de una variable. Observemos
ademas que el recproco no es cierto (ver problema 2.12).
71
PROBLEMA 2.8
Calcular lm
(x,y)(0,0)
x
2
+y
2
[x[ +[y[
.
Solucion
En este ejercicio, el dominio de la funcion es S = R
2
(0, 0) y consideramos
el subconjunto T = (x, mx) : x R 0. Tenemos entonces
lm
(x,y)(0,0)
(x,y)T
x
2
+y
2
[x[ +[y[
= lm
(x,mx)(0,0)
x
2
+ (mx)
2
[x[ +[mx[
= lm
x0
(1 +m
2
)x
2
(1 +[m[)[x[
= 0.
De acuerdo con el resultado del problema 2.6, si existiera el lmite pedido,
este debe ser cero. Debemos probar pues que
> 0, > 0 : 0 <
_
x
2
+y
2
< =
x
2
+y
2
[x[ +[y[
< .
En efecto, como [x[
_
x
2
+y
2
< , [y[
_
x
2
+y
2
< y
x
2
+y
2
[x[ +[y[

x
2
+y
2
+ 2[x[ [y[
[x[ +[y[
=
([x[ +[y[)
2
[x[ +[y[
= [x[ +[y[ < 2,
basta elegir = /2 para que
x
2
+y
2
[x[ +[y[
< .
Sera com un en este tipo de problemas utilizar trayectorias del tipo y = mx.
As, si el lmite es el mismo para todas ellas, el resultado es un candidato a
ser el lmite de la funcion, pero si dicho lmite vara con cada trayectoria, la
funcion no tiene lmite.
PROBLEMA 2.9
Hallar lm
(x,y)(0,0)
e
xy
1
senx ln(1 +y)
.
72
Solucion
Haciendo u = x y, podemos escribir
e
xy
= e
u
= 1 +
u
1!
+
u
2
2!
+ = 1 +xy +
x
2
y
2
2
+. . . ,
con lo que tenemos la equivalencia entre innitesimos e
xy
1 xy.
Teniendo en cuenta las equivalencias ya conocidas para funciones de una
variable
senx x, ln(1 +y) y,
obtenemos directamente que
lm
(x,y)(0,0)
e
xy
1
senx ln(1 +y)
= lm
(x,y)(0,0)
xy
xy
= 1.
PROBLEMA 2.10
Calcular L = lm
(x,y)(0,1)
x +y 1

1 y
.
Solucion
Multiplicando numerador y denominador por

x +

1 y, tenemos:
L = lm
(x,y)(0,1)
(x +y 1)(

x +

1 y)
x 1 +y
= lm
(x,y)(0,1)
(

x +
_
1 y) = 0.
PROBLEMA 2.11
Calcular lm
(x,y)(0,0)
2xy
x
2
+y
2
.
Solucion
Si tendemos hacia el origen seg un la recta y = mx, obtenemos:
lm
(x,y)(0,0)
y=mx
2xy
x
2
+y
2
= lm
x0
2mx
2
x
2
+m
2
x
2
=
2m
1 +m
2
.
73
Como indica el resultado, este vara seg un los distintos valores de m, lo que
indica que la funcion dada carece de lmite en el origen. Sin embargo, es facil
comprobar que los lmites iterados son ambos iguales a cero, lo que muestra
de nuevo que la existencia e igualdad de los lmites iterados no es condicion
suciente para la existencia de lmite.
En la graca de las curvas de nivel se observa que estas tienden a cortarse
en el origen, lo que intuitivamente signica que el lmite en este punto no
existe.
PROBLEMA 2.12
Probar que f(x, y) =
_
sen(1/y) si y ,= 0
0 si y = 0
tiene lmite cero cuando
(x, y) (0, 0) pero los lmites iterados son distintos. Por que es
posible esta situacion?
Solucion
Como lm
y0
xsen(1/y) no existe, tampoco existe el lmite iterado
lm
x0
_
lm
y0
xsen(1/y)
_
.
Por otra parte, como lm
x0
xsen(1/y) = 0, tambien
lm
y0
_
lm
x0
xsen(1/y)
_
= 0.
Una de las condiciones necesarias para que el lmite de la funcion coincida
con los lmites iterados es que ambos existan. Como dicha condicion no
74
se cumple, no se puede aplicar la propiedad. Sin embargo, en este caso el
lmite existe y vale cero, pues dado cualquier > 0, basta elegir = para
que
|(x, y)| < = [x[ < , [y[ <
= [xsen(1/y)[ [x[ <
= [f(x, y) 0[ < .
PROBLEMA 2.13
Hallar los siguientes lmites o justicar su existencia:
(a) lm
(x,y)(0,0)
x
2
y
2
x
2
+y
2
.
(b) lm
(x,y)(0,2)
sen(xy)
x
.
(c) lm
(x,y)(0,0)
(x
2
+y
2
) sen
1
xy
.
(d) lm
(x,y)(0,0)
x[y[
_
x
2
+y
2
.
Solucion
(a) Calculemos en primer lugar los lmites iterados:
lm
y0
_
lm
x0
x
2
y
2
x
2
+y
2
_
= lm
y0
(1) = 1;
lm
x0
_
lm
y0
x
2
y
2
x
2
+y
2
_
= lm
x0
1 = 1.
75
Deducimos de este resultado que no existe el lmite propuesto.
Las gracas siguientes muestran diferentes curvas de nivel de la funcion
(las cuales tienden a cortarse en el origen) y la forma de la supercie,
donde se puede comprobar intuitivamente que el lmite buscado no
existe.
(b) Comprobemos nuevamente la existencia de los lmites iterados:
lm
y2
_
lm
x0
sen(xy)
x
_
= lm
y2
y = 2;
lm
x0
_
lm
y2
sen(xy)
x
_
= lm
x0
sen(2x)
x
= 2.
Para comprobar que, efectivamente, el lmite de la funcion es 2, apli-
camos el teorema de la funcion intermedia. Como
y cos(xy)
sen(xy)
x
y si x > 0,
y
sen(xy)
x
y cos(xy) si x < 0,
y las dos funciones de los extremos tienen lmite 2 cuando (x, y)
(0, 2), resulta que la funcion propuesta tambien tiene lmite 2.
(c) Al igual que en el apartado anterior, debido a que
(x
2
+y
2
)

(x
2
+y
2
) sen
1
xy

x
2
+y
2
,
76
y como el lmite de ambos extremos es cero, la funcion propuesta tiene
lmite cero en el origen. Observemos sin embargo que no existen los
lmites iterados.
(d) Calculamos en primer lugar los lmites iterados:
lm
y0
_
lm
x0
x[y[
_
x
2
+y
2
_
= lm
y0
0 = 0;
lm
x0
_
lm
y0
x[y[
_
x
2
+y
2
_
= lm
x0
0 = 0.
Para demostrar que, efectivamente, el lmite es cero, utilizamos la si-
guiente desigualdad:
([x[ [y[)
2
0 = x
2
+y
2
2[xy[ 0 = 2[xy[ x
2
+y
2
=
[xy[
_
x
2
+y
2

_
x
2
+y
2
2
=
_
x
2
+y
2
2

x[y[
_
x
2
+y
2

_
x
2
+y
2
2
.
Nuevamente, los lmites de las funciones en los extremos son iguales a
cero, por lo que el lmite de la funcion propuesta tambien es cero.
PROBLEMA 2.14
Hallar lm
(x,y)(0,0)
f(x, y) si f(x, y) =
_
0 si y 0 o y x
2
1 si 0 < y < x
2
.
Solucion
En la graca siguiente se describen los valores de la funcion en cada region
del plano.
77
Observemos que, en cualquier entorno del origen, todas las rectas y = mx
estan contenidas en la region (x, y) : y 0 o y x
2
. En esta region
la funcion toma el valor cero, lo que signica que, a lo largo de cualquier
trayectoria del tipo y = mx el lmite de la funcion es cero:
lm
(x,y)(0,0)
y=mx
f(x, y) = 0.
Sin embargo, todos los puntos de la parabola y = x
2
/2, salvo el origen, estan
contenidos en la region (x, y) : 0 < y < x
2
, donde la funcion toma el valor
1. Esto signica que
lm
(x,y)(0,0)
y=x
2
/2
f(x, y) = 1.
Como hemos encontrado dos trayectorias para las cuales el lmite es distinto,
deducimos que dicho lmite no existe.
78
3. CONTINUIDAD.
Decimos que una funcion f : R
m
R
n
con dominio D es continua en un punto

x
0
D cuando
> 0, > 0 : f(x) B(f(x
0
), ), x B(x
0
, ) D,
condicion equivalente a cualquiera de las siguientes:
> 0, > 0 : f
_
B(x
0
, ) D
_
B
_
f(x
0
),
_
;
> 0, > 0 : |x x
0
| < , x D = |f(x) f(x
0
)| < .
Si x
0
D

, lo anterior implica que lm

xx
0
xD
f(x) = f(x
0
).
Enunciamos algunas propiedades y caracterizaciones de las funciones conti-
nuas.
Teorema 1 (Caracterizacion por sucesiones.) Sea f : D R
m
R
n
y

x
0
D. Entonces f es continua en

x
0
si y solo si
x
n

n1
D, x
n
x
0
= f(x
n
) f(x
0
),
es decir lm
n
f(x
n
) = f( lm
n
x
n
).
Teorema 2 (Continuidad de la funcion compuesta.) Sean f : R
m
R
n
,
g : R
n
R
p
funciones arbitrarias. Si f es continua en

x
0
y g es continua
en

f(x
0
), entonces g f es continua en

x
0
.
Teorema 3 (Continuidad de las operaciones algebraicas.) Sean f : R
m
R
n
y g : R
m
R
n
funciones continuas en

x
0
. Entonces f + g, f, f g y |f|
son continuas en

x
0
.
Teorema 4. Si f
k
: R
m
R (1 k n) son las componentes de f :
R
m
R
n
, entonces f es continua en

x
0
si y solo si cada f
k
es continua en

x
0
.
Este resultado permite simplicar el estudio de la continuidad de una funcion
al de la continuidad de n funciones reales.
Denimos tambien el concepto de continuidad global: decimos que una fun-
cion f : R
m
R
n
es continua en un conjunto A R
m
cuando lo es en todos
los puntos del conjunto.
Son importantes en este contexto las siguientes propiedades.
Teorema 5. Una funcion f : R
m
R
n
es continua en R
m
si y solo si
f
1
(B) es abierto, para cualquier abierto B R
n
.
79
Corolario 6. Una funcion f : R
m
R
n
es continua si y solo si f
1
(F) es
cerrado, para cualquier cerrado F R
n
.
Teorema 7. Sea M R
m
un compacto y f : R
m
R
n
continua en M.
Entonces f(M) es compacto.
Corolario 8. Sea f : R
m
R continua en un compacto M R
m
. Entonces
f alcanza los valores maximo y mnimo, es decir
x
1
, x
2
M : f(x
1
) f(x) f(x
2
), x M.
Este es el llamado teorema de Weierstrass, que asegura la existencia de
extremos para una funcion real.
Teorema 9. Sea f : R
m
R
n
inyectiva. Si D R
m
es compacto y f
continua en D, entonces f
1
es continua en f(D).
Teorema 10. Sea f : R
m
R
n
una funcion continua en M R
m
. Si M
es conexo, f(M) es tambien conexo.
Un concepto mas preciso corresponde al de continuidad uniforme. Decimos
que una funcion f : R
m
R
n
es uniformemente continua en A R
m
cuando
> 0, > 0 : |a b| < = |f(a) f(b)| < , a, b A.
Es evidente que toda funcion uniformemente continua es continua. Una es-
pecie de recproco es el siguiente resultado.
Teorema 11. Sea f : R
m
R
n
continua y A R
m
un conjunto compacto.
Entonces f es uniformemente continua en A.
PROBLEMA 2.15
Estudiar la continuidad de la funcion
f(x, y) =
_
1
1x
2
y
2
si x
2
+y
2
,= 1
0 si x
2
+y
2
= 1.
Solucion
La funcion es continua en los puntos que no pertenecen a la circunferencia
unidad S = (x, y) R
2
: x
2
+y
2
= 1. Sin embargo, no lo es en los puntos
80
de S pues, si a
2
+b
2
= 1:
lm
(x,y)(a,b)
f(x, y) = .
PROBLEMA 2.16
Estudiar la continuidad de la funcion
f(x, y) =
_
sen
2
(xy)
|x|+|y|
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0).
Solucion
Basta estudiar la continuidad de la funcion en el origen. Ahora bien, debido
a las desigualdades
0
sen
2
(x y)
[x[ +[y[

[x y[
2
[x[ +[y[

[x[
2
+[y[
2
+ 2[x[ [y[
[x[ +[y[
[x[ +[y[,
es evidente que lm
(x,y)(0,0)
f(x, y) = 0 = f(0, 0).
81
PROBLEMA 2.17
Determinar los puntos de discontinuidad de la funcion
f(x, y) =
x
2
+ 2xy +y
2
x
2
y
2
.
Solucion
Debido a que D(f) = (x, y) R
2
: x + y ,= 0, x y ,= 0, la funcion
es obviamente discontinua en todos los puntos de las rectas y = x, y =
x.
Ahora bien, como
f(x, y) =
(x +y)
2
(x +y)(x y)
=
x +y
x y
si x +y ,= 0,
entonces lm
(x,y)(x
0
,x
0
)
f(x, y) (para x
0
,= 0) no existe.
Sin embargo, lm
(x,y)(x
0
,x
0
)
f(x, y) = 0 (para x
0
,= 0), por lo que la disconti-
nuidad es evitable en los puntos de la recta x +y = 0.
Por ultimo, en el origen tampoco existe el lmite de la funcion.
En efecto,
lm
x0
y=mx
x +y
x y
= lm
x0
(1 +m)x
(1 m)x
=
(1 +m)
(1 m)
,
resultado que, evidentemente, vara seg un el valor de m.
82
PROBLEMA 2.18
Estudiar la continuidad de la funcion
f(x, y) =
_
x+sen(x+y)
x+y
si x +y ,= 0
0 si x +y = 0.
Solucion
Escribimos la funcion como
f(x, y) =
x
x +y
+
sen(x +y)
x +y
si x +y ,= 0.
Distinguimos el origen del resto de los puntos de la recta x +y = 0.
i) En el origen, lm
(x,y)(0,0)
sen(x +y)
x +y
= 1 pero
lm
x0
_
lm
y0
x
x +y
_
= lm
x0
1 = 1,
lm
y0
_
lm
x0
x
x +y
_
= lm
y0
0 = 0,
de modo que no existe el lmite.
ii) En el resto de los puntos de la recta x +y = 0 es x ,= 0; por tanto,
lm
(x,y)(x
0
,x
0
)
x
x +y
= .
En denitiva, la funcion es discontinua en todos los puntos de la recta
x +y = 0.
PROBLEMA 2.19
Estudiar la continuidad de la funcion
f(x, y) =
_
x
2
y
2
x
4
+y
4
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0).
83
Solucion
Necesitamos estudiar unicamente la continuidad de la funcion en el origen.
Es facil comprobar que los lmites iterados son ambos iguales a cero. Sin
embargo, si calculamos el lmite a lo largo de una recta arbitraria y = mx,
tenemos:
lm
(x,y)(0,0)
y=mx
f(x, y) = lm
x0
f(x, mx) = lm
x0
m
2
x
4
x
4
(1 +m
4
)
=
m
2
1 +m
4
.
Como este lmite depende del valor de m, deducimos que no existe el lmite
de la funcion y, en consecuencia, no es continua en el origen.
PROBLEMA 2.20
Estudiar la continuidad de la funcion
f(x, y) =
_
y
2
x(x+y)
si x ,= 0, x +y ,= 0
0 en el resto.
Solucion
i) En los puntos (x
0
, y
0
) tales que x
0
,= 0 y x
0
+ y
0
,= 0, la funcion es
evidentemente continua.
ii) En los puntos (x
0
, y
0
), donde x
0
= 0 o x
0
+y
0
= 0 (distintos del origen),
la funcion no es continua pues no existe el lmite (el denominador se
anula pero el numerador no).
84
iii) En el origen la funcion tampoco es continua pues
lm
x0
y=mx
f(x, y) =
m
2
1 +m
,
resultado que depende del valor de m.
PROBLEMA 2.21
Estudiar la continuidad de la funcion
f(x, y) =
_
x
3
+y
3
x
2
+y
2
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0).
Solucion
Veamos que la funcion es continua en el origen (en el resto ya lo es por su
propia denicion).
Utilizando la desigualdad

x
3
+y
3
x
2
+y
2

x
3
x
2
+y
2

y
3
x
2
+y
2

x
3
x
2

y
3
y
2

= [x[ +[y[
_
x
2
+y
2
+
_
x
2
+y
2
,
elegido cualquier > 0, basta hacer = /2 para que
_
x
2
+y
2
< =

x
3
+y
3
x
2
+y
2

2 = .
85
PROBLEMA 2.22
Estudiar la continuidad de la funcion
f(x, y) =
_
x
2
+y
2
x
2
+y
si x
2
+y ,= 0
0 si x
2
+y = 0.
Solucion
En los puntos que no pertenecen a la parabola x
2
+ y = 0, la funcion es
evidentemente continua. Para estudiar la continuidad en los puntos de la
parabola, distinguiremos dos casos:
i) En el origen la funcion no es continua pues:
lm
x0
_
lm
y0
x
2
+y
2
x
2
+y
_
= 1,
lm
y0
_
lm
x0
x
2
+y
2
x
2
+y
_
= 0.
ii) Fuera del origen la funcion tampoco es continua pues, si (x
0
, y
0
) ,=
(0, 0),
lm
(x,y)(x
0
,y
0
)
x
2
0
+y
0
=0
f(x, y) = .
PROBLEMA 2.23
Estudiar la continuidad de la funcion
f(x, y) =
_
x si [x[ [y[
y si x[ > [y[.
Solucion
La funcion es continua en todos los puntos (x, y) tales que [x[ , = [y[. Debemos
estudiar si lo es en los puntos de las rectas y = x e y = x.
86
i) Recta y = x: lm
(x,y)(x
0
,x
0
)
f(x, y) = x
0
(a un lado de la recta y = x
la funcion toma el valor y y al otro lado de dicha recta el valor que
toma la funcion es x, y ambos tienden a x
0
). De aqu se deduce que la
funcion es continua.
ii) Recta y = x: En cualquier entorno del punto (x
0
, x
0
) la funcion toma
los valores x e y; por tanto, tiene dos posibles lmites, x
0
y x
0
. Esto
quiere decir que no es continua (salvo en el origen).
En la gura adjunta se ilustran los valores de la funcion en las diferentes
regiones del plano donde se observa el comportamiento de la funcion en las
proximidades de los puntos de las rectas y = x e y = x.
PROBLEMA 2.24
Que valor debemos asignar a f(0, 0) para que la funcion
f(x, y) =
1 cos
_
x
2
+y
2
x
2
+y
2
sea continua en (0, 0)?
Solucion
87
Debemos calcular el lmite de la funcion en el origen. Multiplicando nume-
rador y denominador por 1 + cos
_
x
2
+y
2
, resulta:
lm
(x,y)(0,0)
1 cos
_
x
2
+y
2
x
2
+y
2
= lm
(x,y)(0,0)
sen
2
_
x
2
+y
2
(
_
x
2
+y
2
)
2

1
1 + cos
_
x
2
+y
2
=
1
2
.
[Observemos que lm
(x,y)(0,0)
sen
_
x
2
+y
2
_
x
2
+y
2
= 1 lo cual se deduce del teorema
de la funcion intermedia aplicado a la desigualdad cos
_
x
2
+y
2

sen
_
x
2
+y
2
_
x
2
+y
2
1.]
Basta pues denir f(0, 0) = 1/2 y la funcion sera continua en el origen.
PROBLEMA 2.25
Estudiar la continuidad de la funcion
f(x, y, z) =
_
2xy+z2
x+yz1
si x +y z ,= 1
0 si x +y z = 1.
Solucion
Debemos estudiar la continuidad de la funcion en los puntos del plano x +
y z = 1 (en el resto la funcion es obviamente continua). Distinguiremos
dos casos:
i) Si x
0
,= 1, entonces
lm
(x,y,z)(x
0
,y
0
,z
0
)
x
0
+y
0
z
0
=1
f(x, y, z) =
3(x
0
1)
0
= .
ii) Si x
0
= 1, debe ser y
0
= z
0
. Veamos que existen dos lmites iterados
diferentes:
lm
x1
_
lm
yy
0
_
lm
zy
0
2x y +z 2
x +y z 1
_
_
= lm
x1
_
lm
yy
0
2x y +y
0
2
x +y y
0
1
_
= lm
x1
2x 2
x 1
= 2;
lm
yy
0
_
lm
zy
0
_
lm
x1
2x y +z 2
x +y z 1
_
_
= lm
yy
0
_
lm
zy
0
y +z
y z
_
= lm
yy
0
y +y
0
y y
0
= 1.
88
En consecuencia, la funcion tampoco es continua en estos puntos.
PROBLEMA 2.26
Sea f : R
m
R
n
una contraccion, es decir (0, 1) tal que
|f(x) f(y)| |x y|, x, y R
m
.
(a) Probar que f es uniformemente continua.
(b) Probar que existe un unico punto p R
m
tal que f(p) = p (dicho
punto se llama punto jo de f).
Solucion
(a) Basta tomar, dado cualquier > 0, = / y comprobar directamente
la denicion de continuidad uniforme.
(b) Sea x R
m
arbitrario; denimos la sucesion
p
0
= x, p
1
= f(x), . . . , p
n
= f(p
n1
).
Veamos que dicha sucesion es de Cauchy. Para ello, sean n, m N con
m > n:
|p
n
p
n+1
| |p
n1
p
n
|
n
|p
0
p
1
|
= |p
n
p
m
|
m1

k=n
|p
k
p
k+1
| |p
0
p
1
|
m1

k=n

k
< |p
0
p
1
|

k=n

k
= |p
0
p
1
|

n
1
,
expresion que tiende a cero cuando n , debido a que < 1.
Como en R
m
toda sucesion de Cauchy es convergente, existe p =
lm
n
p
n
. Resulta ademas, debido a la continuidad de f, que
f(p) = f( lm
n
p
n
) = lm
n
f(p
n
) = lm
n
p
n+1
= p.
Veamos por ultimo que solo puede haber un punto jo:
Si existieran p, p

R
m
tales que f(p) = p, f(p

) = p

, entonces
|p p

| = |f(p) f(p

)| |p p

| = |p p

| = 0 = p = p

.
89
PROBLEMA 2.27
Probar que la aplicacion | | : R
n
R es uniformemente continua.
Solucion
Debemos probar que, para cualesquier par de puntos

x ,

y R
n
, se cum-
ple:
> 0, > 0 : |

y | < =

x | |

y |

< .
Para ello, probaremos en primer lugar que

x ||

y |

y |.
En efecto, como
|

x | = |

y +

y | |

y | +|

y | = |

x | |

y | |

y |,
|

y | = |

x +

x | |

x | +|

x | = |

y | |

x | |

x |
= |

y | |

x | |

y |,
deducimos que |

x

y | |

x | |

y | |

x

y |, lo que equivale
precisamente a

x | |

y |

y |.
Utilizando esta desigualdad, basta tomar en la denicion de continuidad
= porque si |

y | < , entonces

x | |

y |

y | < = ,
lo que prueba la continuidad uniforme de la funcion.
PROBLEMA 2.28
Probar que toda aplicacion lineal f : R
n
R
m
es continua.
90
Solucion
Veamos en primer lugar que M > 0 tal que |f(

x )| M|

x |,

x
R
n
.
En efecto, si

e
1
, . . . ,

e
n
es la base canonica de R
n
y

x = (x
1
, . . . , x
n
) =
n

i=1
x
i

e
i
,
entonces
|f(

x )| =
_
_
_f
_
n

i=1
x
i

e
i
_
_
_
_ =
_
_
_
n

i=1
x
i
f(

e
i
)
_
_
_

i=1
[x
i
[ |f(

e
i
)| max
1in
[x
i
[
n

i=1
|f(

e
i
)|.
Teniendo en cuenta que max
1in
[x
i
[ |

x |, deducimos que
|f(

x )| |

x |
n

i=1
|f(

e
i
)|,
lo que prueba la desigualdad deseada si llamamos M =
n

i=1
|f(

e
i
)|.
Para probar la continuidad de f, sea > 0 arbitrario. Si hacemos = /M,
de la desigualdad |

y | < deducimos:
|f(

x ) f(

y )| = |f(

y )| M |

y | < M = .
Deducimos as que la funcion es incluso uniformemente continua.
PROBLEMA 2.29
Probar que todas las normas sobre R
n
son equivalentes.
Solucion
Probaremos que la norma eucldea | |
2
es equivalente a cualquier otra.
Por la transitividad de la relacion de equivalencia, esto basta para que dos
normas arbitrarias sean equivalentes entre s.
Para ello consideramos la aplicacion identidad f : (R
n
, | |
2
) (R
n
, | |),
con | | arbitraria.
91
Por ser f lineal y de acuerdo al resultado probado en el problema anterior,
existe M > 0 tal que
|

x | M |

x |
2
.
Tambien se probo en el ejercicio anterior que f es continua. Como ademas la
aplicacion || : (R
n
, ||) R es continua, la composicion |f| es continua. El
conjunto B =

x R
n
: |

x |
2
= 1 es cerrado y acotado, luego compacto.
Como toda aplicacion continua sobre un compacto alcanza el valor mnimo,
existe una constante m = mn|

x | :

x B.
Sea

x R
n
un elemento no nulo; entonces

x /|

x |
2
B, luego |

x |/|

x |
2

m, es decir
|

x | m |

x |
2
(si

x = 0 esta desigualdad es obviamente cierta).
En denitiva, existen dos constantes m, M > 0 tales que
m |

x |
2
|

x | M |

x |
2
,
es decir ambas normas son equivalentes.
92
4. PROBLEMAS PROPUESTOS.
1.- Dibujar algunas curvas de nivel de las funciones que se indican y
esbozar las gracas de las mismas, en caso de ser posible.
(a) f(x, y) = x/y.
(b) f(x, y) = x
2
+xy.
(c) f(x, y) = y/

x.
(d) f(x, y) =
_
2xy
x
2
+y
2
si (x, y) ,= (0, 0),
0 si (x, y) = (0, 0).
(e) f(x, y, z) = 4x
2
+y
2
+ 9z
2
.
(f) f(x, y, z) = sen(x
2
+y
2
+z
2
).
2.- Hallar y representar los dominios de las funciones siguientes:
(a) f(x, y) =
1
x
2
+y
2
.
(b) f(x, y) = 1 +
_
1 (x y)
2
.
(c) f(x, y) = ln(x
2
+y).
(d) f(x, y) =
_
cos(x
2
+y
2
).
3.- Sea f(x, y) =
x
2
y
2
x
2
y
2
+ (x y)
2
. Probar que los lmites iterados en
(0, 0) son iguales pero que no existe el lmite.
4.- Probar que no existe lm
(x,y)(0,0)
x y
x +y
.
5.- Hallar los siguientes lmites o justicar su existencia:
(a) lm
(x,y)(0,0)
sen(x
2
+y
2
)
x
2
+y
2
.
(b) lm
(x,y)(0,0)
(x y)
2
x
2
+y
2
.
(c) lm
(x,y)(0,0)
cos(xy) 1
x
.
93
6.- Calcular el lmite de la funcion f(x, y) =
x
x
2
+y
2
+a
en los puntos
(0, 0) y (1, 1), seg un los valores del parametro a.
7.- Estudiar la continuidad de
(a) f(x, y) = ln
_
x
2
+y
2
.
(b) f(x, y) = cos
1
xy
.
(c) f(x, y) = arc tg(y/x).
(d) f(x, y) =
x
_
x
2
+y
2
.
(e) f(x, y) =
_
_
1 x
2
y
2
si x
2
+y
2
1,
0 si x
2
+y
2
> 1.
8.- Estudiar la continuidad de las siguientes funciones en los puntos
indicados:
(a) f(x, y) =
_
x+y
x
2
+y
si x
2
+y ,= 0
1/2 si (x, y) = (1, 1)
en el punto (1, 1).
(b) f(x, y) =
_
(x +y) sen(1/x) si x ,= 0
0 si x = 0
en (0, 0).
(c) f(x, y) =
_
x
3
y
3
xy
si x ,= y
x +y si x = y
en la recta x = y.
(d) f(x, y) =
_
x
2
y
x
2
+y
2
si (x, y) ,= (0, 0)
0 si (x, y) = (0, 0)
en (0, 0).
9.- Dada la funcion f(x, y) =
1 cos

xy
x
, para x ,= 0, es posible de-
nir f(0, y) para que f sea continua?
10.- Denir, caso de ser posible, f(1, 0) en la funcion f(x, y) =
x 1
_
x
2
2x +y
2
+ 1
,
para que sea continua en dicho punto.
11.- Estudiar la continuidad de la funcion f(x, y) =
_
sen(x+y2)
x+y2
si x +y ,= 2,
1 si x +y = 2,
en los puntos de la recta x +y = 2.
94
12.- Estudiar la continuidad de las funciones
(a) f(x, y) =
_
sen x
sen y
si y , Z
1 si y Z.
(b) f(x, y) =
_
x
2
+y
x
2
y
si x
2
,= y
1 si x
2
= y.
13.- Existe alg un valor de apara el que la funcion
f(x, y) =
_
5x
3
+x
2
+y
2
x
2
+y
2
si (x, y) ,= (0, 0)
a si (x, y) = (0, 0)
es continua en R
2
?
14.- Dadas las funciones f(x, y) = x
2
y
2
, g(x, y) = x + y, estudiar la
continuidad de las funciones f/g y g/f.
15.- Sea f(x, y) =
x
2
+y
2
1
x
2
+x + 1
. Determinar los valores de que ha-
gan
(a) f continua en R
2
.
(b) f continua en (0, 0).
95