Lmites y continuidad de funciones de varias

variables
1

Funciones de varias variables

Definicin 1.1 Llamaremos funcin real de varias variables a toda funcin f : Rn R. Y

llamaremos funcin vectorial de n variables a toda funcin f : Rn Rm . (En ambos casos f
es una funcin de n variables.)
i) f : R2 R dada por f (x, y) = x2 y + ecos y log x 3.

ii) f : R3 R dada por f (x, y, z) = cos(x y 2) + z 5 1 tan(ex+y ).

2 2
x +x +...+x2
n
n
.
iii) f : R R dada por f (x1 , x2 , ..., xn ) = e 1 2

Ejemplo 1.2

iv) f : R3 R2 dada por f (x, y, z) = (x y + z 20, z tan[ezy ]).

v) f : R4 R5 dada por f (x, y, z, t) = (x y, x cos z, t2 + ey , 0, 3 xyzt).
Observacin 1.3 Las funciones que aparecen en los apartados i), ii) y iii) son reales y las de iv) y
v) son vectoriales.
Definicin 1.4 Sea f : Rn Rm (una funcin vectorial). Llamaremos funciones coordenadas
de f a las funciones f1 , f2 , ..., fm : Rn R que verifican que
f (x1 , x2 , ..., xn ) = (f1 (x1 , x2 , ..., xn ), f2 (x1 , x2 , ..., xn ), ..., fm (x1 , x2 , ..., xn )).
En esta situacin pondremos f = (f1 , ..., fm ).
Observacin 1.5 Para el ejemplo iv) anterior se tiene que f : R3 R2 tiene por funciones coordenadas f1 , f2 : R3 R, dadas por f1 (x, y, z) = x y + z 20 y f2 (x, y, z) = z tan[exy ]. Para el
ejemplo v) anterior se tiene que f : R4 R5 tiene por funciones coordenadas
f1 , f2 , f3 , f4 , f5 : R4 R, dadas por f1 (x, y, z, t) = x y, f2 (x, y, z, t) = x cos z,
f3 (x, y, z, t) = t2 + ey , f4 (x, y, z, t) = 0 y f5 (x, y, z, t) = 3 xyzt.
Igual que en el caso de funciones reales de una variable real (f : R R) se entiende por dominio
de una funcin de varias variables al conjunto de puntos de Rn en el cual tienen sentido todas las
expresiones que definen a la funcin. Si f = (f1 , f2 , ..., fm ) es una funcin vectorial se tiene adems
que Domf = Domf1 ... Domfm .
Observacin 1.6 En el ejemplo i) anterior el dominio est formado por todos los puntos (x, y)
que cumplen que x > 0. En el ejemplo ii) el dominio est formado por todos los puntos (x, y, z)
de R3 que verifican z 5 1 0 y cos(ex+y ) 6= 0, simultneamente. En el ejemplo iii) el dominio
1

es todo Rn , as como en el ejemplo v). Finalmente en el ejemplo iv) el dominio est formado por
1
todos los puntos (x, y, z) de R3 que verifican cos(ezy ) 6= 0. Para la funcin f (x, y) = cos( 2
)
x + y2
el dominio es todo R2 salvo el punto (0, 0) (observar que es el nico punto que hace nula la suma
x2 + y 2
de cuadrados x2 + y 2 ). Para la funcin g(x, y) =
el dominio es {(x, y) R2 tales que
xy
xy 6= 0}, en definitiva todo R2 salvo los ejes coordenados x = 0 e y = 0. Y el dominio de la funcin

2
f (x, y) = ( xy , log(x y), x2 1) es Domf = {(x, y) Rn : y 6= 0, x y > 0, x2 1 0}.
La grfica de una funcin f : Rn Rm es el siguiente conjunto de puntos de Rn+m
{(x1 , x2 , ..., xn , f (x1 , x2 , ..., xn )) Rn+m : (x1 , x2 , ..., xn ) Domf }.
Casos donde puede visualizarse la grfica:
Una funcin real de variable real f : R R. En este caso la grfica es una curva en R2 , que
est formada por todos los puntos de la forma (x, f (x)), donde x recorre el dominio de f . sta
es la situacin que hemos analizado en el Tema 6 de la asignatura.
Una funcin real de dos variables f : R2 R. En este caso la grfica es una superficie, que
est formada por todos los puntos de la forma (x, y, f (x, y)), donde (x, y) recorre el dominio
de f . sta ser la situacin que analizaremos por excelencia.
Una funcin vectorial de una variable f : R Rn , cuando n = 2, 3. En este caso tenemos la
grfica de una curva parametrizada en R2 R3 . sta es una situacin especial que se visualiza
de otro modo que no vamos a ver aqu.
Ejemplo 1.7 A continuacin vemos en primer lugar la grfica de la superficie z = x2 + y 2 , y en
segundo lugar la de la superficie z = x2 y 2 .

Debido a la complejidad existente en general a la hora de abordar el problema de la representacin

grfica de una superficie se hace necesario otro recurso que facilite en buena medida esta labor. As
podemos utilizar las curvas de nivel, que son las proyecciones sobre el plano OXY de los puntos
de la superficie que estn a cierta altura constante (para cada altura k al hacer la proyeccin sobre
el plano OXY de la superficie obtenemos la curva de nivel {(x, y) : f (x, y) = k).
2

Ejemplo 1.8 Consideremos la esfera de ecuacin x2 + y 2 + z 2 = 1. Las curvas de nivel nos dan
circunferencias (basta con sustituir z por una constante k en la ecuacin de la esfera).

Lmite de funciones de varias variables

La idea intuitiva de lmite es similar a la del caso de funciones reales de una variable real, con las
generalizaciones correspondientes.
Consideremos una funcin real de varias variables f : X Rn R y x0 = (a1 , a2 , ..., an ) un
punto de acumulacin de X (recordemos que esto se da cuando toda bola centrada en x0 contiene
infinitos puntos de X; en adelante cuando estudiemos el lmite en un punto siempre supondremos
que estamos con un punto de acumulacin).
Diremos que L R es el lmite de f cuando x = (x1 , x2 , ..., xn ) tiende hacia x0 a travs de
X (tambin se dice lmite restringido a X), y lo denotaremos por
lim

(x1 ,x2 ,...,xn )(a1 ,a2 ,...,an ),xX

f (x1 , x2 , ..., xn ) = L

o abreviadamente por
lim

xx0 ,xX

f (x) = L,

o por
lim
f (x) = L,
x x0
xX
cuando para todo > 0 existe un > 0 de modo que si x B(x0 , ), x X, x 6= x0 , entonces
|f (x) L| < .
De modo similar se define el lmite de una funcin vectorial de varias variables f : Rn Rm ,
slo que L no es un nmero real sino un vector L = (L1 , ..., Lm ) Rm , y entonces lo que debe ser
menor que es la distancia entre f (x) y L (equivalentemente esto ltimo puede ponerse diciendo que
f (x) B(L, )).
Es conveniente especificar claramente el conjunto X en el que se toman los puntos a travs de los
cuales pretendemos aproximarnos hacia x0 , pues la cosa puede variar si lo cambiamos. El caso ms
3

habitual es que pretendamos aproximarnos al punto x0 a travs del conjunto ms amplio posible, el
dominio de la funcin, para el que pondremos lim f (x) = L y al que nos referiremos simplemente
xx0

diciendo que L es el lmite de f cuando x tiende hacia x0 .

En principio la idea inicial que tenemos de lmite consiste, como ocurra para las funciones reales
de una variable, es sustituir en el punto:
Ejemplo 2.1

x2 +y2 2
(x,y)(0,1) 1+x cos y

lim

1
1

= 1.

Veamos cmo puede cambiar la cosa si nos acercamos a travs de diversos conjuntos:
2

y
definida para todo punto excepto para el origen (0, 0),
Ejemplo 2.2 Dada la funcin f (x, y) = 9x
x2 +y 2
vamos a determinar el valor del lmite de la funcin cuando nos acercamos al origen, a travs de los
siguientes conjuntos:

1. La recta y = x,

9x2 y 2
2
2
(x,y)(0,0),y=x x +y

2. La recta y = 3x,

lim

9x2 y 2
2
2
(x,y)(0,0),y=3x x +y

lim

3. La parbola x = y 2 ,

lim

(x,y)(0,0),x=y 2

9x2 x2
2
2
x0 x +x

=lim

8x2
2
2x
x0

=lim

9x2 9x2
2
2
x0 x +9x

=lim

9x2 y 2
x2 +y2

0
2
x0 10x

=lim

9y4 y 2
4
2
y0 y +y

=lim

= 4;
=lim 0 = 0.
x0

9y 2 1
2
y0 y +1

=lim

= 1.

Tambin es posible que los lmites de funciones de varias variables sean infinitos, generalizando
la definicin dada para funciones reales de una variable. Por ejemplo una funcin f : Rn R posee
lmite + en x0 cuando para todo M existe un > 0 de modo que si x B(x0 , ), x 6= x0 , entonces
f (x) > M (extendiendo la situacin al caso en que el lmite valga o ). En general, para una
funcin f : Rn Rm pondremos que lim f (x) = cuando para todo M > 0 existe un > 0 de
xx0

modo que si x B(x0 , ) x 6= x0 , entonces el mdulo norma del vector f (x) es mayor que M.

Ejemplo 2.3
Ejemplo 2.4

2.1

lim

(x,y)(0,0)

x+1
y

1
0

1+x
lim
2
2
(x,y)(2,0) (x2) +y

= .
=

3
0

= +.

Operaciones con lmites

Para determinar la existencia del lmite de una funcin vectorial basta estudiar el lmite de sus
funciones coordenadas. De este modo nos centraremos en estudiar lmites de funciones reales. Esto
se debe al siguiente resultado:
Proposicin 2.5 Para una funcin f = (f1 , ..., fm ) : Rn Rm y un punto x0 , se tiene que existe
lim f (x) y vale L = (L1 , L2 , ..., Lm ) si y slo si existen los lmites de las funciones coordenadas
xx0

lim f1 (x),..., lim fm (x) y valen L1 ,..., Lm , respectivamente.

xx0

xx0

Ejemplo 2.6 Para f : R3 R2 dada por f (x, y, z) = (x y + z 20, z tan[ 4 ezy ]), se tiene que
lim

(x,y,z)(1,0,1)

=(

lim

(x,y,z)(1,0,1)

(x y + z 20, z tan[ ezy ]) =

(x,y,z)(1,0,1)
4

f (x, y, z) =

[x y + z 20],

lim

z tan[ ezy ]) = (20, tan ) = (20, 1).

(x,y,z)(1,0,1)
4
4
lim

Y al igual que ocurra para el caso de funciones reales de una variable real las se tratan las
operaciones usuales para las funciones de varias variables, siempre que tengan sentido. As:
Proposicin 2.7 Sean f : Rn Rm y g : Rn Rm funciones para las que existe el lmite y es
finito cuando la variable tiende a un punto x0 y sean y nmeros reales. Entonces
lim (f (x) + g(x)) = lim f (x) + lim g(x).

xx0

xx0

xx0

Adems en el caso en que m = 1 (es decir, cuando las funciones no son vectoriales sino reales) se
tiene:
Proposicin 2.8 Sean f : Rn R y g : Rn R funciones para las que existe el lmite y es
finito cuando la variable tiende a un punto x0 . Entonces lim [f (x) g(x)] = lim f (x) lim g(x) y
xx0

xx0

xx0

lim f (x)

lim

xx0

f (x)
xx0
=
(esto ltimo tiene sentido si lim g(x) 6= 0).
xx0
g(x)
lim g(x)
xx0

Adems, estos resultados tambin son vlidos para algunas situaciones de las distintas de las
anteriores, como algunas en las que interviene algn infinito (de modo anlogo a como ocurra para
funciones de una variable):
Ejemplo 2.9

lim

(x,y)(0,1)

e x2 = e = 0.

Nos planteamos ahora la relacin existente entre los lmites a travs de diferentes conjuntos. Se
tiene que:
Proposicin 2.10 Dada una funcin f : X Rn R m y dado x0 un punto de acumulacin de
X , si lim f (x) existe y vale L entonces para todo conjunto X 0 X tal que x0 sea punto de
xx0,x X

acumulacin de X 0 se tiene que existe

lim

xx0 ,xX 0

f (x) y vale L.

En el caso particular de que pretendamos realizar el lmite (a travs del dominio) obtenemos que
si existe lim f (x) y vale L entonces para todo conjunto X 0 Domf tal que x0 es un punto de
xx0

acumulacin de X 0 se tiene que existe

lim

xx0,x X 0

f (x) y vale L. Este resultado nos da un criterio

que proporciona nuevas situaciones en las que podemos afirmar que el lmite no existe: cuando
el lmite a travs de un subconjunto no existe o bien cuando el lmite a travs de dos
subconjuntos existe pero tiene valor distinto

2.2

Lmites direccionales

A la hora de estudiar el lmite de una funcin de dos variables mediante lmites a travs de algunos
conjuntos es tpico considerar conjuntos del tipo rectas, parbolas y en general curvas de la forma
y = g(x) x = h(y). Una situacin especial es el caso de los lmites a travs de rectas que contienen
al punto, denominados tambin lmites direccionales. Estas rectas, como ya sabemos, son las de
la forma y b = m(x a), junto con la recta vertical x = a.
Notemos que la existencia de los lmites direccionales no garantiza la existencia del lmite, ni
siquiera cuando todos ellos coinciden. Lo ms que se puede decir es lo siguiente:
Corolario 2.14 Si no existe algn lmite direccional o al menos dos de ellos son distintos
entonces no existe el lmite.
Nota: Como ya vimos en el Corolario 2.11 se puede generalizar el resultado anterior y deducir
que si el lmite a travs de al menos dos conjuntos da un valor distinto (pueden ser dos direccionales,
dos no direccionales o uno direccional y otro no direccional) entonces el lmite no existe.
Ejemplo 2.15 Calcular los lmites direccionales de la funcin
lim

x2 y2

2
2
(x,y)(0,0),y=mx x +2y

=lim

x2 m2 x2

2
2 2
x0 x +2m x

=lim

1m2

2
x0 1+2m

1m2
1+2m2

x2 y 2
x2 +2y 2

en el punto (0, 0). stos son

x2 y2
2 +2y 2
x
(x,y)(0,0),x=0

lim

y 2
2
y0 2y

=lim

= 12 .

Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que difieren
(basta observar que hay lmites direccionales distintos; por ejemplo el ltimo lmite, que vale 12 , y
alguno de los otros, por ejemplo para m = 0, cuyo valor es 1).
6

Ejemplo 2.16 Calcular los lmites direccionales de la funcin x1

en el punto (1, 1). stos son
y+1
1
x1
1
0
x1
x1
lim
=lim m(x1) =lim m = m y
lim
= lim y+1
= lim 0 = 0.
y+1
y+1
(x,y)(1,1),y+1=m(x1)

x1

x1

y1

(x,y)(1,1),x=1

y1

Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que difieren
(incluso hay uno que da , para m = 0).
Ejercicio 2.17 Comprobar que no existe el siguiente lmite

lim

(x,y)(0,0)

f (x, y), donde f (x, y) =

xy2
,
x2 +y 4

definida para (x, y) 6= (0, 0), viendo que los lmites direccionales a pesar de ser todos iguales resultan
distintos del lmite a travs del conjunto x = y 2 .

2.3

Cambio a coordenadas polares en R2

Supongamos que tenemos una funcin f : R2 R para la que planteamos el lmite en un punto
(a, b). Para hacer el lmite lim f (x, y) podemos probar haciendo el cambio de variable
(x,y)(a,b)

x = a + cos
y = b + sen
El caso ms sencillo y el que ms habitualmente vamos a utilizar es cuando a = 0, b = 0, es decir,
cuando estamos con el punto (0, 0), en el que queda as la cosa
x = cos
y = sen
Concretamente se tiene la siguiente relacin:
Proposicin 2.18 Supongamos que lim f (a + cos , b + sen) = L y no depende de [0, 2[.
0

Si existe una funcin real de una variable real F cumpliendo que lim F () = 0 y de modo que
0

|f (a + cos , b + sen) L| F () para todo y todo [0, 2[, entonces

Ejemplo 2.19 Para la funcin f (x, y) =

x3 +x2 2y3 +y 2
x2 +y 2

lim

(x,y)(a,b)

f (x, y) = L.

en el punto (0, 0), se tiene que como

3 cos3 23 sen3 + 2 cos2 + 2 sen2

]=
0
2 cos2 + 2 sen2
2 ( cos3 2sen3 + cos2 + sen2 )
= lim [
]=
0
2 (cos2 + sen2 )
2 ( cos3 2sen3 + 1)
= lim [
] =lim [ cos3 2sen3 + 1)] = 1
0
0
2 1

lim f ( cos , sen) = lim [

para cualquier , nuestro candidato a lmite es L = 1 por lo que buscaremos una funcin F cumpliendo
lo requerido. Como se tiene que

|f (a + cos , b + sen) 1| = (cos3 2sen3 ) cos3 + 2sen3 + 2 = 3,

tomaremos F () = 3 y se tiene que lim F () =lim 3 = 0 y en efecto existe

0

lim

(x,y)(0,0)

f (x, y) = 1.

Ejemplo 2.20 Para la funcin g(x, y) =

2x2 +3y 2 2y 3
x2 +y2

en el punto (0, 0), se tiene que como

22 cos2 + 32 sen2 23 sen3

2 (2 cos2 + 3sen2 2sen3 )
[
]
=lim
]=
0
0
2 cos2 + 2 sen2
2 (cos2 + sen2 )
= lim [2 cos2 + 3sen2 2sen3 )] = 2 cos2 + 3sen2 ,

lim g( cos , sen) = lim [

depende de , entonces no existe el lmite

lim

(x,y)(0,0)

g(x, y).

Ejemplo 2.21 Comprobemos la existencia del lmite

x3
2 +(y1)2
x
(x,y)(0,1)

lim

(y hallemos su valor) calcu-

lando el lmite en coordenadas polares.

En primer lugar vemos que el siguiente lmite no depende de , luego es nuestro candidato:
( cos )3
3 cos3
=
=lim
0 ( cos )2 + (1 + sen 1)2
0 2 cos2 + 2 sen2
3 cos3
= lim 2
=lim cos3 = 0.
0 (cos2 + sen2 )
0

L = lim

Y como

3
3

(
cos
)
(
cos
)

=
= cos3 0,

0
( cos )2 + (1 + sen 1)2
( cos )2 + (sen)2

en efecto se tiene que

x3
2 +(y1)2
x
(x,y)(0,1)

lim

= 0.

Nota: Observemos que hemos tomado F () = .

Ejemplo 2.22 Para la funcin h(x, y) =

xy 2
x2 +y4

lim h( cos , sen) =lim

se tiene que como

cos sen2
cos sen2
=lim
=0
0

cos2 + 2 sen4 0
cos2

para cualquier , nuestro candidato a lmite es de nuevo L = 0. Pero ahora la bsqueda de F

no resulta fructfera en este caso. De hecho como se propuso en el Ejercicio 2.17 se tiene que
@ lim h(x, y).
(x,y)(0,0)

Ejercicio 2.23 Comprobar la existencia del lmite

lim

(x,y)(1,2)

(2 (x+1)(x+1)
2 +(y2)4 ) calculando el lmite

en coordenadas polares. Solucin: 2.

2.4

Lmites iterados

Sea f : R2 R una funcin real de dos variables y (a, b) R2 . Llamaremos lmites iterados de f
en el punto (a, b) a los siguientes lmites lim (lim f (x, y)) = L1 y lim (lim f (x, y)) = L2 . Observemos
xa yb

yb xa

lo que hacemos, por ejemplo con el segundo lmite iterado: En primer lugar fijamos la variable y
(con valores prximos pero distintos a b) y hacemos que la variable x se aproxime al punto a. Si este
8

lmite existe para todo valor de y posible (pero considerando y constante) entonces a la expresin
dependiente de y resultante tenemos ahora que hacerle el lmite cuando y tiende hacia b.
Los lmites iterados no tienen por qu existir. De hecho hay ejemplos en los que no existe ninguno
o existe slo uno de los dos. Incluso aunque existan ambos no tienen por qu coincidir. Adems la
existencia de stos no est determinada completamente por la existencia del lmite
lim f (x, y) = L ni viceversa. A este respecto lo que s podemos decir es lo siguiente:
(x,y)(a,b)

Proposicin 2.24 Supongamos que existe

lim

(x,y)(a,b)

f (x, y) = L y es finito. Entonces si existe

alguno de los iterados L1 L2 con valor finito coincide con el lmite L.

Lo que estamos diciendo es que si existen (con valor finito) L y L1 entonces L = L1 ; si existen (con
valor finito) L y L2 entonces L = L2 ; y si existen (con valor finito) L, L1 y L2 entonces L = L1 = L2 .
Esto nos proporciona el siguiente criterio que nos da una situacin en la que el lmite
lim f (x, y) no existe:
(x,y)(a,b)

Corolario 2.25 Si los lmites iterados existen con valor finito y no coinciden entonces no puede
existir el lmite. Si existe alguno de los lmites iterados con valor finito y no coincide con el lmite a
travs de algn subconjunto, entonces tampoco existe el lmite.
Ejemplo 2.26 En los siguientes apartados todo se hace en el origen (0, 0):
1. Sea f (x, y) =

x+y
.
xy
x+y
)
y0 xy

Entonces los lmites iterados valen L1 =lim (lim f (x, y)) =lim (lim
x0

y L2 =lim (lim f (x, y))

y0

lim

(x,y)(0,0)

x0

=lim (lim x+y

)
y0 x0 xy

f (x, y).

y0
y
=lim y
y0

x0

x
x0 x

=lim

=lim 1 = 1
x0

=lim 1 = 1. Entonces no puede existir

y0

2. Sea f (x, y) = x cos y1 .

Entonces para los lmites iterados se cumple que
1
L1 =lim (lim f (x, y)) =lim (lim x cos ) = @
x0 y0
x0 y0
y
(puesto que no existe lim x cos y1 ) y
y0

1
L2 =lim (lim f (x, y)) =lim (lim x cos ) =lim 0 = 0
y0 x0
y0 x0
y0
y
(puesto que lim x cos y1 = 0, porque estamos realizando el lmite del producto de una cantidad
x0

que tiende a cero, x, y otra que est acotada. Ahora bien, el lmite

lim

(x,y)(0,0)

f (x, y) s existe y

vale 0, ya que es el producto de una funcin que tiende a cero por otra que est acotada.

Ejemplo 2.27

1. Entonces L1 =lim (lim f (x, y)) =lim (lim x 2y + 4) =lim x + 4 = 4 y

x0 y0

x0 y0

x0

L2 =lim (lim f (x, y)) =lim (lim x 2y + 4) =lim 2y + 4 = 4. Ahora bien

y0

x0

y0

x0

y0

lim

(x,y)(0,0)

f (x, y)

no existe pues el lmite a travs del conjunto x = 0 (y tambin el lmite a travs del conjunto
y = 0) vale 1 6= 4.
Ejercicio 2.28 Comprobar que la funcin f (x, y) = (x + y)sen x1 sen y1 posee lmite en el origen pero
los iterados no existen.

Continuidad de funciones de varias variables

La definicin de continuidad es enteramente anloga al caso de funciones de una variable real.

Diremos que una funcin f es continua en un punto x0 cuando x0 Domf , existe el lmite de
f en x0 (y es finito), y el valor de dicho lmite y el de f (x0 ) coinciden.
El estudio de la continuidad de una funcin en un punto se reduce fundamentalmente al estudio
de la existencia y, en su caso, el valor del lmite de la funcin en el punto. Adems, al igual que
pasaba con los lmites, el estudio de la continuidad de una funcin vectorial se reduce al de sus
funciones coordenadas pues:
Proposicin 3.1 Una funcin vectorial es continua si y slo si son continuas sus funciones
coordenadas.
Adems, las funciones usuales (constantes, polinomios, exponenciales, trigonomtricas, logaritmos, etc.) son funciones continuas en todo punto de su dominio. Tambin al igual que pasaba con
las funciones de una variable real, las operaciones usuales que se hacen con funciones continuas
dan como resultado una funcin continua: sumas, restas, multiplicacin por escalares, composicin
de funciones, productos, cocientes con denominador no nulo, y otras operaciones usuales. As por
ejemplo sern funciones continuas, en todo punto de su dominio, las siguientes:
Ejemplo 3.2

1. f1 (x, y) =

3xy+x6
x

ey

+ 5 (x2 + 1)x (continua en {(x, y) : y 6= 0}).

2. f2 (x, y) = ( sen(xy)
log(x + y 2 ), etan(x+1) ) (continua en {(x, y) : x + y 2 > 0, cos(x + 1) 6= 0}.
x2 +y 2
Observacin 3.3 En ocasiones ocurre que por problemas de dominio no podemos plantear el lmite
a travs de R2 , slo podemos plantearlo a travs del dominio. As ocurre por ejemplo con la funcin

f (x, y) = x y cuando planteamos la existencia del lmite en el punto (0, 0): ste slo puede
plantearse a travs del dominio, que es el conjunto {(x, y) : x y}. En este caso el resultado del
lmite es 0. Entonces podemos interpretar que la funcin, que est definida en (0, 0) tomando el valor
0, es continua en dicho punto, por supuesto, continua a travs del dominio. Admitiremos pues dentro
de la definicin de continuidad tal generalidad (continuidad a travs de un conjunto), especialmente
en el caso en que el lmite lo realicemos a travs del dominio.
10

A continuacin, y para finalizar el tema, damos la versin en varias variables del Teorema de
Weirstrass que generaliza el caso de una variable:
Teorema 3.4 Si f : X Rn Rm es una funcin continua en X Domf y X es compacto
entonces f (X) es tambin compacto.
Corolario 3.5 Si f : X Rn R es una funcin continua en X Domf y X es compacto
entonces existen x0 , y0 X tales que max{f (x) : x X} = f (x0 ) y min{f (x) : x X} = f (y0 ).

Resumen de los recursos ms utilizados para estudiar el

lmite de una funcin real de dos variables
1. Recursos directos
Para resolver diversos lmites podemos utilizar mtodos o frmulas que se basan en propiedades
ya conocidas. ste es el caso de las equivalencias vistas para funciones de una variable. O
tambin de otro tipo de propiedades, como por ejemplo de la que dice que el producto de una
cantidad que tiende a cero por otra acotada tiende a cero.
2. Lmites a travs de conjuntos. Lmites direccionales
Si existe el lmite (a travs del dominio) entonces existen el lmite a travs de cualquier conjunto,
incluidos los lmites direccionales. Por ello si no existe el lmite a travs de algn conjunto (por
ejemplo si no existe algn lmite direccional) entonces no puede existir el lmite (a travs del
dominio). Tambin se obtiene la misma conclusin (es decir, no existe el lmite, a travs del
dominio) si al menos a travs de dos conjuntos existe el lmite con distinto valor (sean stos
lmites direccionales o no). Aunque todos los lmites direccionales sean iguales, o aunque los
lmites a travs de diversos conjuntos coincidan (y coincidan con los direccionales) no podemos
deducir de ello la existencia del lmite (a travs del dominio).
3. Lmites en coordenadas polares
Si realizamos el cambio a coordenadas polares, y el lmite en estas nuevas coordenadas existe
y es independiente del valor del ngulo (adems de los detalles concernientes a la existencia de
cierta funcin F ), entonces tendremos que existe el lmite inicial. Como ya sabemos los detalles
sobre la mencionada funcin F se refieren a que la diferencia entre la funcin inicial expresada
en coordenadas polares y el posible lmite debe estar acotada por una cantidad independiente
del ngulo que tienda a cero. En el caso de que el lmite en coordenadas polares dependa del
ngulo o no exista podremos decir que el lmite inicial no existe.
4. Lmites iterados
La existencia o no de alguno de los lmites iterados no implica la existencia o no del lmite, ni
viceversa. Lo nico que podemos afirmar es que si existe el lmite y alguno de stos (ambos con
11

valor finito) entonces coinciden. Una situacin en la que podemos concluir algo es el caso en
que existen los dos lmites iterados (con valor finito) y son distintos. En este caso el lmite no
puede existir. Tambin se obtiene la misma conclusin si existe alguno de los lmites iterados
(con valor finito) y el lmite a travs de algn conjunto (como algn direccional) y tienen valores
distintos.

5
5.1

Apndice
Lmites mediante equivalencias

Este primer recurso se basa en el mismo argumento que vimos para las funciones de una variable
(y para las sucesiones): se pueden reemplazar en el lmite funciones por otras equivalentes, siempre
que stas aparezcan multiplicando o dividiendo a toda la expresin. De hecho en la mayora de
las ocasiones haremos uso de las equivalencias que ya conocamos para funciones de una variable.
Adems, igual que en aquel caso tambin podremos obtener equivalencias cuando estudiemos el
polinomio de Taylor para funciones de varias variables.
Ejemplo 5.1 Supongamos que pretendemos estudiar el lmite
lim

(x,y)(0,0)

sen(x2 + y 2 ) log(2 x)
.
x2 + y 2

Entonces aplicando la equivalencia conocida sent ' t cuando t tiende a 0 se tiene que
sen(x2 + y 2 ) ' x2 + y 2
si esta expresin tiende a 0, lo cual ocurre cuando (x, y) tiende a (0, 0). Por tanto el lmite anterior
(x2 +y2 )log(2x)
vale lim
= lim log(2 x) = log 2.
x2 +y 2
(x,y)(0,0)

Ejemplo 5.2

(x,y)(0,0)

sen(x2 )
1
sen( y+2
)
x
(x,y)(0,2)

lim

x2
1
sen( y+2
)
x
(x,y)(0,2)

lim

es producto de una funcin que tiende a 0 y otra acotada).

12

lim

(x,y)(0,2)

1
xsen( y+2
) = 0 (ya que