Tema 1 Funciones de Rn en Rm

1.1 Normas, distancias y l mite de sucesiones

Como es conocido, Rn = R R R es el conjunto formado por las n-uplas de n umeros reales (x1 , x2 , . . . , xn ), denotados habitualmente por x = (x1 , x2 , . . . , xn ), y que est a dotado de una esctructura de espacio vectorial sobre el cuerpo de los n umeros reales mediante las operaciones: x + y = (x1 , x2 , . . . , xn ) + (y1 , y2 , . . . , yn ) = (x1 + y1 , x2 + y2 , . . . , xn + yn ) . x = .(x1 , x2 , . . . , xn ) = (.x1 , .x2 , . . . , .xn ) siendo R; x , y Rn . El espacio vectorial Rn es de dimensi on n y el sistema de vectores { e1 , e2 , . . . , en }, siendo ei = (0, . . . , 0, 1, 0, . . . , 0), con 1 en la posici on i- esima, constituyen una base de Rn , llamada base can onica. As el vector x = (x1 , x2 , . . . , xn ) se puede expresar como combinaci on lineal referida a esta base como x = x1 . e1 + x2 . e2 + + xn . en Adem as Rn se puede dotar de una estructura de espacio vectorial eucl deo, es decir, en Rn se puede denir un producto escalar, lo que signica que hay una aplicaci on < , >: Rn Rn R ( x , y)< x , y > que es bilineal, sim etrica y denida positiva, lo que signica que la aplicaci on satisface las siguientes propiedades: i) < x + x , y >=< x , y > + < x , y > ii) < . x , y >= . < x , y > iii) < x , y >=< y , x > iv) < x , x >0 v) < x , x >= 0 x = 0

Se puede deducir que la expresi on anal tica del producto escalar con respecto a la base can onica de Rn es < x , y >=< (x , x , . . . , x ), (y , y , . . . , y ) >= x .y + x .y + + x .y
1 2 n 1 2 n 1 1 2 2 n n

A partir de un espacio vectorial eucl deo se puede denir una norma, que en este caso es: 2 2 || x ||= + < x , x > = x2 1 + x2 + + xn Esta norma se llama norma eucl dea por estar inducida por el producto escalar. Proposici on 1.1.1 (Desigualdad de Cauchy-Schwarz) Para cualquier par de vectores x = (x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn ) Rn , se verica que n |< x , y >|=| x .y ||| x || . || y ||
i i i=1

La igualdad u nicamente se produce si x e y son linealmente dependientes. Denici on 1.1.2 Una norma sobre un R-espacio vectorial V es una aplicaci on || || : V R x || x || que verica las siguientes propiedades: i) || x || 0, x V ii) || x ||= 0 x = 0 iii) || . x || =| | . || x ||, R, x V iv) || x + y |||| x || + || y ||, x , y V (Desigualdad de Minkowski) Ejercicio 1.1.3 Vericar que la norma de Rn procedente del producto escalar usual cumple las cuatro propiedades anteriores. A partir de la norma de Rn se introduce una distancia en Rn como sigue: Para cada par de vectores x , y Rn , se dene la distancia entre ellos como la norma de su diferencia. Si la norma es la eucl dea, la distancia inducida, que se llama eucl dea, es: d( x , y ) =|| x y ||= (x y )2 + (x y )2 + + (x y )2
1 1 2 2 n n

Denici on 1.1.4 En un R-espacio vectorial V, se llama distancia a una aplicaci on d:V V R ( x , y ) d( x , y) que verica las siguientes propiedades: 2

 i) d( x , y ) 0, x , y V ii) d( x , y ) = 0 x = y x , y ) = d( y , x ), x , y V iii) d( iv) d( x , z ) d( x , y ) + d( y , z ), x , y , z V (Desigualdad Triangular) Ejercicio 1.1.5 Vericar que la distancia eucl dea sobre Rn satisface las propiedades caracter sticas de una distancia. Sobre Rn se pueden denir otras normas, que incluso no son procedentes de ning un producto escalar, as como se pueden denir otras distancias que no proceden de ninguna norma. Citaremos aqu u nicamente dos normas distintas de la eucl dea por su utilidad en las cuestiones subsiguientes. Son las siguientes: || || : Rn R x = (x1 , x2 , . . . , xn ) || x ||=
n

| x i |= | x 1 | + | x 2 | + | x n |
i=1

|| || : Rn R x = (x1 , x2 , . . . , xn ) || x ||= supi {| xi |} = sup{| x1 |, | x2 |, . . . , | xn |}

Ejercicio 1.1.6 Comprobar que estas aplicaciones satisfacen las propiedades de una norma. Ejemplo 1.1.7 En el plano R2 , las tres normas descritas sobre un vector x = (x1 , x2 ) representan la longitud de la hipotenusa del tri angulo rect angulo de catetos x1 y x2 ; la suma de las longitudes de los catetos del tri angulo rect angulo y el mayor de los catetos del tri angulo rect angulo, respectivamente: || x ||= +
2 x2 1 + x2

|| x ||=| x1 | + | x2 | || x ||= sup{| x |, | x |}

1 2

Sin embargo existe una relaci on importante entre estas tres normas (esta relaci on se verica entre todas los normas de Rn ) y es que son normas equivalentes.

Denici on 1.1.8 Sean || ||p y || ||q dos normas. Se dice que son equivalentes si existen dos n umeros reales positivos, nitos y no nulos a y b tales que a. || x ||p || x ||q b. || x ||p

Debido a esta propiedad se puede denir el concepto de l mite con cualquiera de las normas descritas, pues si una sucesi on de puntos de Rn tiende a cero con una de las normas, entonces tambi en tiende a cero con cualquiera de las otras normas. Denici on 1.1.9 En el espacio eucl deo Rn , se llama bola abierta de centro a Rn y de radio r > 0 al conjunto
n n B ( a , r) = { x R | d( a , x ) < r} = { x R | || x a ||< r} Se llama bola cerrada de centro a Rn y de radio r > 0 al conjunto ( B a , r) = { x Rn | d( a , x ) r } = { x Rn | || x a || r}

Llamaremos entornos de un punto a Rn a las bolsa abiertas de centro a. Denici on 1.1.10 Se dice que una sucesi on {xn } de puntos de Rn tiene por n l mite o converge hacia el punto l R si la sucesi on de n umeros reales {d(xn , l)} converge a cero cuando n tiende a innito. Se escribe limn {xn } = l o bien {xn } l {d(xn , l)} 0 Teniendo en cuenta la denici on de l mite de una sucesi on de n umeros reales, podemos escribir limn {xn } = l {d(xn , l)} 0 > 0, N | n | d(xn , l) 0 |< > 0, N | n || xn l ||< En consecuencia limn {xn } = l limn {|| xn l ||} = 0 Teniendo en cuenta la denici on de entornos, la denici on de l mite signica que jado un radio > 0, todos los t erminos de la sucesi on {xn } est an dentro de ermino de la sucesi on. la bola abierta B (l, ) a partir de un determinado t limn {xn } = l > 0, N | n xn B (l, ) ya que || xn l ||< xn B (l, ). 4

Propiedades 1.1.11 1. Si {xn } es convergente, entonces su l mite es u nico. 2. Si {xn } es convergente, entonces {xn } est a acotada (es decir, la sucesi on de n umeros reales {|| xn ||} est a acotada). 3. En Rn todas las normas son equivalentes. El concepto de l mite no depende de la norma elegida.
n n 2 4. Si xk = (x1 k , xk , . . . , xk ), k N y l = (l1 , l2 , . . . , ln ) R , entonces i limk {xk } = l limk {xi k } = l , i = 1, 2, . . . , n

En otras palabras, para hallar el l mite de una sucesi on de t erminos de Rn basta con hallar el l mite de cada componente. 5. Propiedades aritm eticas: sean {xn } e {yn } sucesiones convergentes, entonces (a) limn { xn } = limn {xn }, R. (b) limn {xn + yn } = limn {xn } + limn {yn }. (c) limn {|| xn ||} =|| limn {xn } ||.
1 n Ejemplo 1.1.12 limn {( n , n+1 } = (0, 1).

Denici on 1.1.13 Se dice que una sucesi on {xn } de puntos de Rn tiene l mite innito si K R, K > 0, N tal que || xn ||> K, n . En este caso se escribe limn {xn } = o {xn } .

1.2 Funciones entre espacios eucl deos

Estudiamos ahora funciones del tipo f : X Rn Rm , que son funciones de la variable vectorial x = (x1 , x2 , . . . , xn ) Rn , con valores vectoriales y = m (y1 , y2 , . . . , ym ) R . Los dos casos de mayor inter es son cuando m = 1 y n = 1, ya que el caso general se reduce a estos dos casos. on es de la forma Caso m = 1: La funci f : X Rn R x = (x1 , x2 , . . . , xn ) y = f (x1 , x2 , . . . , xn ) Se denominan funciones reales con n variables reales y, tradicionalmente, se representan por f (x1 , x2 , . . . , xn ). 5

Por ejemplo: f : R2 R, f (x, y ) = x + ey ; g : R3 R, g (x1 , x2 , x3 ) = x1 + x2 + x3 . Para conseguir una gr aca expresiva de una funci on real de varias variables reales se considerar a el caso particular n = 2. La gr aca cartesiana se construye en el espacio de una dimensi on m as que el el espacio de la variable independiente. As , si f : X R2 R su gr aca es = {(x, y, z ) R3 | z = f (x, y ), (x, y ) X R2 } R3 . Si la funci on f es continua y el dominio X es simple (una bola, un rect angulo, etc.), la gr aca es una supercie en R3 , cuya proyecci on sobre el plano OXY es el conjunto X . En el caso general f : X Rn R su gr aca es = {(x1 , x2 , . . . , xn , z ) Rn+1 | z = f (x1 , x2 , . . . , xn ), (x1 , x2 , . . . , xn ) X Rn } Rn+1 . que es una hipersupercie en Rn+1 . Caso n = 1: La funci on es de la forma f : X R Rn x f (x) = (y1 , y2 , . . . , ym ). Se denominan funciones vectoriales de variable real. Como f (x) es un vector de m componentes, cada una de estas ser a una funci on real de la variable real x, por lo que se puede escribir y1 = f1 (x) y2 = f2 (x) y = f (x) . . . y = f (x) m m en consecuencia la funci on vectorial f (x) equivale a un sistema de m funciones reales de una variable real. Se escribe f = (f1 , f2 , . . . , fm ) y las funciones fi : X R R, i = 1, 2, . . . , m se llaman funciones componentes de f .

Por ejemplo, la funci on f : X R R3 x f (x) = (sen(x), ex , x + 1) tiene por funciones componentes f1 (x) = sen(x); f2 (x) = ex y f3 (x) = x + 1, x X. Para la representaci on gr aca se considerar a el caso m = 2, es decir, se trata de construir la gr aca cartesiana de la funci on f : X R R2 dada por las funciones componentes y1 = f1 (x), y2 = f2 (x), x X , que evidentemente estar a situada en el espacio de 3 dimensiones. Su gr aca es = {(x, y1 , y2 ) R3 | y1 = f1 (x), y2 = f2 (x), x X R} R3 Para que la construcci on se presente m as intuitiva, se pueden determinar las gr acas de las funciones componentes f1 y f2 en los planos XY1 y XY2 , respectivamente, y entonces la gr aca cartesiana de f tendr a por proyecciones sobre estos planos las gr acas de f1 y f2 . Si las funciones f1 y f2 son continuas y el dominio X es un intervalo, la gr aca de f es una curva en R3 cuyas proyecciones sobre los planos XY1 y XY2 son las curvas de las gr acas de las funciones f1 y f2 . En el caso general, f : X R Rm , tiene por gr aca = {(x, y1 , y2 , . . . , ym ) Rm+1 | y1 = f1 (x), . . . , ym = fm (x), x X } Rm+1 que es una curva en Rm+1 . En el caso general, f : X Rn Rm , x = ( x1 , x 2 , . . . , x n ) y = (y1 , y2 , . . . , ym ) = f (x1 , x2 , . . . , xn ) equivale a un sistema de m funciones reales de n variables reales, llamadas funciones componentes de f; as podemos escribir: y1 = f1 (x1 , x2 , . . . , xn ) y2 = f2 (x1 , x2 , . . . , xn ) y = f ( x) . . . y = f (x , x , . . . , x ) m m 1 2 n por lo que se acostumbra a decir que f tiene por componentes las funciones f1 , f2 , . . . , fm , y se escribe f = (f1 , f2 , . . . , fm ), siendo fi : X Rn R. En este caso, muchas de las propiedades de la funci on f son consecuencia de las mismas propiedades referidas a las funciones componentes f1 , f2 , . . . , fm (continuidad, diferenciabilidad, etc. . . . ) Por ejemplo, f : R2 R3 (x1 , x2 ) f (x1 , x2 ) = (sen(x1 .x2 ), ex1 +x2 , Ln(x1 +x2 )) 7

tiene por funciones componentes f1 (x1 , x2 ) = sen(x1 .x2 ); f2 (x1 , x2 ) = ex1 +x2 ; f3 (x1 , x2 ) = Ln(x1 + x2 ). La gr aca cartesiana de este tipo de funciones es el conjunto = {( x , y ) = (x1 , x2 , . . . , xn , y1 , y2 , . . . , ym ) Rn+m | y = f ( x ); x X} que se llama variedad.

1.3 L mite de una funci on en un punto

Denici on 1.3.1 Se dice que una funci on f : X Rn Rm tiene por l mite m n l R en el punto de acumulaci on a X R y se escribe lim x a f( x ) = ( a , ) X f ( x ) B ( l , ), siendo l si > 0, > 0 tal que x B B ( a , ) = B ( a , ) { a }. Esta misma denici on se puede reescribir usando normas y distancias, ya que ( xB a , ) X d( x , a ) < ; x = a || x a ||< , x = a ( f ( x)B l , ) d(f ( x ), l ) < || f ( x ) l ||< As pues tenemos la siguiente denici on: lim x a f( x ) = l > 0, > 0 tal que || x a ||< , x X; x = a || f ( x ) l ||<

Teorema 1.3.2 (del l mite secuencial) lim x a f ( x ) = l [{xn } a , xn = a , xn X, n N {f (xn )} l ]

Ejemplos 1.3.3
y +1)+y =1 1. lim(x,y)(0,0) 2x 2(x 2 +y 2
2 2

2. La funci on f (x, y ) =

x2 y x2 y

para y = x2 no posee l mite en (0, 0).

Propiedades 1.3.4 Sea f : X Rn Rm y a X un punto de acumulaci on. 1. Si f tiene l mite en a , entonces el l mite es u nico. 2. lim x a (f ( x ) l ) = 0 x a f ( x ) = l lim 8

 3. Si f tiene l mite en a , entonces f est a acotada en un entorno reducido de a. 4. Si f = (f1 , f2 , . . . , fm ), x = (x1 , x2 , . . . , xn ), a = (a1 , a2 , . . . , an ) y l = (l1 , l2 , . . . , lm ), entonces lim x a f ( x ) = l lim x a fi ( x ) = li , i = 1, 2, . . . , m Ejemplo: Sea f : X R2 , con X = R2 {(0, 0)}, dada por f1 (x1 , x2 ) = x1 x2 sen( x2 1 1 x1 x2 ); f2 (x1 , x2 ) = 2 + x2 | x1 | + | x 2 |

lim(x1 ,x2 )(0,0) f (x1 , x2 ) = (lim(x1 ,x2 )(0,0) f1 (x1 , x2 ), lim(x1 ,x2 )(0,0) f2 (x1 , x2 )) = (0, 0) 5. Sean las funcionesf, g : X Rn R y a un punto de acumulaci on de X , en el que lim x a f ( x ) = l1 y lim x a g ( x ) = l2 . Entonces:
a) lim x a ( f + g ) = l1 + l2 , , R b) lim x a (f g ) = l1 l2 f c) lim x a g = l1 , l2

siempre que l2 = 0

Observaci on: La propiedad 5 a) tambi en es v alida cuando f y g son funciones vectoriales de n variables reales. 6. Cambio a coordenadas polares Adem as de la representaci on cartesiana de los puntos del plano, hay otros sistemas de representaci on. Describimos ahora el sistema de representaci on mediante coordenadas polares. Para introducir un sistema de coordenadas polares en un plano se ja un punto O, llamado origen o polo, y una semirrecta dirigida con punto inicial O, llamada eje polar. Cualquier punto P del plano, distinto de O, queda determinado por dos par ametros r y , siendo r = d(O, P ); = ` angulo (eje polar, OP ) Entonces se dice que el punto P tiene coordenadas polares (r, ). El angulo se considera positivo si se genera por rotaci on del eje polar en sentido contrario a las agujas del reloj y negativo si la rotaci on es en el mismo sentido. Las coordenadas polares de un punto no son u nicas, pues un mismo punto P tiene coordenadas polares (r, ), (r, +2 ), (r, +4 ), . . . . Evidentemente, 9

las coordenadas polares son u nicas salvo vueltas completas de circunferencia, es decir, salvo m ultiplos de 2 o m odulo 2 . Para relacionar las coordenadas cartesianas y polares se superpone el polo sobre el origen de coordenadas cartesianas y el eje polar sobre el eje OX (en su parte positiva). As un punto P de coordenadas cartesianas (x, y ) tendr a por coordenadas polares y r = x2 + y 2 ; = arctag ( ) x Por el contrario, si P tiene coordenadas polares (r, ), entonces sus coordenadas cartesianas ser an x = rcos(), y = rsen() Despu es de esta introducci on a las coordenadas polares, describimos la siguiente propiedad que nos permite el c alculo de l mites de funciones de dos variables. Teorema Sea A = (0, ) (0, 2 ] y sea g : A R2 la aplicaci on dada por g (r, ) := (rcos(), rsen()). Se verica que lim(x,y)(0,0) f (x, y ) = a limr0 F (r, ) = a siendo F (r, ) = f (rcos(), rsen()).
+y )+x Ejemplo: Sea f (x, y ) = y (xx4 si (x, y ) = (0, 0) y f (0, 0) = 0. Uti+y 4 lizando el cambio a coordenadas polares se tiene que lim(x,y)(0,0) f (x, y ) = 1.
2 3 2 4

Nota: Para aplicar el cambio a coordenadas polares a un l mite de la forma lim(x,y)(a,b) f (x, y ) con (a, b) = (0, 0) se hace el cambio de variable x = X + a, y = Y + b con lo que tendremos lim(X,Y )(0,0) f (X + a, Y + b) y ahora ya se puede aplicar el teorema anterior.

1.4 L mites sobre trayectorias

Denici on 1.4.1 Dada una funci on f : X Rn Rm , S X y a un punto m de acumulaci on de S , se dice que l R es el l mite de f relativo al conjunto S (o sobre el conjunto S , o sobre la trayectoria S ) en el punto a y se escribe lim x a ; x S f ( x ) = l si > 0, > 0 tal que || x a ||< , x X S, x = a , entonces || f ( x ) l ||< 10

Se deduce inmediatamente de las deniciones de l mite ordinario y de l mite so bre una trayectoria S que si existe lim x a f ( x ) = l , entonces lim x a ; x S f ( x ) = l , para cualquier trayectoria S . Sin embargo, el rec proco no es cierto en general. Aunque el valor del l mite a lo largo de distintas trayectorias S1 , S2 , . . . , Sn de f (x) sea siempre igual a l , esto no implica que el valor del lim x a f ( x ) sea l . Muy bien pudiera ocurrir que este l mite no exista. Lo que si est a claro es que de existir lim x a f ( x ), entonces su valor debe ser necesariamente l , pero este supuesto habr a que comprobarlo por otros medios, por ejemplo vericando que se cumple la denici on de l mite. Por otra parte, este hecho nos lleva a utilizar el criterio en sentido negativo, es decir usando la proposici on contrarec proca: si se encuentran dos trayectorias S1 y S2 de X con a como punto de acumulaci on y resulta que lim x a ; x S1 f ( x ) = lim x a ; x S2 f ( x ), entonces se puede asegurar que lim x a f( x ) Ejemplos 1.4.2
(y x ) 2 2 1. Sea f : R2 {(0, 0)} R, f (x, y ) = yx 2 +y 2 . Si S1 = {(x, y ) R | y = x }, entonces lim(x,y)(0,0);(x,y)S1 f (x, y ) = 0.
2

Si S2 = {(x, y ) R2 | x = 0}, entonces lim(x,y)(0,0);(x,y)S2 f (x, y ) = 1.

+y . Si 2. Sea f : C R2 R, C = {(x, y ) R2 | x = y }, f (x, y ) = xy x2 y 2 m 2 S = {(x, y ) R | y = m.x}, entonces lim(x,y)(0,0);(x,y)S f (x, y ) = 1m2 . x 3. Sea f : C R2 R, C = {(x, y ) R2 | y = x2 }, f (x, y ) = x2 . Si y 2 S = {(x, y ) R | y = m.x}, entonces lim(x,y)(0,0);(x,y)S f (x, y ) = 0. Si S = {(x, y ) R2 | x = 0}, entonces lim(x,y)(0,0);(x,y)S f (x, y ) = 0.
3 3

Aunque parece que lim(x,y)(0,0) f (x, y ), esto no es as , pues si tomamos la trayectoria S = {(x, y ) R2 | y = x2 x3 }, entonces lim(x,y)(0,0);(x,y)S f (x, y ) = 1.
2x2y 4. El valor del l mite de la funci on f (x, y ) = x sobre las trayectorias rectas +y 2 22a que pasan por el punto (1, 1) es 1+a , denotando a la pendiente de las rectas del haz.

1.5 L mites sucesivos

Dada una funci on f : X R2 R, jado y = y0 , se obtiene la funci on f (x, y0 ) denida sobre el conjunto de los puntos (x, y ) X tales que y = y0 . Por ejemplo, si X = [a, b] [c, d], jado y0 [c, d], entonces tenemos denida la funci on parcial f (, y0 ) : x [a, b] f (x, y0 ) R 11

Del mismo modo, jado x = x0 , se obtiene la funci on f (x0 , y ) en la variable y , denida sobre el conjunto de los puntos (x, y ) X tales que x = x0 . En el ejemplo anterior, jado x0 [a, b], se tiene denida la funci on parcial f (x0 , ) : y [c, d] f (x0 , y ) R Sea (a, b) X . Fijado y = b, la funci on resultante depende de x y entonces se puede calcular limxa f (x, y ), que en general tomar a un valor h que depender a del valor y jado, por lo que se escribir a limxa f (x, y ) = h(y ) Supuesta la existencia del l mite para cada y en un entorno reducido de b, aparece denida una nueva funci on h en ese entorno y se puede calcular limyb h(y ), es decir, hemos calculado limyb (limxa f (x, y )) que se llama l mite sucesivo o reiterado en el orden x y luego y . De la misma forma, se puede calcular el l mite sucesivo limxa (limyb f (x, y )) en el orden y y luego x, simplemente intercambiando el orden de las variables x e y. Una funci on puede tener l mite en un punto y no existir los l mites sucesivos y tambi en puede ocurtrir que existan los l mites sucesivos y que la funci on no tenga l mite. Puede ocurrir igualmente que existan los l mites sucesivos y que sean distintos. Ejemplos 1.5.1
x1 .x2 1. Sea f : (x1 , x2 ) R2 {(0, 0)} f (x1 , x2 ) = x mites 2 +x2 R. Ambos l 1 2 sucesivos en el punto (0, 0) son nulos. A pesar de la existencia y coincidencia de los l mites sucesivos, el l mite ordinario de esta funci on en el origen no existe.

) R. Se verica 2. Sea f : (x1 , x2 ) R2 {(0, 0)} f (x1 , x2 ) = x2 .sen( x11 .x2 que lim(x1 ,x2 )(0,0) f (x1 , x2 ) = 0 y sin embargo limx2 0 (limx1 0 f (x1 , x2 )). 3. Sea f : R R denida por f (x1 , x2 ) = si(x1 , x2 ) = (0, 0) . 0 si(x1 , x2 ) = (0, 0) Se verica que limx2 0 (limx1 0 f (x1 , x2 )) = 1 y limx1 0 (limx2 0 f (x1 , x2 )) = 1.
2 x1 .x2 x1 +x2 x1 +x2

Los l mites sucesivos existen y son distintos, por lo que podemos asegurar que lim(x1 ,x2 )(0,0) f (x1 , x2 ), tal y como asegura el siguiente resultado. 12

Proposici on 1.5.2 Sea f : X R2 R y (a1 , a2 ) un punto interior a X . Si existe el l mite ordinario lim(x1 ,x2 )(a1 ,a2 ) f (x1 , x2 ) = l y existe el l mite sucesivo limx2 a2 (limx1 a1 f (x1 , x2 )) = l12 , entonces ambos coinciden (l = l12 ). An alogamente, si existe el l mite ordinario lim(x1 ,x2 )(a1 ,a2 ) f (x1 , x2 ) = l y existe el l mite sucesivo limx1 a1 (limx2 a2 f (x1 , x2 )) = l21 , entonces ambos coinciden (l = l21 ). Cosecuencia 1.5.3 Si para una funci on f existen los dos l mites sucesivos en el punto (a1 , a2 ) y son distintos, entonces lim(x1 ,x2 )(a1 ,a2 ) f (x1 , x2 ). Ejercicios 1.5.4 1. Calcular los l mites sucesivos y sobre distintas trayectorias en el punto (0, 0) 2 .y para la funci on f (x, y ) = xx mite 2 +y 2 para (x, y ) = (0, 0). Determinar el l ordinario. 2. Calcular los l mites sucesivos y vericar que no existe el l mite ordinario en x.y +y 2 el orige para la funci on f (x, y ) = x2 +y2 .

1.6 Continuidad
Denici on 1.6.1 Sea f : X Rn Rm y a X . Se dice que f es continua en el punto a si lim x a f( x ) = f( a ) es decir,
> 0, > 0, tal que x B ( a , ) X, entoncesf ( x ) B (f ( a ), )

Transcribiendo esta denici on en t erminos de distancias, se puede decir que f es continua en el punto a de X si > 0, > 0, tal que || x a ||< , entonces || f ( x ) f ( a ) ||< Teniendo en cuenta el teorema 1.3.2. del l mite secuencial, entonces de puede } es una sucesi demostrar que esta denici on es equivalente a decir que si { x on de n puntos de X , tal que {xn } a y xn = a , n N, entonces f ({xn }) f ( a ). Denici on 1.6.2 Se dice que una funci on f : X Rn Rm es continua sobre el conjunto X , si es continua en cada uno de los puntos x X. Denici on 1.6.3 Si la funci on f no es continua en un punto a de acumulaci on de X , entonces se dice que f es discontinua en ese punto a.

13

En tal caso se pueden presentar dos tipos de discontinuidades: * Evitable: si lim x a f( x ) = f( a ) * Esencial: si lim x a f( x ) Proposici on 1.6.4 Sea f = (f1 , f2 , . . . , fm ) : X Rn Rm y a X. f es continua en a X fi es continua en a X , i = 1, 2, . . . , m (f es continua si, y solo si, son continuas todas sus funciones componentes) Propiedades 1.6.5 a X , entonces f est a acotada en 1. Si f : X Rn Rm es continua en un cierto entorno de a . 2. Si f : X Rn R es continua en a X y f ( a ) = 0, entonces existe un entorno del punto a en el cual f conserva el signo. 3. Sean f, g : X Rn R funciones continuas en a X . Entonces las f funciones .f + .g , con , R; f.g y g , con g ( a ) = 0 tambi en son continuas en a X . Obervaci on: La funci on .f + .g es continua a un en el caso de ser f, g : n m XR R . Ejemplos de funciones continuas omicas en n variables p(x1 , x2 , . . . , xn ). Por ejemplo 1. Las funciones polin 2 p(x, y, z ) = xy + 2x z .
(x1 ,x2 ,...,xn ) 2. El cociente de funciones polin omicas de n variables p , salvo en los q (x1 ,x2 ,...,xn ) n puntos (x1 , x2 , . . . , xn ) R tales que q (x1 , x2 , . . . , xn ) = 0.

3. La composici on de funciones continuas es continua. Por ejemplo (x, y, z ) x + y + x sen(x + y + z ). Teorema 1.6.6 Sea f : X Rn Rm una funci on continua sobre X y sea m Y = f (X ) R . Si X es un conjunto compacto, entonces Y es un conjunto compacto. (La imagen continua de un conjunto compacto es un conjunto compacto) Los conjunto compactos de Rn est an caracterizados por ser los conjuntos que son cerrados y acotados. Ejemplos de estos conjuntos son las bolas cerradas, la uni on nita de bolas cerradas o la intersecci on de bolas cerradas. Tambi en los son los rect angulos cerrados ([a, b] [c, d] [m, n]).

14

Teorema 1.6.7 Toda funci on f : X Rn R continua sobre un conjunto compacto X alcanza un m aximo y un m nimo sobre X , es decir, x1 , x2 X tales quef ( x1 ) f ( x ) f ( x2 ), x X Ejercicios 1.6.8 si x = y x y si x = y
x2 .y x4 +y 2 x2 y 2 xy

on f (x, y ) = 1. Estudiar la continuidad de la funci

2. Estudiar la continuidad de la funci on f (x, y ) =

si x4 + y 2 = 0 si x = y = 0

3. Sea f : C R2 R2 , con C = {(x, y ) R2 | x2 = y 2 } y f (x, y ) = )sen(y ) ex ey ( sen(xx , x+y ). Estudiar su continuidad. Extender continuamente f y 2 a todo R .

15

Ejercicios Complementarios
y 1. Calcular el valor de lim(x,y)(0,0) x . x2 +y 4
2 3

Soluci on: 1. 2. Estudiar la continuidad en el origen de la funci on f (x, y ) = y f (x, x) = 1. Soluci on: Continua.
y 3. Sea la funci on f (x, y ) = xx 2 +y 2 para (x, y ) = (0, 0) y f (0, 0) = 2. Estudiar su continuidad en el origen.
2 2

ex ey xy

si x = y

Soluci on: Discontinua evitable.

.y 4. Calcular lim(x,y)(0,0) xx 3 +y 3 .
2

Soluci on: No existe.

16