CAPTULO 3 : LMITE Y CONTINUIDAD EN 8

3.1. EL LMITE CONTINUO EN 8 La nocin de lmite continuo para funciones de varias variables reales tiene exactamente el mismo sentido que para el caso de una sola variable: se trata de matematizar la idea de un acercamiento infinito de los valores de una funcin a un cierto valor, bajo la condicin de que el vector variable est infinitamente cercano a cierto punto. Lo nico que cambia es la manera en que se realiza el acercamiento: mientras que en el caso real el acercamiento puede ser realizado desde la izquierda o desde la derecha, lo que conduce a las nociones de lmites laterales, en el caso de varias variables, el acercamiento no tiene un sentido definido: puede ser por rectas o por curvas o sin ningn orden. La cercana, desde luego, queda caracterizada por las vecindades dadas por las respectivas normas. Presentaremos la definicin general de lmite para funciones de variable vectorial y valores vectoriales:

DEFINICIN. Sea 0 W 8 7 , B9 W El lmite de la funcin 0 es el vector P 7 en smbolos : lim 0 B P

BB9

si acaso: Y jP b Z jB9 0 Z W B9 Y

La figura 3.1 ilustra esta definicin. Debe notarse que esta figura es la misma que la que se utiliz para una sola variable. Se trata de una figura que para funciones reales era abstracta, pero que para dimensin 2 , por ejemplo, puede ser muy realista. Aqu, tal como en el caso de una

88

dimensin, el vector B se acerca a B9 pero sin tocarlo, mientras que el vector imgen 0 B se acerca y puede coincidir con su vector lmite P

Figura 3.1 OBSERVACIONES. 1. Podemos traducir la definicin anterior al lenguaje de las normas:
BB9

lim 0 B P a% ! b $ ! tal que

||0 B P|| % aB W tal que ! ||B B9 || $ # Otra expresin claramente equivalente es:
BB9

lim 0 B P

BB9

lim ||0 B P|| !

3. La exigencia de que el punto de acercamiento B9 sea un punto de acumulacin del dominio de la funcin, tiene el mismo fundamento que para el caso de una dimensin: el acercamiento debe ser efectivo, el punto B9 no puede estar aislado del dominio de la funcin. Si B9 no es punto de acumulacin del dominio de la funcin , entonces se puede encontrar una vecindad Z que solo contiene eventualmente a este punto del dominio, con lo cual la definicin de lmite se cumplira para cualquier vector P puesto que 0 Z W B9 9 % Debe notarse que en 8 no hay puntos infinitos, a menos que sea 8 " (o bien cuando 8 # con # , pero no trataremos este caso Sin embargo, para funciones de valores reales : 0 W 8

89

es posible definir

BB9

lim 0 B , simplemente tomando la forma

especial que tienen las vecindades de los infinitos en la recta real extendida Por ejemplo, es fcil ver que " lim llBll
B!

4. Finalmente debe notarse que ni la existencia ni los valores de los lmites dependen de la norma equivalente elegida.

EJEMPLOS 1. Una primera dificultad que surge cuando se estudian funciones de varias variables es que dibujar su grfica resulta en general casi imposible. Para el caso de funciones 0 W 2 se pueden intentar grficas en perspectiva en un esquema tridimensional Veamos un ejemplo: D 0 B C B# C#

Figura 3.2 Si la funcin es un poco ms complicada, entonces esta grfica se puede transformar en algo poco claro. Para esto se introduce el concepto de curva de nivel que no son ms que las curvas en el plano que resultan de poner 0 B C - (constante) para distintos valores de - . Este es por lo dems el mtodo que usan los topgrafos para indicar la altura sobre el nivel del mar en que se encuentra los puntos de un mapa geogrfico. Para nuestro ejemplo, las curvas de nivel son crculos concntricos:

90

Figura 3.3 2. Para funciones de tres variables una grfica "en perspectiva" no es posible: se necesitara un espacio de 4 dimensiones por lo menos. En este caso, se pueden construir superficies de nivel , de modo anlogo a como se construyeron las curvas de nivel. Vemoslo en un ejemplo sencillo: 0 B C D B# C# D #

Si ponemos 0 B C D - para distintos valores de - , resultan esferas concntricas de distintos radios, lo que v dando una idea de cmo es la funcin en estudio.
C 3. Sea 0 B C BB # C # Queremos calcular el lmite de esta funcin cuando la pareja B C tiende a ! ! Es claro que ! ! .970 . Pero ! ! .970 w Se afirma : B# C # lim B# C # ! BC!!
# #

En efecto, dado % ! basta tomar $ % para tener: l

B# C # B# C # l

B# C # B#

# C# llB Cll# $ %

si ||B C|| $

4. Para la funcin 0 B C
"

B# C #

91

se tiene
# # BC!! B C

lim

"

En efecto, si nos damos un O ! cualquiera, que define una vecindad de , basta tomar $ " para tener, usando norma euclideana:
O

si llB Cll $ entonces

B# C#
"

por lo tanto
B# C #

" O

5. Analicemos finalmente la funcin: 0 B,C

B C C B

"

Esta funcin no tiene lmite en ! ! pues si nos acercamos por la recta C B , obtenemos valores constantes iguales a " # , pero si nos acercamos al ! ! por una recta de pendiente 2 : C #B , entonces se obtiene un valor constante igual a # &

Figura 3.4 Esto significa que en cualquier vecindad del ! ! habr puntos cuyo # valor de funcin es " # y otros donde el valor ser & . Estos ejemplos conducen a los conceptos de lmite direccional y de lmites iterados que captan algunas de las dificultades que surgen en el estudio de lmites de funciones de varias variables.

92

DEFINICIN. Sea . 8 . ! una direccin en el espacio 8 0 H 8 7 se entiende por lmite direccional en direccin . hacia el punto B9 al lmite de la funcin de variable real: lim 0 B9 -.
-!

Figura 3.5

Supongamos ahora que el lmite de la funcin parcial ( C fijo ) lim 0 B C

BBo

existe para todo C en una vecindad de C9 . Entonces tenemos la posibilidad de concebir el lmite de la nueva funcin cuando C se acerca a C9 : lim lim 0 B C
CC9 BB9

Este es el llamado lmite iterado.

Figura 3.6

93

La definicin general es la siguiente:

8 DEFINICIN. Sea 0 H 8 7 B9 B" 9 B9 Se entiende por limite iterado a la sucesin de lmites :

B3" B9"

lim 3 lim 3 0 B" B8

B38 B98

Es claro que , para una funcin de 8 variables, habr 8x lmites iterados diferentes segn sea el orden en que sean tomados . La pregunta que surge ahora es: qu relacin existe entre los lmites direccionales, los lmites iterados y el lmite 8-dimensional ? Examinemos este problema a travs de algunos ejemplos:

EJEMPLOS. 1. Sea 0 B C BCB y analicemos los lmites direccionales en % C # direccin al punto ! ! Acerqumos al punto ! ! segn la recta de ecuacin C 7B 7 ! 7B$ 7B lim 0 B 7B lim B% 7 # B# lim B# 7# !
B! B! B!
#

Acerqumonos al punto ! ! por la recta vertical B ! o bien por la recta horizontal C ! lim 0 ! C lim 0 B ! !
C! B!

Es decir, el lmite direccional en todas las direcciones es igual a 0. Con esto, uno podra estar tentado a concluir que el lmite bi-dimensional (tambin llamado lmite doble tambin existe y es igual a cero. Sin embargo, esto no es as: acerqumonos al punto ! ! por una parbola de ecuacin C B# % " lim 0 B B# lim B%B B% #
B! B!

94

Figura 3.7 En este caso no hay lmite doble pues en toda vecindad del punto ! ! habr puntos cercanos a 0 y a " #. Este es un tpico caso que muestra que la existencia de lmites direccionales no implica la del lmite 8-dimensional. 2. Consideremos la funcin 0 B,C
B C C B

"

. Esta funcin fu analizada

ms arriba y se encontr que tena lmites direccionales diferentes segun la direccin asumida. Por lo tanto no tiene lmite doble. Sin embargo, es fcil ver que tiene ambos lmites iterados: C " lim B ! C lim C#
C!
C B

C! B "

por lo tanto:
B!

lim lim

C!

B C C B

Como la funcin es simtrica respecto asus variables B e C el otro lmite iterado es tambin igual a cero. 3. Sea ahora
" " 0 B C C =/8 B B =/8 C Los lmites iterados no existen : fijando B ! el lmite " " lim C =/8 B B =/8 C C! " no existe, puesto que el lmite del sumando C =/8 B existe y vale cero.

Sin embargo el lmite doble existe y vale cero. En efecto , tomemos un % ! cualquiera, basta tomar $ % y usar la norma ": llB Cll" $ " " l0 B Cl lC =/8 B l lB =/8 C l lBl lCl llB Cll " $ %

95

4. Calculemos los dos lmites iterados siguientes:

B"

lim lim B# C #BC# lim B# #B $

C" B" B"

C"

lim lim B# C #BC# lim C #C# $

C"

Veremos ms adelante, utilizando las propiedades de las funciones continuas que tambin los otros lmites existen y coinciden con los iterados. 5. Consideremos finalmente la funcin 0 B C alrededor del punto ! ! : lim lim
B! B B# C #

lim
C!

B " # # lim B C! B C B! B lim # # lim ! ! B! B C C!

B B# C #

B! B !

Pero el lmite doble no existe: consideremos las curvas de nivel: - B# C# " -B !

que son circunferencias que pasan por ! ! Calculemos la ubicacin + de su centro B +# C# +# B# #+B +# C# +# simplificando +# y reeplazando B# C# " - B de la ecuacin anterior, resulta : " + #Esto significa que el valor de la funcin sobre la circunferencia de radio " l+l es constante e igual a - #+

96

Figura 3.8

DEFINICIN. Sea 0 W 8 7 . Se llaman proyecciones las 7 funciones: 14 7 4 " 7 definidas por 14 B" B7 B4 Se llaman componentes de la funcin 0 a las 7 funciones compuestas: 0 4 14 0 Se denota : 0 0" 07

OBSERVACIONES. 1. Sea 0 0" 07 Entonces

BB9

lim 0 B +" +7

BB9

lim 04 B +4 4 " 7

Es decir lim 0" B 07 B lim 0" B lim 07B

BB9 BB9 BB9

En efecto, tal como en el caso de los lmites de sucesiones vectoriales Si lim 0 B +" +7 para % ! b$ ! tal que
BB9

ll0 B +" +7 ll % para llB B9 ll $

97

luego l04 B +4l ll0 B +" +7 ll % 4 " 7 Sea ahora

BB9

lim 04 B +4 4 " 7 y tomemos un % !:

b $4 ! tal que: % l04 B +4l 7 si acaso ! llB B9 ll $4 Basta tomar $ 738$" $7 y ! llB B9 ll $ . Entonces valen la 7 desigualdades anteriores y tomando la norma 1 :
7

ll0 B +" +7 ll"

4"

% l04 B +4l 7 7 %

2. La observacin anterior nos dice que el problema de los lmites, tanto lmites continuos como lmites de sucesiones, no ofrece mayor diferencia con el caso real por el lado de los valores vectoriales de las funciones. La diferencia surge cuando son los dominios los que tienen una dimensin mayor que uno. 3. Tambin en el clculo en varias variables hay una relacin muy estrecha entre los lmites de sucesiones y los lmites continuos: vale aqu tambin el llamado Lema de enlace
BB9

lim 0 B P B8 B9 B8 W B9 0 B8 P

La demostracin de este Lema sigue las mismas ideas que en el caso de una dimensin y lo dejaremos de ejercicio para el lector. % Tambin vale aqu un lgebra de lmites: Si lim 0 B E
BB9 BB9

lim 1B F y si B9 es punto de acumulacin de .970 .971 , lim 0 1B E F lim -0 B -E , -

entonces

BB9

BB9

BB9

lim 0 B 1B E F lim 0 1B E F para dimensin 3

BB9

98

Tambin dejaremos la demostracin de estas propiedades de ejercicio al lector. 5. Se pueden considerar sucesiones y series dobles, triples y, en general, mltiples. Estos conceptos se derivan directamente de lo ya estudiado. A modo de ejemplo consideremos una sucesin doble: 9 8 donde se usa la notacin 98 7 +87 Una serie doble ser la correspondiente sucesin doble de sumas parciales:
: 87 ;

+87 :
8!

+87 :;!
7!

y la nocin de lmite doble ser:

87

lim +87 P a% ! b R tal que 8 7 R ll+87 Pll % Los conceptos de sucesiones y series triples , cudruples o de cualquier orden corresponden a generalizaciones directas de estos ejemplos.

3.2

PROBLEMAS

1. Analice y dibuje las curvas de nivel de las siguientes funciones: 3 33 333 3@ @ @3 0 B C B C# B 0 B C BC 0 B C =/8B C 0 B C /BC 0 B C B C 0 B C B C

2. Determine las superficies de nivel, para los niveles - # ! # , de las siguientes funciones: 3 0 B C D B# C# 33 0 B C D B# C# D 333 0 B C D $B %C D

99

3 Demuestre el siguiente teorema: si acaso: 3 b lim 0 B C 33 b lim 0 B C a B B9

BCB9 C9 CC9

entonces b lim lim 0 B C y es igual a:

BB9 CC9

BCB9 C9

lim

0 B C

4. Calcule los siguientes lmites, indicando el fundamento de su respuesta: 3 33 333 3@ @

BC#"

lim

BC B C D

BCD$""

lim

BC!!

lim

C =/8B B

#"

lim =/8 1" 1#

# lim 691 1" 1# $#

5. Analice la existencia de lmites dobles de las siguientes funciones: 3 33 333 3@ @ @3 0 B C 0 B C 0 B C

B BC B lBllCl BC B# C # B$ B# C # C# B% C # B# C# B# C #

0 B C 0 B C

0 B C

' Determine , si es que existen, los lmites dobles y los lmites iterados de la funcin 0 B C en el punto B9 C9 cuando :

100

3 33 333

0 B C B$ BC# 0 B C B =/8BC 0 B C 0 B C

B9 C9 " $ B9 C9 " 1 #

" BC =/8 B B! ! B! BC B# C

3@

B# C ! B# C !

7. Demuestre el Lema de Enlace:

BB9

lim 0 B P B8 B9 B8 W B9 0 B8 P

8. Demuestre el lgebra de lmites: Si lim 0 B E y lim 1B F

BB9 BB9

y si B9 es punto de acumulacin de .970 .971 , entonces lim 0 1B E F

BB9

BB9

lim -0 B -E ,

BB9

lim 0 B 1B E F lim 0 1B E F para dimensin 3

BB9

3.3

LA CONTINUIDAD EN 8

101

DEFINICIN. Sea 0 W 8 7 B9 W Se dice que la funcin 0 es continua en B9 si acaso: Y j0 B9 b Z jB9 0 Z W Y

OBSERVACIONES. 1. Es claro que , si B9 W W w , entonces: 0 es continua en B9

BB9

lim 0 B 0 B9

y que 0 es siempre continua sobre los puntos aislados de su dominio. 2. La definicin anterior escrita en normas es: a% ! b $ ! tal que ll0 B 0 B9 ll % si B W y llB B9 ll $ que es exactamente la definicin de la continuidad para funciones reales, solo que aqu se ha reemplazado el valor absoluto por la norma. $ Es claro tambin que la continuidad de una funcin no depende de la norma equivalente elejida. 4. Usando el Lema de Enlace, tenemos la siguiente caracterizacin de la continuidad: 0 es continua en B9 B8 B9 B8 W 0 B8 0 B9 & Del lgebra de lmites podemos obtener directamente un lgebra de funciones continuas: Si 0 y 1 son continuas en B9 , entonces 0 1 es continua en B9 -0 es continua en B9 - 0 1 es continua en B9 0 1 es continua en B9 (dimensin 3)

102

6. Para la composicin de funciones tambin se tiene el siguiente teorema: si 0 es continua en B9 y 1 es continua en 0 B9 , entonces 1 0 es continua en B9, cuya demostracin dejaremos para el lector puesto que no representa ninguna novedad respecto a lo que se ha desarrollado en dimensin 1. 7. Las proyecciones 13 8 3 " 8 son continuas en todo el espacio 8 En efecto, dado un % ! basta tomar $ % : l13 B 13 B9 l |B3 B9 3 l llB B9 ll $ % 8. Por lo tanto , si 0 es continua en B9 entonces sus componentes 03 13 0 son continuas en B9 Pero esta implicacin tambin se puede invertir: si todas las componentes de una funcin 0 son continuas en B9 , entonces 0 es continua en B9 En efecto, dado un % ! , b $3 ! 3 " 8 tales que l03 B 03 B9 l
% 8

si llB B9 ll $3

Basta tomar $ 738$" $8 y usar la norma 1 :

8

ll0 B 0 B9 ll

l03 B 03 B9 l 8
3"

% 8

% si llB B9 ll $

9. Tal como hemos concebido lmites direccionales, podemos tambin considerar un concepto de continuidad direccional : 0 es continua en B9 en direccin . ! si acaso a % ! , b $ ! tal que: ll0 B9 -. 0 B9 ll % a - tal que l-l $ B9 -. W

EJEMPLO Consideremos la funcin 0 B C

B# C C # B%

B C ! ! B C ! !

En la direccin C 7B 7 ! , la funcin es

103

0 B 7B

7B3 7# B# B%

7B 7# B#

En las direcciones de los ejes: B ! y C ! la funcin es cero, por lo que sus lmites son cero. Si nos acercamos al punto ! ! por la parbola C B# , entonces vemos que # # B " 0 B B# BB % B% # a B ! Por lo tanto la funcin no es continua en el punto ! ! , a pesar de que es continua en ese punto en todas direcciones.

DEFINICIN . La funcin 0 W 8 7 es uniformemente continua en el dominio W , si acaso: a% ! b $ ! tal que ll0 B 0 Cll % a B C W tales que llB Cll $

Esta es una variante ms exigente que la continuidad punto a punto en un dominio. La diferencia entre la continuidad uniforme y la continuidad comn y corriente en un dominio es sutil y consiste en que , para un acercamiento % ! dado, el acercamiento $ ! para la continuidad uniforme es vlido para todos los puntos del dominio, mientras que para la continuidad comn depende del punto de acercamiento: para cada B W habr un $ (B %. Que la continuidad uniforme es efectivamente ms exigente que la continuidad punto a punto lo demuestra el clsico ejemplo: " 0 B B B W ! " Esta funcin es continua en todos los puntos del dominio W , simplemente por el lgebra de funciones continuas. Sin embargo, no es uniformemente continua. En efecto: Para % " y a $ 0 podemos encontrar B C ! " con C B $ # y tal que $ $ " " " " lB C l CB BC B #B $ B #" $ " % si acaso B
$ #$
# #

104

TEOREMA 6 1. La funcin 0 W 8 7 es continua en W si y solo si : a E 7 abierto b F 8 abierto tal que 0 " E F W 2. Sea 0 ^ 8 7 continua , ^ compacto . Entonces 3 0 es uniformemente continua sobre ^ (ii) 0 ^ es compacto en 7

DEMOSTRACIN 1. ( ) Sea 0 continua en W , E abierto en 7 , B 0 " E Se tiene que 0 B E que es abierto, por lo tanto vecindad de 0 B, luego, por continuidad de 0 en B b $B ! tal que 0 FB $B W E es decir FB $B W 0 " E Basta entonces definir: F - FB $B B 0 " E

con lo cual F W 0 " E Sea B W , % ! Tomar E F0 B % que es abierto en 7 , luego, por nuestra hiptesis b F abierto en 8 tal que 0 " E W F Pero B 0 " E , luego B F que es abierto, por lo tanto es una vecindad de B y se cumple 0 F W 0 0 " E E F0 B % por lo tanto, 0 es continua en B . 2. Sea 0 continua sobre ^ compacto. 3 Sea B ^ % ! : por la continuidad de 0 en B, b$ % B ! tal que % ll0 B 0 Cll # si acaso llB Cll $ % B

105

Es claro que FB $ %#B B ^ es un cubrimiento abierto del compacto ^, luego existe un subcubrimiento finito: $ %B B" FB" $ %# FB: # : definamos B3 $ (%) 738 $ %# 3 " : ! y tomemos dos puntos cualquiera B C tales que llB Cll $ % . B3 Como B FB3 $ %# para algn 3 , se tiene: B3 llC B3 ll llC Bll llB B3 ll $% $ %# $% B3 por lo tanto % ll0 C 0 B3 ll # pero tambin se tiene que % ll0 B 0 B3 ll # por lo tanto % % ll0 B 0 Cll ll0 B 0 B3 ll ll0 B3 0 Cll # # %

33 Sea h M un cubrimiento abierto de 0 ^ Por la caracterizacin de la continuidad dada anteriormente, 0 " h Z ^ con Z abierto en 8 Si B ^ entonces 0 B h" para algn " M luego B 0 " h" Z" ^ Por lo tanto Z M es un cubrimiento abierto de ^, por lo que hay un conjunto finito: Z" Z: que cubre ^: ^ Z" Z: Aplicando la funcin 0 : 0 ^ 0 Z" Z: 0 Z" 0 Z: h" h: Todas las normas sobre 8 son equivalentes

COLOLARIO.

Sea || || la norma euclideana y || ||* otra norma cualquiera sobre el espacio 8 , B 8 y /" /8 la base cannica de 8 Vamos a demostrar la equivalencia de ambas normas usando el criterio mencionado en el captulo anterior: vamos a encontrar constantes , " ! tales que llBll llBll " llBll

106

 llBll ll

B3 /3 ll
8 3" 8

lB3 l ll/3 ll llBll

ll/3 ll

3"

3"

3"

con lo que basta definir:

ll/3 ll para tener la primera desigualdad.

La funcin || || || || es continua en todo su % dominio. En efecto, si B9 8 y % ! tomemos $ si llB B9 ll $ entonces, por la desigualdad triangular "al revs" , se tiene: l llBll llB9 ll l llB B9 ll llB B9 ll $ % Consideremos ahora la esfera unitaria: W B 8 llBll " Este es un conjunto cerrado y acotado, luego, por el Teorema de Heine-Borel, es compacto. Luego, por nuestro teorema , llWll es compacto. Este es un conjunto cerrado que no contiene al cero, luego # 380 llWll ! 8 Sea , finalmente : " # Tomemos un B B ! . Entonces B B llBll W luego ll llBll ll # de donde
" llBll # llBll que corresponde a la segunda desigualdad. "

3.4

PROBLEMAS

1. Determine el conjunto de puntos de continuidad de las siguientes funciones: 3 0 B C >1BC 33 0 B C D #BCD BC " 333 0 B C B# #BC # Es posible extender continuamente alguna de estas funciones? 2. Examine la continuidad direccional en las diferentes direcciones de las funciones anteriores. Puede Ud. extender alguna de estas funciones de modo que sean direccionalmente continuas ? 3. Estudie la continuidad en ! ! de la funcin 0 definida por:
C$

0 B C 4.

B# C #

B C ! B C !

Estudie la continuidad en ! ! de la funcin 0 definida por:

107

0 B C

C2 B# C #

B C ! B C !

5. Sea 0 una funcin de tres variables y de valores reales , continua en el punto B9 C9 D9 Sea 1B C 0 B C D9 Cree Ud. que 1 es continua en B9 C9 ? Puede generalizar su resultado? 6. Sea 0 8 7 continua, E 8 acotado. Demuestre que 0 E es acotado. (Indicacin: demuestre primero que: E acotado E acotado )
B 7. Sea 0 F! " 8 definida por : 0 B "llBll . Demuestre que esta funcin es continua pero no uniformemente continua sobre F! "

) Demuestre que , si 0 es continua en + y B8 + entonces lim 0 B8 0 + 0 lim B8

8 8

108