CAPITULO 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
p espacio P = (x, y, z) al origen corresponde a la funcion f (x, y, z) =
x2 + 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 : Rm Rn definida
por f (x1 , . . . , xm ) = (y1 , . . . , yn ) se escribira como un vector (f1 , . . . , fn ) de
funciones fi : Rm R definidas por fi (x1 , . . . , xm ) = yi (i = 1, . . . , n).
Destacaremos los casos particulares siguientes:
Si n = 1, tenemos una funcion real de m variables (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 R3 en el espacio
tridimensional, definidas por f (t) = (x0 , y0 , z0 ) + t(a, b, c), y los planos, que
son funciones f : R2 R definidas 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 = (x1 , . . . , xm ) Rm : f (

x ) Rn }.

 Rango o imagen de f :

R(f ) = {

y = (y1 , . . . , yn ) Rn :

x = (x1 , . . . , xm ) D(f ), f (

x) =

y }.

Decimos que una funcion esta acotada cuando su imagen es un con-

junto acotado.
 Gr
afica de f :

G(f ) = {(x1 , . . . , xm , y1 , . . . , yn ) Rm+n : (y1 , . . . , yn ) = f (x1 , . . . , xm )}.

En el caso particular de funciones f : R2 R, es importante destacar el

concepto de curvas de nivel, que son los conjuntos de la forma

Ck = {(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 grafica de la funcion

56
es una superficie, las curvas de nivel corresponden a los conjuntos de puntos
que estan a la misma altura de dicha superficie; permiten ver las variaciones
de altitud en un dominio dado y en algunos casos hacerse una idea de la
propia superficie.
Se definen analogamente las superficies de nivel en el caso de funciones f :
R3 R como los conjuntos

Sk = {(x, y, z) D(f ) : f (x, y, z) = k}, k R.

PROBLEMA 2.1

Describir los conjuntos de nivel f (x1 , . . . , xn ) = k , para los valores

de k indicados, de las siguientes funciones:
(a) f (x, y) = x2 + y 2 , k = 0, 1, 2, 3.
p
(b) f (x, y) = x2 + y 2 , k = 0, 1, 2, 3.
(c) f (x, y, z) = x2 + y 2 , k = 0, 1, 2.
(d) f (x, y) = x2 y 2 , k = 2, 1, 0, 1, 2.
(e) f (x, y) = exy , k = e2 , e1 , 1, e, e2 .

(f) f (x, y) = cos(x + y), k = 1, 0, 1/2, 2/2, 1.

Soluci
on

on x2 +y 2 = k representa una circunferencia de centro el origen

(a) La ecuaci

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 grafica tiene la siguiente

forma (se trata de un paraboloide de revolucion):

57
 p
(b) Las ecuaciones x2 + 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 superficie es ahora la de un cono:

(c) Como la funcion es ahora de tres variables, las ecuaciones x2 + y 2 = k

son las superficies 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 grafica de la funcion es ahora una region del espacio

R4 y, por tanto, no es posible su representacion grafica en un plano.

(d) En este caso, las curvas x2 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 grafica es la de un
paraboloide hiperbolico y su forma es la siguiente:

(e) Las ecuaciones exy = k o, en forma equivalente, xy = ln k, 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 grafica de la funcion son de la forma
que indican las figuras:

59
(f) Observamos que, en este caso, cada curva de nivel cos(x + y) = k
produce un n umero infinito de rectas x + y = arc cos k + 2n, para
cualquier n Z. Esto quiere decir que la superficie es periodica (es
decir, si x0 = x + , y 0 = y + , entonces cos(x + y) = cos(x0 + y 0 )).
No representamos las curvas de nivel pues no dan informacion sobre
la grafica de la superficie pero s ilustramos la forma de la propia
superficie:

60
 PROBLEMA 2.2

Dibujar algunas curvas de nivel de las funciones que se indican y

deducir la gr
afica de las mismas:
(a) f (x, y) = 3x + 2y + 1.
(b) f (x, y) = (100 x2 y 2 )1/2 .
(c) f (x, y) = |y|.
(p
x2 + y 2 si x 0,
(d) f (x, y) =
|y| si x < 0.

Soluci
on

(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 figura.

(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 superficie 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 superficie que se indica en la grafica.

(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
x2 + y 2 = k 2 , para x 0. Queda por tanto una superficie de la forma
indicada en la figura.

62
 PROBLEMA 2.3

Hallar los dominios de las siguientes funciones:

p
(a) f (x, y) = 1 x2 y 2 .
p
(b) f (x, y) = x2 4 + 4 y 2 .

(c) f (x, y) = y sen x.
(d) f (x, y, z) = ln(x/yz).

Soluci
on

(a) El dominio sera el conjunto {(x, y) R2 : 1 x2 y 2 0} (debido a la

existencia de una raz cuadrada). Esto es equivalente a la desigualdad
x2 + y 2 1, de modo que

D(f ) = {(x, y) R2 : x2 + y 2 1},

que es precisamente la bola unidad.

(b) Para que existan ambas races cuadradas, debe verificarse simultanea-
mente que
x2 4 0 y 4 y 2 0,

sistema que, al resolver, da como solucion |x| 2, |y| 2. Entonces

D(f ) = {(x, y) R2 : |x| 2, |y| 2},

cuya grafica es la de la figura adjunta:

63
(c) En este caso, los puntos del dominio deben verificar la inecuacion
y sen x 0, la cual se descompone en las dos siguientes:

y0 , sen x 0
y0 , sen x 0,

es decir, para los valores de x donde sen x 0, estan en el dominio los

puntos del semiplano superior y, para los valores de x donde sen x 0,
estan en el dominio los puntos del semiplano inferior. La grafica es la
siguiente:

(d) Para que un punto (x, y, z) este en el dominio, debe verificarse 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 superficie R3 .

64
 PROBLEMA 2.4

Sea f : R2 R2 la funci on definida por f (x, y) = (2x, y + 1). Si

llamamos A = [0, 1] [0, 1] y B = {(x, y) R2 : x2 + y 2 1}, calcular
f (A), f (B), f 1 (A) y f 1 (B).

Soluci
on

(a) Para calcular f (A), tomemos un punto (x, y) A. Entonces

  
0x1 0 2x 2
= = f (x, y) [0, 2] [1, 2],
0y1 1y+12
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 = x2 +y 2 .
u2
As pues, si x2 +y 2 1, + (v 1)2 1, que corresponde a la region
4
limitada por la elipse de la figura.

65
 f (B)

(b) Calculemos a continuacion las imagenes inversas de los conjuntos A y

B. Por definicion, dado cualquier conjunto G,

f 1 (G) = {(x, y) R2 : f (x, y) G}.

En particular, f 1 (A) = {(x, y) R2 : (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 verifican (2x, y + 1) B

debe cumplir la relacion 4x2 + (y + 1)2 1, y la imagen inversa de B
es la region limitada por la elipse de la figura.

66
f 1 (B)

67

2. CALCULO DE L
IMITES.

Consideremos una funcion arbitraria f : Rm Rn con dominio D(f ) = D.

Sean S D,
Rm ,
x 0
y 0 Rn .
Diremos que lm f (x) = y (en palabras, el lmite de f en
0
a lo largo de
x 0
xx0
xS
S es igual a

y0 ), cuando

> 0, > 0 : f (x) B(y0 , ), x (B(x0 , ) \ {x0 }) S.

Equivalentes a este enunciado son los siguientes:

> 0, > 0 : f (B(x0 , ) \ {x0 }) S B(y0 , );

> 0, > 0 : 0 < kx x0 k < , x S = kf (x) y0 k < .

Esta definicion es una simple extension de la definicion 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 Rm y Rn
(dada por la correspondiente norma eucldea).
Observemos que la definicion no tiene sentido si x0 6 S 0 pues, en este caso,
(B(x0 , )\{x0 })S = y cualquier punto puede ser el lmite de una funcion
en x0 . En el caso de que S = D, y no haya lugar a confusion, escribiremos
simplemente lm f (x).
xx0

Enunciamos a continuacion las siguientes propiedades basicas del lmite.

Teorema 1. Si existe lm f (x), este lmite es u
nico.
xx0
xS

Teorema 2. Sea T S D. Entonces

lm f (x) = y0 = lm f (x) = y0
xx0 xx0
xS xT

(ver problemas 2.6 y 2.8).

Teorema 3 (Operaciones algebraicas con el lmite.) Dadas dos funciones
f : D1 Rm Rn y g : D2 Rm Rn , y un conjunto S D1 D2 , si
lm f (x) = y1 y lm g(x) = y2 , entonces:
xx0 xx0
xS xS

(a) lm (f + g)(x) = y1 + y2 .
xx0
xS

(b) lm (f )(x) = y1 .
xx0
xS

68
 (c) lm f (x) g(x) = y1 y2 .
xx0
xS

(d) lm kf (x)k = lm f (x) .
xx0 xx0
xS

Proposici
on 4. Si descomponemos la on f : D Rm Rn en sus

funci
componentes f (x) = f1 (x), . . . , fn (x) , donde cada fi : D R (1 i n),
entonces

lm f (x) = (a1 , . . . , an ) lm fi (x) = ai , 1 i n.

xx0 xx0
xS xS

Proposici on f : R2 R, si existe
on 5. Dada una funci lm f (x, y) =
(x,y)(x0 ,y0 )
L, y existen tambien los lmites de una variable lm f (x, y) y lm f (x, y),
xx0 yy0
entonces existen y son iguales los llamados lmites iterados
   
lm lm f (x, y) = lm lm f (x, y) = L.
yy0 xx0 xx0 yy0

[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 definici
on de lmite, demostrar que
lm (3x 2y) = 14.
(x,y)(4,1)

Soluci
on

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:

p
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 Rm Rn , x0 Rm , y0 Rn , T S D. Probar que

lm f (x) = y0 = lm f (x) = y0 .
xx0 xx0
xS xT

Soluci
on

La hipotesis del problema se traduce, seg

un la definicion, en la condicion
siguiente:

lm f (x) = y0 > 0, > 0 : f S B (x0 , ) B(y0 , )

xx0
xS

(donde B (x0 , ) representa la bola de centro x0 y radio excluyendo el

propio punto x0 ).
Ahora bien, como T S, entonces T B (x0 , ) S B (x0 , ) con lo
que
f T B (x0 , ) f S B (x0 , ) B(y0 , ).

Luego,
> 0, > 0 : f T B (x0 , ) B(y0 , ),

es decir lm f (x) = y0 .
xx0
xT

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 f (x) = y0 es que lm f (x) = y0 .
xx0 xx0
xS xT

El recproco no es cierto, como se comprueba en el problema 2.14.

PROBLEMA 2.7

Se considera la funci
on z = f (x, y). Supongamos que existen
lm f (x, y) = L, lm f (x, y) y lm f (x, y). Probar que existe
(x,y)(x0 ,y0 ) xx0 yy0
   
lm lm f (x, y) = lm lm f (x, y) = L.
yy0 xx0 xx0 yy0

Soluci
on

Probaremos aqu que, si lm f (x, y) = L y lm f (x, y) = G(y),

(x,y)(x0 ,y0 ) xx0
entonces lm G(y) = L (el otro caso se comprueba de forma analoga).
yy0

Sea para ello > 0 arbitrario. Por hipotesis, existe 1 > 0 tal que
p
|f (x, y) L| < /2 si |x x0 |2 + |y y0 |2 < 1 .

En particular,

|f (x, y) L| < /2 si |x x0 | < 1 2/2 y |y y0 | < 1 2/2.

La segunda hipotesis indica que tambien existe 2 > 0 tal que

|f (x, y) G(y)| < /2 si |x x0 | < 2 .

Eligiendo ahora = mn{1 2/2, 2 }, las dos desigualdades anteriores se
verifican 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 y0 | < , lo que prueba que lm G(y) = L.

yy0

Este resultado nos muestra que para la existencia e igualdad de los lmites
iterados no es suficiente 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

x2 + y 2
Calcular lm .
(x,y)(0,0) |x| + |y|

Soluci
on

En este ejercicio, el dominio de la funcion es S = R2 \{(0, 0)} y consideramos

el subconjunto T = {(x, mx) : x R \ {0}}. Tenemos entonces
x2 + y 2 x2 + (mx)2 (1 + m2 )x2
lm = lm = lm = 0.
(x,y)(0,0) |x| + |y| (x,mx)(0,0) |x| + |mx| x0 (1 + |m|)|x|
(x,y)T

De acuerdo con el resultado del problema 2.6, si existiera el lmite pedido,

este debe ser cero. Debemos probar pues que
p x2 + y 2
> 0, > 0 : 0 < x2 + y 2 < = < .
|x| + |y|
p p
En efecto, como |x| x2 + y 2 < , |y| x2 + y 2 < y
x2 + y 2 x2 + y 2 + 2|x| |y| (|x| + |y|)2
= = |x| + |y| < 2,
|x| + |y| |x| + |y| |x| + |y|
x2 + y 2
basta elegir = /2 para que < .
|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
exy 1
Hallar lm .
(x,y)(0,0) sen x ln(1 + y)

72
Soluci
on

Haciendo u = x y, podemos escribir

u u2 x2 y 2
exy = eu = 1 + + + = 1 + xy + + ...,
1! 2! 2
con lo que tenemos la equivalencia entre infinitesimos exy 1 xy.
Teniendo en cuenta las equivalencias ya conocidas para funciones de una
variable
sen x x, ln(1 + y) y,
obtenemos directamente que
exy 1 xy
lm = lm = 1.
(x,y)(0,0) sen x ln(1 + y) (x,y)(0,0) xy

PROBLEMA 2.10
x+y1
Calcular L = lm .
(x,y)(0,1) x 1y

Soluci
on

Multiplicando numerador y denominador por x + 1 y, tenemos:

(x + y 1)( x + 1 y) p
L= lm = lm ( x + 1 y) = 0.
(x,y)(0,1) x1+y (x,y)(0,1)

PROBLEMA 2.11
2xy
Calcular lm .
(x,y)(0,0) x2 + y 2

Soluci
on

Si tendemos hacia el origen seg

un la recta y = mx, obtenemos:
2xy 2mx2 2m
lm 2 2
= l
m 2 2 2
= .
(x,y)(0,0) x + y x0 x + m x 1 + m2
y=mx

73
Como indica el resultado, este vara segun 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
suficiente para la existencia de lmite.

En la grafica de las curvas de nivel se observa que estas tienden a cortarse

en el origen, lo que intuitivamente significa que el lmite en este punto no
existe.

PROBLEMA 2.12
(
sen(1/y) si y 6= 0
Probar que f (x, y) = tiene lmite cero cuando
0 si y = 0
(x, y) (0, 0) pero los lmites iterados son distintos. Por qu e es
posible esta situacion?

Soluci
on

Como lm x sen(1/y) no existe, tampoco existe el lmite iterado

y0
 
lm lm x sen(1/y) .
x0 y0

Por otra parte, como lm x sen(1/y) = 0, tambien

x0
 
lm lm x sen(1/y) = 0.
y0 x0

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
k(x, y)k < = |x| < , |y| <
= |x sen(1/y)| |x| <
= |f (x, y) 0| < .

PROBLEMA 2.13

Hallar los siguientes lmites o justificar su existencia:

x2 y 2
(a) lm .
(x,y)(0,0) x2 + y 2

sen(xy)
(b) lm .
(x,y)(0,2) x
1
(c) lm (x2 + y 2 ) sen .
(x,y)(0,0) xy
x|y|
(d) lm p .
(x,y)(0,0) x2 + y 2

Soluci
on

(a) Calculemos en primer lugar los lmites iterados:

 x2 y 2 
lm lm 2 = lm (1) = 1;
y0 x0 x + y 2 y0
 x2 y 2 
lm lm = lm 1 = 1.
x0 y0 x2 + y 2 x0

75
 Deducimos de este resultado que no existe el lmite propuesto.
Las graficas siguientes muestran diferentes curvas de nivel de la funcion
(las cuales tienden a cortarse en el origen) y la forma de la superficie,
donde se puede comprobar intuitivamente que el lmite buscado no
existe.

(b) Comprobemos nuevamente la existencia de los lmites iterados:

 sen(xy) 
lm lm = lm y = 2;
y2 x0 x y2
 sen(xy)  sen(2x)
lm lm = lm = 2.
x0 y2 x x0 x
Para comprobar que, efectivamente, el lmite de la funcion es 2, apli-
camos el teorema de la funcion intermedia. Como
sen(xy)
y cos(xy) y si x > 0,
x
sen(xy)
y y cos(xy) si x < 0,
x
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
 
1 
(x + y ) (x + y ) sen  x2 + y 2 ,
2 2
 2 2

xy

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:
 x|y| 
lm lm p = lm 0 = 0;
y0 x0 x2 + y 2 y0
 x|y| 
lm lm p = lm 0 = 0.
x0 y0 x2 + y 2 x0

Para demostrar que, efectivamente, el lmite es cero, utilizamos la si-

guiente desigualdad:

(|x| |y|)2 0 = x2 + y 2 2|xy| 0 = 2|xy| x2 + y 2

p
|xy| x2 + y 2
= p
x2 + y 2 2
p p
x2 + y 2 x|y| x2 + y 2
= p .
2 x2 + 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
(
0 o y x2
si y 0
Hallar lm f (x, y) si f (x, y) = .
(x,y)(0,0) 1 si 0 < y < x2

Soluci
on

En la grafica 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 x2 }. En esta region
la funcion toma el valor cero, lo que significa que, a lo largo de cualquier
trayectoria del tipo y = mx el lmite de la funcion es cero:

lm f (x, y) = 0.
(x,y)(0,0)
y=mx

Sin embargo, todos los puntos de la parabola y = x2 /2, salvo el origen, estan
contenidos en la region {(x, y) : 0 < y < x2 }, donde la funcion toma el valor
1. Esto significa que
lm f (x, y) = 1.
(x,y)(0,0)
y=x2 /2

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 : Rm Rn con dominio D es continua en un punto

D cuando
x0

> 0, > 0 : f (x) B(f (x0 ), ), x B(x0 , ) D,

condicion equivalente a cualquiera de las siguientes:

> 0, > 0 : f B(x0 , ) D B f (x0 ), ;

> 0, > 0 : kx x0 k < , x D = kf (x) f (x0 )k < .

Si x0 D0 , lo anterior implica que lm f (x) = f (x0 ).
xx0
xD

Enunciamos algunas propiedades y caracterizaciones de las funciones conti-

nuas.
Teorema 1 (Caracterizacion por sucesiones.) Sea f : D Rm Rn y

D. Entonces f es continua en
x si y s
x olo si
0 0

{xn }n1 D, xn x0 = f (xn ) f (x0 ),

es decir lm f (xn ) = f ( lm xn ).
n n

Teorema 2 (Continuidad de la funcion compuesta.) Sean f : Rm Rn ,

g : Rn Rp funciones arbitrarias. Si f es continua en
y g es continua
x0


en f (x0 ), entonces g f es continua en x0 .
Teorema 3 (Continuidad de las operaciones algebraicas.) Sean f : Rm Rn
y g : Rm Rn funciones continuas en
. Entonces f + g, f , f g y kf k
x0


son continuas en x0 .
Teorema 4. Si fk : Rm R (1 k n) son las componentes de f :
Rm Rn , entonces f es continua en
si y s
x0 olo si cada fk es continua en

x0 .
Este resultado permite simplificar el estudio de la continuidad de una funcion
al de la continuidad de n funciones reales.
Definimos tambien el concepto de continuidad global: decimos que una fun-
cion f : Rm Rn es continua en un conjunto A Rm cuando lo es en todos
los puntos del conjunto.
Son importantes en este contexto las siguientes propiedades.
Teorema 5. Una funci on f : Rm Rn es continua en Rm si y s
olo si
1
f (B) es abierto, para cualquier abierto B Rn .

79
Corolario 6. Una funci olo si f 1 (F ) es
on f : Rm Rn es continua si y s
n
cerrado, para cualquier cerrado F R .
Teorema 7. Sea M Rm un compacto y f : Rm Rn continua en M .
Entonces f (M ) es compacto.
Corolario 8. Sea f : Rm R continua en un compacto M Rm . Entonces
f alcanza los valores m
aximo y mnimo, es decir

x1 , x2 M : f (x1 ) f (x) f (x2 ), x M.

Este es el llamado teorema de Weierstrass, que asegura la existencia de

extremos para una funcion real.
Teorema 9. Sea f : Rm Rn inyectiva. Si D Rm es compacto y f
continua en D, entonces f 1 es continua en f (D).
Teorema 10. Sea f : Rm Rn una funcion continua en M Rm . Si M
es conexo, f (M ) es tambien conexo.
Un concepto mas preciso corresponde al de continuidad uniforme. Decimos
que una funcion f : Rm Rn es uniformemente continua en A Rm
cuando

> 0, > 0 : ka bk < = kf (a) f (b)k < , 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 : Rm Rn continua y A Rm un conjunto compacto.
Entonces f es uniformemente continua en A.

PROBLEMA 2.15

Estudiar la continuidad de la funci

on
(
1
2 2 si x2 + y 2 =
6 1
f (x, y) = 1x y 2 2
0 si x + y = 1.

Soluci
on

La funcion es continua en los puntos que no pertenecen a la circunferencia

unidad S = {(x, y) R2 : x2 + y 2 = 1}. Sin embargo, no lo es en los puntos

80
de S pues, si a2 + b2 = 1:

lm f (x, y) = .
(x,y)(a,b)

PROBLEMA 2.16

Estudiar la continuidad de la funcion

( 2
sen (xy)
|x|+|y| si (x, y) 6= (0, 0)
f (x, y) =
0 si (x, y) = (0, 0).

Soluci
on

Basta estudiar la continuidad de la funcion en el origen. Ahora bien, debido

a las desigualdades

sen2 (x y) |x y|2 |x|2 + |y|2 + 2|x| |y|

0 |x| + |y|,
|x| + |y| |x| + |y| |x| + |y|

es evidente que lm f (x, y) = 0 = f (0, 0).

(x,y)(0,0)

81
 PROBLEMA 2.17

Determinar los puntos de discontinuidad de la funci

on
x2 + 2xy + y 2
f (x, y) = .
x2 y 2

Soluci
on

Debido a que D(f ) = {(x, y) R2 : x + y 6= 0, x y 6= 0}, la funcion

es obviamente discontinua en todos los puntos de las rectas y = x, y =
x.
Ahora bien, como

(x + y)2 x+y
f (x, y) = = si x + y 6= 0,
(x + y)(x y) xy

entonces lm f (x, y) (para x0 6= 0) no existe.

(x,y)(x0 ,x0 )

Sin embargo, lm f (x, y) = 0 (para x0 6= 0), por lo que la disconti-

(x,y)(x0 ,x0 )
nuidad es evitable en los puntos de la recta x + y = 0.
Por u
ltimo, en el origen tampoco existe el lmite de la funcion.
En efecto,
x+y (1 + m)x (1 + m)
lm = lm = ,
x0 xy x0 (1 m)x (1 m)
y=mx

resultado que, evidentemente, vara seg

un el valor de m.

82
 PROBLEMA 2.18

Estudiar la continuidad de la funci on

(
x+sen(x+y)
x+y si x + y 6= 0
f (x, y) =
0 si x + y = 0.

Soluci
on

Escribimos la funcion como

x sen(x + y)
f (x, y) = + si x + y 6= 0.
x+y x+y

Distinguimos el origen del resto de los puntos de la recta x + y = 0.

sen(x + y)
i) En el origen, lm = 1 pero
(x,y)(0,0) x+y
 x 
lm lm = lm 1 = 1,
x0 y0 x + y x0
 x 
lm lm = lm 0 = 0,
y0 x0 x + y y0

de modo que no existe el lmite.

ii) En el resto de los puntos de la recta x + y = 0 es x 6= 0; por tanto,
x
lm = .
(x,y)(x0 ,x0 ) x + y

En definitiva, la funcion es discontinua en todos los puntos de la recta

x + y = 0.

PROBLEMA 2.19

Estudiar la continuidad de la funci

on
( 2 2
x y
4 4 si (x, y) 6= (0, 0)
f (x, y) = x +y
0 si (x, y) = (0, 0).

83
Soluci
on

Necesitamos estudiar u
nicamente 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:

m2 x4 m2
lm f (x, y) = lm f (x, mx) = lm = .
(x,y)(0,0) x0 x0 x4 (1
+m ) 4 1 + m4
y=mx

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 funci

on
( 2
y
si x 6= 0, x + y 6= 0
f (x, y) = x(x+y)
0 en el resto.

Soluci
on

i) En los puntos (x0 , y0 ) tales que x0 6= 0 y x0 + y0 6= 0, la funcion es

evidentemente continua.
ii) En los puntos (x0 , y0 ), donde x0 = 0 o x0 + y0 = 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
m2
lm f (x, y) = ,
x0 1+m
y=mx

resultado que depende del valor de m.

PROBLEMA 2.21

Estudiar la continuidad de la funci

on
( 3 3
x +y
2 2 si (x, y) 6= (0, 0)
f (x, y) = x +y
0 si (x, y) = (0, 0).

Soluci
on

Veamos que la funcion es continua en el origen (en el resto ya lo es por su

propia definicion).
Utilizando la desigualdad
 3
 x + y3  3   y3 
    
  x

 + 
 x2 + y 2   x2 + y 2   x2 + y 2 
 3  3
x  y  p p
 2  +  2  = |x| + |y| x2 + y 2 + x2 + y 2 ,
x y
elegido cualquier > 0, basta hacer = /2 para que
 3
 x + y3 

p
2 2
x + y < =  2   2 = .
x + y2 

85
 PROBLEMA 2.22

Estudiar la continuidad de la funci

on
( 2 2
x +y
2 si x2 + y =
6 0
f (x, y) = x +y 2
0 si x + y = 0.

Soluci
on

En los puntos que no pertenecen a la parabola x2 + 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:
 x2 + y 2 
lm lm = 1,
x0 y0 x2 + y
 x2 + y 2 
lm lm 2 = 0.
y0 x0 x + y

ii) Fuera del origen la funcion tampoco es continua pues, si (x0 , y0 ) 6=

(0, 0),
lm f (x, y) = .
(x,y)(x0 ,y0 )
x20 +y0 =0

PROBLEMA 2.23

Estudiar la continuidad de la funci

on
(
x si |x| |y|
f (x, y) =
y si x| > |y|.

Soluci
on

La funcion es continua en todos los puntos (x, y) tales que |x| =

6 |y|. Debemos
estudiar si lo es en los puntos de las rectas y = x e y = x.

86
 i) Recta y = x: lm f (x, y) = x0 (a un lado de la recta y = x
(x,y)(x0 ,x0 )
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 x0 ). De aqu se deduce que la
funcion es continua.
ii) Recta y = x: En cualquier entorno del punto (x0 , x0 ) la funcion toma
los valores x e y; por tanto, tiene dos posibles lmites, x0 y x0 . Esto
quiere decir que no es continua (salvo en el origen).
En la figura 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

Qu e valor debemos asignar a f (0, 0) para que la funci

on
p
1 cos x2 + y 2
f (x, y) = sea continua en (0, 0)?
x2 + y 2

Soluci
on

87
Debemos calcular el lmite de la funci
p on en el origen. Multiplicando nume-
rador y denominador por 1 + cos x2 + y 2 , resulta:
p p
1 cos x2 + y 2 sen2 x2 + y 2 1 1
lm 2 2
= lm p p = .
(x,y)(0,0) x +y (x,y)(0,0) ( x2 + y 2 )2 1 + cos x2 + y 2 2
p
sen x2 + y 2
[Observemos que lm p = 1 lo cual se deduce del teorema
(x,y)(0,0) x2 + y 2 p
p
2 2
sen x2 + y 2
de la funcion intermedia aplicado a la desigualdad cos x + y p 1.]
x2 + y 2
Basta pues definir f (0, 0) = 1/2 y la funcion sera continua en el origen.

PROBLEMA 2.25

Estudiar la continuidad de la funci on

(
2xy+z2
si x + y z =
6 1
f (x, y, z) = x+yz1
0 si x + y z = 1.

Soluci
on

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 x0 6= 1, entonces

3(x0 1)
lm f (x, y, z) = = .
(x,y,z)(x0 ,y0 ,z0 ) 0
x0 +y0 z0 =1

ii) Si x0 = 1, debe ser y0 = z0 . Veamos que existen dos lmites iterados

diferentes:
 
 2x y + z 2   2x y + y0 2 
lm lm lm = lm lm
x1 yy0 zy0 x + y z 1 x1 yy0 x + y y0 1
2x 2
= lm = 2;
x1 x 1
 
 2x y + z 2   y + z 
lm lm lm = lm lm
yy0 zy0 x1 x + y z 1 yy0 zy0 y z
y + y0
= lm = 1.
yy0 y y0

88
En consecuencia, la funcion tampoco es continua en estos puntos.

PROBLEMA 2.26

Sea f : Rm Rn una contracci

on, es decir (0, 1) tal que

kf (x) f (y)k kx yk, x, y Rm .

(a) Probar que f es uniformemente continua.

nico punto p Rm tal que f (p) = p (dicho
(b) Probar que existe un u
punto se llama punto fijo de f ).

Soluci
on

(a) Basta tomar, dado cualquier > 0, = / y comprobar directamente

la definicion de continuidad uniforme.
(b) Sea x Rm arbitrario; definimos la sucesion

p0 = x, p1 = f (x), . . . , pn = f (pn1 ).

Veamos que dicha sucesion es de Cauchy. Para ello, sean n, m N con

m > n:

kpn pn+1 k kpn1 pn k n kp0 p1 k

m1
X m1
X
= kpn pm k kpk pk+1 k kp0 p1 k k
k=n k=n

X n
< kp0 p1 k k = kp0 p1 k ,
1
k=n

expresion que tiende a cero cuando n , debido a que < 1.

Como en Rm toda sucesion de Cauchy es convergente, existe p =
lm pn . Resulta ademas, debido a la continuidad de f , que
n

f (p) = f ( lm pn ) = lm f (pn ) = lm pn+1 = p.

n n n

Veamos por u
ltimo que solo puede haber un punto fijo:
Si existieran p, p0 Rm tales que f (p) = p, f (p0 ) = p0 , entonces

kp p0 k = kf (p) f (p0 )k kp p0 k = kp p0 k = 0 = p = p0 .

89
 PROBLEMA 2.27

on k k : Rn R es uniformemente continua.
Probar que la aplicaci

Soluci
on

Debemos probar que, para cualesquier par de puntos

x,
y Rn , se cum-
ple:
> 0, > 0 : k

x
y k < =  k

x k k

y k  < .

Para ello, probaremos en primer lugar que  k


x k k

y k  k

x


y k.

En efecto, como

k
x k = k
x
y +
y k k
x
y k + k
y k = k
x k k
y k k
x
y k,












k y k = k y x + x k k y x k + k x k = k y k k x k k y x k
= kx
y k kx k k
y k,

x
y k  k
x k k

y k k

x

deducimos que k y k, lo que equivale
precisamente a  k y k  k
x k k

x
y k.

Utilizando esta desigualdad, basta tomar en la definicion de continuidad

= porque si k

x
y k < , entonces


k
x k k

y k k

x


y k < = ,

lo que prueba la continuidad uniforme de la funcion.

PROBLEMA 2.28

on lineal f : Rn Rm es continua.
Probar que toda aplicaci

90
Soluci
on

Veamos en primer lugar que M > 0 tal que kf ( x )k M k x k, x

n
R .
n



xi

X
n
En efecto, si { e1 , . . . , en } es la base canonica de R y x = (x1 , . . . , xn ) = ei ,
i=1
entonces
Xn n


kf (
xi
xi f (

X
x )k = f ei = ei )

i=1 i=1
n n
|xi | kf (
kf (

X X
ei )k max |xi | ei )k.
1in
i=1 i=1

Teniendo en cuenta que max |xi | k

x k, deducimos que
1in

n
kf (

x )k k
kf (

X
xk ei )k,
i=1

n
kf (

P
lo que prueba la desigualdad deseada si llamamos M = ei )k.
i=1

Para probar la continuidad de f , sea > 0 arbitrario. Si hacemos = /M ,

de la desigualdad k

x
y k < deducimos:

kf (

x ) f (

y )k = kf (

x

y )k M k

x

y k < M = .

Deducimos as que la funcion es incluso uniformemente continua.

PROBLEMA 2.29

Probar que todas las normas sobre Rn son equivalentes.

Soluci
on

Probaremos que la norma eucldea k k2 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 : (Rn , k k2 ) (Rn , k k),
con k k arbitraria.

91
Por ser f lineal y de acuerdo al resultado probado en el problema anterior,
existe M > 0 tal que
k

x k M kx k2 .
Tambien se probo en el ejercicio anterior que f es continua. Como ademas la
aplicacion kk : (Rn , kk) R es continua, la composicion kf k es continua. El
conjunto B = { x Rn : k
x k2 = 1} es cerrado y acotado, luego compacto.
Como toda aplicacion continua sobre un compacto alcanza el valor mnimo,
existe una constante m = mn{k xk:
x B}.
Sea
x Rn un elemento no nulo; entonces x /k

x k B, luego k
2
x k/k

xk
2
m, es decir
k

x k m k

x k2
(si

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

m k

x k2 k

x k M k

x k2 ,

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 gr
aficas de las mismas, en caso de ser posible.
(a) f (x, y) = x/y .
(b) f (x, y) = x2 + xy .

(c) f (x, y) = y/ x.
(
2xy
x2 +y 2
si (x, y) 6= (0, 0),
(d) f (x, y) =
0 si (x, y) = (0, 0).

(e) f (x, y, z) = 4x2 + y 2 + 9z 2 .

(f) f (x, y, z) = sen(x2 + y 2 + z 2 ).

2.- Hallar y representar los dominios de las funciones siguientes:

1
(a) f (x, y) = .
x2
+ y2
p
(b) f (x, y) = 1 + 1 (x y)2 .
(c) f (x, y) = ln(x2 + y).
p
(d) f (x, y) = cos(x2 + y 2 ).

x2 y 2
3.- Sea f (x, y) = . Probar que los lmites iterados en
x2 y 2 + (x y)2
(0, 0) son iguales pero que no existe el lmite.

xy
4.- Probar que no existe lm .
(x,y)(0,0) x + y

5.- Hallar los siguientes lmites o justificar su existencia:

sen(x2 + y 2 )
(a) lm .
(x,y)(0,0) x2 + y 2
(x y)2
(b) lm .
(x,y)(0,0) x2 + y 2

cos(xy) 1
(c) lm .
(x,y)(0,0) x

93
 x
6.- Calcular el lmite de la funci
on f (x, y) = en los puntos
x2
+ y2 + a
(0, 0) y (1, 1), seg
un los valores del par
ametro a.

7.- Estudiar la continuidad de

p
(a) f (x, y) = ln x2 + y 2 .
1
(b) f (x, y) = cos .
xy
(c) f (x, y) = arc tg(y/x).
x
(d) f (x, y) = p .
x + y2
2
(p
1 x2 y 2 si x2 + y 2 1,
(e) f (x, y) =
0 si x2 + y 2 > 1.

8.- Estudiar la continuidad de las siguientes funciones en los puntos

indicados:
(
x+y
x 2 +y si x2 + y 6= 0
(a) f (x, y) = en el punto (1, 1).
1/2 si (x, y) = (1, 1)
(
(x + y) sen(1/x) si x 6= 0
(b) f (x, y) = en (0, 0).
0 si x = 0
( 3 3
x y
xy si x 6= y
(c) f (x, y) = en la recta x = y .
x+y si x = y
( 2
x y
2 2 si (x, y) 6= (0, 0)
(d) f (x, y) = x +y en (0, 0).
0 si (x, y) = (0, 0)

1 cos xy
9.- Dada la funci
on f (x, y) = , para x 6= 0, es posible defi-
x
nir f (0, y) para que f sea continua?

x1
10.- Definir, caso de ser posible, f (1, 0) en la funci
on f (x, y) = p ,
x2 2x + y 2 + 1
para que sea continua en dicho punto.
(
sen(x+y2)
x+y2 si x + y 6= 2,
11.- Estudiar la continuidad de la funci
on f (x, y) =
1 si x + y = 2,
en los puntos de la recta x + y = 2.

94
12.- Estudiar la continuidad de las funciones
(
sen x
si y 6 Z
(a) f (x, y) = sen y
1 si y Z.
( 2
x +y
2 si x2 6= y
(b) f (x, y) = x y
1 si x2 = y.

13.- Existe alg

un valor de apara el que la funci on
( 3 2 2
5x +x +y
x2 +y 2
si (x, y) 6= (0, 0)
f (x, y) =
a si (x, y) = (0, 0)

es continua en R2 ?

14.- Dadas las funciones f (x, y) = x2 y 2 , g(x, y) = x + y , estudiar la

continuidad de las funciones f /g y g/f .

x2 + y 2 1
15.- Sea f (x, y) = 2 . Determinar los valores de que ha-
x + x + 1
gan
(a) f continua en R2 .
(b) f continua en (0, 0).

95