Univ. de Alcal´ de Henares a C´lculo. Segundo parcial.

a

Ingenier´ de Telecomunicaci´n ıa o Curso 2004-2005

L´ ımites y continuidad 1. L´ ımite de funciones de dos variables
Hasta ahora hemos evitado entrar en la cuesti´n de qu´ significa el s´ o e ımbolo
(x,y)→(x0 ,y0 )

l´ ım

que aparece en la noci´n de diferenciabilidad,porque no quer´ o ıamos que los detalles t´cnicos de e la definici´n de l´ o ımite oscurecieran la discusi´n sobre la diferenciabilidad. Pero ha llegado el o momento en que no podemos demorar m´s esa cuesti´n. Por esa raz´n esta secci´n se dedica a a o o o la definici´n y c´lculo de l´ o a ımites en funciones de dos variables, con la vista puesta en nuestro objetivo de entender plenamente la definici´n de diferenciabilidad. o Bas´ndonos en lo que hemos aprendido en el c´lculo de una variable, est´ bastante claro lo a a a que queremos decir cuando escribimos
(x,y)→(x0 ,y0 )

l´ ım

f (x, y) = L

Cuando decimos que el l´ ımite de f en (x0 , y0 ) es L, estamos diciendo que si se calcula f en un punto (x, y) cercano a (x0 , y0 ), se obtendr´ un valor que tal vez no sea L, pero que estar´ muy a a cerca de L. Estar´ tanto m´s cerca, cuanto m´s acerquemos (x, y) a (x0 , y0 ). a a a Como puede verse, en esta descripci´n del l´ o ımite la idea central es la de distancia. Y adem´s a es preciso se˜alar que no hay ninguna diferencia entre esta idea de l´ n ımite y la que se utiliza en funciones de una variable. Si queremos ser m´s precisos, y obtener una definici´n rigurosa, la mejor forma de pensar en a o esta definici´n de l´ o ımite consiste probablemente en centrarnos en la idea de control del error: Nos fijamos un objetivo de error m´ximo tolerable, dado por el n´mero ε. Debemos pensar por tanto a u que ε ser´ un n´mero peque˜o, algo como 0,001 si deseamos cometer un error de mil´simas, a u n e o como 0,000001 si el tama˜o del error m´ximo debe ser del orden de millon´simas. Vamos a n a e medir entonces el error que se comete al calcular f (x, y) en lugar de f (x0 , y0 ), y queremos que ese error sea menor que ε. Es decir, queremos que sea |f (x, y) − f (x0 , y0 )| < ε Naturalmente, no podemos esperar que ´sto ocurra sea cual sea el valor de (x, y) que se utilice. e Para que el error sea peque˜o, debemos tomar (x, y) cerca de (x0 , y0 ). Y as´ llegamos a la versi´n n ı o casi definitiva de la definici´n de l´ o ımite: Definici´n 1.1 (Definici´n provisional de l´ o o ımite). Decimos que el l´ ımite de f en (x0 , y0 ) es L si, sea cual sea el error m´ximo ε que hayamos fijado, se puede garantizar que se cumple a |f (x, y) − f (x0 , y0 )| < ε cuando (x, y) est´ suficientemente cerca de (x0 , y0 ). a 1

Decimos que el l´ ımite de f en (x0 . y) que est´n “suficientemente cerca” de (x0 . ¿Cu´les son los (x. los valores de f (x.0001. y0 )) < δ ⇒ |f (x. m´s peque˜o que el ε que hemos elegido. y) − f (x0 . y) que vas a obtener se parecen al valor f (x0 . estamos pidiendo que la distancia entre (x.2 (Definici´n de l´ o o ımite). y0 )? Pues o a a todos aquellos cuya distancia a (x0 . (x0 . n n a n 2 . Para conseguirlo tenemos que utilizar el hecho de que nosotros controlamos c´mo de lejos est´ el punto (x. y) y (x0 .Para convertir ´sto en una definici´n formal debemos precisar la parte que aparece subrayada e o en esta definici´n. y0 ) sea menor que una diezmil´sima. Ejemplo 1. (x0 . y) que cumplen   d ((x. Pero nos viene bien e un ejemplo tan sencillo como ´ste para ver c´mo se usa la definici´n de l´ e o o ımite. que son las que realmente nos interesan. y0 )) < δ Si por ejemplo tomamos δ = 0. peque˜o. y0 ) es L si. y). El trabajo que tenemos que hacer es demostrar que si B es muy n peque˜o. y0 ). y). sea cual  sea el error m´ximo ε que hayamos fijado. para fijar ideas). Despu´s nos e ocuparemos de las situaciones m´s complicadas.y)→(3. Supongamos dada la funci´n f (x. 4). Es decir. y) − f (x0 . y) = xy. y) − L| = |xy − 12| < ε Esta desigualdad es nuestro objetivo. El n´mero δ es la pieza que nos faltaba en nuestra definici´n de e u o l´ ımite:  Definici´n 1. y). Una forma de garantizar que esa distancia n sea peque˜a es tomar un n´mero δ. yo me comprometo a encontrar el δ que garantiza que si tomas (x. y) = 12 Esto es. (x0 . Y tenemos que garantizar que e A = |f (x. su producto est´ cerca de 12. y) del punto (3.4) l´ ım f (x. y0 )| < ε     En lenguaje formal:  ∀ε > 0 ∃δ : d ((x. entonces A es muy peque˜o. y0 )| < ε Hay que pensar en esta definici´n como una especie de contrato: si t´ me dices el error ε que o u est´s dispuesto a admitir. informalmente. y0 ) es peque˜a. y) a a distancia menor que δ de (x0 . no necesitamos una a definici´n rigurosa de l´ o ımite para convencernos de una simpleza como ´sta.3. que vamos a demostrar que cuando x est´ cerca de 3 e y est´ cerca a a de 4. y0 )) < δ    se puede garantizar que se cumple     |f (x. Vamos a demostrar que o (x. ¡Menudo descubrimiento! Naturalmente. y0 ) con un error menor que ε. que podemos o a suponer que la distancia B = (x − 3)2 + (y − 4)2 es tan peque˜a como queramos. se puede elegir un n´mero δ tal que. y pedir que se cumpla n u n d ((x. para todos los a u   (x. a Para demostrar que el l´ ımite es 12 tenemos que pensar que ε es un n´mero muy peque˜o u n (algo como una millon´sima.

Hemos conseguido entonces controlar el tama˜o de A mediante una expresi´n en la que n o intervienen tres ingredientes: |x − 3|. tambi´n se cumple: u e |x − 3| < δ. |y| Est´ claro que tenemos controlado el tama˜o de los dos primeros. A = |xy − 12| y lo que tenemos controlado es |x − 3|. si se cumple B= seg´n hemos visto. |y|. La ultima desigualdad significa: ´ −δ < y − 4 < δ Luego 4−δ <y <4+δ 3 . Pues para conseguirlo vamos a hacer que estas dos cantidades aparezcan en A: A = |xy − 12| = |xy − 3y + 3y − 12| = |(x − 3)y + 3(y − 4)| ≤ |y||x − 3| + 3|y − 4| (tambi´n se podr´ haber sumado y restado 4x). y) a (3. pero si pensamos un poco. Otro truco est´ndar es el siguiente: sumamos y restamos una misma cantidad en la expresi´n a o que nos interesa controlar para relacionarla con las cantidades que tenemos controladas. Y por tanto el tama˜o de |y| no u n puede ser demasiado grande: ¡no se puede estar a la vez cerca de 4 y ser muy grande! As´ que ı parece que todos los ingredientes est´n controlados. Pero el tercero. a ¿C´mo convertimos estas ideas en una demostraci´n? Empezamos suponiendo que la distano o cia B es muy peque˜a. Pero con un poco de pr´ctica se adquiere la habilidad necesaria. Eso significa que y es un n´mero no muy distinto de 4. es f´cil ver que s´ Tenemos controlado a ı. Entonces. |y − 4|. ¿C´mo de peque˜a? M´s peque˜a que un cierto n´mero δ.Esto puede parecer al principio muy dif´ porque. de hecho. |y − 4|. tambi´n tenemos controlado el tama˜o de n e n |x − 3| e |y − 4|. En f´rmulas: o |x − 3| < Y de la misma forma |y − 4| < (x − 3)2 + (y − 4)2 Esto significa que si controlamos el tama˜o de B. 4). En concreto. |y − 4|. la expresi´n de B es m´s ıcil o a complicada que A. |y − 4| < δ (x − 3)2 + (y − 4)2 < δ (x − 3)2 + (y − 4)2 Ahora vamos a controlar |y| con cuidado. que elegiremos n o n a n u astutamente dentro de un momento. En nuestro caso eso se hace as´ Queremos controlar ı. En el ultimo paso hemos usado la desigualdad e ıa ´ triangular y las propiedades del valor absoluto. ¿est´ cona n a trolado? A primera vista no. a una de las observaciones m´s utiles es ´sta: la distancia entre x y 3 no puede ser mayor que la a ´ e distancia de (x.

4) u m´s de una unidad. Si todos los problemas que conducen a un l´ ımite fueran como este ejemplo. basta tomar δ < /8. ¿Qu´ hay que hacer entonces? o o e En el c´lculo de una variable aparecen ejemplos parecidos. Con un peque˜o matiz: tenemos que asegurarnos de que δ sea n menor que 1. porque suponer que δ < 1 equivale a suponer que no nos alejamos de (3. Y hemos obtenido A < δ. 4). de hecho basta con que sea menor que 1.y)→(3. Si se lee con detenimiento lo que hemos hecho. (3.4) (x − 3)2 + (y − 4)2 < δ l´ ım f (x. entonces se deduce que n 3<y<5 Por lo que. Nuestro objetivo inicial era demostrar que pod´ ıamos conseguir que fuese A < ε. y) = 1−x−y Y que alguien nos pregunta cu´nto vale la funci´n en (1. y) que cumpla d((x. δ) de un l´ ımite. la o conclusi´n que quer´ o ıamos obtener parec´ evidente. A pesar de que la demostraci´n puede parecer complicada. Basta por lo tanto con asegurarnos de que 8δ < ε Es decir.4. se ver´ que es ´sto: dado cualquier valor de ε a e (¡por peque˜o que sea!).Y si δ es realmente peque˜o. Y entonces decimos que si se toma un punto (x. El l´ ıa ımite era trivial. Pero a ıa menudo las cosas son m´s complicadas. nosotros tomamos δ = m´ n ın(1. Si tenemos la funci´n a o f (x) = x2 − 1 x−1 4 . y). y eso no nos debe preocupar cuando pensamos en puntos muy cercanos a a (3. Pero eso no supone e ning´n problema. 4)) = est´ garantizado que se cumple a |xy − 12| < ε Esto es precisamente lo que significa la afirmaci´n de que o (x. obviamente |y| < 5. para que el control de |y| a partir de |y − 4| est´ garantizado. La sustituci´n de estos valores en a o o 0 la f´rmula produce una indeterminaci´n: 0 . ε/8). Supongamos que estamos trabajando en alg´n problema en el que interviene la u funci´n: o 2 − 3x − y + x2 − y 2 f (x. nuestro trabajo ser´ muy sencillo. 0). y) = 12 Este ejemplo ilustra el tipo de t´cnicas que se pueden emplear para una demostraci´n formal e o directa (tipo . Eso significa que: A = |xy − 12| =≤ |y||x − 3| + 3|y − 4| < 5δ + 3δ = 8δ Este el momento de elegir δ. a Ejemplo 1.

Es decir.99999) o obtendremos un valor de f muy cercano a x + 1 = 1. 5 . y) cerca de (x0 . parece razono able preguntarse si aqu´ ocurre algo parecido. Naturalmente. Pero claro. Por ejemplo.99999. Y all´ ten´ o ı ıamos funci´n − (plano tangente) o =0 (x. se puede usar una calculadora. Es decir. Y. debemos demostrar que la indeterminaci´n se resuelve o o y el l´ ımite vale cero. Pero este c´lculo significa que si o a sustituimos en esa misma f´rmula un valor de x muy cercano a 1 (algo como x = 0. y) est´ muy cerca de (1. Eso significa que la diferencia que aparece en el numerador ser´ casi a cero. no se presentaran complicaciones como ´stas. en ese caso se tiene f (x) = (x − 1)(x + 1) x2 − 1 = x−1 x−1 Y eso significa que para cualquier valor de x salvo x = 1. al sustituir obtenemos 0/0. estamos diciendo que a a x→1 l´ f (x) = 2 ım Y esa informaci´n puede ser muy util para quien est´ trabajando con la f´rmula de f . y que en la ıa mayor´ de los casos. se tiene f (x) = (x + 1) No podemos usar la f´rmula inicial de f para calcular f (1). cuando o funciona bien. y sustituimos en la expresi´n de f . el plano tangente ser´ una muy buena aproximaci´n a f .99999 ≈ 2. por supuesto.y alguien nos pregunta por f (1). y0 ). Podr´ pensarse que esas situaciones son artificialmente complicadas. ¿Qu´ valor se obtiene? o e En este ejemplo nos hemos encontrado con un l´ ımite que conduce a una indeterminaci´n de o la forma 0/0. sabemos que sus valores cerca de ese punto o u son muy parecidos a 2. Tomamos algo como x = 0. o a o para (x. 0). Volviendo a la funci´n de dos variables con la que hemos empezado el ejemplo. Animamos al lector a tratar de averiguar cu´l podr´ ser ese a ıa n´mero L. ¡conduce inevitablemente a una indeterminaci´n de la forma 0/0! La diferencia o con el ejemplo anterior es que aqu´ sabemos cu´l es la respuesta que nos gustar´ obtener. que la definici´n de diferenciabilidad. cuando (x. y) se acerca a (x0 . y) = 2 − 3x − y + x2 − y 2 1−x−y produzca valores muy parecidos a L. la f´rmula a o f (x. en los l´ ıa ımites que nos interesan.y0 ) distancia entre (x.y)→(x0 . nos preguntamos si existe alg´n valor L ı u tal que. a m´s se parecer´ f (x) a 2. Nosotros hemos llegado al estudio del l´ a ımite porque est´bamos a tratando de entender la definici´n de diferenciabilidad. y = u 0. la distancia que aparece en el denominador tambi´n estar´ muy cerca de e a cero cuando (x. e Nada m´s lejos de la realidad. y) y (x0 . y0 ) l´ ım Pero si la funci´n es diferenciable. Para ı a ıa demostrar que la funci´n es diferenciable. y0 ).00001. Aunque o ´ e o esa f´rmula no produce ning´n valor cuando x = 1. Y cuanto m´s se parezca x a 1.

Para simplificar el estudio del l´ o ımite. Y hemos obtenido una definici´n de l´ o ımite que coincide en lo esencial con la que el lector ya conoc´ del c´lculo de una ıa a variable. Lo que hac´ ´ ıamos entonces se puede entender geom´tricamente as´ e ı: hemos elegido acercarnos al punto (x0 . y0 ) de (x. En la siguiente figura se ilustran estas dos formas de acercarnos al punto que nos interesa.2. por rectas verticales y horizontales. L´ ımites por trayectorias Antes hemos dejado pendiente un ejemplo (el 1. hay una serie de teoremas que simplifican el an´lisis de los l´ a ımites de funciones de dos variables: el l´ ımite de la suma es la suma de los l´ ımites cuando estos existen. la distancia entre un valor x y un valor x0 viene dada por el valor absoluto de la diferencia: |x − x0 | y la unica complicaci´n asociada a la distancia es que x puede estar a la izquierda o a la derecha ´ o de x0 . y) entonces podemos acercarnos al punto (x0 . (x0 )) = (x − x0 )2 + (y − y0 )2 Pero sobre todo porque la forma en la que un punto (x. que depende a o unicamente de la variable x. etc´tera. y). y0 ) es mucho m´s complicada que en el caso unidimensional. y0 ) a lo largo de la recta y = y0 del plano (x. y). o 1. o Al pasar a las funciones de dos variables las cosas se complican. preferimos posponer la este tipo de resultados hasta la discusi´n de continuidad. Recordemos que. Pero. La unica diferencia importante es el hecho de que debemos emplear la distancia del ´ plano para medir c´mo de lejos est´ (x0 . En primer lugar porque. para evitar repeticiones e tediosas. Operaciones con l´ ımites Al igual que hemos visto en la primera parte del curso. tratando de reducir el n´mero de variables u independientes. y).1.4) en el que nos hemos encontrado con una indeterminaci´n de la forma 0/0. 6 . Analog´ y diferencias con los l´ ıas ımites de funciones de una variable Hasta aqu´ hemos discutido cu´l debe ser la definici´n de l´ ı a o ımite. entonces. como ya hemos visto. la distancia se calcula con una f´rmula m´s complicada: o a d((x. y0 ) o a lo largo de la recta x = x0 . o a En el caso de funciones de una variable. para estudiar la funci´n f (x. si consideramos la funci´n f (x0 . El pr´ximo apartado se dedicar´ por a o a completo a analizar esas complicaciones. Eso obliga a considerar a veces los l´ ımites laterales para establecer si existe o no el l´ ımite de la funci´n en x0 . y) fij´bamos una de o a las variables. De la misma forma. haciendo por ejemplo y = y0 y estudi´bamos la funci´n f (x. podemos hacer algo similar a lo que hicimos en el caso de las derivadas parciales.1. y) puede acercarse al punto (x0 . y0 ).

para aproximarnos por una recta horizontal. Dada la funci´n o f (x. los valores de f que se obtienen son cada vez m´s a parecidos a 1. 7 .¿Qu´ sucede si aplicamos esta idea a nuestro ejemplo? e Ejemplo 1. 0) = l´ ım ım x→1 x→1 1−x obtenemos de nuevo como respuesta 1. 0) = 1−x Y al hacernos la pregunta 2 − 3x + x2 l´ f (x. y sabemos adem´s que es el unico candidato posible. y) = l´ ım ım −y − y 2 y→0 −y y→0 obtendremos como respuesta 1. Recapitulando: eso significa que si nos acercamos al punto (1. Y esto tiene una consecuencia evidente: el l´ ımite de f si existe. Es esencial darse cuenta de que no hemos demostrado la existencia del l´ ımite (enseguida veremos un ejemplo que aclara este punto).y)→(1. 0) a lo largo de la recta vertical x = 1 del plano.5. y) = −y Y si ahora nos preguntamos por el l´ ımite l´ f (1. obtendremos 2 − 3x + x2 f (x. y) = 2 − 3x − y + x2 − y 2 1−x−y Nos hemos preguntado hace un rato si existe el l´ ımite 2 − 3x − y + x2 − y 2 1−x−y (x. a ´ Si en lugar de hacer x = 1 hacemos y = 0. en conformidad con nuestro anterior resultado. Pero ahora tenemos un candidato a ser el l´ ımite. s´lo puede valer o 1.0) l´ ım Si aplicamos aqu´ la idea que usamos en el caso de las derivadas parciales podemos hacer x = 1 ı y obtener: −y − y 2 f (1.

0) (x. como se muestra en el siguiente ejemplo: Ejemplo 1. Dada la funci´n o f (x. en los casos de indeterminaci´n. y) = (0.0) l´ ım f (x.A la vista de estos resultados podemos sospechar que en este ejemplo (x. Y de hecho. por cerca que estemos del origen. est´ clara. Si estudiamos los valores de f en ´ los puntos de la recta y = mx obtenemos: f (x. la funci´n f o toma el valor 1/2. aunque puede servir para demostrar que el l´ ımite no existe. y) se acerca a (0. o El ejemplo anterior ha mostrado como utilizar los m´todos del c´lculo de una variable para e a obtener. Eso significa que debemos considerar la funci´n: o x2 1 = 2x2 2 Es decir. y por lo tanto no existe el l´ ımite. y) = 0 = 0  y2 as´ que podr´ ı ıamos sentirnos tentados a pensar que (x. 0) si nos preguntamos por su valor cuando (x. El anterior ejemplo ilustra una de las caracter´ ısticas m´s importantes de los l´ a ımites en funciones de dos (o m´s) variables: el estudio de los l´ a ımites por trayectorias nunca sirve para demostrar la existencia de un l´ ımite. y) =   xy + y2 ?? x2 (x.6. y) = (0. o en ese ejemplo. el valor obtenido era realmente el l´ ımite de la funci´n. 0) = 0 = 0   x2  f (0.y)→(0. El mismo m´todo del ejemplo anterior nos llevar´ a considerar las funciones e ıa  f (x. que en cualquier punto de la diagonal. El l´ a ımite en el origen no existe: no puede ser a la vez 0 y 1/2. De hecho. Pero no siempre es as´ o ı. un candidato a ser el l´ o ımite de la funci´n. y) = 1 Animamos al lector a que intente construir una demostraci´n formal (ε − δ) de este resultado. mx) = mx2 m = x2 + m2 x2 1 + m2 lo cual confirma lo que antes hab´ ıamos obtenido: el resultado depende de la recta que se utilice. en lugar de estudiar rectas concretas que pasan por el origen.0) l´ ım f (x. 0). 8 . podemos considerar la ecuaci´n y = mx que representa un haz de rectas por el origen para distintos valores de m o (la unica recta por el origen que falta en este haz es x = 0). ¿C´mo podr´ ser entonces que el l´ o ıa ımite en el origen fuese 0? La conclusi´n o en este caso. al sustituir en la f´rmula o obtendremos 0/0. x) = f (x. y) = 0 Pero supongamos que a alguien se le ocurre estudiar los valores de f en la diagonal y = x del plano.y)→(1.

Para estudiar el l´ ımite (x. pasamos a estudiar este l´ ımite en el origen: 9uv + 6u − 3v − 2u2 − v 3 − 4v 2 + 2v 2 u v − 2u (u.0) Hacer esto no supone ninguna limitaci´n.y)→(1. es decir. y) = L si y s´lo si o (˜. Es suficiente estudiar los l´ ımites en el origen En el resto de este tema nos vamos a centrar en el estudio de l´ ımites en el origen.2) l´ ım Para hacer esto podemos hacer un cambio de variable: x=u+1 ˜ y =v+2 ˜ Y obtener: (u + 1)(v + 2) − 2(u + 1)2 − (v + 2)3 + 2(v + 2)2 (u + 1) 9uv + 6u − 3v − 2u2 − v 3 − 4v 2 + 2v 2 u = (v + 2) − 2(u + 1) v − 2u As´ que en lugar de estudiar el l´ ı ımite inicial. y) se puede hacer un cambio de variable: x = x + x0 ˜ y = y + y0 ˜ y considerar la funci´n o g(˜. Supongamos que queremos estudiar el l´ ımite xy − 2x2 − y 3 + 2y 2 x y − 2x (x.3. l´ ımites de la forma: l´ ım f (x. y ) = L x ˜ Ejemplo 1.y)→(x0 .y0 ) l´ ım f (x. porque se tiene el siguiente resultado: o Lema 1.0) l´ ım Combinando estas observaciones con nuestros comentarios previos sobre el an´lisis del l´ a ımite mediante trayectorias se obtiene este resultado: 9 .˜)→(0.1. y + y0 ) x ˜ x ˜ Entonces se cumple que (x. y ) = f (˜ + x0 .y)→(0.7.y)→(x0 .y0 ) l´ ım f (x. y) (x.0) xy l´ ım g(˜.v)→(0.8.

es necesario que todas las rectas de la forma y = mx produzcan el mismo resultado cuando calculamos x→0 l´ f (x.0) l´ ım f (x. para que exista l´ ımite de f en el origen. Se obtiene: mx3 mx f (x.Teorema 1. 0) Podemos empezar analizando lo que ocurre al tomar las rectas y = mx que pasan por el origen. mx) = 4 = 2 2 x2 x +m x + m2 y por tanto l´ f (x. es decir. y) = (0. y) se puede estudiar el l´ ımite a lo largo de las rectas y = mx que pasan por el origen. Vamos a analizar el l´ ımite en el origen de la funci´n o  2  yx (x. 0). Para estudiar el l´ ımite (x. mx) = 0 ım x→0 10 . Ejemplo 1. entonces podemos asegurar que no existe el l´ a ımite de f en (0. Si para alg´n valor de m este l´ a u ımite no existe.9. mx) ım x→0 donde m es un par´metro. y) = x4 + y 2  0 (x.4. como muestra el siguiente ejemplo. No es suficiente con estudiar las rectas por el origen Hemos visto que.y)→(0. o si el valor del l´ ımite depende de cu´l sea el m empleado. 1.10. 0) f (x. mx) ım Pero no es suficiente. estudiamos: l´ f (x. y) = (0.

Pero si se estudian los valores de f a lo largo de esta recta se obtiene o f (0. en el haz de rectas y = mx falta la recta vertical por el origen. a medida que nos acercamos al origen. que en cualquier punto de la par´bola. incluso aunque todas las rectas produzcan el mismo valor. ıan La siguiente figura muestra una gr´fica de la funci´n que puede ayudar a entender lo que a o est´ ocurriendo en este ejemplo. mientras que las im´genes de distintas a a rectas por el origen son curvas que pasan a altura 0 por el origen. ı Ahora bien. Eso elimina la posibilidad de el l´ ımite en el origen sea 0. puede ocurrir que una curva de otro tipo que pase por el origen (una par´bola. 0. Como muestra este ejemplo. la imagen de la par´bola y = x2 (en verde en la figura) recorre a una parte de la gr´fica situada a altura constante 1/2. el valor de f es 1/2. a Por ejemplo. adem´s de las rectas podemos utilizar otras curvas para aproximarnos al origen. tan cerca del origen como a queramos. y por lo tanto. la par´bola y = x2 pasa por el origen.independientemente de m. como parec´ indicar las rectas. a Como se aprecia en la figura. x2 ) = l´ ım ım x4 1 = 4 x→0 2x 2 Es decir. una curva a 11 . y tiene sentido que nos preguntemos cu´les a a son los valores de f en los puntos de esa par´bola. Por supuesto. una espiral. y) = 0 As´ que todas las rectas por el origen producen el mismo valor. de ecuaci´n x = 0. Eso a significa que tenemos que estudiar el l´ ımite x→0 l´ f (x. como hemos calculado.

Para estudiar la existencia del l´ ımite x→(0. 2.0) l´ ım f (x. Por esa raz´n dec´ o ıamos que es in´til tratar de demostrar la existencia de un l´ u ımite considerando trayectorias que pasen por el origen.) nos lleve a un valor distinto. r sen θ) ım ım r→0 Lo interesante de esta idea es que de nuevo nos permite analizar el l´ ımite de dos variables mediante un l´ ımite en una sola variable. L´ ımites y coordenadas polares Las coordenadas polares permiten identificar un punto de coordenadas (x.sinusoidal. y) al origen. Este m´todo puede servir a lo sumo para: e 1. y) del plano mediante otro par de n´meros (r. Proponer un posible valor del l´ ımite si lo desconocemos. Y obviamente no podemos probar todas las curvas imaginables. Demostrar que el l´ ımite no existe. Esa es la idea que nos lleva a proponer el siguiente m´todo para analizar un l´ e ımite en el origen. r sen θ) A continuaci´n analizamos el l´ o ımite r→0 l´ F (r. 12 . y) efectuamos el cambio a coordenadas polares y obtenemos una nueva funci´n o F (r. r representa la distancia del punto (x. θ) se aproxima al origen. 2. encontrando dos trayectorias que produzcan l´ ımites diferentes. etc. definidos mediante estas relaciones: u x = r cos θ y = r sen θ La geometr´ de las coordenadas polares se ilustra en esta figura: ıa de modo que. si o r tiende a 0 el punto de coordenadas (r. θ). θ) = l´ f (r cos θ. como se ve. θ) = f (r cos θ. Por esa raz´n.

independientemente del valor del ´ngulo θ. r sen θ) ım  r→0 no existe o depende de θ. tenemos un primer resultado que. si observamos la expresi´n o que se ha obtenido: r2 r = r sen θ sen θ nos daremos cuenta de que para valores del ´ngulo θ cercanos a 0. de nuevo. 0). θ) = ım r2 = 0 si θ = 0. nos va a servir s´lo para asegurar o que algunos l´ ımites no existen. Sea f : R2 → R definida por f (x. π con lo que vemos que para cada valor fijo del ´ngulo θ: a   l´  ım  r→0 l´ F (r. θ) = f (r cos θ. r sen θ) = r2 r sen θ 0 si θ = 0. La dificultad en el uso de las coordenadas polares estriba en que la rec´ ıproca no es cierta: aunque ese l´ ımite no dependa de θ. Ejemplo 2. Si el l´ o ımite  l´ f (r cos θ. y) = x2 +y 2 y y=0 y=0 0 Cambiando a coordenadas polares. esta expresi´n no est´ acotada. Sin embargo.Pues bien. π    l´ 0 ım r→0 Por tanto el l´ ımite en polares vale 0. todav´ puede ocurrir que el l´ ıa ımite no exista. Podr´ a ıamos pensar al llegar a esta conclusi´n que el l´ o ımite vale cero.2. como muestra este ejemplo. π si θ = 0. podemos asegurar que f no tiene l´ ımite en (0. se tiene: F (r.1. a o a De hecho si consideramos la curva cuya ecuaci´n en polares es r = θ que se ilustra en esta figura: o 13 .  Proposici´n 2. π r→0 r sen θ si θ = 0.

en el que la idea clave es precisamente el control sobre la parte de la funci´n que depende del ´ngulo. pero no para establecer su existencia. θ) de esta forma: o    F (r.0) l´ f (x. En el anterior ejemplo. el l´ o ımite no puede ser cero. en el que era 1 G(θ) = sen θ la funci´n G era por supuesto no acotada.vemos que cuando nos acercamos a (0.0)  si y s´lo si la funci´n G(θ) est´ acotada en [0. y) = 0 ım  x→(0. y en consecuencia no existe. Existe sin embargo un caso importante en el que es posible utilizarlas para demostrar la existencia del l´ ımite. θ) = l´ ım ım r2 r = l´ ım =1 r→0 r sen r r→0 sen r lo cual contradice nuestra anterior conjetura de que el l´ ımite era 0 y. puesto que demostrar x→(0. y) = x3 x2 −y 2 0 14 si x2 − y 2 = 0 si x2 − y 2 = 0 . o Observaci´n. demuestra que el l´ ımite no existe. En concreto. Pero. de hecho. θ) = h(r)G(θ)    donde adem´s a   l´ h(r) = 0 ım  r→0    Entonces   l´ f (x. Veamos un par de ejemplos. se tiene este resultado. 1. 2π] o o a Este teorema s´lo permite demostrar que un l´ o ımite vale 0. A la vista de ejemplos como ´ste es natural pensar que las coordenadas polares sirven s´lo e o para demostrar que un l´ ımite no existe. as´ que este resultado puede usarse tanto o o ı para usar que el l´ ımite existe como para probar que no existe. Para estudiar si la funci´n o f (x.3. y) = L ım es lo mismo que demostrar x→(0. y) − L = 0 ım esto no supone una verdadera limitaci´n. 0) a lo largo de esa curva es: r→0 l´ F (r. Por lo tanto. o a  Teorema 2. en los que se emplean las coordenadas polares para estudiar la existencia de un l´ ımite: Ejemplo 2. La condici´n es necesaria y suficiente. Supongamos que se puede descomponer la funci´n F (r. como ya indicamos. como ya dijimos.0) l´ f (x.4.

y0 ). y) = 0 (x. y0 ) y g : R → R es continua en f (x0 . g(x0 .0) 3. y0 ). productos: Si f. Sumas.  Teorema 3.y)→(0. y) = (0. y) = f (x0 . 2. θ) = y vemos que la funci´n o r3 cos3 θ cos3 θ =r = h(r)G(θ) r2 cos2 θ − r2 sen2 θ cos2 θ − sen2 θ G(θ) = cos3 θ cos2 θ − sen2 θ no est´ acotada: para valores de θ cercanos a π/4 se obtienen valores de G arbitrariamente a grandes. Composici´n: Si f : R2 → R es continua en (x0 .tiene l´ ımite en (0. y) = cambiamos a coordenadas polares: F (r. y0 ) si o o (x.2. que el l´ ımite y el valor en el punto existen ambos y coinciden. el teorema o o nos permite asegurar que l´ ım f (x. 0) si (x. adem´s. 15 .y)→(x0 . θ) = r2 cos θ |sen θ| = r cos θ |sen θ| r √ x|y| 0 x2 +y 2 si (x. 0) Y llamando h(r) = r. θ) = h(r)G(θ) y puesto que la funci´n G(θ) = cos θ| sen θ| es obviamente una funci´n acotada. entonces f /g es continua en (x0 . y0 ) Es decir. Para estudiar el l´ ımite en (0. a    3. y) = (0. G(θ) = cos θ| sen θ| se tiene: F (r. 0) de esta funci´n: o f (x. y0 ) = 0. Por lo tanto el l´ ımite de f en el origen no existe. y0 ). y0 ). y) es continua en el punto (x0 .   1. 0) hacemos el cambio a coordenadas polares: F (r. La funci´n z = f (x.1. y0 ). entonces las funciones f ± g   y f g son continuas en (x0 . g : R2 → R son continuas en (x0 . Cocientes: Si.     2.y0 ) l´ ım f (x.       Continuidad La definici´n de continuidad en un punto es una extensi´n natural del caso de una variable: o o Definici´n 3. que son tambi´n extensiones de los resultados e sobre l´ ımites que ya hemos visto en el caso de una variable. La continuidad tiene las siguientes propiedades. o entonces g ◦ f es continua en (x0 .

y0 ) es el conjunto de puntos:     {(x.1.  En consecuencia. b].El teorema precedente nos dice como combinar funciones continuas para obtener nuevas funciones continuas.3. todas las funciones elementales de una variable son continuas en todos los puntos de su dominio. Empezaremos generalizando el concepto de abierto. y2 ) del plano. La definici´n que necesitamos (la que o permite probar los teoremas que queremos) es la siguiente: un conjunto es abierto si incluye a todos los vecinos suficientemente cercanos de cada uno de sus puntos. r). y) = y     son continuas en todo R2 . y) = x   p1 (x. q) la distancia eucl´ o ıdea entre dos puntos ı:  p = (x1 . b]. Recordemos que. cerrados. Recordemos que esa distancia se calcula as´    d(p. y1 ) y q = (x2 . Recordemos por ejemplo que el teorema de Weirstrass afirma que si f : R → R es una funci´n o continua en todos los puntos del intervalo cerrado [a. Como se ve. Por lo tanto este resultado adquiere toda su potencia cuando se combina con un repertorio inicial de funciones continuas suficientemente rico. Las funciones (de proyecci´n) p1 : R2 → R y p2 : R2 → R. y). Es decir. para poder precisar esta definici´n necesitamos aclarar lo que quiere decir esto de los vecinos suficientemente o cercanos. definidas o o  mediante:   p1 (x. la noci´n de continuidad se vuelve util cuando se consideran los aspectos globales de e o ´ la continuidad. si consideramos funciones que son continuas en todos los puntos de un conjunto. Para poder seguir con esta discusi´n. tenemos que aprender a interpretar qu´ significan en el plano conceptos e como conjunto cerrado y conjunto acotado. fronteras Al igual que suced´ en la primera parte del curso. cualquier funci´n polin´mica en las variables (x. 3. y) es una funci´n continua o o o en todo R2 . entonces es posible extraer algunas consecuencias importantes. Adem´s: a  Proposici´n 3. Ese es el contenido de la siguiente definici´n: o  Definici´n 3. entonces f alcanza un m´ximo y un a m´ ınimo absolutos en el intervalo [a. por tanto. necesitamos primero introducir algo m´s de o a lenguaje que nos permita describir correctamente los distintos tipos de conjuntos del plano. Representaremos mediante d(p.4. Abiertos. (x0 . Weierstrass. q) = (x1 − x2 )2 + (y1 − y2 )2     La bola de radio r centrada en el punto (x0 . y0 ) y radio r se representa mediante B(p. y0 )) < r}  Esta bola de centro p = (x0 . ıa etc´tera. Recordemos adem´s que el teorema es falso si el intervalo a que se considera no es cerrado y acotado. y) ∈ R2 /d((x. La definici´n se ilustra en la siguiente figura: o 16 . con los teoremas de Bolzano. como hemos visto en la primera parte del curso. Si queremos buscar un an´logo de este teorema en a el caso bidimensional.

entonces el conjunto o    {(x. y)/y > 0} (el semiplano superior.6. r) tal que todos los puntos de la bola son puntos de A. Definici´n 3. que nos proporciona una gran variedad de o ejemplos es este resultado:  Teorema 3. y) > 0}  es un conjunto abierto. en puntos distintos de A pueden ser necesarios distintos valores de r.7. simplemente tomando un valor de r suficientemente o peque˜o. Ejemplo 3. Naturalmente. y)/f (x. 17 . r) incluye a todos los vecinos cercanos a (x0 . El conjunto A = {(x. Y adem´s permite traducir la a expresi´n vecinos suficientemente cercanos. En la siguiente figura se muestran varios puntos del semiplano superior y. el radio de la bola depende del punto que se considere.La bola B(p. Como se aprecia en la figura. sin incluir el eje x) es un conjunto abierto. para cada punto p de A se o puede encontrar una bola B(p. Hemos dicho que necesitamos este lenguaje de conjuntos abiertos para obtener resultados a partir de la continuidad. una bola centrada en ese punto y totalmente contenida en el semiplano superior. Una primera relaci´n. As´ podemos definir lo que quiere decir que un conjunto es abierto. Si f : R2 → R es una funci´n continua.5. y0 ). n ı. para cada uno de ellos. Un conjunto A del plano es un conjunto abierto si.

Ejemplo 3. porque la funci´n o f (x. como ilustra la siguiente figura. y) = 1 − es continua en todo R2 . Con este lenguaje podemos decir que un abierto es un conjunto cuyos punto son todos puntos interiores del conjunto. 0). La frontera de A   es el conjunto de todos los puntos frontera de A. El conjunto A = {(x. Lo siguiente que necesitamos es precisar esta noci´n de borde. El interior de una elipse. Sea A un conjunto del plano R2 . y)/y ≥ 0} no es un conjunto abierto.6. Esta definici´n o 18 . la bola siempre incluye puntos del semiplano n inferior.9. un punto p es un punto interior de A si se puede encontrar una bola centrada en p y cuyos puntos pertenecen todos al conjunto A. Un punto p es un punto frontera de A si o  cualquier bola centrada en p contiene puntos de A y puntos que no son de A. y o el anterior ejemplo nos sirve de motivaci´n para la siguiente definici´n. que es un punto de A. o o  Definici´n 3. un intervalo cerrado es un intervalo que incluye a los puntos situados en su frontera.8. es decir el conjunto de puntos que cumplen x2 y 2 + 2 <1 a2 b es un abierto. El siguiente ejemplo muestra un conjunto que no es abierto. y debe compararse con el ejemplo 3. x2 y 2 − 2 a2 b El anterior ejemplo sugiere que la diferencia entre abiertos y no abiertos debe buscarse en el borde o frontera del conjunto. que hemos visto en la primera parte del curso. Si se considera el punto (1. es imposible encontrar una bola centrada en A y cuyos puntos sean todos puntos de A.10.   Por contra. por muy peque˜o que sea el radio que se tome. Obs´rvese en los anteriores ejemplos que los puntos frontera del conjunto e no tienen porque pertenecer al conjunto. en el caso unidimensional. De hecho.Ejemplo 3.

La generalizaci´n o m´s conveniente es ´sta a e  Definici´n 3. para cualquier punto (x . Es decir. y f es una funci´n continua en A.1. Un conjunto A ⊂ R2 es acotado si se puede encontrar una bola centrada en o  el origen que contiene a todos los puntos de A. que existe un valor K > 0 (el radio de   esa bola) tal que. Es decir. nuestro objetivo es generalizar teoremas sobre funciones continuas en un conjunto como el teorema de Weierstrass que hemos visto en la primera parte del curso. finalmente. Si A es un conjunto compacto del plano. Un conjunto A del plano es compacto si es cerrado y acotado. Una funci´n f : R2 → R es continua en un conjunto A si es continua en o o todos los puntos de A. como ejemplo. Y. Teorema 3. un conjunto cerrado es un conjunto que incluye a su frontera. Para completar nuestro objetivo en este apartado. o 3. [ Definici´n 3. a los que vamos a dar un nombre. En ese teorema aparecen intervalos cerrados y acotados.1.15.11. y ) de A se cumple 0 0   x2 + y 2 < K Como hemos dicho al principio de este apartado. Un conjunto A ⊂ R2 es cerrado si todos los puntos frontera de A pertenecen o al conjunto A. un conjunto que no se extiende hasta el infinito. Esas dos condiciones definen un tipo especial de conjuntos del plano. aunque todav´ no hemos definido formalmente la noci´n de m´ximo y m´ ıa o a ınimo en funciones de dos variables. y nos permite cumplir uno de nuestros objetivos iniciales de este apartado. Es decir. s´lo necesitamos generalizar la noci´n de o o conjunto acotado. Continuidad global La definici´n de continuidad global es muy natural: o Definici´n 3. Definici´n 3. podemos enunciar.13. y al que volveremos con m´s detenimiento m´s o a a adelante al tratar sobre extremos de funciones de dos variables. o entonces f alcanza un m´ximo y un m´ a ınimo absolutos en A.14.12. el teorema que hemos anunciado como generalizaci´n del teorema de Weierstrass. 19 .de cerrado se extiende de forma natural a R2 .

Sign up to vote on this title
UsefulNot useful