Lmite y continuidad de funciones de varias

variables
20 de marzo de 2009
1 Subconjuntos de R
:
y sus propiedades
Denicin 1. Dado x R
n
y r 0, la bola de centro x y radio r es
1(x, r) = y R
n
: |y x| < r .
Denicin 2. Un subconjunto de R
n
se dice abierto si dado cualquier
x existe una bola 1(x, r), centrada en x, contenida en .
Ejemplo 1. Sea z R
2
y 1 0. El conjunto = 1(z, 1) es abierto.
En efecto, sea x . Si tomamos r = 1 |x z| resulta r 0 y resulta
1(x, r) _ . En efecto, si y 1(x, r) entonces |y z| _ |y x| +|x z| <
r +|x z| = 1.
Ejemplo 2. C =
_
y R
3
: |y| _ 1
_
no es abierto pues si tomamos un y
de norma igual a uno (|y| = 1), cualquier bola centrada en y contiene puntos
de norma mayor que uno, o sea del complemento de C y por lo tanto para todo
r 0, 1(y, r) C.
Nota El conjunto O se considera abierto.
Propiedades
1) O y R
n
son abiertos.
2) La unin de cualquier familia de conjuntos abiertos es un conjunto abierto.
3) La interseccin de un nmero nito de conjuntos abiertos es un conjunto
abierto.
Denicin 3. Un subconjunto C de R
n
se dice cerrado si su complemento
R
n
C es abierto.
1
Ejemplo 3. C =
_
y R
3
: |y| _ 1
_
es cerrado porque se puede ver fcil-
mente que R
n
C =
_
y R
3
: |y| 1
_
es abierto.
Propiedades
1) O y R
n
son cerrados.
2) La interseccin de cualquier familia de conjuntos cerrados es un conjunto
cerrado.
3) La unin de un nmero nito de conjuntos cerrados es un conjunto cerrado
.
Para intervalos de R la terminologa "abierto" y "cerrado" que acabamos de
introducir coincide con la habitual.
Un conjunto puede no ser abierto ni cerrado. Por ejemplo el intervalo [a, /) .
Denicin 4. Sea _ R
n
. Un punto x se dice punto de acumulacin
de si para cada r 0, la bola 1(x, r) contiene puntos de distintos de x.
Un punto x que no es punto de acumulacin de se dice un punto aislado
de .
Denicin 5. Un subconjunto de R
n
se dice acotado si existe ' 0 tal
que |x| < ' para cada x (o sea si est contenido en una bola centrada
en el origen de radio '). Una funcin 1 a valores en R
m
se dice funcin acotada
si su imagen es un subconjunto acotado de R
m
.
2 Lmite
Consideramos ) : R
2
R dada por )(r, j) =
_
9 r
2
j
2
con dominio 1 =
_
(r, j) R
2
: |(r, j)| _ 3
_
. Si el punto (r, j) est cerca del origen, tanto r
como j estn cerca de cero y por lo tanto )(r, j) est cerca de 3. Esto se
expresa diciendo que )(r, j) tiende a 3 si (r, j) tiende al origen. Formalmente
tenemos la siguiente
Denicin 6. Sea 1 una funcin denida en un subconjunto de R
n
con
valores en R
m
y sea x
0
un punto de acumulacin de . Se dice que l R
m
es
el lmite de 1 para x que tiende a x
0
y se escribe
l = lim
x!x0
1(x)
si \- 0 existe c 0 tal que
x x
0
, |x x
0
| < c == |1(x) l| < -.
Esto dice: x x
0
1(x
0
, c) == 1(x) 1(l, -).
2
Teorema 1. Sea 1 = ()
1
, ..., )
m
) una funcin denida en un subconjunto
de R
n
con valores en R
m
y sea x
0
un punto de acumulacin de . Entonces
lim
x!x0
1(x) = l = (|
1
, ..., |
m
)
si y slo si para cada i = 1, ..., :
lim
x!x0
)
i
(x) = |
i
.
O sea 1 tiende a l si cada funcin coordenada de 1 tiende a la correspondiente
coordenada de l.
Demostracin. Supongamos que lim
x!x0
1(x) = l. Dado - 0 existe c 0
tal que x x
0
, |x x
0
| < c == |1(x) l| < -. Como
|1(x) l| =
_
()
1
(x) |
1
)
2
+ ... + ()
m
(x) |
m
)
2
_ [)
i
(x) |
i
[
se tiene tambin que [)
i
(x) |
i
[ < - y esto demuestra que lim
x!x0
)
i
(x) = |
i
.
Supongamos ahora que cada )
i
tiende a |
i
para x que tiende a x
0
. Dado
- 0 existe c
i
0 tal que
x x
0
, |x x
0
| < c
i
== |)
i
(x) |
i
| <
-
_
:
sea c = min
1im
c
i
, entonces x x
0
, |x x
0
| < c == |1(x) l|
2
= ()
1
(x) |
1
)
2
+ ... + ()
m
(x) |
m
)
2
<
-
2
:
+ ... +
-
2
:
= -
2
.
Nota. Para el caso de funciones 1 : R R
m
, este teorema muestra que la
denicin actual de lmite coincide con la que ya habamos dado en el captulo
anterior.
Se pueden demostrar, para funciones vectoriales de varias variables, muchos
de los teoremas del clculo de funciones de una variable. Por el teorema anterior,
basta estudiar las propiedades de las funciones coordenadas.
Teorema 2. Sean ), q : R, con _ R
n
y lim
x!x0
)(x) = l
1
, lim
x!x0
q(x) =
l
2
1) Unicidad del lmite. Si lim
x!x0
)(x) = `
1
entonces `
1
= |
1
.
2) Acotacin local. Existe una bola 1 (x
0
, r) y ' 0 tal que|)(x)| < '
para todo x x
0
1(x
0
, r).
3) lim
x!x0
()(x) + q(x)) = l
1
+ l
2
.
4) lim
x!x0
()(x)q(x)) = l
1
l
2
.
3
5) Permanencia del signo para funciones a valores reales. Si l
1
0 entonces
existe una bola 1 (x
0
, r) tal que )(x) 0 para todo x x
0
1(x
0
, r).
Vale tambin el resultado anlogo si l
1
< 0.
Demostracin. Es completamente anloga a la demostracin que se hace
en el caso de funciones reales de variable real.
Es altamente recomendable tratar de hacerla!!
Nota Es importante no confundir el lmite en varias variables con un proceso
de lmite iterado. Por ejemplo si tomamos
)(r, j) =
_
1 si [j[ _ [r[
0 si [j[ [r[
y x
0
= (0, 0), el lim
y!0
_
lim
x!0
)(r, j)
_
= 0, y el lim
x!0
_
lim
y!0
)(r, j)
_
= 1. Ambos
lmites existen, pero el lim
x!x0
)(x) no existe. En efecto, si ) tuviera un lmite |,
dado - =
1
4
, debera existir c 0 tal que [)(r, j) |[ <
1
4
para todo (r, j)
1 ((0, 0) , c) . Pero en dicha bola estn
_

2
, 0
_
y (0,

2
), )
_
0,

2
_
= 0, )
_

2
, 0
_
= 1
y entonces 1 =

)
_

2
, 0
_
)
_
0,

2
_

)
_

2
, 0
_
|

)
_

2
, 0
_
|

<
1
4
+
1
4
=
1
2
,
absurdo.
La proposicin que enunciaremos ahora facilita en muchos casos la compro-
bacin de la no existencia del lmite.
Proposicin 1. Sean ) : R
m
, con _ R
n
y lim
x!x0
)(x) = l. Sea r(t),
a _ t < /, una curva con imagen contenida contenida en tal que lim
t!b
r(t) = x
0
.
Entonces
lim
t!b
)(r(t)) = l.
O sea el lmite existe y es el mismo acercndonos a x
0
por cualquier curva.
Por lo tanto, a la hora de decidir la existencia del lmite, muchas veces conviene
acercarse a x
0
por distintas curvas (rectas, parbolas, etc.) sobre las cuales
los valores de la funcin, y por lo tanto su lmite, son fciles de calcular. En
particular, si ) es funcin de la nota anterior y nos acercamos al origen por los
ejes coordenados, observamos que )(r, 0) = 1 y ) (0, j) = 0, por lo tanto no
existe el lmite
Ejemplo 4. Sea
)(r, j) =
rj
r
2
+ j
2
,
veremos que no existe el lim
x!x0
)(x), para x
0
= (0, 0). En efecto, el dominio de )
es = R
2
(0, 0) . Si tomamos la recta r(t) = (t, 0) , 1 _ t < 0, )(r(t)) = 0 y
por lo tanto, lim
t!0
)(r(t)) = 0. Si ahora tomamos la recta (t) = (t, t) , 1 _ t <
4
0, )((t)) =
1
2
y entonces el lim
t!0
)((t)) =
1
2
, pero de acuerdo a la proposicin
anterior, si el lim
x!x0
)(x) existiera, los dos lmite anteriores deberan coincidir.
Ejemplo 5. Sea
)(r, j) =
rj
2
3 (r
2
+ j
4
)
,
podemos ver que no existe el lim
x!x0
)(x), para x
0
= (0, 0). En efecto, el dominio
de ) es = R
2
(0, 0) ..Como en el ejemplo anterior, si nos acercamos al
origen por los ejes coordenados, obtenemos lmite cero. Pero ahora si tomamos
la curva (t) =
_
t
2
, t
_
, 1 _ t < 0, lim
t!0
)((t)) =
1
6
.
Ejemplo 6. Sea
)(r, j) = 1
(r 1)
3
j
5
(r 1)
4
+ j
2
,
en este caso, el dominio de ) es = R
2
(1, 0) . Se puede ver que si nos acer-
camos al punto x
0
= (1, 0) por cualquier recta, el lmite da uno. Demostraremos
que el lim
x!x0
)(x) = 1. En efecto, sea - 0 dado, como
[)(r, j) 1[ =

(r 1)
3
j
5
(r 1)
4
+ j
2

(r 1)
3
j
5
j
2

(r 1)
3
j
3

_ [(r 1, j)[
6
resulta [)(r, j) 1[ < - si tomamos (r, j) tal que [(r 1, j)[ _ -
1
6
, o sea si
elegimos c _ -
1
6
.
Veamos ahora la nocin de lmite de una sucesin de puntos de R
n
. Si in-
dicamos con x
k

k2N
tal sucesin, explicitamos las : componentes de x
k
escri-
biendo
x
k
= (r
k
1
, ..., r
k
n
).
Denicin 7. Una sucesin x
k

k2N
de puntos de R
n
converge a x R
n
(se denota lim
k!1
x
k
= x) si dado un - 0 existe un entero /(-) tal que para
cada / _ /(-) se tiene que |x
k
x| < -
O equivalentemente, si / _ /(-) entonces x
k
1(x, -).
Anlogamente a la demostracin del Teorema 1 se puede probar el siguiente
Ejercicio 1. Demostrar que una sucesin x
k
= (r
k
1
, ..., r
k
n
) converge a
x = (r
1
, ..., r
n
) si y slo si para cada ,, 1 _ , _ :, vale que
lim
k!1
r
k
j
= r
j
.
Teorema 3. Sea C un subconjunto de R
n
. Las siguientes propiedades son
equivalentes
5
a) C es cerrado.
/) Si x
k

k2N
es una sucesin de puntos de C convergente a un punto x R
n
entonces x C.
Demostracin. Supongamos que vale a). Sea x
k

k2N
una sucesin de
puntos de C convergente a un punto x R
n
. Sea el complemento de C. Si x
no pertenece a C, pertenece a su complemento , que es abierto. Por lo tanto
existe una bola 1 (x, r) contenida en . En esa bola debe haber puntos de la
sucesin x
k

k2N
(pues converge a x), pero eso es imposible porque todos los
x
k
pertenecen a C. Ahora supongamos que vale /), queremos probar que es
abierto. Sea x en . Si no es abierto, para cada / N, 1
_
x,
1
k
_
no est
contenida en , por lo tanto existe x
k
1
_
x,
1
k
_
C. Entonces esta sucesin
x
k

k2N
converge a x y est contenida en C, lo que implica que x C y esto
es una contradiccin.
3 Continuidad
Una vez denido el concepto de lmite de funciones de varias variables, el con-
cepto de continuidad es natural
Denicin 8. Sea _ R
n
y sea 1 : R
m
Se dice que 1 es continua
en un punto x
0
si \- 0 existe c 0 tal que
x , |x x
0
| < c == |1(x) 1(x
0
)| < -.
Se dice adems que 1 es continua en si es continua en todo punto de .
Nota. En el caso en que x
0
es un punto de acumulacin de , 1 es continua
en x
0
si y slo si
lim
x!x0
1(x) = 1(x
0
).
- Si x
0
es un punto aislado de la condicin de continuidad se verica
automticamente.
Sigue del Teorema 1 que una funcin a valores vectoriales 1 = ()
1
, ..., )
m
)
es continua en un punto x
0
si y slo si cada una de las )
i
es continua en
x
0
.
Teorema 4. Sean ), q : R, con _ R
n
continuas en un punto x
0

entonces ) +q y )q son continuas en x
0
. Tambin, si q(x
0
) ,= 0, ),q es continua
en x
0
.
La demostracin es totalmente anloga a la que se hace en el caso de una
variable.
Con respecto a la composicin tenemos el siguiente
6
Teorema 5. Sean 1 : R
m
, con _ R
n
continua en x
0
y sea
G : 1 R
k
con 1 _ R
m
. Supongamos que y
0
= 1 (x
0
) 1 y que G es
continua en y
0
. Entonces G 1 : 1
1
(1) R
k
es continua en x
0
.
Demostracin. Como G es continua en y
0
, dado - 0 existe o 0 tal
que
y 1, |y y
0
| < o = |G(y) G(y
0
)| < -.
Tambin, por la continuidad de 1 en x
0
, para ese o existe un c 0 tal que
x , |x x
0
| < c == |1(x) 1(x
0
)| < o.
Tomamos ahora r 1
1
(1) con |x x
0
| < c, entonces |1(x) 1(x
0
)| =
|1(x) y
0
| < o. Pero como y = 1(x) 1 resulta |G(1(x)) G(y
0
)| < -, o
sea |G(1(x)) G(1(x
0
))| < -. Y esa es la continuidad en x
0
de G 1.
Para decidir la continuidad de algunas funciones es til la siguiente
Proposicin 2. Sea el intervalo 1 _ R y sea c : 1 R continua en 1. Sea
ahora = 1 R
n1
_ R
n
, denimos 1 : R por
1(r
1
, ..., r
n
) = c(r
1
).
Entonces 1 es continua en .
Demostracin. Ejercicio.
Observamos que vale un resultado anlogo, si cambiamos la primer variable
por cuaquier otra. O sea si 1(r
1
, ..., r
n
) = c(r
j
), 1 _ , _ :
.
Ejemplo 7. Sea ) : R
2
R dada por )(r, j) = sinrcos j. Escribimos ) =
)
1
)
2
donde )
1
(r, j) = sinr y )
2
(r, j) = cos j. Ambas funciones son continuas y
en virtud de la proposicin 2, su producto tambin lo es.
Ejemplo 8. Sea ) : R
2
R dada por
)(r, j) = c
x
1y
,
escribimos ) como la composicin ) = / q donde q(r, j) = r
1
1y
y /(t) = c
t
.
Ya sabemos que q es continua en = (r, j) : j ,= 1 , adems / es continua en
R luego ) es continua en .
3.1 Funciones continuas sobre conjuntos compactos
Denicin 9 Un subconjunto de R
n
se dice compacto si es cerrado, acotado y
no vaco.
Teorema 6. (de Bolzano-Weierstrass). Sea x
k

k2N
una sucesin acotada
de puntos de R
n
. Entonces ella tiene una subsucesin convergente.
7
Esbozo de demostracin. Como este resultado es conocido en el caso
: = 1, se extrae de la sucesin de nmeros reales formada por las primeras com-
ponentes de x
k

k2N
una subsucesin convergente, volvemos a R
n
tomamos la
nueva sucesin correspondiente a esos ndices, extraemos de las segundas com-
ponentes una subsucesin convergente y as seguimos hasta terminar el proceso.
El siguiente teorema es un resultado importante a la hora de buscar valores
mximos o mnimos de funciones reales.
Teorema 7. (de Weierstrass) Sea ) una funcin continua denida en un
subconjunto compacto 1 de R
n
, a valores reales. Entonces ) alcanza su valor
mximo y su valor mnimo sobre 1.
Demostracin. Probaremos slo la existencia del mximo. Sea
: = sup
x2K
)(x).
En principio, : podra ser innito. De todas formas se puede construir una
sucesin x
k

k2N
de puntos de 1 tal que
lim
k!1
)(x
k
) = :.
Como x
k
1, la sucesin x
k

k2N
es acotada, por lo tanto (Teorema 6) ella
tiene una subsucesin
_
x
kp
_
p2N
convergente, digamos a x. Como 1 es cerrado,
el Teorema 3 asegura que x 1. Por la continuidad de ) en x se tiene
)(x) = lim
p!1
)(x
kp
) = :.
La ltima igualdad sigue pues )(x
kp
) es una subsucesin de )(x
k
) y por lo tanto
tiene el mismo lmite. Se concluye que : es nito y que
: = max
x2K
)(r).
8