Lecturas Matemticas a Volumen 24 (2003), pginas 151161 a

El sombrero del mago

Shirley Bromberg Departamento de Matemticas a Universidad Autnoma Metropolitana-Iztapalapa o Para Jairo: Recordando al maestro

Abstract. We show that every convergent sequence has a subse-

quence lying in a regular curve. We draw some consequences for multivariate functions. Key words and phrases. Sequences, regular curves, extension theorems. 1991 Mathematics Subject Classication. Primary 26B10. Secondary 58A20. Resumen. Donde se explican (y construyen) ejemplos y contraejemplos para funciones de varias variables.

1. Un teorema sobre sucesiones

La pregunta general que origin este trabajo es la siguiente: o a Bajo qu condiciones un subconjunto de Rk est contenido en una e k de dimensin l < k y de clase C r . o subvariedad de R H. Gluck en [1] encontr condiciones para que un compacto est o e contenido en una variedad topolgica, es decir resolvi el caso r = 0 y o o quien esto escribe encontr en [2] condiciones para que un compacto sea o parte de una subvariedad de clase C 1 . En esta ocasin abordaremos un caso particular del problema l = 1, o r = 1, que puede demostrarse por medios elementales y cuya interpretacin geomtrica es clara. o e

152

SHIRLEY BROMBERG

Teorema 1. Una sucesin convergente en Rk , {zn }n , de trminos dos o e a dos distintos, est contenida en una curva regular de clase C 1 si y a slo si la sucesin de rectas o o {L (zn , zm )}n=m es convergente. El teorema es consecuencia de la siguiente proposicin, que forma o parte del folklor y que ha sido demostrada en varias ocasiones pero que es sucientemente interesante como para sea mejor conocida y merezca llamarse proposicin: o Proposicin 1. Toda sucesin convergente en Rk tiene una subsuceo o sin que forma parte de una curva regular de clase C 1 . o La demostracin se har escogiendo sucesivamente subsucesiones que o a vayan satisfaciendo las condiciones necesarias para estar en una curva regular. Podemos suponer, por simplicidad, que la sucesin converge al origen, o sin que ello conlleve ninguna restriccin puesto que las armaciones que o haremos son conservadas por translaciones. Adems, para que sea ina teresante, supondremos que los trminos de la sucesin son dos a dos e o distintos. Diremos que una sucesin es de tipo (A) si sus trminos son o e dos a dos distintos y converge al origen. Primera condicin necesaria Si una sucesin de tipo (A), {zn }n , o o est contenida en una curva regular, entonces la sucesin de trminos a o e zn /|zn | debe converger. En efecto, supongamos que : ( , ) Rk es una curva regular con (0) = 0, que contiene a la sucesin {zn }n . Entonces existe una o sucesin {tn }n en ( , ) que converge a 0, tal que (tn ) = zn y se tiene o que (tn ) zn = . |zn | |(tn )| Por lo tanto, (0) zn (tn ) = lim = . lim n |zn | n |(tn )| | (0)|

EL SOMBRERO DEL MAGO

153

Paso 1. Toda sucesin de tipo (A) tiene una subsucesin tal que el o o l mite anterior existe. a Como la sucesin {zn /|zn |}n est contenida en el compacto S k1 = o o {z Rk : |z| = 1}, tiene al menos un punto de acumulacin. Sea v0 uno de ellos y tomemos una subsucesin de {zn /|zn |}n que converge a o v0 . Para no recargar la notacin, volveremos a escribir esta subsucesin o o e como {zn }. Sin prdida de generalidad, podemos suponer que v0 = (1, 0, . . . , 0) puesto que slo tendr o amos que rotar la sucesin para que o esto fuese cierto. a Diremos que una sucesin {zn }n de tipo (A) es de tipo (B) si adems o
n

lim

zn = (1, 0, . . . , 0). |zn |

Ejemplo 1 No toda sucesin de tipo (A) puede transformarse, mediante o una rotacin, en una sucesin de tipo (B). En efecto, la sucesin en el o o o plano con trmino general e zn,m = n n 1 cos , sen mn m m

es de tipo (A) y el conjunto de puntos de acumulacin de la sucesin o o {zn /|zn |}n es todo S1 . o Paso 2. Una curva regular de clase C 1 pasa por una sucesin de tipo (B) si y slo si existe una funcin f : R Rk1 de clase C 1 tal que o o la imagen de la curva est contenida en el grco de f. a a En efecto, sea (t) = (1 (t), 2 (t), . . . , k (t))) una curva regular o de clase C 1 que pasa por una sucesin de tipo (B). Entonces (0) = a (1, 0, . . . , 0) y podemos usar 1 como parmetro alrededor del origen. 1 La curva reparametrizada (s) := (1 (s)), es de la forma
1 1 (s) = (s, 2 (1 (s)), . . . , k (1 (s)))),

154

SHIRLEY BROMBERG

y pasa por todos los puntos de la sucesin en una vecindad del origen. o Es sencillo extender la funcin de clase C 1 o f : ( , ) Rk1
1 1 f (s) := (2 (1 (s)), . . . , k (1 (s))))

a de manera que siga siendo de clase C 1 y que su grco contega los restantes puntos de la sucesin, que al n y al cabo, son nitos. Observemos o de paso que f satisface f (0) = 0. El paso anterior muestra la relacin entre el problema que estamos o presentando y el problema de extensin de funciones. Nosotros seguireo mos acotando el problema. Paso 3. Basta con hacer la demostracin para sucesiones de tipo (B) o en el plano ya que un argumento inductivo permite pasar del caso k = 2 al caso general. Como, por el paso anterior, se trata de construir una funcin f : o k1 podemos construirla coordenada a coordenada. R R Resumiendo, en este momento el problema original se ha transformado en el siguiente: dada una sucesin {(xn , yn )}n que converge al o origen con yn =0 lim n xn a debemos construir una funcin f de clase C 1 cuyo grco contenga a una o o subsucesin {(xni , yni )} de la sucesin, es decir, tal que f (xni ) = yni . o Segunda condicin necesaria Si una sucesin plana {(xn , yn )}n de o o tipo (B) est contenida en una curva regular de clase C 1 entonces a yn ym (1) = 0. lim n=m xn xm Sabemos que la existencia de tal curva es equivalente a la existencia a de una funcin f de clase C1 , con f (0) = 0, cuyo grco contiene a o la sucesin, es decir, tal que f (xn ) = yn . El Teorema del Valor Medio o implica que f (xn ) f (xm ) = 0. lim n=m xn xm

EL SOMBRERO DEL MAGO

155

Volviendo a la sucesin, el l o mite anterior es equivalente a decir que yn ym = 0. lim n=m xn xm Como hemos estado haciendo, veremos que, si bien no necesariamente toda sucesin de tipo (B) satisface (1), s contiene una subsucesin que o o lo hace. Paso 4. Toda sucesin plana de tipo (B) tiene una subsucesin que sao o tisface (1). o Sea {zn = (xn , yn )}n la sucesin. Comencemos tomando una subsucesin montona de trminos de mismo signo de {xn }n , y, sin que o o e ello implique restriccin alguna, supongamos que podemos tomar una o subsucesion decreciente de trminos positivos. Y, siguiendo con nuese tro propsito de no recargar la notacin, denotaremos la subsucesin de o o o 0. Como {zn }n es de tipo (B), dados , > 0 existe nuevo por xn N N tal que si m, n > N, (2) xn < yn < xn y |zn zm | < . Es decir, a partir de un cierto trmino toda la sucesin est en un sece o a tor como el sombreado en la gura 1. Unos clculos muestran que si a |arg zn | < /5 entonces, por una parte, el segmento que une zn con a o la contra-esquina vn est fuera de la regin sombreada {z : |z| < (1/2)|zn | , |arg z| < (1/2)arg zn } y, por la otra, la pendiente del segmento zn vn es menor que 4|arg zn |. Por lo tanto, la pendiente de cualquier o segmento que une zn con un punto en la regin sombreada, que es mea nor que la pendiente del segmento zn vn , est acotada por 4|arg zn |. La sucesin se construye por recurrencia. Para construirla comenzamos con o cualquier zn1 tal que |arg zn1 | < /5 y |zn1 | < 1/2. Una vez construie o do zni , el siguiente trmino de la sucesin se toma dentro del sector a {z : |z| < (1/2)|zni | , |arg z| < (1/2)arg zni }, cuya existencia est garantizada por (2). Es claro que la subsucesin as construida satisface o (1). Lo que hemos hecho es espaciar sucientemente la sucesin para que o los segmentos que se obtienen al unir puntos consecutivos se tiendan.

156

SHIRLEY BROMBERG

Figura 1. Renando la convergencia Ejemplo 2 Notemos, como antes, que esta condicin necesaria no es o satisfecha por sucesiones generales. En efecto, la sucesin de trmino o e general 1 xn = (1)n 2 n es de tipo (B) pero no satisface (1), como el lector podr fcilmente a a vericar. Cuando unimos puntos consecutivos de la sucesin, obtenemos una o poligonal, como se muestra en la gura 2. Lo que nos resta hacer es suavizarla. Afortunadamente en este caso la idea ms simple funciona. a

Figura 2. Uniendo los puntos de la sucesin o Podemos remplazar cada segmento por una curva del tipo la que se muestra en la gura 3.

EL SOMBRERO DEL MAGO

157

Paso 5. Existe una funcin de clase C 1 , g : [0, 1] R tal que g(0) = o 0, g(1) = 1, g (0) = g (1) = 0 y |g (x) 1| 1. La funcin ms simple que satisface las primeras condiciones es una o a cbica: g(x) := 3x2 2x3 , que tambin satisface la ultima (ver gura u e 3).

Figura 3. Suavizando un segmento La funcin g puede colocarse en cualquier rectngulo de esquinas o a (a, A), (a, B), (b, A), (b, B). Supongamos a < b. Para U = (a, A), V = (b, B) la funcin o gU,V : [a, b] R x satisface gU,V (a) = A, gU,V (b) = B, gU,V (a) = gU,V (b) = 0. Adems a BA BA = f ba ba Denimos f : R R por 0 gz ,z (x) f (x) = n n+1 y1 (3) gU,V (x) ( BA BA xa ) . ba ba ba (B A)g( xa )+A ba

si x 0 si x [xn+1 , xn ] si x x1

158

SHIRLEY BROMBERG

La funcin es de clase C 1 en R \ {0} puesto que estamos pegando funcioo nes cuyos valores y los valores de las derivadas coinciden en los extremos de los intervalos. Para ver que f es de clase C 1 resta ver que
x0

lim f (x) = 0,

pero esto es consecuencia de (1) y de (3) Cabe notar que hay sucesiones convergentes tales que ninguna de sus subsucesiones forma parte de una curva de clase C 2 como lo muestra el siguiente a Ejemplo 3 Ninguna subsucesin de la sucesin {(1/n, (1/n)3/2 )}n est o o 2 . En efecto y como antes, decir que contenida en una curva de clase C o existe una curva de clase C 2 que contiene a la subsucesin, equivale a decir que existe una funcin f, de clase C 2 tal que f (1/ni ) = (1/ni )3/2 . o o a Como, necesariamente f (0) = 0, si tal funcin existiera, se deber tener la existencia del l mite (1/ni )3/2 (1/nj )3/2 . i=j (1/ni 1/nj )2 lim Sin embargo, se verica fcilmente que ese l a mite no existe, sin importar qu subsucesin se tome. e o El lector ver que el Teorema 1 ya est demostrado. a a

2. Lo prometido
Recordemos algunos ejemplos que aparecen en los cursos de Clculo a Diferencial de Varias Variables. Ejemplo 4 La funcin: o 2 2 x +y x f (x, y) := 0

si si

x=0 x=0

EL SOMBRERO DEL MAGO

159

es continua sobre todas las rectas que pasan por el origen y, sin embargo, no es continua. Esto se debe a que f es una funcin homognea de grado 1 que no es o e un polinomio. Podemos construir as ejemplos que se comporten mal sobre cada tipo de curvas. Sin embargo, como primera consecuencia de la proposicin tenemos que o o Consecuencia 1. Si f : Rk Rl , f (0) = 0 es una funcin tal que su restriccin a toda curva de clase C 1 que pasa por el origen es continua o en el origen. Entonces f es continua en el origen. Demostracin Supongamos que f no es continua en el origen. Entonces o existe > 0 y una sucesin {zn }n que converge al origen tal que |f (zn )| > o . Por la Proposicin, existe una subsucesin de la sucesin original y una o o o 1 que pasa por el origen y que la contiene. Claramente curva de clase C f restringida a esta subsucesin no es continua. o Estudiemos otro de los ejemplos: Ejemplo 5 La funcin o f (x, y) := (y x2 )(y 2x2 ) tiene un m nimo estricto en 0 en todas las rectas que pasan por el origen y, sin embargo, 0 no es un m nimo local de f. Como en el ejemplo anterior, podemos poner los problemas donde queramos, pero no en todas partes, como muestra la siguiente consecuencia de la proposicin. o o Consecuencia 2. Sea f : Rn R, f (0) = 0, una funcin tal que su restriccin a toda curva regular de clase C 1 que pasa por el origen o tiene un mximo (resp. m a nimo) local en el origen. Entonces f tiene un mximo (resp. m a nimo) local en el origen. Demostracin Un razonamiento anlogo al anterior muestra el resulo a tado. Suponemos que f (0) no es un mximo local de f. Entonces existe a una sucesin {zk }k que converge al origen tal que f (zk ) > f (0), para o

160

SHIRLEY BROMBERG

cada k. Por la Proposicin 1, hay una subsucesin contenida en una curo o o va regular de clase C 1 . Sin embargo, por hiptesis, cerca del origen, todos los puntos de la curva deben satisfacer f ((t)) f (0). Todo permitir suponer que si una funcin es derivable en toda curva a o regular de clase C 1 entonces f ser derivable en 0. De mostrar que esto a no sucede se encarga el siguiente ejemplo: Ejemplo 6 La funcin f : R2 R denida por: o x2 y 2 si x = 0 x + y2 f (x, y) := 0 si x = 0 es derivable en toda curva regular de clase C 1 pero no es derivable en el origen. Demostracin. Sea : ( , ) R2 regular, de clase C 1 con (0) = o (0, 0). El lema de Hadamard permite factorizar como sigue: (t) = (t1 (t), t2 (t)) donde 1 y 2 son continuas y (0) = (1 (0), 2 (0)). Entonces si t = 0, f ((t)) = t Por lo tanto, 1 (t)2 2 (t) 1 (t)2 + 2 (t)2

1 (t)2 2 (t) f ((t)) f ((0)) = t 1 (t)2 + 2 (t)2 (f ) (0) = 1 (0)2 2 (0) . (0) 2 x2 y (x2 + y 2 )3/2

Sin embargo, como el l mite de f (x, y) f (0, 0) x2 + y 2 =

EL SOMBRERO DEL MAGO

161

cuando (x, y) (0, 0) no existe, f no es derivable en (0, 0).

Referencias
[1] [2] Gluck, H.: Geometric characterization of dierentiable manifolds in Euclidean space. II. Michigan Math. J. 15, 1968, pp. 3350. o Bromberg, S.: Conjuntos Cerrados de Clase C 1 . Reporte de Investigacin UAM-I, 1998.

(Recibido en noviembre de 2003)

Shirley Bromberg e-mail: stbs@xanum.uam.mx Universidad Autonoma Metropolitana-Iztapalapa Mexico D. F., Mexico