Limites72 2004/6/2 14:51 page 405 #1

LA GACETA DE LA RSME, Vol. 7.2 (2004), P ags. 405434 405

Lmites utilizando coordenadas polares
por
Juan Bosco Ferreiro Darriba y

Oscar L opez Pouso
Se demuestran varios resultados en relaci on con el lmite cuando (x, y)
tiende a (a, b) de una funci on real de dos variables reales f(x, y). Se presta
especial atenci on al uso de las coordenadas polares para calcular dicho
lmite. Los resultados se acompa nan con ejemplos.
1. INTRODUCCI

ON
Este artculo est a dedicado al estudio del lmite de una funci on real de dos
variables reales f(x, y). Adem as de la relaci on con los conceptos de continuidad
y diferenciabilidad, y en consecuencia con el concepto de plano tangente a una
supercie en R
3
, hay una conexi on entre este tema y la derivada de una funci on
compleja de una variable compleja f(z). En el ultimo caso, dado z
0
C, la
derivada (en el sentido complejo) de f en z
0
se dene como sigue [3]:
f

(z
0
) = lim
h 0
hC
f(z
0
+h) f(z
0
)
h
, (1)
en caso de que el lmite exista en C. Si h
1
y h
2
son, respectivamente, la parte
real e imaginaria de h, el lmite en (1) puede calcularse calculando los lmites,
cuando (h
1
, h
2
) tiende a (0, 0), de las partes real e imaginaria del cociente
f(z
0
+h)f(z
0
)
h
, que son dos lmites que entran en el marco de nuestro estudio.
Para tener una idea de lo que estamos hablando, consideremos el siguiente
ejemplo estudiado en [5]:
f(x, y) =
sen(x
2
+y
2
)
x
2
+y
2
. (2)
Los autores de [5] arman que, puesto que se sabe por c alculo elemental que
lim
s0
sen s
s
= 1, (3)
entonces 1 es el candidato a ser el lmite de f(x, y) cuando (x, y) tiende a (0, 0),
y despues demuestran esa conjetura utilizando la denici on epsilondelta de
lmite. Entre otras cosas, los resultados que recogemos en este artculo nos
permiten armar que, ciertamente, los lmites en (2) y en (3) son equivalentes,
Limites72 2004/6/2 14:51 page 406 #2
406 L

IMITES UTILIZANDO COORDENADAS POLARES

con lo cual la ultima parte del razonamiento es innecesaria. Para otras situa-
ciones que pueden ser tratadas con los resultados del artculo remitimos al
lector a los ejemplos de las secciones 2, 3 y 4.
El lector debe estar familiarizado con la denici on epsilondelta de lmite,
as como con los conceptos de punto de acumulaci on, conjunto abierto en R
2
y conjunto compacto en R.
En la secci on 2 se explican algunos hechos relacionados con el uso de lmites
sobre subconjuntos y lmites iterados; el primer tema, aunque sobradamente
conocido, puede ayudar al lector a entender ciertos puntos clave cuando se
estudia el lmite usando coordenadas polares; el segundo tema ha sido incluido
por motivos de completitud. La secci on 3 est a dedicada a otras formas de
resolver el problema, y en ella enunciamos el teorema de compactaci on de
variables, que puede usarse, por ejemplo, para resolver el lmite (2). En la
secci on 4 explicamos con la ayuda de ejemplos concretos de que manera el
cambio a coordenadas polares puede ser de gran ayuda en el c alculo de lmites.
En la secci on 5 enunciamos y demostramos los resultados matem aticos.
La utilidad de este trabajo reside, a juicio de los autores, en la escritura
detallada de los resultados recogidos en el Teorema 1, Teorema 2 y sus coro-
larios, y Teorema 5. Todos ellos, excepto quiz a el ultimo, ser an de una u otra
forma familiares para muchos lectores, especialmente para aquellos profesores
que hayan tenido que explicar en sus cursos esta materia. La condici on (b) en el
Teorema 2 suele aparecer solamente como una condici on suciente, aunque es
f acil demostrar que tambien es necesaria. En ninguna referencia bibliogr aca
hemos visto un resultado an alogo al Teorema 5, quiz a porque no reduce el
n umero de variables; es sin embargo util en ciertas ocasiones, como se mues-
tra en los ejemplos. Por ultimo, aconsejamos al lector que escriba todos los
resultados en el caso en que el dominio de f(x, y) es todo R
2
, lo cual ayudar a
a librarse de notaciones inc omodas y a entender mejor la idea matem atica
subyacente. Nosotros hemos credo que en este artculo conviene escribirlos
en el caso general en el que el dominio de f(x, y) puede ser un subconjunto
arbitrario de R
2
.
2. L

IMITES SOBRE SUBCONJUNTOS. L

IMITES ITERADOS
2.1 L

IMITES SOBRE SUBCONJUNTOS

Pensemos en el siguiente ejemplo: para (x, y) R
2
\ {(0, 0)}, denimos
f(x, y) =
xy
2
x
2
+y
4
, (4)
e investigamos los valores f(x, y) cuando (x, y) est a cerca de (0, 0). El problema
es m as difcil que en el caso de una variable (i. e., el lmite de una funci on real
de una variable real f(x)) por los motivos siguientes:
Limites72 2004/6/2 14:51 page 407 #3
LA GACETA 407
En primer lugar, la regla de LH opital no es aplicable.
En segundo lugar, el estudio del lmite no puede reducirse al estudio de
los lmites laterales por la derecha y por la izquierda.
Figura 1: Hay innitas rectas aproxim andose a (0, 0).
Es cierto, sin embargo, que para cada lnea recta que pase por (0, 0) te-
nemos la misma situaci on que en una variable, ya que podemos acercarnos
al punto desde dos lados: derecha e izquierda. Esto puede observarse con
claridad en la Figura 1. En este momento, es natural pensar del modo si-
guiente: si bien el n umero de lneas rectas que se acercan a (0, 0) es innito,
es posible tratarlas de modo simult aneo, porque todas ellas son de ecuaci on
y = mx, donde m R es la pendiente (excepto el eje y, cuya ecuaci on es
x = 0). Si x = 0, i. e., si el punto (x, y) est a sobre el eje y, entonces
f(x, y) = f(0, y) =
0
y
4
= 0. (5)
Si y = mx, entonces
f(x, y) = f(x, mx) =
xm
2
x
2
x
2
+m
4
x
4
=
m
2
x
1 +m
4
x
2
, (6)
que tiende a 0, para cualquier pendiente m, cuando x tiende a 0. Lo que
hemos hecho es lo que se conoce como el estudio de los lmites direccionales,
es decir, de los lmites a lo largo de todas las posibles rectas que se acercan a
(0, 0). En este ejemplo, todos los lmites direccionales toman el mismo valor
0; este hecho hace pensar que el lmite de f(x, y) cuando (x, y) tiende a (0, 0)
debe ser 0, pero es bien sabido que para que el lmite exista es en general
insuciente que existan y valgan lo mismo todos los lmites direccionales; en
efecto, es posible aproximarse a (0, 0) sobre subconjuntos de R
2
distintos de
Limites72 2004/6/2 14:51 page 408 #4
408 L

IMITES UTILIZANDO COORDENADAS POLARES

rectas, como par abolas o cualquier otro tipo de subconjunto que podamos
imaginar, sobre los cuales el lmite pudiera no ser 0. El ejemplo anterior ha
sido elegido para que el fallo se produzca sobre la par abola x = y
2
:
f(x, y) = f(y
2
, y) =
y
2
y
2
y
4
+y
4
=
1
2
, (7)
y por tanto existen puntos (y
2
, y) tan pr oximos a (0, 0) como deseemos en los
que f toma el valor
1
2
. La discusi on anterior puede resumirse en las siguientes
f ormulas:
lim
(x, y) (0, 0)
x=0
f(x, y) = lim
y0
f(0, y) = 0, (8)
lim
(x, y) (0, 0)
y=mx
f(x, y) = lim
x0
f(x, mx) = 0 m R, (9)
lim
(x, y) (0, 0)
x=y
2
f(x, y) = lim
y0
f(y
2
, y) =
1
2
, (10)
lim
(x, y) (0, 0)
f(x, y) no existe. (11)
Una funci on tan extra na tiene una extra na gr aca cerca de origen, y vale la
pena observarla en la Figura 2.
3
2
1
0
1
2
3
3
2
1
0
1
2
3
0.5
0
0.5
Figura 2: Gr aca de la funci on f(x, y) =
xy
2
x
2
+y
4
.
El ejemplo anterior nos ayuda a entender los siguientes hechos generales:
Si hay un subconjunto S de R
2
aproxim andose a (0, 0) (puede ser una
recta o una par abola, pero tambien cualquier otra curva que pase por
o que se aproxime a (0, 0), o un conjunto numerable de puntos una
sucesi on que se aproxime a (0, 0)) tal que el lmite de f(x, y) sobre los
Limites72 2004/6/2 14:51 page 409 #5
LA GACETA 409
puntos de S cuando (x, y) tiende a (0, 0) no exista, entonces el lmite de
f(x, y) cuando (x, y) tiende a (0, 0) no existe.
Si hay dos subconjuntos S
1
y S
2
tales que los lmites sobre S
1
y sobre S
2
existen pero no son iguales, entonces el lmite de f(x, y) cuando (x, y)
tiende a (0, 0) no existe.
Puede muy bien suceder que todos los lmites direccionales existan y
tomen un valor com un, pero que el lmite de f(x, y) cuando (x, y) tiende
a (0, 0) no exista.
En caso de que lim
(x, y) (0, 0)
f(x, y) exista y valga L, entonces el lmite
de f(x, y) sobre cualquier sunconjunto S cuando (x, y) tiende a (0, 0)
existe y es igual a L. Naturalmente, esto implica lo dicho en los puntos
primero y segundo.
2.2 L

IMITES ITERADOS
Hay otra forma natural de encarar el problema: si el lmite
lim
(x, y) (0, 0)
f(x, y) (12)
es difcil, podemos estudiar los llamados lmites iterados
lim
x0
(lim
y0
f(x, y)), lim
y0
(lim
x0
f(x, y)), (13)
que son m as f aciles de calcular, puesto que en cada caso el problema es simple-
mente el c alculo de dos lmites de una variable (luego podemos usar la regla de
LH opital si es preciso). Desafortunadamente, los lmites iterados nos propor-
cionan poca informaci on acerca del comportamiento de f(x, y) cerca de (0, 0).
En efecto, consideremos el lmite iterado
lim
x0
(lim
y0
f(x, y)). (14)
Para obtener su valor, calculamos lim
x0
L(x), siendo, para cada x,
L(x) = lim
y0
f(x, y), (15)
que puede no tener nada que ver con los valores de f(x, y) en y = 0. Pero
incluso en el caso m as favorable de que L(x) = f(x, 0), estaramos calculando
simplemente un lmite direccional. Puede enunciarse, sin embargo, el siguiente
hecho general:
Si los dos lmites iterados existen y son distintos, entonces el lmite no
existe.
Limites72 2004/6/2 14:51 page 410 #6
410 L

IMITES UTILIZANDO COORDENADAS POLARES

El ejemplo (ver gr aca en la Figura 3)
f(x, y) =
xy
x
2
+y
2
(16)
muestra que los lmites iterados pueden existir y ser iguales, en tanto que el
lmite no existe. El ejemplo (ver gr aca en la Figura 4)
f(x, y) = (x +y) cos
_
1
x
_
cos
_
1
y
_
(17)
ilustra la situaci on, m as extra na, en la cual el lmite existe (en este caso el
lector debe saber que el producto de una funci on que tiende a cero por otra
acotada tambien tiende a cero) aun cuando ninguno de los lmites iterados
existe (ya que la funci on cos oscila y no se aproxima a ning un valor concreto
en el innito).
3
2
1
0
1
2
3
3
2
1
0
1
2
3
0.5
0
0.5
3
2
1
0
1
2
3
3
2
1
0
1
2
3
4
2
0
2
4
Fig. 3: Gr aca de la funci on Fig. 4: Gr aca de la funci on
f(x, y) =
xy
x
2
+y
2
f(x, y) = (x +y) cos
_
1
x
_
cos
_
1
y
_
3. M

AS SOBRE L

IMITES EN DOS VARIABLES

3.1 UNA DESIGUALDAD

UTIL Y LA REGLA DEL SANDWICH
En ciertos casos particulares, otras buenas ideas pueden servir para cal-
cular el lmite. Una desigualdad particularmente util es la siguiente:
2|xy| x
2
+y
2
, (18)
Limites72 2004/6/2 14:51 page 411 #7
LA GACETA 411
3
2
1
0
1
2
3
4
2
0
2
4
1.5
1
0.5
0
0.5
1
1.5
Figura 5: Gr aca de la funci on f(x, y) =
xy

x
2
+y
2
.
que se cumple para todo x e y de R. La demostraci on de (18) es f acil: x
2
+y
2
+
2xy = (x +y)
2
0 y x
2
+y
2
2xy = (xy)
2
0. El uso de esta desigualdad
se ilustra con el ejemplo
f(x, y) =
xy
_
x
2
+y
2
. (19)
Como
0 |f(x, y)|
1
2
(x
2
+y
2
)
_
x
2
+y
2
=
1
2
_
x
2
+y
2
, (20)
el lmite de f(x, y) cuando (x, y) tiende a (0, 0) es 0, en virtud de la regla del
sandwich. La gr aca de la funci on f(x, y) se muestra en la Figura 5.
3.2 COMPACTACI

ON DE VARIABLES
Consideremos ahora otro ejemplo de interes. Si
f(x, y) =
sen(x +y)
x +y
, (21)
para x = y (ver gr aca en la Figura 6), entonces parece natural pensar que
lim
(x, y) (0, 0)
sen(x +y)
x +y
= 1, (22)
ya que sabemos que
lim
s0
sen s
s
= 1. (23)
Limites72 2004/6/2 14:51 page 412 #8
412 L

IMITES UTILIZANDO COORDENADAS POLARES

10
5
0
5
10
10
5
0
5
10
0.4
0.2
0
0.2
0.4
0.6
0.8
1
Figura 6: Gr aca de la funci on f(x, y) =
sen(x+y)
x+y
.
Pero, es matem aticamente correcto proceder de este modo? Quiz a s lo
es (ciertamente en este caso lo es), pero entonces debemos probar por que. En
efecto, en general
lim
(x, y) (0, 0)
(x, y) =

y lim
s

g(s) = L (24)
no implican
lim
(x, y) (0, 0)
g((x, y)) = L, (25)
como muestra el contraejemplo siguiente:
g(s) =
_
1 si s = 0,
0 si s = 0,
(26)
(x, y) = x +y. (27)
Entonces
lim
(x,y)(0,0)
(x, y) = 0 y lim
s0
g(s) = 0, (28)
pero
lim
(x,y)(0,0)
y=x
g((x, y)) = 0 y lim
(x,y)(0,0)
y=x
g((x, y)) = 1, (29)
y consecuentemente
lim
(x,y)(0,0)
g((x, y)) no existe. (30)
Limites72 2004/6/2 14:51 page 413 #9
LA GACETA 413
Surge as la cuesti on de cu ando podemos compactar variables y reemplazar
(x, y) por s y (x, y) (0, 0) por s

en (25). Desde luego, si
lim
(x, y) (0, 0)
(x, y) =

R (31)
y g es continua en

, se cumple
lim
(x, y) (0, 0)
g((x, y)) = g(

) R. (32)
Por lo tanto, si denimos
(x, y) = x +y, (x, y) R
2
, (33)
y
g(s) =
sen s
s
si s = 0, g(0) = 1, (34)
que es continua en virtud de (23), se tiene
lim
(x, y) (0, 0)
sen(x +y)
x +y
= lim
(x, y) (0, 0)
g((x, y)) = g(0) = 1. (35)
Un razonamiento completamente an alogo prueba que el lmite de la fun-
ci on denida en (2) puede calcularse simplemente calculando el lmite (3).
Cuando se elimina la hip otesis de continuidad de g en

, se tiene el si-
guiente teorema, cuya prueba, aunque sencilla, posponemos hasta la ultima
secci on. En el,

R = R{, +}, B((a, b),

) denota la bola abierta en R

2
de centro (a, b) y radio

, y se asume implcitamente que (a, b) es un punto

de acumulaci on del dominio de f, A.
TEOREMA 1 (compactaci on de variables) Supongamos que
f : A R
2
R
es de la forma f(x, y) = g((x, y)), donde
: Dom() R
2
R y g : Dom(g) R R.
(Obviamente, debe ser A Dom() y (A) Dom(g).)
Se cumplen:
(a) Supongamos que
lim
(x, y) (a, b)
(x, y) =

{, +}.
Entonces, para L

R, se cumple la implicaci on
lim
s

g(s) = L = lim
(x, y) (a, b)
f(x, y) = L.
Limites72 2004/6/2 14:51 page 414 #10
414 L

IMITES UTILIZANDO COORDENADAS POLARES

(b) Supongamos que
lim
(x, y) (a, b)
(x, y) =

R
y que existe

> 0 tal que

(x, y) =

(x, y) (A B((a, b),

)) \ {(a, b)}. (36)

Entonces, para L

R, se cumple la implicaci on
lim
s

g(s) = L = lim
(x, y) (a, b)
f(x, y) = L.
NOTA 1 En el contraejemplo dado antes, la condici on (36) no se satisface.
El Teorema 1 tambien puede aplicarse al ejemplo (22): tenemos
(x, y) = x +y,

= 0, (37)
g(s) =
sen s
s
, L = 1, (38)
y (x, y) = 0 para todo (x, y) tal que x = y (es decir, para todo (x, y) en
el dominio de f = g()). As pues, y de acuerdo con el Teorema 1, podemos
compactar variables y armar que (23) implica (22). Como antes, un razona-
miento an alogo demuestra que para calcular el lmite de la funci on denida en
(2) basta calcular el lmite (3).
Hacemos notar que el Teorema 1 admite una formulaci on m as general en
el marco de lmites de funciones denidas entre espacios topol ogicos. En efecto,
se cumple la siguiente proposici on; su demostraci on, que aqu omitimos, es un
sencillo ejercicio para aquellos lectores familiarizados con los conceptos b asicos
de la Topologa (ver por ejemplo [1]).
PROPOSICI

ON 1 Sean
: X Y, g : Y Z
dos aplicaciones, donde X, Y, Z son espacios topol ogicos no vacos, con Y, Z
Hausdor. Si x
0
X, y
0
Y y z
0
Z son tales que
lim
xx
0
(x) = y
0
, lim
yy
0
g(y) = z
0
,
y adem as existe un entorno abierto de x
0
en X, U, tal que
(U \ {x
0
}) Y \ {y
0
},
entonces
lim
xx
0
g((x)) = z
0
.
Limites72 2004/6/2 14:51 page 415 #11
LA GACETA 415
3.3 DESARROLLOS DE TAYLOR
Tenemos a nuestra disposici on al menos otra forma de calcular el lmite
lim
(x, y) (0, 0)
sen(x +y)
x +y
. (39)
En efecto, notemos que, dado s R, un desarrollo de Taylor de la funci on
seno centrado en 0 (o sea, un desarrollo de Maclaurin) de tres terminos m as
el resto proporciona la igualdad
sen s = sen 0 + (cos 0)s
1
2
(sen 0)s
2

1
6
(cos )s
3
= s
1
6
(cos )s
3
, (40)
para cierto situado estrictamente entre 0 y s cuando s = 0.
Consecuentemente, para (x, y) tal que x +y = 0,
sen(x +y)
x +y
=
x +y
1
6
(cos )(x +y)
3
x +y
= 1
1
6
(cos )(x +y)
2
, (41)
donde es un cierto n umero entre 0 y x +y. A la vista de (41) es claro que
lim
(x, y) (0, 0)
sen(x +y)
x +y
= 1. (42)
4. COORDENADAS POLARES
La ubicaci on de un punto dado (x, y) R
2
\ {(0, 0)} est a unvocamente
determinada por la distancia del punto al origen y el angulo (pron unciese
zeta) entre el semieje x positivo y la semirrecta que parte del origen y pasa por
el punto (en este momento debemos tomar una decisi on: nosotros elegimos el
angulo en [0, 2) y medido en el sentido contrario al del movimiento de las
agujas del reloj). Las cantidades y son las coordenadas polares del punto
(x, y). El lector puede encontrar informaci on interesante acerca del origen de
las coordenadas polares en las referencias [2] y [4].
Las coordenadas cartesianas (x, y) pueden recuperarse a partir de las po-
lares mediante las relaciones
x = cos , y = sen . (43)
Entonces es posible expresar los valores de una funci on f(x, y) como los
valores de la siguiente funci on de las coordenadas polares (, ):
F(, ) = f( cos , sen ). (44)
Limites72 2004/6/2 14:51 page 416 #12
416 L

IMITES UTILIZANDO COORDENADAS POLARES

Figura 7: Si jamos y hacemos tender a 0, nos aproximamos a (0, 0) a lo
largo de una semirrecta.
Puesto que es la distancia del punto al origen, podemos aproximarnos a
(0, 0) tomando el lmite cuando tiende a 0. As, a primera vista, parece que
el estudio de
lim
(x, y) (0, 0)
f(x, y) (45)
se reduce al estudio de
lim
0
F(, ) para todos los posibles valores de . (46)
Sin embargo, es muy importante notar que, para un valor jo del angulo
, hacer el lmite de F(, ) cuando tiende a 0 es equivalente a hacer el lmite
direccional de f(x, y) sobre la semirrecta determinada por el angulo (que,
dejando aparte casos especiales, es la parte de la recta de ecuaci on y = (tan )x
contenida en el cuadrante al que pertenece el angulo , como se ilustra en la
Figura 7) y, en consecuencia, el estudio de (46) no es otra cosa que el estudio
de los lmites direccionales; como ya sabemos, el lmite (45) puede no existir
aun cuando todos los lmites direccionales coincidan.
Como ejemplo del uso de las coordenadas polares para calcular lmites
direccionales, consideremos, para (x, y) R
2
\ {(0, 0)},
f(x, y) = arccos
_
x
_
x
2
+y
2
_
. (47)
Cambiando a coordenadas polares como se explica m as arriba obtenemos,
cuando [0, ],
F(, ) = arccos
_
cos

_
= (48)
Limites72 2004/6/2 14:51 page 417 #13
LA GACETA 417
3
2
1
0
1
2
3
3
2
1
0
1
2
3
0
0.5
1
1.5
2
2.5
3
3.5
Figura 8: Gr aca de la funci on f(x, y) = arccos
_
x

x
2
+y
2
_
.
(es 2 si (, 2)), y es trivial calcular, para [0, ] jo, el lmite
direccional
lim
0
F(, ) = . (49)
Como este lmite depende de , el lmite de f(x, y) cuando (x, y) tiende a
(0, 0) no existe. En la Figura 8 puede verse la gr aca de f(x, y).
Tras esta discusi on, cabe preguntarse si vale la pena malgastar nuestro
tiempo en el estudio de lmites usando coordenadas polares, habida cuenta de
que el estudio de los lmites direccionales empleando coordenadas cartesianas
no es, en general, difcil. Aparte de la raz on de que en algunos casos, como en
el ejemplo anterior, los lmites direccionales son m as f aciles de calcular usando
coordenadas polares, existe la posibilidad de que las coordenadas polares sim-
pliquen el problema de tal forma que el c alculo del lmite se convierta en una
cuesti on trivial; por ejemplo, parece claro (y adem as es cierto) que si f(x, y)
toma valores constantes sobre circunferencias centradas en (0, 0) (o sea, un
valor constante sobre cada circunferencia), entonces el lmite puede reducirse
a un lmite de una variable; en coordenadas polares este hecho puede refor-
mularse diciendo que si F(, ) depende solamente de (i. e., F(, ) = F())
entonces el lmite de f(x, y) cuando (x, y) tiende a (0, 0) es simplemente el
lmite de F() cuando tiende a 0 (ver Corolario 1 en la secci on 5).
Consideremos, como ejemplo, la funci on
f(x, y) =
e

1
x
2
+y
2
sen(
_
x
2
+y
2
)
, (50)
Limites72 2004/6/2 14:51 page 418 #14
418 L

IMITES UTILIZANDO COORDENADAS POLARES

2
1
0
1
2
2
1
0
1
2
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
Figura 9: Gr aca de la funci on f(x, y) =
e

1
x
2
+y
2
sen(

x
2
+y
2
)
.
denida para aquellos (x, y) tales que sen(
_
x
2
+y
2
) = 0. La gr aca de esta
funci on se muestra en la Figura 9. En este caso,
F(, ) = F() =
e

2
sen
, (51)
de modo que
lim
(x, y) (0, 0)
f(x, y) = lim
0
F() = 0. (52)
N otese que, utilizando el razonamiento anterior, podramos calcular tam-
bien el lmite de la funci on denida en (2).
Consideremos ahora una situaci on general en la que F(, ) puede depen-
der a la vez de y de .
Notemos que, cuando est a jo, entonces F(, ) nos da cuando vara los
valores de f(x, y) sobre la semirrecta determinada por , y que, cuando est a
jo, F(, ) nos da cuando vara los valores de f(x, y) sobre la circunferencia
x
2
+ y
2
=
2
. La ultima armaci on invita a pensar (y adem as es cierto, ver
Teorema 2 en la secci on 5) que, si L R y existe una funci on H dependiente
solo de tal que
|F(, ) L| H() para todos los posibles valores de (53)
y lim
0
H() = 0, entonces
lim
(x, y) (0, 0)
f(x, y) = L. (54)
Limites72 2004/6/2 14:51 page 419 #15
LA GACETA 419
(Podramos preguntarnos que valor L debemos poner en (53); tenemos un
unico candidato: el valor com un de los lmites direccionales.) Ilustramos esta
idea con el ejemplo siguiente: consideremos, para (x, y) R
2
\ {(0, 0)},
f(x, y) =
xy
_
x
2
+y
2
. (55)
Entonces
F(, ) =

2
cos sen

= cos sen , (56)

y, como
|F(, )|
1
2
para todos los posibles valores de , (57)
concluimos que
lim
(x, y) (0, 0)
f(x, y) = 0. (58)
La gr aca de f(x, y) se mostr o en la Figura 5.
3
2
1
0
1
2
3
3
2
1
0
1
2
3
4
5
300
200
100
0
100
200
300
Figura 10: Gr aca de la funci on f(x, y) =
xy

x
2
y
.
Observamos otra aplicaci on util de las coordenadas polares en el estudio
de la funci on
f(x, y) =
xy
_
x
2
y
, (59)
Limites72 2004/6/2 14:51 page 420 #16
420 L

IMITES UTILIZANDO COORDENADAS POLARES

denida para aquellos (x, y) R
2
tales que y < x
2
(ver gr aca en la Figura
10). En este caso
F(, ) =
3
2
cos sen
_
cos
2
sen
, (60)
y todos los lmites direccionales toman el valor com un 0.
En esta circunstancia, una, y solo una, de las armaciones siguientes es
cierta: o bien el lmite de f(x, y) cuando (x, y) tiende a (0, 0) existe y es 0, o
bien el lmite no existe. No parece que el lmite sea 0, porque, tan cerca de (0, 0)
como decidamos, podemos elegir puntos (x, y) tales que y se aproxima a x
2
mientras que el producto xy no se acerca a 0, y por lo tanto el cociente
xy

x
2
y
tiende a innito. Expliquemos ahora esta idea por medio de las coordenadas
polares; en primer lugar notemos que la circunferencia de radio y centro (0, 0)
tiene dos puntos de intersecci on con la par abola y = x
2
, cuyas coordenadas
polares son
(,
1
), (,
2
), (61)
donde
1
y
2
son las soluciones en [0, 2) de
cos
2
sen = 0 (62)
(que es la ecuaci on polar de la par abola).
Figura 11: A es el dominio de la funci on f(x, y) =
xy

x
2
y
.
Geometricamente es claro que uno de los angulos, digamos
1
, pertenece
a (0,

2
) (ver Figura 11), y que el otro pertenece a (

2
, ).
Como
lim

1
F(, ) = +, (63)
Limites72 2004/6/2 14:51 page 421 #17
LA GACETA 421
y como esto puede hacerse para cualquier valor de , el lmite de f(x, y) cuando
f(x, y) tiende a (0, 0) no puede existir. En un lenguaje matem atico m as formal,
podramos decir que el lmite de f(x, y) cuando (x, y) tiende a (0, 0) no puede
ser ning un n umero real, ya que f(x, y) no est a localmente acotada en (0, 0).
En este momento debe estar claro que
lim
(x, y) (0, 0)
f(x, y) = L (64)
(siendo L

R) implica
lim
0
F(, ) = L para todos los posibles valores de , (65)
pero que el recproco no es cierto. Podramos preguntarnos si (64) tambien
implica (ver Figura 12)
lim
(,)(0,

)
F(, ) = L para todos los posibles valores de

, (66)
y si la condici on (66), siendo m as fuerte que (65), es suciente para que se
cumpla (64). Quiz a sorprenda a algunos lectores el hecho de que las condi-
ciones (64) y (66) son equivalentes, pero en efecto lo son, b asicamente como
consecuencia de la compacidad de [0, 2] (ver Teorema 5 en la secci on 5).
Figura 12: Dado

, en (66) analizamos los valores de f(x, y) para aquellos
(x, y) de coordenadas polares (, ), con cerca de 0 y cerca de

.
As, hemos logrado establecer una condici on necesaria y suciente para (64)
en el caso m as general. Como ejemplo en el cual la condici on (66) resuelve el
problema, consideremos la funci on (ver gr aca en la Figura 13)
f(x, y) =
_
x
2
+y
2
sen(x
2
+y
2
)[x
2
y
2
+
_
x
2
+y
2
]
, (67)
Limites72 2004/6/2 14:51 page 422 #18
422 L

IMITES UTILIZANDO COORDENADAS POLARES

3
2
1
0
1
2
3
3
2
1
0
1
2
3
100
50
0
50
100
150
200
250
300
Figura 13: Gr aca de la funci on f(x, y) =

x
2
+y
2
sen(x
2
+y
2
)[x
2
y
2
+

x
2
+y
2
]
.
denida para aquellos (x, y) tales que sen(x
2
+y
2
) = 0.
Entonces
F(, ) =
1
sen(
2
)[
3
(cos )
2
(sen )
2
+ 1]
, (68)
y es claro que
lim
(,)(0,

)
F(, ) = + para todo

[0, 2], (69)
De ah, en virtud de la equivalencia entre (64) y (66), se concluye que
lim
(x, y) (0, 0)
f(x, y) = +. (70)
Consideremos ahora, como una segunda aplicaci on de la condici on (66), el
ejemplo
f(x, y) =
xy
2
x
2
+y
4
. (71)
Recuerdese que lim
(x, y) (0, 0)
f(x, y) no existe (ver Figura 2). Ahora
F(, ) =
cos (sen )
2
(cos )
2
+
2
(sen )
4
, (72)
y
lim
(,)(0,

)
F(, ) = 0 para todo

[0, 2] \
_

2
,
3
2
_
. (73)
Limites72 2004/6/2 14:51 page 423 #19
LA GACETA 423
Pero se comprueba sin dicultad que
lim
(, ) (0,

2
)
=arccos
F(, ) = lim
0
F(, arccos ) =
1
2
, (74)
y por tanto
lim
(,)(0,

2
)
F(, ) = 0 (75)
(en realidad este lmite no existe), lo que implica, de acuerdo con la equiva-
lencia entre (64) y (66), que lim
(x, y) (0, 0)
f(x, y) no existe.
5. TEOREMAS Y DEMOSTRACIONES
En esta secci on recogemos y demostramos los resultados que tienen que
ver con el uso de las coordenadas polares. Damos tambien una prueba del
Teorema 1 (de compactaci on de variables).
Queremos hacer enfasis en que esta secci on no es un ejercicio de futili-
dad, sino que permite jar las ideas expuestas hasta el momento. Adem as, la
precisi on que el lector puede encontrar aqu no est a del todo cubierta con las
explicaciones dadas en la secci on anterior.
Usamos las notaciones siguientes:

R = R {, +}, es la norma
euclidiana en R
2
, es decir, (x, y) =
_
x
2
+y
2
, y W

es el conjunto de puntos
de acumulaci on de W.
Recordemos que, dado W R, a R es un punto de acumulaci on de W
si
[(a , a +) \ {a}] W = para todo > 0. (76)
An alogamente, dado W R
2
, (a, b) R
2
es un punto de acumulaci on de W
si
[B((a, b), ) \ {(a, b)}] W = para todo > 0, (77)
donde
B((a, b), ) = {(x, y) R
2
: (x, y) (a, b) < }. (78)
Esto signica que todo entorno de a (resp., (a, b)) contiene innitos puntos
distintos de W.
Todas las demostraciones se basan en la denici on epsilondelta de lmite.
Limites72 2004/6/2 14:51 page 424 #20
424 L

IMITES UTILIZANDO COORDENADAS POLARES

5.1 LA DEFINICI

ON

EPSILONDELTA DE L

IMITE
Consideremos una funci on f : A R
2
R (i. e., A es el dominio de f),
con A tal que A

es no vacio, y (a, b) un punto de acumulaci on de A. Entonces,

si L R, se dice que
lim
(x, y) (a, b)
f(x, y) = L (79)
en caso de que
> 0, > 0 tal que
[0 < (x, y) (a, b) < , (x, y) A] |f(x, y) L| < . (80)
Se dice que
lim
(x, y) (a, b)
f(x, y) = + (81)
en caso de que
M > 0, > 0 tal que
[0 < (x, y) (a, b) < , (x, y) A] f(x, y) > M. (82)
Se dice que
lim
(x, y) (a, b)
f(x, y) = (83)
en caso de que
M > 0, > 0 tal que
[0 < (x, y) (a, b) < , (x, y) A] f(x, y) < M. (84)
5.2 DEMOSTRACI

ON DEL TEOREMA 1 (COMPACTACI

ON DE VARIABLES)
Hacemos la prueba para

, L R, aunque alguno de ellos o ambos pueden
ser . Fijemos > 0.
Sabemos que existe > 0 tal que
[0 < |s

| < , s (A)] |g(s) L| < . (85)
Tomemos

tal que
[0 < (x, y) (a, b) <

, (x, y) A] |(x, y)

| < . (86)
Como podemos elegir

<

, tenemos
[0 < (x, y) (a, b) <

, (x, y) A] 0 < |(x, y)

| < . (87)
Limites72 2004/6/2 14:51 page 425 #21
LA GACETA 425
Ahora, de (85) y (87) se sigue que
> 0,

> 0 : [0 < (x, y) (a, b) <

, (x, y) A] |f(x, y) L| < ,

(88)
es decir,
lim
(x, y) (a, b)
f(x, y) = L, (89)
como se quera demostrar.
COORDENADAS POLARES. TEOREMAS
Como antes, consideramos una funci on f : A R
2
R (con A tal que
A

es no vacio), un punto de acumulaci on de A al que llamamos (a, b), y

estudiamos el lmite
lim
(x, y) (a, b)
f(x, y). (90)
Notemos que (a, b) no es necesariamente (0, 0), y por lo tanto el cambio
a coordenadas polares es ligeramente distinto. Debemos usar coordenadas po-
lares centradas en (a, b), lo cual se hace tomando > 0 y [0, 2) tales
que
x = a + cos , y = b + sen . (91)
De acuerdo con esto, la funci on F es
F(, ) = f(a + cos , b + sen ). (92)
Queremos ser precisos, y para ello necesitamos tener en cuenta el dominio de
F, como ya hemos tenido en cuenta el dominio de f, A, en la denici on de
lmite. Con este prop osito denimos la aplicaci on de cambio de variable
: (0, +) [0, 2) R
2
, (93)
(, ) = (a + cos , b + sen ). (94)
Es claro que
F(, ) = f((, )), (95)
Limites72 2004/6/2 14:51 page 426 #22
426 L

IMITES UTILIZANDO COORDENADAS POLARES

y en consecuencia el dominio de F es
1
(A), el conjunto de aquellos pares
(, ) (0, +) [0, 2) tales que (, ) A. Llamemos
A

=
1
(A), (96)
de modo que A

es el dominio de F. Es un buen ejercicio comprobar los hechos

siguientes: si A es un crculo centrado en (a, b) con radio r, entonces A

es el
rect angulo (0, r) [0, 2); si [0, 2) y cos = 0, entonces ((0, +) {})
es la semirrecta que tiene pendiente tan y extremo en (a, b); si (0, +),
entonces ({} [0, 2)) es la circunferencia de centro (a, b) y radio .
Ahora explotamos la idea de que si el m aximo valor de |f(x, y)L| sobre la
circunferencia centrada en (a, b) con radio tiende a 0 cuando 0, entonces
debe ser
lim
(x, y) (a, b)
f(x, y) = L. (97)
Puesto que el dominio de f, A, es en principio un subconjunto arbitrario de
R
2
, debemos considerar solamente los puntos que est an en la intersecci on de
esas circunferencias con A; es decir, dado un radio , el punto de coordenadas
polares (, ) representa un punto de A solo para ciertos valores del angulo
(en algunos casos para ning un valor de ). Llamamos T

() a este conjunto
de valores v alidos de .
DEFINICI

ON 1 Para (0, +), denimos

T

() = { [0, 2) : (, ) A

}.
La Figura 14 muestra el signicado geometrico de T

() cuando (a, b) =
(0, 0) y A = {(x, y) R
2
: x 0, y 0, (x, y) 1}.
Figura 14: T

() = [0,

2
] si (0, 1]; T

() = si > 1.
En la siguiente denici on, n otese que el supremo (sup) y el nmo (inf)
siempre existen en

R.
Limites72 2004/6/2 14:51 page 427 #23
LA GACETA 427
DEFINICI

ON 2 Dado L

R, G
L
: (0, +)

R es la funci on denida por:
si L R, G
L
() =
_
0 si T

() = ,
sup
T

()
|F(, ) L| si T

() = ,
G
+
() =
_
+ si T

() = ,
inf
T

()
F(, ) si T

() = ,
G

() =
_
si T

() = ,
sup
T

()
F(, ) si T

() = .
TEOREMA 2 Si L R, las siguientes armaciones son equivalentes:
(a) lim
(x, y) (a, b)
f(x, y) = L.
(b) Existen
0
> 0 y H : (0,
0
) R tales que
lim
0
H() = 0, y
|F(, ) L| H() para todo (, ) A

con (0,
0
).
(c) lim
0
G
L
() = 0.
DEMOSTRACI

ON Si se cumple (a), entonces

> 0, > 0 tal que
[0 < (x, y) (a, b) < , (x, y) A] |f(x, y) L| < , (98)
o, equivalentemente,
> 0, > 0 tal que
[ < , (, ) A

] |F(, ) L| < . (99)

N otese que (99) implica
lim
0
H() = 0 (100)
si denimos H() = G
L
(), con lo cual (b) se satisface.
El resto de la demostraci on (i. e., (b) (c) y (c) (a)) es muy f acil y se
omite.
Limites72 2004/6/2 14:51 page 428 #24
428 L

IMITES UTILIZANDO COORDENADAS POLARES

NOTA 2 El lector debera ser capaz en este momento de obtener un resultado
an alogo al Teorema 2 para el estudio de
lim
|z|+
f(z) = z
0
C, (101)
donde f : A C C y |z| es el m odulo de z.
Lmites de este tipo surgen por ejemplo en la Mec anica de Fluidos. En el
caso particular de que A contenga un conjunto de la forma {z C : |z| > M}
para cierto M > 0 (por ejemplo: A = C), se obtiene que (101) equivale a
la existencia de un
0
> M y una funci on H : (
0
, +) R tales que
lim
+
H() = 0 y |F(, ) z
0
| H() para todo >
0
y todo [0, 2),
donde F(, ) = f( cos +i sen ).
Ahora enunciamos dos resultados m as para cubrir los casos de lmites
innitos. Las demostraciones pueden hacerse siguiendo la prueba del Teorema
2.
TEOREMA 3 Las siguientes armaciones son equivalentes:
(a) lim
(x, y) (a, b)
f(x, y) = +.
(b) Existen
0
> 0 y H : (0,
0
) R {+} tales que
lim
0
H() = +, y
F(, ) H() para todo (, ) A

con (0,
0
).
(c) lim
0
G
+
() = +.
TEOREMA 4 Las siguientes armaciones son equivalentes:
(a) lim
(x, y) (a, b)
f(x, y) = .
(b) Existen
0
> 0 y H : (0,
0
) R {} tales que
lim
0
H() = , y
F(, ) H() para todo (, ) A

con (0,
0
).
(c) lim
0
G

() = .
Cuando F tiene expresiones especiales, el problema puede resultar m as
simple. Damos ahora cuatro corolarios en esta direcci on. Las demostraciones
son ejercicios para el lector.
Limites72 2004/6/2 14:51 page 429 #25
LA GACETA 429
COROLARIO 1 (F(, ) = g()) Supongamos que existe
0
> 0 tal que F(, ) =
g() para todo (, ) A

con <
0
. Entonces las siguientes armaciones
son equivalentes (donde L

R):
(a) lim
(x, y) (a, b)
f(x, y) = L.
(b) lim
0
g() = L.
COROLARIO 2 (F(, ) = h()) Supongamos que existen
0
> 0 y V [0, 2)
tales que A

{(0,
0
) [0, 2)} = (0,
0
) V y F(, ) = h() para todo
(, ) (0,
0
) V . Entonces las siguientes armaciones son equivalentes
(donde L R):
(a) lim
(x, y) (a, b)
f(x, y) = L.
(b) h() = L V .
(N otese que en este caso L no puede ser .)
COROLARIO 3 (F(, ) L = g()h()) Supongamos que L R y que
existen
0
> 0 y V [0, 2) tales que A

{(0,
0
) [0, 2)} = (0,
0
) V
y F(, ) L = g()h() para todo (, ) (0,
0
) V , donde h() no es
identicamente nula y g() no es identicamente nula en nig un entorno de 0.
Entonces las siguientes armaciones son equivalentes:
(a) lim
(x, y) (a, b)
f(x, y) = L.
(b) lim
0
g() = 0 y
existe M R tal que |h()| M V .
COROLARIO 4 (F(, ) = g()h()) Supongamos que existen
0
> 0 y V
[0, 2) tales que A

{(0,
0
) [0, 2)} = (0,
0
) V y F(, ) = g()h() para
todo (, ) (0,
0
)V , con h() positiva. Entonces las siguientes armaciones
son equivalentes (donde I {, +}):
(a) lim
(x, y) (a, b)
f(x, y) = I.
(b) lim
0
g() = I y
existe > 0 tal que h() V .
NOTA 3 En los Corolarios 2, 3 y 4 nos hemos restringido a formas especiales
del dominio de f, A. El lector interesado puede valerse de los Teoremas 2, 3,
4 y 5 para tratar el caso de un dominio A que no entre en los supuestos de
dichos corolarios.
Limites72 2004/6/2 14:51 page 430 #26
430 L

IMITES UTILIZANDO COORDENADAS POLARES

Llegados a este punto, querramos relacionar estos resultados con los
lmites direccionales. Dado un angulo , no siempre es posible aproximarse
al punto (a, b) a lo largo de la semirrecta determinada por , ya que pudiera
suceder que dicha semirrecta no tenga puntos en com un con A, el dominio de
f, lo bastante pr oximos a (a, b). En general, para [0, 2) dado, las coorde-
nadas polares (, ) representan un punto de A solamente para ciertos valores
de . Llamamos R

() al conjunto de estos valores v alidos de .

DEFINICI

ON 3 Para [0, 2), denimos

R

() = { (0, +) : (, ) A

}.
Con esta notaci on, el lmite direccional sobre la semirrecta determinada
por el angulo tiene sentido siempre que 0 (R

())

. Llamamos Y al conjunto
de angulos para los cuales el lmite direccional tiene sentido.
DEFINICI

ON 4 Y es el subconjunto de [0, 2) denido por

Y = { [0, 2) : 0 (R

())

}.
Figura 15: R

() = (0, 1] si [0,

2
]; R

() = si (

2
, 2). Y = [0,

2
].
En la Figura 15 se muestra el signicado geometrico de R

() y de Y
cuando (a, b) = (0, 0) y A = {(x, y) R
2
: x 0, y 0, (x, y) 1}.
El resultado siguiente, ahora f acil de demostrar, nos dice que si el lmite
es L, entonces todos los lmites direccionales tambien deben ser L.
COROLARIO 5 Supongamos que
lim
(x, y) (a, b)
f(x, y) = L
(donde L

R). Entonces
lim
0
F(, ) = L para todo Y.
Limites72 2004/6/2 14:51 page 431 #27
LA GACETA 431
NOTA 4 En ocasiones se dice que se cumple el recproco del Corolario 5 cuando
lim
0
F(, ) = L uniformemente en , en el sentido de que debe satisfacerse
la parte (b) o, equivalentemente, la parte (c) del Teorema 2, 3 o 4. Para invitar
a la reexi on sobre la primera frase de esta nota, considerese f : A R
2
R,
con A = {(x, y) R
2
: y < x
2
} (ver Figura 11), f(x, y) = 1/
_
x
2
y si
(x, y) A con y > 0, f(x, y) = 0 si (x, y) A con y 0. Tambien puede
suceder que Y = , por ejemplo si el dominio de f es A = {(x, x
2
) R
2
: x
R}.
Queda solamente un cosa: la equivalencia entre
lim
(x, y) (a, b)
f(x, y) = L (102)
y
lim
(,)(0,

)
F(, ) = L para todos los posibles valores de

. (103)
Ahora el conjunto de todos los posibles valores de

puede ser m as
grande que Y . En efecto, para dar sentido al lmite en (103) basta que (0,

)
sea un punto de acumulaci on del dominio de F, A

. Llamamos Z al conjunto
de todos los posibles valores de

.
DEFINICI

ON 5 Z es el subconjunto de [0, 2] denido por

Z = { [0, 2] : (0, ) (A

}.
La prueba de la equivalencia entre (102) y (103) es ligeramente m as difcil
que las demostraciones anteriores. Esto es as porque necesitamos usar el con-
cepto de conjunto compacto en R. Un subconjunto K de R es compacto si es
cerrado y acotado. Todo conjunto compacto K tiene la siguiente propiedad: si
K
_
jJ
B
j
, (104)
donde B
j
es abierto para todo j J y J es posiblemente innito, entonces
existe un n umero nito de ndices en J, digamos j
1
, . . . , j
N
, de tal forma que
K B
j
1
B
j
N
. (105)
LEMA 1 El conjunto Z es compacto.
DEMOSTRACI

ON Puesto que Z es acotado, es suciente demostrar que Z es

cerrado en R. Si denimos
() = (0, ) (106)
Limites72 2004/6/2 14:51 page 432 #28
432 L

IMITES UTILIZANDO COORDENADAS POLARES

para [0, 2], entonces
Z =
1
((A

), (107)
y en consecuencia Z es cerrado (en [0, 2], y por lo tanto en R), porque (A

es cerrado y es continua.
LEMA 2 Supongamos que es un abierto de R tal que Z . Entonces existe

0
> 0 tal que
A

{(0,
0
) [0, 2)} (0,
0
) .
DEMOSTRACI

ON Supongamos que el lema es falso. Entonces, para cada n N,

existe (
n
,
n
) A

con
n
<
1
n
tal que
n
. N otese que la sucesi on
{(
n
,
n
)} est a acotada, y por lo tanto contiene una subsucesi on convergente,
que llamamos de nuevo {(
n
,
n
)}. Sea (0,

) el punto lmite. Claramente

Z,
porque {(
n
,
n
)} A

, pero por otra parte esto es imposible, ya que

n

para todo n.
El resultado siguiente es, en forma de teorema, la equivalencia entre (102)
y (103).
TEOREMA 5 Las armaciones siguientes son equivalentes (donde L

R):
(a) lim
(x, y) (a, b)
f(x, y) = L.
(b) lim
(,)(0,

)
F(, ) = L para todo

Z.
DEMOSTRACI

ON La parte (a) (b) es una consecuencia inmediata de los

Teoremas 2, 3 y 4. Para comprobar que (b) (a) supongamos, por motivos
de simplicidad, que L R. (El teorema tambien es v alido si L = .) Fijemos
> 0.
Si se cumple (b), entonces
para cada

Z, (

) > 0 tal que

[ < (

), 0 < |

| < (

), (, ) A

] |F(, ) L| < . (108)

Puesto que
Z
_

Z
(

),

+(

)) (109)
Limites72 2004/6/2 14:51 page 433 #29
LA GACETA 433
y, en virtud del Lema 1, Z es compacto, existen

1
, . . . ,

N
en Z tales que
Z
N
_
i=1
(

i

i
,

i
+
i
), (110)
donde
i
= (

i
). Es claro que (108) implica que
= min{
1
, . . . ,
N
} > 0 tal que
[ < , 0 < |

i
| < para alg un i {1, . . . , N}, (, ) A

]
|F(, ) L| < . (111)
Por otra parte, y de acuerdo con (110), el Lema 2 nos asegura la existencia
de
0
> 0 cumpliendo
A

{(0,
0
) [0, 2)} (0,
0
)
N
_
i=1
(

i

i
,

i
+
i
). (112)
Por ultimo, (111) y (112) implican

min
= min{,
0
} > 0 tal que (113)
[ <
min
, (, ) A

] |F(, ) L| < , (114)

o, equivalentemente,

min
= min{,
0
} > 0 tal que
[0 < (x, y) (a, b) <
min
, (x, y) A] |f(x, y) L| < , (115)
esto es, se satisface (a).
AGRADECIMIENTOS
Los autores desean expresar su agradecimiento a un informante an onimo,
por haber aconsejado ciertos cambios en una primera versi on que han mejorado
el artculo. En particular, a el se debe la inclusi on de la Proposici on 1.
REFERENCIAS
[1] M. A. Armstrong, Topologa B asica, Reverte, Barcelona, 1987. [Edici on original:
Basic Topology, McGrawHill, Maidenhead, Berkshire, England, 1979.]
[2] C. B. Boyer, Newton as the originator of polar co ordinates, Amer. Math. Month-
ly 56 (1949) no. 2, 7378.
Limites72 2004/6/2 14:51 page 434 #30
434 L

IMITES UTILIZANDO COORDENADAS POLARES

[3] J. B. Conway, Functions of one complex variable I, Springer, New York, USA,
1978 (segunda edici on; primera edici on: 1973).
[4] J. L. Coolidge, The origin of polar coordinates, Amer. Math. Monthly 59 (1952)
no. 2, 7885.
[5] J. E. Marsden y A. J. Tromba, Vector calculus, W. H. Freeman, New york,
USA, 1996 (cuarta edici on; primera edici on: 1976).
Juan Bosco Ferreiro Darriba
Universidade de Santiago de Compostela
Escola Politecnica Superior
Departamento de Matem atica Aplicada
Campus Universitario s/n
27002 Lugo Correo electr onico: jbosco@lugo.usc.es.

Oscar L opez Pouso

Universidade de Santiago de Compostela
Facultade de Matem aticas
Departamento de Matematica Aplicada
Campus Sur s/n
15782 Santiago de Compostela (A Coru na)
Correo-electr onico: oscarlp@usc.es