HU

V /E
UP
2

2,
Capı́tulo

AL
Continuidad de funciones de varias variables

GR
TE
Una vez establecidas las nociones topológicas de los espacios euclı́deos, vamos a desarrollar
el cálculo infinitesimal de funciones definidas en dichos espacios, de forma paralela al estudio
IN
de las funciones reales de una variable real. Para no recargar la notación, ya no colocaremos
el sı́mbolo ! sobre los vectores: el propio contexto nos indicará si se trata de un vector o de
un escalar.
LE

2.1. Dominios y curvas de nivel

IA

Muchos problemas geométricos y fı́sicos conducen a funciones de varias variables. Por ejemplo,
el área de un rectángulo viene dado por la función f (x, y) = xy, donde x es la base e y la
NC

altura, la distancia
p de un punto del espacio P = (x, y, z) al origen corresponde a la función
f (x, y, z) = x2 + y 2 + z 2 , etc. De ahı́ que sea necesario extender los conceptos y la teorı́a
de funciones reales de variable real a funciones vectoriales de varias variables.
RE

En general, una función vectorial de m variables f : Rm ! Rn definida por f (x1 , . . . , xm ) =

(y1 , . . . , yn ) se escribirá como un vector (f1 , . . . , fn ) de funciones fi : Rm ! R definidas por
FE

fi (x1 , . . . , xm ) = yi (i = 1, . . . , n). Destacaremos los casos particulares siguientes:

Si n = 1, tenemos una función real de m variables (que llamaremos campo escalar).
Si m = 1 (y n > 1), tenemos una función vectorial de una variable (o campo vectorial).
DI

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
O

definidas por f (x, y) = ax + by + c.

Los conceptos básicos relativos a propiedades globales de estas funciones son los siguientes:
UL

1. Dominio de f :
LC

D(f ) = {x = (x1 , . . . , xm ) 2 Rm : 9f (x) 2 Rn }.

2. Rango o imagen de f :
CÁ

Im(f ) = {y = (y1 , . . . , yn ) 2 Rn : 9x = (x1 , . . . , xm ) 2 D(f ), f (x) = y}.

25
 HU
26 2.2. Cálculo de lı́mites

V /E
Decimos que una función está acotada cuando su imagen es un conjunto acotado.

UP
3. Gráfica de f :

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

2,
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

AL
Ck = {(x, y) 2 D(f ) : f (x, y) = k},

para valores k 2 R, pues representan el conjunto de puntos del dominio cuya imagen toma el

GR
valor constante k. Como en este caso la gráfica de la función es una superficie, las curvas de
nivel corresponden a los conjuntos de puntos que están 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. TE
Por ejemplo,
p las curvas de nivel del paraboloide de ecuación z = x2 +y 2 y del cono de ecuación
z = x2 + y 2 son circunferencias. La diferencia está en el crecimiento del radio a medida
IN
que aumenta el nivel.
Se definen análogamente las superficies de nivel en el caso de funciones f : R3 ! R como los
LE

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

2.2. Cálculo de lı́mites

NC

Consideremos una función arbitraria f : Rm ! Rn con dominio D(f ) = D. Sean S ⇢ D,

x 0 2 Rm , y 0 2 Rn .
Diremos que lı́m f (x) = y0 (en palabras, el lı́mite de f en x0 a lo largo de S es igual a y0 ),
RE

x!x0
x2S
cuando
8" > 0, 9 > 0 : f (x) 2 B(y0 , "), 8x 2 (B(x0 , ) \ {x0 }) \ S.
FE

Equivalentes a este enunciado son los siguientes:

8" > 0, 9 > 0 : f (B(x0 , ) \ {x0 }) \ S ⇢ B(y0 , ");

DI

8" > 0, 9 > 0 : 0 < kx x0 k < , x 2 S =) kf (x) y0 k < ";

8" > 0, 9 > 0 : 0 < d(x x0 ) < , x 2 S =) d(f (x) y0 ) < ".
O

Esta definición es una simple extensión de la definición usual de lı́mite de una función real
UL

donde se sustituye la distancia en R (dada por el valor absoluto) por la distancia en cada uno
de los espacios métricos Rm y Rn (dada por la correspondiente norma).
Observemos que la definición no tiene sentido si x0 62 S 0 pues, en este caso, (B(x0 , ) \ {x0 }) \
LC

S = ; y cualquier punto puede ser el lı́mite de una función en x0 . En el caso de que S = D,

y no haya lugar a confusión, escribiremos simplemente lı́m f (x).
x!x0
CÁ

Enunciamos a continuación las siguientes propiedades básicas del lı́mite.

 HU
Capı́tulo 2. Continuidad de funciones de varias variables 27

/E
Teorema 2.2.1 (caracterización mediante sucesiones). Sea f : Rm ! Rn con D(f ) = D y

V
sea x0 2 D0 . Entonces

UP
lı́m f (x) = y0 () lı́m f (xk ) = y0
x!x0 k!1
para toda sucesión (xk )k2N de puntos de D \ {x0 } que converge a x0 .

2,
Demostración. Si lı́m f (x) = y0 , sabemos que
x!x0

AL
8" > 0, 9 > 0 : d(f (x), y0 ) < " cuando 0 < d(x, x0 ) < .

Sea ahora (xk )k2N una sucesión de puntos de D \ {x0 } que converge a x0 . A partir del
anterior, existe N 2 N tal que d(xk , x0 ) < , 8k N .

GR
Por hipótesis, d(f (xk ), y0 ) < ", 8k N , de modo que (f (xk ))k2N converge a y0 .
Recı́procamente, si lı́m f (xk ) = y0 pero lı́m f (x) 6= y0 , entonces existe " > 0 tal que para
k!1 x!x0
TE
cualquier > 0 existe x 2 D para el cual 0 < d(x, x0 ) < pero d(f (x), y0 ) ". Tomando
= 1/k, encontramos una sucesión (xk ) ⇢ D \ {x0 } tal que 0 < d(xk , x0 ) < 1/k pero
d(f (xk ), y0 ) ", lo que contradice la hipótesis.
IN

Como consecuencia de este resultado y de la proposición 1.4.1 se deduce la siguiente propie-

dad.
LE

Teorema 2.2.2. Si existe lı́m f (x), este lı́mite es único.

x!x0
x2S

Teorema 2.2.3. Sea T ⇢ S ⇢ D. Entonces

IA

lı́m f (x) = y0 =) lı́m f (x) = y0

x!x0 x!x0
NC

x2S x2T

La demostración se plantea en el ejercicio 2.3.

RE

En la práctica este resultado es importante puesto que, si elegimos adecuadamente un sub-

conjunto T ⇢ S (para el que sea fácil el cálculo del lı́mite), una condición necesaria para que
lı́m f (x) = y0 es que lı́m f (x) = y0 .
x!x0 x!x0
FE

x2S x2T
Ejemplos.
DI

1. Si existiera
x2 + y 2
lı́m = L,
(x,y)!(0,0) |x| + |y|
O

entonces deberı́a cumplirse que

x2 + y 2
UL

lı́m = L,
(x,y)!(0,0) |x| + |y|
x2T
LC

para todo T ⇢ D. Ahora bien, si elegimos T = {(x, mx) : x 6= 0}, entonces

x2 + y 2 x2 + m2 x2 x2 (1 + m2 )
lı́m = lı́m = lı́m = 0.
CÁ

(x,y)!(0,0) |x| + |y| x!0 |x| + |mx| x!0 |x|(1 + |m|)

x2T
 HU
28 2.2. Cálculo de lı́mites

V /E
En consecuencia, caso de existir, L = 0.
Para probar que, en efecto, L = 0, basta observar que

UP
(|x| + |y|)2 = |x|2 + |y|2 + 2|x| · |y| |x|2 + |y|2 ,

|x|2 + |y|2

2,
de donde  |x| + |y|. Ası́ pues, dado " > 0, elegimos = "/2, con lo que, si
p |x| + |y|
x2 + y 2 < , entonces |x| < y |y| < . Por tanto,

AL
x2 + y 2
 |x| + |y| < 2 = ".
|x| + |y|

GR
Será común en este tipo de problemas utilizar trayectorias del tipo y = mx. Ası́, si el
lı́mite es el mismo para todas ellas, el resultado es un candidato a ser el lı́mite de la
TE
función, pero si dicho lı́mite varı́a con cada trayectoria, la función no tiene lı́mite.
2xy
2. Dada la función f (x, y) = , si hacemos T = {(x, mx) : x 6= 0}, entonces
x2 + y 2
IN

2xy 2mx2 2m
lı́m 2 2
= lı́m 2 2
= .
(x,y)!(0,0) x + y x!0 x (1 + m ) 1 + m2
LE

x2T

Como el resultado depende de m, no puede existir lı́m f (x, y).

(x,y)!(0,0)
IA

Observación. El recı́proco de la proposición anterior no es cierto (un contraejemplo se

muestra en el ejercicio 2.6).
NC

Teorema 2.2.4 (operaciones algebraicas con el lı́mite). Dadas dos funciones f : Rm ! Rn

y g : Rm ! Rn , con D(f ) = D1 y D(g) = D2 , y un conjunto S ⇢ D1 \ D2 , si lı́m f (x) = y1
x!x0
RE

x2S
y lı́m g(x) = y2 , entonces:
x!x0
x2S
FE

a) lı́m (f + g)(x) = y1 + y2 .
x!x0
x2S
DI

b) lı́m ( f )(x) = y1 .
x!x0
x2S

c) lı́m hf (x), g(x)i = hy1 , y2 i.

O

x!x0
x2S
UL

d) lı́m kf (x)k = y1 .
x!x0
x2S
LC

Demostración. Los apartados a) y b) son sencillos.

Para probar c), aplicamos la igualdad siguiente:
CÁ

hf (x), g(x)i hy1 , y2 i = hf (x) y1 , g(x) y2 i + hf (x) y1 , y2 i + hy1 , g(x) y2 i.

 HU
Capı́tulo 2. Continuidad de funciones de varias variables 29

V /E
Ası́ pues,

UP
0  |hf (x), g(x)i hy1 , y2 i|
 kf (x) y1 k · kg(x) y2 k + kf (x) y1 k · ky2 k + ky1 k · kg(x) y2 k

Por hipótesis, cada uno de los términos del segundo miembro tiende a cero cuando x ! x0 ,

2,
lo que prueba la proposición.
Para el apartado d), basta observar que kf (x)k ky1 k  kf (x) y1 k.

AL
Proposición 2.2.5. Si descomponemos la función f : D ⇢ Rm ! Rn en sus componentes
f (x) = f1 (x), . . . , fn (x) , donde cada fi : D ! R (1  i  n), entonces

GR
lı́m f (x) = y = (y1 , . . . , yn ) () lı́m fi (x) = yi , 1  i  n.
x!x0 x!x0
x2S x2S

TE
La demostración se deduce fácilmente de las desigualdades siguientes:
n
X
IN
|fi (x) yi |  kf (x) yk  |fi (x) yi |.
i=1

Los últimos resultados de esta sección proporcionan métodos prácticos para comprobar la
LE

existencia de lı́mites de funciones de dos variables y calcular su valor, en caso de existir.

Proposición 2.2.6. Dada una función f : R2 ! R, si existe lı́m f (x, y) = L, y
(x,y)!(x0 ,y0 )
IA

existen también los lı́mites de una variable lı́m f (x, y) y lı́m f (x, y), entonces existen y son
x!x0 y!y0
iguales los llamados lı́mites iterados
NC

⇣ ⌘ ⇣ ⌘
lı́m lı́m f (x, y) = lı́m lı́m f (x, y) = L.
y!y0 x!x0 x!x0 y!y0
RE

La demostración de esta proposición se propone en el ejercicio 2.4.

Este resultado nos muestra que para la existencia e igualdad de los lı́mites iterados no es
suficiente la existencia del lı́mite de la función: hace falta también la existencia de los lı́mites
FE

de funciones de una variable. Sin embargo, es posible que exista el lı́mite de una función
pero no exista alguno de los lı́mites iterados. Por ejemplo, si f (x, y) = x sen(1/y) cuando
DI

y 6= 0, f (x, 0) = 0, es claro que |f (x, y)|  |x|, de modo que existe lı́m f (x, y) = 0. Sin
(x,y)!(0,0)
embargo, no existe lı́m f (x, y).
y!0
xy
O

Observemos además que el recı́proco no es cierto. Por ejemplo, si f (x, y) = , con

+ y2 x2
UL

(x, y) 6= (0, 0), es fácil comprobar que los lı́mites iterados cuando (x, y) ! (0, 0) valen cero. Sin
embargo, no existe lı́m f (x, y) porque, dado " = 1, en cualquier bola B(0, ) podemos
p(x,y)!(0,0)
p
elegir (x, y) = ( /2 2, /2 2) el cual verifica f (x, y) = 1/2 > ".
LC

De esta propiedad se deduce en particular que, si existen los lı́mites iterados pero son distintos,
entonces no existe el lı́mite de la función.
CÁ

Resultados similares se pueden obtener para funciones de más de dos variables.

 HU
30 2.2. Cálculo de lı́mites

/E
Proposición 2.2.7. Dada una función f : R2 ! R, si existe

V
lı́m f (x, y) = L, y g
(x,y)!(x0 ,y0 )
es una función real y continua definida en un entorno de x0 , tal que g(x0 ) = y0 , entonces

UP
lı́m f (x, g(x)) = L.
x!x0

Demostración. Por hipótesis, dado " > 0, existe > 0 tal que

2,
0 < d ((x, y), (x0 , y0 )) < =) d(f (x, y), L) < ".

AL
Como g es continua en x0 , dado existe > 0 tal que
p
0 < d(x, x0 ) < =) d(g(x), g(x0 )) < / 2.
p

GR
Si elegimos  / 2, debido a que y0 = g(x0 ), resulta
p
d ((x, g(x)), (x0 , g(x0 ))) = (x x0 )2 + (g(x) g(x0 ))2 < .
Por tanto, d(f (x, g(x)), L) < ".
y
TE
Ejemplo. La función f (x, y) = , si y 6= x2 , no tiene lı́mite cuando (x, y) ! (0, 0)
+yx2
IN
m
porque, dada la función g(x) = mx2 , resulta que lı́m f (x, g(x)) = , el cual depende del
x!0 m+1
parámetro m.
LE

Proposición 2.2.8. Sean f, g : D ⇢ Rn ! R y x0 2 D0 . Si lı́m f (x) = 0 y g está acotada,

x!x0
entonces lı́m f (x)g(x) = 0.
x!x0
IA

Demostración. Por hipótesis, existe M > 0 tal que |g(x)|  M , para todo x 2 D. Además,
dado " > 0, existe U entorno de x0 tal que
NC

|f (x)| < "/M, 8x 2 U \ D, x 6= x0 .

Entonces |f (x) · g(x)| < ", 8x 2 U \ D, x 6= x0 .
RE

2x2
Por ejemplo, la función f (x, y) = p , si (x, y) 6= (0, 0), tiene lı́mite cero en el origen
x2 + y 2
FE

2x2 2x 2x
porque p =x· p pero 2  p  2.
2
x +y 2 2
x +y 2 x2 + y 2
DI

Proposición 2.2.9. Sea f : D ⇢ Rn ! R, con D = D1 [ · · · [ Dk , y x0 un punto de

acumulación de Di para todo i. Entonces existe lı́m f (x) si y sólo si existen lı́m f (x)
x!x0 x!x0
x2Di
(i = 1, . . . , k) y todos son iguales.
O
UL

Demostración. Sea L = lı́m f (x), i = 1, . . . , k. Dado " > 0, existen i > 0 tales que
x!x0
x2Di

|f (x) L| < ", para todo x 2 B(x0 , i ) \ Di , x 6= x0 .

LC

Si elegimos = mı́n{ 1 , . . . , k }, dado x 2 B(x0 , ) \ D, existe i 2 {1, . . . , k} tal que x 2

B(x0 , ) \ Di , pero también x 2 B(x0 , i ) \ Di . Por tanto, |f (x) L| < ".
CÁ

El recı́proco es consecuencia de la proposición 2.2.3.

 HU
Capı́tulo 2. Continuidad de funciones de varias variables 31

/E
s

V
2
Por ejemplo, para probar que lı́m x p 1 = 0, observamos en primer lu-
(x,y)!(0,0) x2 + y 2

UP
!
2
gar que lı́m x2 p 1 = 0. Por lo tanto, si D1 = {(x, y) : x > 0}, D2 =
(x,y)!(0,0) x + y2
2

{(x, y) : x s < 0} y D3 = {(x, y) : x = 0, y 6= 0}, entonces D = D1 [ D2 [ D3 y, además,

2,
2
lı́m x p 1 = 0 (i = 1, 2, 3).
(x,y)!(0,0) x2 + y 2

AL
x2Di

2.3. Continuidad

GR
Decimos que una función f : Rm ! Rn con dominio D es continua en un punto x0 2 D
cuando
TE
8" > 0, 9 > 0 : f (x) 2 B(f (x0 ), "), 8x 2 B(x0 , ) \ D,
condición equivalente a cualquiera de las siguientes:
IN

8" > 0, 9 > 0 : f B(x0 , ) \ D ⇢ B f (x0 ), " ;

LE

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

Si x0 2 D0 , lo anterior implica que lı́m f (x) = f (x0 ).
x!x0
x2D
IA

Enunciamos algunas propiedades y caracterizaciones de las funciones continuas.

NC

Teorema 2.3.1 (caracterización por sucesiones). Sea f : D ⇢ Rm ! Rn y x0 2 D. Entonces

f es continua en x0 si y sólo si
RE

8{xn }n 1 ⇢ D, xn ! x0 =) f (xn ) ! f (x0 ),

es decir lı́m f (xn ) = f ( lı́m xn ).

n!1 n!1
FE

La demostración es análoga a la del teorema 2.2.1. También son sencillas las pruebas de las
siguientes propiedades.
DI

Teorema 2.3.2 (continuidad de la función compuesta). Sean f : Rm ! Rn , g : Rn ! Rp

funciones arbitrarias. Si f es continua en x0 y g es continua en f (x0 ), entonces g f es
O

continua en x0 .
UL

Proposición 2.3.3. Sean f : Rm ! Rn y g : Rn ! Rp . Si lı́m f (x) = y0 y g es continua

x!x0
en y0 , entonces g lı́m f (x) = lı́m g(f (x)).
x!x0 x!x0
LC

Demostración. Sea U es un entorno de g(y0 ). Entonces g 1 (U ) es un entorno de y0 . Por

tanto, existe V entorno de x0 tal que f (x) 2 g 1 (U ), para todo x 2 V , x 6= x0 , de donde
CÁ

g(f (x)) 2 U .
 HU
32 2.3. Continuidad

/E
Observación. La siguiente propiedad es falsa: Dados f : Rm ! Rn y g : Rn ! Rp , si

V
lı́mx!a f (x) = b y lı́mx!b g(x) = c, entonces lı́mx!a g(f (x)) = c.

UP
Por ejemplo, sean f (x, y) = x+y, g(x) = 0 si x 6= 0 y g(0) = 1, entonces lı́m f (x, y) = 0,
(x,y)!(0,0)
y lı́m g(x) = 0, pero no existe lı́m g(f (x, y)).
x!0 (x,y)!(0,0)

2,
Teorema 2.3.4 (continuidad de las operaciones algebraicas). Sean f, g : Rm ! Rn funciones
continuas en x0 . Entonces f + g, f , hf, gi y kf k son continuas en x0 .

AL
Teorema 2.3.5. Si fk : Rm ! R (1  k  n) son las componentes de f : Rm ! Rn ,
entonces f es continua en x0 si y sólo si cada fk es continua en x0 .

GR
Este resultado permite simplificar el estudio de la continuidad de una función al de la conti-
nuidad de n funciones reales.
TE
Definimos también el concepto de continuidad global: decimos que una función 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.
IN

Teorema 2.3.6. Sea f : Rm ! Rn una función con dominio D(f ) = D abierto. Entonces f
es continua en D si y sólo si f 1 (U ) es abierto, para cualquier abierto U ⇢ Rn .
LE

Demostración. Supongamos que f es continua en D y sea U ⇢ Rn un abierto. Dado x 2

f 1 (U ), como y = f (x) 2 U , entonces existe " > 0 tal que B(y, ") ⇢ U . Como f es continua
IA

en x, existe > 0 tal que f (B(x, ) \ D) ⇢ B(y, "). Por tanto,

1 1 1
B(x, ) \ D ⇢ f (f (B(x, ))) ⇢ f (B(y, ")) ⇢ f (U ),
NC

lo que demuestra que f 1 (U ) es abierto.

Recı́procamente, sea x 2 D y llamamos y = f (x). Dado " > 0, como B(y, ") es un abierto,
RE

f 1 (B(y, ")) es abierto. Teniendo en cuenta que x 2 f 1 (B(y, ")), existe > 0 tal que
B(x, ) ⇢ f 1 (B(y, ")). Por tanto, f (B(x, )) ⇢ B(y, "), es decir que f es continua en x.
FE

Corolario 2.3.7. Una función f : Rm ! Rn es continua si y sólo si f 1 (F ) es cerrado, para

cualquier cerrado F ⇢ Rn .
DI

Teorema 2.3.8. Sea M ⇢ Rm un compacto y f : Rm ! Rn continua en M . Entonces f (M )

es compacto.
[
O

Demostración. Sea F un recubrimiento por abiertos de f (M ), es decir f (M ) ⇢ A. Como

UL

A2F
f es continua en M , por el teorema 2.3.6, f 1 (A) es abierto, para todo A 2 F. Además,
{f 1 (A) : A 2 F} es un recubrimiento por abiertos de M , con lo que existe p 2 N tal que
M ⇢ f 1 (A1 ) [ · · · [ f 1 (Ap ). Entonces
LC

1 1 1 1
f (M ) ⇢ f f (A1 ) [ · · · [ f (Ap ) = f f (A1 ) [ · · · [ f f (Ap ) ⇢ A1 [ · · · [ Ap .
CÁ

En conclusión, f (M ) es compacto.
 HU
Capı́tulo 2. Continuidad de funciones de varias variables 33

/E
Corolario 2.3.9 (teorema de Weierstrass). Sea f : Rm ! R continua en un compacto

V
M ⇢ Rm . Entonces f alcanza los valores máximo y mı́nimo, es decir

UP
9x1 , x2 2 M : f (x1 )  f (x)  f (x2 ), 8x 2 M.

Demostración. Por el teorema anterior, f (M ) es cerrado y acotado, de modo que f está

2,
acotada en M . Esto implica que existen s = sup f (M ) y t = ı́nf f (M ). Por tanto, s y t son
puntos de adherencia de f (M ). Como f (M ) es cerrado, s, t 2 f (M ), es decir s = máx f (M )

AL
y t = mı́n f (M ).

Teorema 2.3.10 (continuidad de la función inversa). Sea f : Rm ! Rn inyectiva. Si D ⇢ Rm

es compacto y f continua en D, entonces f 1 es continua en f (D).

GR
Demostración. Dado cualquier conjunto cerrado C ⇢ D, probaremos que f (C) es cerrado en
Rn .
TE
Por ser D compacto, y C cerrado, entonces C es compacto, de donde f (C) es compacto (por
el teorema 2.3.8). En particular, f (C) es cerrado.
IN
También la propiedad de conexión se mantiene mediante las funciones continuas.
Teorema 2.3.11. Sea f : Rm ! Rn una función continua en M ⇢ Rm . Si M es conexo,
LE

f (M ) es también conexo.

Continuidad uniforme
IA

Un concepto más preciso corresponde al de continuidad uniforme, que definimos a continua-

ción.
NC

Definición. Decimos que una función f : Rm ! Rn es uniformemente continua en A ⇢ Rm

cuando
RE

8" > 0, 9 > 0 : kx1 x2 k < =) kf (x1 ) f (x2 )k < ", 8x1 , x2 2 A.

Es evidente que toda función uniformemente continua es continua. Una especie de recı́proco
FE

es el siguiente resultado.
Teorema 2.3.12 (Heine-Cantor). Sea f : Rm ! Rn continua y A ⇢ Rm un conjunto
DI

compacto. Entonces f es uniformemente continua en A.

Demostración. Dado " > 0, para cada x 2 A existe r > 0 tal que d(f (y), f (x)) < "/2 si
O

y 2 B(x, r) \ A.
La colección {B(x, r/2) : x 2 A}Sforma un recubrimiento por abiertos de A. Por la compacidad
UL

de A, existe p 2 N tal que A ⇢ pk=1 B(xk , rk /2).

Dado u 2 B(xk , rk ) \ A, sabemos que d (f (u), f (xk )) < "/2.
LC

Sea = mı́n{r1 /2, . . . , rp /2}. Dados a, b 2 A, con d(a, b) < , sabemos que existe k 2
{1, . . . , m} tal que a 2 B(xk , rk /2), de donde f (a) 2 B(f (xk ), "/2). Por la desigualdad
triangular,
CÁ

d(b, xk )  d(b, a) + d(a, xk ) < + rk /2  rk ,

 HU
34 2.3. Continuidad

V /E
es decir b 2 B(xk , rk ) \ A, con lo que f (b) 2 B(f (xk ), "/2).
Aplicamos de nuevo la desigualdad triangular para obtener

UP
d(f (a), f (b))  d(f (a), f (xk )) + d(f (xk ), f (b)) < ",

lo que confirma la continuidad uniforme de f .

2,
De forma análoga al caso de las funciones continuas, se puede probar la siguiente caracteri-

AL
zación de la continuidad uniforme mediante sucesiones.

Proposición 2.3.13. Dada una función f : D ⇢ Rn ! R, f es uniformemente continua si

y sólo si para cualquier par de sucesiones (xn ), (yn ) ⇢ D tales que (xn yn ) ! 0, se verifica

GR
que (f (xn ) f (yn )) ! 0.

Demostración. Si f es uniformemente continua, para todo " > 0, existe > 0 tal que

kx yk < =) |f (x)
TE
f (y)| < ".
IN
Dadas las sucesiones (xn ), (yn ) ⇢ D, si (xn yn ) ! 0, existe n0 2 N tal que kxn yn k < ,
8n n0 . Por tanto, |f (xn ) f (yn )| < ", es decir (f (xn ) f (yn )) ! 0.
Recı́procamente, si f no es uniformemente continua, existe " > 0 tal que, para cada n 2 N,
LE

existen xn , yn 2 D con kxn yn k < 1/n pero |f (x) f (y)| ".

Encontramos ası́ un par de sucesiones (xn ), (yn ) tales que (xn yn ) ! 0 pero |f (xn ) f (yn )|
", con lo que (f (xn ) f (yn )) no tiende a 0.
IA

Proposición 2.3.14 (teorema del punto fijo). Sea f : Rm ! Rn una contracción, es decir
9↵ 2 (0, 1) tal que
NC

kf (x) f (y)k  ↵kx yk, 8x, y 2 Rm .

Entonces f es uniformemente continua y existe un único punto p 2 Rm tal que f (p) = p
RE

(dicho punto se llama punto fijo de f ).

Demostración. Para probar que f es uniformemente continua, basta tomar, dado cualquier
FE

" > 0, = "/↵ y comprobar directamente la definición de continuidad uniforme.

Para cada x 2 Rm arbitrario, definimos la sucesión
DI

p0 = x, p1 = f (x), . . . , pk = f (pk 1 ).

Veamos que dicha sucesión es de Cauchy. Para ello, sean j, k 2 N con j > k:
O

kpk pk+1 k  ↵kpk 1 pk k  · · ·  ↵k kp0 p1 k

UL

j 1
X j 1
X
=) kpj pk k  kpi pi+1 k  kp0 p1 k · ↵i
i=k i=k
LC

1
X ↵k
< kp0 p1 k · ↵i = kp0 p1 k · ,
1 ↵
i=k
CÁ

expresión que tiende a cero cuando k ! 1, debido a que ↵ < 1.

 HU
Capı́tulo 2. Continuidad de funciones de varias variables 35

/E
Como en Rm toda sucesión de Cauchy es convergente, existe p = lı́m pk . Resulta además,

V
k!1
debido a la continuidad de f , que

UP
f (p) = f ( lı́m pk ) = lı́m f (pk ) = lı́m pk+1 = p.
k!1 k!1 k!1

Veamos por último que sólo puede haber un punto fijo:

2,
Si existieran p, p0 2 Rm tales que f (p) = p, f (p0 ) = p0 , entonces

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

AL
kp

En definitiva, f tiene un único punto fijo.

GR
Funciones lineales

Terminaremos el capı́tulo mostrando una clase importante de funciones continuas, como son
las funciones lineales.
TE
Definición. Una función f : Rm ! Rn es lineal si
IN
f (↵x + y) = ↵f (x) + f (y), 8x, y 2 Rm , ↵, 2 R.

Toda función lineal tiene una representación matricial, que se obtiene del modo siguiente:
LE

Sean {u1 , . . . , um } y {v1 , . . . , vn } bases ortonormales de Rm y Rn , respectivamente. Dado

m
X
cualquier x 2 R , sabemos que x =
m xi ui , donde xi = hx, ui i, i = 1, . . . , m.
IA

i=1
m
X
Por la linealidad de f , deducimos que f (x) = xi f (ui ). Ahora bien, para cada i 2
NC

i=1
n
X m X
X n
{1, . . . , m}, f (ui ) = aji vj . En definitiva, resulta que f (x) = xi aji vj . Esto sig-
RE

j=1 i=1 j=1

nifica que las coordenadas de f (x) respecto a la base {v1 , . . . , vn } se obtienen mediante el
producto 0 1 0 1
a11 . . . a1m x1
FE

B .. C B .. C
@ . A · @ . A,
an1 . . . anm xm
DI

donde las columnas son las componentes de las imágenes de la base {u1 , . . . , um } en función
de la base {v1 , . . . , vn }.
O

Hemos obtenido ası́ la matriz A = (aij ) llamada matriz asociada a la aplicación lineal f con
respecto a las bases {ui } y {vj }.
UL

Por otra parte, sean T : Rm ! Rn y S : Rn ! Rp son funciones lineales cuyas matrices

asociadas son A = (aij ) i=1,...,n y B = (bki ) k=1,...,p , respectivamente.
j=1,...,m i=1,...,n
LC

Como
n
! n n p
! p m
!
X X X X X X
CÁ

(ST )(ej ) = S aij fi = aij S(fi ) = aij bki gk = bki aij gk ,

i=1 i=1 i=1 k=1 k=1 i=1
 HU
36 2.3. Continuidad

V /E
la matriz asociada a la composición ST es el producto B · A.

UP
Proposición 2.3.15. Toda función lineal f : Rm ! Rn es uniformemente continua.

Demostración. Para probarlo, sean x, y 2 Rm y {e1 , . . . , em } la base canónica de Rm . Enton-

2,
m
X m
X
ces podemos escribir x = xi ei , y = yi e i .
i=1 i=1

AL
Si llamamos M = máx{kf (ei )k : i = 1, . . . , m}, por la linealidad de f ,
m
X

GR
kf (x) f (y)k = kf (x y)k = (xi yi )f (ei )
i=1
m
X m
X
 |xi yi | · kf (ei )k  M |xi yi |  mM kx yk.
i=1
TEi=1

De aquı́ se deduce la continuidad uniforme de f .

IN

Como consecuencia de esta propiedad, se puede probar la equivalencia de todas las normas
definidas en Rn .
LE

Proposición 2.3.16. Todas las normas sobre Rn son equivalentes.

Demostración. Probaremos que la norma euclı́dea k · k2 es equivalente a cualquier otra. Por

IA

la transitividad de la relación de equivalencia, esto basta para que dos normas arbitrarias
sean equivalentes entre sı́.
NC

Para ello consideramos la aplicación identidad f : (Rn , k · k2 ) ! (Rn , k · k), con k · k arbitraria.
Por ser f lineal, como hemos visto en la proposición anterior, existe M > 0 tal que
RE

kxk  M · kxk2 .

Sabemos también que f es continua. Como además la aplicación k · k : (Rn , k · k) ! R es

FE

continua (ver ejercicio 2.10), la composición kf k es continua. El conjunto B = {x 2 Rn :

kxk2 = 1} es cerrado y acotado, luego compacto. Como toda aplicación continua sobre un
compacto alcanza el valor mı́nimo, existe una constante m = mı́n{kxk : x 2 B}.
DI

Sea x 2 Rn un elemento no nulo; entonces x/kxk2 2 B, luego kxk/kxk2 m, es decir

kxk m · kxk2
O

(si x = 0 esta desigualdad es obviamente cierta).

UL

En definitiva, existen dos constantes m, M > 0 tales que

LC

m · kxk2  kxk  M · kxk2 ,

es decir ambas normas son equivalentes.

CÁ
 HU
Capı́tulo 2. Continuidad de funciones de varias variables 37

/E
2.4. Ejercicios

V
UP
Ejercicio 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 y2, k = 2, 1, 0, 1, 2.

2,
b) f (x, y) = exy , k = e 2 , e 1 , 1, e, e2 .

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

GR
Ejercicio 2.2. Hallar los dominios de las siguientes funciones:
p p
a) f (x, y) =
p
x2 4+ 4 y2. TE
b) f (x, y) = y sen x.
IN
c) f (x, y, z) = ln(x/yz).
LE

Ejercicio 2.3. Sea f : D ⇢ Rm ! Rn , x0 2 Rm , y0 2 Rn , T ⇢ S ⇢ D. Probar que

lı́m f (x) = y0 =) lı́m f (x) = y0 .

IA

x!x0 x!x0
x2S x2T
NC

Ejercicio 2.4. Se considera la función z = f (x, y). Supongamos que existen

lı́m f (x, y) = L, lı́m f (x, y) y lı́m f (x, y). Probar que existe
RE

(x,y)!(x0 ,y0 ) x!x0 y!y0

⇣ ⌘ ⇣ ⌘
lı́m lı́m f (x, y) = lı́m lı́m f (x, y) = L.
FE

y!y0 x!x0 x!x0 y!y0

DI

Ejercicio 2.5. Hallar los siguientes lı́mites o justificar su existencia:

exy 1
a) lı́m .
O

(x,y)!(0,0) sen x · ln(1 + y)

UL

sen(xy)
b) lı́m .
(x,y)!(0,2) x
1
LC

c) lı́m (x2 + y 2 ) sen .

(x,y)!(0,0) xy
x|y|
CÁ

d) lı́m p .
(x,y)!(0,0) x2 + y 2
 HU
38 2.4. Ejercicios

/E
(
si y  0 ó y x2

V
0
Ejercicio 2.6. Hallar lı́m f (x, y) si f (x, y) =
(x,y)!(0,0) 1 si 0 < y < x2 .

UP
Ejercicio 2.7. Estudiar la continuidad de las siguientes funciones:
8 2
< sen (x y) si (x, y) 6= (0, 0)

2,
a) f (x, y) = |x| + |y|
:
0 si (x, y) = (0, 0).

AL
8
< x + sen(x + y) si x + y 6= 0
b) f (x, y) = x+y
:

GR
0 si x + y = 0.
8 3 3
<x + y si (x, y) 6= (0, 0)
c) f (x, y) = x2 + y 2
:
0 si (x, y) = (0, 0). TE
(
x si |x|  |y|
IN
d) f (x, y) =
y si |x| > |y|.
8
< 2x y + z 2 si x + y z 6= 1
LE

e) f (x, y, z) = x+y z 1
:0 si x + y z = 1.
IA

Ejercicio 2.8. Dado el conjunto A = (0, 1) ⇥ [0, 2⇡), sea g : A ! R2 la función definida
por g(u, v) = (u cos v, u sen v).
NC

a) Demostrar que g es inyectiva y continua.

b) Calcular la imagen de g y la imagen inversa del conjunto B (0, 0), r \ {(0, 0)}.
RE

c) Dada f : R2 ! R, sea F = f g. Probar que lı́m f (x, y) = L si y sólo si

(x,y)!(0,0)

8" > 0, 9 > 0 : 0 < u < , 0  v < 2⇡ =) |F (u, v) L| < ".

FE

Ejercicio 2.9. Utilizando el ejercicio anterior, calcular lı́m f (x, y) para las funciones
(x,y)!(0,0)
DI

siguientes:
8 2 3 2 4
< y (x + y ) + x si (x, y) 6= (0, 0)
a) f (x, y) = x4 + y 4
O

:
0 si (x, y) = (0, 0).
UL

8
>
<p x2 y + x sen y
si (x, y) 6= (0, 0)
b) f (x, y) = x2 + y 2 xy
>
:0
LC

si (x, y) = (0, 0).

Ejercicio 2.10. Probar que la aplicación k · k : Rn ! R es uniformemente continua.

CÁ