DEFINICIN 2.3.1. Lmites de funciones de R en R Sea f : R 2 R , sea ( x 0 , y 0 ) un punto de acumulacin de Dom. f.

Lmite cuando

(x

, y0

) de f ( x , y )

( x, y )

tiende a

es igual a L, lo cual notaremos

( x, y ) ( x 0 , y 0

Lim

f ( x, y ) = L

equivale a decir que: Para todo > 0, existe un > 0, tal que

f ( x , y ) L < . siempre que 0 <

( x, y )

( x , y) ( x 0 , y 0 )

< con

Dom. f .

Esta definicin se puede generalizar para cualquier campo escalar de R n a R , evidentemente, teniendo en cuenta que se ha definido una distancia para elementos de R n .

DEFINICIN 2.3.2. Lmites de funciones de R a R

Sea f : R n R

sea X = ( x 1 , x 2 , L, x n ) , sea = ( a 1 , L, a n
XA

un punto de acumulacin de Dom f:

Lim f ( x ) = L

Equivale a decir que: Para cada > 0 , existe un > 0 , tal que
f ( x ) L < siempre que 0 < X A < para X Dom. f .

Debido a la analoga que presentan estas dos definiciones con la definicin en una variable y dado que las propiedades del valor absoluto que se utilizan para demostrar las principales propiedades del concepto de lmite para funciones de una variable real, se han generalizado para las distancias eucldeas definidas en los espacios R n , se puede, utilizando demostraciones anlogas al clculo en una sola variable, demostrar las siguientes propiedades de los lmites para funciones en varias variables, que no son ms que adaptaciones de las ya conocidas:

TEOREMA 2.3.1. Propiedades de los lmites Sea

X = ( x 1 , L, x n

)
y

A = ( a 1 ,L, a n
n

)
entonces:

L,M R 1. Si Lim f ( X ) = L
X A

f :R R g: Rn R el lmite es nico.
X A

2. Si Lim

a) Lim f ( X ) + g ( X ) = L + M
X A

X A

f (X )= L f (X

Lim g ( X ) = M

b) c)

X A

Lim

X A

Lim

) g ( X ) = L.M f (X ) L = si g( X ) M

M 0

Consulte el siguiente vnculo, como modelo la demostracin de algunas de estas propiedades Vamos a analizar algunos otros aspectos sobre el concepto de lmite para funciones de R 2 en R con el fin de tratar de entender la parte operativa de los lmites que es a lo que nos dedicaremos en poco tiempo:

Cmo se puede acercar

( x, y )

(x

, y 0 )?

Como ( x , y ) recorre el conjunto de partida de f, en este caso R 2 , entonces ( x , y ) podr acercarse a ( x 0 , y 0 ) por cualquier trozo de curva continua en el plano, que tenga a ( x 0 , y 0 ) como punto final, o tambin por cualquier sucesin de puntos en el plano, que converja a

(x

, y 0 ) ; requisito indispensable, eso si, que

los puntos de estos trozos de curva o de esta sucesin pertenezcan al dominio de f, ya que es necesario observar que sus imgenes, por medio de f , se acerquen a L. A una tal curva o sucesin lo llamaremos camino de acercamiento a ( x 0 , y 0 ) . Se puede garantizar siempre la existencia de algn camino con ese requisito? El hecho de que con centro en

(x

(x
0

, y 0 ) , por pequeo que sea su radio, contiene infinitos puntos en Dom. f, esto garantiza

,y0

sea un punto de acumulacin del conjunto Dom. f, implica que cualquier disco

por lo menos la existencia de una sucesin de elementos del dominio de f que converge a

(x

, y 0 ).

EJEMPLO 2.3.1. Ilustracin grfica de caminos de acercamiento Sea z = f ( x , y ) la funcin representada en la grfica (Figura 2.3.3) que consiste en la hoja superior del cono x 2 + y 2 z 2 = 0 acotado superiormente por el plano z = 2 y del cual se ha quitado la porcin del primer octante ( x > 0 , y > 0, z > 0 ) comprendida por los planos y = 0 y y = x . Supongamos tambin que el punto (5,0, 1) tambin forma parte de la grfica de la funcin, es decir (5,0) pertenece al Dom. f y f (5 , 0 ) = 1

Figura 2.3.3 a) Todas las curvas que en la grfica estn en el plano xy orientadas al (0, 0) se pueden considerar caminos de acercamiento a ese punto, a excepcin de la sealada con ( ) , pues sta no tiene sus puntos sobre el dominio de f. Lim f ( x , y ) pues ( 5 , 0 ) no es un punto de acumulacin del Dom f (as b) No se puede hablar de
( x, y )
( 5,0 )

pertenezca al Dom f ). Si
f ( x , y ) = L entonces al acercarse ( x , y ) a x 0 , y 0 por cualquier camino sus imgenes ) deben acercarse a L. Este resultado, si bien es de gran importancia, en la prctica no nos es de tanta utilidad para afirmar que existe un lmite, como su anlogo para el caso de funciones de una variable real, pues en este caso se puede trabajar con los dos nicos camino de acercamiento por separado, en caso de que los dos nos conduzcan al mismo valor lmite entonces se asegura la existencia del lmite y su valor es el valor comn encontrado por los dos caminos, en caso contrario el lmite no existe. Pero en el caso que nos interesa, si pretendemos proceder por un mtodo similar, tropezamos con el gran inconveniente de que los caminos de acercamiento son, generalmente, infinitos, y si calculsemos el lmite por muchos de estos caminos por separado, y el resultado es el mismo, no podemos concluir de esto la existencia del lmite, pues
( x, y ) ( x 0 , y 0

Lim

es posible que entre los infinitos caminos que faltan por analizar, haya uno que de resultado diferente, lo nico que podemos afirmar, en este caso, es que si el lmite existe, ste debe tomar el valor comn hallado hasta el momento. Pero por otro lado resulta importante para asegurar la no existencia de un lmite, pues basta que existan dos caminos diferentes para los cuales el lmite tome valores distintos para asegurar que el lmite no existe. Los siguientes ejemplos nos permitirn repasar las nociones expuestas aqu e introducir el concepto de continuidad, ntimamente ligado al de lmite:

EJEMPLO 2.3.2. Ilustracin grfica del concepto de lmite Consideremos la parte del paraboloide elptico z 1 = x 2 + y 2 que est por debajo del plano z = 5. Es decir z = f ( x, y ) = x 2 + y 2 + 1 y 1 z 5 (Figura 2.3.4)

Figura 2.3.4 Es evidente en la grfica que por cualquier camino que se acerque a Lim f ( x , y ) = 1 . Observe adems que 1 = f ( 0 , 0 ) luego
( x, y ) ( 0,0 )

( 0,0 )

sus imgenes tendern a 1,

EJEMPLO 2.3.3. Ilustracin grfica del concepto de lmite La grfica del ejemplo 2.3.2 (Figura 2.3.4) pero con un agujero en (Figura 2.3.5)
z= f ( x, y ) = x2 + y2 +1 5

( 0 , 0 ,1 )

y un punto en

( 0,0,5 )

es decir:

si si

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

y x2 +y2 4

Figura 2.3.5 Recordemos que en el anlisis de

f ( x, y )
0

(x

,y0

punto

( 0,0 )

( x,y ) ( x 0 , y 0

Lim

sino lo que sucede al acercarnos a

(x

no nos interesa propiamente lo que sucede en

, y 0 ) ; por esto el anlisis de la ilustracin anterior para el

f ( x, y ) = 1

sirve tambin para este caso, por tanto:

( x, y )

Lim

pero observe que aqu

f ( 0 , 0 ) = 5 1 , es decir aqu

( 0,0 )

f ( x, y ) f x0 , y 0 . ) Observe tambin que la grfica relacionada con este ejemplo tiene un agujero en el punto (0, 0, 1), lo que no sucede en el ejemplo anterior.
( x, y ) ( x 0 , y 0

Lim

EJEMPLO 2.3.4. Ilustracin grfica del concepto de lmite si y 0 1 Sea f ( x , y ) = si y < 0 2 Si tomo

(x

, y0

con y 0 0 es evidente que

( x, y ) ( x 0 , y 0

Lim

f ( x , y ) existe, y su valor depender de si el

punto de la forma ( x 0 , 0 ) (Figura 2.3.6)

y 0 se tom positivo o negativo, en el primer caso el lmite es 1, en el segundo 2. Ahora si tomamos un

( x, y ) ( x 0 ,0 )

Lim

f ( x, y )

no existe, pues como se puede apreciar en la grfica

1 y

( II ) x

( x0 , 0 )

(I)

Figura 2.3.6 al acercarnos al punto por el camino marcado con ( I ) o cualquier otro que est totalmente contenido en el semiplano en que y 0 el lmite ser 1, pero si lo hacemos por ( II ) o por cualquier camino totalmente contenido en el semiplano en que y < 0 el lmite ser 2, luego como por caminos diferentes dan dos valores diferentes entonces el lmite no existe.

EJEMPLO 2.3.5. Ilustracin grfica del concepto de lmite Consideremos la funcin cuya grfica est representada por el paraboloide elptico z 1 = x 2 + y 2 acotado superiormente por z = 5, eliminando de l su interseccin con el plano y = x para x 0 ; adems consideremos que hace parte de la grfica un segmento de recta que une el punto ( 0 , 0 , 7 ) con el punto

2,

2 , 7 . (Figura 2.3.7)

Figura 2.3.7 del grfico podemos observar que al acercarnos a ( 0 , 0 ) por cualquier camino que no sea la recta y =x para x > 0, el lmite siempre tomar el valor de 1, pero si tomamos el camino y = x con ( x > 0 ) el lmite Lim f ( x , y ) no existe. tomar el valor de 7; luego el
( x, y ) ( 0,0 )

En este ejemplo se ilustra que por todos los caminos excepto por uno de ellos, el valor del lmite es igual pero no por ello existe el lmite de la funcin en este punto. En el ejemplo 2.3.2 se pudo apreciar que
( x, y ) ( 0,0 )

Lim

f ( x , y ) = f ( 0,0 )

y que en este punto la superficie no presentaba ningn agujero, mientras que en el ejemplo 2.3.3 el lmite

tambin exista pero

( x, y ) (

Lim

0,0 )

f ( x , y ) f ( 0 , 0 ) y en este punto se presentaba un agujero.

Este resultado nos sugiere que tal vez sea importante caracterizar aquellos puntos en el dominio de una funcin para los cuales el valor del lmite en ese punto coincide con el de la funcin en el mismo; en una variable real esta caracterizacin nos llev al importante concepto de funcin continua, en este caso llegaremos a un resultado anlogo, el cual daremos directamente en forma general para campos escalares de R n a R:

DEFINICIN 2.3.3. Funciones continuas 1. Sea f : R n R sea A = ( a 1 , a 2 , L , a n ) , un punto de acumulacin de Dom f. f se dice continua en A si
X A

Lim f ( X

existe y es igual a f ( A )

2. Una funcin f : R n R se dice continua en un subconjunto S c R n abierto, si f es continua en cada punto de S. 3. Si una funcin no es continua en un punto se dice que f se discontinua en l. Con argumentos anlogos a los utilizados en el clculo en una variable se pueden demostrar los siguientes resultados cuyos enunciados nos son ya familiares:

TEOREMA 2.3.2. Propiedades de funciones continuas 1. Si f : R n R y g : R n R son continuas en un punto A entonces f + g , f . g tambin son continuas en A. Adems si g (A) 0 entonces f / g tambin es continua en A. 2. Sean g : R R f:Rn R Si f es continua en A , y g es continua en g ( A ) , entonces g 0 f , dada por ( g 0 f ) ( x ) = g [ f ( x ) ] tambin es continua en A. La demostracin de la parte (1) este teorema est basada en los resultados del teorema 2.3.1 y en la definicin de continuidad. La demostracin de la parte (2) se puede adaptar de la demostracin del resultado anlogo en una variable real. Si z = f ( x , y ) es un campo escalar, en la superficie que lo representa grficamente, los puntos donde se presentan agujeros (punto ( 0, 0 ) del ejemplo 2.3.3 ) , donde se presentan saltos (puntos sobre el eje x en el ejemplo 2.3.4 ) , o donde se presentan ranuras ( puntos sobre el segmento y = x con x 0 , 2 en el ejemplo 2.3.5 ) son puntos de discontinuidad de la funcin.

La discontinuidad de una funcin en un punto B se puede detectar por cualquiera de las siguientes causas: O la funcin simplemente no est definida en B, es decir no existe f ( B ); o Lim no existe; o existiendo
X B

ese lmite y existiendo f ( B ) el valor del lmite no coincide con f ( B ).

EJEMPLO 2.3.6. De funciones continuas 1. Toda funcin polinomial en n variables es continua en Rn. As f ( x , y ) = 3x 2 + 5 x 3 y 4 + 4 xy 3 es continua en todo R 2 g ( x , y , z ) = 3zy + 2 xy 2 z es continua en todo R 3 p ( x1 , x 2 , L , x n ) 2. Toda funcin racional, es decir, toda funcin de la forma f ( x1 , x 2 , ... , x n ) = q ( x1 , x 2 , L , x n ) donde p ( x 1 , x 2 , L , x n

y q ( x1 , L , x n

son polinomios en las variables x 1 , L , x n es continua en todo R n , excepto en aquellos puntos donde el polinomio del denominador se anule. As: a.

f ( x, y ) =

xy x + y2
2

es continua en toda R 2 excepto en ( 0 , 0 ) que es el nico punto donde

x2 + y2 = 0 x2 + y es continua en todo R 2 excepto en los puntos sobre la recta y = x, pues all se x y anula el denominador. x 2 yx c. h ( x , y ) = es continua en todo R 2 excepto en los puntos sobre la recta y = 0 , o sobre la y( x+7 ) recta x = - 7 2 3 3. a) f ( x , y ) = e x 3 y es continua en todo R 2 , pues es la compuesta de las funciones h ( t ) = e t que
b. g ( x , y ) = es continua en todo R, y g ( x , y ) = x 2 3 y 3 que es continua en todo R 2 . b) f ( x , y ) = L n ( x 2 + y 2 + 5 ) tambin es continua en todo R 2 , pues g ( x , y ) = x 2 + y 2 + 5
2 2 2

lo es en

luego la compuesta f ( x , y ) es continua en todo R 2 .

todo R , y adems h ( t ) = L n ( t ) lo es para todo t > 0 , y x + y + 5 siempre es mayor que cero,

En el proceso de analizar si una funcin es continua o no, en un punto generalmente tropezamos con el problema del clculo de un lmite. Como habamos dicho anteriormente, el hecho de encontrar dos caminos diferentes por los cuales el lmite d dos valores distintos, implica que el lmite no existe; si despus de analizar por muchos caminos, el valor del lmite es el mismo, entonces no podemos asegurar que el valor del lmite sea ese valor, solamente podemos afirmar que si el lmite existe este sera su valor, si por ejemplo ese posible valor del lmite cuando ( x , y ) tiende a ( x 0 , y 0 ) , es L, entonces debemos mostrar, segn la definicin de lmite, que f ( x , y ) se acerca a L cuando que
f ( x, y ) L

( x , y ) se acerca a

se acerca a cero cuando

( x, y )

se acerca a

(x

, y 0 ).

(x

, y0

) o, en otras palabras,

En la prctica, si al hacer tender

( x, y )

hacia

(x

, y 0 ) no se puede ver fcilmente que

g ( x , y ) tal que

f ( x , y ) L tiende

a cero, entonces se busca (si es posible) una funcin adems que tienda a cero cuando

( x , y ) tiende a ( x 0 , y 0 ) , si esto se logra, entonces f ( x , y ) L tambin tender hacia cero cuando ( x , y ) tiende a ( x 0 , y 0 ) , pues est metida entre dos funciones que tienden a cero cuando ( x , y ) tiende a ( x 0 , y 0 ) . Esto es un caso particular del teorema del emparedado que dice que si p ( x , y ) , q ( x , y ) y r ( x , y ) son funciones que satisfacen que q ( x , y ) p ( x , y ) r ( x , y ) entonces, si cuando ( x , y ) tiende a ( x 0 , y 0 ), q ( x , y ) y r ( x , y ) tienden al mismo nmero L, necesariamente p ( x , y ) tender a ese L cuando ( x , y ) tiende a ( x 0 , y 0 ) .(Ver figura 2.3.8. en la cual se
ilustra este resultado para funciones de R en R ).

0 f ( x, y ) L g ( x, y ) , y

Figura 2.3.8 Si no podemos encontrar esa funcin

g ( x, y )

que satisfaga las condiciones indicadas, entonces no

podemos afirmar que el lmite no exista, en este caso todava nos queda la incertidumbre.

NOTAS: SOBRE VERIFICACIN DE EXISTENCIA DE LMITES. 1.

( x , y ) ( x0 , y 0

Lim

f ( x , y ) se puede siempre reducir, haciendo

h (X, Y) = f ( x0 + X , y0 + Y ) . 2. Demostrar que

( x , y ) (0 , 0 ) ( x , y ) (0, 0 )

( X , Y ) (0, 0 )

x x0 = X , y y 0 = Y a un lmite de la forma Lm f (x 0 + X , y 0 + Y ) = Lim h ( X , Y ) donde

( X ,Y ) (0 , 0 )

Lim

f ( x, y ) = L equivale a demostrar que

( x , y ) (0 , 0 )

Lim

f (x, y ) L = 0 es decir

Lim

g (x, y ) = 0 con g ( x, y ) = f ( x, y ) L Lim f ( x, y ) = 0

3. Debido a 1. y 2. no se pierde generalidad si trabajamos solamente lmites de la forma

( x , y ) (0 , 0 )

Como se puede apreciar, el trabajo con desigualdades es importante en la parte operativa de los lmites, razn por la cual recordaremos algunas desigualdades y demostraremos otras de uso frecuente: 1. a + b a + b desigualdad triangular de la cual se puede deducir: a b a + b
a b a b

2. Si a > b , 3.
Sen x x Sen x 1

a>0

b>0

entonces

1 1 < a b

Cos x 1

4.

1 2 puesto que: x + y2 2 2 2 0 ( x y ) = x 2 x y + y xy 2 xy x 2 + y 2 entonces xy 1 2

= x 2 2 xy + y 2

(x

+ y2

EJEMPLO 2.3.7. Clculo de lmites x2 + y2 Lim Calcular: ( x , y ) ( 2, 1) x 3 y 2

x2 + y2 es continua en (2, 1) , para calcular este lmite simplemente se reemplaza x por 2 y x3 y 2 y por -1, por tanto
Como f ( x, y ) =

( x , y ) ( 2, 1)

Lim

x 2 + y 2 4 +1 5 = = . 8 1 7 x3 y 2

EJEMPLO 2.3.8 . No existencia de lmite x2 + 2y2 Lim ( x , y ) (0 , 0 ) x ( x y ) por el camino (x, 0 ) , es decir

Lim
x0

x2 =1 x2

( 0, 0)

( x , 0)

por el camino y = -x

y ( x, - x)

x 2 + 2x 2 3x 2 3 Lim = Lim = 1 2 x 0 x (x + x ) x 0 2x 2

(0, 0)

por dos caminos diferentes da dos valores distintos, entonces el lmite no existe.

EJEMPLO 2.3.9. Existencia de un lmite igual a cero x2 y2 Lim ( x , y ) (0 , 0 ) x + y Ensayando por diferentes caminos (por ejemplo ( x , 0 ) , y = x, etc.), el lmite es cero. Verifiquemos que efectivamente ste es el lmite. (x + y ) (x y ) x + y x y x2 y2 x2 y2 0 = = 0 = x+ y x+ y x+ y x+ y

x + y

x y

x + y

= x y 0

Si ( x, y ) ( 0, 0 )

EJEMPLO 2.3.10. Existencia de un lmite igual a cero (x y )2 Sen (x + y ) = 0 Demuestre que: Lim ( x , y ) (0 , 0 ) x2 y2

( x y )2
2

Sen ( x + y ) = 2 x y2

( x y )2

Sen ( x + y )

x2 y2

x y

x+ y

x y x+ y

= ( x y ) 0 Si ( x, y ) (0, 0)

Observe las rutas de acercamiento.

1. Los caminos diferentes que nos llevan a lmites diferentes no siempre son fciles de hallar. Consulte el siguiente ejemplo ilustrativo 1

Caminos de acercamiento

Cuidado con las encrucijadas.

2. En algunos casos, se pueden encontrar aparentes caminos de acercamiento, que en realidad no lo son, y que al considerarlos nos pueden llevar a errores.
Consulte el siguiente ejemplo ilustrativo 2

EJEMPLO ILUSTRATIVO NOTA SOBRE CAMINOS DE ACERCAMIENTO 1 Veamos, a manera de ilustracin que los caminos diferentes que nos llevan a lmites diferentes no siempre son fciles de hallar. Por ejemplo. Para saber si existe: x2 y2 Lim ( x , y ) (0 , 0 ) x 3 + y 3 Acercndonos por los caminos (0, y ) ( x, 0 ) el lmite es cero, lo mismo si nos acercamos por el camino

x4 =0. y = x, pues Lim x 0 2x3 Ms sin embargo si nos acercamos por un camino tan extrao como y 3 = x 4 x 3 , que evidentemente lleva al punto (0, 0 ) cuando x 0 , pues y = 3 x 3 ( x 1) y el lmite queda:
x x x Lim x0 x4
2 4

= Lim
x0

x 2 x 3 ( x 1) x4

x 4 ( x 1) = Lim x0 x4

= Lim ( x 1)
x0

= 1 0 entonces el lmite no existe.

.

los puntos ( x, y ) que satisfacen y 2 = x 2 ( x 1) , por lo tanto ste no es un camino de acercamiento a Volver a caminos de acercamiento

(0

EJEMPLO ILUSTRATIVO NOTA SOBRE CAMINOS DE ACERCAMIENTO 2 Es preciso hacer notar que en algunos casos, se pueden encontrar aparentes caminos de acercamiento, que en realidad no lo son, y que al considerarlos nos pueden llevar a errores. Por ejemplo en el xy 2 Lim ( x , y ) (0 , 0 ) x 2 + y 2 El lmite es igual a cero, como se puede ver fcilmente: xy 2 xy y 1 xy 2 0 2 0 = = y 0 2 2 2 2 2 2 x +y x +y x +y si

(x, y ) (0, 0)
3 2

Por el camino y = x obtenemos correctamente el valor cero. Pero podramos

pensar en el camino

y = x x y nos quedara:
2

Lim
x0

x (x 3 x 2 ) x 3 ( x 1) = Lim = Lim x 1 = 1 0 x0 x0 x2 + x3 x2 x3

entonces el lmite no existira. El error radica en que el supuesto camino y 2 = x 3 x 2 realmente no lo es; pues evidentemente si x 0 , y 0 , pero como y 2 = x 2 ( x 1) y y 2 0 , y como x 2 0 entonces x 1 0 x 1 , es decir, x no toma valores cercanos a cero o sea que no existe la curva o sucesin de puntos distintos de (0, 0) que converja a (0, 0) . En otras palabras, (0, 0) no es un punto de acumulacin de los puntos (x, y ) que satisfacen y 2 = x 2 ( x 1) , por lo tanto ste no es un camino de acercamiento a (0, 0 ) . La grafica muestra el comportamiento de la curva y 2 = x 2 ( x 1) .

Volver a caminos de acercamiento

EJEMPLO 2.3.11. De funcin no continua en un punto. 2x 2 y 3 Es continua f ( x, y ) = 4 en (0, 0 ) ? x + y4 Como f (0, 0 ) no existe, entonces f no puede ser continua en (0, 0 )

EJEMPLO 2.3.12. De funcin continua en un punto. 3x 2 y 3 si ( x, y ) (0, 0 ) Es continua f ( x, y ) = x 4 + y 4 en (0, 0 ) ? 0 si ( x, y ) = (0, 0 ) Aqu si est definida f ( x, y ) en (0, 0 ) , pues f (0, 0 ) = 0 Ensayando por algunos caminos de acercamiento a (0, 0) (y = x, puntos de la forma (0,y), etc.) la funcin se acerca a cero, y este es, en efecto, el lmite de la funcin cuando (x, y ) (0, 0 ) , pues:

x2 y3 x2 y2 y 3x 2 y 3 1 0 4 0 =3 4 =3 3 y 0 4 4 2 2 2 2 ( * ) 2 x +y x +y (x ) + (y )
si

(x, y ) (0, 0)

(*) por ab entonces

( x , y ) (0 , 0 )

1 2 a + b 2 para a = x 2 , b = y 2 2 Lim f ( x, y ) = 0 = f (0, 0 ) por tanto f es continua en (0, 0 )

EJEMPLO 2.3.13. De funcin no continua en un punto. xy Si ( x, y ) (0, 0 ) Sea f ( x, y ) = x + y 1 Si ( x, y ) = (0, 0 ) Es continua f ( x, y ) en (0, 0 ) ? Lim f ( x, y ) existe y es cero, pues: En este caso
( x , y ) (0 , 0 )

xy x y x y xy = = y 0 x+ y x+ y x+ y x

si (x, y ) (0, 0 ) pero el valor del lmite 0 es diferente de f (0, 0) = 1 luego f no es continua en (0,0). En este caso no era necesario verificar que el lmite es cero, pues bastaba con ensayar por un camino de acercamiento a (0, 0) (y = x por ejemplo) y al comprobar que f (x, y) se acercaba a 0 habr dos posibilidades o el lmite no exista, o si el lmite exista era 0 en cualquiera de los dos casos f (x, y) no es continua en (0, 0), pues f (0, 0) = 1.

EJEMPLO 2.3.14. De funcin no continua en un punto. xy 2 Si ( x, y ) (0, 0 ) Es continua f ( x, y ) = x 2 + 3 y 4 en (0, 0 ) ? 0 Si ( x, y ) = (0, 0 ) Acercndonos por los caminos C1 y C2 que se muestran en la Figura 2.3.9, se tiene: por C1 = Lim 0 = 0
x0

por C 2 = Lim
x0

y2 y2 1 y4 = = 0 Lim 4 4 4 y0 4 y 4 y + 3y

Figura 2.3.9 por tanto no existe

( x, y ) ( 0,0 )

Lim

f ( x , y ) f ( x , y ) no es continua en

( 0,0 )

DEMOSTRACIN TEOREMA 2.3.1

TEOREMA 2.3.1 Sea X = ( x 1 , L, x n

)
y

A = ( a 1 ,L, a n
n

)
entonces:

L,M R 3. Si Lim f ( X ) = L
X A

f :R R g: Rn R el lmite es nico.
X A

4. Si Lim

a) Lim f ( X ) + g ( X ) = L + M
X A

X A

f (X )= L f (X

Lim g ( X ) = M

b) c)

X A

Lim

X A

Lim

) g ( X ) = L.M f (X ) L = si g( X ) M

M 0

Demostracin: 1. Supngase que Lim f ( X ) = L1 , Lim f ( X ) = L2 .

X A X A

Por otro lado supongamos que L1L2 entonces L1 L2 0 y si se toma = ese como Lim f ( X ) = L1 , existe un 1> 0 tal que si
X A

L1 L2 2

> 0, entonces para

0< 0<

y como Lim f ( X ) = L2 , existe un 2> 0 tal que si

X A

X A < 1 entonces f ( X ) L1 < .

X A < 2 entonces f ( X ) L2 < .

Ahora sea = min. {1, 2}, as se tiene que para ese mismo > 0 se tiene que si 0 <
X A < entonces f ( X ) L1 < y f ( X ) L2 < . X A <

luego se sigue que para 0 <

L1 L2 = L1 f ( X ) + f ( X ) L2 L1 f ( X ) + f ( X ) L2 < + = L1 L2 2 + L1 L2 2 = L1 L2 , es decir, L1 L2 < L1 L2 lo cual es absurdo, por tanto L1 = L2.

2(a). Si Lim f ( X ) = L , entonces para todo > 0 existe un 1> 0 tal que si
X A

0< 0<

Si Lim g ( X ) = M , entonces para todo > 0 existe un 2> 0 tal que si

X A

X A < 1 entonces f ( X ) L < .

X A < 2 entonces g ( X ) M < .

Como > 0, entonces > 0 y para ese se tiene que: existe un 3 > 0 tal que si 0 < existe un 4 > 0 tal que si 0 <
X A < 3 entonces f ( X ) L < X A < 4 entonces g ( X ) M <

, .

Por tanto si = min. {3, 4}, se tiene que si 0 <

X A < entonces f ( X ) L < =

g( X ) M <
.

Por otro lado

( f ( X ) + g ( X )) ( L + M )
X A

( f ( X ) L ) + (g ( X ) M )

( f (X ) L )

(g ( X )

M) <

=.

Luego Lim f ( X ) + g ( X ) = L + M 2(b). Se puede demostrar de manera sencilla, recurriendo a resultados que aunque no se han visto se pueden intuir fcilmente como: que Lim f ( X ) = L es equivalente a Lim f ( X ) L = 0. y adems implica que Lim f ( X
X A

X A

X A

existe y es igual a | L |.

y que si una funcin es mayor o igual que cero y es menor que otra funcin que tiende a cero cuando X tiende a A, entonces la funcin tiende a cero. Considerando esto se tiene que: 0 f ( X ) g( X ) L M = f ( X ) g( X ) f ( X ) M + f ( X ) M L M =
= f ( X )( g ( X ) M ) + M ( f ( X ) L ) f ( X )( g ( X ) M ) + M ( f (X ) L ) ( f ( X ) L ) 0 , cuando X A. , luego
X A

= f ( X ) (g( X ) M ) + M
X A

Lim f ( X ) g ( X ) L M = 0, entonces Lim f ( X ) g ( X ) = L M .

2(c) La demostracin de este resultado se obtiene aplicando 2(b) a la expresin:

f (X g( X
X A

)= )

f ( x)

1 , g ( x)
X A

luego de demostrar que si Lim g ( X ) = M , con M 0 , entonces Lim Volver al teorema 2.3.1

1 g( X

1 . M